This paper describes an extension of C Global Surveyor (CGS), a static program analysis tool developed at the NASA Ames Research Center. CGS is used to analyse mission-critical flight software of NASA Mars missions. In order to enhance CGS and support the analysis of very large systems, the abstract interpretation techniques on which CGS is based need to be augmented by complimentary program an...

A compressible, multiphase, one-fluid RANS solver has been developed to study turbulent cavitating flows. The interplay between turbulence and cavitation regarding the unsteadiness and structure of the flow is complex and not well understood. This constitutes a critical point to accurately simulate the dynamic behaviour of sheet cavities. In the present study, different formulations based on a ...

We have modelled ultracompact H ii regions (UCHiiR) in terms of steady subsonic ionized flows in a clumpy medium. Mass loss from neutral clumps allows the regions to be long-lived. We examine the form of global flows for different dependences of the volume mass injection rate, ˙ q, on radius and Mach number, and describe the solutions in detail. We find that three observed UCHiiR morphologies a...

We review some aspects of the bipolar molecular outflow phenomenon. In particular, we compare the morphological properties, energetics and velocity structures of outflows from high and low-mass protostars and investigate to what extent a common source model can explain outflows from sources of very different luminosities. Many flow properties, in particular the CO spatial and velocity structure...

The vast majority of traditional control strategies aim at the scenario that the propagation is driven by reaction processes from nodes to all neighbours. A novel and effective control strategy for restraining epidemic spreading in the situation that epidemic pathways are defined and driven by traffic flows is proposed in this paper. It is performed by deleting edges in proper order according t...

Real-time systems (RTS) require dependable delay guarantees on delivery of network packets. Traditional approaches for providing such guarantees for mission critical applications require the use of expensive custom built hardware and software resources. We propose a novel framework that reduces the management and integration overheads of the traditional approaches by leveraging the capabilities...

Systematic mapping of 3.5 kHz seismic facies (echo character) reveals the geometry, scales and distribution of Late Quaternary mass-transport deposits (MTDs) within the northern Gulf of Mexico (GOM) intraslope basin province and adjacent Sigsbee Abyssal Plain. The 3.5 kHz seismic facies indicate that localized MTDs are common in the intraslope mini-basins. MTDs of larger scale occur on the uppe...

We investigate the structure and stability of hypercritical accretion flows around stellar-mass black holes, taking into account neutrino cooling, lepton conservation, and firstly a realistic equation of state in order to properly treat the dissociation of nuclei. We obtain the radial distributions of physical properties, such as density, temperature and electron fraction, for various mass accr...