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 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

A Module Language for Typing by Contracts

Assume-guarantee reasoning is a popular and expressive paradigm for modular and compositional specification of programs. It is becoming a fundamental concept in some computer-aided design tools for embedded system design. In this paper, we elaborate foundations for contract-based embedded system design by proposing a general-purpose module language based on a Boolean algebra allowing to define contracts. In this framework, contracts are used to negotiate the correctness of assumptions made on the definition of a component at the point where it is used and provides guarantees to its environment. We illustrate this presentation with the specification of a simplified 4-stroke engine model.

Glouche, Yann↗
NASA NTRS2011

Design Considerations for a Launch Vehicle Development Flight Instrumentation System

When embarking into the design of a new launch vehicle, engineering models of expected vehicle performance are always generated. While many models are well established and understood, some models contain design features that are only marginally known. Unfortunately, these analytical models produce uncertainties in design margins. The best way to answer these analytical issues is with vehicle level testing. The National Aeronautics and Space Administration respond to these uncertainties by using a vehicle level system called the Development Flight Instrumentation, or DFI. This DFI system can be simple to implement, with only a few measurements, or it may be a sophisticated system with hundreds of measurement and video, without a recording capability. From experience with DFI systems, DFI never goes away. The system is renamed and allowed to continue, in most cases. Proper system design can aid the transition to future data requirements. This paper will discuss design features that need to be considered when developing a DFI system for a launch vehicle. It will briefly review the data acquisition units, sensors, multiplexers and recorders, telemetry components and harnessing. It will present a reasonable set of requirements which should be implemented in the beginning of the program in order to start the design. It will discuss a simplistic DFI architecture that could be the basis for the next NASA launch vehicle. This will be followed by a discussion of the "experiences gained" from a past DFI system implementation, such as the very successful Ares I-X test flight. Application of these design considerations may not work for every situation, but they may direct a path toward success or at least make one pause and ask the right questions.

Johnson, Martin L.↗
NASA NTRS2014

Analyzing Risks and Vulnerabilities of Various Computer Systems and Undergoing Exploitation using Embedded Devices

Security is one of the most if not the most important areas today. After the several attacks on the United States, security everywhere has heightened from airports to communication among the military branches legionnaires. With advanced persistent threats (APTs) on the rise following Stuxnet, government branches and agencies are required, more than ever, to follow several standards, policies and procedures to reduce the likelihood of a breach. Attack vectors today are very advanced and are going to continue to get more and more advanced as security controls advance. This creates a need for networks and systems to be in an updated, patched and secured state in a launch control system environment. Attacks on critical systems are becoming more and more relevant and frequent. Nation states are hacking into critical networks that might control electrical power grids or water dams as well as carrying out advanced persistent threat (APTs) attacks on government entities. NASA, as an organization, must protect its self from attacks from all different types of attackers with different motives. Although the International Space Station was created, there is still competition between the different space programs. With that in mind, NASA might get attacked and breached for various reasons such as espionage or sabotage. My project will provide a way for NASA to complete an in house penetration test which includes: asset discovery, vulnerability scans, exploit vulnerabilities and also provide forensic information to harden systems. Completing penetration testing is a part of the compliance requirements of the Federal Information Security Act (FISMA) and NASA NPR 2810.1 and related NASA Handbooks. This project is to demonstrate how in house penetration testing can be conducted that will satisfy all of the compliance requirements of the National Institute of Standards and Technology (NIST), as outlined in FISMA. By the end of this project, I hope to have carried out the tasks stated above as well as gain an immense knowledge about compliance, security tools, networks and network devices, as well as policies and procedures.

Penetration Testing↗
NASA NTRS1980

Influence of Microstructure on the Fatigue Crack Growth of A516 in Hydrogen

