Search NASA⌕ Search

SEARCH · Search NASA

Results for “Generative model”

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

Overview of Multi-Layer Metal Insulation Development for Small Stirling Convertors at NASA GRC

The small Stirling convertor currently under development at the NASA Glenn Research Center (GRC) is designed to produce one watt of electrical power from eight watts of heat. Previous radioisotope power systems (RPS) made use of the General-Purpose Heat Source (GPHS) which produces 250 watts of heat but is unsuitable for a one-watt Stirling convertor. The only heat source available is the Light-Weight Radioisotope Heating Unit (LWRHU) which produces one watt of heat and is primarily used to provide heat to electronics and instrumentation to maintain their appropriate operating temperature. Unfortunately, the LWRHU has a heat flux of 272 W/m-squared (watts per square meter) compared to the GPHS heat flux of 6000 W/m-squared which greatly increases the demands on the insulation to ensure that enough of the heat produced is available to the convertor and not lost to the environment. An analysis was performed that showed that the insulation must have a thermal conductivity of 0.005 W/m squared -K (watts per square meter per Kelvin) or better for the system to function. A multi-layer metal insulation package was designed and a prototype was fabricated and tested to investigate the feasibility of this design. The prototype did not meet the requirements; however, the improved thermal model generated using the test data will allow for a second iteration to be developed that has a much higher confidence and meets the performance requirements.

Goodell, Daniel↗

Assessment of Ku- and Ka-Band Dual-Frequency Radar for Retrieval of Snow Properties

Current scattering look-up tables for snow assume a constant mass density along with a Gamma particle size distribution (PSD). The first assumption is tested against scattering parameters from simulated particle models generated by Dr. Kwo-Sen Kuo at GSFC and Dr. Guosheng Liu at FSU. Good agreement of the scattering parameters is found with the FSU results if the mass is taken to be the same as the mass of the simulated particle and the mass density is taken to be 0.2 g/cm cu. For the GSFC data base, good agreement is found if the mass density is taken to be between 0.1 and 0.2 g/cm cu. The second assumption of a Gamma PSD is tested against measured PSD's along with a m-d (mass-dimension) relationship. The degree of agreement depends on the value of, the 'shape' parameter in the Gamma distribution but to a lesser degree on the m-d relationship (of the three that were examined). A shortcoming of the simulated snow particle data bases is the lack of large particles. As a consequence, larger values of DFR (dual-frequency ratio) that are commonly seen in airborne and spaceborne measurements cannot be reproduced from the tables. This situation is expected to improve as scattering parameters from larger particles are included in the databases.

Liang Liao↗

Thoracic Pressure Does Not Impact CSF Pressure via Compartment Compliance

