Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model exploration”

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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

A Review of the Experimental and Modeling Development of a Water Phase Change Heat Exchanger for Future Exploration Support Vehicles

Water affords manifold benefits for human space exploration. Its properties make it useful for the storage of thermal energy as a Phase Change Material (PCM) in thermal control systems, in radiation shielding against Solar Particle Events (SPE) for the protection of crew members, and it is indisputably necessary for human life support. This paper envisions a single application for water which addresses these benefits for future exploration support vehicles and it describes recent experimental and modeling work that has been performed in order to arrive at a description of the thermal behavior of such a system. Experimental units have been developed and tested which permit the evaluation of the many parameters of design for such a system with emphasis on the latent energy content, temperature rise, mass, and interstitial material geometry. The experimental results are used to develop a robust and well correlated model which is intended to guide future design efforts toward the multi-purposed water PCM heat exchanger envisioned.

Cognata, Thomas↗
NASA NTRS2006

An Overview of Space Exploration Simulation (Basis of Confidence) Documentation

Models and simulations (M&S) are critical resources in the exploration of space. They support program management, systems engineering, integration, analysis, test, and operations by providing critical information that supports key analyses and decisions (technical, cost and schedule). Consequently, there is a clear need to establish a solid understanding of M&S strengths and weaknesses, and the bounds within which they can credibly support decision making. In this presentation we will describe how development of simulation capability documentation will be used to form a Basis of Confidence (Basis of Confidence) for National Aeronautics and Space Administration (NASA) M&S. The process by which BOC documentation is developed will be addressed, as well as the structure and critical concepts that are essential for establishing credibility of NASA's Exploration Systems Mission Directorate (ESMD) legacy M&S. We will illustrate the significance of BOC documentation in supporting decision makers and Accreditation Authorities in M&S risk management.

Bray, Alleen↗
NASA NTRS2008

Automatic Testcase Generation for Flight Software

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

Bushnell, David Henry↗
NASA NTRS2013

Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems

The on-going transformation from the current US Air Traffic System (ATS) to the Next Generation Air Traffic System (NextGen) will force the introduction of new automated systems and most likely will cause automation to migrate from ground to air. This will yield new function allocations between humans and automation and therefore change the roles and responsibilities in the ATS. Yet, safety in NextGen is required to be at least as good as in the current system. We therefore need techniques to evaluate the safety of the interactions between humans and automation. We think that current human factor studies and simulation-based techniques will fall short in front of the ATS complexity, and that we need to add more automated techniques to simulations, such as model checking, which offers exhaustive coverage of the non-deterministic behaviors in nominal and off-nominal scenarios. In this work, we present a verification approach based both on simulations and on model checking for evaluating the roles and responsibilities of humans and automation. Models are created using Brahms (a multi-agent framework) and we show that the traditional Brahms simulations can be integrated with automated exploration techniques based on model checking, thus offering a complete exploration of the behavioral space of the scenario. Our formal analysis supports the notion of beliefs and probabilities to reason about human behavior. We demonstrate the technique with the Ueberligen accident since it exemplifies authority problems when receiving conflicting advices from human and automated systems.

Muti-agent System↗
NASA NTRS2022

NESC Peer Review of Exploration Systems Development (ESD) Integrated Vehicle Modal Test, Model Correlation, Development Flight Instrumentation (DFI) and Flight Loads Readiness; Uncertainty Propagation for Model Validation Sub-task

This report details a sub-task (regarding Uncertainty Propagation for Model Validation) from a NASA Engineering and Safety Center assessment that is a multi-year activity spanning the complete development of the Space Launch System integrated vehicle structural dynamic models, and the development of the certification of flight readiness for the Artemis 1 and Artemis 2 vehicles and their variants.

Exploration Systems Development; Development Fligh↗
NASA NTRS1973

Chemical reactivity of hydrogen, nitrogen, and oxygen atoms at temperatures below 100 k

The synthesis of unusual compounds by techniques employing cryogenic cooling to retard their very extreme reactivity was investigated. Examples of such species that were studied are diimide (N2H2), cyclobutadiene (C4H4), cyclopropanone (C3H4O), oxirene (C2H2O), and many others. Special purpose cryogenically cooled inlet arrangements were designed such that the analyses incurred no warm-up of the cold, and frequently explosively unstable, compounds. Controlled energy electron impact techniques were used to measure critical potentials and to develop the molecular energetics and thermodynamics of these molecules and to gain some insight into their kinetic characteristics as well. Three and four carbon strained ring molecules were studied. Several reactions of oxygen and hydrogen atoms with simple molecules of H, N, C, and O in hard quench configurations were studied. And the quench stabilization of BH3 was explored as a model system in cryochemistry.

