Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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 793 records · Page 44
All sourcesNASA NTRSDOE OSTI
NASA NTRS1981

MEGA16 - Computer program for analysis and extrapolation of stress-rupture data

The computerized form of the minimum commitment method of interpolating and extrapolating stress versus time to failure data, MEGA16, is described. Examples are given of its many plots and tabular outputs for a typical set of data. The program assumes a specific model equation and then provides a family of predicted isothermals for any set of data with at least 12 stress-rupture results from three different temperatures spread over reasonable stress and time ranges. It is written in FORTRAN 4 using IBM plotting subroutines and its runs on an IBM 370 time sharing system.

Ensign, C. R.↗
NASA NTRS1990

Software environment for implementing engineering applications on MIMD computers

In this paper the concept for a software environment for developing engineering application systems for multiprocessor hardware (MIMD) is presented. The philosophy employed is to solve the largest problems possible in a reasonable amount of time, rather than solve existing problems faster. In the proposed environment most of the problems concerning parallel computation and handling of large distributed data spaces are hidden from the application program developer, thereby facilitating the development of large-scale software applications. Applications developed under the environment can be executed on a variety of MIMD hardware; it protects the application software from the effects of a rapidly changing MIMD hardware technology.

Lopez, L. A.↗
NASA NTRS1996

Performance Evaluation of Communication Software Systems for Distributed Computing

In recent years there has been an increasing interest in object-oriented distributed computing since it is better quipped to deal with complex systems while providing extensibility, maintainability, and reusability. At the same time, several new high-speed network technologies have emerged for local and wide area networks. However, the performance of networking software is not improving as fast as the networking hardware and the workstation microprocessors. This paper gives an overview and evaluates the performance of the Common Object Request Broker Architecture (CORBA) standard in a distributed computing environment at NASA Ames Research Center. The environment consists of two testbeds of SGI workstations connected by four networks: Ethernet, FDDI, HiPPI, and ATM. The performance results for three communication software systems are presented, analyzed and compared. These systems are: BSD socket programming interface, IONA's Orbix, an implementation of the CORBA specification, and the PVM message passing library. The results show that high-level communication interfaces, such as CORBA and PVM, can achieve reasonable performance under certain conditions.

Fatoohi, Rod↗
NASA NTRS1998

General Aviation Light Aircraft Propulsion: From the 1940's to the Next Century

Current general aviation light aircraft are powered by engines that were originally designed in the 1940's. This paper gives a brief history of light aircraft engine development, explaining why the air-cooled, horizontally opposed piston engine became the dominant engine for this class of aircraft. Current engines are fairly efficient, and their designs have been updated through the years, but their basic design and operational characteristics are archaic in comparison to modem engine designs, such as those used in the automotive industry. There have been some innovative engine developments, but in general they have not been commercially successful. This paper gives some insight into the reasons for this lack of success. There is now renewed interest in developing modem propulsion systems for light aircraft, in the fore-front of which is NASA's General Aviation Propulsion (GAP) program. This paper gives an overview of the engines being developed in the GAP program, what they will mean to the general aviation community, and why NASA and its industry partners believe that these new engine developments will bring about a new era in general aviation light aircraft.

Burkardt, Leo A.↗
NASA NTRS2000

International Space Station Sustaining Engineering: A Ground-Based Test Bed for Evaluating Integrated Environmental Control and Life Support System and Internal Thermal Control System Flight Performance

As the International Space Station's (ISS) various habitable modules are placed in service on orbit, the need to provide for sustaining engineering becomes increasingly important to ensure the proper function of critical onboard systems. Chief among these are the Environmental Control and Life Support System (ECLSS) and the Internal Thermal Control System (ITCS). Without either, life onboard the ISS would prove difficult or nearly impossible. For this reason, a ground-based ECLSS/ITCS hardware performance simulation capability has been developed at NASA's Marshall Space Flight Center. The ECLSS/ITCS Sustaining Engineering Test Bed will be used to assist the ISS Program in resolving hardware anomalies and performing periodic performance assessments. The ISS flight configuration being simulated by the test bed is described as well as ongoing activities related to its preparation for supporting ISS Mission 5A. Growth options for the test facility are presented whereby the current facility may be upgraded to enhance its capability for supporting future station operation well beyond Mission 5A. Test bed capabilities for demonstrating technology improvements of ECLSS hardware are also described.

