2,270 research outputs found
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
- âŠ