Some day hydrogen may be used as a viable energy storage and transport medium within the United States. Hydrogen gas may be used to dilute and extend our present methane supply as a blend or may even be used in its pure elemental form as a primary fuel. Independent of the methods of production, storage, and distribution, the interaction of hydrogen with its containment material will play an integral role in the success of a hydrogen energy program. Presently, the selection of hydrogen containment materials can be made such that the material will remain reasonably free from environmental degradation; however, costly alloying additions are required. Unfortunately, high alloy steels are economically prohibitive when large-scale hydrogen energy storage, transmission, and conversion systems are desired. Therefore, in order to implement such hydrogen energy systems in the future, existing low-cost materials must be improved via mechanical, thermal, or thermo-mechanical processing methods or new low-cost materials which are compatible with hydrogen must be developed. Originally, low strength, low alloy steels at room temperature were thought to be immune to hydrogen gas embrittlement, since no sustained load crack growth is observed. However, results of Clark in HY8O and Nelson in SAE 1020 have shown that the fatigue crack growth rate can be greatly accelerated in the presence of hydrogen gas. In recent results reported by Louthan and Mucci, the smooth bar fatigue life of an A1068 pipeline steel was reduced up to a factor of ten when the tests were performed in a 13.8 MPa hydrogen environment. These results suggest that the selection of material for structures designed to operate in hydrogen under cyclic loads must include consideration of hydrogen/metal fatigue interaction. Although the hydrogen/metal fatigue interaction can be severe in low strength low alloy steels, the degree of degradation may be altered by the underlying ferrous microstructure. At present, no correlation between microstructure and degree of hydrogen susceptibility exists for low strength steels. However, in high strength steels, susceptibility to hydrogen embrittlement has been shown to be strongly sensitive to the metallurgical microstructure. In addition, compositional effects and grain size can 703 Some day hydrogen may be used as a viable energy storage and transport medium within the United States. Hydrogen gas may be used to dilute and extend our present methane supply as a blend or may even be used in its pure elemental form as a primary fuel. Independent of the methods of production, storage, and distribution, the interaction of hydrogen with its containment material will play an integral role in the success of a hydrogen energy program. Presently, the selection of hydrogen containment materials can be made such that the material will remain reasonably free from environmental degradation; however, costly alloying additions are required. Unfortunately, high alloy steels are economically prohibitive when large-scale hydrogen energy storage, transmission, and conversion systems are desired. Therefore, in order to implement such hydrogen energy systems in the future, existing low-cost materials must be improved via mechanical, thermal, or thermo-mechanical processing methods or new low-cost materials which are compatible with hydrogen must be developed.

Wachob, Harry F.↗
NASA NTRS1998

GSFC Cutting Edge Avionics Technologies for Spacecraft

With the launch of NASA's first fiber optic bus on SAMPEX in 1992, GSFC has ushered in an era of new technology development and insertion into flight programs. Predating such programs the Lewis and Clark missions and the New Millenium Program, GSFC has spearheaded the drive to use cutting edge technologies on spacecraft for three reasons: to enable next generation Space and Earth Science, to shorten spacecraft development schedules, and to reduce the cost of NASA missions. The technologies developed have addressed three focus areas: standard interface components, high performance processing, and high-density packaging techniques enabling lower cost systems. To realize the benefits of standard interface components GSFC has developed and utilized radiation hardened/tolerant devices such as PCI target ASICs, Parallel Fiber Optic Data Bus terminals, MIL-STD-1773 and AS1773 transceivers, and Essential Services Node. High performance processing has been the focus of the Mongoose I and Mongoose V rad-hard 32-bit processor programs as well as the SMEX-Lite Computation Hub. High-density packaging techniques have resulted in 3-D stack DRAM packages and Chip-On-Board processes. Lower cost systems have been demonstrated by judiciously using all of our technology developments to enable "plug and play" scalable architectures. The paper will present a survey of development and insertion experiences for the above technologies, as well as future plans to enable more "better, faster, cheaper" spacecraft. Details of ongoing GSFC programs such as Ultra-Low Power electronics, Rad-Hard FPGAs, PCI master ASICs, and Next Generation Mongoose processors.

Luers, Philip J.↗
NASA NTRS2011

The Applied Meteorology Unit: Nineteen Years Successfully Transitioning Research Into Operations for America's Space Program

