Search NASA⌕ Search

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.

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

At least 145 records · Page 8

CRYSTAL, EOS Validation, and CAMEX-5

CAMEX-5 is at an early phase of concept development. This future field deployment (2004 or 2005) concerning hurricanes could potentially benefit from collaboration with other programs within NASA. Specifically, the recently completed CRYSTAL- Florida Area Cirrus Experiment (FACE) offers a useful model of such a collaborative endeavor. CRYSTAL-FACE was concerned with deep tropical convection and its impact on the upper troposphere. Three separate NASA R&A Programs joined in supporting CRYSTAL-FACE, including the Radiation Sciences Program, the Atmospheric Chemistry, Modeling & Analysis Program, and the Upper Atmosphere Research Program as well as the EOS Validation Program. In addition, the National Science Foundation and the Department of Energy Atmospheric Measurements Programs were also substantive partners. Insights will be given into how this cooperative field experiment came to be and how it worked in the field. Possibilities for similar model for CAMEX-5 will be explored.

Starr, David↗

Modeling Operations Costs for Human Exploration Architectures

Operations and support (O&S) costs for human spaceflight have not received the same attention in the cost estimating community as have development costs. This is unfortunate as O&S costs typically comprise a majority of life-cycle costs (LCC) in such programs as the International Space Station (ISS) and the now-cancelled Constellation Program. Recognizing this, the Constellation Program and NASA HQs supported the development of an O&S cost model specifically for human spaceflight. This model, known as the Exploration Architectures Operations Cost Model (ExAOCM), provided the operations cost estimates for a variety of alternative human missions to the moon, Mars, and Near-Earth Objects (NEOs) in architectural studies. ExAOCM is philosophically based on the DoD Architecture Framework (DoDAF) concepts of operational nodes, systems, operational functions, and milestones. This paper presents some of the historical background surrounding the development of the model, and discusses the underlying structure, its unusual user interface, and lastly, previous examples of its use in the aforementioned architectural studies.

cost estimating↗

Conceptual modeling of coincident failures in multiversion software

Recent work by Eckhardt and Lee (1985) shows that independently developed program versions fail dependently (specifically, simultaneous failure of several is greater than would be the case under true independence). The present authors show there is a precise duality between input choice and program choice in this model and consider a generalization in which different versions can be developed using diverse methodologies. The use of diverse methodologies is shown to decrease the probability of the simultaneous failure of several versions. Indeed, it is theoretically possible to obtain versions which exhibit better than independent failure behavior. The authors try to formalize the notion of methodological diversity by considering the sequence of decision outcomes that constitute a methodology. They show that diversity of decision implies likely diversity of behavior for the different verions developed under such forced diversity. For certain one-out-of-n systems the authors obtain an optimal method for allocating diversity between versions. For two-out-of-three systems there seem to be no simple optimality results which do not depend on constraints which cannot be verified in practice.

Littlewood, Bev↗

Care 3 phase 2 report, maintenance manual

CARE 3 (Computer-Aided Reliability Estimation, version three) is a computer program designed to help estimate the reliability of complex, redundant systems. Although the program can model a wide variety of redundant structures, it was developed specifically for fault-tolerant avionics systems--systems distinguished by the need for extremely reliable performance since a system failure could well result in the loss of human life. It substantially generalizes the class of redundant configurations that could be accommodated, and includes a coverage model to determine the various coverage probabilities as a function of the applicable fault recovery mechanisms (detection delay, diagnostic scheduling interval, isolation and recovery delay, etc.). CARE 3 further generalizes the class of system structures that can be modeled and greatly expands the coverage model to take into account such effects as intermittent and transient faults, latent faults, error propagation, etc.

Bryant, L. A.↗

The CARE 3 Phase 3 Report: Test and Evaluation

CARE 3 (Computer-Aided Reliability Estimation, version three) is a computer program designed to help estimate the reliability of complex, redundant systems; although the program can model a wide variety of redundant structures, it was developed specifically for fault-tolerant avionics systems, systems distinguished by the need for extremely reliable performance since a system failure could well result in the loss of human life. CARE 3 further generalizes the class of system structures that can be modeled and greatly expands the coverage model to take into account such effects as intermittent and transient faults, latent faults, error propagation, etc. The initial test and evaluation of CARE 3 are reported.

Stiffler, J. J.↗

CARE 3 phase 2 report - mathematical description

CARE III (Computer-Aided Reliability Estimation, version three) a computer program designed to help estimate the reliability of complex, redundant systems is described. Although the program can model a wide variety of redundant structures, it was developed specifically for fault tolerant avionics systems. CARE III generalizes the class of system structures that can be modeled and greatly expands the coverage model to take into account such effects as intermittent and transient faults, latent faults, and error propagation.

