SEARCH · Search NASA

Results for “programming model specification”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1994

Preprocessor Program For Use With PASCO

MACPASCO is interactive, graphical preprocessor program designed to make use of Panel Analysis and Sizing Code, PASCO, (COSMIC program numbers LAR-13004, LAR-13164, and LAR-14799) faster, simpler, and less error-prone. Is Macintosh-based preprocessor program that includes graphical user interface (GUI) program to simplify specification of panel geometry, making modeling and analysis of panel designs more efficient and reducing potential for user input errors. Written in Macintosh Programmers Workbench 3.0, MPW Pascal 3.0, and MacAPP 2.0.

Lucas, Stephen H.↗

NASA NTRS2011

Developing Flexible Discrete Event Simulation Models in an Uncertain Policy Environment

On February 1st, 2010 U.S. President Barack Obama submitted to Congress his proposed budget request for Fiscal Year 2011. This budget included significant changes to the National Aeronautics and Space Administration (NASA), including the proposed cancellation of the Constellation Program. This change proved to be controversial and Congressional approval of the program's official cancellation would take many months to complete. During this same period an end-to-end discrete event simulation (DES) model of Constellation operations was being built through the joint efforts of Productivity Apex Inc. (PAl) and Science Applications International Corporation (SAIC) teams under the guidance of NASA. The uncertainty in regards to the Constellation program presented a major challenge to the DES team, as to: continue the development of this program-of-record simulation, while at the same time remain prepared for possible changes to the program. This required the team to rethink how it would develop it's model and make it flexible enough to support possible future vehicles while at the same time be specific enough to support the program-of-record. This challenge was compounded by the fact that this model was being developed through the traditional DES process-orientation which lacked the flexibility of object-oriented approaches. The team met this challenge through significant pre-planning that led to the "modularization" of the model's structure by identifying what was generic, finding natural logic break points, and the standardization of interlogic numbering system. The outcome of this work resulted in a model that not only was ready to be easily modified to support any future rocket programs, but also a model that was extremely structured and organized in a way that facilitated rapid verification. This paper discusses in detail the process the team followed to build this model and the many advantages this method provides builders of traditional process-oriented discrete event simulations.

Miranda, David J.↗

NASA NTRS1983

The use of a formal simulator to verify a simple real time control program

The authors present an initial and elementary investigation of the formal specification and mechanical verification of programs that interact with environments. They describe a mechanical proof that a simple, real time control program keeps a vehicle on a straightline course in a variable crosswind. To formalize the specification they define a mathematical function which models the interaction of the program and its environment. They then state and proved two theorems about this function: the simulated vehicle never gets farther than three units away from the intended course, and it comes to the course if the wind ever remains steady for at least four sampling units.

Boyer, R. S.↗

NASA NTRSDate not supplied

International Space Station Bipropellant Plume Contamination Model Update for Short Thruster Pulse Widths

The International Space Station (ISS) Bipropellant Plume Contamination Model has been a vital tool for characterizing the thruster plume-induced contamination environment at the ISS but was not intended to be used for very short thruster pulse widths. This paper presents an updated model that ensures full start-up and shut-down phases are modeled for each thruster firing, when the majority of liquid phase contaminant mass is released. The updated ISS Bipropellant Plume Contamination Model prevents potential under-prediction of thruster plume-induced contamination due to visiting vehicle proximity operations and provides a way to take advantage of thruster start-up and shut-down data performance data gathered during thruster test programs, if available. The International Space Station (ISS) Bipropellant Plume Contamination Model developed by Boeing Space Environments is a semi-empirical model anchored in flight experiment data and has been a vital tool for characterizing the thruster plume-induced contamination environment at the ISS.[1] The current model utilizes flight experiment data from the Plume Impingement Contamination (PIC) and Shuttle Plume Impingement Flight Experiment (SPIFEX) studies, which include Orbiter 3870 N Primary Reaction Control System (PRCS) and Russian 130 N thrusters operating in pulse mode with 80-100 ms.[2] As the next generation of crew and cargo visiting vehicles are developed and arrive at ISS, minimum pulse widths of vehicle thrusters used for ISS proximity operations have decreased significantly below 80 ms. An update to the ISS Bipropellant Contamination Model is needed to prevent potential under-prediction of thruster plume-induced contamination for these very short pulse widths. Contamination due to thruster plumes occurs in the liquid phase (i.e., unburned or partially burned propellant in the plume). Liquid phase releases primarily occur during thruster start-up and shut-down phases, with the steady state phase contributing a small amount to the total contaminant mass released. The current ISS Bipropellant Plume Contamination Model includes functional dependencies on thruster parameters (thrust, mass flow rate, specific impulse (Isp)), distance to receiver surface, and angle off plume centerline. For modeling purposes, contaminant mass released scales linearly with pulse width. This is a conservative approach for pulse widths greater than 80 ms but could under-predict contamination for very short pulse widths (i.e., with little or no steady state phase). This paper presents a model update to add a functional dependency on commanded pulse width to ensure the portion of the pulse spent in start-up and shut-down phases is appropriately modeled, when the majority of liquid phase contaminant mass is released. The updated model prevents potential under-prediction of thruster plume-induced contamination due to visiting vehicle proximity operations while providing a way to take advantage of thruster start-up and shut-down data gathered during test programs, if available. Developing the plume model for a specific thruster using the ISS Bipropellant Plume Contamination Model must be done in consideration of all available thruster performance data. Example thruster data will be used to illustrate this point and options for implementing the model update with existing ISS Bipropellant Plume Contamination Model code will be discussed.