The Applied Meteorology Unit (AMU) provides technology development and transition services to improve operational weather support to America's space program . The AMU was founded in 1991 and operates under a triagency Memorandum of Understanding (MOU) between the National Aeronautics and Space Administration (NASA), the United States Air Force (USAF) and the National Weather Service (NWS) (Ernst and Merceret, 1995). It is colocated with the 45th Weather Squadron (45WS) at Cape Canaveral Air Force Station (CCAFS) and funded by the Space Shuttle Program . Its primary customers are the 45WS, the Spaceflight Meteorology Group (SMG) operated for NASA by the NWS at the Johnson Space Center (JSC) in Houston, TX, and the NWS forecast office in Melbourne, FL (MLB). The gap between research and operations is well known. All too frequently, the process of transitioning research to operations fails for various reasons. The mission of the AMU is in essence to bridge this gap for America's space program.

Madura, John T.↗
NASA NTRS2013

Effects of the 8 psia / 32% O2 Atmosphere on the Human in the Spaceflight Environment

Extravehicular activity (EVA) is at the core of a manned space exploration program. There are elements of exploration that may be safely and effectively performed by robots, but there are critical elements of exploration that will require the trained, assertive, and reasoning mind of a human crewmember. To effectively use these skills, NASA needs a safe, effective, and efficient EVA component integrated into the human exploration program. The EVA preparation time should be minimized and the suit pressure should be low to accommodate EVA tasks without undue fatigue, physical discomfort, or suit-related trauma. Commissioned in 2005, the Exploration Atmospheres Working Group (EAWG) had the primary goal of recommending to NASA an internal environment that allowed efficient and repetitive EVAs for missions that were to be enabled by the former Constellation Program. At the conclusion of the EAWG meeting, the 8.0 psia and 32% oxygen (O2) environment were recommended for EVA intensive phases of missions. As a result of selecting this internal environment, NASA gains the capability for efficient EVA with low risk of decompression sickness (DCS), but not without incurring additional negative stimulus of hypobaric hypoxia to the already physiologically challenging spaceflight environment. This paper provides a literature review of the human health and performance risks associated with the 8 psia/32% O2 environment. Of most concern are the potential effects on the central nervous system including increased intracranial pressure, visual impairment, sensorimotor dysfunction, and oxidative damage. Other areas of focus include validation of the DCS mitigation strategy, incidence and treatment of acute mountain sickness (AMS), development of new exercise countermeasures protocols, effective food preparation at 8 psia, assurance of quality sleep, and prevention of suit-induced injury. As a first effort, the trade space originally considered in the EAWG was re-evaluated looking for ways to decrease the hypoxic dose by further enriching the O2% or increasing the pressure. After discussion with the NASA engineering and materials community, it was determined that the O2 could be enriched from 32% to 34% and the pressure increased from 8.0 to 8.2 psia without significant penalty. These two small changes increase alveolar O2 pressure by 11 mmHg, which is expected to significantly benefit crewmembers. The 8.2/34 environment (inspired O2 pressure = 128 mmHg) is also physiologically equivalent to the staged decompression atmosphere of 10.2 psia / 26.5% O2 (inspired O2 pressure = 127 mmHg) used on 34 different shuttle missions for approximately a week each flight. Once decided, the proposed internal environment, if different than current experience, should be evaluated through appropriately simulated research studies. In many cases, the human physiologic concerns can be investigated effectively through integrated multi-discipline ground-based studies. Although missions proposing to use an 8.2/34 environment are still years away, it is recommended that these studies begin early enough to ensure that the correct decisions pertaining to vehicle design, mission operational concepts, and human health countermeasures are appropriately informed.

Environmental control↗
NASA NTRS1993

Agent oriented programming: An overview of the framework and summary of recent research

This is a short overview of the agent-oriented programming (AOP) framework. AOP can be viewed as an specialization of object-oriented programming. The state of an agent consists of components called beliefs, choices, capabilities, commitments, and possibly others; for this reason the state of an agent is called its mental state. The mental state of agents is captured formally in an extension of standard epistemic logics: beside temporalizing the knowledge and belief operators, AOP introduces operators for commitment, choice and capability. Agents are controlled by agent programs, which include primitives for communicating with other agents. In the spirit of speech-act theory, each communication primitive is of a certain type: informing, requesting, offering, etc. This document describes these features in more detail and summarizes recent results and ongoing AOP-related work.

