Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming 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 1,171 records · Page 65

Potential Cooling Energy Savings of Economizer Control and Artificial-Neural-Network-Based Air-Handling Unit Discharge Air Temperature Control for Commercial Building

Heating, ventilation, and air-conditioning (HVAC) systems play a significant role in building energy consumption, accounting for around 50% of total energy usage. As a result, it is essential to explore ways to conserve energy and improve HVAC system efficiency. One such solution is the use of economizer controls, which can reduce cooling energy consumption by using the free-cooling effect. However, there are various types of economizer controls available, and their effectiveness may vary depending on the specific climate conditions. To investigate the cooling energy-saving potential of economizer controls, this study employs a dry-bulb temperature-based economizer control approach. The dry-bulb temperature-based control strategy uses the outdoor air temperature as an indicator of whether free cooling can be used instead of mechanical cooling. This study also introduces an artificial neural network (ANN) prediction model to optimize the control of the HVAC system, which can lead to additional cooling energy savings. To develop the ANN prediction model, the EnergyPlus program is used for simulation modeling, and the Python programming language is employed for model development. The results show that implementing a temperature-based economizer control strategy can lead to a reduction of 7.6% in annual cooling energy consumption. Moreover, by employing an ANN-based optimal control of discharge air temperature in air-handling units, an additional 22.1% of cooling energy savings can be achieved. In conclusion, the findings of this study demonstrate that the implementation of economizer controls, especially the dry-bulb temperature-based approach, can be an effective strategy for reducing cooling energy consumption in HVAC systems. Additionally, using ANN prediction models to optimize HVAC system controls can further increase energy savings, resulting in improved energy efficiency and reduced operating costs.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Interactive plotting of NASTRAN data on microcomputers

A microcomputer based program has been developed to aid in the development of NASTRAN models. The program reads in the complete NASTRAN data deck, produces a diagnostic print file, and then allows the user to view the model in an interactive mode. The program runs on a wide variety of hardware by making use of the Virtual Device Interface.

Norton, Robert L.↗

Could a bioenergy program stimulate electric vehicle market penetration? Potential impacts of biogas to electricity annual rebate program

Abstract The biogas‐to‐electricity pathway under the Renewable Fuel Standard (RFS) allows for Renewable Identification Number (RIN) credits to be generated when electricity produced from biogas is used in the transportation sector. Though approved as a general pathway, EPA has proposed multiple credit allocation methods to functionalize this pathway. This study describes and evaluates a potential credit allocation framework where vehicle manufacturers generate electricity RIN (E‐RIN) credits and use these credits to increase the sales of plug‐in electric vehicles (PEVs). Under this framework, manufacturers use part of the credit value to reimburse electricity generators, offsetting potential higher biogas electricity generation cost. The remaining credit value is passed on to consumers as an annual PEV rebate to stimulate PEV sales. An iterative simulation framework is developed to fulfill two tasks: (a) to estimate the annual rebate amounts and their upfront value to consumers based on various factors, such as vehicle mileage, E‐RIN equivalence value, and biogas capacity, and (b) to evaluate potential impacts of the E‐RIN program on electrification of the future light‐duty vehicles (LDVs) and energy use. The annual rebate amount varies by vehicle technology and could be up to $870/year for battery electric vehicles (BEVs) and range between $230 and 825/year for plug‐in hybrid electric vehicles (PHEVs) depending on the electric range. These per vehicle rebates decrease when demand for electricity exceeds biogas electricity availability. The effectiveness of the program as modeled here is subject to different factors, such as the E‐RIN equivalence value, biogas electricity generation cost, biogas electricity generation capacity, and consumers’ valuation of the E‐RIN rebate. Our modeling results indicate that an E‐RIN program has the potential to produce nearly $12 billion in E‐RIN credits annually and to significantly increase PEV annual sales by up to 2.3 million and the PEV population by about 19.7 million in 2030.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Summary and Assessment of Metal Fuel Capabilities in Bison

The work described in this report was performed under funding from the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. This report is issued in satisfaction of the level 2 milestone M2MS-18IN0201012 on Release Bison with Initial Metallic Fuel Performance Capability. Metallic fuel development began in Bison a few years after light water reactor development began (~ 2009). The initial development was funded by the Advanced Fuels Campaign. With recent interest from industry, the Nuclear Regulatory Commission, and the Versatile Test Reactor program, the Nuclear Energy Modeling Simulation Program has increased funding for metallic fuel development and validation in FY18. The material models with the most mature development are binary uranium-zirconium and ternary uranium-plutonium-zirconium alloys for fuel and HT9 for cladding. The first material models were incorporated from open literature sources, which include mechanical and thermal material properties that are functions of temperature, porosity, and zirconium concentration, swelling, fission gas release, zirconium diffusion, creep, and sodium coolant channel boundary conditions. These material models have been utilized to simulate ERB-II fuel pins and the results compared to measurements. The EBR-II experiment measurements mostly consist of cladding strain and zirconium redistribution. As such, comparisons to EBR-II measurements are currently limited to these two figures of merit. Simulations and comparisons to experiment measurements have also been done for transient testing of EBR- II fuel pins in TREAT, which included temperature measurements. Preliminary comparisons between Bison calculations and experiment measurements are favorable. These comparisons have also highlighted the importance of the fuel swelling and fission gas release models on cladding strain. Also, Bison metallic fuel simulations are currently being run in support of ATR experiments and VTR exploratory design calculations. Further development and evaluation of individual material models and fuel system models are planned for FY19.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