Stiffler, J. J.↗

The Martian climate: Energy balance models with CO2/H2O atmospheres

Progress in the development of a multi-reservoir, time dependent energy balance climate model for Mars driven by prescribed insolation at the top of the atmosphere is reported. The first approximately half-year of the program was devoted to assembling and testing components of the full model. Specific accomplishments were made on a longwave radiation code, coupling seasonal solar input to a ground temperature simulation, and conceptualizing an approach to modeling the seasonal pressure waves that develop in the Martian atmosphere as a result of sublimation and condensation of CO2 in polar regions.

Hoffert, M. I.↗

The effect of 0.1 atomic percent zirconium on the cyclic oxidation behavior of beta-NiAl for 300 hours at 1200 C

The long time effect of 0.1 at percent Zr (0.2 wt percent Zr) on the cyclic oxidation behavior of hipped beta-NiAl was studied. Oxidation testing was performed in static air at 1200 C for up to 3000 one-hour exposure cycles. Specific weight change versus time data was modeled with the COSP computer program to analyze cyclic oxidation behavior. The Zr-free stoichiometric alloy oxidized and spalled randomly to bare metal between cycles at a rate high enough to deplete Al to a low enough level that oxidation breakaway took place as nonprotective NiO replaced the alpha-Al2O3/NiAl2O4 scale as the controlling oxide. The Zr minimized this severe type of spalling maintaining the protective alpha-Al2O3 scale even out to 3000 hours for the stoichiometric alloy with no significant Al depletion. A third beta-NiAl alloy containing 0.1 at percent Zr but with 10 percent less Al than the stoichiometric alloy was also tested and showed some depletion of Al, but the protective Al2O3/NiAl2O4 was still maintained to close to 2700 hours.

Barrett, C. A.↗

The effect of 0.1 atomic percent zirconium on the cyclic oxidation behavior of beta-NiAl for 3000 hours at 1200 C

The long time effect of 0.1 at percent Zr (0.2 wt percent Zr) on the cyclic oxidation behavior of hipped beta-NiAl was studied. Oxidation testing was performed in static air at 1200 C for up to 3000 one-hour exposure cycles. Specific weight change versus time data was modeled with the COSP computer program to analyze cyclic oxidation behavior. The Zr-free stoichiometric alloy oxidized and spalled randomly to bare metal between cycles at a rate high enough to deplete Al to a low enough level that oxidation breakaway took place as nonprotective NiO replaced the alpha-Al203/NiAl204 scale as the controlling oxide. The Zr minimized this severe type of spalling maintaining the protective alpha-Al203 scale even out to 3000 hours for the stoichiometric alloy with no significant Al depletion. A third beta-NiAl alloy containing 0.1 at percent Zr but with 10 percent less Al than the stoichiometric alloy was also tested and showed some depletion of Al, but the protective Al203/NiAl204 was still maintained to close to 2700 hours.

Barrett, C. A.↗

Practical Application of Model-based Programming and State-based Architecture to Space Missions

Innovative systems and software engineering solutions are required to meet the increasingly challenging demands of deep-space robotic missions. While recent advances in the development of an integrated systems and software engineering approach have begun to address some of these issues, they are still at the core highly manual and, therefore, error-prone. This paper describes a task aimed at infusing MIT's model-based executive, Titan, into JPL's Mission Data System (MDS), a unified state-based architecture, systems engineering process, and supporting software framework. Results of the task are presented, including a discussion of the benefits and challenges associated with integrating mature model-based programming techniques and technologies into a rigorously-defined domain specific architecture.

state analysis↗

Systems level polarization modeling of multispectral space sensors

The 2-percent polarization sensitivity specification in many of NASA's Earth Observing System sensors has motivated Santa Barbara Research Center (SBRC) to develop computer programs that model the polarization characteristics of optical systems. In support of the Moderate Resolution Imaging Spectroradiometer program, SBRC has developed an analytical tool which unites the completed 3D lens design and coating designs to accurately predict an optical system's polarization characterization compensators, nonnormal incidence reflection and transmission from dichroic beam splitters and protected silver mirrors are analyzed without the need for proprietary coating prescriptions. The phenomenon of diattenuation and phase change are treated using the Jones matrix formalism.

Wells, Conrad↗

New Developments In NASA’s Entry Systems Modeling Project