Shoham, Yoav↗
DOE OSTI2014

Synergies Between Wind and Solar Generation and Demand Response: An IEA Task 25 Collaboration

Recent years have seen the interest in demand response increase, in academia and in industry, for both large scale demands and aggregated domestic demands. A number of power systems have established demand response programs in energy, ancillary services and capacity markets, while many are currently undertaking system specific customizations. One of the key reasons for the burgeoning interest in demand response lies in its ability to enhance variable renewable penetration levels, through the provision of flexibility, wind/solar curtailment reduction and other system ancillary services. This paper will review and evaluate various demand response studies, projects and programs from different countries, examining the synergies with renewables integration, also identify some of the main barriers which exist to the deployment of such demand response at greater scale.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2022

Evaluation of Portable Programming Models to Accelerate LArTPC Detector Simulations

The Liquid Argon Time Projection Chamber (LArTPC) technology is widely used in high energy physics experiments, including the upcoming Deep Underground Neutrino Experiment (DUNE). Accurately simulating LArTPC detector responses is essential for analysis algorithm development and physics model interpretations. Accurate LArTPC detector response simulations are computationally demanding, and can become a bottleneck in the analysis workflow. Compute devices such as General-Purpose Graphics Processing Units (GPGPUs) have the potential to substantially accelerate simulations compared to traditional CPU-only processing. The software development that requires often carries the cost of specialized code refactorization and porting to match the target hardware architecture. With the rapid evolution and increased diversity of the computer architecture landscape, it is highly desirable to have a portable solution that also maintains reasonable performance. We report our ongoing effort in evaluating Kokkos as a basis for this portable programming model using LArTPC simulations in the context of the Wire-Cell Toolkit, a C++ library for LArTPC simulations, data analysis, reconstruction and visualization.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

RAMSeS: Rapid Analysis of Mission Software Systems

Over the past few decades, software has become ubiquitous as it has been integrated into nearly every aspect of society, including household appliances, consumer electronics, industrial control systems, public utilities, government operations, and military systems. Consequently, many critical national security questions can no longer be answered convincingly without understanding software, including its purpose, its capabilities, its flaws, its communication, or how it processes and stores data. As software continues to become larger, more complex, and more widespread, our ability to answer important mission questions and reason about software in a timely way is falling behind. Today, to achieve such understanding of third-party software, we rely predominantly on the ability of reverse engineering experts to manually answer each particular mission question for every software system of interest. This approach often requires heroic human effort that nevertheless fails to meet current mission needs and will never scale to meet future needs. The result is an emerging crisis: a massive and expanding gap between the national security need to answer mission questions about software and our ability to do so. Sandia National Laboratories has established the Rapid Analysis of Mission Software Systems (RAMSeS) effort, a collaborative long-term effort aimed at dramatically improving our nation’s ability to answer mission questions about third-party software by growing an ecosystem of tools that augment the human reverse engineer through automation, interoperability, and reuse. Focusing on static analysis of binary programs, we are attempting to identify reusable software analysis components that advance our ability to reason about software, to automate useful aspects of the software analysis process, and to integrate new methodologies and capabilities into a working ecosystem of tools and experts. We aim to integrate existing tools where possible, adapt tools when modest modifications will enable them to interoperate, and implement missing capability when necessary. Although we do hope to automate a growing set of analysis tasks, we will approach this goal incrementally by assisting the human in an ever-widening range of tasks.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2023

Evaluation of Portable Programming Models to Accelerate LArTPC Detector Simulations

