A unified approach to Performance Assessment (PA) of geological CO2 storage

AbstractPerformance Assessment (PA) evaluates the effectiveness of a specified system or sub-system relative to some criteria of interest to particular stakeholders. A flexible PA approach has been developed for geological CO2 storage, by which qualitative information, quantitative data, output from numerical models and expert judgments are combined within a decision-support framework. The methodology has been implemented in three software tools: (1) TESLA, which is used to construct decision trees, propagate evidence and record the logic underlying a decision; (2) an on-line database of Features, Events and Processes (FEPs) targeted at CO2 storage; and (3) QPAC-CO2, for modelling system performance

Two-Body Cabibbo-Suppressed Charmed Meson Decays

Singly-Cabibbo-suppressed decays of charmed particles governed by the quark subprocesses $c \to s u \bar s$ and $c \to d u \bar d$ are analyzed using a flavor-topology approach, based on a previous analysis of the Cabibbo-favored decays governed by $c \to s u \bar d$. Decays to $PP$ and $PV$, where $P$ is a pseudoscalar meson and $V$ is a vector meson, are considered. We include processes in which $\eta$ and $\eta '$ are produced.Comment: 18 pages, latex, 2 figures, to be submitted to Phys. Rev.

Plant Growth Optimization by Vegetable Production System in HI-SEAS Analog Habitat

The Vegetable Production System (Veggie) is a scientific payload designed to support plant growth for food production under microgravity conditions. The configuration of Veggie consists of an LED lighting system with modular rooting pillows designed to contain substrate media and time-release fertilizer. The pillows were designed to be watered passively using capillary principles but have typically been watered manually by the astronauts in low-Earth orbit (LEO). The design of Veggie allows cabin air to be drawn through the plant enclosure for thermal and humidity control and for supplying CO2 to the plants. Since its delivery to the International Space Station (ISS) in 2014, Veggie has undergone several experimental trials by various crews. Ground unit testing of Veggie was conducted during an 8-month Mars analog study in a semi-contained environment of a simulated habitat located at approximately 8,200 feet (2,500 m) elevation on the Mauna Loa volcano on the Island of Hawaii. The Hawaii Space Exploration Analog and Simulation (HI-SEAS) offered conditions (habitat, mission, communications, etc.) intended to simulate a planetary exploration mission. This paper provides data and analyses to show the prospect for optimized use of the current Veggie design for human habitats. Lessons learned during the study may provide opportunities for updating the system design and operational parameters for current Veggie experiments being conducted onboard the ISS and for payloads on future deep space missions

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study

Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficult to implement correctly, especially when considering the relaxed memory ordering models commonly employed by today’s multiprocessors. The formal verification of such implementations is challenging as well because the high degree of concurrency leads to a large number of possible executions. In this case study, we develop a SAT-based bounded verification method and apply it to a representative example, a well-known two-lock concurrent queue algorithm. We first formulate a correctness criterion that specifically targets failures caused by concurrency; it demands that all concurrent executions be observationally equivalent to some serial execution. Next, we define a relaxed memory model that conservatively approximates several common shared-memory multiprocessors. Using commit point specifications, a suite of finite symbolic tests, a prototype encoder, and a standard SAT solver, we successfully identify two failures of a naive implementation that can be observed only under relaxed memory models. We eliminate these failures by inserting appropriate memory ordering fences into the code. The experiments confirm that our approach provides a valuable aid for desigining and implementing concurrent data types

The origin of aubrites: Evidence from lithophile trace element abundances and oxygen isotope compositions

