Search NASA⌕ Search

SEARCH · Search NASA

Results for “execution models”

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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
DOE OSTI2018

sympl (v. 0.4.0) and climt (v. 0.15.3) – towards a flexible framework for building model hierarchies in Python

sympl (System for Modelling Planets) andclimt (Climate Modelling and Diagnostics Toolkit) are anattempt to rethink climate modelling frameworks from the ground up. The aimis to use expressive data structures available in the scientific Pythonecosystem along with best practices in software design to allow scientists toeasily and reliably combine model components to represent the climate systemat a desired level of complexity and to enable users to fully understandwhat the model is doing. sympl is a framework which formulates the model in terms of astate that gets evolved forward in time or modified within a specifictime by well-defined components. sympl's design facilitates buildingmodels that are self-documenting, are highly interoperable, and providefine-grained control over model components and behaviour. symplcomponents contain all relevant information about the input they expect andoutput that they provide. Components are designed to be easily interchanged,even when they rely on different units or array configurations.sympl provides basic functions and objects which could be used inany type of Earth system model. climt is an Earth system modelling toolkit that contains scientificcomponents built using sympl base objects. These include both purePython components and wrapped Fortran libraries. climt providesfunctionality requiring model-specific assumptions, such as stateinitialization and grid configuration. climt's programming interfacedesigned to be easy to use and thus appealing to a wide audience. Model building, configuration and execution are performed through a Pythonscript (or Jupyter Notebook), enabling researchers to build an end-to-endPython-based pipeline along with popular Python data analysis andvisualization tools.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1980

Preliminary aerodynamic characteristics of several advanced VSTOL fighter/attack aircraft concepts

VSTOL attack aircraft to be developed in the mid- or late-1990's and research programs dealing with possible characteristics are discussed. Design studies of horizontal attitude takeoff and landing (HATOL) and vertical attitude takeoff and landing (VATOL) type aircraft were executed and wind tunnel models were built and tested. The configurations tested were a wing-canard HATOL concept with jet-diffuser ejectors as a vertical lift system and a variety of the same with nacelles which are closer together. Other proposals were a HATOL concept with wing-canard design and two vertical tails on twin afterbodies, and a VATOL concept which is tailless with an extended leading-edge wing to increase lift. Aerodynamic uncertainties were defined and wind tunnel tests were made. Special research concerning top-mounted air induction systems is also covered.

Nelms, W. P.↗
NASA NTRS1990

TOPEX/POSEIDON orbit maintenance maneuver design

The Ocean Topography Experiment (TOPEX/POSEIDON) mission orbit requirements are outlined, as well as its control and maneuver spacing requirements including longitude and time targeting. A ground-track prediction model dealing with geopotential, luni-solar gravity, and atmospheric-drag perturbations is considered. Targeting with all modeled perturbations is discussed, and such ground-track prediction errors as initial semimajor axis, orbit-determination, maneuver-execution, and atmospheric-density modeling errors are assessed. A longitude targeting strategy for two extreme situations is investigated employing all modeled perturbations and prediction errors. It is concluded that atmospheric-drag modeling errors are the prevailing ground-track prediction error source early in the mission during high solar flux, and that low solar-flux levels expected late in the experiment stipulate smaller maneuver magnitudes.

Bhat, R. S.↗
NASA NTRS1993

Aerodynamic characteristics and pressure distributions for an executive-jet baseline airfoil section

A wind tunnel test of an executive-jet baseline airfoil model was conducted in the adaptive-wall test section of the NASA Langley 0.3-Meter Transonic Cryogenic Tunnel. The primary goal of the test was to measure airfoil aerodynamic characteristics over a wide range of flow conditions that encompass two design points. The two design Mach numbers were 0.654 and 0.735 with corresponding Reynolds numbers of 4.5 x 10(exp 6) and 8.9 x 10(exp 6) based on chord, respectively, and normal-force coefficients of 0.98 and 0.51, respectively. The tests were conducted over a Mach number range from 0.250 to 0.780 and a chord Reynolds number range from 3 x 10(exp 6) to 18 x 10(exp 6). The angle of attack was varied from -2 deg to a maximum below 10 deg with one exception in which the maximum was 14 deg for a Mach number of 0.250 at a chord Reynolds number of 4.5 x 10(exp 6). Boundary-layer transition was fixed at 5 percent of chord on both the upper and lower surfaces of the model for most of the test. The adaptive-wall test section had flexible top and bottom walls and rigid sidewalls. Wall interference was minimized by the movement of the adaptive walls, and the airfoil aerodynamic characteristics were corrected for any residual top and bottom wall interference.

Allison, Dennis O.↗
NASA NTRS2001

Testing Linear Temporal Logic Formulae on Finite Execution Traces