The Liquid Argon Time Projection Chamber (LArTPC) technology is widely used in high energy physics experiments, including the upcoming Deep Underground Neutrino Experiment (DUNE). Accurately simulating LArTPC detector responses is essential for analysis algorithm development and physics model interpretations. Accurate LArTPC detector response simulations are computationally demanding, and can become a bottleneck in the analysis workflow. Compute devices such as General-Purpose Graphics Processing Units (GPGPUs) have the potential to substantially accelerate simulations compared to traditional CPU-only processing. The software development for these compute accelerators often carries the cost of specialized code refactorization and porting to match the target hardware architecture. With the rapid evolution and increased diversity of the computer architecture landscape, it is highly desirable to have a portable solution that also maintains reasonable performance. We report our ongoing effort in evaluating Kokkos as a basis for this portable programming model using LArTPC simulations in the context of the Wire-Cell Toolkit, a C++ library for LArTPC simulations, data analysis, reconstruction and visualization.

47 OTHER INSTRUMENTATION↗
NASA NTRS2000

Case Study Analyses of the SUCCESS DC-8 Scanning Lidar Database

Under project SUCCESS (Subsonic Aircraft Contrail and Cloud Effects Special Study) funded by the Atmospheric Effects of Aviation Program, SRI International (SRI) developed an angular scanning backscatter lidar for operation on the NASA DC-8 research aircraft and deployed the scanning lidar during the SUCCESS field campaign. The primary purpose of the lidar was to generate real-time video displays of clouds and contrails above, ahead of, and below the DC-8 as a means to help position the aircraft for optimum cloud and contrail sampling by onboard in situ sensors, and to help extend the geometrical domain of the in situ sampling records. A large, relatively complex lidar database was collected and several data examples were processed to illustrate the value of the lidar data for interpreting the other data records collected during SUCCESS. These data examples were used to develop a journal publication for the special SUCCESS Geophysical Research Letters issue. The data examples justified data analyses of a larger part of the DC-8 lidar database and is the objective of the current study. Efficient processing of the SUCCESS DC-8 scanning lidar database required substantial effort to enhance hardware and software components of the data system that was used for the initial analyses. MATLAB instructions are used to generate altitude and distance color-coded lidar displays corrected for effects introduced by aircraft pitch and forward movement during an angular scan time interval. Onboard in situ sensor atmospheric measurements are propagated to distances ahead of the DC-8 using recorded aircraft velocity so that they can be plotted on the lidar displays for comparison with lidar remotely observed aerosol distributions. Resulting lidar and in situ sensor polar scan displays over extended sampling intervals are integrated into a time series movie format for 36 case studies. Contrails and clouds were detected to ranges of 15 km by the forward-viewing angular scanning lidar and were progressively mapped as the aircraft approached and penetrated them. Near aircraft lidar observations were much better correlated with in situ sensor observations than lidar observations at greater distances ahead of the aircraft. The major cause of this difference was thought to be the about 2 deg. offset of the lidar viewing direction from the flight direction. Contrail spatial distributions were not of the quality obtainable from ground-based lidar observations. This results because contrails tend to become horizontally stratified, vertical distance between angular lidar observations increases with increased distance from the aircraft, and erratic aircraft motions during an angular scan. The most useful lidar observations were made with lidar viewing directions of vertically upward or vertically downward. These provided real-time information on aircraft altitudes to achieve optimum in situ cloud and contrail sampling. At sampling altitudes, the forward viewing angular scanning observations were useful for fine-tuning the aircraft altitude for cloud and contrail penetration. Best information on cloud and contrail properties were obtained from vertically directed lidar observations as the aircraft performed a series of upward and downward penetrations of contrails. This operational mode was especially well suited for lidar and radiometric evaluation of cloud and contrail optical and radiative properties. The vertical viewing lidar detected ice crystals thought to be precipitating from an aircraft contrail and their scavenging by a cirrus cloud layer. The lidar display indicates that the crystals are effective for increasing cirrus cloud density. Vertical angular scanning observations can evaluate the sharp decrease in lidar backscatter for small off-vertical viewing directions that result from horizontally aligned ice crystals and perhaps can provide additional information on crystal shapes. The about 2 deg. offset of the lidar viewing direction from the flight direction is thought to have greatly degraded the forward-viewing angular scanning observations and this mode of operation was not fully evaluated. However, the reasoning for this capability remains valid and the angular scan presentations collected during this program justifies modification of the lidar pod for true forward direction lidar viewing during future cloud and contrail studies.

Uthe, Edward E.↗
NASA NTRS1990

