Search NASA⌕ Search

SEARCH · Search NASA

Results for “Automated Reasoning”

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.

115 records · Page 7
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Moving-horizon false data injection attack design against cyber–physical systems

Systematic attack design is essential to understanding the vulnerabilities of cyber–physical systems (CPSs), to better design for resiliency. In particular, false data injection attacks (FDIAs) are well-known and have been shown to be capable of bypassing bad data detection (BDD) while causing targeted biases in resulting state estimates. However, their effectiveness against moving horizon estimators (MHE) is not well understood. In fact, this paper shows that conventional FDIAs are generally ineffective against MHE. One of the main reasons is that the moving window renders the static FDIA recursively infeasible. Here, this paper proposes a new attack methodology, moving-horizon FDIA (MH-FDIA), by considering both the performance of historical attacks and the current system’s status. Theoretical guarantees for successful attack generation and recursive feasibility are given. Numerical simulations on the IEEE-14 bus system further validate the theoretical claims and show that the proposed MH-FDIA outperforms state-of-the-art counterparts in both stealthiness and effectiveness. In addition, an experiment on a path-tracking control system of an autonomous vehicle shows the feasibility of the MH-FDIA in real-world nonlinear systems.

42 ENGINEERING↗
DOE OSTI2025

Digital Safety Analysis for Small Modular Nuclear Reactors (SMRs)

A Documented Safety Analysis (DSA) is a Department of Energy (DOE) construct that defines the extent to which a nuclear facility can be operated safely. It includes a description of hazards, safe boundaries, and hazard controls. The authors assert that a Digital Safety Analysis (DgSA) is far superior to a legacy DSA for several reasons: • The underling database is structured such that it is possible to perform a comprehensive design review and safety analysis by iterating systematically across a hierarchy of linked objects versus a redundant and spotty review by entities of various abilities under unknown resource and schedule constraints. • The analysis of a new design can discover elements that are similar to elements in previous designs. The discovery of similarities is made possible by using the same structure for the underlying database for each new DgSA. The “prior learning” from previous designs is then applied automatically to new designs. • Outputs from the DgSA are from a single source to ensure consistency among various views of the same information. After the DgSA is released, the continued use of a single source implements a configuration management program to ensure consistency between the design basis, the design, the built system, and system procedures. • The development of the DgSA is agile in that any change in a linked object triggers an analysis of impacts on other linked objects and updates of linked objects are made accordingly. After the DgSA is released, the continued maintenance of these links and objects automates the “unreviewed safety question” process.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗
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 OSTI2020

Design and Development of a Robotic Exoskeleton Device for use in Glove Boxes - 20374

Glovebox operators in nuclear facilities often operate under radioactive environment and typically perform monotonous, dull and repetitive work. This can result in muscle fatigue leading to increased levels of accidents. Current research work aims in assisting the glovebox operators by designing a novel upper limb exoskeleton device to reduce injuries and increase worker efficiency. Almost none of the commercially available hand and upper body exoskeletons are directly suitable for use in gloveboxes. This explains the novelty of the present work in developing a wearable powered robotic exoskeleton device. The device consists of electronics, motors and spring systems mounted on adjustable plates and is supported by a stationary frame behind the worker. The device is intended to be portable and adjustable according to the operator height. The elbow has a flexion movement assisted with motor control by way of a Bowden cable system. The system is floated on a spring and pulley combination that allows for extra safety and smoothness of operation. The end points are fixed near the pivot points to help minimize unwanted movement/torque. The extension movement of the upper and lower arm are assisted by gravity and a counter spring. The shoulder and upper arm movement are held in a neutral position with a spring system for counter balance allowing small movements within the glovebox. This initial concept considers only the vertical movement of the arm. The abduction and adduction movement will not be assisted or impeded by the over shoulder plate or at the forearm plate allowing for full range of motion. Several glovebox aspects such as the level of task assistance, ergonomic design, minimum hindrance in dexterity/operator movements and tear resistance for hazardous safety reasons will be considered in the design of the exoskeleton. Computer models will be simulated to test the load levels and stress conditions on the exoskeleton to enhance the designs. The exoskeleton focusses on major muscular involvement reduction through weight offset and active assistance with minimal parts and hence the device is derived with several joint links and contains both passive and active joints. The paper details the various stages in the design development and prototype testing of the exoskeleton device. Upon successful prototype device development, human testing will be conducted in a replica of the SRS-235F hot cell facility constructed at FIU-ARC. The final stage of the project will be potential testing/deployment of the exoskeleton device in one of the glovebox facilities in Savannah River Nuclear Waste site. (authors)

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