plume contamination↗

NASA NTRS1993

Operational and research aspects of a radio-controlled model flight test program

The operational and research aspects of a subscale, radio-controlled model flight test program are presented. By using low-cost free-flying models, an approach was developed for obtaining research-quality vehicle performance and aerodynamic information. The advantages and limitations learned by applying this approach to a specific flight test program are described. The research quality of the data acquired shows that model flight testing is practical for obtaining consistent and repeatable flight data.

Budd, Gerald D.↗

NASA NTRS1993

Operational and research aspects of a radio-controlled model flight test program

Budd, Gerald D.↗

NASA NTRS1986

Analysis and specification tools in relation to the APSE

Ada and the Ada Programming Support Environment (APSE) specifically address the phases of the system/software life cycle which follow after the user's problem was translated into system and software development specifications. The waterfall model of the life cycle identifies the analysis and requirements definition phases as preceeding program design and coding. Since Ada is a programming language and the APSE is a programming support environment, they are primarily targeted to support program (code) development, tecting, and maintenance. The use of Ada based or Ada related specification languages (SLs) and program design languages (PDLs) can extend the use of Ada back into the software design phases of the life cycle. Recall that the standardization of the APSE as a programming support environment is only now happening after many years of evolutionary experience with diverse sets of programming support tools. Restricting consideration to one, or even a few chosen specification and design tools, could be a real mistake for an organization or a major project such as the Space Station, which will need to deal with an increasingly complex level of system problems. To require that everything be Ada-like, be implemented in Ada, run directly under the APSE, and fit into a rigid waterfall model of the life cycle would turn a promising support environment into a straight jacket for progress.

Hendricks, John W.↗

NASA NTRS2013

Develop a Model Component

During my internship at NASA, I was a model developer for Ground Support Equipment (GSE). The purpose of a model developer is to develop and unit test model component libraries (fluid, electrical, gas, etc.). The models are designed to simulate software for GSE (Ground Special Power, Crew Access Arm, Cryo, Fire and Leak Detection System, Environmental Control System (ECS), etc. ~.) before they are implemented into hardware. These models support verifying local control and remote software for End-Item Software Under Test (SUT). The model simulates the physical behavior (function, state, limits and 110) of each end-item and it's dependencies as defined in the Subsystem Interface Table, Software Requirements & Design Specification (SRDS), Ground Integrated Schematic (GIS), and System Mechanical Schematic.(SMS). The software of each specific model component is simulated through MATLAB's Simulink program. The intensiv~ model development life cycle is a.s follows: Identify source documents; identify model scope; update schedule; preliminary design review; develop model requirements; update model.. scope; update schedule; detailed design review; create/modify library component; implement library components reference; implement subsystem components; develop a test script; run the test script; develop users guide; send model out for peer review; the model is sent out for verific~tionlvalidation; if there is empirical data, a validation data package is generated; if there is not empirical data, a verification package is generated; the test results are then reviewed; and finally, the user. requests accreditation, and a statement of accreditation is prepared. Once each component model is reviewed and approved, they are intertwined together into one integrated model. This integrated model is then tested itself, through a test script and autotest, so that it can be concluded that all models work conjointly, for a single purpose. The component I was assigned, specifically, was a fluid component, a discrete pressure switch. The switch takes a fluid pressure input, and if the pressure is greater than a designated cutoff pressure, the switch would stop fluid flow.