Ray, Charles D.↗
NASA NTRS2000

Air, Ocean and Climate Monitoring Enhancing Undergraduate Training in the Physical, Environmental and Computer Sciences

Faculty in the Department of Physical, Environmental and Computer Sciences strongly believe in the concept that undergraduate research and research-related activities must be integrated into the fabric of our undergraduate Science and Technology curricula. High level skills, such as problem solving, reasoning, collaboration and the ability to engage in research, are learned for advanced study in graduate school or for competing for well paying positions in the scientific community. One goal of our academic programs is to have a pipeline of research activities from high school to four year college, to graduate school, based on the GISS Institute on Climate and Planets model.

Hope, W. W.↗
NASA NTRS2003

Case for Deploying Complex Systems Utilizing Commodity Components

When the International Space Station (ISS) finally reached an operational state, many of the Payload Operations and Integration Facility (POIF) hardware components were reaching end of life, COTS product costs were soaring, and the ISS budget was becoming severely constrained. However, most requirement development was complete. In addition, the ISS program is a fully functioning program with at least fifteen years of operational life remaining. Therefore it is critical that any upgrades, refurbishments, or enhancements be accomplished in realtime with minimal disruptions to service. For these and other reasons, it was necessary to ensure the viability of the POIF. Due to the to the breadth of capability of the POIF (a NASA ground station), it is believed that the lessons to be learned by other complex systems are applicable and any solutions garnered by the POIF are applicable to other complex systems as well. With that in mind, a number of new approaches have been investigated to increase the portability of the POIF and reduce the cost of refurbishment, operations, and maintenance. These new approaches were directed at the Total Cost of Ownership (TCO); not only the refurbishment but also current operational difficulties, licensing, and anticipation of the next refurbishment. Our basic premise is that technology had evolved dramatically since the concept of the POIF ground system and we should leverage our experience on this new technological landscape. Fortunately, Moore's law and market forces have changed the landscape considerably. These changes are manifest in five (5) ways that are particularly relevant to POIF: 1. Complex Instruction Set Computing (CISC) processors have advanced to unprecedented levels of compute capacity with a dramatic cost break, 2. Linux has become a major operating system supported by most vendors on a broad range of platforms, 3. Windows(TradeMark) based desktops are pervasive in the office environment, 4. Stable and affordable WindowsTM development environments and tools are available and offer a rich set of capabilities, 5. The WindowsTM 2000 provides a stable client platform, Therefore, five studies were proposed, developed, and are in the current process of deployment which dramatically reduces the cost of operations, maintenance, refurbishment, and deployment of a ground system. Restating and refining the basic premise stated earlier, it is possible to enhance operations through the replacement of hardware and software components with commodity based items wherever applicable. This will dramatically reduce the overall lifecycle cost of the project. The first study leveraged the POIF S secure, three-tier, web architecture to replace the client workstations with lower cost PC platforms. A second study initiated a review of COTS products to examine the level of added value of each product. This study included replacement of some COTS products with custom code, deletions, substitutions, and consolidation of COTS products. Studies three and four reviewed the server architectures of the data distribution systems and Enhanced HOSC System (EHS) command and telemetry system to propose migration to new platforms, both software and hardware. The final study reviewed current IP communication technologies, developed an operational model for flight operations, and demonstrated that voice over IP was practical and could be integrated into operations.

Bryant, Barry S.↗
NASA NTRS2005

Putting EVM to the Test

