Search NASA⌕ Search

SEARCH · Search NASA

Results for “arms control verification”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Open Radiation Monitoring: Conceptual System Design

The Open Radiation Monitoring (ORM) Project seeks to develop and demonstrate a modular radiation detection architecture designed specifically for use in arms control treaty verification (ACTV) applications that will facilitate rapid development of trusted systems to meet the needs of potential future treaties. Development of trusted systems to support potential future treaties is a complex and costly endeavor that typically results in a purpose-built system designed to perform one specific task. The majority of prior trusted system development efforts have relied on the use of commercial embedded computers or microprocessors to control the system and process the acquired data. These processors are complex, making authentication and certification of measurement systems and collected data challenging and time consuming. We believe that a modular architecture can be used to reduce more complex systems to a series of single-purpose building blocks that could be used to implement a variety of detection modalities with shared functionalities. With proper design, the functionality of individual modules can be confirmed through simple input/output testing, thereby facilitating equipment inspection and in turn building trust in the equipment by all treaty parties. Furthermore, a modular architecture can be used to control data flow within the measurement system, reducing the risk of "hidden switches" and constraining the amount of sensitive information that could potentially be inadvertently leaked. This report documents a conceptual modular system architecture that is designed to facilitate inspection in an effort to reduce overall authentication and certification burden. As of publication, this architecture remains in a conceptual phase and additional funding is required to prove out the utility of a modular architecture and test the assumptions used to rationalize the design.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2024

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.

formal methods, Arms Control Verification↗
DOE OSTI2022

Experimental demonstration and modeling of a robotic neutron detector with spectral and directional sensitivity for treaty verification

International safeguards and arms control agreements often require labor-intensive, intrusive onsite inspections to perform verification tasks. The ability to localize a neutron source and/or characterize a neutron field may be imperative for identifying anomalies. We are interested in the role of autonomous mobile robots, which, if designed properly, may be more effective and efficient and less intrusive than their human counterparts. Toward developing such a capability, we, for this study, have constructed the N-SpecDir Bot, comprised of three boron-coated straw detectors azimuthally-distributed within a cylinder of high-density polyethylene, which is mounted on an omni-directional robotic platform. Our N-SpecDir Bot is specifically designed to provide spectral and directional sensitivity, in addition to gross counts, by utilizing the signals from the three detectors. The detection system has been extensively characterized by MCNP modeling, which has been benchmarked to experiments conducted at the Princeton Plasma Physics Laboratory. We demonstrate the spectral and directional sensitivity experimentally and in simulation, and provide a simple yet robust method for directional measurements.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2025

PROACTIVE FA4: Progress Update 2024

The Priority Research Objectives for Arms Control Technology Innovation, Verification, and Evaluation (PROACTIVE) venture’s overall goal is to address the technical challenges that will “enable the negotiation and implementation of future nuclear arms limitation/reduction treaties with verification at the level of individual warheads by advancing the state of the art in verification and monitoring capabilities.” One of the four focus areas of the venture, Focus Area 4 (FA4), is a system-of-systems effort to establish methodologies for the integration of monitoring and verification (M&V) technologies into verification systems that support treaty objectives.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2021

Active Neutron Interrogation as a Method for Verification of the Absence of Special Nuclear Material in Arms Control Dismantlement

The next step in arms control reductions will deal with both strategic and non-strategic weapons, presenting new and hard challenges for verification. One verification approach that might be used in support of these reductions is the concept of deferred verification, which forgoes inspections at sensitive nuclear sites and relies on an inspection regime having access to the open segment of a State's nuclear sector, in "monitored transfer zones." A component of this approach is the anticipated need for an instrument suite capable of detecting well-shielded highly-enriched uranium or plutonium where it isn't supposed to be. This specific need was recently identified by the United Nations Institute for Disarmament Research in an enabling operating concept they call "contain and dispose." At the foundation of this approach is the idea that items declared as "not nuclear" are, by definition, not treaty limited and are thus "fair-game" for inspection and questioning. Active Neutron Interrogation (ANI), using beta-delayed neutron emissions as the signature for special nuclear material (SNM) detection, is a promising method to address this challenge. The method is quick, has high sensitivity and high specificity for detecting shielded SNM, is robust against changing background radiation environments, is robust against the presence of unknown shielding, and avoids the use of gamma-ray spectrometry which may introduce complications due to the potential release of sensitive information. This paper will present recent research activities exploring technical aspects of using ANI as a FAIRGAME verification method and discuss future prospects and research needs