We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL. theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications. Such tests correspond to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property. We then suggest an optimized algorithm based on transforming LTL formulae. The work is done using the Maude rewriting system. which turns out to provide a perfect notation and an efficient rewriting engine for performing these experiments.

Havelund, Klaus↗
NASA NTRS2006

Real-time Models at the Community Coordinated Modeling Center and their Capabilities

Real-time models at the Community Coordinated Modeling Center and their capabilities The Community Coordinated Modeling Center serves both scientific research and space weather operations communities through access to and evaluation of modern space environment models. Critical to both objectives is an unbiased assessment of model capabilities, which includes scientific validity, performance verification, and model robustness. While all of these assessments are relevant to operational customers, the latter plays a particularly important role. For this reason, as well as for testing model validity, CCMC established a set of fully automated real-time execution systems, which are based on models provided by the research community. This presentation will provide a summary of these activities, and a report on experiences and model validity. Finally, this presentation will invite feedback from CCMC customers regarding future directions of real time modeling at CCMC.

Hesse, Michael↗
NASA NTRS2008

Automatic Code Generation for Instrument Flight Software

Automatic code generation can be used to convert software state diagrams into executable code, enabling a model- based approach to software design and development. The primary benefits of this process are reduced development time and continuous consistency between the system design (statechart) and its implementation. We used model-based design and code generation to produce software for the Electra UHF radios that is functionally equivalent to software that will be used by the Mars Reconnaissance Orbiter (MRO) and the Mars Science Laboratory to communicate with each other. The resulting software passed all of the relevant MRO flight software tests, and the project provides a useful case study for future work in model-based software development for flight software systems.

state charts↗
NASA NTRS2009

A Reference Model for Software and System Inspections. White Paper

Software Quality Assurance (SQA) is an important component of the software development process. SQA processes provide assurance that the software products and processes in the project life cycle conform to their specified requirements by planning, enacting, and performing a set of activities to provide adequate confidence that quality is being built into the software. Typical techniques include: (1) Testing (2) Simulation (3) Model checking (4) Symbolic execution (5) Management reviews (6) Technical reviews (7) Inspections (8) Walk-throughs (9) Audits (10) Analysis (complexity analysis, control flow analysis, algorithmic analysis) (11) Formal method Our work over the last few years has resulted in substantial knowledge about SQA techniques, especially the areas of technical reviews and inspections. But can we apply the same QA techniques to the system development process? If yes, what kind of tailoring do we need before applying them in the system engineering context? If not, what types of QA techniques are actually used at system level? And, is there any room for improvement.) After a brief examination of the system engineering literature (especially focused on NASA and DoD guidance) we found that: (1) System and software development process interact with each other at different phases through development life cycle (2) Reviews are emphasized in both system and software development. (Figl.3). For some reviews (e.g. SRR, PDR, CDR), there are both system versions and software versions. (3) Analysis techniques are emphasized (e.g. Fault Tree Analysis, Preliminary Hazard Analysis) and some details are given about how to apply them. (4) Reviews are expected to use the outputs of the analysis techniques. In other words, these particular analyses are usually conducted in preparation for (before) reviews. The goal of our work is to explore the interaction between the Quality Assurance (QA) techniques at the system level and the software level.

He, Lulu↗
NASA NTRS2010

Modeling Regular Replacement for String Constraint Solving

Bugs in user input sanitation of software systems often lead to vulnerabilities. Among them many are caused by improper use of regular replacement. This paper presents a precise modeling of various semantics of regular substitution, such as the declarative, finite, greedy, and reluctant, using finite state transducers (FST). By projecting an FST to its input/output tapes, we are able to solve atomic string constraints, which can be applied to both the forward and backward image computation in model checking and symbolic execution of text processing programs. We report several interesting discoveries, e.g., certain fragments of the general problem can be handled using less expressive deterministic FST. A compact representation of FST is implemented in SUSHI, a string constraint solver. It is applied to detecting vulnerabilities in web applications

Fu, Xiang↗
NASA NTRS2014

OCSEGen: Open Components and Systems Environment Generator

To analyze a large system, one often needs to break it into smaller components.To analyze a component or unit under analysis, one needs to model its context of execution, called environment, which represents the components with which the unit interacts. Environment generation is a challenging problem, because the environment needs to be general enough to uncover unit errors, yet precise enough to make the analysis tractable. In this paper, we present a tool for automated environment generation for open components and systems. The tool, called OCSEGen, is implemented on top of the Soot framework. We present the tool's current support and discuss its possible future extensions.

User Specifications↗
NASA NTRS2012

Mars Science Laboratory Rover System Thermal Test