User's instructions for the Grodins' respiratory control model using the UNIVAC 1110 remote batch and demand processing

The transient and steady state response of the respiratory control system for variations in volumetric fractions of inspired gases and special system parameters are modeled. The program contains the capability to change workload. The program is based on Grodins' respiratory control model and can be envisioned as a feedback control system comprised of a plant (the controlled system) and the regulating component (controlling system). The controlled system is partitioned into 3 compartments corresponding to lungs, brain, and tissue with a fluid interconnecting patch representing the blood.

Source record↗

Preliminary development of digital signal processing in microwave radiometers

Topics covered involve a number of closely related tasks including: the development of several control loop and dynamic noise model computer programs for simulating microwave radiometer measurements; computer modeling of an existing stepped frequency radiometer in an effort to determine its optimum operational characteristics; investigation of the classical second order analog control loop to determine its ability to reduce the estimation error in a microwave radiometer; investigation of several digital signal processing unit designs; initiation of efforts to develop required hardware and software for implementation of the digital signal processing unit; and investigation of the general characteristics and peculiarities of digital processing noiselike microwave radiometer signals.

Stanley, W. D.↗

Horizon sensor errors calculated by computer models compared with errors measured in orbit

Using a computer program to model the earth's horizon and to duplicate the signal processing procedure employed by the ESA (Earth Sensor Assembly), errors due to radiance variation have been computed for a particular time of the year. Errors actually occurring in flight at the same time of year are inferred from integrated rate gyro data for a satellite of the TIROS series of NASA weather satellites (NOAA-A). The predicted performance is compared with actual flight history.

Ward, K. A.↗

Verification of Numerical Algorithms

The following strategy is suggested for specification and proof: (1) Defer the construction of a formal program specification with respect to I/O assertions unit the correctness of the program with respect to an abstract mathematical model of program intent is demonstrated. (2) Prove that an abstract machine (using infinite precision arithmetic) would compute that object exactly. (3) Prove that the computational sequences of arithmetic operations that occur in the abstract machine must be precisely the same at every step as those occurring on an actual machine (with finite precision arithmetic), executing the same program. (4) Use a Verification Conditions VC-generator that knows about the semantics of arithmetic operations to annotate the program with assertions that bound (or in some circumstances estimate) the difference between the actual machine state variables and the corresponding ones of the abstract machine. Construct the formal program specification by combining the verification conditions into theorems about computational error that can be proved with mechanical assistance.

Source record↗

Automatic mathematical modeling for real time simulation program (AI application)

A methodology is described for automatic mathematical modeling and generating simulation models. The major objective was to create a user friendly environment for engineers to design, maintain, and verify their models; to automatically convert the mathematical models into conventional code for computation; and finally, to document the model automatically.

Wang, Caroline↗

Capillary Pumped Loop Modeler

Capillary Pumped Loop (CPL) Modeler computer program is amalgamation of software that mathematically models performance of CPL system and its environment. Two-phase heat-transport device capable of transferring heat loads efficiently over large distance with little temperature differential. Utilizes surface-tension forces established in fine-pore capillary wick to circulate working fluid, requiring no external pumpling power. Predicts steady-state or quasi-steady behavior of CPL embedded in spacecraft or other thermal environment. Also predicts location of liquid/vapor interface in each condenser. Written in VAX/VMS FORTAN 77.

Ku, Jentung↗

High temperature fatigue behavior of Haynes 188

The high temperature, creep-fatigue behavior of Haynes 188 was investigated as an element in a broader thermomechanical fatigue life prediction model development program at the NASA-Lewis. The models are still in the development stage, but the data that were generated possess intrinsic value on their own. Results generated to date is reported. Data were generated to characterize isothermal low cycle fatigue resistance at temperatures of 316, 704, and 927 C with cyclic failure lives ranging from 10 to more than 20,000. These results follow trends that would be predicted from a knowledge of tensile properties, i.e., as the tensile ductility varies with temperature, so varies the cyclic inelastic straining capacity. Likewise, as the tensile strength decreases, so does the high cyclic fatigue resistance. A few two-minute hold-time cycles at peak compressive strain were included in tests at 760 C. These results were obtained in support of a redesign effort for the Orbital Maneuverable System engine. No detrimental effects on cyclic life were noted despite the added exposure time for creep and oxidation. Finally, a series of simulated thermal fatigue tests, referred to as bithermal fatigue tests, were conducted using 316 C as the minimum and 760 C as the maximum temperature. Only out-of-phase bithermal tests were conducted to date. These test results are intended for use as input to a more general thermomechanical fatigue life prediction model based on the concepts of the total strain version of Strainrange Partitioning.

