Search NASA⌕ Search

SEARCH · Search NASA

Results for “Programming 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 1,099 records · Page 61
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

Model Checking Abstract PLEXIL Programs with SMART

We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

Siminiceanu, Radu I.↗
NASA NTRS1984

Postprocessing for the UCLA climate model

Postprocessing programs written to analyze the results of a general circulation model are described. The model history data is interpolated to pressure surfaces, converted from 64-bit Cyber words to 32 bit IBM words, and transferred to tape for further analysis. The time average program reads the interpolation output tape and produces 15-day time averages. The model outputs a very detailed record for selected grid points. This data is sent to a tape in Cyber full words. The conversion program changes the format of the tape from 64 bit Cyber words to 32 bit IBM words, processing a month of data at a time. The grid-point history sorting program inputs the converted grid point history tape and sorts it by time. The end product is a tape with a time history of each field for every point. After the PBP data has been stored, it can be plotted. The plotting package is flexible, and allows the choice of fields and grid points. The one-dimensional fields are plotted as functions of time, and a daily summary is also produced. For the two-dimensional fields, time-height cross sections and daily summaries are produced. The model plotting package produces plots for all fields on the time average and pressure tapes. These plots include world maps, polar projections, zonal means, vectors, streamlines, and latitude-height plots.

Abeles, J.↗
NASA NTRS2000

A Solution Methodology and Computer Program to Efficiently Model Thermodynamic and Transport Coefficients of Mixtures

A solution methodology has been developed to efficiently model multi-specie, chemically frozen, thermally perfect gas mixtures. The method relies on the ability to generate a single (composite) set of thermodynamic and transport coefficients prior to beginning a CFD solution. While not fundamentally a new concept, many applied CFD users are not aware of this capability nor have a mechanism to easily and confidently generate new coefficients. A database of individual specie property coefficients has been created for 48 species. The seven coefficient form of the thermodynamic functions is currently used rather then the ten coefficient form due to the similarity of the calculated properties, low temperature behavior and reduced CPU requirements. Sutherland laminar viscosity and thermal conductivity coefficients were computed in a consistent manner from available reference curves. A computer program has been written to provide CFD users with a convenient method to generate composite specie coefficients for any mixture. Mach 7 forebody/inlet calculations demonstrated nearly equivalent results and significant CPU time savings compared to a multi-specie solution approach. Results from high-speed combustor analysis also illustrate the ability to model inert test gas contaminants without additional computational expense.

Ferlemann, Paul G.↗
NASA NTRS1980

Exploratory studies of the cruise performance of upper surface blown configurations. Experimental program: Test facilities, model design instrumentation, and lowspeed, high-lift tests

The model hardware, test facilities and instrumentation utilized in an experimental study of upper surface blown configurations at cruise is described. The high speed (subsonic) experimental work, studying the aerodynamic effects of wing nacelle geometric variations, was conducted around semispan model configurations composed of diversified, interchangeable components. Power simulation was provided by high pressure air ducted through closed forebody nacelles. Nozzle geometry was varied across size, exit aspect ratio, exit position and boattail angle. Three dimensional force and two dimensional pressure measurements were obtained at cruise Mach numbers from 0.5 to 0.8 and at nozzle pressure ratios up to about 3.0. The experimental investigation was supported by an analytical synthesis of the system using a vortex lattice representation with first order power effects. Results are also presented from a compatibility study in which a short haul transport is designed on the basis of the aerodynamic findings in the experimental study as well as acoustical data obtained in a concurrent program. High lift test data are used to substantiate the projected performance of the selected transport design.

Braden, J. A.↗
DOE OSTI2018

Hanford Direct Feed Low Activity Waste Program Throughput Optimization Through Modeling - 18587