IN MANY INSTANCES THERE IS NO FOREWARNING; SCHEDULES slip, costs soar, and the project manager is faced with the near impossible task of explaining why each impact occurred. With contractors performing the majority of the work, the management job can become even more obscure. The simple lack of proximity to the contractor can limit effective communication. Add to that a mixture of cultural differences and a desire for the contractor to portray the most optimistic view of their performance, and you create an even more difficult task for the project manager. This was the scenario when the Habitat Holding Rack (HHR) manager at Marshall Space Flight Center (MSFC), Stacy Counts, was introduced to the overall concept of Earned Value Management (EVM). Faced with increased costs (which eventually resulted in decreased scope of the project), continued schedule slides, and several technical anomalies, she was looking for a way to gain a better handle on the project performance. As a component of the Space Station Biological Research Program (SSBRP), the HHR project is an integral piece of the Program content. The HHR is the first rack hardware to be delivered for the Program and has therefore been the first rack to move through the trials of test and verification-documenting anomalies and technical difficulties that will benefit the other SSBRP rack projects. For these reasons, the HHR maintained high visibility throughout the manufacturing and assembly process, continuing through test and verification activities. Needless to say, the higher visibility emphasized the need for improved performance on this project. And to improve project performance, Stacy first had to figure out how to measure the cost, schedule and technical objectives effectively.

Kerby, Jerald↗
DOE OSTI2022

Human Performance Analysis Depending on Operator Expertise (Student vs. Operator) and Simulator Complexity (Rancor Microworld vs. Compact Nuclear Simulator)

Human reliability analysis (HRA) evaluates human errors and provides human error probabilities (HEPs) for application in probabilistic safety assessment (PSA), which is a comprehensive safety assessment method for nuclear power plants (NPPs). Generally, HRA methods estimate HEPs based on human reliability data collected from actual historical measurement, simulator experiments, or expert judgement. Most recent HRA data collection studies focus on collecting data via full-scope main control room (MCR) simulators with actual licensed reactor operators. Contrary to this, Idaho National Laboratory (INL) has adopted a different approach, which attempts to collect HRA data based on experiment using simplified simulators and student participants by following the Simplified Human Error Experimental Program (SHEEP). This approach has a couple of advantages compared to full-scope data collection. Representatively, it has relatively low entry point for collecting HRA data, and secures large sample sizes with reasonable cost and labor. In the previous studies, we developed the SHEEP framework, then verified whether the data collected through the framework could support a representative full-scope data collection study, i.e., the Human Reliability Data Extraction (HuREX) study. Also, we analyzed human performance measurements depending on participant type (i.e., student vs. operator). In this paper, we analyze human performance data collected from an experiment comparing operator expertise and simulator complexity when using the more simplified simulator developed by INL, i.e., Rancor Microworld and the less simplified simulator, i.e., Compact Nuclear Simulator (CNS) developed by Korea Atomic Energy Research Institute (KAERI). Analysis of variance (ANOVA) tests and correlation analysis are used for analyzing the experimental data.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2020

Advances in Resin Management Using 3R-Scan - 20154

The most important factor underlying optimal waste management is developing a clear picture of the radioactivity content of the waste and its impact on waste disposal cost. For over 35 years since the publishing of 10CFR61, waste characterization has relied on sampling the final waste product after formation. In the days following 10CFR61, the cost of final disposal was marginal with only a small impact on the overall costs. Constraints were added by provisions of the Low Level Waste Policy Act of 1985 leading to increasingly limited access to those disposal sites that remained available. In addition, Nuclear Regulatory Commission (NRC) pressure promoting waste volume reduction led to disposal costs inevitably rising. Despite this, characterization practices in monitoring of waste generation for activity content still center on the same dated processes. This results in a disposal classification on the basis of endpoint sampling without consideration of the homogeneity of the waste mixture. It can also disregard consideration of the representativeness of the single or small sample base. As a minimum effort, a formalized sampling program of a fixed grouping of waste streams can be implemented that could account for more than 95% of all of the activity carried in solid waste products. The sample results for each radionuclide could then be trended as time passes to develop reasonable scaling factors for difficult to measure radionuclides. This process, identified in NRC guidance, has been rigorously followed by a relatively small number of facilities. The trended scaling factors serve to improve accuracy by identifying anomalous results that could otherwise go undetected. Direct monitoring of the accumulation of activity in process streams generating solid radwaste, including demineralizers and filter streams, is a more precise approach. Nearly all of these streams are monitored by plant chemistry on a regular schedule to maintain water quality. This paper discusses viable options for developing the basis for characterization through process monitoring of the accumulation of activity at the point of generation. Special focus is on resin bed tracking and how process knowledge of these streams can be brought together to form a consistent and precise solid waste radioactivity inventory. Some of the specific points covered in this paper include the merger of the fission product release computer program, 3R-STAT, with the radwaste sample analysis computer program, SCAN4 to create 3R-SCAN, the importance of individual waste stream influences on the overall source term, and the use of historic sample data to develop scaling factors using an automated process. (authors)

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

