Search NASA⌕ Search

SEARCH · Search NASA

Results for “safety property”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

A Safety-Driven Approach to Exploring and Comparing Air Traffic Management Concepts for Enabling Urban Air Mobility

There is broad recognition that the high tempo and density of Urban Air Mobility (UAM) operations will require identifying new Air Traffic Management (ATM) concepts to safely integrate UAM air traffic into the airspace alongside existing air traffic. However, the simulation models used to compare ATM concepts today are difficult to apply during the early stages of concept development and do not offer enough support in identifying potential new concepts. In addition, they have limited ability to evaluate ATM concepts in terms of safety, security, and other key emergent properties. Instead of using simulation to evaluate ATM concepts, this paper demonstrates how a safety-driven systems engineering approach based on Systems-Theoretic Accident Model and Processes (STAMP) can be used to design properties such as safety into an ATM system from the earliest stages of development. Using a hazard analysis technique called Systems-Theoretic Process Analysis (STPA), system requirements and the desired ATM behavior are derived. As an example, two possible ATM concepts to implement that behavior are compared to identify their safety-related benefits and tradeoffs. This new approach enables (1) systematic exploration of alternative ATM concepts and (2) identification of the safety-related tradeoffs between concepts as early as possible in the development process.

system safety↗
DOE OSTI2020

TA55-PMDS Programmatic Maintenance [Slides]

DOE Order 433.1B states: “The contractor must maintain real property assets in a manner that promotes operational safety, worker health, environmental compliance, property preservation and cost-effectiveness while meeting the program mission”. P950 Conduct of Maintenance serves as LANL’s Nuclear Maintenance Management Program specific to M/L 1 and M/L 2 SSC. PA-AP-01108 Maintenance Requirements for Programmatic Equipment defines the process for determining maintenance requirements, as defined in a maintenance plan, for all programmatic equipment owned by the Associate Directorate for Plutonium Science and Manufacturing (ADPSM) utilizing a formal, graded approach to maximize the reliability of permanently-installed programmatic equipment that does not perform a safety function. It bridges the gap between P950 and program equipment.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2001

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Lowry, Michael↗
DOE OSTI2025

Properties of different LLM-105 preparations

LLM-105 (2,6-diamino-3,5-dinitropyrazine-1-oxide) has been prepared at several different size quantities (~10–70 Kg) and not subjected to further purification, such as recrystallization. Chemical and physical properties were compared—small-scale safety testing (impact, friction, ESD), thermal (chemical reactivity, differential scanning calorimetry (DSC), thermogravimetric analysis (TGA), one-dimensional time-to-explosion (ODTX)), morphological (particle-size distribution (PSD), scanning electron microscopy (SEM), powder x-ray diffraction (PXRD), skeletal density). Each preparation had similar properties to the other preparations except for PSD and PXRD. For PSD, all preparations exhibited a mono-modal distribution with a variation in median values from ~ 40 μm to over 80 μm. All PXRD values indicated the same morphology with minor variations in crystal orientations. Possible polymorphism was also observed in a few cases. SEM images and PXRD indicate all preparations to be diamond-type and X-type crystals with some twinning. Impact, friction, and ESD and thermal sensitivities values are consistent with these type of crystal habits as seen in vast literature studies.

Explosive characterization↗
DOE OSTI2021

Machine‐learning‐based construction of barrier functions and models for safe model predictive control

Abstract In this paper, we propose a control Lyapunov‐barrier function‐based model predictive control method utilizing a feed‐forward neural network specified control barrier function (CBF) and a recurrent neural network (RNN) predictive model to stabilize nonlinear processes with input constraints, and to guarantee that safety requirements are met for all times. The nonlinear system is first modeled using RNN techniques, and a CBF is characterized by constructing a feed‐forward neural network (FNN) model with unique structures and properties. The FNN model for the CBF is trained based on data samples collected from safe and unsafe operating regions, and the resulting FNN model is verified to demonstrate that the safety properties of the CBF are satisfied. Given sufficiently small bounded modeling errors for both the FNN and the RNN models, the proposed control system is able to guarantee closed‐loop stability while preventing the closed‐loop states from entering unsafe regions in state‐space under sample‐and‐hold control action implementation. We provide the theoretical analysis for bounded unsafe sets in state‐space, and demonstrate the effectiveness of the proposed control strategy using a nonlinear chemical process example with a bounded unsafe region.

Chen, Scarlett↗
DOE OSTI2024

Optimal control of the electron temperature profile in DIII-D using machine learning surrogate models