Mcgee, H. A., Jr.↗
NASA NTRS1974

Rotor aeroelastic stability coupled with helicopter body motion

A 5.5-foot-diameter, soft-in-plane, hingeless-rotor system was tested on a gimbal which allowed the helicopter rigid-body pitch and roll motions. Coupled rotor/airframe aeroelastic stability boundaries were explored and the modal damping ratios were measured. The time histories were correlated with analysis with excellent agreement. The effects of forward speed and some rotor design parameters on the coupled rotor/airframe stability were explored both by model and analysis. Some physical insights into the coupled stability phenomenon are suggested.

Miao, W. L.↗
NASA NTRS1983

Average configuration of the distant (less than 220-earth-radii) magnetotail - Initial ISEE-3 magnetic field results

Magnetic field measurements from the first two passes of the ISEE-3 GEOTAIL Mission have been used to study the structure of the trans-lunar tail. Good agreement was found between the ISEE-3 magnetopause crossings and the Explorer 33, 35 model of Howe and Binsack (1972). Neutral sheet location was well ordered by the hinged current sheet models based upon near earth measurements. Between X = -20 and -120 earth radii the radius of the tail increases by about 30 percent while the lobe field strength decreases by approximately 60 percent. Beyond X = -100 to -1200 earth radii the tail diameter and lobe field magnitude become nearly constant at terminal values of approximately 60 earth radii and 9 nT, respectively. The distance at which the tail was observed to cease flaring, 100-120 earth radii, is in close agreement with the predictions of the analytic tail model of Coroniti and Kennel (1972). Overall, the findings of this study suggest that the magnetotail retains much of its near earth structure out to X = -220 earth radii.

Slavin, J. A.↗
NASA NTRS1984

The Interaction of Global Biochemical Cycles

The global biosphere in an exceedingly complex system. To gain an understanding of its structure and dynamic features, it is necessary not only to increase the knowledge about the detailed processes but also to develop models of how global interactions take place. Attempts to analyze the detailed physical, chemical and biological processes in this context need to be guided by an advancement of understanding of the latter. It is necessary to develop a strategy of data gathering that severs both these purposes simultaneously. The following papers deal with critical aspects in the global cycles of carbon, nitrogen, phosphorus and sulfur in details as well as the cycle of water and the flow of energy in the Earth's environment. The objective is to set partly the foundation for the development of mathematical models that allow exploration of the coupled dynamics of the global cycles of carbon, nitrogen, phosphorus, sulfur, as well as energy and water flux.

Moore, B., III↗
NASA NTRS1985

Evolution of Grains in a Turbulent Solar Nebula

Planetesimal formation by gravitational instability of a dust layer requires a nonturbulent solar nebula. The assumption that the solar nebula is a turbulent, convective accretion disk is explored. Self consistent models of a convective disk depend on high opacity of the disk material, which must be provided by grains. Grain coagulation is implied by the requirement of forming planetesimals, as the turbulent velocities (approx. 1/3 sound speed) in the accretion disk would disrupt any dust layer. Collisional coagulation could form large planetesimals, simultaneously leaving a sufficient fraction of matter in small grains to maintain the nebula's opacity. Or, coagulation of grains into small (approx. cm) aggregates could lower the opacity enough for turbulence to decay. The evolution of a population of grains in a turbulent solar nebula is calculated numerically.

Weidenschilling, S. J.↗
NASA NTRS1985

Continental volume and freeboard through geological time

The consequences of approximately constant freeboard for continental growth are explored using a model that relates the volumes of isostatically compensated continents and oceans to the secular decline in terrestrial heat flow. It is found that a post-Archean increase in freeboard by 200 m requires continental growth of only 10 percent, while a decrease in freeboard by 200 m during this same period necessitates a crustal growth of 40 percent. Shrinkage of the continental crust since the end of the Archean can be ruled out. Changes of more than 10 percent in post-Archean crustal thickness are highly unlikely.

Schubert, G.↗
NASA NTRS1986

Influence of transient baroclinic eddies on planetary-scale waves