Towards On-Chip Learning for Low Latency Reasoning with End-to-End Synthesis

The Software Defined Architectures (SODA) Synthesizer is an open-source compiler-based tool able to automatically generate domain-specialized systems targeting Application-Specific Integrated Circuits (ASICs) or Field Programmable Gate Arrays (FPGAs) starting from high-level programming. SODA is composed of a frontend, SODA-OPT, which leverages the multilevel intermediate representation (MLIR) framework to interface with productive programming tools (e.g., machine learning frame-works), identify kernels suitable for acceleration, and perform high-level optimizations, and of a state-of-the-art high-level synthesis backend, Bambu from the PandA framework, to generate custom accelerators. One specific application of the SODA Synthesizer is the generation of accelerators to enable ultra-low latency inference and control on autonomous systems for scientific discovery (e.g., electron microscopes, sensors in particle accelerators, etc.). This paper provides an overview of the flow in the context of the generation of accelerators for edge processing to be integrated in transmission electron microscopy (TEM) devices, focusing on use cases from precision material synthesis. We show the tool in action with an example of design space exploration for inference on reconfigurable devices with a conventional deep neural network model (LeNet). Finally, we discuss the research directions and opportunities enabled by SODA in the area of autonomous control for scientific experimental workflows.

Castellana, Vito G.↗
DOE OSTI2019

ROBOT: A Tool for Automating Ontology Workflows

BACKGROUND:Ontologies are invaluable in the life sciences, but building and maintaining ontologies often requires a challenging number of distinct tasks such as running automated reasoners and quality control checks, extracting dependencies and application-specific subsets, generating standard reports, and generating release files in multiple formats. Similar to more general software development, automation is the key to executing and managing these tasks effectively and to releasing more robust products in standard forms. For ontologies using the Web Ontology Language (OWL), the OWL API Java library is the foundation for a range of software tools, including the Protégé ontology editor. In the Open Biological and Biomedical Ontologies (OBO) community, we recognized the need to package a wide range of low-level OWL API functionality into a library of common higher-level operations and to make those operations available as a command-line tool. RESULTS:ROBOT (a recursive acronym for "ROBOT is an OBO Tool") is an open source library and command-line tool for automating ontology development tasks. The library can be called from any programming language that runs on the Java Virtual Machine (JVM). Most usage is through the command-line tool, which runs on macOS, Linux, and Windows. ROBOT provides ontology processing commands for a variety of tasks, including commands for converting formats, running a reasoner, creating import modules, running reports, and various other tasks. These commands can be combined into larger workflows using a separate task execution system such as GNU Make, and workflows can be automatically executed within continuous integration systems. CONCLUSIONS:ROBOT supports automation of a wide range of ontology development tasks, focusing on OBO conventions. It packages common high-level ontology development functionality into a convenient library, and makes it easy to configure, combine, and execute individual tasks in comprehensive, automated workflows. This helps ontology developers to efficiently create, maintain, and release high-quality ontologies, so that they can spend more time focusing on development tasks. It also helps guarantee that released ontologies are free of certain types of logical errors and conform to standard quality control checks, increasing the overall robustness and efficiency of the ontology development lifecycle.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
DOE OSTI2021

Development of Quantum Interconnects (QuICs) for Next-Generation Information Technologies

