Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “system level modeling”

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.

At least 829 records · Page 46

Validity of the two-level model for Viterbi decoder gap-cycle performance

A two-level model has previously been proposed for approximating the performance of a Viterbi decoder which encounters data received with periodically varying signal-to-noise ratio. Such cyclically gapped data is obtained from the Very Large Array (VLA), either operating as a stand-alone system or arrayed with Goldstone. This approximate model predicts that the decoder error rate will vary periodically between two discrete levels with the same period as the gap cycle. It further predicts that the length of the gapped portion of the decoder error cycle for a constraint length K decoder will be about K-1 bits shorter than the actual duration of the gap. The two-level model for Viterbi decoder performance with gapped data is subjected to detailed validation tests. Curves showing the cyclical behavior of the decoder error burst statistics are compared with the simple square-wave cycles predicted by the model. The validity of the model depends on a parameter often considered irrelevant in the analysis of Viterbi decoder performance, the overall scaling of the received signal or the decoder's branch-metrics. Three scaling alternatives are examined: optimum branch-metric scaling and constant branch-metric scaling combined with either constant noise-level scaling or constant signal-level scaling. The simulated decoder error cycle curves roughly verify the accuracy of the two-level model for both the case of optimum branch-metric scaling and the case of constant branch-metric scaling combined with constant noise-level scaling. However, the model is not accurate for the case of constant branch-metric scaling combined with constant signal-level scaling.

Dolinar, S.↗

System-Level Prognostics for the National Airspace

In the National Airspace System (NAS), safety is assured through a set of rules, regulations, and procedures to respond to unsafe events. However, safety stands to benefit immensely from the introduction of tools and methodologies from Prognostics and Health Management (PHM). PHM will enable the NAS to stochastically predict unsafe states within the NAS, enabling a proactive preventative response strategy, as opposed to a reactive mitigative one. However, current PHM methods do not directly apply to the NAS for several reasons: they typically apply only at the component level, are implemented in a centralized manner, and are focused only on predicting remaining useful life. In this paper, we extend the model-based prognostics approach to PHM in order to provide a framework that can be applied to the NAS. We offer a system-level approach that supports a distributed implementation, and provide algorithms to predict the probability of an unsafe state, either at a specific time or within a time interval, and to predict the time of an unsafe state. Experimental results in simulation demonstrate the new approach.

prognostics↗

Solar System Test of Gravitational Theories

We are engaged in testing gravitational theory, mainly using observations of objects in the solar system and mainly on the interplanetary scale. Our goal is either to detect departures from the standard model (general relativity) - if any exist within the level of sensitivity of our data - or to place tighter bounds on such departures. For this project, we have analyzed a combination of observational data with our model of the solar system, including primarily planetary radar ranging, lunar laser ranging, and spacecraft tracking, but also including both pulsar timing and pulsar VLBI measurements. In the past year, we have included new data in the analysis, primarily tracking data from the Mars Pathfinder mission. Although these data are relatively few in number, they extend the time span of high-precision tracking on the surface of Mars from six years to over 20. As a result, the statistical standard deviation of our estimate of Mars precession rate has nearly halved, and the rest of the parameters in our solar-system model have experienced a corresponding, albeit smaller, improvement (about 20% for t,he relevant asteroid masses, 10% for the semimajor axis of Mars orbit, and smaller amounts for most other parameters). In the coming year, we plan to continue adding data to our set, as available. Ne 2 expect to use these data and improved models to obtain estimates of the gravitational- theory parameters and to publish these results.

Shapiro, Irwin I.↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

Business Intelligence Modeling in Launch Operations