Low-order models with a mean zonal flow forced by zonally symmetric heating and one planetary-scale wave forced by topography have multiple flow equilibria. Two stable equilibria are characterized by strong zonal flow with low wave amplitude (high index circulation) and weak zonal flow with a high wave amplitude (low index circulation) fixed in phase with the topography. These two states presumably represent normal zonal circulation and a blocking configuration, respectively. When a shorter, baroclinically unstable wave is dded to this low-order model, the planetary-scale wave no longer stays in stable equilibrium states. Instead, the long wave remains in weather regimes or preferred regions in phase space. These regimes are, in general, different from the equilibria of the model with the planetary-scale wave only. Thus, the short unstable wave adds some randomness to planetary-scale circulation and changes its position with respect to the planetary-scale topography. The Reinhold and Pierrehumbert model is further explored here by adding a long-wave in the thermal forcing and exploring wider parameter space. When the symmetric thermal forcing is weak so that the short wave is stable, the planetary scale wave is fixed in amplitude and phase by the asymmetric forcing. However, when the symmetric forcing is increased to an unstable level, the planetary-scale wave becomes less organized. With asymmetric thermal forcing only (i.e., no topography) the long-wave is randomly distributed through phase space. Thermal forcing seems to be less effective in organizing weather regimes than topographic forcing.

Branscome, L. E.↗
NASA NTRS1986

Grain dynamics in zero gravity

The dynamics of granular materials has proved difficult to model, primarily because of the complications arising from inelastic losses, friction, packing, and the effect of many grains being in contact simultaneously. The kinetic model of granular systems is similar to the kinetic theory of gases, except that collisional energy losses are always present in the former and must be treated explicity. Few granular materials on Earth are describable by this limiting model, since gravity tends to collapse the grains into a high density state where Coulombic friction effects are dominant. The planned Space Station offers an unusual opportunity to test the kinetic grain model and to explore its predictions. Without gravity, the regime of low interparticle velocities (where an elastic description of the collision is still valid) can be investigated. This will allow for direct interpretation by dynamical computer simulations as well as by the kinetic theory. The dynamics of spherical grains inside a clear box would be examined. Results would be compared with the predictions of the kinetic theory and computer simulations.

Werner, B. T.↗
NASA NTRS1987

Clark Lake microbursts - On a lower limit to type III burst brightness temperatures

Further observations of solar microbursts by the Clark Lake radioheliograph are reported. The microbursts have properties consistent with weak type III bursts, with the implication that type III's can have brightness temperatures as low as 1 million K. The importance of this result is explored. A single model to explain the stronger type III bursts and the weaker microbursts is sought. It is shown that none of the models for stabilizing the strongest type III electron streams can explain the observed microbursts: these models have threshold levels of Langmuir waves which imply emission (due to spontaneous scattering off ions) with brightness temperatures in excess of those observed. It appears that either some vital physics is still missing from models for type III bursts, or that microbursts should have properties significantly different from those of type III bursts. In the latter case further observations should allow important tests of type III models.

White, S. M.↗
NASA NTRS1988

Large molecules in diffuse interstellar clouds

The effects of the presence of a substantial component of large molecules on the chemistry of diffuse molecular clouds are explored, and detailed models of the zeta Persei and zeta Ophiuchi clouds are constructed. The major consequence is a reduction in the abundances of singly charged atomic species. The long-standing discrepancy between cloud densities inferred from rotational and fine-structure level populations and from the ionization balance can be resolved by postulating a fractional abundance of large molecules of 1 x 10 to the -7th for zeta Persei and 6 x 10 to the -7th for zeta Ophiuchi. If the large molecules are polycyclic aromatic hydrocarbons (PAH) containing about 50 carbon atoms, they contain 1 percent of the carbon in zeta Persei and 7 percent in zeta Ophiuchi. Other consequences of the possible presence of PAH molecules are discussed.

Lepp, S.↗
NASA NTRS1987

Grain dynamics in zero gravity

The dynamics of granular materials has proved difficult to model, primarily because of the complications arising from inelastic losses, friction, packing, and the effect of many grains being in contact simultaneously. One interesting limit for which it was recently possible to construct a theory is that where the grain-grain interactions are dominated by binary collisions. The kinetic model of granular systems if similar to the kinetic theory of gases, except that collisional energy losses are always present in the former and must be treated explicitly. Few granular materials on Earth are describable by this limiting model, since gravity tends to collapse the grains into a high-density state where Coulombic friction effects are dominant. The planned Space Station offers an unusual opportunity to test the kinetic grain model and to explore its predictions. Without gravity, the regime of low interparticle velocities, where an elastic description of the collision is still valid, is investigated. This will allow direct interpretation by dynamical computer simulations as well as by kinetic theory.

Werner, B. T.↗