Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compact model”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 469 records · Page 26

On the Anticorrelation Between High Accretion Luminosity and Radio Jet Ejection in Gro J1655-40 and Other Objects

A model is described in which radio jet formation in accreting objects is suppressed by processes which occur when the accretion rate approaches the Eddington limit. This was motivated by GRO J1655-40 and other objects which show an anticorrelation between high luminosity and the onset of a radio jet. The jet production mechanism employed is the Blandford-Payne MHD acceleration process, seeded by an e'e- pair wind. Observations indicate that all key ingredients of this mechanism are, or should be, present in these sources. Observed jet velocities and total powers are consistent with theoretical and numerical predictions of this model. The primary jet suppression mechanism proposed is the Papaloizou-Pringle compressible shear instability, which should disrupt the jet-producing region of the disk when the accretion rate approaches about one-third Eddington. The turn-on of the jet in GRO J 1 655 - 40 is consistent with this estimate. When super-Eddington, the disk should also drive an optically thick, subrelativistic wind, which may be a secondary jet suppression mechanism. The possible presence of such a wind is seen in the early spectral evolution of GRO J1655-40 and in the broad absorption lines of certain quasi-stellar objects (QSOs). Important tests of the model would be independent measurements of the compact object masses in these sources, a comparison of normal and broad absorption line (BAL) QSO X-ray spectra to see if the latter objects are significantly cooler, and a low-frequency search around BAL QSOs to see if at least some have fossil radio sources.

Meier, D.↗

Chemistry of the organic-rich hot core G327.3-0.6