This technology project is to advance an integrated Planning and Management Simulation Model for evaluation of risks, costs, and reliability of launch systems from Earth to Orbit for Space Exploration. The approach builds on research done in the NASA ARC/KSC developed Virtual Test Bed (VTB) to integrate architectural, operations process, and mission simulations for the purpose of evaluating enterprise level strategies to reduce cost, improve systems operability, and reduce mission risks. The objectives are to understand the interdependency of architecture and process on recurring launch cost of operations, provide management a tool for assessing systems safety and dependability versus cost, and leverage lessons learned and empirical models from Shuttle and International Space Station to validate models applied to Exploration. The systems-of-systems concept is built to balance the conflicting objectives of safety, reliability, and process strategy in order to achieve long term sustainability. A planning and analysis test bed is needed for evaluation of enterprise level options and strategies for transit and launch systems as well as surface and orbital systems. This environment can also support agency simulation .based acquisition process objectives. The technology development approach is based on the collaborative effort set forth in the VTB's integrating operations. process models, systems and environment models, and cost models as a comprehensive disciplined enterprise analysis environment. Significant emphasis is being placed on adapting root cause from existing Shuttle operations to exploration. Technical challenges include cost model validation, integration of parametric models with discrete event process and systems simulations. and large-scale simulation integration. The enterprise architecture is required for coherent integration of systems models. It will also require a plan for evolution over the life of the program. The proposed technology will produce long-term benefits in support of the NASA objectives for simulation based acquisition, will improve the ability to assess architectural options verses safety/risk for future exploration systems, and will facilitate incorporation of operability as a systems design consideration, reducing overall life cycle cost for future systems. The future of business intelligence of space exploration will focus on the intelligent system-of-systems real-time enterprise. In present business intelligence, a number of technologies that are most relevant to space exploration are experiencing the greatest change. Emerging patterns of set of processes rather than organizational units leading to end-to-end automation is becoming a major objective of enterprise information technology. The cost element is a leading factor of future exploration systems.

Bardina, Jorge E.↗

Simulating Reflected Light Coronagraphy of Earth-like Exoplanets with a Large IR/O/UV Space Telescope: Impact and Calibration of Smooth Exozodiacal Dust

Observing Earth-like exoplanets orbiting within the habitable zone of Sun-like stars and studying their atmospheres in reflected starlight requires contrasts of ∼1e–10 in the visible. At such high contrast, starlight reflected by exozodiacal dust is expected to be a significant source of contamination. Here, we present high-fidelity simulations of coronagraphic observations of a synthetic solar system located at a distance of 10 pc and observed with a 12 m and an 8 m circumscribed aperture diameter space telescope operating at 500 nm wavelength. We explore different techniques to subtract the exozodi and stellar speckles from the simulated images in the face-on, the 30 deg inclined, and the 60 deg inclined case and quantify the remaining systematic noise as a function of the exozodiacal dust level of the system. We find that in the face-on case, the exozodi can be subtracted down to the photon noise limit for exozodi levels up to ∼1000 zodi using a simple toy model for the exozodiacal disk, whereas in the 60 deg inclined case this only works up to ∼50 zodi. We also investigate the impact of larger wave front errors and larger system distance, finding that while the former has no significant impact, the latter has a strong (negative) impact. Ultimately, we derive a penalty factor as a function of the exozodi level and system inclination that should be considered in exoplanet yield studies as a realistic estimate for the excess systematic noise from the exozodi.

Exoplanet detection methods↗

Assessment of Mixer-Ejector Nozzle with Thermal Acoustic Shield for Jet Noise Reduction

