A compositional method for reliability analysis of workflows affected by multiple failure modes

We focus on reliability analysis for systems designed as workflow based compositions of components. Components are characterized by their failure profiles, which take into account possible multiple failure modes. A compositional calculus is provided to evaluate the failure profile of a composite system, given failure profiles of the components. The calculus is described as a syntax-driven procedure that synthesizes a workflows failure profile. The method is viewed as a design-time aid that can help software engineers reason about systems reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach

Photothermal characterization of encapsulant materials for photovoltaic modules

A photothermal test matrix and a low cost testing apparatus for encapsulant materials of photovoltaic modules were defined. Photothermal studies were conducted to screen and rank existing as well as future encapsulant candidate materials and/or material formulations in terms of their long term physiochemical stability under accelerated photothermal aging conditions. Photothermal characterization of six candidate pottant materials and six candidate outer cover materials were carried out. Principal products of photothermal degradation are identified. Certain critical properties are also monitored as a function of photothermal aging

Resonant Scattering and Recombination in CAL 87

The eclipsing supersoft X-ray binary CAL 87 has been observed with Chandra on August 13/14, 2001 for nearly 100 ksec, covering two full orbital cycles and three eclipses. The shape of the eclipse light curve derived from the zeroth-order photons indicates that the size of the X-ray emission region is about 1.5 solar radii. The ACIS/LETG spectrum is completely dominated by emission lines without any noticeable continuum. The brightest emission lines are significantly redshifted and double-peaked, suggestive of emanating in a 2000 km/s wind. We model the X-ray spectrum by a mixture of recombination and resonant scattering. This allows us to deduce the temperature and luminosity of the ionizing source to be kT = 50-100 eV and L_X = 5E37 erg/s.Comment: To appear in Proceedings of IAU Coll. 194 "Compact binaries in the Galaxy and beyond" (Rev. Mex. A&A Conf. Series), eds. G. Tovmassian and E. Sio

Predictive models of glucose control : roles for glucose-sensing neurones

© 2014 The Authors. Acta Physiologica published by John Wiley & Sons Ltd on behalf of Scandinavian Physiological Society.Peer reviewedPublisher PD

Chandra Studies of the X-ray Point Source Luminosity Functions of M31

Three different M31 disk fields, spanning a range of stellar populations, were observed by Chandra. We report the X-ray point source luminosity function (LF) of each region, and the LF of M31's globular clusters, and compare these with each other and with the LF of the galaxy's bulge. To interpret the results we also consider tracers of the stellar population, such as OB associations and supernova remnants. We find differences in the LFs among the fields, but cannot definitively relate them to the stellar content of the fields. We find that stellar population information, average and maximum source luminosities, X-ray source densities, and slopes of the LF are useful in combination.Comment: 7 pages, 3 figures, accepted for publication in ApJ. Higher-resolution figures available on reques

Automatic parallelization with separation logic

Separation logic is a recent approach to the analysis of pointer programs in which resource separation is expressed with a logical connective in assertions that describe the state at any given point in the program. We extend this approach to express properties of memory separation between different points in the program, and present an algorithm for determining independences between program statements which can be used for parallelization

MW-Class Electric Propulsion System Designs

Electric propulsion systems are well developed and have been in commercial use for several years. Ion and Hall thrusters have propelled robotic spacecraft to encounters with asteroids, the Moon, and minor planetary bodies within the solar system, while higher power systems are being considered to support even more demanding future space science and exploration missions. Such missions may include orbit raising and station-keeping for large platforms, robotic and human missions to near earth asteroids, cargo transport for sustained lunar or Mars exploration, and at very high-power, fast piloted missions to Mars and the outer planets. The Advanced In-Space Propulsion Project, High Efficiency Space Power Systems Project, and High Power Electric Propulsion Demonstration Project were established within the NASA Exploration Technology Development and Demonstration Program to develop and advance the fundamental technologies required for these long-range, future exploration missions. Under the auspices of the High Efficiency Space Power Systems Project, and supported by the Advanced In-Space Propulsion and High Power Electric Propulsion Projects, the COMPASS design team at the NASA Glenn Research Center performed multiple parametric design analyses to determine solar and nuclear electric power technology requirements for representative 300-kW class and pulsed and steady-state MW-class electric propulsion systems. This paper describes the results of the MW-class electric power and propulsion design analysis. Starting with the representative MW-class vehicle configurations, and using design reference missions bounded by launch dates, several power system technology improvements were introduced into the parametric COMPASS simulations to determine the potential system level benefits such technologies might provide. Those technologies providing quantitative system level benefits were then assessed for technical feasibility, cost, and time to develop. Key assumptions and primary results of the COMPASS MW-class electric propulsion power system study are reported, and discussion is provided on how the analysis might be used to guide future technology investments as NASA moves to more capable high power in-space propulsion systems

Detection potential to point-like neutrino sources with the NEMO-km3 telescope

The NEMO Collaboration is conducting an R&D activity towards the construction of a Mediterranean km3 neutrino telescope. In this work, we present the results of Monte Carlo simulation studies on the capability of the proposed NEMO telescope to detect and identify point-like sources of high energy muon neutrinos.Comment: To be published on BCN06 proceedings (Barcelona, July 4-7, 2006