46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗
DOE OSTI2023

Ceci N’est Pas Une Bombe: Lessons from a Field Experiment Using Neutron and Gamma Measurements to Confirm the Absence of Nuclear Weapons

In March 2023, the UN Institute for Disarmament Research held a verification experiment that included a mockup onsite inspection at a former military facility in the municipality of Menzingen, Switzerland. The experiment included a visit to the site by an inspection team, accompanied by the host team. Among other activities, radiation measurements were used to confirm the non-nuclear nature of selected items stored onsite. In this paper, we discuss the neutron and gamma measurement systems used during the experiment and the inspection protocols followed to confirm the absence of nuclear weapons. Furthermore, results from the experiment and a laboratory reproduction are presented, before concluding with lessons learned for how absence-confirmation measurements can help support verification of future arms control agreements.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2020

Epithermal Neutron Resonance Analysis Using a Compact D-T Generator

Nuclear material identification and isotopic composition analysis are important capabilities for safeguards and the verification of nuclear arms control and nonproliferation treaties. Epithermal neutron resonance imaging has been proposed for spent fuel assay measurements, and the development of a mobile neutron imaging system could provide such a tool for on-site applications. This technique is highly sensitive to isotopes of interest for safeguards applications (e.g. 235,238 U, 238,239,240 Pu) and yields unique transmission spectra for a target containing actinides and some mid- and high-Z elements. Paired with a position-sensitive neutron detector, such a system could provide spatial information of the target isotopic composition. Recent progress in the development of high intensity neutron sources could make mobile epithermal neutron imaging designs increasingly feasible to serve as a tool for nuclear inspectors. In this work, Monte Carlo (MC) simulations were performed to further optimize a previous design for an epithermal neutron resonance-based analysis apparatus using a D-T portable neutron generator. Additionally, experimental work is being performed to test the feasibility of this method. The MC simulations of moderation time distributions for different moderator compositions and thicknesses were measured to provide a multi-group correction for neutron time-of-flight energy reconstruction.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2023

Remote inspection of adversary-controlled environments

Remotely monitoring the location and enduring presence of valuable items in adversary-controlled environments presents significant challenges. In this article, we demonstrate a monitoring approach that leverages the gigahertz radio-wave scattering and absorption of a room and its contents, including a set of mirrors with random orientations placed inside, to remotely verify the absence of any disturbance over time. Our technique extends to large physical systems the application of physical unclonable functions for integrity protection. Its main applications are scenarios where parties are mutually distrustful and have privacy and security constraints. Examples range from the verification of nuclear arms-control treaties to the securing of currency, artwork, or data centers.

47 OTHER INSTRUMENTATION↗
DOE OSTI2022

The Source Physics Experiment (SPE) Science Plan

The Source Physics Experiment (SPE) series is a long-term NNSA research and development effort designed to improve U.S. arms control and nuclear nonproliferation verification and monitoring capabilities. The findings from the SPE will advance the United States’ nuclear explosion monitoring capabilities, particularly with respect to detection, discrimination and determination of yields associated with small nuclear explosions that can be lost amid the noisy seismo-acoustic background from other sources. The data generated from the SPE, a series of well-designed and recorded chemical explosions, will contribute to the development and validation of first-principles explosive source generated seismo-acoustic modeling codes. These codes will then facilitate the update of semi-empirical methods, currently based on historic test site data, such that key explosion observables can be reproduced, thus improving confidence in nuclear test monitoring in new areas and/or under novel emplacement conditions. The overall SPE project is comprised of both the development of the new explosion simulation codes and the chemical explosion test series. The chemical explosion test series will generate the empirical data required to both develop and validate the new simulation codes.

58 GEOSCIENCES↗
DOE OSTI2020

Technical Cooperation on Verification and its Role in Trust Building

