1,459 Matching Results

Search Results

Advanced search parameters have been applied.

Verification Technologies: Cooperative Aerial Surveillance in International Agreements

Description: This report examines the potential and limitations of cooperative aerial surveillance as a means of supporting the goals of a variety of international agreements. It surveys the types of aircraft and sensors that might be used. It reviews the status of and issues raised by the Open Skies Treaty negotiations as an extended example of an aerial surveillance regime. The report concludes with a quantitative analysis of one possible use of cooperative over flights: the search for potential arms control violations.
Date: July 1991
Creator: United States. Congress. Office of Technology Assessment.
Partner: UNT Libraries Government Documents Department

A Formal Model for Verification of Abstract Properties

Description: This report is given a specification "s" that states the requirements of a problem in terms of data dependencies. There are also given some assumptions about the input domain and to define a formal model that can be used to verify that a program written according to the specification "s" does indeed have the data dependencies specified by "s."
Date: April 1992
Creator: Winter, Victor L.; Chisholm, G. H.; Smith, Brian Thomas & Wojcik, Anthony J.
Partner: UNT Libraries Government Documents Department

Interim Letter Report - Verification Survey of Partial Grid E9, David Witherspoon, Inc. 1630 Site Knoxville, Tennessee

Description: Conduct verification surveys of available grids at the DWI 1630 in Knoxville, Tennessee. A representative with the Independent Environmental Assessment and Verification (IEAV) team from ORISE conducted a verification survey of a partial area within Grid E9.
Date: June 12, 2008
Creator: Weaver, P.C.
Partner: UNT Libraries Government Documents Department

Interim Letter Report - Verification Survey of Partial Grids H19, J21, J22, X20, and X21 at the David Witherspoon, Inc. 1630 Site, Knoxville Tennessee

Description: Conduct verification surveys of available grids at the David Witherspoon Incorporated 1630 Site (DWI 1630) in Knoxville, Tennessee. The IVT conducted verification activities of partial grids H19, J21, J22, X20, and X21.
Date: March 19, 2008
Creator: Weaver, P.C.
Partner: UNT Libraries Government Documents Department

Letter Report - Verification Results for the Non-Real Property Radiological Release Program at the West Valley Demonstration Project, Ashford, New York

Description: The objective of the verification activities is to provide an independent review of the design, implementation, and performance of the radiological unrestricted release program for personal property, materials, and equipment (non-real property).
Date: April 29, 2009
Creator: Buchholz, M.A.
Partner: UNT Libraries Government Documents Department

Letter Report - Verification Survey of Final Grids at the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee

Description: Conduct verification surveys of grids at the DWI 1630 Site in Knoxville, Tennessee. The independent verification team (IVT) from ORISE, conducted verification activities in whole and partial grids, as completed by BJC. ORISE site activities included gamma surface scans and soil sampling within 33 grids; G11 through G14; H11 through H15; X14, X15, X19, and X21; J13 through J15 and J17 through J21; K7 through K9 and K13 through K15; L13 through L15; and M14 through M16
Date: February 17, 2009
Creator: Weaver, P.C.
Partner: UNT Libraries Government Documents Department

Independent Verification Survey Report for the Operable Unit-1 Miamisburg Closure Project, Miamisburg, OH

Description: The objectives of the independent verification survey were to confirm that remedial actions have been effective in meeting established release criteria and that documentation accurately and adequately describes the current radiological and chemical conditions of the MCP site.
Date: March 17, 2008
Creator: Weaver, P.
Partner: UNT Libraries Government Documents Department

VERIFICATION SURVEY ACTIVITIES IN FS SURVEY UNITS 7, 8, 9, 10, 11, 13 & 14 AT THE SEPARATIONS PROCESS RESEARCH UNIT