The viability of the tokamak as a potential fusion reactor depends on the ability to keep the plasma in a stable regime while achieving temperatures, densities, and confinement times that are as high as possible. Tokamak scenario development attempts to find plasma regimes that achieve all of these conditions and are accessible with a given set of hardware constraints. This requires the ability to control plasma properties such as the normalized beta, the internal inductance, safety factor, rotation, etc. One property that has received less attention than some of the others, but is no less critical to achieving high performance, is the electron temperature (T e ) profile. In this work, Linear Quadratic Integral (LQI) control is used to develop a controller for the electron temperature profile in DIII-D. The controller is based on a linearized model derived from the transport equation that describes the evolution of the electron temperature, and includes contributions from the neural network surrogate models NubeamNet and MMMnet. Furthermore, the controller is tested in simulation using COTSIM, and is proven capable of tracking a target T e profile.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2000

Guns and High Gas Output Devices Panel: Introduction

A new panel known as the Guns and High Gas Output Panel was organized in 1999 under the auspices of the JANNAF Propellant and Characterization SubCommittee (PDCS). This is an introduction to our first meeting, purpose of the panel, and the scope of activities to be covered. The primary purpose of the panel is very simple: to provide a single focal point for interfacing Government Laboratories (Department of Defense and Department of Energy) and commercial industry researchers to share R&D activities and findings (i.e. facilitate the exchange of information) specifically aimed at gun-launched propulsion and high-gas output devices (gas generators and air bag inflators). Specific areas of interest included in the Panel's scope (and the Technical Data Base) are the following: (1) new propellant formulations and chemistry, (2) new ingredients, (3) ballistic effects of the new formulations and ingredients, (4) new processing methods unique to gun propellants, (5) thermochemistry of new ingredients, (6) unique physical and mechanical properties, (7) burning rates of new propellants and small scale closed bomb testing, (8) plasma effects on the propellant, and (9) unique safety and insensitive munitions properties.

Simmons, Ronald L.↗
NASA NTRS2009

A Review of State-of-the-Art Separator Materials for Advanced Lithium-Based Batteries for Future Aerospace Missions

As NASA embarks on a renewed human presence in space, safe, human-rated, electrical energy storage and power generation technologies, which will be capable of demonstrating reliable performance in a variety of unique mission environments, will be required. To address the future performance and safety requirements for the energy storage technologies that will enhance and enable future NASA Constellation Program elements and other future aerospace missions, advanced rechargeable, lithium-ion battery technology development is being pursued with an emphasis on addressing performance technology gaps between state-of-the-art capabilities and critical future mission requirements. The material attributes and related performance of a lithium-ion cell's internal separator component are critical for achieving overall optimal performance, safety and reliability. This review provides an overview of the general types, material properties and the performance and safety characteristics of current separator materials employed in lithium-ion batteries, such as those materials that are being assessed and developed for future aerospace missions.

Bladwin, Richard S.↗
DOE OSTI2021

From material properties to multiscale modeling to improve lithium-ion energy storage safety

Energy storage using lithium-ion cells dominates consumer electronics and is rapidly becoming predominant in electric vehicles and grid-scale energy storage, but the high energy densities attained lead to the potential for release of this stored chemical energy. This article introduces some of the paths by which this energy might be unintentionally released, relating cell material properties to the physical processes associated with this potential release. The selected paths focus on the anode–electrolyte and cathode–electrolyte interactions that are of typical concern for current and near-future systems. Relevant material processes include bulk phase transformations, bulk diffusion, surface reactions, transport limitations across insulating passivation layers, and the potential for more complex material structures to enhance safety. We also discuss the development, parameterization, and application of predictive models for this energy release and give examples of the application of these models to gain further insight into the development of safer energy storage systems.

25 ENERGY STORAGE↗
DOE OSTI2024

Human-Machine Shared Control for Path Following Considering Driver Fatigue Characteristics

Fatigue driving has been regarded as one of the most important factors that cause traffic accidents. This paper proposes a robust human-machine shared control strategy to improve the vehicle performance for different driver fatigue states. Firstly, the time-varying driver steering model is proposed to address the model mismatch caused by fatigue driving. And the driver fatigue evaluation system is established based on facial features to quantify driver fatigue levels. Based on the quantified fatigue levels, a novel strategy for allocating authorities of the driver and controller is developed for building the driver-vehicle interaction system. Then, to weaken the influence of parameter perturbations caused by the time-varying driver states, we design a fatigue-based shared controller through state feedback. The actuator saturation and system constraints are considered in the controller design through the robust set-invariance property to improve vehicle safety and driving comfort. The driver-in-the-loop platform is conducted to validate the effectiveness of the proposed shared steering controller. In conclusion, the experimental results show that the proposed strategy can adaptively optimize the human-machine authorities according to fatigue states and comprehensively improve vehicle performance.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1977