The purpose of this paper is twofold. First, it will demonstrate how technical cooperation on verification contributed to the softening of tensions and the improvement of trust between the United States and the Soviet Union. Because the scope of this endeavor is too broad to be adequately considered in the length of this work, the primary focus will be on the private and public partnerships on seismic and hydroacoustic test ban treaty verification that were forged between Soviet and American scientists from 1986-1988. In order to orient the analysis within the political-scientific landscape of the time, the discussion begins with a brief description of the arms control landscape in the early 1980s, including both the stances of the Reagan and Gorbachev administrations vis a vis nuclear test ban verification. The section concludes with an analysis of the two primary US-USSR collaborative projects in this key sphere – the test ban verification project conducted by the National Resources Defense Council (NRDC) and Soviet Academy of Sciences (SAS) and the Joint Verification Experiment (JVE) between the US and Soviet National Laboratories.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2024

Laser Based Ultrasound for Verification of Circuit Card Assemblies

This IR is a follow-up conference Paper to the IR approved abstract; PNNL-SA-194096. --- Verification that equipment is authentic and not changed; even at the circuit card assembly (CCA) level will likely be an important component of future arms control treaties. This effort was an initial evaluation of the potential for laser-based ultrasound (LBU) as an inspection tool for Unique Identification (UID) of Circuit Card Assembly (CCA) boards and CCA components. The LBU system used a laser pulse for ultrasound generation and an Optical Microphone for ultrasound detection to image subsurface structures without physical contact and in a dry state. This paper described the selected CCA surrogate, CCA components that were examined, the LBU system, LBU images of the CCA components, and the initial development of UID algorithms. Receiver operating characteristics (ROC) curves indicated good performance for two algorithms as a potential means for UID of CCA boards and CCA components.

Laser Ultrasound, Equipment Verification, Arms Con↗
DOE OSTI2024

A Discrete Event Simulation Approach to Nuclear Arms Enterprise Modeling and Analysis

We overview a discrete event simulation of an arms control enterprise developed to familiarize individuals with the challenges of verification and monitoring at the enterprise level. We will review the design of the simulation applied to a notional country’s nuclear arms enterprise. This simulation models how these nuclear weapons move over their lifetime from deployment, storage, maintenance, and dismantlement. With this output information, we then characterize the “ground truth” of the enterprise. Next, based on these data, we built a sophisticated analysis engine designed to provide treaty monitoring and verification information to support partner country inspectors and their evaluation. This tool was designed to be used as a game, enabling teams to compete on developing the best inspection plan to determine if the host country is complying with the conceptual treaty developed for this effort.

Pulliam, Rachel M.↗
DOE OSTI2020

Warhead verification concepts and technologies [Slides]

Weapons verification concepts and technologies are discussed related to Arms Control instrumentation, which is a three-part problem: measurement; certification, and authentication.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2024

Applied radiation tags for warhead dismantlement transparency

Here, this study explores the feasibility of applying radiation tags as a Chain of Custody tool to confirm the dismantlement of individual warheads by investigating time dependent emissions from special nuclear material. Precedents of photon and neutron sources that have been used to irradiate warhead components are presented. Measurements of irradiated Highly Enriched Uranium (HEU) are used to benchmark simulations with the CINDER90 library for MCNP. Delayed gamma emissions are simulated as a function of time since irradiation of moderated HEU and Weapons Grade Plutonium with photon and neutron sources. Models of commercial 9 MV and 15 MV linacs were found to induce ~10 9 fissions/g and ~10 11 fissions/g, respectively, creating 3 to 4 orders of magnitude more delayed gammas than neutron sources, modeled at 10 10 n/s. However, a DT neutron source was found to induce sufficient fissions, ~10 7 fissions/g, to create quantifiable signatures relative to intrinsic emissions. Applied radiation tagging is determined to be technically feasible, but its operational context and practical implementation requires significant development.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2020

Confirming the absence of nuclear warheads via passive gamma-ray measurements

Arms-control agreements between the United States and Russia negotiated after the end of the Cold War have imposed limits on the number of deployed strategic nuclear weapons. Verification of these agreements has relied on onsite inspections, sometimes supported by radiation detection techniques to confirm the absence of a nuclear warhead when ambiguities arise. So far, these measurements have sought to detect neutron emissions associated with the presence of plutonium, but they would be inadequate for uranium devices. In an effort to offer instruments that could be used to confirm the absence of both plutonium and uranium weapons, here we propose an inspection system that uses only passive gamma radiation detection techniques. Such a system would be particularly valuable for next-generation arms-control agreements that limit total numbers of weapons and would involve containerized items in storage. We conducted extensive Monte Carlo simulations to support the development of a verification protocol and detection algorithm. Here, we demonstrate the viability of the technique using standard laboratory check sources and MCNP simulations for simplified configurations of special nuclear material.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
DOE OSTI2024