On November 26, 2011, NASA launched a large (900 kg) rover as part of the Mars Science Laboratory (MSL) mission to Mars. The MSL rover is scheduled to land on Mars on August 5, 2012. Prior to launch, the Rover was successfully operated in simulated mission extreme environments during a 16-day long Rover System Thermal Test (STT). This paper describes the MSL Rover STT, test planning, test execution, test results, thermal model correlation and flight predictions. The rover was tested in the JPL 25-Foot Diameter Space Simulator Facility at the Jet Propulsion Laboratory (JPL). The Rover operated in simulated Cruise (vacuum) and Mars Surface environments (8 Torr nitrogen gas) with mission extreme hot and cold boundary conditions. A Xenon lamp solar simulator was used to impose simulated solar loads on the rover during a bounding hot case and during a simulated Mars diurnal test case. All thermal hardware was exercised and performed nominally. The Rover Heat Rejection System, a liquid-phase fluid loop used to transport heat in and out of the electronics boxes inside the rover chassis, performed better than predicted. Steady state and transient data were collected to allow correlation of analytical thermal models. These thermal models were subsequently used to predict rover thermal performance for the MSL Gale Crater landing site. Models predict that critical hardware temperatures will be maintained within allowable flight limits over the entire 669 Sol surface mission.

Novak, Keith S.↗
NASA NTRS2012

Mars Science Laboratory Rover System Thermal Test

On November 26, 2011, NASA launched a large (900 kg) rover as part of the Mars Science Laboratory (MSL) mission to Mars. The MSL rover is scheduled to land on Mars on August 5, 2012. Prior to launch, the Rover was successfully operated in simulated mission extreme environments during a 16-day long Rover System Thermal Test (STT). This paper describes the MSL Rover STT, test planning, test execution, test results, thermal model correlation and flight predictions. The rover was tested in the JPL 25-Foot Diameter Space Simulator Facility at the Jet Propulsion Laboratory (JPL). The Rover operated in simulated Cruise (vacuum) and Mars Surface environments (8 Torr nitrogen gas) with mission extreme hot and cold boundary conditions. A Xenon lamp solar simulator was used to impose simulated solar loads on the rover during a bounding hot case and during a simulated Mars diurnal test case. All thermal hardware was exercised and performed nominally. The Rover Heat Rejection System, a liquid-phase fluid loop used to transport heat in and out of the electronics boxes inside the rover chassis, performed better than predicted. Steady state and transient data were collected to allow correlation of analytical thermal models. These thermal models were subsequently used to predict rover thermal performance for the MSL Gale Crater landing site. Models predict that critical hardware temperatures will be maintained within allowable flight limits over the entire 669 Sol surface mission.

Novak, Keith S.↗
NASA NTRS2015

Generation of Simulated Tracking Data for LADEE Operational Readiness Testing

Operational Readiness Tests were an important part of the pre-launch preparation for the LADEE mission. The generation of simulated tracking data to stress the Flight Dynamics System and the Flight Dynamics Team was important for satisfying the testing goal of demonstrating that the software and the team were ready to fly the operational mission. The simulated tracking was generated in a manner to incorporate the effects of errors in the baseline dynamical model, errors in maneuver execution and phenomenology associated with various tracking system based components. The ability of the mission team to overcome these challenges in a realistic flight dynamics scenario indicated that the team and flight dynamics system were ready to fly the LADEE mission. Lunar Atmosphere and Dust Environment.

Tracking↗
NASA NTRS2020

Integrating the Science Opportunity Analyzer with a Reusable Opportunity Search Framework

In our interactions with the Science Opportunity Analyzer (SOA) software, we recognized how its ability to search for geometric events in space is a need for robotic space missions in general. To satisfy this need, we propose the Tychonis framework, which is built upon the principles of: (1) separations of concerns, (2) extensibility, (3) reusability, and (4) independent verification and validation. Tychonis’ separation of concerns results in the availability of different constructs to model geometric events and search for them. These constructs can be extended by users as needed and reused across missions without changes. Given the low coupling between concerns, and the fact Tychonis can be augmented in isolation, its constructs can be validated independently from other pieces of software. This paper elaborates on these topics and presents an integration case study between Tychonis and SOA that relies on the concept of dynamic integration. Dynamic integration entails that augmentations of the framework are reflected automatically in the host application without any changes to the host application’s code. The SOA-Tychonis integration case study can be extrapolated to other tools that need to search for geometric events as the pattern repeats across implementations: (i) the manipulation of a user interface to model opportunities, (ii) the execution of algorithms to search for opportunities, and (iii) the presentation of search results to users. Overall, Tychonis’ is a story about how the application of proven software principles and good design choices can reduce risk and cost to space missions

Soria, Manel↗
NASA NTRSDate not supplied

Sensitivity of Optimal Midcourse Correction Scheduling for Robust Cislunar Trajectory Design