Accelerating polyketide synthase engineering for high TRY production of biofuels and bioproducts (Final Technical Report)

Polyketide synthase (PKS) enzymes have a modular, deterministic logic that holds the potential to act as a flexible chemical factory for the biological production of a huge diversity of valuable small molecule compounds. However, engineering a custom PKS to produce a specific desired product currently requires years of trial and error, for reasons that remain poorly understood. In this project, we have developed a rapid, high throughput, Design-Build-Test-Learn (DBTL) cycle for polyketide synthases (PKSs) and demonstrate its utility for production of materials precursors. The objectives are 1) to develop a rapid, high-throughput (HT) DBTL cycle for PKSs that will enable production of a large number of unnatural, organic molecules on demand at high titer, rate, and yield (TRY); 2) to demonstrate the utility of the PKS DBTL cycle to produce three molecules: one commodity chemical (caprolactam or valerolactam) and two novel materials precursors (caprolactam or valerolactam derivatives); and 3) to demonstrate the utility of the PKS DBTL cycle to increase the TRY of one molecule (caprolactam or valerolactam). In this project, we have successfully demonstrated our high throughput PKS DBTL pipeline, and have biologically produced valerolactam and several other novel nylon monomers.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2021

Real-World Driving Features for Identifying Intelligent Driver Model Parameters

Driver behavior models play a significant role in representing different driving styles and the associated relationships with traffic patterns and vehicle energy consumption in simulation studies. The models often serve as a proxy for baseline human driving when assessing energy-saving strategies that alter vehicle velocity. Such models are especially important in connectivity-enabled energy-saving strategy research because they can easily adapt to changing driving conditions like posted speed limits or change in traffic light state. While numerous driver models exist, parametric driver models provide the flexibility required to represent variability in real-world driving through different combinations of model parameters. These model parameters must be informed by a representative set of parameter values for the driver model to adequately represent a real-world driver. It stands to reason that determining the parameter values from real-world driving data would serve the purpose of representing a real-world driver. Although the published literature is replete with techniques and consequences of using real-world driving data to determine parameter values for parametric driver models, none have explored them in the context of using shorter driving features where the parameter values may change over the course of a single trip for the same driver. In this study we consider the “intelligent driver model” (IDM) as our driver behavior model and use real-world driving data from the Transportation Secure Data Center (TSDC) maintained at the National Renewable Energy Laboratory (NREL). The TSDC includes real-world travel data from across the United States, from which NREL has created a wide range of driving routes consisting of road features such as speed limits, stop locations, and turn locations. The real-world driving data are categorized into different driving regimes and extracted into driving features. The driving features are then used to calibrate the parameter values for the IDM. The distribution of the parameters and the relationships among them are reported. The insights obtained from this study enable judicious usage of IDM or similar parametric driver models to represent baseline human driver behavior in simulations.

27 ARPA - Advanced Research Projects Agency-Energy↗
DOE OSTI2021

Real-World Driving Features for Identifying Intelligent Driver Model Parameters: Preprint

Driver behavior models play a significant role in representing different driving styles and the associated relationships with traffic patterns and vehicle energy consumption in simulation studies. The models often serve as a proxy for baseline human driving when assessing energy-saving strategies that alter vehicle velocity. Such models are especially important in connectivity-enabled energy-saving strategy research because they can easily adapt to changing driving conditions like posted speed limits or change in traffic light state. While numerous driver models exist, parametric driver models provide the flexibility required to represent variability in real-world driving through different combinations of model parameters. These model parameters must be informed by a representative set of parameter values for the driver model to adequately represent a real-world driver. It stands to reason that determining the parameter values from real-world driving data would serve the purpose of representing a real-world driver. While the published literature is replete with techniques and consequences of using real-world driving data to determine parameter values for parametric driver models, none have explored them in the context of using shorter driving features where the parameter values may change over the course of a single trip for the same driver. In this study we consider the “Intelligent Driver Model” (IDM) as the driver behavior model to explore and real-world driving data from the Transportation Secure Data Center (TSDC) maintained at the National Renewable Energy Laboratory (NREL). The TSDC includes real-world travel data from across the United States, from which NREL has created a wide range of driving routes consisting of road features such as speed limits, stop locations and turn locations. The real-world driving data are categorized into different driving regimes and extracted into driving features. The driving features are then used to calibrate the parameter values for the IDM. The distribution of the parameters and the relationships among them are reported. The insights obtained from this study enable judicious usage of IDM or similar parametric driver models to represent baseline human driver behavior in simulations.

27 ARPA - Advanced Research Projects Agency-Energy↗