The Direct Feed Low Activity Waste (DFLAW) program at Hanford allows for the early treatment of tank wastes years earlier than previously planned. Operational Research (OR) modeling is being used to provide invaluable insight into how complex and integrated processes will operate. The DFLAW OR models are used to help optimize the design and operation of the integrated system. The DFLAW OR models include the processes and real-life complexities involved in the day-to-day operation of the systems and equipment, and can predict key performance characteristics including throughput, mission timescale, equipment and labor utilization, lag storage and capacity requirements. The DFLAW OR models also have the in-built capability to simulate random events such as equipment failures. Adding random variability to models introduces a real-life element to model results. For example, OR modeling breakdown analysis of equipment failure and restoration times may inform specific improvements to a design and plant operation, including areas where the provision of spare (duty/standby) equipment would prove beneficial; the optimum number and capacity of lag storage tanks (for waste intermediate storage, reagents, etc.); operational issues, including scheduling constraints, labor resource constraints, effect of shift schedules (e.g. days only, extended shifts, 24/7),, maintenance strategies, including planned maintenance, equipment upgrades, on-hand spare part stockholding, etc. At Hanford, standalone OR models to date, have been used to help identify key operational issues and improve the design and operation of individual systems within the Tank Farms, Low Activity Waste Pretreatment System (LAWPS), Low Activity Waste (LAW) Vitrification and Effluent Management Facility (EMF) and Integrated Disposal Facility (IDF), logistics and infrastructure, 222-S laboratory [References 1 and 2] including: - Identification of critical spares including transfer pumps; - Underpin size and number of lag storage tanks to maintain continuous LAW feed to the LAW melters; - Underpin sample turnaround times at the 222-S Laboratory (e.g. feed prequalification and evaporator campaign samples) and determine how targets can be achieved without impacting waste feed delivery to LAWPS and the LAW Vitrification Facility; - Determine operational strategy required at IDF including shift schedules and sizes and the number of ILAW transporters that can support DFLAW throughput; - Identification of lag storage management strategies for glass formers, reagents, other consumables due to delivery distance and delays due to bad weather; and - Truck delivery badging needs to support 24/7 operation and management of shift in/out times required to reduce congestion. An Integrated DFLAW OR model has been developed and combines the standalone OR models such that integrated throughput and availability can be assessed from a program perspective. The Integrated OR model will provide a more detailed understanding of the interactions between Tank Farms, LAWPS, LAW VIT and IDF such that key bottleneck areas can be identified and ensure improvements are focused. Examples of future improvements that may be considered include identification of critical spare parts, required on-site maintenance capabilities, shift scheduling, and craft and labor availability. The methods, results and insights derived by DFLAW OR modeling efforts are expected to provide useful applications to other projects that involve combinations of mechanical handling, chemical processing, waste treatment/packaging or environmental remediation operations. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2019

Domain-specific virtual processors as a portable programming and execution model for parallel computational workloads on modern heterogeneous high-performance computing architectures

We advocate domain-specific virtual processors (DSVP) as a portability layer for expressing and executing domain-specific computational workloads on modern heterogeneous HPC architectures, with applications in quantum chemistry. Specifically, in this article we extend, generalize and better formalize the concept of a domain-specific virtual processor as applied to scientific high-performance computing. In particular, we introduce a system-wide recursive (hierarchical) hardware encapsulation mechanism into the DSVP architecture and specify a concrete microarchitectural design of an abstract DSVP from which specialized DSVP implementations can be derived for specific scientific domains. Furthermore, we demonstrate, an example of a domain-specific virtual processor specialized to numerical tensor algebra workloads, which is implemented in the ExaTENSOR library developed by the author with a primary focus on the quantum many-body computational workloads on large-scale GPU-accelerated HPC platforms.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

MO-DE-BRA-03: The Ottawa Medical Physics Institute (OMPI): A Practical Model for Academic Program Collaboration in a Multi-Centre City

Purpose: To build a world-class medical physics educational program that capitalizes on expertise distributed over several clinical, government, and academic centres. Few if any of these centres would have the critical mass to solely resource a program. Methods: In order to enable an academic program, stakeholders from five institutions made a proposal to Carleton University for a) a research network with defined membership requirements and a process for accepting new members, and b) a graduate specialization (MSc and PhD) in medical physics. Both proposals were accepted and the program has grown steadily. Our courses are taught by medical physicists from across the collaboration. Our students have access to physicists in: clinical radiotherapy (the Ottawa Cancer Centre treats 4500 new patients/y), radiology, cardiology and nuclear medicine, Canada’s primary standards dosimetry laboratory, radiobiology, and university-based medical physics research. Our graduate courses emphasize the foundational physics plus applied aspects of imaging, radiotherapy, and radiobiology. Active researchers in the city-wide volunteer-run network are appointed as adjunct professors by Physics, giving them access to national funding competitions and partial student funding through teaching assistantships while opening up facilities in their institutions for student thesis research. Results: The medical physics network has grown to ∼40 members from eight institutions and includes five full-time faculty in Physics and 17 adjunct research professors. The graduate student population is ∼20. Our graduates have proceeded to a spectrum of careers. Our alumni list includes a CCPM Past-President, the current COMP President, many clinical physicists, and the heads of at least three major clinical medical physics departments. Our PhD was Ontario’s first CAMPEP-accredited program. Conclusion: A self-governing volunteer network is the foundational element that enables an MSc/PhD medical physics program in a city with multiple physicist employers. It enriches graduate education with an unusually broad range of expertise.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2018

Chemics-Reactors: A Preliminary Python Program for Implementing Network Models of Multiphase Reactors

