Convex hull method for the determination of vapour-liquid equilibria (VLE) phase diagrams for binary and ternary systems

Amieibibama Joseph wishes to thank Petroleum Technology Development Fund (PTDF) for their financial support which has made this research possible.Peer reviewedPostprin

Broadcasting Automata and Patterns on Z^2

The Broadcasting Automata model draws inspiration from a variety of sources such as Ad-Hoc radio networks, cellular automata, neighbourhood se- quences and nature, employing many of the same pattern forming methods that can be seen in the superposition of waves and resonance. Algorithms for broad- casting automata model are in the same vain as those encountered in distributed algorithms using a simple notion of waves, messages passed from automata to au- tomata throughout the topology, to construct computations. The waves generated by activating processes in a digital environment can be used for designing a vari- ety of wave algorithms. In this chapter we aim to study the geometrical shapes of informational waves on integer grid generated in broadcasting automata model as well as their potential use for metric approximation in a discrete space. An explo- ration of the ability to vary the broadcasting radius of each node leads to results of categorisations of digital discs, their form, composition, encodings and gener- ation. Results pertaining to the nodal patterns generated by arbitrary transmission radii on the plane are explored with a connection to broadcasting sequences and ap- proximation of discrete metrics of which results are given for the approximation of astroids, a previously unachievable concave metric, through a novel application of the aggregation of waves via a number of explored functions

The temperature and chronology of heavy-element synthesis in low-mass stars

Roughly half of the heavy elements (atomic mass greater than that of iron) are believed to be synthesized in the late evolutionary stages of stars with masses between 0.8 and 8 solar masses. Deep inside the star, nuclei (mainly iron) capture neutrons and progressively build up (through the slow-neutron-capture process, or s-process) heavier elements that are subsequently brought to the stellar surface by convection. Two neutron sources, activated at distinct temperatures, have been proposed: 13C and 22Ne, each releasing one neutron per alpha-particle (4He) captured. To explain the measured stellar abundances, stellar evolution models invoking the 13C neutron source (which operates at temperatures of about one hundred million kelvin) are favoured. Isotopic ratios in primitive meteorites, however, reflecting nucleosynthesis in the previous generations of stars that contributed material to the Solar System, point to higher temperatures (more than three hundred million kelvin), requiring at least a late activation of 22Ne. Here we report a determination of the s-process temperature directly in evolved low-mass giant stars, using zirconium and niobium abundances, independently of stellar evolution models. The derived temperature supports 13C as the s-process neutron source. The radioactive pair 93Zr-93Nb used to estimate the s-process temperature also provides, together with the pair 99Tc-99Ru, chronometric information on the time elapsed since the start of the s-process, which we determine to be one million to three million years.Comment: 30 pages, 10 figure

Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions

A multi-agent partially observable Markov decision process (MPOMDP) is a modeling paradigm used for high-level planning of heterogeneous autonomous agents subject to uncertainty and partial observation. Despite their modeling efficiency, MPOMDPs have not received significant attention in safety-critical settings. In this paper, we use barrier functions to design policies for MPOMDPs that ensure safety. Notably, our method does not rely on discretization of the belief space, or finite memory. To this end, we formulate sufficient and necessary conditions for the safety of a given set based on discrete-time barrier functions (DTBFs) and we demonstrate that our formulation also allows for Boolean compositions of DTBFs for representing more complicated safe sets. We show that the proposed method can be implemented online by a sequence of one-step greedy algorithms as a standalone safe controller or as a safety-filter given a nominal planning policy. We illustrate the efficiency of the proposed methodology based on DTBFs using a high-fidelity simulation of heterogeneous robots.Comment: 8 pages and 4 figure

Spectral modeling of type II supernovae. I. Dilution factors

We present substantial extensions to the Monte Carlo radiative transfer code TARDIS to perform spectral synthesis for type II supernovae. By incorporating a non-LTE ionization and excitation treatment for hydrogen, a full account of free-free and bound-free processes, a self-consistent determination of the thermal state and by improving the handling of relativistic effects, the improved code version includes the necessary physics to perform spectral synthesis for type II supernovae to high precision as required for the reliable inference of supernova properties. We demonstrate the capabilities of the extended version of TARDIS by calculating synthetic spectra for the prototypical type II supernova SN1999em and by deriving a new and independent set of dilution factors for the expanding photosphere method. We have investigated in detail the dependence of the dilution factors on photospheric properties and, for the first time, on changes in metallicity. We also compare our results with two previously published sets of dilution factors by Eastman et al. (1996) and by Dessart & Hillier (2005), and discuss the potential sources of the discrepancies between studies.Comment: 16 pages, 12 figures, 2 tables, accepted for publication in A&