Inventory verification analysis software for Pilcaniyeu (IVASP)

被引:0
|
作者
Royce, RR [1 ]
Blankenship, ME [1 ]
Mayer, RL [1 ]
Wines, KM [1 ]
机构
[1] USEC, Piketon, OH 45661 USA
关键词
D O I
暂无
中图分类号
TL [原子能技术]; O571 [原子核物理学];
学科分类号
0827 ; 082701 ;
摘要
The development of this software supports SP-1 Joint Task Proposal 95/OB3-002 entitled "Implementation of Verification Methods for the Uranium Content in Diffusion Enrichment Plants." This joint task is between the governments of the United States and Argentina. This software is used for verification of nuclear material inventories at the Pilcaniyeu, Argentina gaseous diffusion plant by the International Atomic Energy Agency (IAEA). Several modules are contained in the software. The modules are arranged by similar activities called groups. The groups are "Calibrate", "Scan", "Quantify", "Verify", and "Measurement Control". Each group is further divided according to specific tasks. For example, the "Calibration" group allows for the calibration of a neutron slab detector, a NaI detector for quantitative and qualitative measurements. Scanning data is entered using the "Scan" group. The "Quantify" group is used to estimate gram quantities in a unit, a complete module, piping, and waste drums. Design verification, gamma-ray transmissions, and enrichment measurements are performed using the "Verify" group. The "Measurement Control" group is used to perform quality control determinations of the detectors. This software provides a quick and easy method to perform the repetitive tasks associated with inventory verification. The software also shows the values of the previous inspection.
引用
收藏
页码:280 / 285
页数:2
相关论文
共 50 条
  • [1] Extrusion flow analysis software verification
    Hanson, D
    Cappella, R
    CONFERENCE PROCEEDINGS AT ANTEC '98: PLASTICS ON MY MIND, VOLS I-3: VOL I; PROCESSING, VOL II; SPECIAL AREAS, VOL III; MATERIALS, 1998, 44 : 3471 - 3474
  • [2] The Analysis of Existing Methods of Software Verification
    Bondarev, Sergei E.
    Chudinov, Maksim A.
    Prokhorov, Andrey S.
    PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
  • [3] SYSTEM FOR ANALYSIS AND VERIFICATION OF SOFTWARE DESIGN.
    Hammond, Linda S.
    Murphy, Daniel L.
    Smith, Mark K.
    1978, : 42 - 47
  • [4] Test Analysis Verification Using Open Software
    Brandt, Anders
    Sturesson, Per-Olof
    Ristinmaa, Matti
    SOUND AND VIBRATION, 2014, 48 (06): : 13 - 16
  • [5] Analysis and verification of the interaction model in software design
    Menkhaus, G
    Frei, U
    Wüthrich, J
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 67 - 75
  • [6] SOFTWARE-VERIFICATION USING BRANCH ANALYSIS
    HERINGTON, DE
    NICHOLS, PA
    LIPP, RD
    HEWLETT-PACKARD JOURNAL, 1987, 38 (06): : 13 - 22
  • [7] Software verification
    Kroening, Daniel
    Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 505 - 532
  • [8] Sleuth: Automated Verification of Software Power Analysis Countermeasures
    Bayrak, Ali Galip
    Regazzoni, Francesco
    Novo, David
    Ienne, Paolo
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2013, 2013, 8086 : 293 - 310
  • [9] Dependability Analysis and Verification Technology of Artificial Intelligence Software
    Zhang, Yaming
    Wu, Lijin
    Shen, Xiaomei
    Shen, Zehua
    Tang, Tongli
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 226 - 232
  • [10] Verification of evolving software via component substitutability analysis
    Chaki, Sagar
    Clarke, Edmund
    Sharygina, Natasha
    Sinha, Nishant
    FORMAL METHODS IN SYSTEM DESIGN, 2008, 32 (03) : 235 - 266