We report the abundances of a selected set of “lithophile” trace elements (including lanthanides, actinides and high field strength elements) and high-precision oxygen isotope analyses of a comprehensive suite of aubrites. Two distinct groups of aubrites can be distinguished: (a) the main-group aubrites display flat or light-REE depleted REE patterns with variable Eu and Y anomalies; their pyroxenes are light-REE depleted and show marked negative Eu anomalies; (b) the Mount Egerton enstatites and the silicate fraction from Larned display distinctive light-REE enrichments, and high Th/Sm ratios; Mount Egerton pyroxenes have much less pronounced negative Eu anomalies than pyroxenes from the main-group aubrites. Leaching experiments were undertaken to investigate the contribution of sulfides to the whole rock budget of the main-group aubrites. Sulfides contain in most cases at least 50% of the REEs and of the actinides. Among the elements we have analyzed, those displaying the strongest lithophile behaviors are Rb, Ba, Sr and Sc. The homogeneity of the Δ17O values obtained for main-group aubrite falls [Δ17O = +0.009 ± 0.010‰ (2σ)] suggests that they originated from a single parent body whose differentiation involved an early phase of large-scale melting that may have led to the development of a magma ocean. This interpretation is at first glance in agreement with the limited variability of the shapes of the REE patterns of these aubrites. However, the trace element concentrations of their phases cannot be used to discuss this hypothesis, because their igneous trace-element signatures have been modified by subsolidus exchange. Finally, despite similar O isotopic compositions, the marked light-REE enrichments displayed by Mount Egerton and Larned suggest that they are unrelated to the main-group aubrites and probably originated from a distinct parent body

Parity nonconservation in deuteron photoreactions

We calculate the asymmetries in parity nonconserving deuteron photodisintegration due to circularly polarized photons gamma+d to n+p with the photon laboratory energy ranging from the threshold up to 10 MeV and the radiative capture of thermal polarized neutrons by protons n+p to gamma+d. We use the leading order electromagnetic Hamiltonian neglecting the smaller nuclear exchange currents. Comparative calculations are done by using the Reid93 and Argonne v18 potentials for the strong interaction and the DDH and FCDH "best" values for the weak couplings in a weak one-meson exchange potential. A weak NDelta transition potential is used to incorporate also the Delta(1232)-isobar excitation in the coupled-channels formalism.Comment: 14 pages, 13 figures (18 eps files), LaTeX2

Facts, Values and Quanta

Quantum mechanics is a fundamentally probabilistic theory (at least so far as the empirical predictions are concerned). It follows that, if one wants to properly understand quantum mechanics, it is essential to clearly understand the meaning of probability statements. The interpretation of probability has excited nearly as much philosophical controversy as the interpretation of quantum mechanics. 20th century physicists have mostly adopted a frequentist conception. In this paper it is argued that we ought, instead, to adopt a logical or Bayesian conception. The paper includes a comparison of the orthodox and Bayesian theories of statistical inference. It concludes with a few remarks concerning the implications for the concept of physical reality.Comment: 30 pages, AMS Late

Atomic diffraction from nanostructured optical potentials

We develop a versatile theoretical approach to the study of cold-atom diffractive scattering from light-field gratings by combining calculations of the optical near-field, generated by evanescent waves close to the surface of periodic nanostructured arrays, together with advanced atom wavepacket propagation on this optical potential.Comment: 8 figures, 10 pages, submitted to Phys. Rev.

Final-State Phases in Charmed Meson Two-Body Nonleptonic Decays

Observed decay rates indicate large phase differences among the amplitudes for the charge states in $D \to \bar K \pi$ and $D \to \bar K^* \pi$ but relatively real amplitudes in the charge states for $D \to \bar K \rho$. This feature is traced using an SU(3) flavor analysis to a sign flip in the contribution of one of the amplitudes contributing to the latter processes in comparison with its contribution to the other two sets. This amplitude may be regarded as an effect of rescattering and is found to be of magnitude comparable to others contributing to charmed particle two-body nonleptonic decays.Comment: 19 pages, latex, 4 figures, to be submitted to Phys. Rev.

Comonotonic Independence: The Critical Test between Classical and Rank-Dependent Utility Theories

This article compares classical expected utility (EU) with the more general rank-dependent utility (RDU) models. The difference between the independence condition for preferences of EU and its comonotonic generalization in RDU provides the exact demarcation between EU and rank-dependent models. Other axiomatic differences are not essential. An experimental design is described that tests this difference between independence and comonotonic independence in its most basic form and is robust against violations of other assumptions that may confound the results, in particular the reduction principle and transitivity. It is well known that in the classical counterexamples to EU, comonotonic independence performs better than full-force independence. For our more general choice pairs, however, we find that comonotonic independence does not perform better. This is contrary to our prior expectation and suggests that rank-dependent models, in full generality, do not provide a descriptive improvement over EU. For rank-dependent models to have a future, submodels and choice situations need to be identified for which rank-dependence does contribute descriptively