Space acquired neuro-ocular syndrome (SANS) remains a difficult risk to characterize due to the complex multi-factorial etiology related to physiological responses to the spaceflight environment. Fluid shift and the resultant change on the Cardiovascular (CV) and cerebral spinal fluid systems (CSF) in the absence of gravity continue to be considered a contributing factor to the progression of SANS. In this study, we utilize a computational model of the CSF and CV interface to establish the sensitivity that intracranial pressure, and subsequently the optic nerve sheath pressure, exhibits due to variations in thoracic pressure, assuming the cranial perfusion pressure, i.e. mean arterial pressure (MAP) to central venous pressure (CVP), is known. Methods: The GRC Cross cutting computational modeling project created as model of the CSF and CV interaction within the cranial vault by extending the work of Stevens et al. [1] by modifying the representative anatomy to include a separate venous sinus, jugular veins, secondary veins and extra jugular pathways [2-3] to more adequately represent the vascular drainage pathways from the cranial vault (Figure 1). Assuming the MAP, CVP and thoracic pressure are known, we initiated this enhanced computational model assuming a supine positon and utilized a linear ramp to vary the thoracic pressure from the assumed supine state to the target pressure corresponding to set MAP and CVP values. The model generates the time based CSF pressure values (Figure2). Results and Conclusions: Following this analysis, CSF pressure shows significant independence from thoracic pressure changes (16 mmHg in thoracic pressure produces < 1mmHg change in CSF pressure), being mostly dependent on perfusion pressure. Similarly fluid redistribution is not predicted to be impacted over a level of 1mL. We note that this simulation represents an acute changes (order of 10's of minutes) and does not represent the long term effects.

Munster, Drayton W.↗

Decomposing Shortwave Top-of-Atmosphere and Surface Radiative Flux Variations in Terms of Surface and Atmospheric Contributions

Adiagnostic tool for determining surface and atmospheric contributions to interannual variations in top-of-atmosphere (TOA) reflected shortwave (SW) and net downward SW surface radiative fluxes is introduced. The method requires only upward and downward radiative fluxes at the TOA and surface as input and therefore can readily be applied to both satellite-derived and model-generated adiative fluxes. Observations from the Clouds and the Earth’s Radiant Energy System (CERES) Energy Balanced and Filled (EBAF) Edition 4.0 product show that 81% of the monthly variability in global mean reflected SW TOA flux anomalies is associated with atmospheric variations (mainly clouds),6%is from surface variations, and 13% is from atmosphere–surface covariability. Over the Arctic Ocean, most of the variability in both reflected SW TOA flux and net downward SW surface flux anomalies is explained by variations in sea ice and cloud fraction alone (r2 5 0.94). Compared to CERES, variability in two reanalyses—the ECMWF interim reanalysis (ERA-Interim) and NASA’s Modern-Era Retrospective Analysis for Research and Applications, version 2 (MERRA-2)—show large differences in the regional distribution of variance for both the atmospheric and surface contributions to anomalies in net downward SW surface flux. For MERRA-2 the atmospheric contribution is 17% too large compared to CERES while ERA-Interim underestimates the variance by 15%. The difference is mainly due to how cloud variations are represented in the reanalyses. The overall surface contribution in both ERA-Interim and MERRA-2 is smaller than CERES EBAF by 15% for ERA-Interim and 58% for MERRA-2, highlighting limitations of the reanalyses in representing surface albedo variations and their influence on SW radiative fluxes.

Norman G. Loeb↗

Spectral Analysis of Integrated Pressures on Patches with Unsteady Pressure-Sensitive Paint Measurements

This paper describes the spectral analysis of integrated pressures on patches of the scale model of the Space Launch System (SLS) Block 1B crew vehicle with the Unsteady Pressure-Sensitive Paint (uPSP) measurements, which were collected in the ascent transient aerodynamics tests with the Unitary Plan Wind Tunnel 11-by-11-foot Transonic Wind Tunnel in September 2019 at NASA Ames Research Center. Recent research has demonstrated that uPSP can be an essential tool for the assessment of the unsteady, aerodynamic phenomena. The work described in this paper is a part of NASA’s development of a new state-of-the-art uPSP capability in production wind tunnels. In this paper, 108 patches are defined with x station values and azimuth angles of the scale model. For each patch, the polygons are determined from the surface cells of the grid of the model, clipped with the edges of the patch, and each of the polygons is divided into triangles. The inputs of the pressure integration algorithm are the time series of pressure coefficients on the vertices of the grid of the model, generated by the uPSP data processing program from the videos taken with 4 Phantom high-speed cameras during the wind tunnel tests. The integrated pressure of the patch is determined as the ratio of the sum of the forces on the triangles over the sum of the areas of the triangles. For each of the test cases, the Cross Power Spectral Density (CPSD) and Magnitude-Squared Coherence (msCohere) are computed for frequencies over 1/3 octave bands from the time series of the integrated pressures on the patches. The spectral analysis outputs of different cases of the wind tunnel tests are analyzed and the coherence of patches is investigated over frequencies, x station values, azimuth angles, Mach numbers and SLS vehicle attitudes. The pressure integration and spectral analysis described in this paper were executed on the NASA Pleiades supercomputer. Funding for this research was provided by the NASA Aeroscience Evaluation and Test Capabilities (AETC) Project.

Pressure-Sensitive Paint↗

Intelligent Contingency Management for Urban Air Mobility

The third aviation revolution is seeking to enable transportation where users have access to immediate and flexible air travel; the users dictate trip origin, destination and timing. One of the major components of this vision is urban air mobility (UAM) for the masses. UAM means a safe and efficient system for vehicles to move passengers and cargo within a city. In order to reach UAM’s full market potential the vehicle will have to be autonomous. One of the primary challenges of autonomous flight is dealing with off-nominal events, both common and unforeseen; thus, intelligent contingency management (ICM) is one of the enabling technologies. In this context, the vehicle has to be aware of its internal state and external environment at all times, ascertain its capability and make decisions about mission completion or modification. All of these functions require data to model and assess the environment and then take actions based on these models. Necessarily, there is uncertainty associated with the data and the models generated from it. Since we are dealing with safety-critical systems, one of the main challenges of ICM is to generate sufficient data and to minimize its uncertainty to enable practical and safe decision making. We propose an overall architecture that incorporates deterministic and learning algorithms together to assess vehicle capabilities, project these into the future and make decisions on mission management level. A layered approach allows for mature parts and technologies to be integrated into early highly automated vehicles before the final state of autonomy is reached.

data-driven systems↗

Introduction to Big Earth Data Applications

Climate and weather modeling generate enormous volumes that make iterative analysis challenging, spurring the development of new ways to work with the data. At the same time in the Earth Observation area, technology advances are enabling new sensors and satellites that will increase data volume, velocity and application variety. Scaling up can also be seen when operational applications expand from small, local studies to larger spatial scales with more analysis targets.

Christopher Lynnes↗

Quantum-Compatible Variational Segmentation for Image-to-Image Wildfire Detection Using Satellite Data

Wildfire occurrences have been increasing for the past decade, leaving devastating traces across the world. In the recent efforts, remote sensing and airborne missions have been utilized to better understand and manage wildfires. This has resulted in an exponential increase in volume of remote sensing data, which has pushed the need for intelligent automation of data extraction for wildfire studies. Machine learning offers accurate automation in detecting such natural anomalies and enable decision-makers to take actions in a timely manner. Recent advances in machine learning algorithms, namely probabilistic generative methods, allow researchers and decisionmakers to step beyond detection and study “what-if” scenarios for wildfire occurrences. Additionally, they offer better imitations to the stochastic behavior of nature, and wildfire events. However, optimizing the performance of these probabilistic generative models is a computationally expensive process, specially using digital computers. On the other hand, quantum computers have recently shown a promise to reduce computationally costly training of such models and provide performance improvements. There is a body of research investigating the potential for improved machine learning methods in which key operations are performed on a quantum computer. In this study, we propose a probabilistic image-toimage segmentation approach combining a very well-known segmentation method, U-NET, with a Conditional Variational Auto-Encoder (CVAE) to not only detect wildfires but also describe the stochasticity of the phenomenon and be capable of running “what-if” scenarios. Our proposed model is compatible with training on quantum computers, which results in a quantum-assisted image-to-image segmentation approach and can be used to benchmark the potential benefit of quantum computing over the classical one.

quantum↗

Comparison of Acoustic Models and Trajectory Generation Methods for an Acoustically-Aware Aircraft

This paper presents a comparison of trajectory generation methodologies using acoustic source noise models of different fidelity for motion planning for an acoustically-aware aircraft subject to constraints on the vehicle dynamic performance, mission, and acoustic footprint of the vehicle at a set of (three-dimensional) observer locations. The performance of a pre-mission Bézier curve-based planner and a (near) real-time stochastic model predictive control planner are compared. Additionally, a comparison is made between the motion planning performance using a lower-fidelity acoustic model based on propeller tip Mach number and omni-directional sound power radiation, and a hemisphere-based higher-fidelity acoustic model. It is demonstrated that the asymmetry in hemisphere-based acoustic model can be exploited for improved flight path planning and trajectory-tracking performance in the presence of acoustic constraints.

Kasey A Ackerman↗

DNA Break Clustering as a Predictor of Cell Death across Various Radiation Qualities: Influence of Cell Size, Cell Asymmetry, and Beam Orientation

Cosmic radiation, composed of high charge and energy (HZE) particles, causes cellular DNA damage that can result in cell death or mutation that can evolve into cancer. In this work, a cell death model is applied to several cell lines exposed to HZE ions spanning a broad range of linear energy transfer (LET) values. We hypothesize that chromatin movement leads to the clustering of multiple double strand breaks (DSB) within one radiation-induced foci (RIF). The survival probability of a cell population is determined by averaging the survival probabilities of individual cells, which is function of the number of pairwise DSB interactions within RIF. The simulation code RITCARD was used to compute DSB. Two clustering approaches were applied to determine the number of RIF per cell. RITCARD outputs were combined with experimental data from four normal human cell lines to derive the model parameters and expand its predictions in response to ions with LET ranging from ∼0.2keV/μmto∼3000keV/μm. Spherical and ellipsoidal nuclear shapes and two ion beam orientations were modeled to assess the impact of geometrical properties on cell death. The calculated average number of RIF per cell reproduces the saturation trend for high doses and high-LET values that is usually experimentally observed. The cell survival model generates the recognizable bell shape of LET dependence for the relative biological effectiveness (RBE). At low LET, smaller nuclei have lower survival due to increased DNA density and DSB clustering. At high LET, nuclei with a smaller irradiation area either because of a smaller size or a change in beam orientation have a higher survival rate due to a change in the distribution of DSB/RIF per cell. If confirmed experimentally, the geometric characteristics of cells would become a significant factor in predicting radiation-induced biological effects.

cell survival↗

Formation of the Lyman Continuum during Solar Flares

The Lyman continuum (LyC; <911.12 Å) forms at the top of the chromosphere in the quiet Sun, making LyC a powerful tool for probing the chromospheric plasma during solar flares. To understand the effects of nonthermal energy deposition in the chromosphere during flares, we analyzed LyC profiles from a grid of field-aligned radiative-hydrodynamic models generated using the RADYN code as part of the F-CHROMA project. The spectral response of LyC, the temporal evolution of the departure coefficient of hydrogen, b 1 , and the color temperature, T c , in response to a range of nonthermal electron distribution functions, were investigated. The LyC intensity was seen to increase by 4–5.5 orders of magnitude during solar flares, responding most strongly to the nonthermal electron flux of the beam. Generally, b 1 decreased from 10 2 –10 3 to closer to unity during solar flares, indicating a stronger coupling to local conditions, while T c increased from 8–9 to 10–16 kK. T c was found to be approximately equal to the electron temperature of the plasma when b1 was at a minimum. Both optically thick and optically thin components of LyC were found to be in agreement with the interpretation of recent observations. The optically thick layer forms deeper in the chromosphere during a flare compared to quiescent periods, whereas the optically thin layers form at higher altitudes due to chromospheric evaporation, in low-temperature, high-density regions propagating upward. We put these results in the context of current and future missions.

Solar flares↗

Biological Research and Space Health Enabled by Machine Learning to Support Deep Space Missions

A key science goal of the NASA “Moon to Mars” campaign is to understand how biology responds to the Lunar, Martian, and deep space environments in order to advance fundamental knowledge, reduce risk, and support safe, productive human space missions. Through the powerful emerging approaches of artificial intelligence (AI) and machine learning (ML), a paradigm shift has begun in biomedical science and engineered astronaut health systems, to enable Earth independence and autonomy of mission operations. Here we present an overview of AI/ML architecture to support deep space mission goals, developed with leaders in the field. First, we focus on the fundamental biological research that supports our understanding of physiological responses to spaceflight, and we describe current efforts to support AI/ML research including data standardization and data engineering through maximally open and FAIR (findable, accessible, interoperable, reusable) databases and the generation of AI-ready datasets for reuse and analysis. We also discuss remote data management frameworks for research data as well as environmental and health data that are generated during deep space missions. We highlight several research projects that leverage data standardization and management for fundamental biological discovery to uncover the complex effects of space travel on living systems. Next, we provide an overview of cutting-edge AI/ML approaches that can be integrated to support remote monitoring and analysis during deep space missions, including generative models and large language models to learn the underlying biomedical patterns and predict outcomes or answer questions during off world medical scenarios. We also describe current AI/ML methods to support this research and monitoring through automated cloud-based labs which enable limited human intervention and closed-loop experimentation in remote settings. These labs could support mission autonomy by analyzing environmental data streams, and would be facilitated through in situ analytics capabilities to avoid sending large raw data files through low bandwidth communications. Finally, in the context of deep space missions with limited communications or access to medical advice from Earth, we describe a solution for integrated, real-time mission biomonitoring across hierarchical levels from continuous environmental monitoring, to wearables and point-of-care devices, to molecular and physiological monitoring. We introduce a precision space health system that will ensure that the future of space health is predictive, preventative, participatory and personalized.

artificial intelligence↗

Microstructure Modeling of 3rd Generation Disk Alloys

The objective of this program is to model, validate, and predict the precipitation microstructure evolution, using PrecipiCalc (QuesTek Innovations LLC) software, for 3rd generation Ni-based gas turbine disc superalloys during processing and service, with a set of logical and consistent experiments and characterizations. Furthermore, within this program, the originally research-oriented microstructure simulation tool will be further improved and implemented to be a useful and user-friendly engineering tool. In this report, the key accomplishment achieved during the second year (2008) of the program is summarized. The activities of this year include final selection of multicomponent thermodynamics and mobility databases, precipitate surface energy determination from nucleation experiment, multiscale comparison of predicted versus measured intragrain precipitation microstructure in quench samples showing good agreement, isothermal coarsening experiment and interaction of grain boundary and intergrain precipitates, primary microstructure of subsolvus treatment, and finally the software implementation plan for the third year of the project. In the following year, the calibrated models and simulation tools will be validated against an independently developed experimental data set, with actual disc heat treatment process conditions. Furthermore, software integration and implementation will be developed to provide material engineers valuable information in order to optimize the processing of the 3rd generation gas turbine disc alloys.

Jou, Herng-Jeng↗

Microstructure Modeling of Third Generation Disk Alloys

The objective of this program was to model, validate, and predict the precipitation microstructure evolution, using PrecipiCalc (QuesTek Innovations LLC) software, for 3rd generation Ni-based gas turbine disc superalloys during processing and service, with a set of logical and consistent experiments and characterizations. Furthermore, within this program, the originally research-oriented microstructure simulation tool was to be further improved and implemented to be a useful and user-friendly engineering tool. In this report, the key accomplishments achieved during the third year (2009) of the program are summarized. The activities of this year included: Further development of multistep precipitation simulation framework for gamma prime microstructure evolution during heat treatment; Calibration and validation of gamma prime microstructure modeling with supersolvus heat treated LSHR; Modeling of the microstructure evolution of the minor phases, particularly carbides, during isothermal aging, representing the long term microstructure stability during thermal exposure; and the implementation of software tools. During the research and development efforts to extend the precipitation microstructure modeling and prediction capability in this 3-year program, we identified a hurdle, related to slow gamma prime coarsening rate, with no satisfactory scientific explanation currently available. It is desirable to raise this issue to the Ni-based superalloys research community, with hope that in future there will be a mechanistic understanding and physics-based treatment to overcome the hurdle. In the mean time, an empirical correction factor was developed in this modeling effort to capture the experimental observations.

Jou, Herng-Jeng↗

Implementation of a Hybrid Edge Node-Centroid Node Approach for the Generation of Reduced Thermal Models

Reduced thermal models are often required for delivery to organizations that manage observatory or launch models at the highest levels of assembly. However, the effort to generate reduced models, and verify against their detailed counterparts, is a challenge that has not yet been conclusively solved. Higher level organizations often place a limit on the number of nodes for delivered models with the assumption that smaller models generally result in less computation time. However, the burden of producing and verifying the accuracy of the reduced models is placed primarily on the lower-level organizations, which in turn consumes resources needed to produce these models. Limiting the total number of allowable nodes may also prevent users from taking full advantage of software capabilities that allow for faster generation of models, such as finite elements, which generally require more nodes than older centroid based models. A methodology using Thermal Desktop was described in 2010 which used: (1) finite elements and edge nodes for a conduction matrix, (2) centroid nodes for capacitance and radiative computations, and (3) the super network feature to produce a conduction matrix based only on the centroid nodes. At that time, the methodology was clear, but the implementation would have had to be done manually; however, with the inclusion of the OpenTD API, this methodology can now be implemented programmatically and for the first time, be a viable approach for the generation of reduced models. The approach was implemented and developed at the NASA Goddard Space Flight Center (GSFC) for the Capture, Containment, and Return System (CCRS) payload on the Earth Return Orbiter (ERO) as part of the Mars Sample Return (MSR) mission, resulting in the TCYEE tool. ERO features a spacecraft bus provided by Airbus through the European Space Agency (ESA) with node limitations on the delivered CCRS model provided by GSFC. TCYEE was used to generate the reduced model for this delivery and the predictions compared favorably to the detailed model currently in use for the thermal performance evaluation. Furthermore, TCYEE is being explored for potential use on the Roman Space Telescope (RST) for the generation of reduced models for delivery to the launch provider, which also has node limit requirements on the RST observatory model for use in launch simulation analyses. This paper describes the methodology, its implementation, and compares the performance of reduced models generated by TCYEE to their detailed counterparts.

Thermal desktop↗

Implementation of a Hybrid Edge Node-Centroid Node Approach for the Generation of Reduced Thermal Models

Reduced thermal models are often required for delivery to organizations that manage observatory or launch models at the highest levels of assembly. However, the effort to generate reduced models, and verify against their detailed counterparts, is a challenge that has not yet been conclusively solved. Higher level organizations often place a limit on the number of nodes for delivered models with the assumption that smaller models generally result in less computation time. However, the burden of producing and verifying the accuracy of the reduced models is placed primarily on the lower-level organizations, which in turn consumes resources needed to produce these models. Limiting the total number of allowable nodes may also prevent users from taking full advantage of software capabilities that allow for faster generation of models, such as finite elements, which generally require more nodes than older centroid based models. A methodology using Thermal Desktop was described in 2010 which used: (1) finite elements and edge nodes for a conduction matrix, (2) centroid nodes for capacitance and radiative computations, and (3) the super network feature to produce a conduction matrix based only on the centroid nodes. At that time, the methodology was clear, but the implementation would have had to be done manually; however, with the inclusion of the OpenTD Application Programming Interface, this methodology can now be implemented programmatically and for the first time, be a viable approach for the generation of reduced models. The approach was implemented and developed at the NASA Goddard Space Flight Center (GSFC) for the Capture, Containment, and Return System (CCRS) payload on the Earth Return Orbiter (ERO) as part of the Mars Sample Return mission, resulting in the TCYEE tool. ERO features a spacecraft bus provided by Airbus through the European Space Agency with node limitations on the delivered CCRS model provided by GSFC. TCYEE was used to generate the reduced model for this delivery and the predictions compared favorably to the detailed model currently in use for the thermal performance evaluation. Furthermore, TCYEE is being explored for potential use on the Roman Space Telescope (RST) for the generation of reduced models for delivery to the launch provider, which also has node limit requirements on the RST observatory model for use in launch simulation analyses. This paper describes the methodology, its implementation, and compares the performance of reduced models generated by TCYEE to their detailed counterparts.

Thermal Desktop↗

Implementation of a Hybrid Edge Node-Centroid Node Approach for the Generation of Reduced Thermal Models

Reduced thermal models are often required for delivery to organizations that manage observatory or launch models at the highest levels of assembly. However, the effort to generate reduced models, and verify against their detailed counterparts, is a challenge that has not yet been conclusively solved. Higher level organizations often place a limit on the number of nodes for delivered models with the assumption that smaller models generally result in less computation time. However, the burden of producing and verifying the accuracy of the reduced models is placed primarily on the lower-level organizations, which in turn consumes resources needed to produce these models. Limiting the total number of allowable nodes may also prevent users from taking full advantage of software capabilities that allow for faster generation of models, such as finite elements, which generally require more nodes than older centroid based models. A methodology using Thermal Desktop was described in 2010 which used: (1) finite elements and edge nodes for a conduction matrix, (2) centroid nodes for capacitance and radiative computations, and (3) the super network feature to produce a conduction matrix based only on the centroid nodes. At that time, the methodology was clear, but the implementation would have had to be done manually; however, with the inclusion of the OpenTD API, this methodology can now be implemented programmatically and for the first time, be a viable approach for the generation of reduced models. The approach was implemented and developed at the NASA Goddard Space Flight Center (GSFC) for the Capture, Containment, and Return System (CCRS) payload on the Earth Return Orbiter (ERO) as part of the Mars Sample Return (MSR) mission, resulting in the TCYEE tool. ERO features a spacecraft bus provided by Airbus through the European Space Agency (ESA) with node limitations on the delivered CCRS model provided by GSFC. TCYEE was used to generate the reduced model for this delivery and the predictions compared favorably to the detailed model currently in use for the thermal performance evaluation. Furthermore, TCYEE is being explored for potential use on the Roman Space Telescope (RST) for the generation of reduced models for delivery to the launch provider, which also has node limit requirements on the RST observatory model for use in launch simulation analyses. This paper describes the methodology, its implementation, and compares the performance of reduced models generated by TCYEE to their detailed counterparts.

Hume L. Peabody↗

Model-Driven Test Generation of Distributed Systems

This report describes a novel test generation technique for distributed systems. Utilizing formal models and formal verification tools, spe cifically the Symbolic Analysis Laboratory (SAL) tool-suite from SRI, we present techniques to generate concurrent test vectors for distrib uted systems. These are initially explored within an informal test validation context and later extended to achieve full MC/DC coverage of the TTEthernet protocol operating within a system-centric context.

Easwaran, Arvind↗