Automated extraction of knowledge for model-based diagnostics

The concept of accessing computer aided design (CAD) design databases and extracting a process model automatically is investigated as a possible source for the generation of knowledge bases for model-based reasoning systems. The resulting system, referred to as automated knowledge generation (AKG), uses an object-oriented programming structure and constraint techniques as well as internal database of component descriptions to generate a frame-based structure that describes the model. The procedure has been designed to be general enough to be easily coupled to CAD systems that feature a database capable of providing label and connectivity data from the drawn system. The AKG system is capable of defining knowledge bases in formats required by various model-based reasoning tools.

Gonzalez, Avelino J.↗
DOE OSTI2019

Window Attachments: The Next Big Energy-Savings Measure?

Windows in residential buildings are estimated to generate 29% of all HVAC heating and cooling load, approximately 2.67 quadrillion Btu (Apte and Arasteh 2006). Although more than a third of residential windows are single pane, very few utility programs offer incentives for installation of energy-efficient windows (Bickel et al. 2013). The reason is simple: unless someone is already planning to replace their windows, the payback can often take a decade, if not longer. Preliminary data indicates that some energy-efficient window attachments, such as low- emissivity (low-e) storm windows and interior panels, cellular shades, interior and exterior roller shades and shutters, window films, solar screens, window quilts, and awnings, can deliver cost-effective energy savings. Additionally, the means to reliably identify and compare energy-efficient window attachment products will soon be available through the Attachment Energy Rating Council (AERC), a public interest energy performance rating and certification organization co-funded by the U.S. Department of Energy (DOE) and the window attachment industry. This paper presents, for the first time, national and regional energy savings estimates for cellular shades and low-emissivity storm windows and panels using existing data on household energy savings potential. This paper is an early step in the process of determining the cost-effectiveness of window attachments for utility programs. The next step is for utilities to develop pilot programs to conduct field tests of these products, which will generate the energy savings data to determine if full-scale programs are cost-effective.

Bickel, Stephen↗
NASA NTRS1973

Space program payload costs and their possible reduction

The possible ways by which NASA payload costs might be reduced in the future were studied. The major historical reasons for payload costs being as they were, and if there are technologies (hard and soft), or criteria for technology advances, that could significantly reduce total costs of payloads were examined. Payload costs are placed in historical context. Some historical cost breakdowns for unmanned NASA payloads are presented to suggest where future cost reductions could be most significant. Space programs of NOAA, DoD and COMSAT are then examined to ascertain if payload reductions have been brought about by the operational (as opposed to developmental) nature of such programs, economies of scale, the ability to rely on previously developed technology, or by differing management structures and attitudes. The potential impact was investigated of NASA aircraft-type management on spacecraft program costs, and some examples relating previous costs associated with aircraft costs on the one hand and manned and unmanned costs on the other are included.

Vanvleck, E. M.↗
DOE OSTI2024

Estimated attribution of the RFS program on soybean biodiesel in the U.S. using the bioenergy scenario model

Biofuels are supported by various governmental policies in the U.S. and globally as an alternative transportation fuel for environmental, geopolitical, and economic reasons. Much debate surrounds the effectiveness of these policies as well as the overall net environmental effect of increased biofuels use. In the U.S., recent studies have shown that the Renewable Fuels Standard (RFS) Program, overall, may not have been the leading driver of the ethanol industry from 2005 to 2020, contrary to common perception. Similar scrutiny has not been applied to biodiesel. Here, this study uses the Bioenergy Scenario Model, a well-vetted system dynamics model, to retrospectively apportion historical biodiesel production between the RFS Program and other potentially influential drivers, such as the economics of biodiesel vs. diesel, the Biodiesel Tax Credit (BTC), California's Low Carbon Fuel Standard, and other factors. From 2002 to 2020 about 36% of biodiesel production can be attributed to the RFS Program, 35% to the BTC, and the rest to other factors. Thus, the overall effect of the RFS Program appears much larger on biodiesel than on corn ethanol. The finding that the same policy may have very disparate effects on different biofuels helps inform the design of future policies on biofuels.

09 BIOMASS FUELS↗