Just as “classical” information technology rests on a foundation built of interconnected information-processing systems, quantum information technology (QIT) must do the same. A critical component of such systems is the “interconnect,” a device or process that allows transfer of information between disparate physical media, for example, semiconductor electronics, individual atoms, light pulses in optical fiber, or microwave fields. While interconnects have been well engineered for decades in the realm of classical information technology, quantum interconnects (QuICs) present special challenges, as they must allow the transfer of fragile quantum states between different physical parts or degrees of freedom of the system. The diversity of QIT platforms (superconducting, atomic, solid-state color center, optical, etc.) that will form a “quantum internet” poses additional challenges. As quantum systems scale to larger size, the quantum interconnect bottleneck is imminent, and is emerging as a grand challenge for QIT. For these reasons, it is the position of the community represented by participants of the NSF workshop on “Quantum Interconnects” that accelerating QuIC research is crucial for sustained development of a national quantum science and technology program. Given the diversity of QIT platforms, materials used, applications, and infrastructure required, a convergent research program including partnership between academia, industry, and national laboratories is required.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2015

Robustness of Meteorological Droughts in Dynamically Downscaled Climate Simulations

Abstract We examine the robustness of a suite of regional climate models (RCMs) in simulating meteorological droughts and associated metrics in present‐day climate (1971‐2003) over the conterminous United States (U.S.). The RCMs that are part of North American Regional Climate Change Assessment Program (NARCCAP) simulations are compared with multiple observations over the climatologically homogeneous regions of the U.S. The seasonal precipitation, climatology, drought attributes, and trends have been assessed. The reanalysis‐based multi‐model median RCM reasonably simulates observed statistical attributes of drought and the regional detail due to topographic forcing. However, models fail to simulate significant drying trend over the Southwest and West. Further, reanalysis‐based NARCCAP runs underestimate the observed drought frequency overall, with the exception of the Southwest; whereas they underestimate persistence in the drought‐affected areas over the Southwest and West‐North Central regions. However, global climate model‐driven NARCCAP ensembles tend to overestimate regional drought frequencies. Models exhibit considerable uncertainties while reproducing meteorological drought statistics, as evidenced by a general lack of agreement in the Hurst exponent, which in turn controls drought persistence. Water resources managers need to be aware of the limitations of current climate models, while regional climate modelers may want to fine‐tune their parameters to address impact‐relevant metrics.

Ganguli, Poulomi↗
DOE OSTI2012

Elimination of the Characterization of DWPF Pour Stream Sample and the Glass Fabrication and Testing of the DWPF Sludge Batch Qualification Sample

A recommendation to eliminate all characterization of pour stream glass samples and the glass fabrication and Product Consistency Test (PCT) of the sludge batch qualification sample was made by a Six-Sigma team chartered to eliminate non-value-added activities for the Defense Waste Processing Facility (DWPF) sludge batch qualification program and is documented in the report SS-PIP-2006-00030. That recommendation was supported through a technical data review by the Savannah River National Laboratory (SRNL) and is documented in the memorandums SRNL-PSE-2007-00079 and SRNL-PSE-2007-00080. At the time of writing those memorandums, the DWPF was processing sludge-only waste but, has since transitioned to a coupled operation (sludge and salt). The SRNL was recently tasked to perform a similar data review relevant to coupled operations and re-evaluate the previous recommendations. This report evaluates the validity of eliminating the characterization of pour stream glass samples and the glass fabrication and Product Consistency Test (PCT) of the sludge batch qualification samples based on sludge-only and coupled operations. The pour stream sample has confirmed the DWPF's ability to produce an acceptable waste form from Slurry Mix Evaporator (SME) blending and product composition/durability predictions for the previous sixteen years but, ultimately the pour stream analysis has added minimal value to the DWPF's waste qualification strategy. Similarly, the information gained from the glass fabrication and PCT of the sludge batch qualification sample was determined to add minimal value to the waste qualification strategy since that sample is routinely not representative of the waste composition ultimately processed at the DWPF due to blending and salt processing considerations. Moreover, the qualification process has repeatedly confirmed minimal differences in glass behavior from actual radioactive waste to glasses fabricated from simulants or batch chemicals. In contrast, the variability study has significantly added value to the DWPF's qualification strategy. The variability study has evolved to become the primary aspect of the DWPF's compliance strategy as it has been shown to be versatile and capable of adapting to the DWPF's various and diverse waste streams and blending strategies. The variability study, which aims to ensure durability requirements and the PCT and chemical composition correlations are valid for the compositional region to be processed at the DWPF, must continue to be performed. Due to the importance of the variability study and its place in the DWPF's qualification strategy, it will also be discussed in this report. An analysis of historical data and Production Records indicated that the recommendation of the Six Sigma team to eliminate all characterization of pour stream glass samples and the glass fabrication and PCT performed with the qualification glass does not compromise the DWPF's current compliance plan. Furthermore, the DWPF should continue to produce an acceptable waste form following the remaining elements of the Glass Product Control Program; regardless of a sludge-only or coupled operations strategy. If the DWPF does decide to eliminate the characterization of pour stream samples, pour stream samples should continue to be collected for archival reasons, which would allow testing to be performed should any issues arise or new repository test methods be developed.

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