Halford, Gary R.↗

Hard x ray imaging graphics development and literature search

This report presents work performed between June 1990 and June 1991 and has the following objectives: (1) a comprehensive literature search of imaging technology and coded aperture imaging as well as relevant topics relating to solar flares; (2) an analysis of random number generators; and (3) programming simulation models of hard x ray telescopes. All programs are compatible with NASA/MSFC Space Science LAboratory VAX Cluster and are written in VAX FORTRAN and VAX IDL (Interactive Data Language).

Emslie, A. Gordon↗

Liquid propulsion turbomachinery model testing

For the past few years an extensive experimental program to understand the fluid dynamics of the Space Shuttle Main Engine hot gas manifold has been in progress. This program includes models of the Phase II and II+ manifolds for each of the air and water flow facilities, as well as two different turbine flow paths and two simulated power levels for each manifold. All models are full-scale (geometric). The water models are constructed partially of acrylic to allow flow visualization. The intent of this paper is to discuss the concept, including the test objectives, facilities, and models, and to summarize the data for an example configuration, including static pressure data, flow visualization, and the solution of a specific flow problem.

Mcdaniels, David M.↗

Modeling Flight: The Role of Dynamically Scaled Free-Flight Models in Support of NASA's Aerospace Programs

The state of the art in aeronautical engineering has been continually accelerated by the development of advanced analysis and design tools. Used in the early design stages for aircraft and spacecraft, these methods have provided a fundamental understanding of physical phenomena and enabled designers to predict and analyze critical characteristics of new vehicles, including the capability to control or modify unsatisfactory behavior. For example, the relatively recent emergence and routine use of extremely powerful digital computer hardware and software has had a major impact on design capabilities and procedures. Sophisticated new airflow measurement and visualization systems permit the analyst to conduct micro- and macro-studies of properties within flow fields on and off the surfaces of models in advanced wind tunnels. Trade studies of the most efficient geometrical shapes for aircraft can be conducted with blazing speed within a broad scope of integrated technical disciplines, and the use of sophisticated piloted simulators in the vehicle development process permits the most important segment of operations the human pilot to make early assessments of the acceptability of the vehicle for its intended mission. Knowledgeable applications of these tools of the trade dramatically reduce risk and redesign, and increase the marketability and safety of new aerospace vehicles. Arguably, one of the more viable and valuable design tools since the advent of flight has been testing of subscale models. As used herein, the term "model" refers to a physical article used in experimental analyses of a larger full-scale vehicle. The reader is probably aware that many other forms of mathematical and computer-based models are also used in aerospace design; however, such topics are beyond the intended scope of this document. Model aircraft have always been a source of fascination, inspiration, and recreation for humans since the earliest days of flight. Within the scientific community, Leonardo da Vinci, George Cayley, and the Wright brothers are examples of early aviation pioneers who frequently used models during their scientific efforts to understand and develop flying machines. Progress in the technology associated with model testing in worldwide applications has firmly established model aircraft as a key element in new aerospace research and development programs. Models are now routinely used in many applications and roles, including aerodynamic data gathering in wind tunnel investigations for the analysis of full-scale aircraft designs, proof-of-concept demonstrators for radical aeronautical concepts, and problem-solving exercises for vehicles already in production. The most critical contributions of aerospace models are to provide confidence and risk reduction for new designs and to enhance the safety and efficiency of existing configurations.

Chambers, Joseph↗

Using Runtime Analysis to Guide Model Checking of Java Programs

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs. Runtime analysis is based on the idea of executing the program once. and observing the generated run to extract various kinds of information. This information can then be used to predict whether other different runs may violate some properties of interest, in addition of course to demonstrate whether the generated run itself violates such properties. These runtime analyses can be performed stand-alone to generate a set of warnings. It is furthermore demonstrated how these warnings can be used to guide a model checker, thereby reducing the search space. The described techniques have been implemented in the b e grown Java model checker called PathFinder.

Havelund, Klaus↗

Computer program to solve two-dimensional shock-wave interference problems with an equilibrium chemically reacting air model

The computer program EASI, an acronym for Equilibrium Air Shock Interference, was developed to calculate the inviscid flowfield, the maximum surface pressure, and the maximum heat flux produced by six shock wave interference patterns on a 2-D, cylindrical configuration. Thermodynamic properties of the inviscid flowfield are determined using either an 11-specie, 7-reaction equilibrium chemically reacting air model or a calorically perfect air model. The inviscid flowfield is solved using the integral form of the conservation equations. Surface heating calculations at the impingement point for the equilibrium chemically reacting air model use variable transport properties and specific heat. However, for the calorically perfect air model, heating rate calculations use a constant Prandtl number. Sample calculations of the six shock wave interference patterns, a listing of the computer program, and flowcharts of the programming logic are included.

Glass, Christopher E.↗