Birkhoff normalization process program for time-dependent Hamiltonian systems
Birkhoff normalization process computer program for time dependent Hamiltonian systems
Fine, W.↗
SEARCH · Engineering Papers
Results for “System dependency”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems
The manual application of formal methods in system specification has produced successes, but in the end, despite any claims and assertions by practitioners, there is no provable relationship between a manually derived system specification or formal model and the customer's original requirements. Complex parallel and distributed system present the worst case implications for today s dearth of viable approaches for achieving system dependability. No avenue other than formal methods constitutes a serious contender for resolving the problem, and so recognition of requirements-based programming has come at a critical juncture. We describe a new, NASA-developed automated requirement-based programming method that can be applied to certain classes of systems, including complex parallel and distributed systems, to achieve a high degree of dependability.
Hinchey, Michael G.↗
An Efficient Approach for the Reliability Analysis of Phased-Mission Systems with Dependent Failures
We consider the reliability analysis of phased-mission systems with common-cause failures in this paper. Phased-mission systems (PMS) are systems supporting missions characterized by multiple, consecutive, and nonoverlapping phases of operation. System components may be subject to different stresses as well as different reliability requirements throughout the course of the mission. As a result, component behavior and relationships may need to be modeled differently from phase to phase when performing a system-level reliability analysis. This consideration poses unique challenges to existing analysis methods. The challenges increase when common-cause failures (CCF) are incorporated in the model. CCF are multiple dependent component failures within a system that are a direct result of a shared root cause, such as sabotage, flood, earthquake, power outage, or human errors. It has been shown by many reliability studies that CCF tend to increase a system's joint failure probabilities and thus contribute significantly to the overall unreliability of systems subject to CCF.We propose a separable phase-modular approach to the reliability analysis of phased-mission systems with dependent common-cause failures as one way to meet the above challenges in an efficient and elegant manner. Our methodology is twofold: first, we separate the effects of CCF from the PMS analysis using the total probability theorem and the common-cause event space developed based on the elementary common-causes; next, we apply an efficient phase-modular approach to analyze the reliability of the PMS. The phase-modular approach employs both combinatorial binary decision diagram and Markov-chain solution methods as appropriate. We provide an example of a reliability analysis of a PMS with both static and dynamic phases as well as CCF as an illustration of our proposed approach. The example is based on information extracted from a Mars orbiter project. The reliability model for this orbiter considers the various phases of Launch, Cruise, Mars Orbit Insertion, and Orbit. Some of the CCF for the orbiter in this mission include environmental effects, such as micrometeoroids, human operator errors, and software errors.
reliability analysis↗
Containerized GEOS: Toward a Portable Climate Model
The NASA Goddard Earth Observing System (GEOS) is an Earth system model used for weather, climate, and other scientific applications. GEOS consists of linked components that can run in various configurations such as atmosphere-only and coupled atmosphere-ocean. Running this model on any new supercomputing system depends on operating systems, compilers, MPI stacks, and libraries being present and correctly configured. To remove that burden from users, our project explores building and running GEOS using Singularity containers – files containing all the needed software dependencies – on both NASA high-end computing systems and commercial cloud computing environments. Ultimately, the goal is for containerized GEOS to make it easier for users outside of NASA to deploy and run the model on any machine.
Matthew Thompson↗
Glucocorticoids activate the ATP-ubiquitin-dependent proteolytic system in skeletal muscle during fasting
Glucocorticoids are essential for the increase in protein breakdown in skeletal muscle normally seen during fasting. To determine which proteolytic pathway(s) are activated upon fasting, leg muscles from fed and fasted normal rats were incubated under conditions that block or activate different proteolytic systems. After food deprivation (1 day), the nonlysosomal ATP-dependent process increased by 250%, as shown in experiments involving depletion of muscle ATP. Also, the maximal capacity of the lysosomal process increased 60-100%, but no changes occurred in the Ca(2+)-dependent or the residual energy-independent proteolytic processes. In muscles from fasted normal and adrenalectomized (ADX) rats, the protein breakdown sensitive to inhibitors of the lysosomal or Ca(2+)-dependent pathways did not differ. However, the ATP-dependent process was 30% slower in muscles from fasted ADX rats. Administering dexamethasone to these animals or incubating their muscles with dexamethasone reversed this defect. During fasting, when the ATP-dependent process rises, muscles show a two- to threefold increase in levels of ubiquitin (Ub) mRNA. However, muscles of ADX animals failed to show this response. Injecting dexamethasone into the fasted ADX animals increased muscle Ub mRNA within 6 h. Thus glucocorticoids activate the ATP-Ub-dependent proteolytic pathway in fasting apparently by enhancing the expression of components of this system such as Ub.
Non-NASA Center↗
On reliable control system designs
A research effort is summarized which addresses some of the current problems in interfacing systems theory and reliability. Reliability is roughly the probability that a system will perform according to specifications for a given amount of time. The reliability of a system depends on the structure of its components. Systems theory and control theory deal with the response characteristics of a system, which depend on the system dynamics. The concepts necessary to unify the structural and the dynamic properties of a system are defined. The result is a definition of what constitutes a reliable systems, from the viewpoint of systems theory, and a methodology which can be used to determine if a given design allows a reliable control system design.
Birdwell, J. Douglas↗
Space ecological systems.
Closed environment life support systems dependent on propulsion systems and mission requirements
LIFE SUPPORT SYSTEM↗
Dependable autonomous systems = knowing well what to do + knowing how to do it well
This position paper reflects upon experiences and lessons learned from several spacecraft projects at JPL and JPL's recent collaboration with software architecture researchers from USC and CMU.
Mars Pathfinder DS1 dependable autonomous systems↗
Buoyancy Suppression in Gases at High Temperatures
The computational fluid dynamics code FLUENT was used to study Rayleigh instability at large temperature differences in a sealed gas-filled enclosure with a cold top surface and a heated bottom wall (Benard problem). Both steady state and transient calculations were performed. The results define the boundaries of instability in a system depending on the geometry, temperature and pressure. It is shown that regardless of how fast the bottom-wall temperature can be ramped up to minimize the time spent in the unstable region of fluid motion, the eventual stability of the system depends on the prevailing final pressure after steady state has been reached. Calculations also show that the final state of the system can be different depending on whether the result is obtained via a steady-state solution or is reached by transient calculations. Changes in the slope of the pressure-versus-time curve are found to be a very good indicator of changes in the flow patterns in the system.
Kuczmarski, Maria A.↗
Orbital flight simulation utility software unit specifications, revision 1
The HP PASCAL source code defines the specifications for a Utility Software Unit (USU) designed to support orbital flight simulators such as MANHANDLE and GREAS (General Research and Engineering Analysis Simulator). Besides providing basic input/output, mathematical, matrix, quaternion, and statistical routines for such simulators, one of the primary functions of the USU is to isolate all system-dependent codes in one well-defined compartment, thereby facilitating transportation of the simulations from one computer to another. Directives are given for the PASCAL compilers of the HP-9000 Series 200 Pascal 3.0 and the HP-9000 Series 500 HP-UX 5.0 operating systems that produce a single file of relocatable code from four separate files of source code. Three of the source code files are common to both operating systems. The fourth source code file (utilspif.I) contains all of the system-dependent PASCAL code for the USU. A fifth file of source code written in C is required to interface utilspif.I with the HP-UX I/O package. The Pascal 3.0 compiler directives and the driver source code for a unit rest program and counterparts for the HP-UX 5.0 operating system are given. The major portion of the unit test program source code is common to both operating systems. Unit test results from the Pascal 3.0 operating system and results from the HP-UX operating system are given.
Wilson, S. W.↗
Unified approach for incompressible flows
An unified approach for solving both compressible and incompressible flows was investigated in this study. The difference in CFD code development between incompressible and compressible flows is due to the mathematical characteristics. However, if one can modify the continuity equation for incompressible flows by introducing pseudocompressibility, the governing equations for incompressible flows would have the same mathematical characters as compressible flows. The application of a compressible flow code to solve incompressible flows becomes feasible. Among numerical algorithms developed for compressible flows, the Centered Total Variation Diminishing (CTVD) schemes possess better mathematical properties to damp out the spurious oscillations while providing high-order accuracy for high speed flows. It leads us to believe that CTVD schemes can equally well solve incompressible flows. In this study, the governing equations for incompressible flows include the continuity equation and momentum equations. The continuity equation is modified by adding a time-derivative of the pressure term containing the artificial compressibility. The modified continuity equation together with the unsteady momentum equations forms a hyperbolic-parabolic type of time-dependent system of equations. The continuity equation is modified by adding a time-derivative of the pressure term containing the artificial compressibility. The modified continuity equation together with the unsteady momentum equations forms a hyperbolic-parabolic type of time-dependent system of equations. Thus, the CTVD schemes can be implemented. In addition, the boundary conditions including physical and numerical boundary conditions must be properly specified to obtain accurate solution. The CFD code for this research is currently in progress. Flow past a circular cylinder will be used for numerical experiments to determine the accuracy and efficiency of the code before applying this code to more specific applications.
Chang, Tyne-Hsien↗
Motor System Development Depends on Experience: A Microgravity Study of Rats
Animals move about their environment by sensing their surroundings and making adjustments according to need. All animals take the force of gravity into account when the brain and spinal cord undertake the planning and execution of movements. To what extent must animals learn to factor in the force of gravity when making neural calculations about movement? Are animals born knowing how to respond to gravity, or must the young nervous system learn to enter gravity into the equation? To study this issue, young rats were reared in two different gravitational environments (the one-G of Earth and the microgravity of low Earth orbit) that necessitated two different types of motor operations (movements) for optimal behavior. We inquired whether those portions of the young nervous system involved in movement, the motor system, can adapt to different gravitational levels and, if so, the cellular basis for this phenomenon. We studied two groups of rats that had been raised for 16 days in microgravity (eight or 14 days old at launch) and compared their walking and righting (ability to go from upside down to upright) and brain structure to those of control rats that developed on Earth. Flight rats were easily distinguished from the age-matched ground control rats in terms of both motor function and central nervous system structure. Mature surface righting predominated in control rats on the day of landing (R+O), while immature righting predominated in the flight rats on landing day and 30 days after landing. Some of these changes appear to be permanent. Several conclusions can be drawn from these studies: (1) Many aspects of motor behavior are preprogrammed into the young nervous system. In addition, several aspects of motor behavior are acquired as a function of the interaction of the developing organism and the rearing environment; (2) Widespread neuroanatomical differences between one-G- and microgravity-reared rats indicate that there is a structural basis for the adaptation to the rearing environment. These observations provide support for the idea that an animal's motor system adapts for optimal function within the environment experienced during a critical period in early postnatal life.
Walton, Kerry D.↗
Corotating energetic particle and fast plasma streams in the inner and outer solar system: Radial dependence and energy spectra
Interplanetary acceleration processes are shown as the most plausible explanation for the observed corotating energetic particle events. The relation between the energetic particle events and the properties of the high speed solar wind streams observed at 1 AU were investigated along with the form of the energy spectrum of the corotating energetic particle streams and its variation with respect to CIR boundaries and with radial distance. It is shown that: (1) at 1 AU a correlation exists between the j particle intensity and the solar wind velocity measured during the rising part of the event, of the form I is proportional to exp (V sub sw/V sub o); and (2) the energy spectra from .5 to 20 MeV are well represented by an exponential in momentum of the form dJ/dP = C exp (-P/P sub o). This representation is found to apply from .45 AU to beyond 5 AU. The variation of P sub o with respect to the CIR boundaries was studied using a method of superposed epoch analysis. It is shown that at 1 AU the spectrum remains constant during the first two days and then progressively flattens; between 3-4AU.
Vanhollebeke, M. A. I.↗
Radar Analysis and Visualization Environment (RAVEN): Software for polarimetric radar analysis
Imaging radar data provides information about the geometric and dielectric properties of the Earth's surface. The Jet Propulsion Laboratory (JPL) polarimetric Airborne Synthetic Aperture Radar (AIRSAR) is currently obtaining imaging radar data for use in geologic, vegetation, snow and ice, and ocean studies. In the near future, the Shuttle Imaging Radar C (SIR-C/X-SAR) and the Earth Observing System Synthetic Aperture Radar (EOS SAR) will also collect polarimetric radar data. A need exists for a user-friendly, interactive software package for analysis of these polarimetric radar data sets. Previous software packages, such as JPL's Multiview, while providing some analysis capabilities for these data, did not allow interactive viewing and were tied to specific image display hardware with operating system dependencies. A prototype software system, the 'Radar Analysis and Visualization Environment' (RAVEN) under development at the Center for the Study of Earth from Space (CSES) at the University of Colorado, is designed to deal with data from the JPL AIRSAR instrument and other proposed polarimetric radar instruments. RAVEN is being developed using the Interactive Data Language (IDL). It takes advantage of high speed disk access and fast processors running under the UNIX operating system in an X-windows environment to allow for rapid, interactive visualization of AIRSAR data in both image and graphical ways. It provides a user-friendly interface through the use of menus, sliders, buttons, and display windows.
Kierein-Young, K. S.↗
Low-power millimeter-wave radar observations of the atmosphere
Historically, cloud structures, dynamics, and precipitation processes have been observed and measured with sensors from two different spatial resolutions. Laser-based sensors have volume resolutions on the order of 10(exp -4) to 10(exp -2) cubic meters for a 1-s sample. Radar systems operating at wavelengths between 1 and 10 cm have resolutions on the order of 10(exp 4) to 10(exp 7) cubic meters. The resolutions of micro-wave systems depend primarily on the system RF bandwidth and antenna bandwidth. Both resolution regimes were useful in the study of cloud structures and processes - the former for determining resolution on the individual cloud particle scale and the latter for studying the coarse characteristics of cloud dynamics and structure. There are, however, cloud processes and structures that occur on scales that lie between these two regimes: the process of entrainment, where outside air is brought within the cloud boundaries; the mixing of in-cloud particles with different histories; cloud particle coalescence; and ice formation. The use of mm-wave (30- to 300-GHz) radars offers an opportunity to observe cloud processes at these scales and determine their influence on precipitation development, cloud albedos, cloud lifetimes, chemical cycling of tract substances, aircraft icing, and other meteorological phenomena. To determine the usefulness of a 35-GHz radar for observing these precipitation and cloud processes, a research program was initiated. The objectives of this program are to develop a 35-GHz radar, to measure scattering from precipitation and clouds, and to develop a model to compute scattering from clouds using the finite-difference time-domain (FDTD) technique.
Ronnau, James F.↗
Choosing Between Yeast and Bacterial Expression Systems: Yield Dependent
Green fluorescent protein (GFP) is a naturally occurring fluorescent protein isolated from the jellyfish Aequorea victoria. The intrinsic fluorescence of the protein is due to a chromophore located in the center of the molecule. Its usefulness has been established as a marker for gene expression and localization of gene products. GFP has recently been utilized as a model protein for crystallization studies at NASA/MSFC, both in earth-based and in microgravity experiments. Because large quantities of purified protein were needed, the cDNA of GFP was cloned into the Pichia pastoris pPICZ(alpha) C strain, with very little protein secreted into the media. Microscopic analysis prior to harvest showed gigantic green fluorescent yeast, but upon harvesting most protein was degraded. Trial fermentations of GFP cloned into pPICZ A for intracellular expression provided unsatisfactory yield. GFP cloned into E, coli was overexpressed at greater than 150 mg/liter, with purification yields at greater than 100mg/liter.
Miller, Rebecca S.↗
Advanced avionics systems for dependable computing in future space exploration
Explore the source record for details and available documents.
dependable computing↗
Terminator field-aligned current system: Its dependencies on solar, seasonal, and geomagnetic conditions
Explore the source record for details and available documents.
L. Zhu↗