We discuss the design and implementation of a preliminary software package written in Python 3 that is intended to represent complex multiphase reactors as networks of ideal continuous stirred tank reactors. This software also implements statistical design of experiments, uncertainty quantification, and global sensitivity analysis. These advanced features can provide important qualitative and quantitative insights into the effect of operating conditions and model parameters on predicted reactor performance. We demonstrate the utility of the program by modeling the vapor phase catalytic upgrading of bio-oil in a bubbling fluidized bed reactor.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2019

Marine Biogeochemistry in the Coastal Arctic: Towards Improved Quantitative Understanding of the Controls on Marine Biogeochemical Processes in the Arctic Coastal Zone, and Their Impacts on Climate and the Food Web: A White Paper for DOE’s Regional and Global Model Analysis (RGMA) Program

The Arctic is undergoing unprecedented environmental change and nowhere in the Arctic Ocean is this more evident and directly felt than along the coasts where people live, work, and come to visit. It is widely known that atmospheric CO2 concentrations are increasing, temperatures are rising, sea ice is shrinking, permafrost is warming, and hydrological processes are being altered, although the resulting impacts of such changes on the Arctic marine carbon cycle, greenhouse gas (GHG) fluxes, ecosystems, toxic algal blooms and coastal communities are far from clear. Potential impacts include major threats such as severe ocean acidification (OA) and increased release of methane from coastal shelf seas, as well as shifts in primary production and food-web dynamics, which could in turn further accelerate environmental change.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2020

User's Manual for the FE/NETL Onshore CO 2 EOR Cost Model, Version 1

This user's manual describes the conceptual and mathematical basis for the FE/NETL Onshore CO 2 EOR Cost Model (a Fortran program). The model performs a cash flow analysis to estimate the cost of implementing CO 2 EOR using supercritical CO 2 by incorporating oil field performance outputs for a pattern from the FE/NETL CO 2 Prophet Model (available on NETL's website along with its associated user's manuals under the Collection Name: FE/NETL CO 2 Prophet Model) and implementing patterns to develop an oil field for CO 2 EOR. The model calculates capital costs, operation and maintenance costs, and financing costs. The user’s manual also describes how to run the FE/NETL Onshore CO 2 EOR Cost Model, along with the model’s file structure, inputs and outputs. The FE/NETL Onshore CO 2 EOR Cost Model is available on NETL's website under the Collection Name: FE/NETL Onshore CO 2 EOR Cost Model.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

Testing and Expertise for Marine Energy (TEAMER) Program Support - Numerical Modeling Assistance for iProTech's "PIP" WEC Device: Cooperative Research and Development Final Report, CRADA Number CRD-20-17303

Develop a time-domain, 3 degree of freedom numerical model of IProTech's PIP device, including power take-off (PTO), that can be used to develop control algorithms and establish a baseline technology performance level (TPL). This is important to IProTech because having a good numerical model allows IProTech to optimize design and control algorithms on an ongoing basis. A baseline TPL enables the PIP technology to be benchmarked against other wave energy converter (WEC) concepts, providing (i) justification (or not) for investment in wave tank model testing, (ii) identifying optimum design parameters and control algorithms for the test model, (iii) specifying test conditions and (iv) interpreting wave tank test results. An accredited WEC-Sim model of the PIP device is an essential tool for further development of the technology. 1) The development of numerical models of the PIP concept will enable iProTech to evaluate the potential performance of this concept, and to investigate how sensitive the device is to different variables within the system (e.g. hydraulic components, geometry dimensions, etc.) 2) The numerical models were developed with WEC-Sim and PTO-Sim -- the de-facto industry standard WEC numerical modeling tools. A detailed model of the system's hydraulic circuit was developed with PTO-Sim. However, WEC-Sim is based on linear hydrodynamics and has several limitations; validation against high fidelity models/physical scale models would help to build confidence in the results.

16 TIDAL AND WAVE POWER↗
NASA NTRS1980

Extended frequency turbofan model

The fan model was developed using two dimensional modeling techniques to add dynamic radial coupling between the core stream and the bypass stream of the fan. When incorporated into a complete TF-30 engine simulation, the fan model greatly improved compression system frequency response to planar inlet pressure disturbances up to 100 Hz. The improved simulation also matched engine stability limits at 15 Hz, whereas the one dimensional fan model required twice the inlet pressure amplitude to stall the simulation. With verification of the two dimensional fan model, this program formulated a high frequency F-100(3) engine simulation using row by row compression system characteristics. In addition to the F-100(3) remote splitter fan, the program modified the model fan characteristics to simulate a proximate splitter version of the F-100(3) engine.

Mason, J. R.↗
NASA NTRS1984

Manual of phosphoric acid fuel cell power plant cost model and computer program

Cost analysis of phosphoric acid fuel cell power plant includes two parts: a method for estimation of system capital costs, and an economic analysis which determines the levelized annual cost of operating the system used in the capital cost estimation. A FORTRAN computer has been developed for this cost analysis.

Lu, C. Y.↗