Ensey, Tyler S.↗

NASA NTRS1975

Systems cost/performance analysis; study 2.3. Volume 3: Programmer's manual and user's guide

The implementation of the entire systems cost/performance model as a digital computer program was studied. A discussion of the operating environment in which the program was written and checked, the program specifications such as discussions of logic and computational flow, the different subsystem models involved in the design of the spacecraft, and routines involved in the nondesign area such as costing and scheduling of the design were covered. Preliminary results for the DSCS-2 design are also included.

Source record↗

NASA NTRS1992

Life prediction and constitutive models for engine hot section anisotropic materials program

This report presents the results from a 35 month period of a program designed to develop generic constitutive and life prediction approaches and models for nickel-based single crystal gas turbine airfoils. The program is composed of a base program and an optional program. The base program addresses the high temperature coated single crystal regime above the airfoil root platform. The optional program investigates the low temperature uncoated single crystal regime below the airfoil root platform including the notched conditions of the airfoil attachment. Both base and option programs involve experimental and analytical efforts. Results from uniaxial constitutive and fatigue life experiments of coated and uncoated PWA 1480 single crystal material form the basis for the analytical modeling effort. Four single crystal primary orientations were used in the experiments: (001), (011), (111), and (213). Specific secondary orientations were also selected for the notched experiments in the optional program. Constitutive models for an overlay coating and PWA 1480 single crystal material were developed based on isothermal hysteresis loop data and verified using thermomechanical (TMF) hysteresis loop data. A fatigue life approach and life models were selected for TMF crack initiation of coated PWA 1480. An initial life model used to correlate smooth and notched fatigue data obtained in the option program shows promise. Computer software incorporating the overlay coating and PWA 1480 constitutive models was developed.

Nissley, D. M.↗

NASA NTRS1976

Alternative methods for the design of jet engine control systems

Various alternatives to linear quadratic design methods for jet engine control systems are discussed. The main alternatives are classified into two broad categories: nonlinear global mathematical programming methods and linear local multivariable frequency domain methods. Specific studies within these categories include model reduction, the eigenvalue locus method, the inverse Nyquist method, polynomial design, dynamic programming, and conjugate gradient approaches.

Sain, M. K.↗

NASA NTRS1988

Automated generation of reliability models

The abstract semi-Markov specification interface to the SURE (Semi-Markov Range Evaluator) tool (ASSIST) program allows the user to describe the Markov model in a high-level language. Instead of listing the individual states of the model, the user specifies the rules governing the behavior of the system, and these are used to automatically generate the model. A small number of statements in the abstract language can describe a large, complex model. Becuase no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any type of system. The abstract model definition and the automatic model generation strategy are described. Analysis of an example fault-tolerant architecture, a triad of processor with cold spare processors, shows how the behavior of a system can be captured by a few general rules. The syntax of the ASSIST input language is then described and demonstrated by creating a model to describe the fault behavior of the example architecture. The flexibility of the abstract language is demonstrated by expanding the example to model multiple triads of processors sharing a pool of cold spare processors.

Johnson, Sally C.↗

NASA NTRS2001

The Living with a Star Program Mission Plan

LWS (Living With a Star) is research science focused to facilitate enabling science for spacecraft design (specifically environment specification models) and spacecraft operations (specifically Space Weather research). The following topics are discussed: LWS goals and program, program architecture, the solar dynamic observer, the geospace plan, the space environment testbed concept, and the heliosphere missions.

Barth, Janet↗

NASA NTRS1966

Future missions.

Specification and evaluation of space projects and programs, noting model construction and planning

MISSION PLANNING↗

NASA NTRS1977

A simulation model for wind energy storage systems. Volume 2: Operation manual

A comprehensive computer program (SIMWEST) developed for the modeling of wind energy/storage systems utilizing any combination of five types of storage (pumped hydro, battery, thermal, flywheel, and pneumatic) is described. Features of the program include: a precompiler which generates computer models (in FORTRAN) of complex wind source/storage/application systems, from user specifications using the respective library components; a program which provides the techno-economic system analysis with the respective I/O the integration of system dynamics, and the iteration for conveyance of variables; and capability to evaluate economic feasibility as well as general performance of wind energy systems. The SIMWEST operation manual is presented and the usage of the SIMWEST program and the design of the library components are described. A number of example simulations intended to familiarize the user with the program's operation is given along with a listing of each SIMWEST library subroutine.