Description: FINAL INTERIM REPORT VERIFICATION SURVEY ACTIVITIES IN FINAL STATUS SURVEY UNITS 7, 8, 9, 10, 11, 13 AND 14 AT THE SEPARATIONS PROCESS RESEARCH UNIT, Niskayuna, New York 0496-SR-03-0. The Separations Process Research Unit (SPRU) facilities were constructed in the late 1940s to research the chemical separation of plutonium and uranium. SPRU operated between February 1950 and October 1953. The research activities ceased following the successful development of the reduction/oxidation and plutonium/uranium extraction processes that were subsequently used by the Hanford and the Savannah River sites.
Date: May 26, 2010
Creator: JADICK, M.G.
Partner: UNT Libraries Government Documents Department

Independent Verification Final Summary Report for the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee

Description: The primary objective of the independent verification was to determine if BJC performed the appropriate actions to meet the specified “hot spot” cleanup criteria of 500 picocuries per gram (pCi/g) uranium-238 (U-238) in surface soil. Specific tasks performed by the independent verification team (IVT) to satisfy this objective included: 1) performing radiological walkover surveys, and 2) collecting soil samples for independent analyses. The independent verification (IV) efforts were designed to evaluate radioactive contaminants (specifically U-238) in the exposed surfaces below one foot of the original site grade, given that the top one foot layer of soil on the site was removed in its entirety.
Date: April 29, 2009
Creator: Weaver, P.C.
Partner: UNT Libraries Government Documents Department

Interim Letter Report - Verification Survey Results for Activities Performed in March 2009 for the Vitrification Test Facility Warehouse at the West Valley Demonstration Project, Ashford, New York

Description: The objective of the verification activities was to provide independent radiological surveys and data for use by the Department of Energy (DOE) to ensure that the building satisfies the requirements for release without radiological controls.
Date: April 24, 2009
Creator: Estes, B.D.
Partner: UNT Libraries Government Documents Department

Software Verification and Validation Plan Activities, 2011, Project Number: N6423, SAPHIRE Version 8

Description: The SV&V Plan experienced changes over the past year to bring it into the operational software life cycle of SAPHIRE 8 and to maintain its sections on design features. Peer review of the SVVP with the former IV&V members identified the need for the operational use of metrics as a tool for quality maintenance and improvement. New tests were added to the SVVP to verify the operation of the new design features incorporated into SAPHIRE 8. Other additions to the SVVP were the addition of software metrics and the PDR and CDR processes. Audit support was provided for the NRC Technical Manager and Project Manager for the NRC OIG Audit performed throughout 2011. The SVVP is considered to be an up to date reference and useful roadmap of verification and validation activities going forward.
Date: November 1, 2011
Creator: Vedros, Kurt G. & Smith, Curtis L.
Partner: UNT Libraries Government Documents Department

Software Verification and Validation Plan Activities, 2011 -- SAPHIRE 8 Quality Assurance

Description: SV&V Updates through FY11 An official update was released in February 2011. This update was to add a new automated test, to revise the SV&V wording to indicate the operational life cycle that SAPHIRE 8 has entered, and to provide design documentation for Inspection Planning Reports (which evolved into the Plant Risk Information e-Book (PRIB)) and Analysis Speed Improvements. Another update to the SV&V will be released in conjunction with this report in September 2011 to include the following: two new automated tests, the inclusion of metrics into the testing regime and references to the addition of the Preliminary Design Review and Critical Design Review processes.
Date: September 1, 2011
Creator: Vedros, Kurt G. & Smith, Curtis L.
Partner: UNT Libraries Government Documents Department

SAPHIRE 8 Software Independent Verification and Validation Plan

Description: SAPHIRE 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach is being taken for the IV&V activities on each vital software object. The IV&V plan is structured around NUREG/BR-0167, “Software Quality Assurance Program and Guidelines,” February 1993. The Nuclear Regulatory Research Office Instruction No.: PRM-12, “Software Quality Assurance for RES Sponsored Codes,” March 26, 2007 specifies that RES-sponsored software is to be evaluated against NUREG/BR-0167. Per the guidance in NUREG/BR-0167, SAPHIRE is classified as “Level 1.” Level 1 software corresponds to technical application software used in a safety decision.
Date: April 1, 2009
Creator: Nims, Rae J.
Partner: UNT Libraries Government Documents Department