A new approach to optimal trajectory design is the determination of optimal trajectories that are robust to initial trajectory dispersions, navigation errors, maneuver execution errors, and environment modeling errors. This paper investigates the sensitivity of cislunar robust optimal trajectory design to launch date, duration of navigation measurement passes, and navigation measurement frequency. For a given cislunar trajectory from translunar injection (TLI) to lunar orbit insertion (LOI), the optimal locations of midcourse corrections, also known as trajectory correction maneuvers (TCM) are determined by minimizing the final 3-σ ∆v subject to a final 3-σ position dispersion constraint for a given launch date, specified measurement pass duration prior to each maneuver, and measurement frequency. Optical navigation (OpNav) is assumed, and OpNav field-of-view (FOV) and lighting constraints are employed. These constraints turn out to be important elements of the problem. The sensitivity of the optimal TCM locations are then investigated by varying the launch date, duration of OpNav measurement passes, and the OpNav measurement frequency, and then re-optimizing the locations of the TCMs. Given the problem parameters provided herein, results show that while the optimal TCM locations with respect to TLI vary greatly from one launch date to another, their locations with respect to LOI are nearly invariant over a 2-month launch window. Results also show that in all cases the optimal location of the last TCM is found to be at the point where the OpNav lunar FOV constraint is first violated. For all other TCMs, OpNav measurement pass duration and measurement frequency can have a moderate to large affect on the optimal TCM locations.

Linear Covariance Analysis↗
NASA NTRSDate not supplied

Turbulence Effects on Shaped Booms: Propagation Simulations Using KZKFourier

Upcoming X-59 aircraft flight tests as part of NASA’s Quesst Mission are expected to occur in a range of atmospheric conditions. Sensitivity of ground waveform acoustic metrics to turbulent perturbations during propagation complicates the determination of noise levels. A series of simulations through turbulence was executed using the KZKFourier model of Stout et al. to develop a database of results for expanding the functionality of NASA tools for estimating turbulence effects on shaped-boom ground waveforms. For 45 cases covering a seven-factor design space, multiple realizations of turbulence were generated to characterize statistical turbulence effects on levels of six acoustic metrics. An individual simulation in the study produced over one thousand waveforms across a virtual microphone array. Different measures were used to evaluate refinement of results with increasing number of simulations. Data suggest that mean effects and variability were most strongly influenced by propagation distance and velocity fluctuation intensity. Although local increases in acoustic metrics were common, the overall average result in all cases was a reduction in metric levels. Sensitivity of acoustic metrics varied, with mean reductions of up to 2 dB in Perceived Level occurring across the 45 cases.

turbulence↗
NASA NTRS2025

Airports as Energy Nodes Activity Summary

Advanced aircraft concepts that use non-traditional aviation energy storage methods such as batteries or cryogenic hydrogen are in development and expected to enter regular service at airports worldwide within the next decade. The energy needs for these aircraft may quickly overwhelm the existing energy infrastructure at airports, particularly at smaller and more remote facilities. Without energy upgrades, these airports will not be able to host these advanced vehicles, but without the advanced vehicle traffic, these airports will not have the rationale or funding to build up their energy infrastructure. The Airports as Energy Nodes (ÆNodes) activity, a collaboration between the National Aeronautics and Space Administration (NASA) and the National Renewable Energy Laboratory (NREL), was executed to understand and model the energy needs that advanced aircraft concepts may levy on these smaller airports, determine cost-effective approaches to enhance the airport energy infrastructure, and demonstrate the enhanced resilience of these energy infrastructure upgrades to the airport and surrounding community via “digital twin” simulation at relevant energy and dynamic time scales. The ÆNodes team also investigated future reference aircraft designs and materials to enable cryogenic hydrogen storage for aircraft. The ÆNodes team conducted analysis at two U.S. airport partner sites — Winchester Regional Airport in Winchester, Virginia, and Tweed/New Haven Airport in New Haven, Connecticut. The goal of this partnership was to develop data and reference infrastructure designs that could accommodate advanced aircraft in the future at these airports while also enhancing the resiliency of the energy supply to the surrounding airport community, which could be used to capture funding to enable the infrastructure upgrades. Over the course of the study, a method was developed to estimate air traffic requiring advanced energy services over the course of a year using a mix of historical data and companion studies on advanced aircraft transportation networks. The study has concluded at NASA but continues at NREL, who will develop a final report discussing the energy infrastructure upgrades and digital twin results. Preliminary results indicate that unrestricted adoption of advanced battery-electric aircraft may double traffic at these airports and increase peak daily power usage by an order of magnitude, while increase electricity energy needs by a factor of two to four. The infrastructure upgrades necessary to accommodate these increased energy needs could be used to provide enhanced energy services to the airport community to offset the cost and increase the utility of the upgrades, which will be described in the NREL final report.

Airports↗