This paper describes recent developments for modeling entry, descent, and landing (EDL)of spacecraft in support of NASA’s exploration missions. Mission-specific research and model development for entry systems occurs across the Agency (e.g., within flight programs like Artemis/Orion and Mars Sample Return), however the aim of this paper is to discuss the research conducted by NASA’s Entry Systems Modeling (ESM) Project, which serves as the Agency’s only effort dedicated to advancing modeling capabilities that cross-cut multiple technical disciplines, missions and destinations. The ESM portfolio is developed to address the specific needs expressed by a cross-section of NASA stakeholders, including flight and research projects, technical leadership, and subject matter experts. Technology development in ESM is organized and prioritized from a system-level perspective, resulting in four broad technical areas of investment: (1) Thermal Protection System (TPS) material modeling, (2) Shock layer kinetics and radiation, (3) Aerosciences, and (4) Guidance, navigation, and control. In addition to the core technical areas, special topics are rolled into the project portfolio as specific demands arise. Current special topics include TPS Certification by Analysis, improving understanding of woven TPS material performance; Hypersonic Wake Flows, assessing and improving predictions of base flows; and the MEDLI2 Deep Dive, furthering analysis of data obtained during Mars2020 mission’s entry and descent at Mars. Key results from each of these areas are presented in this paper, along with associated references to serve as a roadmap for other EDL researchers to access NASA’s publications.

Aaron M Brandis↗

Lessons Learned from NASA Goddard Space Flight Center’s Product Development Lead Training Schedule and Cost Development Workshop: Continuous Improvement

This presentation provides a status of the Goddard Space Flight Center (GSFC) effort to increase foundational knowledge of Product Development Leads (PDLs) in schedule and cost management including earned value management (EVM). In 2012, GSFC’s Engineering and Technology Directorate (ETD) implemented an in-house training program to prepare PDLs for managing the technical, cost, schedule, and risk aspects of spaceflight systems to meet their subsystem commitments. Developed in-house, the PDL training program provides an integrated approach to requirements development, risk, schedule and cost management, EVM, performance tracking, and other areas. The program has been held twice yearly since its inception with 531 participating and 451 completing the curriculum. In 2017, the program won the Robert H. Goddard award for Quality and Process Improvement. Program development and evolution were presented in the 2018 NASA Schedule and Cost Symposium. The presentation was so well received that this year we focus on one workshop within the program: Schedule and Cost Development, including EVM. We examine the on-going logic modeling process and how participant and stakeholder data influence workshop content and design, and how the disciplines of schedule and cost contribute to mission success. In this presentation we refresh you on how the approach integrates lecture, small group discussion, estimating, case study exercises, and problem solving. We update you on the data collected from participants and stakeholders, and we discuss how we use these data to measure training effectiveness. Specific topics include: • How the logic model is used as the backbone for continuous program improvement, • How feedback influences implementation and curriculum updates, • How data collection and analysis inform workshop content and development, including participant discoveries of EVM data, • How including the resource analyst and planner in the product development team supports project success.

Lessons Learned↗

Technology programs and related policies - Impacts on communications satellite business ventures

The DOMSAT II stochastic communication satellite business venture financial planning simulation model is described. The specification of business scenarios and the results of several analyses are presented. In particular, the impacts of NASA on-orbit propulsion and power technology programs are described. The effects of insurance rates and self-insurance and of the use of the Space Shuttle and Ariane transportation systems on a typical fixed satellite service business venture are discussed.

Greenberg, J. S.↗

Turbulence Modeling Verification and Validation