Flame and acid resistant polymide fibers

Economical process improves flame resistance and resistance to acids of polyamide fibers, without modifying colors of mechanical properties. Process improves general safety of garments and other items made from polyamide fibers and makes them suitable for applications requiring exposure to oxygen-rich atmosphere or corrosive acids. Halo-olefins are added to surface of fibers by photoadditon in sealed chamber. Process could be used with films and other forms of polyamide.

Stringham, R. S.↗
NASA NTRS2009

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗
NASA NTRS2010

When Weather Matters: Science and Service to Meet Critical Societal Needs

The goal of weather prediction is to provide information people and organizations can use to reduce weather-related losses and enhance societal benefits, including protection of life and property, public health and safety, and support of economic prosperity and quality of life. In economic terms, the benefit of the investment in public weather forecasts and warnings is substantial: the estimated annualized benefit is about $31.5 billion, compared to the $5.1 billion cost of generating the information. Between 1980 and 2009, 96 weather disasters in the United States each caused at least $1 billion in damages, with total losses exceeding $700 billion. Between 1999 and 2008, there were an average of 629 direct weather fatalities per year. The annual impacts of adverse weather on the national highway system and roads are staggering: 1.5 million weather-related crashes with 7,400 deaths, more than 700,000 injuries, and $42 billion in economic losses.

Weather forecasting↗
NASA NTRS1999

Automated Propellant Blending

An automated propellant blending apparatus and method uses closely metered addition of countersolvent to a binder solution with propellant particles dispersed therein to precisely control binder precipitation and particle aggregation. A profile of binder precipitation versus countersolvent-solvent ratio is established empirically and used in a computer algorithm to establish countersolvent addition parameters near the cloud point for controlling the transition of properties of the binder during agglomeration and finishing of the propellant composition particles. The system is remotely operated by computer for safety, reliability and improved product properties, and also increases product output.

Hohmann, Carl W.↗
NASA NTRS2000

Automated Propellant Blending

An automated propellant blending apparatus and method that uses closely metered addition of countersolvent to a binder solution with propellant particles dispersed therein to precisely control binder precipitation and particle aggregation is discussed. A profile of binder precipitation versus countersolvent-solvent ratio is established empirically and used in a computer algorithm to establish countersolvent addition parameters near the cloud point for controlling the transition of properties of the binder during agglomeration and finishing of the propellant composition particles. The system is remotely operated by computer for safety, reliability and improved product properties, and also increases product output.

Hohmann, Carl W.↗
DOE OSTI2022

Understanding Material Damage and Degradation through Thermal Property Instruments

Quantifying material damage and degradation under reactor conditions enables researchers to make important predictions regarding reactor safety and efficiency. More specifically, thermal property instruments serve as a powerful tool in quantifying the evolution of thermal properties under irradiation, and hence, are necessary in qualifying fuels and materials for reactor use. In addition to providing insight into thermal properties, some instruments may provide a new means of quantifying radiation damage, a challenge in modern nuclear materials research.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

2023 Annual Explosives Inventory Completion

The 2023 Lawrence Livermore National Laboratory (LLNL) annual explosives inventory was executed from May 18, 2023 to September 27, 2023 and was verified for accuracy effective September 28, 2023 following the LLNL Explosive Materials Inventory Plan. This year’s annual inventory includes changes incorporated based on the Department of Energy (DOE) Office of Inspector General (OIG) Audit Report DOE-OIG-20-50, The Department of Energy’s Storage and Disposition of Explosives Material at Selected Sites, dated July of 2020. Based on the associated recommendations, explosives at DOE and National Nuclear Safety Administration (NNSA) sites are considered "sensitive personal property" and applicable inventories must comply with 41 CFR 109, Personal Property Management. This regulation adds additional stipulations which require the annual inventory to include accountability of the total site inventory. In addition, the inventory must be performed by personnel other than the property owner, or alternatively must include independent verification. The development of the inventory plan was agreed to by the LLNL Explosives Safety Committee in conjunction with the LLNL Property and Business Division Leader. The LLNL Explosive Materials Inventory Plan was reviewed and approved by the DOE Explosives Safety Committee Chair on May 17, 2023 and by the NNSA Property Management Office on May 25, 2023.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