Results of an In-Field Validation Exercise in Support of Wide-Area Environmental Sampling

The National Nuclear Security Administration’s (NNSA) Office of Nonproliferation and Arms Control (NA-24) is evaluating Wide-Area Environmental Sampling (WAES) as an additional safeguards verification tool for the International Atomic Energy Agency to detect undeclared nuclear activities. The NNSA is evaluating strategies for conducting a generic WAES campaign, the cost of a WAES campaign, and the effect of technological advancements that have occurred since the last major WAES review in 1999. Until now, the NNSA effort has focused on tabletop exercises (TTXs) in which high-performance computing allows for advanced modeling and simulation efforts to be applied to the WAES question. Although the modeling and simulations used in the TTXs are extremely valuable, field campaigns are still needed to validate the assumptions that underpin the models and the modeling process itself. During a 7 week period beginning in May 2023 and ending in June 2023, which included 4 weeks of active field collections, a multilaboratory team conducted its first in-field validation exercise. Prior to the in-field exercise, abbreviated TTXs were conducted to estimate the performance of all collection systems to be used during the field test. These TTXs guided the selection of materials to be released and the placement of the collection system. Based on these determinations, materials were procured to use in the field test, and an injection/release system was designed, built, and installed at the test facility. Background samples were collected during weeks one and four, and environmental collections against active releases were conducted during weeks two and three. The goals of this validation exercise included a demonstration of (1) the ability to provide controlled releases of particulates of surrogate materials, (2) the fielding and operation of collection systems (including deposition and active air collectors), and (3) the flexibility to revise equipment and campaign plans in the field. This paper presents the results and preliminary conclusions for this initial validation test. Based on these results, subsequent field campaigns are anticipated and will include the addition of other released materials.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2020

Prototype for Unclassified Algorithm

Continuing previous efforts to investigate and develop the Unclassified Radioisotope Algorithm, the goal of the FY19-FY20 effort was to develop a prototype detector system which uses the algorithm to confirm warhead attributes related to the presence of either weapons grade plutonium (WGPu) or highly enriched uranium (HEU). The final deliverable is a prototype attribute measurement system built with common, commercially available gamma radiation detector components, capable of confirming the presence of specific, complex radioactive sources of interest, without the collection and storage of gamma energy spectra. This is accomplished by processing each gamma pulse as it is received, applying weight values based on the energy and incrementing or decrementing scalar counters which can be compared with expected values to determine if the measured source is consistent with WGPu or HEU. This report documents the design of the prototype system as well as the development of the algorithm and performance testing results. While the previously conceptualized, simple algorithm resulted in a prohibitive amount of false positives, the goal for a simple attribute measurement system capable of verifying Ba-133 and Ra-226 (weapons grade plutonium and highly enriched uranium surrogate testing sources) at over 95% accuracy with sub 5% false positive rate was demonstrated.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗
DOE OSTI2020

Verifying Deep Reductions in the Nuclear Arsenals: Development and Demonstration of a Motion-detection Subsystem for a “Buddy Tag” Using Non-export Controlled Accelerometers

Future nuclear arms-control agreements may place numerical limits on items that are difficult to monitor with national technical means, even when complemented with onsite inspections. Such items could include small objects and mobile assets, such as non-deployed nuclear warheads and mobile missile launchers. Typically, this verification task can be addressed with unique identifiers, but standard tagging techniques may be unacceptable in this case due to host concerns about safety and intrusiveness. First proposed in the late 1980s and partially developed by Sandia National Laboratories in the early 1990s, the “Proximity Tag” or “Buddy Tag” concept seeks to overcome these concerns by separating the tag from the treaty accountable item itself. A buddy tag has two key elements: a tamper-indicating enclosure and a motion-detection system designed to detect illicit movements in a stand-down period. As part of this project, we have built a buddy-tag prototype for demonstration and evaluation purposes. This paper reviews the design choices and functionalities of the tag’s motion-detection subsystem.We pursue a modular approach for the tag’s hardware, built around an Arduino-class microcontroller and a non-export-controlled low-noise accelerometer, and use open-source algorithms for the motion-detection software. Finally, we discuss the results of an extensive experimental campaign involving both indoor and outdoor measurements assessing the performance of the tag under real-world environmental conditions.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