A Photovoltaic System Payback Calculator

The Roof Asset Management Program (RAMP) is a DOE NNSA initiative to manage roof repairs and replacement at NNSA facilities. In some cases, installation of a photovoltaic system on new roofs may be possible and desired for financial reasons and to meet federal renewable energy goals. One method to quantify the financial benefits of PV systems is the payback period, or the length of time required for a PV system to generate energy value equivalent to the system's cost. Sandia Laboratories created a simple spreadsheet-based solar energy valuation tool for use by RAMP personnel to quickly evaluate the estimated payback period of prospective or installed photovoltaic systems.

14 SOLAR ENERGY↗
DOE OSTI2022

Defining Wind Energy Experience

Since 2015, the U.S. wind installed capacity has grown from 73 to over 120 gigawatts, creating jobs across many sectors and educational levels. The growth of the wind workforce will need to continue to meet the goal of 20% wind by 2030, as well as the Biden administration's goals to reduce greenhouse gas pollution by 2030, reach 100% carbon-free electricity by 2035, and achieve net-zero greenhouse gas emissions no later than 2050. Despite the needed and anticipated growth, there are challenges to meeting this demand. Research has consistently shown that it has been a challenge finding qualified applicants for open wind industry jobs. Between 2012 and 2018, the difficulty of finding qualified applicants increased from 62% to 68% according to industry respondents. In 2017, educational institutions and training programs reported that 67% of their students did not enter the wind energy industry. Research conducted in 2020 showed that 83% of interested workers had some or great difficulty finding job opportunities. In exploring reasons for this gap, the researchers found that challenges were primarily influenced by education, experience, and geography. This difficulty for wind industry employers, educational institutions, and the potential workforce is known as the "wind energy workforce gap." This report further investigates the experience aspect of this gap.

17 WIND ENERGY↗
NASA NTRS1977

Discrete time modeling of heavy transport plane pilot behavior

The desire to improve flight safety leads to a classification of various flight troubles in three groups: (1) troubles from sensitivity to flight disturbances, (2) maneuverability troubles (whenever a correction maneuver induces an unexpected deviation on another parameter), and (3) pilot troubles (pilot overload when required attention is excessive or underload entailing a loss of vigilance). Sensitivity to disturbances and maneuverability of a given aircraft may be evaluated from the early design stage. Evaluation of the pilot behavior, however, may be realized only in actual flight or with a flight simulator, that is quite late in the development period. For this reason, it is desirable to have available, at the design stage, a model of the pilot behavior to command the differential system describing the envisioned aircraft. This aim implies two major requirements. First, the program must be compatible with a wide range of possible aircraft designs; ideally, the program should be self-learning. Second, mental load and overall pilot performance must be modeled.

Cavalli, D.↗