SEARCH · Engineering Papers
Results for “arms control”
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.
R&D Outcomes of Surrogate Environmental Swipe Manufacturing Technique Method Development for Arms Control and Treaty Verification Applications
The analysis of environmental samples is a critical component of nuclear compliance verification and safeguards activities. While the associated particle analyses have benefitted from recent advances in the production of actinide-bearing particulates with uniform and well-characterized particle size, material phase, and isotopic ratios to serve as reference materials for calibration and interlaboratory comparisons, there is an outstanding need for surrogate environmental samples, which resemble field-collected samples, with the aforementioned reference particulates to support future nuclear compliance verification exercises and method development. This effort seeks to leverage the recent advances in tailored reference particle production to generate surrogate environmental swipe samples via parallel production techniques (direct and indirect) which are uniquely suited to the hydrothermal and aerosol-based synthesis routes developed at PNNL and SRNL, respectively. PNNL’s hydrothermal particle production method was used to generate surrogate reference particles for the indirect production of test swipes.
Development of a General, Modular, Reprogrammable Information Barrier for Arms Control Applications
Explore the source record for details and available documents.
List-Mode Inference using Linear Classifiers for Nuclear Arms Control Verification
Explore the source record for details and available documents.
A Software-Based Information Barrier for Nuclear Arms Control
Explore the source record for details and available documents.
Progress Towards the Development of a Modular Reprogrammable Information Barrier for Arms Control Applications
A presentation on MRPIB for the 2024 INMM meeting.
Demonstration and Concept of Operations for a Zero-Knowledge Protocol Passive Imaging Measurement for Arms Control
Explore the source record for details and available documents.
Facilitating International Cooperation through a Metrics Framework for Comparative Assessment of Nuclear Arms Control Verification Methods.
Abstract not provided.
A Modular Approach to Trusted System Design for Arms Control Treaty Verification.
Abstract not provided.
A Modular Approach to Trusted System Design for Arms Control Treaty Verification.
Abstract not provided.
Facilitating International Cooperation through a Metrics Framework for Comparative Assessment of Nuclear Arms Control Verification Methods.
Abstract not provided.
International Arms Control Law and the Prevention of Nuclear Terrorism (2021), by Jonathan Herbach
No abstract provided.
Advanced Portal Monitoring for Arms Control Treaty Verification
Explore the source record for details and available documents.
Progress Towards the Development of a Modular Reprogrammable Information Barrier for Arms Control Applications
Manuscript for INMM conference.
A Software-Based Information Barrier for Nuclear Arms Control
Explore the source record for details and available documents.
Demonstration and Concept of Operations for a Zero-Knowledge Protocol Passive Imaging Measurement for Arms Control
Explore the source record for details and available documents.
Developing an Intrinsically Information Limiting Radiation Detection System for Use in Future Arms Control Treaty Verification
Explore the source record for details and available documents.
Formal Methods for Provably Secure Software and Firmware
This project addresses a gap observed in verifying the programming in embedded devices used in international arms control: namely verifying that embedded programming in an arms control device does exactly what it is supposed to do, no more and no less, every time without fail, and without disclosing unauthorized information accidentally or intentionally. In critical military, aerospace, and industrial safety systems this problem is sometimes addressed using formal methods (FM). This multi-year project seeks to identify formal methods toolsets useable in arms control regimes, with emphasis on applicability, ease of use, long term availability, and support.