A tendency for excessive exhaust jet mixing noise from low bypass ratio turbofan engines is recognized as a key challenge in the design of commercial supersonic aircraft. In this work we investigate a unique combination of two noise mitigation methods as a novel strategy to reduce jet mixing noise. First, a thermal acoustic shield (TAS) is used to reflect high frequency acoustic waves at small angles to the jet axis; second, a mixer-ejector (ME) nozzle is used to mechanically shield noise propagating at large angles to the axis. The ME shroud also provides a convenient location for a TAS nozzle and improves TAS effectiveness by limiting the downstream extent of high frequency noise generation. In an additional benefit for a velocity-matched TAS stream, the ME allows a reduction in strength of the TAS outer shear layer which could serve as a secondary noise source. The present work provides a quantitative assessment of the ME-TAS concept, using a combination of RANS CFD simulations, acoustic analogy calculations for the farfield Green's function, and surrogate-based modeling and parameter space exploration. We first evaluate a subscale configuration, then use scaling arguments to apply subscale results to the systems-level analysis of a flight configuration; the latter configuration includes a generic low bypass ratio turbofan engine with an engine-driven electric generator for supplementary heating of the TAS stream. Additional RANS CFD calculations are performed for a notional ME-TAS geometry based on the full scale configuration, and various modeling assumptions and operational characteristics are evaluated. The ME-TAS concept is shown to provide effective shielding for high frequency jet noise, and should enable comparable noise suppression to a stand-alone ME of considerably greater length, weight and drag. In addition to investigating the integrated ME-TAS system, the present work differs from previous research into TAS and related fluidic shield concepts through the inclusion of modern numerical analysis tools and the systematic numerical examination of various design parameters.

thermal acoustic shield↗

Forbush decreases geomagnetic and atmospheric effects cosmogenic nuclides

An overview and synthesis is given of recent developments that have occurred in the areas of Forbush decreases, geomagnetic and atmospheric effects, and cosmogenic nuclides. Experimental evidence has been found for substantial differences in the effects of the various types of interplanetary perturbations on cosmic rays, and for a dependence of these effects on the three-dimensional configuration of the interplanetary medium. In order to fully understand and to be able to simulate the solar cosmic ray particle access to the polar regions of the earth we need accurate models of the magnetospheric magnetic field. These models must include all major magnetospheric current systems (in particular the field aligned currents), and they should represent magnetically quiet time periods as well as different levels of geomagnetic activity. In the evolution of magnetospheric magnetic field models, cosmic ray and magnetospheric physicists should work closely together since cosmic ray measurements are a powerful additional tool in the study of the perturbed magnetosphere. In the field of cosmogenic nuclides, finally, exciting new results and developments follow in rapid succession. Thanks to new techniques and new isotopes the analysis of cosmic ray history has entered into a new dimension.

Flueckiger, E. O.↗

Large/Complex Antenna Performance Validation for Spaceborne Radar/Radiometeric Instruments

Over the past decade, Earth observing missions which employ spaceborne combined radar & radiometric instruments have been developed and implemented. These instruments include the use of large and complex deployable antennas whose radiation characteristics need to be accurately determined over 4 pisteradians. Given the size and complexity of these antennas, the performance of the flight units cannot be readily measured. In addition, the radiation performance is impacted by the presence of the instrument's service platform which cannot easily be included in any measurement campaign. In order to meet the system performance knowledge requirements, a two pronged approach has been employed. The first is to use modeling tools to characterize the system and the second is to build a scale model of the system and use RF measurements to validate the results of the modeling tools. This paper demonstrates the resulting level of agreement between scale model and numerical modeling for two recent missions: (1) the earlier Aquarius instrument currently in Earth orbit and (2) the upcoming Soil Moisture Active Passive (SMAP) mission. The results from two modeling approaches, Ansoft's High Frequency Structure Simulator (HFSS) and TICRA's General RF Applications Software Package (GRASP), were compared with measurements of approximately 1/10th scale models of the Aquarius and SMAP systems. Generally good agreement was found between the three methods but each approach had its shortcomings as will be detailed in this paper.

Antenna Modeling↗

Adapting ASPEN for Orbital Express