Computational fluid dynamics (CFD) software that solves the Reynolds-averaged Navier-Stokes (RANS) equations has been in routine use for more than a quarter of a century. It is currently employed not only for basic research in fluid dynamics, but also for the analysis and design processes in many industries worldwide, including aerospace, automotive, power generation, chemical manufacturing, polymer processing, and petroleum exploration. A key feature of RANS CFD is the turbulence model. Because the RANS equations are unclosed, a model is necessary to describe the effects of the turbulence on the mean flow, through the Reynolds stress terms. The turbulence model is one of the largest sources of uncertainty in RANS CFD, and most models are known to be flawed in one way or another. Alternative methods such as direct numerical simulations (DNS) and large eddy simulations (LES) rely less on modeling and hence include more physics than RANS. In DNS all turbulent scales are resolved, and in LES the large scales are resolved and the effects of the smallest turbulence scales are modeled. However, both DNS and LES are too expensive for most routine industrial usage on today's computers. Hybrid RANS-LES, which blends RANS near walls with LES away from walls, helps to moderate the cost while still retaining some of the scale-resolving capability of LES, but for some applications it can still be too expensive. Even considering its associated uncertainties, RANS turbulence modeling has proved to be very useful for a wide variety of applications. For example, in the aerospace field, many RANS models are considered to be reliable for computing attached flows. However, existing turbulence models are known to be inaccurate for many flows involving separation. Research has been ongoing for decades in an attempt to improve turbulence models for separated and other nonequilibrium flows. When developing or improving turbulence models, both verification and validation are important steps in the process. Verification insures that the CFD code is solving the equations as intended (no errors in the implementation). This is typically done either through the method of manufactured solutions (MMS) or through careful step-by-step comparisons with other verified codes. After the verification step is concluded, validation is performed to document the ability of the turbulence model to represent different types of flow physics. Validation can involve a large number of test case comparisons with experiments, theory, or DNS. Organized workshops have proved to be valuable resources for the turbulence modeling community in its pursuit of turbulence modeling verification and validation. Workshop contributors using different CFD codes run the same cases, often according to strict guidelines, and compare results. Through these comparisons, it is often possible to (1) identify codes that have likely implementation errors, and (2) gain insight into the capabilities and shortcomings of different turbulence models to predict the flow physics associated with particular types of flows. These are valuable lessons because they help bring consistency to CFD codes by encouraging the correction of faulty programming and facilitating the adoption of better models. They also sometimes point to specific areas needed for improvement in the models. In this paper, several recent workshops are summarized primarily from the point of view of turbulence modeling verification and validation. Furthermore, the NASA Langley Turbulence Modeling Resource website is described. The purpose of this site is to provide a central location where RANS turbulence models are documented, and test cases, grids, and data are provided. The goal of this paper is to provide an abbreviated survey of turbulence modeling verification and validation efforts, summarize some of the outcomes, and give some ideas for future endeavors in this area.

Rumsey, Christopher L.↗

Computational Materials Program for Alloy Design

The research program sponsored by this grant, "Computational Materials Program for Alloy Design", covers a period of time of enormous change in the emerging field of computational materials science. The computational materials program started with the development of the BFS method for alloys, a quantum approximate method for atomistic analysis of alloys specifically tailored to effectively deal with the current challenges in the area of atomistic modeling and to support modern experimental programs. During the grant period, the program benefited from steady growth which, as detailed below, far exceeds its original set of goals and objectives. Not surprisingly, by the end of this grant, the methodology and the computational materials program became an established force in the materials communitiy, with substantial impact in several areas. Major achievements during the duration of the grant include the completion of a Level 1 Milestone for the HITEMP program at NASA Glenn, consisting of the planning, development and organization of an international conference held at the Ohio Aerospace Institute in August of 2002, finalizing a period of rapid insertion of the methodology in the research community worlwide. The conference, attended by citizens of 17 countries representing various fields of the research community, resulted in a special issue of the leading journal in the area of applied surface science. Another element of the Level 1 Milestone was the presentation of the first version of the Alloy Design Workbench software package, currently known as "adwTools". This software package constitutes the first PC-based piece of software for atomistic simulations for both solid alloys and surfaces in the market.Dissemination of results and insertion in the materials community worldwide was a primary focus during this period. As a result, the P.I. was responsible for presenting 37 contributed talks, 19 invited talks, and publishing 71 articles in peer-reviewed journals, as detailed later in this Report.

Bozzolo, Guillermo↗

Thermal APU/hydraulics analysis program. User's guide and programmer's manual

The User's Guide information plus program description necessary to run and have a general understanding of the Thermal APU/Hydraulics Analysis Program (TAHAP) is described. This information consists of general descriptions of the APU/hydraulic system and the TAHAP model, input and output data descriptions, and specific subroutine requirements. Deck setups and input data formats are included and other necessary and/or helpful information for using TAHAP is given. The math model descriptions for the driver program and each of its supporting subroutines are outlined.

Deluna, T. A.↗

An adaptive maneuvering logic computer program for the simulation of one-on-one air-to-air combat. Volume 1: General description

A technique for computer simulation of air combat is described. Volume 1 decribes the computer program and its development in general terms. Two versions of the program exist. Both incorporate a logic for selecting and executing air combat maneuvers with performance models of specific fighter aircraft. In the batch processing version the flight paths of two aircraft engaged in interactive aerial combat and controlled by the same logic are computed. The realtime version permits human pilots to fly air-to-air combat against the adaptive maneuvering logic (AML) in Langley Differential Maneuvering Simulator (DMS). Volume 2 consists of a detailed description of the computer programs.

Burgin, G. H.↗