Warren, A. W.↗

NASA NTRS1995

Universities Earth System Scientists Program

This document constitutes the final technical report for the National Aeronautics and Space Administration (NASA) Grant NAGW-3172. This grant was instituted to provide for the conduct of research under the Universities Space Research Association's (USRA's) Universities Earth System Scientist Program (UESSP) for the Office of Mission to Planet Earth (OMTPE) at NASA Headquarters. USRA was tasked with the following requirements in support of the Universities Earth System Scientists Programs: (1) Bring to OMTPE fundamental scientific and technical expertise not currently resident at NASA Headquarters covering the broad spectrum of Earth science disciplines; (2) Conduct basic research in order to help establish the state of the science and technological readiness, related to NASA issues and requirements, for the following, near-term, scientific uncertainties, and data/information needs in the areas of global climate change, clouds and radiative balance, sources and sinks of greenhouse gases and the processes that control them, solid earth, oceans, polar ice sheets, land-surface hydrology, ecological dynamics, biological diversity, and sustainable development; (3) Evaluate the scientific state-of-the-field in key selected areas and to assist in the definition of new research thrusts for missions, including those that would incorporate the long-term strategy of the U.S. Global Change Research Program (USGCRP). This will, in part, be accomplished by study and evaluation of the basic science needs of the community as they are used to drive the development and maintenance of a global-scale observing system, the focused research studies, and the implementation of an integrated program of modeling, prediction, and assessment; and (4) Produce specific recommendations and alternative strategies for OMTPE that can serve as a basis for interagency and national and international policy on issues related to Earth sciences.

Estes, John E.↗

NASA NTRS2009

2009 Continued Testing of the Orion Atmosphere Revitalization Technology

An amine-based carbon dioxide (CO2) and water vapor sorbent in pressure-swing regenerable beds has been developed by Hamilton Sundstrand and baselined for the Orion Atmosphere Revitalization System (ARS). In three previous years at this conference, reports were presented on extensive Johnson Space Center (JSC) testing of this technology in a sea-level pressure environment with simulated and real human metabolic loads in both open and closed-loop configurations. The test article design was iterated a third time before the latest series of such tests, which was performed in the first half of 2009. The new design incorporates a canister configuration modification for overall unit compactness and reduced pressure drop, as well as a new process flow control valve that incorporates both compressed gas purge and dual-end vacuum desorption capabilities. This newest test article is very similar to the flight article designs. Baseline tests of the new unit were performed to compare its performance to that of the previous test articles. Testing of compressed gas purge operations helped refine launchpad operating condition recommendations developed in earlier testing. Operating conditions used in flight program computer models were tested to validate the model projections. Specific operating conditions that were recommended by the JSC test team based on past test results were also tested for validation. The effects of vacuum regeneration line pressure on resulting cabin conditions was studied for high metabolic load periods, and a maximum pressure is recommended.

Button, Amy Lin↗

NASA NTRS2010

2009 Continued Testing of the Orion Atmosphere Revitalization Technology

An amine-based carbon dioxide (CO2) and water vapor sorbent in pressure-swing regenerable beds has been developed by Hamilton Sundstrand and baselined for the Orion Atmosphere Revitalization System (ARS). In three previous years at this conference, reports were presented on extensive Johnson Space Center (JSC) testing of this technology in a sea-level pressure environment, with simulated and real human metabolic loads, in both open and closed-loop configurations. The test article design was iterated a third time before the latest series of such tests, which was performed in the first half of 2009. The new design incorporates a canister configuration modification for overall unit compactness and reduced pressure drop, as well as a new process flow control valve that incorporates both compressed gas purge and dual-end vacuum desorption capabilities. This newest test article is very similar to the flight article designs. Baseline tests of the new unit were performed to compare its performance to that of the previous test articles. Testing of compressed gas purge operations helped refine launchpad operating condition recommendations developed in earlier testing. Operating conditions used in flight program computer models were tested to validate the model projections. Specific operating conditions that were recommended by the JSC test team based on past test results were also tested for validation. The effects of vacuum regeneration line pressure on resulting cabin conditions was studied for high metabolic load periods, and a maximum pressure is recommended

Button, Amy B.↗