By studying the Orbital Express mission, modeling the spacecraft and scenarios, and testing the system, a technique has been developed that uses recursive decomposition to represent procedural actions declaratively, schema-level uncertainty reasoning to make uncertainty reasoning tractable, and lightweight, natural language processing to automatically parse procedures to produce declarative models. Schema-level uncertainty reasoning has, at its core, the basic assumption that certain variables are uncertain, but not independent. Once any are known, then the others become known. This is important where a variable is uncertain for an action and many actions of the same type exist in the plan. For example, if the number of retries to purge pump lines was unknown (but bounded), and each attempt required a sub-plan, then, once the correct number of attempts required for a purge was known, it would likely be the same for all subsequent purges. This greatly reduces the space of plans that needs to be searched to ensure that all executions are feasible. To accommodate changing scenario procedures, each is ingested into a tabular format in temporal order, and a simple natural-language parser is used to read each step and to derive the impact of that step on memory, power, and communications. Then an ASPEN (Activity Scheduling and Planning Environment) model is produced based on this analysis. The model is tested and further changed by hand, if necessary, to reflect the actual procedure. This results in a great savings of time used for modeling procedures. Many processes that need to be modeled in ASPEN (a declarative system) are, in fact, procedural. ASPEN includes the ability to model activities in a hierarchical fashion, but this representation breaks down if there is a practically unbounded number of sub-activities and decomposition topologies. However, if recursive decomposition is allowed, HTN-like encodings are enabled to represent most procedural phenomena. For example, if a switch requires a variable (but known at the time of the attempt) number of attempts to switch on, one can recurse on the number of remaining switch attempts and decompose into either the same switching activity with one less required attempt, or not decompose at all (or decompose into a dummy task), resulting in the end of the decomposition. In fact, any bounded procedural behavior can be modeled using recursive decompositions assuming that the variables impinging the disjunctive decomposition decision are computable at the time that the decision is made. This enables one to represent tasks that are controlled outside of the scheduler, but that the scheduler must accommodate, without requiring one to give a declarative model of the procedural behavior.

Chouinard, Caroline↗

20 Meter Solar Sail Analysis and Correlation

This paper describes finite element analyses and correlation studies to predict deformations and vibration modes/frequencies of a 20-meter solar sail system developed by ATK Space Systems. Under the programmatic leadership of NASA Marshall Space Flight Center's In-Space Propulsion activity, the 20-meter solar sail program objectives were to verify the design, to assess structural responses of the sail system, to implement lessons learned from a previous 10-meter quadrant system analysis and test program, and to mature solar sail technology to a technology readiness level (TRL) of 5. For this 20 meter sail system, static and ground vibration tests were conducted in NASA Glenn Research Center's 100 meter diameter vacuum chamber at Plum Brook station. Prior to testing, a preliminary analysis was performed to evaluate test conditions and to determine sensor and actuator locations. After testing was completed, an analysis of each test configuration was performed. Post-test model refinements included updated properties to account for the mass of sensors, wiring, and other components used for testing. This paper describes the development of finite element models (FEM) for sail membranes and masts in each of four quadrants at both the component and system levels, as well as an optimization procedure for the static test/analyses correlation.

Taleghani, B. K.↗

System of Experts for Intelligent Data Management (SEIDAM)

It is proposed to conduct research and development on a system of expert systems for intelligent data management (SEIDAM). CCRS has much expertise in developing systems for integrating geographic information with space and aircraft remote sensing data and in managing large archives of remotely sensed data. SEIDAM will be composed of expert systems grouped in three levels. At the lowest level, the expert systems will manage and integrate data from diverse sources, taking account of symbolic representation differences and varying accuracies. Existing software can be controlled by these expert systems, without rewriting existing software into an Artificial Intelligence (AI) language. At the second level, SEIDAM will take the interpreted data (symbolic and numerical) and combine these with data models. At the top level, SEIDAM will respond to user goals for predictive outcomes given existing data. The SEIDAM Project will address the research areas of expert systems, data management, storage and retrieval, and user access and interfaces.

Goodenough, David G.↗

Lessons learned from Space Shuttle flight software and Mission Control software

The techniques utilized by NASA to manage risk in the development and operations of flight software and Mission Control Center software for the Space Shuttle are reviewed. Particular attention is given to independent software in the backup flight system, structured requirements and design techniques, multiple levels of testing in development and production, independent testing following production, and independence of development and production, and the Mission Control Center model for Real Time Data System project.

Muratore, John F.↗

System of experts for intelligent data management (SEIDAM)