BEAM-BASED SEXTUPOLE POLARITY VERIFICATION IN THE RHIC

Description: This article presents a beam-based method to check RHIC arc sextupole polarities using local horizontal orbit three-bumps at injection energy. We use 11 bumps in each arc, each covering two SFs (focusing sextupoles) and one SD (defocusing sextupole). If there are no wrong sextupole polarities, the tune shifts from bump to bump and the tune shift patterns from arc to arc should be similar. Wrong sextupole polarities can be easily identified from mismatched signs or amplitudes of tune shifts from bump to bump and/or from arc to arc. Tune shifts in both planes during this study were tracked with a high-resolution base-band tunemeter (BBQ) system. This method was successfully used to the sextupole polarity check in RHIC Blue and Yellow rings in the RHIC 2006 and 2007 runs.
Date: June 25, 2007
Creator: LUO,Y.; SATOGATA, T.; CAMERON, P.; DELLAPENNA, A. & TRBOJEVIC, D.
Partner: UNT Libraries Government Documents Department

Novel ultrasound scintillator

Description: This development project addressed the need for a faster, less expensive method of transmission ultrasound. It utilized the principle of frustrated total internal reflection to transduce acoustic pressure into optical modulation. These data were acquired an entire 2D plane at a time. This report described the modeling and verification of a final sensor design.
Date: February 9, 1999
Creator: Ashby, E; Ciarlo, D; Kallman, J S & Thomas, G
Partner: UNT Libraries Government Documents Department

Representing regional P/S discriminants for event indentification: a comparison of distance corrections, path parameter regressions, cap-averaging and kriging

Description: Short-period regional P/S amplitude ratios hold much promise for discriminating low magnitude explosions from earthquakes in a Comprehensive Test Ban Treaty monitoring context. However, propagation effects lead to variability in regional phase amplitudes that if not accounted for can reduce or eliminate the ability of P/S ratios to discriminate the seismic source. lo this study, several representations of short-period regional P/S amplitude ratios are compared in order to determine which methodology best accounts for the effect of heterogeneous structure on P/S amplitudes. These methodologies are: I) distance corrections, including azimuthal subdivision of the data; 2) path specific crustal waveguide parameter regressions; 3) cap-averaging (running mean smoothing); and 4) kriging. The "predictability" of each method is established by cross-validation (leave-one-out) analysis. We apply these techniques to represent Pn/Lg, Pg/Lg and Pn/Sn observations in three frequency bands (0.75-6.0 Hz) at station ABKT (Alibek, Turkmenistan), site of a primary seismic station of the It~temational Monitoring System (IMS). Paths to ABKT sample diverse crustal stmctores (e.g. various topographic, sedimentary and geologic structures), leading to great variability in the observed P/S amplitude ratios. Subdivision of the data be back-azimuth leads to stronger distance trends than that for the entire data set. This observation alone indicates that path propagation effects due to laterally varying shucture are important for the P/S ratios recorded at ABKT. For these data to be useful for isolating source characteristics, the scatter needs to be reduced by accounting for the path effects and the resulting P/S ratio distribution needs to Gaussian for spatial interpolation and discrimination strategies to be most effective. Each method reduces the scatter of the P/S ratios with varying degrees of success, however kriging has the distinct advantages of providing the greatest variance reduction and a continuous correction surface with an estimate of the model uncertainty. The largest scatter ...
Date: June 18, 1998
Creator: Myers, S C; Rodgers, A J; Schultz, C A & Walter, W R
Partner: UNT Libraries Government Documents Department

Identification of mine collapses, explosions and earthquakes using INSAR: a preliminary investigation