We present gas-phase abundances of species found in the organic-rich hot core G327.3-0.6. The data were taken with the Swedish-ESO Submillimetre Telescope (SEST). The 1-3 mm spectrum of this source is dominated by emission features of nitrile species and saturated organics, with abundances greater than those found in many other hot cores, including Sgr B2 and OMC-1. Population diagram analysis indicates that many species (CH3CN, C2H3CN, C2H5CN, CH3OH, etc.) have hot components that originate in a compact (~2") region. Gas-phase chemical models cannot reproduce the high abundances of these molecules found in hot cores, and we suggest that they originate from processing and evaporation of icy grain mantle material. In addition, we report the first detection of vibrationally excited ethyl cyanide and the first detection of methyl mercaptan (CH3SH) outside the Galactic center.

NASA Discipline Exobiology↗

Compact Water Vapor Exchanger for Regenerative Life Support Systems

Thermal and environmental control systems for future exploration spacecraft must meet challenging requirements for efficient operation and conservation of resources. Regenerative CO2 removal systems are attractive for these missions because they do not use consumable CO2 absorbers. However, these systems also absorb and vent water to space along with carbon dioxide. This paper describes an innovative device designed to minimize water lost from regenerative CO2 control systems. Design studies and proof-of-concept testing have shown the feasibility of a compact, efficient membrane water vapor exchanger (WVX) that will conserve water while meeting challenging requirements for operation on future spacecraft. Compared to conventional WVX designs, the innovative membrane WVX described here has the potential for high water recovery efficiency, compact size, and very low pressure losses. The key innovation is a method for maintaining highly uniform flow channels in a WVX core built from water-permeable membranes. The proof-of-concept WVX incorporates all the key design features of a prototypical unit, except that it is relatively small scale (1/23 relative to a unit sized for a crew of six) and some components were fabricated using non-prototypical methods. The proof-of-concept WVX achieved over 90% water recovery efficiency in a compact core in good agreement with analysis models. Furthermore the overall pressure drop is very small (less than 0.5 in. H2O, total for both flow streams) and meets requirements for service in environmental control and life support systems on future spacecraft. These results show that the WVX provides very uniform flow through flow channels for both the humid and dry streams. Measurements also show that CO2 diffusion through the water-permeable membranes will have negligible effect on the CO2 partial pressure in the spacecraft atmosphere.

Izenson, Michael G.↗

Thermographic Methods of Detecting Insulation Voids in Large Cryogenic Tanks

Four very large (900Kgal) cryogenic liquid hydrogen and oxygen storage tanks at Kennedy Space Center's LC-39 launch pads were constructed in 1965 to support the Apollo/Saturn V Program and continue to support the Space Shuttle Program. These double-walled spherical tanks with powdered insulation in the annular region, have received minimal refurbishment or even inspection over the years. Intrusively inspecting these tanks would mean a significant down time to the program as the cryogenic liquid and the perlite insulation would have to be removed which would be a significant task and long-term schedule disruption. A study of the tanks was performed to determine the extent to which performance and structural information could be revealed without intrusive inspection. Thermal images of the tanks were taken over a variety of environmental conditions to determine the best conditions under which to compare and use thermography as a health monitoring technique as the tanks continue to age. The settling and subsequent compaction of insulation is a serious concern for cryogenic tanks. Comparison of images from the tanks reveals significant variations in the insulation in the annual regions and point to the use of thermography as a way to monitor for insulation migration and possible compaction. These measurements, when combined with mathematical models of historical boil-off data provide key insight to the condition of the vessels. Acceptance testing methods for new tanks, before they are filled with cryogenic commodity (and thereby thermally cycled), are needed and we explore how thermography can be used to accomplish this.

Arens, Ellen↗

Probing the Gaseous Disk of T Tau N with CN 5-4 Lines

We present spectrally resolved observations of the young multiple system T Tau in atomic and molecular lines obtained with the Heterodyne Instrument for the Far Infrared on board Herschel. While CO, H2O, [C ii], and SO lines trace the envelope and the outflowing gas up to velocities of 33 km s(exp −1) with respect to systemic, the CN 5-4 hyperfine structure lines at 566.7, 566.9 GHz show a narrow double-peaked profile centered at systemic velocity, consistent with an origin in the outer region of the compact disk of T Tau N. Disk modeling of the T Tau N disk with the thermo-chemical code ProDiMo produces CN line fluxes and profiles consistent with the observed ones and constrain the size of the gaseous disk (R(sub out) = 110(+10/−20) AU) and its inclination (i = 25 deg +/- 5 deg). The model indicates that the CN lines originate in a disk upper layer at 40-110 AU from the star, which is irradiated by the stellar UV field and heated up to temperatures of 50-700 K. With respect to previously observed CN 2-1 millimeter lines, the CN 5-4 lines appear to be less affected by envelope emission, due to their larger critical density and excitation temperature. Hence, high-J CN lines are a unique confusion-free tracer of embedded disks, such as the disk of T Tau N.

Far Infrared↗

Properties of the Binary Black Hole Merger GW150914

On September 14, 2015, the Laser Interferometer Gravitational-Wave Observatory (LIGO) detected a gravitational-wave transient (GW150914); we characterize the properties of the source and its parameters. The data around the time of the event were analyzed coherently across the LIGO network using a suite of accurate waveform models that describe gravitational waves from a compact binary system in general relativity. GW150914 was produced by a nearly equal mass binary black hole of masses 36(+5/-4) solar mass and 29(+4/-4) solar mass; for each parameter we report the median value and the range of the 90% credible interval. The dimensionless spin magnitude of the more massive black hole is bound to be less than 0.7 (at 90% probability). The luminosity distance to the source is 410(+160/-180) Mpc, corresponding to a redshift 0.09(+0.03/−0.04) assuming standard cosmology. The source location is constrained to an annulus section of 610 sq deg, primarily in the southern hemisphere. The binary merges into a black hole of mass 62(+4/−4) solar mass and spin 0.67(+0.05/−0.07). This black hole is significantly more massive than any other inferred from electromagnetic observations in the stellar-mass regime.

Abbott, B. P.↗

Understanding X-ray timing and radio observations of jet sources

Time-dependent x-ray and radio observations of accreting sources give considerable insight into how jets might be produced, both in low-luminosity and high-luminosity situations. I discuss recent observations of binary x-ray sources and AGN that may have a direct bearing on jet production, and I review the theoretical efforts that have been made to understand them. While it is certainly true that jet production can be understood only with good accretion model, I also arue that accretion onto compact objects cannot be understood without fully taking into account the production of a jet. Jets are probably a fundamental aspect of some accretion modes.

Meier, David L.↗

Advanced Radiation Detectors and Detector Systems Research

Real‐time awareness of space radiation is critical for missions beyond LEO. Missions to the Moon, Mars, Near‐Earth‐Objects (NEOs), inner and outer planets, as well as other destinations in space, will require embedded instrumentation to provide feedback for “smart”, adaptive control systems. Precision instrumentation will also be needed to provide improved data for space radiation modeling and space weather forecasting and awareness. Compact instrumentation on small platforms such as CubeSats and other small space‐faring vehicles will provide a better understanding of the space radiation environment by supplying data from multiple locations in space where information is yet unknown. Compact integrable solid‐state detectors with low noise and high tolerance of operation in a radiation environment are enabled by the application of Wide Band Gap semiconductors as radiation detectors. NASA Glenn Research Center (GRC) is applying its expertise and facilities in harsh environment instrumentation to develop supporting technologies that enable improved instruments for space science missions. A variety of radiation detectors are under development, such as silicon carbide semiconductor detectors, for applications to space science, lunar prospecting, and fission power systems.

Field and particle detectors↗

Precision Kinematic Sunyaev--Zel'dovich Measurements Across Halo Mass and Redshift with DESI DR2 and ACT DR6: Part II. Bright Galaxy Survey and Emission-Line Galaxies

We present the first high-significance spectroscopic stacked kinetic Sunyaev-Zel'dovich (kSZ) measurements of circumgalactic gas profiles for both Bright Galaxy Survey (BGS) and Emission Line Galaxy (ELG) tracers, combining DESI Data Release 2 with ACT Data Release 6. Using reconstructed line-of-sight velocities from the DESI galaxies and high-resolution ACT temperature maps, we detect the kSZ signal at high significance, reaching signal-to-noise ratios of up to $\sim$9 for BGS and $\sim$7.5 for ELGs in optimal stellar-mass selections. Together with the LRG measurements presented in Paper I, these constitute the most significant kSZ detections from any spectroscopic survey to date. We perform the analysis in both real and harmonic space, obtaining consistent results. By splitting both tracers into stellar-mass bins, we study the scaling of the kSZ amplitude with galaxy properties. Combining the kSZ measurements with ACT Data Release 6 (DR6) CMB lensing maps enables a joint calibration of the galaxy-halo connection and the gas fractions of host halos. For the BGS galaxies, we observe low gas fractions around the virial radius relative to standard expectations, likely attributable to active galactic nuclei (AGN) activity. We find some evidence for higher-mass halos retaining a larger fraction of their baryons, consistent with more efficient feedback in lower-mass systems. For the ELG sample, dominated by blue, star-forming galaxies, we provide the first detection of the gas distribution in ELG host halos. The ELGs appear to exhibit relatively high gas fractions, which points to the possibility of weaker feedback (due to e.g. low AGN and supernova feedback activity) at their mass scale. Finally, we present generalized Navarro-Frenk-White (GNFW) fits to the harmonic-space measurements, providing a compact parametrization of gas profiles for forward modeling in large-scale structure analyses.

Hadzhiyska, B. [Cambridge U.; Cambridge U., Inst. ↗

The central X-ray source in SS 433

Numerous observations of SS 433 were obtained with the Einstein X-ray Observatory over an 18 month period from 1979 March through 1980 October. MPC (as well as imaging) data from these observations show that the central object in SS 433 is variable in intensity and spectrum on a wide range of time scales. Flares appear to be correlated with the 13 day binary period, and may be more numerous at particular phases of the 164 day period. No evidence for variability on time scales less than 5 minutes is seen, suggesting the central X-ray source is extended and that the compact object itself is not directly visible. A model for SS 433 is suggested wherein the companion star has a spin misaligned with the orbital angular momentum. The volume of the Roche lobe reaches a minimum twice per binary orbit, giving rise to enhanced accretion which results in X-ray and radio flares. Additional constraints imposed by the X-ray and optical data suggest the compact object in SS 433 is an approximately 10-solar-mass black hole.

Band, D.↗

Comparison of Fission Product Release Predictions using PARFUME and BISON with Results from the AGR-3/4 Irradiation Experiment

The PARFUME (PARticle Fuel ModEl) fuel performance modeling code and the BISON nuclear fuel performance application built on the Multiphysics Object-Oriented Simulation Environment (MOOSE) finite element library were used to predict the fission product release from tristructural isotropic (TRISO) coated fuel particles and compacts during the third and fourth irradiation experiment of the Advanced Gas Reactor (AGR-3/4) Fuel Development and Qualification Program. The fuel performance modeling codes PARFUME and BISON modeled the AGR-3/4 irradiation experiment using the fuel compact time-averaged volume averaged (TAVA) daily temperatures for a total irradiation duration of 369.1 effective full power days (EFPD) to predict the release fraction of the fission product silver (Ag-110m) from a representative TRISO-coated fuel particle from AGR-3/4 compacts. Post-irradiation examination (PIE) measurements provided data on the release of these fission products in the compacts outside of the silicon carbide (SIC) layer. The PARFUME and BISON results were then compared to the silver release measured from compact gamma scanning. The results showed good agreement between PARFUME and BISON but both codes under-predicted the silver release fraction for all the compacts. In addition, BISON was used to model and predict the fission product concentration radial profile outside of the compacts in capsules’ inner and outer rings. These rings were either comprised of matrix and/or structural graphite. To obtain the concentration profiles of silver, cesium, and strontium, a sorption isotherm model was developed in BISON to capture the effects of fission product transport across the gaps between the concentric rings. The general shape of the concentration radial profiles as calculated by BISON were similar in the inner ring (IR) but varied in the outer ring (OR) depending on the fission product of interest or capsule temperature. Using this methodology and model, BISON now has the capability to aid in developing new fission product diffusion coefficients for matrix or structural graphite materials.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Multiscale Porous High-temperature Heat Exchanger Using Ceramic Co-extrusion

In this project, our MIT, Purdue, and GE team aims to design, model, fabricate, and test a novel high temperature, compact, and durable ceramic heat exchanger to be operated under high temperature and pressure conditions for aerospace applications. Our approach is grounded in introducing multiscale porosity, i.e., centimeter-scale channels embedded with micrometer-scale channels, into the ceramic heat exchanger to significantly improve its heat transfer performance and mechanical strength while maintaining minimal pressure losses. We first developed high-fidelity thermal-fluid-mechanical model capable of precisely capturing the heat transfer rate, temperature profile, pressure drop, and mechanical stress throughout the entire heat exchanger design. Guided by our model, we identified the optimal design parameters for the SiC heat exchanger body and manifolds. Then, we established a completed fabrication procedure to create multiscale features in the ceramic heat exchanger, including co-extrusion, lamination, burnout, and sintering. We fabricated multiple heat exchanger bodies consisting of 6 × 6 and 3 × 3 centimeter-scale channels where each individual centimeter-scale channel comprises 625 crack-free microchannels with 90 μm × 90 μm opening. Owing to the multiscale features, our fabricated heat exchanger bodies exhibited desirable mechanical strength with 156 MPa flexural strength under 1300 Celsius degree. Despite the demonstrated highly tailorable microscopic features and superior mechanical strength, we identified delamination due to the complex interaction among ceramic, polymer, and gas species can be a critical challenge to create fully defect-free heat exchanger, which requires further fundamental investigations in future works. To test the heat exchanger performance, we constructed a high-temperature and high-pressure experimental apparatus that can be safely operated under 400 Celsius degree and 4 bar. With insights gained from mechanistic modeling, material development, and detailed characterization, a cost model was finally developed to understand the market potential of the developed technology, where a cost of $43,000 Celsius degree/kW was envisioned. This project developed a transformative approach to high-performance heat exchanger design. The thermal-fluid-mechanical design approach developed in this project can serve as a generic tool to guide the design of various heat-exchangers operated under high-temperature and high-pressure conditions. The material fabrication approach established in this project can be a useful guide for ceramic processing at extreme length scales.

42 ENGINEERING↗

Quantum-Assisted Variational Segmentation for Image-to-Image Wildfire Detection Using Satellite Data

The quantum computing community has been searching for suitable applications to demonstrate the potential of near-term quantum devices. Quantum machine learning is a potential candidate, particularly using models that cannot be efficiently simulated with classical computers [1, 2]. This work focuses on a transition phase of quantum computers where the quantum machine learning model is still simulable classically but projected not to be simulable as the size of the model grows. Ultimately quantum computers may have advantages for high-dimensional real-world problems. Due to the limited number of qubits in current noisy intermediate-scale quantum (NISQ) devices, the direct application of quantum computers in high dimensional data is not feasible. To remedy this problem, an encoder-decoder architecture can be utilized. The encoder model would transform the high-dimensional data into a compact representation, to a level that small quantum computers can be used today (or in the near future), and the decoder would take the quantum processed outputs back to the high-dimensional space. Addressing the two challenges of quantum machine learning, this work investigates a hybrid supervised generative model with a quantum Ising Born machine embedded as the latent distribution. The model contains four main parts (Figure 1.a.): (1) a U-NET architecture responsible for learning segmentation flow, (2) a Prior network responsible for learning an encoded latent distribution of the input data, (3) a Born machine which represents the latent distribution, and (4) a Posterior network in charge of learning the joint encoded latent distribution of inputs and target data. The initial model, proposed by [3], is optimized by (1) maximizing the overlap of the prior and posterior latent distributions, and (2) minimizing the segmentation loss. The proposed model is designed to be investigated in a simulation environment applied to the real-world application of wildfire segmentation. Specifically, the model is designed to solve the patchy wildfire segmentations of Moderate Resolution Imaging Spectroradiometer (MODIS) by taking the MODIS observations and using Visible Infrared Imaging Radiometer Suite’s (VIIRS) consistent wildfire product as the target. The model solves patchy wildfire segmentations and provides insight into the epistemic errors sourced from model variation. The model utilizes the Born machine as a QUBO solver to represent the latent space as a Bernoulli distribution. The proposed configuration allows the variational segmentation model to leverage the true quantum probabilistic nature and derive a more expressive latent configuration, increasing the model performance in describing wildfire segmentations. The quantum probabilistic information of the Born machine is directly incorporated in the Kullback-Leibler divergence loss in the prior and posterior distributions, forcing the Bernoulli latent distribution to maximize the overlap of input and joint input-target distributions. The proposed model is then trained and compared with a baseline only consisting of direct Bernoulli latent distribution with no Born machine representing the latent space. The models are evaluated based on the segmentation metrics, such as precision, recall, intersect of union, with uncertainty boundaries accounting for the stochastic nature of the model. Our findings show that even in low latent-dimensional space (due to the limit in computational power of the classical quantum simulator), we are able to effectively capture the latent representation and hence the model performs better than the baseline. The findings are a projection for scaling the model into higher dimensional latent space with the Born machine surpassing the baseline performance. Figure 1. Sub-figure (a) demonstrates the architecture for the training phase. The model consists of a Prior and Posterior network that encode inputs and joint input-target data into compact representations, respectively. The Born machine represents the latent distribution, and the U-NET branch learns the segmentation patterns of the data. The stochasticity is introduced to the U-NET through its last layer to create meaningful but stochastic segmentations. Sub-figure (b) represents the inference phase where the model takes the stochastic behavior from the prior network and injects that into the U-NET. Each attempt of inference will generate different but similar segmentations from the same distribution of the wildfire event. REFERENCES [1] Coyle, B., Mills, D., Danos, V., & Kashefi, E. (2020). The Born supremacy: quantum advantage and training of an Ising Born machine. npj Quantum Information, 6(1), 1-11. [2] Liu, J. G., & Wang, L. (2018). Differentiable learning of quantum circuit born machines. Physical Review A, 98(6), 062324. [3] Kohl, S., Romera-Paredes, B., Meyer, C., De Fauw, J., Ledsam, J. R., Maier-Hein, K., ... & Ronneberger, O. (2018). A probabilistic u-net for segmentation of ambiguous images. Advances in neural information processing systems, 31.

quantum machine learning↗

HTS Cable Conductor for Compact Fusion Tokamak Solenoids

Significant progress has been made recently in the US fusion community to develop a strategic plan to enable engineering design and construction of a fusion pilot plant (FPP). Princeton Plasma Physics Laboratory (PPPL) is working on developing high current density HTS conductors for next fusion experiments. Partnering with the US industry, we are evaluating feasibility and affordability of Conductor on Round Core (CORC ® ) developed by Advanced Conductor Technologies (ACT) for the next compact fusion tokamak facility. High current density achieved by a CORC ® cable based on a four-layer model coil recently tested at National High Magnetic Field Laboratory (NHMFL) motivated its consideration for low cost, reduced size fusion magnet application. This is of interest to PPPL because of its scalability to tokamak central solenoid (CS) coils in terms of required flux swings for plasma startup operations. Furthermore, partnering with ACT, we designed and built a two-layer model coil solenoid directly wound with CORC to demonstrate its applicability for compact solenoids such as that used in the national spherical torus experiment (NSTX), NSTX-upgrade (NSTX-U) and the US sustained high-power density test facility (SHPD). The ~160 mm diameter solenoid wound by a two-layer CORC is being tested in early 2022 under electromagnetic cyclic loading at NHMFL in a unique 160 mm bore, 14 T background field magnet facility.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Interpretation of microlensing events in Q2237 + 0305

We point out the uncertainties in the potential models of the foreground galaxy in the gravitational lens Q2237 + 0305. The surface densities and external shears are uncertain by a factor of appproximately less than 2. Very long light curves are calculated for different models using the method developed by Witt (1993) and Lewis et al. (1993). We find that the probability of images being in a quiescent state depends strongly on the potential models and the direction of the source motion relative to the alignment of the (gravitational lens) shear term of the macroimages. For example, the probabilities of finding variations smaller than 0.1 mag and for a period of longer than 0.5 Einstein radii (approximately equals 3-5 yr) in image C and D are approximately 30%. This offers an explanation of why image C and D showed relatively small variations. The quiescent images are more likely to be demagnified, consistent with the observations. Further, the higher the magnification of the macroimages, the weaker are the microlensing events. In addition, we conclude that a simple Gaussian profile has some difficulties in explaining the asymmetric shape and the small amplitude of the observed high-magnification events if they are typical. Source models in which the emission is produced by a brightt compact core and a more extended halo can occur better explain the observed double peak events. More data are needed to clearly distinguish different galaxy potential models.

Witt, Hans J.↗

Cathode Modeling of Solid-State Batteries

The search for safe, reliable, and compact high-capacity energy storage devices has led to increased interest in all-solid-state battery research. The use of solid electrolytes provides enhanced safety and durability due to their reduced flammability and increased mechanical strength compared to organic liquid electrolytes. Still, the use of solid electrolytes remains challenging. Computational modeling plays a substantial role in addressing these challenges. A particle dynamics electromechanical model for simulating electrochemical processes in a solid-state battery cathode will be presented. The model presents cathode microstructure at the particle level as a mixture of ionically conductive solid electrolyte particles, electrically conductive carbon additives, and cathodic reactant particles. After densification, the particle connectivity is analyzed to reconstruct the complex electric network connecting reactant particles with an anodic and cathodic current collectors through the electrolyte and carbon particles. The Kirchhoff’s matrix equation describing this electric network, is solved to obtain values of various critical parameters, such as the overall conductivity of the cathode for lithium ions and electrons, cathodic reactant material utilization, and the distribution of the electric current and voltages within the cathode. In addition, by representing the reactant particles as electrolyte or galvanic microcells governed by the Butler-Volmer electrochemical equation, the overall performance of battery cells during charge or discharge processes, respectively, can be predicted for a given cathodic powder composition. The presented model, executed on a high-performance computing architecture, essentially provides a valuable guidance in designing and developing future solid-state batteries.

solid-state battery↗

Modeling gas breakthrough and flow phenomena through engineered barrier systems using a discrete fracture approach

Compacted clays are being considered to build engineered barrier systems (EBS) intended for the safe isolation of high-level nuclear waste (HLW) and spent nuclear fuel (SNF). The corrosion of the metallic canister containing the HLW/SNF will lead to the generation and buildup of the gas pressure in the more internal part of the clay buffer. This phenomenon would eventually trigger the formation and propagation of fractures in the clay barrier, jeopardizing its safety functions. Here, in this work, we propose to use the fragmentation technique (MFT) to model evolving fractures in clays triggered by gas pressurization. The MFT has been successfully used to model the formation of fractures in concrete, drying cracks in soil, hydraulic and thermo-fractures in rocks. In this work, we extend the MFT to deal with multiphase fluid flow in deformable porous media, and we upgraded a fully coupled computer finite element code using the extended technique. The proposed approach is first verified against analytical solutions and is then applied to model gas breakthrough experiments in clays. A very satisfactory performance of the method is observed in all the analyses, showing the potential of the MFT to tackle multiphase flow problems in deformable porous media with evolving discontinuities.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Unifying Model-Based and Reactive Programming within a Model-Based Executive

Real-time, model-based, deduction has recently emerged as a vital component in AI's tool box for developing highly autonomous reactive systems. Yet one of the current hurdles towards developing model-based reactive systems is the number of methods simultaneously employed, and their corresponding melange of programming and modeling languages. This paper offers an important step towards unification. We introduce RMPL, a rich modeling language that combines probabilistic, constraint-based modeling with reactive programming constructs, while offering a simple semantics in terms of hidden state Markov processes. We introduce probabilistic, hierarchical constraint automata (PHCA), which allow Markov processes to be expressed in a compact representation that preserves the modularity of RMPL programs. Finally, a model-based executive, called Reactive Burton is described that exploits this compact encoding to perform efficIent simulation, belief state update and control sequence generation.

Williams, Brian C.↗