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.

SourceResearch connectionFrom yearThrough year

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

At least 37 records · Page 2

All sources NASA NTRS DOE 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.↗

NASA NTRS1989

Computed torque control of a free-flying cooperat ing-arm robot

The unified approach to solving free-floating space robot manipulator end-point control problems is presented using a control formulation based on an extension of computed torque. Once the desired end-point accelerations have been specified, the kinematic equations are used with momentum conservation equations to solve for the joint accelerations in any of the robot's possible configurations: fixed base or free-flying with open/closed chain grasp. The joint accelerations can then be used to calculate the arm control torques and internal forces using a recursive order N algorithm. Initial experimental verification of these techniques has been performed using a laboratory model of a two-armed space robot. This fully autonomous spacecraft system experiences the drag-free, zero G characteristics of space in two dimensions through the use of an air cushion support system. Results of these initial experiments are included which validate the correctness of the proposed methodology. The further problem of control in the large where not only the manipulator tip positions but the entire system consisting of base and arms must be controlled is also presented. The availability of a physical testbed has brought a keener insight into the subtleties of the problem at hand.

Koningstein, Ross↗

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↗

NASA NTRS1985

Definition of ground test for verification of large space structure control

Directions regarding the analytical models were received. A counter balance arm with weights was added at the top of the ASTROMAST to offset the arm with the gimbals. In addition to this model, three more models were requested from MSFC: structure as in the revised model with the addition of lumped masses at bays 46 and 91 of the ASTROMAST; cantilevered cruciform structure with lumped masses at bays 46 and 91, and an all up cruciform structure with lumped masses at bays 46 and 91. Figures for each model and their corresponding natural frequencies and general mode shapes associated with these frequencies are included. The drawbar in use in the cruciform models must be incorporated into the antenna and ASTROMAST models. The total tensile load carrying capability of the ASTROMAST is approximately 840 pounds.

Seltzer, S. M.↗

NASA NTRS1994

Frequency Analysis Of Data On Telerobotic Tasks

Data on forces and torques measured in experiments with remote manipulators processed into spectral signatures via special frequency-analysis procedure. Spectral signatures complement other measures used to evaluate performances of telerobotic systems and human operators. Contributes to verification of some assumptions made in designing manipulator arms and control subsystems and used as feedback by operators engaged in realtime monitoring of telerobotic tasks. Also provides useful indications of flows of power between manipulators and their environments.

Fiorini, Paolo↗

NASA NTRS2004

The Role of Satellite Earth Observation Data in Monitoring and Verifying International Environmental Treaties

The term verification implies compliance verification in the language of treaty negotiation and implementation, particularly in the fields of disarmament and arms control. The term monitoring on the other hand, in both environmental and arms control treaties, has a much broader interpretation which allows for use of supporting data sources that are not necessarily acceptable or adequate for direct verification. There are many ways that satellite Earth observation (EO) data can support international environmental agreements, from national forest inventories to use in geographic information system (GIs) tools. Though only a few references to satellite EO data and their use exist in the treaties themselves, an expanding list of applications can be considered in support of multilateral environmental agreements (MEAs). This paper explores the current uses of satellite Earth observation data which support monitoring activities of major environmental treaties and draws conclusions about future missions and their data use. The scope of the study includes all phases of environmental treaty fulfillment - development, monitoring, and enforcement - and includes a multinational perspective on the use of satellite Earth observation data for treaty support.

Johnston, Shaida↗

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↗