A proposal to conduct research and development on a system of expert systems for intelligent data management (SEIDAM) is being developed. CCRS has much expertise in developing systems for integrating geographic information with space and aircraft remote sensing data and in managing large archives of remotely sensed data. SEIDAM will be composed of expert systems grouped in three levels. At the lowest level, the expert systems will manage and integrate data from diverse sources, taking account of symbolic representation differences and varying accuracies. Existing software can be controlled by these expert systems, without rewriting existing software into an Artificial Intelligence (AI) language. At the second level, SEIDAM will take the interpreted data (symbolic and numerical) and combine these with data models. at the top level, SEIDAM will respond to user goals for predictive outcomes given existing data. The SEIDAM Project will address the research areas of expert systems, data management, storage and retrieval, and user access and interfaces.

Goodenough, David G.↗

Cardiovascular function during sustained +G/z/ stress

The development of aerospace systems capable of very high levels of positive vertical accelerators stress has created a need for a better understanding of the cardiovascular responses to acceleration. Using a canine model, the heart and cardiovascular system were instrumented to continuously measure coronary blood flow, cardiac output, left ventricular and aortic root pressure, and oxygen saturation in the aorta, coronary sinus, and right ventricle. The animals were exposed to acceleration profiles up to +6 G, 120 s at peak G; a seatback angle of 45 deg was simulated in some experiments. Radiopaque contrast medium was injected to visualize the left ventricular chamber, coronary vasculature, aorta, and branches of the aorta. The results suggest mechanisms responsible for arrhythmias which may occur, and subendocardial hemorrhage which has been reported in other animals.

Erickson, H. H.↗

Improved Dynamic Modeling of the Cascade Distillation Subsystem and Integration with Models of Other Water Recovery Subsystems

The Cascade Distillation Subsystem (CDS) is a rotary multistage distiller being developed to serve as the primary processor for wastewater recovery during long-duration space missions. The CDS could be integrated with a system similar to the International Space Station (ISS) Water Processor Assembly (WPA) to form a complete Water Recovery System (WRS) for future missions. Independent chemical process simulations with varying levels of detail have previously been developed using Aspen Custom Modeler (ACM) to aid in the analysis of the CDS and several WPA components. The existing CDS simulation could not model behavior during thermal startup and lacked detailed analysis of several key internal processes, including heat transfer between stages. The first part of this paper describes modifications to the ACM model of the CDS that improve its capabilities and the accuracy of its predictions. Notably, the modified version of the model can accurately predict behavior during thermal startup for both NaCl solution and pretreated urine feeds. The model is used to predict how changing operating parameters and design features of the CDS affects its performance, and conclusions from these predictions are discussed. The second part of this paper describes the integration of the modified CDS model and the existing WPA component models into a single WRS model. The integrated model is used to demonstrate the effects that changes to one component can have on the dynamic behavior of the system as a whole.

Perry, Bruce↗

Aeroacoustic Improvements to Fluidic Chevron Nozzles

Fluidic chevrons use injected air near the trailing edge of a nozzle to emulate mixing and jet noise reduction characteristics of mechanical chevrons. While previous investigations of "first generation" fluidic chevron nozzles showed only marginal improvements in effective perceived noise levels when compared to nozzles without injection, significant improvements in noise reduction characteristics were achieved through redesigned "second generation" nozzles on a bypass ratio 5 model system. The second-generation core nozzles had improved injection passage contours, external nozzle contour lines, and nozzle trailing edges. The new fluidic chevrons resulted in reduced overall sound pressure levels over that of the baseline nozzle for all observation angles. Injection ports with steep injection angles produced lower overall sound pressure levels than those produced by shallow injection angles. The reductions in overall sound pressure levels were the result of noise reductions at low frequencies. In contrast to the first-generation nozzles, only marginal increases in high frequency noise over that of the baseline nozzle were observed for the second-generation nozzles. The effective perceived noise levels of the new fluidic chevrons are shown to approach those of the core mechanical chevrons.

Henderson, Brenda↗