Description: Interferograms constmcted from satellite-borne synthetic aperture radar images have the capability of mapping sub-cm ground surface deformation over areas on the order of 100 x 100 km with a spatial resolution on the order of 10 meters. We investigate the utility of synthetic aperture radar interferomehy (InSAR) used in conjunction with regional seismic methods in detecting and discriminating different types of seismic events in the context of special event analysis for the CTBT. For this initial study, we carried out elastic dislocation modeling of underground explosions, mine collapses and small (M<5.5) shallow earthquakes to produce synthetic interferograms and then analyzed satellite radar data for a large mine collapse. The synthetic modeling shows that, for a given magnitude each type of event produces a distinctive pattern of ground deformation that can be recognized in, and recovered from, the corresponding interferogram. These diagnostic characteristics include not only differences in the polarities of surface displacements but also differences in displacement amplitudes from the different sources. The technique is especially sensitive to source depth, a parameter that is crucial in discriminating earthquakes from the other event types but is often very poorly constrained by regional seismic data alone. The ERS radar data analyzed is from a M<sub>L</sub> 5.2 seismic event that occurred in southwestern Wyoming on February 3,1995. Although seismic data from the event have some characteristics of an underground explosion, based on seismological and geodetic data it has been identified as being caused by a large underground collapse in the Solvay Mine. Several pairs of before-collapse and after-collapse radar images were phase processed to obtain interferograms. The minimum time separation for a before-collapse and after-collapse pair was 548 days. Even with this long time separation, phase coherence between the image pairs was acceptable and a deformation map was successfully obtained. Two images, separated ...
Date: July 7, 1998
Creator: Foxall, B; Sweeney, J J & Walter, W R
Partner: UNT Libraries Government Documents Department

PREPARATIONS FOR ASSEMBLY OF THE INTERNATIONAL ERL CRYOMODULE AT DARESBURY LABORATORY

Description: The collaborative development of an optimised cavity/cryomodule solution for application on ERL facilities has now progressed to final assembly and testing of the cavity string components and their subsequent cryomodule integration. This paper outlines the verification of the various cryomodule sub-components and details the processes utilised forfinal cavity string integration. The paper also describes the modifications needed to facilitate this new cryomodule installation and ultimate operation on the ALICE facility at Daresbury Laboratory.
Date: April 29, 2009
Creator: McIntosh, P. A.; Bate, R.; Beard, C. D.; Cordwell, M. A.; Dykes, D. M.; Pattalwar, S. M. et al.
Partner: UNT Libraries Government Documents Department

Numerical Verification of Bounce Harmonic Resonances in Neoclassical Toroidal Viscosity for Tokamaks

Description: This Letter presents the rst numerical veri cation for the bounce-harmonic (BH) resonance phenomena of the neoclassical transport in a tokamak perturbed by non-axisymmetric magnetic elds. The BH resonances were predicted by analytic theories of neoclassical toroidal viscosity (NTV), as the parallel and perpendicular drift motions can be resonant and result in a great enhancement of the radial momentum transport. A new drift-kinetic #14;f guiding-center particle code, POCA, clearly veri ed that the perpendicular drift motions can reduce the transport by phase-mixing, but in the BH resonances the motions can form closed orbits and particles radially drift out fast. The POCA calculations on resulting NTV torque are largely consistent with analytic calculations, and show that the BH resonances can easily dominate the NTV torque when a plasma rotates in the perturbed tokamak and therefore is a critical physics for predicting the rotation and stability in ITER. __________________________________________________
Date: April 17, 2013
Creator: Kim, Kimin; Park, Jong-Kyu & Boozer, Allen H.
Partner: UNT Libraries Government Documents Department

Verification of Multiphysics software: Space and time convergence studies for nonlinearly coupled applications

Description: High-fidelity modeling of nuclear reactors requires the solution of a nonlinear coupled multi-physics stiff problem with widely varying time and length scales that need to be resolved correctly. A numerical method that converges the implicit nonlinear terms to a small tolerance is often referred to as nonlinearly consistent (or tightly coupled). This nonlinear consistency is still lacking in the vast majority of coupling techniques today. We present a tightly coupled multiphysics framework that tackles this issue and present code-verification and convergence analyses in space and time for several models of nonlinear coupled physics.
Date: May 1, 2009
Creator: Ragusa, Jean C.; Mahadevan, Vijay & Mousseau, Vincent A.
Partner: UNT Libraries Government Documents Department