National Library of Energy BETA

Sample records for independent verification survey

  1. Independent Verification Survey Report for the Long Island Solar Farm, Brookhaven National Laboratory, Upton, New York

    SciTech Connect (OSTI)

    E.M. Harpenau

    2010-11-15

    5119-SR-01-0 INDEPENDENT VERIFICATION SURVEY REPORT FOR THE LONG ISLAND SOLAR FARM, BROOKHAVEN NATIONAL LABORATORY

  2. INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT

    SciTech Connect (OSTI)

    W.C. Adams

    2010-05-24

    INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT, MIAMISBURG, OHIO DCN: 0468-SR-02-0

  3. INDEPENDENT VERIFICATION SURVEY REPORT OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT

    SciTech Connect (OSTI)

    W.C. Adams

    2010-07-21

    INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT, MIAMISBURG, OHIO DCN: 0468-SR-03-0

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

    SciTech Connect (OSTI)

    Weaver, P.

    2008-03-17

    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.

  5. INDEPENDENT VERIFICATION SURVEY REPORT FOR ZONE 1 OF THE EAST TENNESSEE TECHNOLOGY PARK IN OAK RIDGE, TENNESSEE

    SciTech Connect (OSTI)

    King, David A.

    2012-08-16

    Oak Ridge Associated Universities (ORAU) conducted in-process inspections and independent verification (IV) surveys in support of DOE's remedial efforts in Zone 1 of East Tennessee Technology Park (ETTP) in Oak Ridge, Tennessee. Inspections concluded that the remediation contractor's soil removal and survey objectives were satisfied and the dynamic verification strategy (DVS) was implemented as designed. Independent verification (IV) activities included gamma walkover surveys and soil sample collection/analysis over multiple exposure units (EUs).

  6. Results of the independent radiological verification survey at the former Bridgeport Brass Company Facility, Seymour, Connecticut (SSC001)

    SciTech Connect (OSTI)

    Foley, R.D.; Rice, D.E.; Allred, J.F.; Brown, K.S.

    1995-03-01

    At the request of the USDOE, a team from ORNL conducted an independent radiological verification survey at the former Bridgeport Brass Company Facility, Seymour, Connecticut, from September 1992 to March 1993. Purpose of the survey was to determine whether residual levels of radioactivity inside the Ruffert Building and selected adjacent areas were rmediated to levels below DOE guidelines for FUSRAP sites. The property was contaminated with radioactive residues of {sup 238}U from uranium processing experiments conducted by Reactive Metals, Inc., from 1962 to 1964 for the Atomic Energy Commission. A previous radiological survey did not characterize the entire floor space because equipment which could not be moved at the time made it inaccessible for radiological surveys. During the remediation process, additional areas of elevated radioactivity were discovered under stationary equipment, which required additional remediation and further verification. Results of the independent radiological verification survey confirm that, with the exception of the drain system inside the building, residual uranium contamination has been remediated to levels below DOE guidelines for unrestricted release of property at FUSRAP sites inside and outside the Ruffert Building. However, certain sections of the drain system retain uranium contamination above DOE surface guideline levels. These sections of pipe are addressed in separate, referenced documentation.

  7. Final Report Independent Verification Survey of the High Flux Beam Reactor, Building 802 Fan House Brookhaven National Laboratory Upton, New York

    SciTech Connect (OSTI)

    Harpeneau, Evan M.

    2011-06-24

    On May 9, 2011, ORISE conducted verification survey activities including scans, sampling, and the collection of smears of the remaining soils and off-gas pipe associated with the 802 Fan House within the HFBR (High Flux Beam Reactor) Complex at BNL. ORISE is of the opinion, based on independent scan and sample results obtained during verification activities at the HFBR 802 Fan House, that the FSS (final status survey) unit meets the applicable site cleanup objectives established for as left radiological conditions.

  8. ORISE: Independent verification

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    (DOE) cleanup projects and the only verification contractor for the U.S. Nuclear Regulatory Commission (NRC), we validate that soil, water and structures are within established...

  9. ORISE: Independent verification

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformationJesseworkSURVEY UNIVERSE TheForensic ScienceHow to Work WithIncident

  10. INDEPENDENT VERIFICATION SURVEY OF THE SPRU LOWER LEVEL HILLSIDE AREA AT THE KNOLLS ATOMIC POWER LABORATORY NISKAYUNA, NEW YORK

    SciTech Connect (OSTI)

    Harpenau, Evan M.; Weaver, Phyllis C.

    2012-06-06

    During August 10, 2011 through August 19, 2011, and October 23, 2011 through November 4, 2011, ORAU/ORISE conducted verification survey activities at the Separations Process Research Unit (SPRU) site that included in-process inspections, surface scans, and soil sampling of the Lower Level Hillside Area. According to the Type-B Investigation Report, Sr-90 was the primary contributor to the majority of the activity (60 times greater than the Cs-137 activity). The evaluation of the scan data and sample results obtained during verification activities determined that the primary radionuclide of concern, Sr-90, was well below the agreed upon soil cleanup objective (SCO) of 30 pCi/g for the site. However, the concentration of Cs-137 in the four judgmental samples collected in final status survey (FSS) Units A and B was greater than the SCO. Both ORAU and aRc surveys identified higher Cs-137 concentrations in FSS Units A and B; the greatest concentrations were indentified in FSS Unit A.

  11. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    NONE

    1998-12-01

    This Guide to Good Practices is written to enhance understanding of, and provide direction for, Independent Verification, Chapter X of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing independent verification activities. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. Independent Verification is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for coordinated independent verification activities to promote safe and efficient operations.

  12. FINAL REPORT –INDEPENDENT VERIFICATION SURVEY SUMMARY AND RESULTS FOR THE ARGONNE NATIONAL LABORATORY BUILDING 330 PROJECT FOOTPRINT, ARGONNE, ILLINOIS

    SciTech Connect (OSTI)

    ERIKA N. BAILEY

    2012-02-29

    ORISE conducted onsite verification activities of the Building 330 project footprint during the period of June 6 through June 7, 2011. The verification activities included technical reviews of project documents, visual inspections, radiation surface scans, and sampling and analysis. The draft verification report was issued in July 2011 with findings and recommendations. The contractor performed additional evaluations and remediation.

  13. INDEPENDENT VERIFICATION OF THE CENTRAL CAMPUS AND SOUTHEAST LABORATORY COMPLEX BUILDING SLABS AT OAK RIDGE NATIONAL LABORATORY, OAK RIDGE, TENNESSEE

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-07-24

    Oak Ridge Associated Universities/Oak Ridge Institute for Science and Education (ORAU/ORISE) has completed the independent verification survey of the Central Campus and Southeast Lab Complex Building Slabs. The results of this effort are provided. The objective of this verification survey was to provide independent review and field assessment of remediation actions conducted by SEC, and to independently assess whether the final radiological condition of the slabs met the release guidelines.

  14. INDEPENDENT VERIFICATION SURVEY REPORT FOR EXPOSURE UNITS Z2-24, Z2-31, Z2-32, AND Z2-36 IN ZONE 2 OF THE EAST TENNESSEE TECHNOLOGY PARK OAK RIDGE, TENNESSEE

    SciTech Connect (OSTI)

    none,

    2013-10-10

    The U.S. Department of Energy (DOE) Oak Ridge Office of Environmental Management selected Oak Ridge Associated Universities (ORAU), through the Oak Ridge Institute for Science and Education (ORISE) contract, to perform independent verification (IV) at Zone 2 of the East Tennessee Technology Park (ETTP) in Oak Ridge, Tennessee. ORAU has concluded IV surveys, per the project-specific plan (PSP) (ORAU 2013a) covering exposure units (EUs) Z2-24, -31, -32, and -36. The objective of this effort was to verify the following. • Target EUs comply with requirements in the Zone 2 Record of Decision (ROD) (DOE 2005), as implemented by using the dynamic verification strategy presented in the dynamic work plan (DWP) (BJC 2007) • Commitments in the DWP were adequately implemented, as verified via IV surveys and soil sampling The Zone 2 ROD establishes maximum remediation level (RLmax) values and average RL (RLavg) values for the primary contaminants of concern (COCs) U-234, U-235, U-238, Cs-137, Np-237, Ra-226, Th-232, arsenic, mercury, and polychlorinated biphenyls (PCBs). Table 1.1 lists Zone 2 COCs with associated RLs. Additional radiological and chemical contaminants were also identified during past characterization and monitoring actions, though the ROD does not present RLs for these potential contaminants. IV activities focused on the identification and quantification of ROD-specific COCs in surface soils, but also generated data for other analytes to support future decisions. ORAU personnel also reviewed EU-specific phased construction completion reports (PCCRs) to focus IV activities and identify potential judgmental sample locations, if any.

  15. Verification Survey of the Building 315 Zero Power Reactor-6 Facility, Argonne National Laboratory-East, Argonne, Illinois

    SciTech Connect (OSTI)

    W. C. Adams

    2007-05-25

    Oak Ridge Institute for Science and Education (ORISE) conducted independent verification radiological survey activities at Argonne National Laboratory’s Building 315, Zero Power Reactor-6 facility in Argonne, Illinois. Independent verification survey activities included document and data reviews, alpha plus beta and gamma surface scans, alpha and beta surface activity measurements, and instrumentation comparisons. An interim letter report and a draft report, documenting the verification survey findings, were submitted to the DOE on November 8, 2006 and February 22, 2007, respectively (ORISE 2006b and 2007).

  16. A Static PatternIndependent Technique for Power Grid Voltage Integrity Verification #

    E-Print Network [OSTI]

    Najm, Farid N.

    A Static Pattern­Independent Technique for Power Grid Voltage Integrity Verification # Dionysios Design verification must include the power grid. Checking that the voltage on the power grid does) the obviously large size of the power grids for modern high­performance chips, and ii) the di#culty of setting

  17. A Static Pattern-Independent Technique for Power Grid Voltage Integrity Verification

    E-Print Network [OSTI]

    Najm, Farid N.

    by the circuit off the grid. The current waveforms of these current sources may be determined by a priorA Static Pattern-Independent Technique for Power Grid Voltage Integrity Verification Dionysios Design verification must include the power grid. Checking that the voltage on the power grid does

  18. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

    Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

    2014-12-01

    Formal methods have come into wide use because of their effectiveness in verifying %22safety and security%22 requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

  19. Verification survey report of the south waste tank farm training/test tower and hazardous waste storage lockers at the West Valley demonstration project, West Valley, New York

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-08-29

    A team from ORAU's Independent Environmental Assessment and Verification Program performed verification survey activities on the South Test Tower and four Hazardous Waste Storage Lockers. Scan data collected by ORAU determined that both the alpha and alpha-plus-beta activity was representative of radiological background conditions. The count rate distribution showed no outliers that would be indicative of alpha or alpha-plus-beta count rates in excess of background. It is the opinion of ORAU that independent verification data collected support the site?s conclusions that the South Tower and Lockers sufficiently meet the site criteria for release to recycle and reuse.

  20. An independent verification and validation of the Future Theater Level Model conceptual model

    SciTech Connect (OSTI)

    Hartley, D.S. III; Kruse, K.L.; Martellaro, A.J.; Packard, S.L.; Thomas, B. Jr.; Turley, V.K.

    1994-08-01

    This report describes the methodology and results of independent verification and validation performed on a combat model in its design stage. The combat model is the Future Theater Level Model (FTLM), under development by The Joint Staff/J-8. J-8 has undertaken its development to provide an analysis tool that addresses the uncertainties of combat more directly than previous models and yields more rapid study results. The methodology adopted for this verification and validation consisted of document analyses. Included were detailed examination of the FTLM design documents (at all stages of development), the FTLM Mission Needs Statement, and selected documentation for other theater level combat models. These documents were compared to assess the FTLM as to its design stage, its purpose as an analytical combat model, and its capabilities as specified in the Mission Needs Statement. The conceptual design passed those tests. The recommendations included specific modifications as well as a recommendation for continued development. The methodology is significant because independent verification and validation have not been previously reported as being performed on a combat model in its design stage. The results are significant because The Joint Staff/J-8 will be using the recommendations from this study in determining whether to proceed with develop of the model.

  1. A method for online verification of adapted fields using an independent dose monitor

    SciTech Connect (OSTI)

    Chang Jina; Norrlinger, Bernhard D.; Heaton, Robert K.; Jaffray, David A.; Cho, Young-Bin; Islam, Mohammad K.; Mahon, Robert

    2013-07-15

    Purpose: Clinical implementation of online adaptive radiotherapy requires generation of modified fields and a method of dosimetric verification in a short time. We present a method of treatment field modification to account for patient setup error, and an online method of verification using an independent monitoring system.Methods: The fields are modified by translating each multileaf collimator (MLC) defined aperture in the direction of the patient setup error, and magnifying to account for distance variation to the marked isocentre. A modified version of a previously reported online beam monitoring system, the integral quality monitoring (IQM) system, was investigated for validation of adapted fields. The system consists of a large area ion-chamber with a spatial gradient in electrode separation to provide a spatially sensitive signal for each beam segment, mounted below the MLC, and a calculation algorithm to predict the signal. IMRT plans of ten prostate patients have been modified in response to six randomly chosen setup errors in three orthogonal directions.Results: A total of approximately 49 beams for the modified fields were verified by the IQM system, of which 97% of measured IQM signal agree with the predicted value to within 2%.Conclusions: The modified IQM system was found to be suitable for online verification of adapted treatment fields.

  2. Independent Verification and Validation Of SAPHIRE 8 System Test Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE System Test Plan is to assess the approach to be taken for intended testing activities associated with the SAPHIRE software product. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

  3. Independent Verification and Validation Of SAPHIRE 8 Software Requirements Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE requirements definition is to assess the activities that results in the specification, documentation, and review of the requirements that the software product must satisfy, including functionality, performance, design constraints, attributes and external interfaces. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production. IV&V reviewed the requirements specified in the NRC Form 189s to verify these requirements were included in SAPHIRE’s Software Verification and Validation Plan (SVVP).

  4. Independent Verification and Validation Of SAPHIRE 8 Software Requirements Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2009-09-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE requirements definition is to assess the activities that results in the specification, documentation, and review of the requirements that the software product must satisfy, including functionality, performance, design constraints, attributes and external interfaces. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production. IV&V reviewed the requirements specified in the NRC Form 189s to verify these requirements were included in SAPHIRE’s Software Verification and Validation Plan (SVVP).

  5. Final Report - Independent Confirmatory Survey Summary and Results for the Hematite Decommissioning Project

    SciTech Connect (OSTI)

    E.N. Bailey

    2009-03-18

    The objectives of the confirmatory surveys were to provide independent contractor field data reviews and to generate independent radiological data for use by the NRC in evaluating the adequacy and accuracy of the licensee’s procedures and survey results.

  6. US-VISIT Independent Verification and Validation Project: Test Bed Establishment Report

    SciTech Connect (OSTI)

    Jensen, N W; Gansemer, J D

    2011-01-21

    This document describes the computational and data systems available at the Lawrence Livermore National Laboratory for use on the US-VISIT Independent Verification and Validation (IV&V) project. This system - composed of data, software and hardware - is designed to be as close as a representation of the operational ADIS system as is required to verify and validate US-VISIT methodologies. It is not required to reproduce the computational capabilities of the enterprise-class operational system. During FY10, the test bed was simplified from the FY09 version by reducing the number of database host computers from three to one, significantly reducing the maintenance and overhead while simultaneously increasing system throughput. During the current performance period, a database transfer was performed as a set of Data Pump Export files. The previous RMAN backup from 2007 required the availability of an AIX system which is not required when using data pump. Due to efficiencies in the new system and process, loading of the database refresh was able to be accomplished in a much shorter time frame than was previously required. The FY10 Oracle Test Bed now consists of a single Linux platform hosting two Oracle databases including the 2007 copy as well as the October 2010 refresh.

  7. VERIFICATION SURVEY OF PHASE I REMEDIAL ACTIONS ALBANY RESEARCH CENTER

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouthReport for the t-) S/,,5 'a C O09 This page intentionallySURVEY OF

  8. The Infrared Camera (IRC) deep survey in the performance verification phase

    E-Print Network [OSTI]

    Takehiko Wada; Shinki Oyabu; Yoshifusa Ita; Hideo Matsuhara; Chris P. Pearson; Takashi Onaka; Youichi Ohyama; Fumihiko Usui; Naofumi Fujishiro; Daisuke Ishihara; Hirokazu Kataza; Woojung Kim; Toshio Matsumoto; Hiroshi Murakami; Itsuki Sakon; Toshihiko Tanabe; Toshinobu Takagi; Kazunori Uemizu; Munetaka Ueno; Hidenori Watarai

    2007-08-19

    We report the first results of a near- and mid- infrared deep survey with the Infrared Camera (IRC) onboard AKARI in the performance verification phase. Simultaneous observations by the NIR, MIR-S and MIR-L channels of the IRC with effective integration times of 4529, 4908, and 4417 seconds at 3, 7, and 15 micron, covering 86.0, 70.3, and 77.3 arcmin^2 area, detected 955, 298 and 277 sources, respectively. The 5 sigma detection limits of the survey are 6.0, 31.5 and 71.2 micro Jy and the 50% completeness limit are 24.0, 47.5, and 88.1 micro Jy at 3, 7, and 15 micron, respectively. The observation is limited by source confusion at 3 micron. We have confirmed the turnover in the 15 micron differential source counts around 400 micro Jy, previously detected by surveys with the Infrared Space Observatory. The faint end of 15 micron raw source counts agree with the results from the deep surveys in the GOODS fields carried out with the Spitzer IRS peak up imager and the predictions of current galaxy evolution models. These results indicate that deep surveys with comprehensive wavelength coverage at mid-infrared wavelength are very important to investigate the evolution of infrared galaxies at high redshifts.

  9. Ichthyoplankton surveys provide fish-eries-independent information that is

    E-Print Network [OSTI]

    : fhernandez@disl.org 1 Dauphin Island Sea Laboratory 101 Bienville Boulevard Dauphin Island, Alabama 36528 2 off the coast of Alabama as part of a long-term bio- logical survey. Four seasonal periods were

  10. Verification survey of the 17th Street Drainage Area, Santa Susana Field Laboratory, The Boeing Company, Ventura County, California

    SciTech Connect (OSTI)

    John R. Morton

    2000-04-14

    An independent (third-party) verification of contractor remedial actions of the subject site verifies that remedial actions have been effective in meeting established and site-specific guidelines and that the documentation accurately and adequately describes the radiological conditions at the site.

  11. Independent Verification and Validation Of SAPHIRE 8 Software Design and Interface Design Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE software design and interface design is to assess the activities that results in the development, documentation, and review of a software design that meets the requirements defined in the software requirements documentation. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production. IV&V reviewed the requirements specified in the NRC Form 189s to verify these requirements were included in SAPHIRE’s Software Verification and Validation Plan (SVVP) design specification.

  12. Independent Verification and Validation Of SAPHIRE 8 Software Design and Interface Design Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2009-10-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE software design and interface design is to assess the activities that results in the development, documentation, and review of a software design that meets the requirements defined in the software requirements documentation. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production. IV&V reviewed the requirements specified in the NRC Form 189s to verify these requirements were included in SAPHIRE’s Software Verification and Validation Plan (SVVP) design specification.

  13. Mass and galaxy distributions of four massive galaxy clusters from Dark Energy Survey Science Verification data

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Melchior, P.; Suchyta, E.; Huff, E.; Hirsch, M.; Kacprzak, T.; Rykoff, E.; Gruen, D.; Armstrong, R.; Bacon, D.; Bechtol, K.; et al

    2015-03-31

    We measure the weak-lensing masses and galaxy distributions of four massive galaxy clusters observed during the Science Verification phase of the Dark Energy Survey. This pathfinder study is meant to 1) validate the DECam imager for the task of measuring weak-lensing shapes, and 2) utilize DECam's large field of view to map out the clusters and their environments over 90 arcmin. We conduct a series of rigorous tests on astrometry, photometry, image quality, PSF modelling, and shear measurement accuracy to single out flaws in the data and also to identify the optimal data processing steps and parameters. We find Sciencemore »Verification data from DECam to be suitable for the lensing analysis described in this paper. The PSF is generally well-behaved, but the modelling is rendered difficult by a flux-dependent PSF width and ellipticity. We employ photometric redshifts to distinguish between foreground and background galaxies, and a red-sequence cluster finder to provide cluster richness estimates and cluster-galaxy distributions. By fitting NFW profiles to the clusters in this study, we determine weak-lensing masses that are in agreement with previous work. For Abell 3261, we provide the first estimates of redshift, weak-lensing mass, and richness. Additionally, the cluster-galaxy distributions indicate the presence of filamentary structures attached to 1E 0657-56 and RXC J2248.7-4431, stretching out as far as 1degree (approximately 20 Mpc), showcasing the potential of DECam and DES for detailed studies of degree-scale features on the sky.« less

  14. Independent Verification and Validation Of SAPHIRE 8 Volume 3 Users' Guide Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE 8 Volume 3 Users’ Guide is to assess the user documentation for its completeness, correctness, and consistency with respect to requirements for user interface and for any functionality that can be invoked by the user. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

  15. Wide-Field Lensing Mass Maps from Dark Energy Survey Science Verification Data

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Chang, C.

    2015-07-29

    We present a mass map reconstructed from weak gravitational lensing shear measurements over 139 deg2 from the Dark Energy Survey science verification data. The mass map probes both luminous and dark matter, thus providing a tool for studying cosmology. We also find good agreement between the mass map and the distribution of massive galaxy clusters identified using a red-sequence cluster finder. Potential candidates for superclusters and voids are identified using these maps. We measure the cross-correlation between the mass map and a magnitude-limited foreground galaxy sample and find a detection at the 6.8? level with 20 arc min smoothing. Thesemore »measurements are consistent with simulated galaxy catalogs based on N-body simulations from a cold dark matter model with a cosmological constant. This suggests low systematics uncertainties in the map. Finally, we summarize our key findings in this Letter; the detailed methodology and tests for systematics are presented in a companion paper.« less

  16. Observation and Confirmation of Six Strong Lensing Systems in The Dark Energy Survey Science Verification Data

    E-Print Network [OSTI]

    Nord, B; Lin, H; Diehl, H T; Helsby, J; Kuropatkin, N; Amara, A; Collett, T; Allam, S; Caminha, G; De Bom, C; Desai, S; Dúmet-Montoya, H; Pereira, M Elidaiana da S; Finley, D A; Flaugher, B; Furlanetto, C; Gaitsch, H; Gill, M; Merritt, K W; More, A; Tucker, D; Rykoff, E S; Rozo, E; Abdalla, F B; Agnello, A; Auger, M; Brunner, R J; Kind, M Carrasco; Castander, F J; Cunha, C E; da Costa, L N; Foley, R; Gerdes, D W; Glazebrook, K; Gschwend, J; Hartley, W; Kessler, R; Lagattuta, D; Lewis, G; Maia, M A G; Makler, M; Menanteau, F; Niernberg, A; Scolnic, D; Vieira, J D; Gramillano, R; Abbott, T M C; Banerji, M; Benoit-Lévy, A; Brooks, D; Burke, D L; Capozzi, D; Rosell, A Carnero; Carretero, J; D'Andrea, C B; Dietrich, J P; Doel, P; Evrard, A E; Frieman, J; Gaztanaga, E; Gruen, D; Honscheid, K; James, D J; Kuehn, K; Li, T S; Lima, M; Marshall, J L; Martini, P; Melchior, P; Miquel, R; Neilsen, E; Nichol, R C; Ogando, R; Plazas, A A; Romer, A K; Sako, M; Sanchez, E; Scarpine, V; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Walker, A R; Wester, W; Zhang, Y

    2015-01-01

    We report the observation and confirmation of the first group- and cluster-scale strong gravitational lensing systems found in Dark Energy Survey (DES) data. Through visual inspection of data from the Science Verification (SV) season, we identified 53 candidate systems. We then obtained spectroscopic follow-up of 21 candidates using the Gemini Multi-Object Spectrograph (GMOS) at the Gemini South telescope and the Inamori-Magellan Areal Camera and Spectrograph (IMACS) at the Magellan/Baade telescope. With this follow-up, we confirmed six candidates as gravitational lenses: Three of the systems are newly discovered, and the remaining three were previously known. Of the 21 observed candidates, the remaining 15 were either not detected in spectroscopic observations, were observed and did not exhibit continuum emission (or spectral features), or were ruled out as lensing systems. The confirmed sample consists of one group-scale and five galaxy cluster-scale lenses. The lensed sources range in redshift z ~ 0.80-3.2...

  17. Independent Verification and Validation

    E-Print Network [OSTI]

    Kemner, Ken

    : CMTS ­ Compliance Monitoring and Tracking System OSMAPS ­ Open Skies Management and Planning System&V. #12;A U.S. Department of Energy laboratory managed by UChicago Argonne, LLC Argonne's team of IV Opportunity Decision and Information Sciences Division Information Sciences Group More than ever, systems

  18. Final Report - Independent Verification Survey Activities at the Seperations Process Research Unit Sites, Niskayuna, New York

    SciTech Connect (OSTI)

    Evan Harpenau

    2011-03-15

    The Separations Process Research Unit (SPRU) complex located on the Knolls Atomic Power Laboratory (KAPL) site in Niskayuna, New York, was constructed in the late 1940s to research the chemical separation of plutonium and uranium (Figure A-1). SPRU operated as a laboratory scale research facility between February 1950 and October 1953. The research activities ceased following the successful development of the reduction oxidation and plutonium/uranium extraction processes. The oxidation and extraction processes were subsequently developed for large scale use by the Hanford and Savannah River sites (aRc 2008a). Decommissioning of the SPRU facilities began in October 1953 and continued through the 1990s.

  19. Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3

    SciTech Connect (OSTI)

    Groundwater, E.H.; Miller, L.A.; Mirsky, S.M.

    1995-03-01

    This report is the third volume in the final report for the Expert System Verification and Validation (V&V) project which was jointly sponsored by the Nuclear Regulatory Commission and the Electric Power Research Institute. The ultimate objective is the formulation of guidelines for the V&V of expert systems for use in nuclear power applications. The purpose of this activity was to survey and document techniques presently in use for expert system V&V. The survey effort included an extensive telephone interviewing program, site visits, and a thorough bibliographic search and compilation. The major finding was that V&V of expert systems is not nearly as established or prevalent as V&V of conventional software systems. When V&V was used for expert systems, it was almost always at the system validation stage after full implementation and integration usually employing the non-systematic dynamic method of {open_quotes}ad hoc testing.{close_quotes} There were few examples of employing V&V in the early phases of development and only weak sporadic mention of the possibilities in the literature. There is, however, a very active research area concerning the development of methods and tools to detect problems with, particularly, rule-based expert systems. Four such static-testing methods were identified which were not discovered in a comprehensive review of conventional V&V methods in an earlier task.

  20. Independent Verification and Validation Of SAPHIRE 8 Software Acceptance Test Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE 8 Software Acceptance Test Plan is to assess the approach to be taken for intended testing activities. The plan typically identifies the items to be tested, the requirements being tested, the testing to be performed, test schedules, personnel requirements, reporting requirements, evaluation criteria, and any risks requiring contingency planning. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

  1. Independent Verification and Validation Of SAPHIRE 8 Software Configuration Management Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2009-10-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE configuration management is to assess the activities that results in the process of identifying and defining the baselines associated with the SAPHIRE software product; controlling the changes to baselines and release of baselines throughout the life cycle; recording and reporting the status of baselines and the proposed and actual changes to the baselines; and verifying the correctness and completeness of baselines.. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

  2. Independent Verification and Validation Of SAPHIRE 8 Software Configuration Management Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE configuration management is to assess the activities that results in the process of identifying and defining the baselines associated with the SAPHIRE software product; controlling the changes to baselines and release of baselines throughout the life cycle; recording and reporting the status of baselines and the proposed and actual changes to the baselines; and verifying the correctness and completeness of baselines.. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

  3. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2

    SciTech Connect (OSTI)

    Mirsky, S.M.; Groundwater, E.H.; Hayes, J.E.; Miller, L.A. [Science Applications International Corp., McLean, VA (United States)

    1995-03-01

    By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of conventional software. The 153 methods so identified were classified according to their appropriateness for various phases of a developmental life-cycle -- requirements, design, and implementation; the last category was subdivided into two, static testing and dynamic testing methods. The methods were then characterized in terms of eight rating factors, four concerning ease-of-use of the methods and four concerning the methods` power to detect defects. Based on these factors, two measurements were developed to permit quantitative comparisons among methods, a Cost-Benefit metric and an Effectiveness Metric. The Effectiveness Metric was further refined to provide three different estimates for each method, depending on three classes of needed stringency of V&V (determined by ratings of a system`s complexity and required-integrity). Methods were then rank-ordered for each of the three classes by terms of their overall cost-benefits and effectiveness. The applicability was then assessed of each for the identified components of knowledge-based and expert systems, as well as the system as a whole.

  4. INDEPENDENT CONFIRMATORY SURVEY OF THE NUCLEAR RESEARCH LABORATORY AT THE UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN, ILLINOIS

    SciTech Connect (OSTI)

    EVAN M. HARPENAU

    2012-06-28

    ORAU conducted confirmatory survey activities within the NRL at the University during the week of May 7, 2012. The survey activities included visual inspections/ assessments, surface activity measurements, and volumetric concrete sampling activities. During the course of the confirmatory activities, ORAU noted several issues with the survey-for-release activities performed at the University. Issues included inconsistencies with: survey unit classifications were not designated according to Multi-Agency Radiation Survey and Site Investigation Manual guidance; survey instrument calibrations were not representative of the radionuclides of concern; calculations for instrumentation detection capabilities did not align with the release criteria discussed in the licensee’s survey guidance documents; total surface activity measurements were in excess of the release criteria; and Co-60 and Eu-152 concentrations in the confirmatory concrete samples were above their respective guidelines. Based on the significant programmatic issues identified, ORAU cannot independently conclude that the NRL satisfied the requirements and limits for release of materials without radiological restrictions.

  5. Wide-field lensing mass maps from Dark Energy Survey science verification data: Methodology and detailed analysis

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Vikram, V.; Sheldon, E.; Chang, C.; Jain, B.; Bacon, D.; Amara, A.; Becker, M. R.; Bernstein, G.; Bonnett, C.; Bridle, S.; et al

    2015-07-29

    Weak gravitational lensing allows one to reconstruct the spatial distribution of the projected mass density across the sky. These “mass maps” provide a powerful tool for studying cosmology as they probe both luminous and dark matter. In this paper, we present a weak lensing mass map reconstructed from shear measurements in a 139 deg2 area from the Dark Energy Survey science verification data. We compare the distribution of mass with that of the foreground distribution of galaxies and clusters. The overdensities in the reconstructed map correlate well with the distribution of optically detected clusters. We demonstrate that candidate superclusters andmore »voids along the line of sight can be identified, exploiting the tight scatter of the cluster photometric redshifts. We cross-correlate the mass map with a foreground magnitude-limited galaxy sample from the same data. Our measurement gives results consistent with mock catalogs from N-body simulations that include the primary sources of statistical uncertainties in the galaxy, lensing, and photo-z catalogs. The statistical significance of the cross-correlation is at the 6.8? level with 20 arcminute smoothing. We find that the contribution of systematics to the lensing mass maps is generally within measurement uncertainties. We analyze less than 3% of the final area that will be mapped by the DES; the tools and analysis techniques developed in this paper can be applied to forthcoming larger data sets from the survey.« less

  6. Wide-field lensing mass maps from Dark Energy Survey science verification data: Methodology and detailed analysis

    SciTech Connect (OSTI)

    Vikram, V.; Sheldon, E.; Chang, C.; Jain, B.; Bacon, D.; Amara, A.; Becker, M. R.; Bernstein, G.; Bonnett, C.; Bridle, S.; Brout, D.; Busha, M.; Frieman, J.; Gaztanaga, E.; Hartley, W.; Jarvis, M.; Kacprzak, T.; Kovacs, A.; Lahav, O.; Leistedt, B.; Lin, H.; Melchior, P.; Peiris, H.; Rozo, E.; Rykoff, E.; Sanchez, C.; Sheldon, E.; Troxel, M. A.; Wechsler, R.; Zuntz, J.; Abbott, T.; Abdalla, F. B.; Armstrong, R.; Banerji, M.; Bauer, A. H.; Benoit-Levy, A.; Bertin, E.; Brooks, D.; Buckley-Geer, E.; Burke, D. L.; Capozzi, D.; Carnero Rosell, A.; Kind, M. Carrasco; Castander, F. J.; Crocce, M.; Cunha, C. E.

    2015-07-29

    Weak gravitational lensing allows one to reconstruct the spatial distribution of the projected mass density across the sky. These “mass maps” provide a powerful tool for studying cosmology as they probe both luminous and dark matter. In this paper, we present a weak lensing mass map reconstructed from shear measurements in a 139 deg2 area from the Dark Energy Survey science verification data. We compare the distribution of mass with that of the foreground distribution of galaxies and clusters. The overdensities in the reconstructed map correlate well with the distribution of optically detected clusters. We demonstrate that candidate superclusters and voids along the line of sight can be identified, exploiting the tight scatter of the cluster photometric redshifts. We cross-correlate the mass map with a foreground magnitude-limited galaxy sample from the same data. Our measurement gives results consistent with mock catalogs from N-body simulations that include the primary sources of statistical uncertainties in the galaxy, lensing, and photo-z catalogs. The statistical significance of the cross-correlation is at the 6.8? level with 20 arcminute smoothing. We find that the contribution of systematics to the lensing mass maps is generally within measurement uncertainties. We analyze less than 3% of the final area that will be mapped by the DES; the tools and analysis techniques developed in this paper can be applied to forthcoming larger data sets from the survey.

  7. An on-line human signature verification system 

    E-Print Network [OSTI]

    Simsek, Burc A

    2000-01-01

    A study on human signature verification is presented. A literature survey of current and past methodologies for on-line signature verification is followed by a new approach to the problem of on-line signature verification. ...

  8. 20122013 Verification Worksheet Independent Student

    E-Print Network [OSTI]

    Bieber, Michael

    Statement as of the FAFSA filing date. · Do you or your spouse own a business (S-Corp and Partnerships

  9. FINANCIAL SUPPORT VERIFICATION Independent student

    E-Print Network [OSTI]

    Minnesota, University of

    food or clothing provided by a relative or friend. In these cases, please estimate the annual cost you. This form is printed on paper made from no less than 20 percent post-consumer waste. FA934--Page 1 of 1 5 Entertainment Food Insurance (medical, life, property, auto) Laundry, dry cleaning Rent or mortgage Telephone

  10. FINANCIAL SUPPORT VERIFICATION Independent student

    E-Print Network [OSTI]

    Minnesota, University of

    food or clothing provided by a relative or friend. In these cases, please estimate the annual cost you. This form is printed on paper made from no less than 20 percent post-consumer waste. FA934--Page 1 of 1 12 Entertainment Food Insurance (medical, life, property, auto) Laundry, dry cleaning Rent or mortgage Telephone

  11. TYPE A VERIFICATION REPORT FOR THE HIGH FLUX BEAM REACTOR STACK AND GROUNDS, BROOKHAVEN NATIONAL LABORATORY, UPTON, NEW YORK DCN 5098-SR-08-0

    SciTech Connect (OSTI)

    Evan Harpenau

    2011-11-30

    The U.S. Department of Energy (DOE) Order 458.1 requires independent verification (IV) of DOE cleanup projects (DOE 2011). The Oak Ridge Institute for Science and Education (ORISE) has been designated as the responsible organization for IV of the High Flux Beam Reactor (HFBR) Stack and Grounds area at Brookhaven National Laboratory (BNL) in Upton, New York. The IV evaluation may consist of an in-process inspection with document and data reviews (Type A Verification) or a confirmatory survey of the site (Type B Verification). DOE and ORISE determined that a Type A verification of the documents and data for the HFBR Stack and Grounds: Survey Units (SU) 6, 7, and 8 was appropriate based on the initial survey unit classification, the walkover surveys, and the final analytical results provided by the Brookhaven Science Associates (BSA).

  12. "INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE FORD NUCLEAR REACTOR, REVISION 1, ANN ARBOR, MICHIGAN

    SciTech Connect (OSTI)

    ALTIC, NICK A

    2013-08-01

    At the NRC?s request, ORAU conducted confirmatory surveys of the FNR during the period of December 4 through 6, 2012. The survey activities included visual inspections and measurement and sampling activities. Confirmatory activities also included the review and assessment of UM?s project documentation and methodologies. Surface scans identified elevated activity in two areas. The first area was on a wall outside of Room 3103 and the second area was in the southwest section on the first floor. The first area was remediated to background levels. However, the second area was due to gamma shine from a neighboring source storage area. A retrospective analysis of UM?s FSS data shows that for the SUs investigated by the ORAU survey team, UM met the survey requirements set forth in the FSSP. The total mean surface activity values were directly compared with the mean total surface activity reported by UM. Mean surface activity values determined by UM were within two standard deviations of the mean determined by ORAU. Additionally, all surface activity values were less than the corresponding gross beta DCGL{sub W}. Laboratory analysis of the soil showed that COC concentrations were less than the respective DCGL{sub W} values. For the inter-lab comparison, the DER was above 3 for only one sample. However, since the sum of fractions for each of the soil samples was below 1, thus none of the samples would fail to meet release guidelines. Based on the findings of the side-by-side direct measurements, and after discussion with the NRC and ORAU, UM decided to use a more appropriate source efficiency in their direct measurement calculations and changed their source efficiency from 0.37 to 0.25.

  13. INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE FORD NUCLEAR REACTOR, ANN ARBOR, MICHIGAN

    SciTech Connect (OSTI)

    ALTIC, NICK A

    2013-07-25

    At the NRC?s request, ORAU conducted confirmatory surveys of the FNR during the period of December 4 through 6, 2012. The survey activities included visual inspections and measurement and sampling activities. Confirmatory activities also included the review and assessment of UM?s project documentation and methodologies. Surface scans identified elevated activity in two areas. The first area was on a wall outside of Room 3103 and the second area was in the southwest section on the first floor. The first area was remediated to background levels. However, the second area was due to gamma shine from a neighboring source storage area. A retrospective analysis of UM?s FSS data shows that for the SUs investigated by the ORAU survey team, UM met the survey requirements set forth in the FSSP. The total mean surface activity values were directly compared with the mean total surface activity reported by UM. Mean surface activity values determined by UM were within two standard deviations of the mean determined by ORAU. Additionally, all surface activity values were less than the corresponding gross beta DCGLW. Laboratory analysis of the soil showed that COC concentrations were less than the respective DCGLW values. For the inter-lab comparison, the DER was above 3 for only one sample. However, since the sum of fractions for each of the soil samples was below 1, thus none of the samples would fail to meet release guidelines. Based on the findings of the side-by-side direct measurements, and after discussion with the NRC and ORAU, UM decided to use a more appropriate source efficiency in their direct measurement calculations and changed their source efficiency from 0.37 to 0.25.

  14. Verification and Validation of Hybrid Systems

    E-Print Network [OSTI]

    Jin, Xiaoqing

    2013-01-01

    Mathur. Foundations of software testing. Pearson Education,decision coverage to software testing. Software Engineeringmodel checkers: a survey. Software Testing, Verification and

  15. FINAL REPORT FOR INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE HEMATITE DECOMMISSIONING PROJECT, FESTUS, MISSOURI

    SciTech Connect (OSTI)

    Bailey, Erika N.; Lee, Jason D.

    2012-09-21

    ORAU conducted confirmatory surveys of the Hematite site during the period of June 12 through June 13, 2012. The survey activities included in-process inspections, document review, walkover surveys, sampling activities, and laboratory analysis of split samples. WEC was forthcoming with information relating to practices, procedures, and surface scan results. Scans performed by the WEC technician were extremely thorough and methodical. The WEC and ORAU technicians identified the same areas of elevated activity with comparable detector responses. WEC sampling of re-use soils, waste soils, sediments, and groundwater were conducted under ORAU observation. The sampling efforts observed by ORAU were performed in accordance with site-specific procedures and in a manner sufficient to provide quality supporting data. Three observations were made during groundwater sampling activities. First, the water level indicator was re-used without submitting rinse blank. Second, bubbles created during tubing extraction could indicate the presence of volatilized organic compounds. Third, samplers did not use a photo ionization detector prior to sample collection to indicate the presence of volatile organic vapors. Results of split samples indicated a high level of comparability between the WEC and ORAU/ORISE radiological laboratories. Analytical practices and procedures appear to be sufficient in providing quality radiochemical data. All concentrations from the Soil Re-Use Area and sediment samples are below Uniform radionuclide-specific derived concentration guideline level (DCGL{sub W}) limits; thus, comparisons to the less conservative stratified geometry were not required. Results were compared to individual DCGLs and using the sum of fractions approach. Both composite soil samples collected from the Waste Handling Area (Bins 1 and 4) were well below the prescribed USEI waste acceptance criteria.

  16. Independent Verification and Validation Of SAPHIRE 8 Software Quality Assurance Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01

    This report provides an evaluation of the Software Quality Assurance Plan. The Software Quality Assurance Plan is intended to ensure all actions necessary for the software life cycle; verification and validation activities; documentation and deliverables; project management; configuration management, nonconformance reporting and corrective action; and quality assessment and improvement have been planned and a systematic pattern of all actions necessary to provide adequate confidence that a software product conforms to established technical requirements; and to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

  17. Independent Verification and Validation Of SAPHIRE 8 Software Quality Assurance Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01

    This report provides an evaluation of the Software Quality Assurance Plan. The Software Quality Assurance Plan is intended to ensure all actions necessary for the software life cycle; verification and validation activities; documentation and deliverables; project management; configuration management, nonconformance reporting and corrective action; and quality assessment and improvement have been planned and a systematic pattern of all actions necessary to provide adequate confidence that a software product conforms to established technical requirements; and to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

  18. 2012 Independent Communication and Outreach Stakeholder Satisfaction...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    2 Independent Communication and Outreach Stakeholder Satisfaction Survey 2012 Independent Communication and Outreach Stakeholder Satisfaction Survey DOE-LM periodically surveys its...

  19. Independent Oversight Review, Portsmouth Gaseous Diffusion Plant...

    Office of Environmental Management (EM)

    April 2013 Independent Oversight Review, Portsmouth Gaseous Diffusion Plant - April 2013 April 2013 Review of the Integrated Safety Management System Phase I Verification Review at...

  20. Independent Verification Survey Report for the Offsite Portion of the Potential Release Site-7 Abandoned Sanitary Line, Miamisburg Closure Project, Miamisburg, Ohio

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-08-15

    The ORISE objective was to confirm that the remedial action process implemented by the contractor was in accordance with the PRS-7 Work Package. Following removal of the sanitary line, the soil beneath the line would be sampled to determine if remediation was required (ARC 2007a).

  1. REVISED FINAL REPORT – INDEPENDENT VERIFICATION SURVEY ACTIVITIES AT THE SEPARATIONS PROCESS RESEARCH UNIT SITES, NISKAYUNA, NEW YORK – DCN 0496-SR-06-1

    SciTech Connect (OSTI)

    Evan Harpenau

    2011-10-10

    The Separations Process Research Unit (SPRU) complex located on the Knolls Atomic Power Laboratory (KAPL) site in Niskayuna, New York, was constructed in the late 1940s to research the chemical separation of plutonium and uranium (Figure A-1). SPRU operated as a laboratory scale research facility between February 1950 and October 1953. The research activities ceased following the successful development of the reduction oxidation and plutonium/uranium extraction processes. The oxidation and extraction processes were subsequently developed for large scale use by the Hanford and Savannah River sites (aRc 2008a). Decommissioning of the SPRU facilities began in October 1953 and continued through the 1990s.

  2. Final Report Independent Verification Survey of the High Flux Beam Reactor, Building 802 Fan House Brookhaven National Laboratory Upton, New York

    SciTech Connect (OSTI)

    Evan Harpeneau

    2011-06-24

    The Separations Process Research Unit (SPRU) complex located on the Knolls Atomic Power Laboratory (KAPL) site in Niskayuna, New York, was constructed in the late 1940s to research the chemical separation of plutonium and uranium (Figure A-1). SPRU operated as a laboratory scale research facility between February 1950 and October 1953. The research activities ceased following the successful development of the reduction oxidation and plutonium/uranium extraction processes. The oxidation and extraction processes were subsequently developed for large scale use by the Hanford and Savannah River sites (aRc 2008a). Decommissioning of the SPRU facilities began in October 1953 and continued through the 1990s.

  3. THE ASSESSMENT PHASE OF THE DATA LIFE CYCLE The assessment phase of the Data Life Cycle includes verification and validation of the survey

    E-Print Network [OSTI]

    APPENDIX E THE ASSESSMENT PHASE OF THE DATA LIFE CYCLE The assessment phase of the Data Life Cycle verification, data validation and DQA fit into the Assessment Phase of the Data Life Cycle. There are five/VERIFIED DATA CONCLUSIONS DRAWN FROM DATA Figure E.1 The Assessment Phase of the Data Life Cycle (EPA 1996a

  4. Surveys

    Broader source: Energy.gov [DOE]

    Surveys can be a useful way to gauge the opinions of your readers and learn more about your website's audiences, but you'll often need approval from the Office of Management and Budget (OMB) to run...

  5. Verification Testing Test Driven Development Testing with JUnit Verification

    E-Print Network [OSTI]

    Peters, Dennis

    Verification Testing Test Driven Development Testing with JUnit Verification Any activity should be verified. #12;Verification Testing Test Driven Development Testing with JUnit Approaches to verification 1 Testing 2 Static Analysis · Peer review · Insepction/Walk-through/Structured review · Formal

  6. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect (OSTI)

    YANOCHKO, R.M.

    2000-01-27

    This document was prepared as part of an independent review to explain design verification activities already completed, and to define the remaining design verification actions for the Fuel Retrieval System. The Fuel Retrieval Subproject was established as part of the Spent Nuclear Fuel Project (SNF Project) to retrieve and repackage the SNF located in the K Basins. The Fuel Retrieval System (FRS) construction work is complete in the KW Basin, and start-up testing is underway Design modifications and construction planning are also underway for the KE Basin. An independent review of the design verification process as applied to the K Basin projects was initiated in support of preparation for the SNF Project operational readiness review (ORR).

  7. Distributed Runtime Verification of JADE Multiagent Systems

    E-Print Network [OSTI]

    Mascardi, Viviana

    to a given global protocol is of paramount importance for most systems, and is mandatory for safety-critical of the verification activities. Reducing the log files dimension, re-implementing the monitor in a way independent in the JADE Homepage. FYPA (Find Your Path, Agent! [6, 7, 8]) is another industrial MAS developed in JADE

  8. ORISE: The Value of Independence, a white paper on DOE Order...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    the independent verification of nuclear cleanup activities as an added layer of protection for the public to help ensure that former nuclear sites are safe for reuse. While...

  9. Fuel Retrieval System Design Verification Report

    SciTech Connect (OSTI)

    GROTH, B.D.

    2000-04-11

    The Fuel Retrieval Subproject was established as part of the Spent Nuclear Fuel Project (SNF Project) to retrieve and repackage the SNF located in the K Basins. The Fuel Retrieval System (FRS) construction work is complete in the KW Basin, and start-up testing is underway. Design modifications and construction planning are also underway for the KE Basin. An independent review of the design verification process as applied to the K Basin projects was initiated in support of preparation for the SNF Project operational readiness review (ORR). A Design Verification Status Questionnaire, Table 1, is included which addresses Corrective Action SNF-EG-MA-EG-20000060, Item No.9 (Miller 2000).

  10. Orc Verification Jayadev Misra

    E-Print Network [OSTI]

    Misra, Jayadev

    Orc Verification Jayadev Misra Department of Computer Science University of Texas at Austin http://orc.csres.utexas.edu WG 2.3, St. Petersburg June 5, 2013 #12;Orc Verification has been a disaster · Concurrency everywhere events but temporal ordering · Basic orc has no mutable variables, but sites do · Full functional

  11. Texas Independence Hall 

    E-Print Network [OSTI]

    Raiford Stripling Associates, Inc.; Stripling, Raiford L.

    2011-08-29

    Brazos Valley Research Associates (BVRA) conducted a 100% pedestrian survey of an 85 acre tract of land, the site of the proposed Bay City Independent School District High School in north-central Matagorda County, Texas on May 23-24, 1999...

  12. Voltage verification unit

    DOE Patents [OSTI]

    Martin, Edward J. (Virginia Beach, VA)

    2008-01-15

    A voltage verification unit and method for determining the absence of potentially dangerous potentials within a power supply enclosure without Mode 2 work is disclosed. With this device and method, a qualified worker, following a relatively simple protocol that involves a function test (hot, cold, hot) of the voltage verification unit before Lock Out/Tag Out and, and once the Lock Out/Tag Out is completed, testing or "trying" by simply reading a display on the voltage verification unit can be accomplished without exposure of the operator to the interior of the voltage supply enclosure. According to a preferred embodiment, the voltage verification unit includes test leads to allow diagnostics with other meters, without the necessity of accessing potentially dangerous bus bars or the like.

  13. Nuclear Verification | National Nuclear Security Administration

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformationJesseworkSURVEY UNIVERSE The 2014 survey includesScienceFacilityVerification

  14. SQA_CodeVerification_Survey_FINAL

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservation of Fe(II) byMultidayAlumni > The2/01/12 Page 1 ofSuper1 THISSPOT

  15. Verification and validation benchmarks.

    SciTech Connect (OSTI)

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01

    Verification and validation (V&V) are the primary means to assess the accuracy and reliability of computational simulations. V&V methods and procedures have fundamentally improved the credibility of simulations in several high-consequence fields, such as nuclear reactor safety, underground nuclear waste storage, and nuclear weapon safety. Although the terminology is not uniform across engineering disciplines, code verification deals with assessing the reliability of the software coding, and solution verification deals with assessing the numerical accuracy of the solution to a computational model. Validation addresses the physics modeling accuracy of a computational simulation by comparing the computational results with experimental data. Code verification benchmarks and validation benchmarks have been constructed for a number of years in every field of computational simulation. However, no comprehensive guidelines have been proposed for the construction and use of V&V benchmarks. For example, the field of nuclear reactor safety has not focused on code verification benchmarks, but it has placed great emphasis on developing validation benchmarks. Many of these validation benchmarks are closely related to the operations of actual reactors at near-safety-critical conditions, as opposed to being more fundamental-physics benchmarks. This paper presents recommendations for the effective design and use of code verification benchmarks based on manufactured solutions, classical analytical solutions, and highly accurate numerical solutions. In addition, this paper presents recommendations for the design and use of validation benchmarks, highlighting the careful design of building-block experiments, the estimation of experimental measurement uncertainty for both inputs and outputs to the code, validation metrics, and the role of model calibration in validation. It is argued that the understanding of predictive capability of a computational model is built on the level of achievement in V&V activities, how closely related the V&V benchmarks are to the actual application of interest, and the quantification of uncertainties related to the application of interest.

  16. Weak lensing by galaxy troughs in DES Science Verification data

    E-Print Network [OSTI]

    Gruen, D; Amara, A; Bacon, D; Bonnett, C; Hartley, W; Jain, B; Jarvis, M; Kacprzak, T; Krause, E; Mana, A; Rozo, E; Rykoff, E S; Seitz, S; Sheldon, E; Troxel, M A; Vikram, V; Abbott, T; Abdalla, F B; Allam, S; Armstrong, R; Banerji, M; Bauer, A H; Becker, M R; Benoit-Levy, A; Bernstein, G M; Bernstein, R A; Bertin, E; Bridle, S L; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Carretero, J; Crocce, M; Cunha, C E; D'Andrea, C B; da Costa, L N; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Eifler, T F; Neto, A Fausti; Fernandez, E; Flaugher, B; Fosalba, P; Frieman, J; Gerdes, D W; Gruendl, R A; Gutierrez, G; Honscheid, K; James, D J; Kuehn, K; Kuropatkin, N; Lahav, O; Li, T S; Lima, M; Maia, M A G; March, M; Martini, P; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Nord, B; Ogando, R; Plazas, A A; Reil, K; Romer, A K; Roodman, A; Sako, M; Sanchez, E; Scarpine, V; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Thomas, D; Walker, A R; Wechsler, R H; Weller, J; Zhang, Y; Zuntz, J

    2015-01-01

    We measure the weak lensing shear around galaxy troughs, i.e. the radial alignment of background galaxies relative to underdensities in projections of the foreground galaxy field over a wide range of redshift in Science Verification data from the Dark Energy Survey. Our detection of the shear signal is highly significant (10 to 15sigma for the smallest angular scales) for troughs with the redshift range z in [0.2,0.5] of the projected galaxy field and angular diameters of 10'...1{\\deg}. These measurements probe the connection between the galaxy, matter density, and convergence fields. By assuming galaxies are biased tracers of the matter density with Poissonian noise, we find agreement of our measurements with predictions in a fiducial LambdaCDM model. The prediction for the lensing signal on large trough scales is virtually independent of the details of the underlying model for the connection of galaxies and matter. Our comparison of the shear around troughs with that around cylinders with large galaxy count...

  17. Verification in Loosely Synchronous Queue-Connected Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

    , the expressive power of timed automata has many limitations in modeling, since many real-time systems are simply. We look at a model of a queue system that consists of the following components: 1. Two discrete timed model for investigating verification problems of real-time sys- tems (see [1, 30] for surveys). However

  18. Verification in Loosely Synchronous QueueConnected Discrete Timed Automata ?

    E-Print Network [OSTI]

    Dang, Zhe

    , the expressive power of timed automata has many limitations in modeling, since many real­time systems are simply. We look at a model of a queue system that consists of the following components: 1. Two discrete timed model for investigating verification problems of real­time sys­ tems (see [1, 30] for surveys). However

  19. SAPHIRE 8 Software Independent Verification and Validation Plan

    SciTech Connect (OSTI)

    Rae J. Nims; Kent M. Norris

    2010-02-01

    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.

  20. SAPHIRE 8 Software Independent Verification and Validation Plan

    SciTech Connect (OSTI)

    Rae J. Nims

    2009-04-01

    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.

  1. On Incremental Quantitative Verification for Probabilistic Systems

    E-Print Network [OSTI]

    Oxford, University of

    . Quantitative verification is an automated method to establish quantitative properties of a system model, non- probabilistic verification, which, in addition to exhaustive exploration of a system modelOn Incremental Quantitative Verification for Probabilistic Systems Marta Kwiatkowska, David Parker

  2. SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. (2014)

    E-Print Network [OSTI]

    2014-01-01

    SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. (2014) Published online. INTRODUCTION As software evolves, engineers regression test it to validate new features and detect whether new in Wiley Online Library (wileyonlinelibrary.com). DOI: 10.1002/stvr.1562 Directed test suite augmentation

  3. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15

    This Software Verification and Validation procedure provides the action steps for the Tank Waste Information Network System (TWINS) testing process. The primary objective of the testing process is to provide assurance that the software functions as intended, and meets the requirements specified by the client. Verification and validation establish the primary basis for TWINS software product acceptance.

  4. Model Verification and Validation

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformationJessework uses concrete7 AssessmentBusinessAlternativeModel Verification and

  5. Independent Communication and Outreach Stakeholder Satisfaction Survey

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergy HeadquartersFuelBConservation StandardsEnergy In CaseFebruary 2013 |Departmentof2

  6. Revised FINAL–REPORT NO. 2: INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE ENRICO FERMI ATOMIC POWER PLANT, UNIT 1, NEWPORT, MICHIGAN (DOCKET NO. 50 16; RFTA 10-004) 2018-SR-02-1

    SciTech Connect (OSTI)

    Erika Bailey

    2011-10-27

    The Enrico Fermi Atomic Power Plant, Unit 1 (Fermi 1) was a fast breeder reactor design that was cooled by sodium and operated at essentially atmospheric pressure. On May 10, 1963, the Atomic Energy Commission (AEC) granted an operating license, DPR-9, to the Power Reactor Development Company (PRDC), a consortium specifically formed to own and operate a nuclear reactor at the Fermi 1 site. The reactor was designed for a maximum capability of 430 megawatts (MW); however, the maximum reactor power with the first core loading (Core A) was 200 MW. The primary system was filled with sodium in December 1960 and criticality was achieved in August 1963. The reactor was tested at low power during the first couple years of operation. Power ascension testing above 1 MW commenced in December 1965 immediately following the receipt of a high-power operating license. In October 1966 during power ascension, zirconium plates at the bottom of the reactor vessel became loose and blocked sodium coolant flow to some fuel subassemblies. Two subassemblies started to melt and the reactor was manually shut down. No abnormal releases to the environment occurred. Forty-two months later after the cause had been determined, cleanup completed, and the fuel replaced, Fermi 1 was restarted. However, in November 1972, PRDC made the decision to decommission Fermi 1 as the core was approaching its burn-up limit. The fuel and blanket subassemblies were shipped off-site in 1973. Following that, the secondary sodium system was drained and sent off-site. The radioactive primary sodium was stored on-site in storage tanks and 55 gallon (gal) drums until it was shipped off-site in 1984. The initial decommissioning of Fermi 1 was completed in 1975. Effective January 23, 1976, DPR-9 was transferred to the Detroit Edison Company (DTE) as a 'possession only' license (DTE 2010a). This report details the confirmatory activities performed during the second Oak Ridge Institute for Science and Education (ORISE) site visit to Fermi 1 in November 2010. The survey was strategically planned during a Unit 2 (Fermi 2) outage to take advantage of decreased radiation levels that were observed and attributed to Fermi 2 from the operating unit during the first site visit. However, during the second visit there were elevated radiation levels observed and attributed to the partially dismantled Fermi 1 reactor vessel and a waste storage box located on the 3rd floor of the Fermi 1 Turbine Building. Confirmatory surveys (unshielded) performed directly in the line of sight of these areas were affected. The objective of the confirmatory survey was to verify that the final radiological conditions were accurately and adequately described in Final Status Survey (FSS) documentation, relative to the established release criteria. This objective was achieved by performing document reviews, as well as independent measurements and sampling. Specifically, documentation of the planning, implementation, and results of the FSS were evaluated; side-by-side FSS measurement and source comparisons were performed; site areas were evaluated relative to appropriate FSS classification; and areas were assessed for residual, undocumented contamination.

  7. Runtime verification for stochastic systems

    E-Print Network [OSTI]

    Wilcox, Cristina M

    2010-01-01

    We desire a capability for the safety monitoring of complex, mixed hardware/software systems, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software ...

  8. Design for manufacturability Design verification

    E-Print Network [OSTI]

    Patel, Chintan

    ITRS Design #12;Design · Design for manufacturability · Design verification #12;Design for Manufacturability · Architecture challenges · Logic and circuit challenges · Layout and physical design challenges · Expected to be the source of multiple DFM challenges · Invest in variability reduction or design

  9. Independent Peer Reviews

    SciTech Connect (OSTI)

    2012-03-16

    Independent Assessments: DOE's Systems Integrator convenes independent technical reviews to gauge progress toward meeting specific technical targets and to provide technical information necessary for key decisions.

  10. Monitoring, Verification and Reporting: Improving Compliance...

    Open Energy Info (EERE)

    GHG inventory, Policiesdeployment programs Resource Type: Guidemanual Website: www.iea.orgpaperspathwaysmonitoring.pdf Monitoring, Verification and Reporting: Improving...

  11. Technical challenges for dismantlement verification

    SciTech Connect (OSTI)

    Olinger, C.T.; Stanbro, W.D.; Johnston, R.G.; Nakhleh, C.W.; Dreicer, J.S.

    1997-11-01

    In preparation for future nuclear arms reduction treaties, including any potential successor treaties to START I and II, the authors have been examining possible methods for bilateral warhead dismantlement verification. Warhead dismantlement verification raises significant challenges in the political, legal, and technical arenas. This discussion will focus on the technical issues raised by warhead arms controls. Technical complications arise from several sources. These will be discussed under the headings of warhead authentication, chain-of-custody, dismantlement verification, non-nuclear component tracking, component monitoring, and irreversibility. The authors will discuss possible technical options to address these challenges as applied to a generic dismantlement and disposition process, in the process identifying limitations and vulnerabilities. They expect that these considerations will play a large role in any future arms reduction effort and, therefore, should be addressed in a timely fashion.

  12. Verification = Specification + Deduction + Computation + Abstraction Logical foundations

    E-Print Network [OSTI]

    Jouannaud, Jean-Pierre

    of powerful, secure, interactive tools #12;Verification Given a system to be analyzed, 1. elaborate a model, interactive tools #12;Verification Given a system to be analyzed, 1. elaborate a model of the system. 2. Test;Verification Given a system to be analyzed, 1. elaborate a model of the system. 2. Test some liveness property

  13. Symbolic Verification of Timed Asynchronous Hardware Protocols

    E-Print Network [OSTI]

    Stevens, Ken

    of system level verification by applying symbolic model checking techniques to help mitigate the state constraints into verification models to prove timed behavioral correctness of systems employing timed protocol to model timing in asynchronous hardware protocols ­ a novel mapping of tim- ing into the verification flow

  14. Incremental Power Grid Verification ECE Department

    E-Print Network [OSTI]

    Najm, Farid N.

    Incremental Power Grid Verification Abhishek ECE Department University of Toronto Toronto, Ontario, Canada f.najm@utoronto.ca ABSTRACT Verification of the on-die power grid is a key step in the design General Terms Performance, Algorithms, Verification Keywords Power Grid, voltage drop 1. INTRODUCTION

  15. Type A verification report for the high flux beam reactor stack and grounds, Brookhaven National Laboratory, Upton, New York

    SciTech Connect (OSTI)

    Harpenau, Evan M.

    2012-01-13

    The U.S. Department of Energy (DOE) Order 458.1 requires independent verification (IV) of DOE cleanup projects (DOE 2011). The Oak Ridge Institute for Science and Education (ORISE) has been designated as the responsible organization for IV of the High Flux Beam Reactor (HFBR) Stack and Grounds area at Brookhaven National Laboratory (BNL) in Upton, New York. The IV evaluation may consist of an in-process inspection with document and data reviews (Type A Verification) or a confirmatory survey of the site (Type B Verification). DOE and ORISE determined that a Type A verification of the documents and data for the HFBR Stack and Grounds: Survey Units (SU) 6, 7, and 8 was appropriate based on the initial survey unit classification, the walkover surveys, and the final analytical results provided by the Brookhaven Science Associates (BSA). The HFBR Stack and Grounds surveys began in June 2011 and were completed in September 2011. Survey activities by BSA included gamma walkover scans and sampling of the as-left soils in accordance with the BSA Work Procedure (BNL 2010a). The Field Sampling Plan - Stack and Remaining HFBR Outside Areas (FSP) stated that gamma walk-over surveys would be conducted with a bare sodium iodide (NaI) detector, and a collimated detector would be used to check areas with elevated count rates to locate the source of the high readings (BNL 2010b). BSA used the Mult- Agency Radiation Survey and Site Investigation Manual (MARSSIM) principles for determining the classifications of each survey unit. Therefore, SUs 6 and 7 were identified as Class 1 and SU 8 was deemed Class 2 (BNL 2010b). Gamma walkover surveys of SUs 6, 7, and 8 were completed using a 2?2 NaI detector coupled to a data-logger with a global positioning system (GPS). The 100% scan surveys conducted prior to the final status survey (FSS) sampling identified two general soil areas and two isolated soil locations with elevated radioactivity. The general areas of elevated activity identified were investigated further with a collimated NaI detector. The uncollimated average gamma count rate was less than 15,000 counts per minute (cpm) for the SU 6, 7, and 8 composite area (BNL 2011a). Elevated count rates were observed in portions of each survey unit. The general areas of elevated counts near the Building 801 ventilation and operations and the entry to the Stack were determined to be directly related to the radioactive processes in those structures. To compensate for this radioactive shine, a collimated or shielded detector was used to lower the background count rate (BNL 2011b and c). This allowed the surveyor(s) to distinguish between background and actual radioactive contamination. Collimated gamma survey count rates in these shine affected areas were below 9,000 cpm (BNL 2011a). The average background count rate of 7,500 cpm was reported by BSA for uncollimated NaI detectors (BNL 2011d). The average collimated background ranged from 4,500-6,500 cpm in the westernmost part of SU 8 and from 2,000-3,500 cpm in all other areas (BNL 2011e). Based on these data, no further investigations were necessary for these general areas. SU 8 was the only survey unit that exhibited verified elevated radioactivity levels. The first of two isolated locations of elevated radioactivity had an uncollimated direct measurement of 50,000 cpm with an area background of 7,500 cpm (BNL 2011f). The second small area exhibiting elevated radiation levels was identified at a depth of 6 inches from the surface. The maximum reported count rate of 28,000 cpm was observed during scanning (BNL 2011g). The affected areas were remediated, and the contaminated soils were placed in an intermodal container for disposal. BSA's post-remediation walkover surveys were expanded to include a 10-foot radius around the excavated locations, and it was determined that further investigation was not required for these areas (BNL 2011 f and g). The post-remediation soil samples were collected and analyzed with onsite gamma spectroscopy equipment. These samples were also included with the FSS s

  16. Verification Monitoring Report

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouthReport for the t-) S/,,5 'a C O09 This page intentionallySURVEY

  17. Radiography Facility - Building 239 Independent Validation Review

    SciTech Connect (OSTI)

    Altenbach, T J; Beaulieu, R A; Watson, J F; Wong, H J

    2010-02-02

    The purpose of this task was to perform an Independent Validation Review to evaluate the successful implementation and effectiveness of Safety Basis controls, including new and revised controls, to support the implementation of a new DSA/TSR for B239. This task addresses Milestone 2 of FY10 PEP 7.6.6. As the first IVR ever conducted on a LLNL nuclear facility, it was designated a pilot project. The review follows the outline developed for Milestone 1 of the PEP, which is based on the DOE Draft Guide for Performance of Independent Verification Review of Safety Basis Controls. A formal Safety Basis procedure will be developed later, based on the lessons learned with this pilot project. Note, this review is termed a ''Validation'' in order to be consistent with the PEP definition and address issues historically raised about verification mechanisms at LLNL. Validation is intended to confirm that implementing mechanisms realistically establish the ability of TSR LCO, administrative control or safety management program to accomplish its intended safety function and that the controls are being implemented. This effort should not, however, be confused with a compliance assessment against all relevant DOE requirements and national standards. Nor is it used as a vehicle to question the derivation of controls already approved by LSO unless a given TSR statement simply cannot be implemented as stated.

  18. Galaxy bias from the DES Science Verification Data: combining galaxy density maps and weak lensing maps

    E-Print Network [OSTI]

    Chang, C; Gaztanaga, E; Amara, A; Refregier, A; Bacon, D; Becker, M R; Bonnett, C; Carretero, J; Castander, F J; Crocce, M; Fosalba, P; Giannantonio, T; Hartley, W; Jain, B; Jarvis, M; Kacprzak, T; Ross, A J; Sheldon, E; Troxel, M A; Vikram, V; Zuntz, J; Abbott, T M C; Abdalla, F B; Allam, S; Annis, J; Benoit-Levy, A; Bertin, E; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Cunha, C E; D'Andrea, C B; da Costa, L N; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Eifler, T F; Estrada, J; Evrard, A E; Flaugher, B; Frieman, J; Goldstein, D A; Gruen, D; Gruendl, R A; Gutierrez, G; Honscheid, K; James, D J; Kuehn, K; Kuropatkin, N; Lahav, O; Li, T S; Lima, M; Marshall, J L; Martini, P; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Nichol, R C; Nord, B; Ogando, R; Plazas, A A; Reil, K; Romer, A K; Roodman, A; Rykoff, E S; Sanchez, E; Scarpine, V; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thomas, D; Walker, A R

    2016-01-01

    We measure the redshift evolution of galaxy bias from a magnitude-limited galaxy sample by combining the galaxy density maps and weak lensing shear maps for a $\\sim$116 deg$^{2}$ area of the Dark Energy Survey (DES) Science Verification data. This method was first developed in Amara et al. (2012) and later re-examined in a companion paper (Pujol et al., in prep) with rigorous simulation tests and analytical treatment of tomographic measurements. In this work we apply this method to the DES SV data and measure the galaxy bias for a magnitude-limited galaxy sample. We find the galaxy bias and 1$\\sigma$ error bars in 4 photometric redshift bins to be 1.33$\\pm$0.18 (z=0.2-0.4), 1.19$\\pm$0.23 (z=0.4-0.6), 0.99$\\pm$0.36 ( z=0.6-0.8), and 1.66$\\pm$0.56 (z=0.8-1.0). These measurements are consistent at the 1-2$\\sigma$ level with mea- surements on the same dataset using galaxy clustering and cross-correlation of galaxies with CMB lensing. In addition, our method provides the only $\\sigma_8$-independent constraint amon...

  19. Nuclear Data Verification and Standardization

    SciTech Connect (OSTI)

    Karam, Lisa R.; Arif, Muhammad; Thompson, Alan K.

    2011-10-01

    The objective of this interagency program is to provide accurate neutron interaction verification and standardization data for the U.S. Department of Energy Division of Nuclear Physics programs which include astrophysics, radioactive beam studies, and heavy-ion reactions. The measurements made in this program are also useful to other programs that indirectly use the unique properties of the neutron for diagnostic and analytical purposes. These include homeland security, personnel health and safety, nuclear waste disposal, treaty verification, national defense, and nuclear based energy production. The work includes the verification of reference standard cross sections and related neutron data employing the unique facilities and capabilities at NIST and other laboratories as required; leadership and participation in international intercomparisons and collaborations; and the preservation of standard reference deposits. An essential element of the program is critical evaluation of neutron interaction data standards including international coordinations. Data testing of critical data for important applications is included. The program is jointly supported by the Department of Energy and the National Institute of Standards and Technology.

  20. Modeling and Verification of a Distributed Transmission Protocol Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    -parallel poset verification is a powerful methodology for proving the design correctness of complex systemsModeling and Verification of a Distributed Transmission Protocol Lubomir Ivanov Department verification methodologies has evolved in two directions: powerful, general techniques capable of accurately

  1. Input apparatus for dynamic signature verification systems

    DOE Patents [OSTI]

    EerNisse, Errol P. (Albuquerque, NM); Land, Cecil E. (Albuquerque, NM); Snelling, Jay B. (Albuquerque, NM)

    1978-01-01

    The disclosure relates to signature verification input apparatus comprising a writing instrument and platen containing piezoelectric transducers which generate signals in response to writing pressures.

  2. Alternative Breaks Emergency Contact & Verification of Medical

    E-Print Network [OSTI]

    Tipple, Brett

    Alternative Breaks Emergency Contact & Verification of Medical Insurance Form Participant Name is STRONGLY RECCOMENDED, it is not required for participation in Alternative Breaks. *Please note: All

  3. Independent Oversight Program

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2011-08-30

    The order prescribes the requirements and responsibilities for the DOE Independent Oversight Program. Cancels DOE O 470.2B. Superseded by DOE O 227.1A.

  4. 1000 Independence Avenue, SW

    Energy Savers [EERE]

    office of small & disadvantaged business utilization 1000 Independence Avenue, SW Washington, DC 20585 202.586.7377 www.smallbusiness.energy.gov the department purchases a wide...

  5. The LOFAR Multifrequency Snapshot Sky Survey (MSSS) I. Survey description and first results

    E-Print Network [OSTI]

    Heald, G H; Orrú, E; Breton, R P; Carbone, D; Ferrari, C; Hardcastle, M J; Jurusik, W; Macario, G; Mulcahy, D; Rafferty, D; Asgekar, A; Brentjens, M; Fallows, R A; Frieswijk, W; Toribio, M C; Adebahr, B; Arts, M; Bell, M R; Bonafede, A; Bray, J; Broderick, J; Cantwell, T; Carroll, P; Cendes, Y; Clarke, A O; Croston, J; Daiboo, S; de Gasperin, F; Gregson, J; Harwood, J; Hassall, T; Heesen, V; Horneffer, A; van der Horst, A J; Iacobelli, M; Jeli?, V; Jones, D; Kant, D; Kokotanekov, G; Martin, P; McKean, J P; Morabito, L K; Nikiel-Wroczy?ski, B; Offringa, A; Pandey, V N; Pandey-Pommier, M; Pietka, M; Pratley, L; Riseley, C; Rowlinson, A; Sabater, J; Scaife, A M M; Scheers, L H A; Sendlinger, K; Shulevski, A; Sipior, M; Sobey, C; Stewart, A J; Stroe, A; Swinbank, J; Tasse, C; Trüstedt, J; Varenius, E; van Velzen, S; Vilchez, N; van Weeren, R J; Wijnholds, S; Williams, W L; de Bruyn, A G; Nijboer, R; Wise, M; Alexov, A; Anderson, J; Avruch, I M; Beck, R; Bell, M E; van Bemmel, I; Bentum, M J; Bernardi, G; Best, P; Breitling, F; Brouw, W N; Brüggen, M; Butcher, H R; Ciardi, B; Conway, J E; de Geus, E; de Jong, A; de Vos, M; Deller, A; Dettmar, R J; Duscha, S; Eislöffel, J; Engels, D; Falcke, H; Fender, R; Garrett, M A; Grießmeier, J; Gunst, A W; Hamaker, J P; Hessels, J W T; Hoeft, M; Hörandel, J; Holties, H A; Intema, H; Jackson, N J; Jütte, E; Karastergiou, A; Klijn, W F A; Kondratiev, V I; Koopmans, L V E; Kuniyoshi, M; Kuper, G; Law, C; van Leeuwen, J; Loose, M; Maat, P; Markoff, S; McFadden, R; McKay-Bukowski, D; Mevius, M; Miller-Jones, J C A; Morganti, R; Munk, H; Nelles, A; Noordam, J E; Norden, M J; Paas, H; Polatidis, A G; Reich, W; Renting, A; Röttgering, H; Schoenmakers, A; Schwarz, D; Sluman, J; Smirnov, O; Stappers, B W; Steinmetz, M; Tagger, M; Tang, Y; ter Veen, S; Thoudam, S; Vermeulen, R; Vocks, C; Vogt, C; Wijers, R A M J; Wucknitz, O; Yatawatta, S; Zarka, P

    2015-01-01

    We present the Multifrequency Snapshot Sky Survey (MSSS), the first northern-sky LOFAR imaging survey. In this introductory paper, we first describe in detail the motivation and design of the survey. Compared to previous radio surveys, MSSS is exceptional due to its intrinsic multifrequency nature providing information about the spectral properties of the detected sources over more than two octaves (from 30 to 160 MHz). The broadband frequency coverage, together with the fast survey speed generated by LOFAR's multibeaming capabilities, make MSSS the first survey of the sort anticipated to be carried out with the forthcoming Square Kilometre Array (SKA). Two of the sixteen frequency bands included in the survey were chosen to exactly overlap the frequency coverage of large-area Very Large Array (VLA) and Giant Metrewave Radio Telescope (GMRT) surveys at 74 MHz and 151 MHz respectively. The survey performance is illustrated within the "MSSS Verification Field" (MVF), a region of 100 square degrees centered at J...

  6. Approach to IAEA material-balance verification at the Portsmouth Gas Centrifuge Enrichment Plant

    SciTech Connect (OSTI)

    Gordon, D.M.; Sanborn, J.B.; Younkin, J.M.; DeVito, V.J.

    1983-01-01

    This paper describes a potential approach by which the International Atomic Energy Agency (IAEA) might verify the nuclear-material balance at the Portsmouth Gas Centrifuge Enrichment Plant (GCEP). The strategy makes use of the attributes and variables measurement verification approach, whereby the IAEA would perform independent measurements on a randomly selected subset of the items comprising the U-235 flows and inventories at the plant. In addition, the MUF-D statistic is used as the test statistic for the detection of diversion. The paper includes descriptions of the potential verification activities, as well as calculations of: (1) attributes and variables sample sizes for the various strata, (2) standard deviations of the relevant test statistics, and (3) the detection sensitivity which the IAEA might achieve by this verification strategy at GCEP.

  7. Numerical Verification of Bounce Harmonic Resonances in Neoclassical...

    Office of Scientific and Technical Information (OSTI)

    Numerical Verification of Bounce Harmonic Resonances in Neoclassical Toroidal Viscosity for Tokamaks Citation Details In-Document Search Title: Numerical Verification of Bounce...

  8. Fast 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

    Fast 3D Scanning for Biometric Identification and Verification June 2011 Authors Anselmo., & Chen, A. (2011). Fast 3D Scanning for Biometric Identification and Verification. (Prepared by RTI

  9. CARB Verification of Catalyzed Diesel Particulate Filters for...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    CARB Verification of Catalyzed Diesel Particulate Filters for Emergency Generator Sets CARB Verification of Catalyzed Diesel Particulate Filters for Emergency Generator Sets 2005...

  10. Numerical Verification of Bounce Harmonic Resonances in Neoclassical

    Office of Scientific and Technical Information (OSTI)

    for Tokamaks Kimin Kim, Jong-Kyu Park and Allen H. Boozer 70 PLASMA PHYSICS AND FUSION TECHNOLOGY Tokamaks, Numerical Verification Tokamaks, Numerical Verification This...

  11. "Hardware Verification for Arithmetic Circuits" Michael Shliselberg, Jordan Kaplan

    E-Print Network [OSTI]

    Mountziaris, T. J.

    "Hardware Verification for Arithmetic Circuits" Michael Shliselberg, Jordan Kaplan Professor Maciej Ciesielski Our research pertains to finding either new or more efficient methods of hardware verification

  12. Survey of Existing Tools for Formal Verification. (Technical...

    Office of Scientific and Technical Information (OSTI)

    Content: Close Send 0 pages in this document matching the terms "" Search For Terms: Enter terms in the toolbar above to search the full text of this document for pages...

  13. Oak Ridge Associated VERIFICATION SURVEY Universities OF THE

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouth DakotaRobbins and700 GJO-2003-411-TAC GJO-PIN~$ .,2, 1990-ORAU

  14. VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouthReport for the WeldonB10081278 United Statestnv~ronmenrar~ *-,-'

  15. The monitoring and verification of nuclear weapons

    SciTech Connect (OSTI)

    Garwin, Richard L., E-mail: RLG2@us.ibm.com [IBM Fellow Emeritus, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598 (United States)

    2014-05-09

    This paper partially reviews and updates the potential for monitoring and verification of nuclear weapons, including verification of their destruction. Cooperative monitoring with templates of the gamma-ray spectrum are an important tool, dependent on the use of information barriers.

  16. Ideology Among Independent Voter Groups 

    E-Print Network [OSTI]

    Berry, Meagan

    2007-07-14

    Not all independent voters are the same. Some independents lean toward a political party and are therefore called “independent leaners.” The objective here is to uncover what forces cause independent leaners to retain some level of partisanship...

  17. Reuse of Verification Results Conditional Model Checking, Precision Reuse,

    E-Print Network [OSTI]

    Beyer, Dirk

    further verification runs of the system; information about the level of abstraction in the abstract modelReuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification checker which parts of the system should be verified; thus, later verification runs can use the output

  18. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

    systems, a powerful proof component, and an evolutionary verification model supporting incremen­ tal error approach to the design and verification of large sequential systems. It is based on structured alge­ braic correction and verification. We present the design methodology for modular systems, a feasible verification

  19. AN INVESTIGATION INTO SUBSPACE RAPID SPEAKER ADAPTATION FOR VERIFICATION

    E-Print Network [OSTI]

    Chen, Tsuhan

    verification. 1. INTRODUCTION The rapid adaptation of speaker models for the purposes of speaker verification topic, with current state of the art speaker verification sys- tems based on hidden Markov models (HMMsAN INVESTIGATION INTO SUBSPACE RAPID SPEAKER ADAPTATION FOR VERIFICATION Simon Lucey and Tsuhan

  20. Verification: What works and what does not? Stephen A. Edwards

    E-Print Network [OSTI]

    Verification: What works and what does not? Stephen A. Edwards Columbia University Verification: What works and what does not? ­ p. 1/5 #12;Verification at Columbia · Luca Carloni et al. model detection. I want to verify my implementation obeys the semantics. Verification: What works and what does

  1. verification

    National Nuclear Security Administration (NNSA)

    %2A en NGSI Safeguards by Design http:www.nnsa.energy.govaboutusourprogramsdnnnissafeguardssbd

  2. verification

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministration Medal01 Sandia4) August 20123/%2Anational lab8/%2A en6/%2A en NNSA/%2A

  3. A Runtime Verification Framework for Control System Simulation

    SciTech Connect (OSTI)

    Ciraci, Selim; Fuller, Jason C.; Daily, Jeffrey A.; Makhmalbaf, Atefe; Callahan, Charles D.

    2014-08-02

    n a standard workflow for the validation of a control system, the control system is implemented as an extension to a simulator. Such simulators are complex software systems, and engineers may unknowingly violate constraints a simulator places on extensions. As such, errors may be introduced in the implementation of either the control system or the simulator leading to invalid simulation results. This paper presents a novel runtime verification approach for verifying control system implementations within simulators. The major contribution of the approach is the two-tier specification process. In the first tier, engineers model constraints using a domain-specific language tailored to modeling a controller’s response to changes in its input. The language is high-level and effectively hides the implementation details of the simulator, allowing engineers to specify design-level constraints independent of low-level simulator interfaces. In the second tier, simulator developers provide mapping rules for mapping design-level constraints to the implementation of the simulator. Using the rules, an automated tool transforms the design-level specifications into simulator-specific runtime verification specifications and generates monitoring code which is injected into the implementation of the simulator. During simulation, these monitors observe the input and output variables of the control system and report changes to the verifier. The verifier checks whether these changes follow the constraints of the control system. We describe application of this approach to the verification of the constraints of an HVAC control system implemented with the power grid simulator GridLAB-D.

  4. Independent technical review, handbook

    SciTech Connect (OSTI)

    Not Available

    1994-02-01

    Purpose Provide an independent engineering review of the major projects being funded by the Department of Energy, Office of Environmental Restoration and Waste Management. The independent engineering review will address questions of whether the engineering practice is sufficiently developed to a point where a major project can be executed without significant technical problems. The independent review will focus on questions related to: (1) Adequacy of development of the technical base of understanding; (2) Status of development and availability of technology among the various alternatives; (3) Status and availability of the industrial infrastructure to support project design, equipment fabrication, facility construction, and process and program/project operation; (4) Adequacy of the design effort to provide a sound foundation to support execution of project; (5) Ability of the organization to fully integrate the system, and direct, manage, and control the execution of a complex major project.

  5. Proof Planning for Automating Hardware Verification 

    E-Print Network [OSTI]

    Cantu-Ortiz, Francisco Javier

    In this thesis we investigate the applicability of proof planning to automate the verification of hardware systems. Proof planning is a meta-level reasoning technique which captures patterns of proof common to a family of theorems. It contributes...

  6. Correct Hardware Design and Verification Methods

    E-Print Network [OSTI]

    Margaria, T.; Melham, T.F.

    Margaria,T. Melham,T.F. Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference, CHARME 2001: UK Springer Verlag

  7. Shell Element Verification & Regression Problems for DYNA3D

    SciTech Connect (OSTI)

    Zywicz, E

    2008-02-01

    A series of quasi-static regression/verification problems were developed for the triangular and quadrilateral shell element formulations contained in Lawrence Livermore National Laboratory's explicit finite element program DYNA3D. Each regression problem imposes both displacement- and force-type boundary conditions to probe the five independent nodal degrees of freedom employed in the targeted formulation. When applicable, the finite element results are compared with small-strain linear-elastic closed-form reference solutions to verify select aspects of the formulations implementation. Although all problems in the suite depict the same geometry, material behavior, and loading conditions, each problem represents a unique combination of shell formulation, stabilization method, and integration rule. Collectively, the thirty-six new regression problems in the test suite cover nine different shell formulations, three hourglass stabilization methods, and three families of through-thickness integration rules.

  8. SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2007; 17:137157

    E-Print Network [OSTI]

    Memon, Atif M.

    -oracle creation, coverage evaluation, and regression testing is recast in terms of this model by defining event to define test coverage criteria for GUIs [17], graph-traversal to obtain smoke test cases for GUIsSOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2007; 17

  9. SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2006; 16:332

    E-Print Network [OSTI]

    Belli, Fevzi

    a holistic view of fault modelling that is carried out as a complementary step to system modelling, enablingSOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2006; 16:3­32 Published-based modelling, analysis and testing of user interactions: approach and case study Fevzi Belli1,,, Christof J

  10. Monitoring and verification R&D

    SciTech Connect (OSTI)

    Pilat, Joseph F; Budlong - Sylvester, Kory W; Fearey, Bryan L

    2011-01-01

    The 2010 Nuclear Posture Review (NPR) report outlined the Administration's approach to promoting the agenda put forward by President Obama in Prague on April 5, 2009. The NPR calls for a national monitoring and verification R&D program to meet future challenges arising from the Administration's nonproliferation, arms control and disarmament agenda. Verification of a follow-on to New START could have to address warheads and possibly components along with delivery capabilities. Deeper cuts and disarmament would need to address all of these elements along with nuclear weapon testing, nuclear material and weapon production facilities, virtual capabilities from old weapon and existing energy programs and undeclared capabilities. We only know how to address some elements of these challenges today, and the requirements may be more rigorous in the context of deeper cuts as well as disarmament. Moreover, there is a critical need for multiple options to sensitive problems and to address other challenges. There will be other verification challenges in a world of deeper cuts and disarmament, some of which we are already facing. At some point, if the reductions process is progressing, uncertainties about past nuclear materials and weapons production will have to be addressed. IAEA safeguards will need to continue to evolve to meet current and future challenges, and to take advantage of new technologies and approaches. Transparency/verification of nuclear and dual-use exports will also have to be addressed, and there will be a need to make nonproliferation measures more watertight and transparent. In this context, and recognizing we will face all of these challenges even if disarmament is not achieved, this paper will explore possible agreements and arrangements; verification challenges; gaps in monitoring and verification technologies and approaches; and the R&D required to address these gaps and other monitoring and verification challenges.

  11. Approach to IAEA verification of the nuclear-material balance at the Portsmouth Gas Centrifuge Enrichment Plant (GCEP)

    SciTech Connect (OSTI)

    Gordon, D.M.; Sanborn, J.B.; Younkin, J.M.; DeVito, V.J.

    1982-01-01

    This paper describes a potential approach by which the International Atomic Energy Agency (IAEA) might verify the nuclear-material balance at the Portsmouth Gas Centrifuge Enrichment Plant (GCEP), should that plant be placed under IAEA safeguards. The strategy makes use of the attributes and variables measurement verification approach, whereby the IAEA would perform independent measurements on a randomly selected subset of the items comprising the U-235 flows and inventories at the plant. In addition, the MUF-D statistic is used as the test statistics for the detection of diversion. The paper includes descriptions of the potential verification activities, as well as calculations of (a) attributes and variables sample sizes for the various strata, (b) standard deviations of the relevant test statistics, and (c) the sensitivity for detection of diversion which the IAEA might achieve by this verification strategy at GCEP.

  12. MACCS2 development and verification efforts

    SciTech Connect (OSTI)

    Young, M.; Chanin, D.

    1997-03-01

    MACCS2 represents a major enhancement of the capabilities of its predecessor MACCS, the MELCOR Accident Consequence Code System. MACCS, released in 1987, was developed to estimate the potential impacts to the surrounding public of severe accidents at nuclear power plants. The principal phenomena considered in MACCS/MACCS2 are atmospheric transport and deposition under time-variant meteorology, short-term and long-term mitigative actions and exposure pathways, deterministic and stochastic health effects, and economic costs. MACCS2 was developed as a general-purpose analytical tool applicable to diverse reactor and nonreactor facilities. The MACCS2 package includes three primary enhancements: (1) a more flexible emergency response model, (2) an expanded library of radionuclides, and (3) a semidynamic food-chain model. In addition, errors that had been identified in MACCS version1.5.11.1 were corrected, including an error that prevented the code from providing intermediate-phase results. MACCS2 version 1.10 beta test was released to the beta-test group in May, 1995. In addition, the University of New Mexico (UNM) has completed an independent verification study of the code package. Since the beta-test release of MACCS2 version 1.10, a number of minor errors have been identified and corrected, and a number of enhancements have been added to the code package. The code enhancements added since the beta-test release of version 1.10 include: (1) an option to allow the user to input the {sigma}{sub y} and {sigma}{sub z} plume expansion parameters in a table-lookup form for incremental downwind distances, (2) an option to define different initial dimensions for up to four segments of a release, (3) an enhancement to the COMIDA2 food-chain model preprocessor to allow the user to supply externally calculated tables of tritium food-chain dose per unit deposition on farmland to support analyses of tritium releases, and (4) the capability to calculate direction-dependent doses.

  13. ECE/CS 584: Fall 2012 Embedded System Verification

    E-Print Network [OSTI]

    Liberzon, Daniel

    powerful software tools (model checkers, SMT solvers, & theorem provers) for designing & analyzing systems · Real-time and hybrid system models, stability verification: Multiple Lyapunov functions, slow switchingECE/CS 584: Fall 2012 Embedded System Verification URL: http

  14. Using Measurement and Verification to Manage Risk in Federal...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Using Measurement and Verification to Manage Risk in Federal Energy- and Water-Saving Projects Using Measurement and Verification to Manage Risk in Federal Energy- and Water-Saving...

  15. Vehicle Modeling and Verification of CNG-Powered Transit Buses

    E-Print Network [OSTI]

    Hedrick, J. K.; Ni, A.

    2004-01-01

    Modeling and Verification of CNG-Powered Transit BusesModeling and Verification of CNG-Powered Transit Buses.Modeling and Veri?cation of CNG-Powered Transit Buses J.K.

  16. Compiler verification meets cross-language linking via data abstraction

    E-Print Network [OSTI]

    Wang, Peng

    Many real programs are written in multiple different programming languages, and supporting this pattern creates challenges for formal compiler verification. We describe our Coq verification of a compiler for a high-level ...

  17. Logic verification using recursive learning, ATPG and transformations 

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01

    We describe a new approach for formal verification of combinational logic circuits using Recursive learning, ATPG and Transformations. A logic verification tool, VeriLAT, was implemented based on this approach. Experimental results on the ISCAS85...

  18. MODELING, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP

    E-Print Network [OSTI]

    MODELING, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP SYSTEMS IN ENERGYPLUS, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP SYSTEMS IN ENERGYPLUS Thesis Approved by: Dr.................................................................................................................... 16 MODELING OF HYBRID GROUND SOURCE HEAT PUMP SYSTEMS IN ENERGYPLUS

  19. On formal and automatic security verification of WSN transport protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    On formal and automatic security verification of WSN transport protocols Ta Vinh Thong1 thong, we address the problem of formal and automated security verification of WSN transport protocols

  20. Verification of full functional correctness for imperative linked data structures

    E-Print Network [OSTI]

    Zee, Karen K

    2010-01-01

    We present the verification of full functional correctness for a collection of imperative linked data structures implemented in Java. A key technique that makes this verification possible is a novel, integrated proof ...

  1. AN ADVANCED BINARY ENCODED MATRIX REPRESENTATION FOR RULEBASE VERIFICATION

    E-Print Network [OSTI]

    Coenen, Frans

    reaching; consider the event where a KBS fails to apply an emergency shut down procedure. The verification

  2. Verification of EPA's ''Preliminary Remediation Goals for radionuclides'' (PRG) electronic calculator

    SciTech Connect (OSTI)

    Jannik, Tim; Stagich, Brooke

    2015-08-28

    The U.S. Environmental Protection Agency (EPA) requested an external, independent verification study of their updated “Preliminary Remediation Goals for Radionuclides” (PRG) electronic calculator. The calculator provides PRGs for radionuclides that are used as a screening tool at Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) and Resource Conservation and Recovery Act (RCRA) sites. These risk-based PRGs establish concentration limits under specific exposure scenarios. The purpose of this verification study is to determine that the calculator has no inherit numerical problems with obtaining solutions as well as to ensure that the equations are programmed correctly. There are 167 equations used in the calculator. To verify the calculator, all equations for each of seven receptor types (resident, construction worker, outdoor and indoor worker, recreator, farmer, and composite worker) were hand calculated using the default parameters. The same four radionuclides (Am-241, Co-60, H-3, and Pu-238) were used for each calculation for consistency throughout.

  3. MODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    of complex hardware and software systems. Several powerful verification methods, such as Symbolic ModelMODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov Department of Computer Science, Iona interleavings of events in a system. In [8] we introduced a new partial order verification method, referred

  4. Applied Verification: The Ptolemy Approach Chihhong Patrick Cheng

    E-Print Network [OSTI]

    stronger claims regarding the correctness of the system. Theoretically, modeling and verification should face when doing formal verifi- cation. Existing theories and practices in verification are powerful, but when applying formal techniques, the use of detailed mathematical model descriptions in verification

  5. Competition on Software Verification University of Passau, Germany

    E-Print Network [OSTI]

    Beyer, Dirk

    and Analysis of Systems (TACAS). 1 Introduction The area of verification, in particular model checking, has). Several new and powerful software-verification tools became available, but they have not been comparedCompetition on Software Verification (SV-COMP) Dirk Beyer University of Passau, Germany Abstract

  6. AUTOMATED REGRESSION TESTING AND VERIFICATION OF COMPLEX CODE

    E-Print Network [OSTI]

    Roychoudhury, Abhik

    AUTOMATED REGRESSION TESTING AND VERIFICATION OF COMPLEX CODE CHANGES DOCTORAL THESIS MARCEL B¨OHME NATIONAL UNIVERSITY OF SINGAPORE 2014 #12;AUTOMATED REGRESSION TESTING AND VERIFICATION OF COMPLEX CODE : Automated Regression Testing and Verification of Complex Code Changes Abstract How can we check software

  7. LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF

    E-Print Network [OSTI]

    Rathbun, Julie A.

    ATM 1109 LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF VACUUM TEST DATE 9 SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL VACUUM TEST LIST OF TABLES AND FIGURES;Figure 4.9 5. 1 5.2 5.3-5.4 5.5 5.6 5.7-5.8 LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION

  8. Power Grid Voltage Integrity Verification Department of ECE

    E-Print Network [OSTI]

    Najm, Farid N.

    Power Grid Voltage Integrity Verification Maha Nizam Department of ECE University of Toronto devgan@magma-da.com ABSTRACT Full-chip verification requires one to check if the power grid is safe, i of the circuit attached to the grid, thereby precluding early verification of the grid. We propose a power grid

  9. Incremental Partitioning-Based Vectorless Power Grid Verification

    E-Print Network [OSTI]

    Najm, Farid N.

    Incremental Partitioning-Based Vectorless Power Grid Verification Dionysios Kouroussis Department performance of a chip, design verification of the power grid is of critical importance. This paper builds the efficient verification of local power grid sections or blocks, enabling incremen- tal design analysis

  10. 2012 Independent Communication and Outreach Stakeholder Satisfaction Survey

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative FuelsofProgram:Y-12 Beta-3 Racetracks2 DOE Sustainability Awards 2012Department of2|

  11. Cosmology from Cosmic Shear with DES Science Verification Data

    E-Print Network [OSTI]

    Abbott, T; Allam, S; Amara, A; Annis, J; Armstrong, R; Bacon, D; Banerji, M; Bauer, A H; Baxter, E; Becker, M R; Benoit-Lévy, A; Bernstein, R A; Bernstein, G M; Bertin, E; Blazek, J; Bonnett, C; Bridle, S L; Brooks, D; Bruderer, C; Buckley-Geer, E; Burke, D L; Busha, M T; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Carretero, J; Castander, F J; Chang, C; Clampitt, J; Crocce, M; Cunha, C E; D'Andrea, C B; da Costa, L N; Das, R; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Dodelson, S; Doel, P; Drlica-Wagner, A; Efstathiou, G; Eifler, T F; Erickson, B; Estrada, J; Evrard, A E; Neto, A Fausti; Fernandez, E; Finley, D A; Flaugher, B; Fosalba, P; Friedrich, O; Frieman, J; Gangkofner, C; Garcia-Bellido, J; Gaztanaga, E; Gerdes, D W; Gruen, D; Gruendl, R A; Gutierrez, G; Hartley, W; Hirsch, M; Honscheid, K; Huff, E M; Jain, B; James, D J; Jarvis, M; Kacprzak, T; Kent, S; Kirk, D; Krause, E; Kravtsov, A; Kuehn, K; Kuropatkin, N; Kwan, J; Lahav, O; Leistedt, B; Li, T S; Lima, M; Lin, H; MacCrann, N; March, M; Marshall, J L; Martini, P; McMahon, R G; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Neilsen, E; Nichol, R C; Nicola, A; Nord, B; Ogando, R; Palmese, A; Peiris, H V; Plazas, A A; Refregier, A; Roe, N; Romer, A K; Roodman, A; Rowe, B; Rykoff, E S; Sabiu, C; Sadeh, I; Sako, M; Samuroff, S; Sánchez, C; Sanchez, E; Seo, H; Sevilla-Noarbe, I; Sheldon, E; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Thomas, D; Troxel, M A; Vikram, V; Walker, A R; Wechsler, R H; Weller, J; Zhang, Y; Zuntz, J

    2015-01-01

    We present the first constraints on cosmology from the Dark Energy Survey (DES), using weak lensing measurements from the preliminary Science Verification (SV) data. We use 139 square degrees of SV data, which is less than 3\\% of the full DES survey area. Using cosmic shear 2-point measurements over three redshift bins we find $\\sigma_8 (\\Omega_{\\rm m}/0.3)^{0.5} = 0.81 \\pm 0.06$ (68\\% confidence), after marginalising over 7 systematics parameters and 3 other cosmological parameters. We examine the robustness of our results to the choice of data vector and systematics assumed, and find them to be stable. About $20$\\% of our error bar comes from marginalising over shear and photometric redshift calibration uncertainties. The current state-of-the-art cosmic shear measurements from CFHTLenS are mildly discrepant with the cosmological constraints from Planck CMB data; our results are consistent with both datasets. Our uncertainties are $\\sim$30\\% larger than those from CFHTLenS when we carry out a comparable anal...

  12. The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a

    E-Print Network [OSTI]

    Zelkowitz, Marvin V.

    Hartwick Road, Suite 500 College Park, Maryland 20740 irus@fc-md.umd.edu +1-301-403-8971 1 This work has with requirements for high reliability and mission safety taxes current development methods. In this paper we

  13. "What's New with Independent Verification at Department of Energy Sites" |

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i n c i p a l De p u t y A s s i s t a n t S e c r e t1 =9-8-2010 - Transcript

  14. DOE-STD-1036-93; Guide to Good Practices for Independent Verification

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:FinancingPetroleum Based| Department8, 2015 GATEWAY6.1viiiDepartment of4-93 March 1993

  15. OPS 9.10 Independent Verification 8/24/98 | Department of Energy

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterested Parties -DepartmentAvailable forSite |n t787 (02-94)| Department of0

  16. The Mechanisms of Board Independence

    E-Print Network [OSTI]

    Gordon, Jeff

    2004-01-01

    the case of a management buyout, the independent directorsLines under the employee buyout. 3. Current SEC proposal [

  17. The new geospatial tools: global transparency enhancing safeguards verification

    SciTech Connect (OSTI)

    Pabian, Frank Vincent [Los Alamos National Laboratory

    2010-09-16

    This paper focuses on the importance and potential role of the new, freely available, geospatial tools for enhancing IAEA safeguards and how, together with commercial satellite imagery, they can be used to promote 'all-source synergy'. As additional 'open sources', these new geospatial tools have heralded a new era of 'global transparency' and they can be used to substantially augment existing information-driven safeguards gathering techniques, procedures, and analyses in the remote detection of undeclared facilities, as well as support ongoing monitoring and verification of various treaty (e.g., NPT, FMCT) relevant activities and programs. As an illustration of how these new geospatial tools may be applied, an original exemplar case study provides how it is possible to derive value-added follow-up information on some recent public media reporting of a former clandestine underground plutonium production complex (now being converted to a 'Tourist Attraction' given the site's abandonment by China in the early 1980s). That open source media reporting, when combined with subsequent commentary found in various Internet-based Blogs and Wikis, led to independent verification of the reporting with additional ground truth via 'crowdsourcing' (tourist photos as found on 'social networking' venues like Google Earth's Panoramio layer and Twitter). Confirmation of the precise geospatial location of the site (along with a more complete facility characterization incorporating 3-D Modeling and visualization) was only made possible following the acquisition of higher resolution commercial satellite imagery that could be correlated with the reporting, ground photos, and an interior diagram, through original imagery analysis of the overhead imagery.

  18. Characterizing History Independent Data Structures

    E-Print Network [OSTI]

    Hartline, Jason D.

    Characterizing History Independent Data Structures Jason D. Hartline 1 , Edwin S. Hong 1 history independent data structures as proposed for study by Teague and Naor [2]. In a history independent data struc­ ture, nothing can be learned from the representation of the data structure except for what

  19. Characterizing History Independent Data Structures

    E-Print Network [OSTI]

    Mohr, Alexander E.

    Characterizing History Independent Data Structures Jason D. Hartline1 , Edwin S. Hong1 , Alexander history independent data structures as proposed for study by Teague and Naor [2]. In a history independent data struc- ture, nothing can be learned from the representation of the data structure except for what

  20. Automatic verification of DEVS models Gabriel Wainer

    E-Print Network [OSTI]

    Wainer, Gabriel

    Viviana Passuello Departamento de Computación Universidad de Buenos Aires Pabellón I. Ciudad Universitaria (1428) Buenos Aires. Argentina. {lmoriham, vpassuel}@dc.uba.ar Keywords: DEVS, model verification, Cell a hierarchical approach [1]. In [2] the Cell-DEVS formalism was presented, as a means to de- scribe cell spaces

  1. Indexed Predicate Discovery for Unbounded System Verification

    E-Print Network [OSTI]

    Bryant, Randal E.

    and systems with arbitrary number of identical, concurrent processes, the system model must support state of a set of identical processes can be modeled as functions mapping an integer process idenIndexed Predicate Discovery for Unbounded System Verification Shuvendu K. Lahiri and Randal E

  2. Time-Bounded Verification Joel Ouaknine1

    E-Print Network [OSTI]

    Worrell, James

    Time-Bounded Verification Jo¨el Ouaknine1 , Alexander Rabinovich2 , and James Worrell1 1 Oxford prob- lems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bounded language inclusion for timed automata is 2EXPSPACE-complete. We also investigate the satis

  3. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

    , exploits the difference between propagation speeds of radio and sound waves to estimate the position1 Secure Location Verification Using Radio Broadcast Adnan Vora and Mikhail Nesterenko Abstract of the prover. In this paper, we propose a solution that leverages the broadcast nature of the radio signal

  4. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

    the difference between propagation speeds of radio and sound waves to estimate the position of the proverSecure Location Verification Using Radio Broadcast Adnan Vora and Mikhail Nesterenko Computer. In this paper, we propose a solution that leverages the broadcast nature of the radio signal emitted

  5. Automatic Verification of Multiqueue Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

    become a useful model to investigate the verification of real­ time systems and have been extensively studied. The expressive power of TA has many limitations in modeling, since many real­time systems. The MQDTA model can be used to specify and verify various systems with unbounded queues, such as a real

  6. Hybrid Systems: From Verification to Falsification

    E-Print Network [OSTI]

    Kavraki, Lydia E.

    Hybrid Systems: From Verification to Falsification Erion Plaku, Lydia E. Kavraki, and Moshe Y}@cs.rice.edu Abstract. We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid. The discrete search uses the discrete transitions of the hybrid system and coarse-grained decompositions

  7. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

    Smith, Curtis L; Choi, Yong-Joon; Zou, Ling

    2014-09-01

    This INL plan comprehensively describes the software for RELAP-7 and documents the software, interface, and software design requirements for the application. The plan also describes the testing-based software verification and validation (SV&V) process—a set of specially designed software models used to test RELAP-7.

  8. 1 Verification Techniques software testing: search bugs

    E-Print Network [OSTI]

    Verschelde, Jan

    objectives and requirements of software verification Software is a product, subject to quality control. A product has (industrial) quality if it performs as specified, as expected by the user. Software testing. The profession of a software tester is just as essential as that of a software developer to achieve quality

  9. Advances in Quantitative Verification for Ubiquitous Computing

    E-Print Network [OSTI]

    Oxford, University of

    Advances in Quantitative Verification for Ubiquitous Computing Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, OX1 3QD Abstract. Ubiquitous computing, where computers and correcting flaws in a number of ubiquitous computing applications. In this paper, we focus on three key

  10. Finite Model Finding for Parameterized Verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2010-01-01

    In this paper we investigate to which extent a very simple and natural "reachability as deducibility" approach, originated in the research in formal methods in security, is applicable to the automated verification of large classes of infinite state and parameterized systems. The approach is based on modeling the reachability between (parameterized) states as deducibility between suitable encodings of states by formulas of first-order predicate logic. The verification of a safety property is reduced to a pure logical problem of finding a countermodel for a first-order formula. The later task is delegated then to the generic automated finite model building procedures. In this paper we first establish the relative completeness of the finite countermodel finding method (FCM) for a class of parameterized linear arrays of finite automata. The method is shown to be at least as powerful as known methods based on monotonic abstraction and symbolic backward reachability. Further, we extend the relative completeness of ...

  11. NGSI: IAEA Verification of UF6 Cylinders

    SciTech Connect (OSTI)

    Curtis, Michael M.

    2012-06-05

    The International Atomic Energy Agency (IAEA) is often ignorant of the location of declared, uranium hexafluoride (UF6) cylinders following verification, because cylinders are not typically tracked onsite or off. This paper will assess various methods the IAEA uses to verify cylinder gross defects, and how the task could be ameliorated through the use of improved identification and monitoring. The assessment will be restricted to current verification methods together with one that has been applied on a trial basis—short-notice random inspections coupled with mailbox declarations. This paper is part of the NNSA Office of Nonproliferation and International Security’s Next Generation Safeguards Initiative (NGSI) program to investigate the concept of a global monitoring scheme that uniquely identifies and tracks UF6 cylinders.

  12. Check Estimates and Independent Costs

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-03-28

    Check estimates and independent cost estimates (ICEs) are tools that can be used to validate a cost estimate. Estimate validation entails an objective review of the estimate to ensure that estimate criteria and requirements have been met and well documented, defensible estimate has been developed. This chapter describes check estimates and their procedures and various types of independent cost estimates.

  13. Mechanism Design: from Partial to Probabilistic Verification IOANNIS CARAGIANNIS, University of Patras & CTI, Greece

    E-Print Network [OSTI]

    Elkind, Edith

    Mechanism Design: from Partial to Probabilistic Verification IOANNIS CARAGIANNIS, University) truthfully. We first consider the standard model of mechanism design with partial verification, where the set results, we then introduce a richer model of verification, which we term mechanism design

  14. Verification of gyrokinetic microstability codes ?with an LHD configuration

    SciTech Connect (OSTI)

    Mikkelsen, D. R.; Nunami, M.; Watanabe, T. -H.; Sugama, H.; Tanaka, K.

    2014-11-01

    We extend previous benchmarks of the GS2 and GKV-X codes to verify their algorithms for solving the gyrokinetic Vlasov-Poisson equations for plasma microturbulence. Code benchmarks are the most complete way of verifying the correctness of implementations for the solution of mathematical models for complex physical processes such as those studied here. The linear stability calculations reported here are based on the plasma conditions of an ion-ITB plasma in the LHD configuration. The plasma parameters and the magnetic geometry differ from previous benchmarks involving these codes. We find excellent agreement between the independently written pre-processors that calculate the geometrical coefficients used in the gyrokinetic equations. Grid convergence tests are used to establish the resolution and domain size needed to obtain converged linear stability results. The agreement of the frequencies, growth rates and eigenfunctions in the benchmarks reported here provides additional verification that the algorithms used by the GS2 and GKV-X codes are correctly finding the linear eigenvalues and eigenfunctions of the gyrokinetic Vlasov-Poisson equations.

  15. Hanford Site Assessment & Characterization/Verification of Structures...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    4 Revision 0 Hanford Site Assessment & CharacterizationVerification of Structures & Conex Boxes Procedure Prepared for the U.S. Department of Energy Assistant Secretary for...

  16. NEMVP: North American energy measurement and verification protocol

    SciTech Connect (OSTI)

    1996-03-01

    This measurement and verification protocol discusses procedures that,when implemented, allow buyers, sellers, and financiers of energy projects to quantify energy conservation measure performance and savings.

  17. Measurement and Verification of Low Income Energy Efficiency...

    Open Energy Info (EERE)

    Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Measurement...

  18. Verification Method for SSI Problems with Extended Parameter Ranges

    Broader source: Energy.gov [DOE]

    Verification Method for SSI Problems with Extended Parameter Ranges 2014 U.S. DOE Natural Phenomena Hazards Meeting Carl J. Costantino and Associates www.cjcassoc.com

  19. Design, Installation, and Field Verification of Integrated Active...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Design, Installation, and Field Verification of Integrated Active Desiccant Hybrid Rooftop Systems Combined with a Natural Gas Driven Cogeneration Package, 2008 Design,...

  20. Measurement and Verification Options for Federal Energy- and...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Options for Federal Energy- and Water-Saving Projects Measurement and Verification Options for Federal Energy- and Water-Saving Projects Federal Energy Management Program...

  1. Cosmic Shear Measurements with DES Science Verification Data

    E-Print Network [OSTI]

    Becker, M R; MacCrann, N; Krause, E; Eifler, T F; Friedrich, O; Nicola, A; Refregier, A; Amara, A; Bacon, D; Bernstein, G M; Bonnett, C; Bridle, S L; Busha, M T; Chang, C; Dodelson, S; Erickson, B; Evrard, A E; Frieman, J; Gaztanaga, E; Gruen, D; Hartley, W; Jain, B; Jarvis, M; Kacprzak, T; Kirk, D; Kravtsov, A; Leistedt, B; Rykoff, E S; Sabiu, C; Sanchez, C; Seo, H; Sheldon, E; Wechsler, R H; Zuntz, J; Abbott, T; Abdalla, F B; Allam, S; Armstrong, R; Banerji, M; Bauer, A H; Benoit-Levy, A; Bertin, E; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Carretero, J; Castander, F J; Crocce, M; Cunha, C E; D'Andrea, C B; da Costa, L N; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Neto, A Fausti; Fernandez, E; Finley, D A; Flaugher, B; Fosalba, P; Gerdes, D W; Gruendl, R A; Gutierrez, G; Honscheid, K; James, D J; Kuehn, K; Kuropatkin, N; Lahav, O; Li, T S; Lima, M; Maia, M A G; March, M; Martini, P; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Nichol, R C; Nord, B; Ogando, R; Plazas, A A; Reil, K; Romer, A K; Roodman, A; Sako, M; Sanchez, E; Scarpine, V; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Thomas, D; Vikram, V; Walker, A R

    2015-01-01

    We present measurements of weak gravitational lensing cosmic shear two-point statistics using Dark Energy Survey Science Verification data. We demonstrate that our results are robust to the choice of shear measurement pipeline, either ngmix or im3shape, and robust to the choice of two-point statistic, including both real and Fourier-space statistics. Our results pass a suite of null tests including tests for B-mode contamination and direct tests for any dependence of the two-point functions on a set of 16 observing conditions and galaxy properties, such as seeing, airmass, galaxy color, galaxy magnitude, etc. We furthermore use a large suite of simulations to compute the covariance matrix of the cosmic shear measurements and assign statistical significance to our null tests. We find that our covariance matrix is consistent with the halo model prediction, indicating that it has the appropriate level of halo sample variance. We compare the same jackknife procedure applied to the data and the simulations in orde...

  2. Cosmic Shear Measurements with DES Science Verification Data

    SciTech Connect (OSTI)

    Becker, M. R.

    2015-07-20

    We present measurements of weak gravitational lensing cosmic shear two-point statistics using Dark Energy Survey Science Verification data. We demonstrate that our results are robust to the choice of shear measurement pipeline, either ngmix or im3shape, and robust to the choice of two-point statistic, including both real and Fourier-space statistics. Our results pass a suite of null tests including tests for B-mode contamination and direct tests for any dependence of the two-point functions on a set of 16 observing conditions and galaxy properties, such as seeing, airmass, galaxy color, galaxy magnitude, etc. We use a large suite of simulations to compute the covariance matrix of the cosmic shear measurements and assign statistical significance to our null tests. We find that our covariance matrix is consistent with the halo model prediction, indicating that it has the appropriate level of halo sample variance. We also compare the same jackknife procedure applied to the data and the simulations in order to search for additional sources of noise not captured by the simulations. We find no statistically significant extra sources of noise in the data. The overall detection significance with tomography for our highest source density catalog is 9.7?. Cosmological constraints from the measurements in this work are presented in a companion paper (DES et al. 2015).

  3. Sequence independent amplification of DNA

    DOE Patents [OSTI]

    Bohlander, S.K.

    1998-03-24

    The present invention is a rapid sequence-independent amplification procedure (SIA). Even minute amounts of DNA from various sources can be amplified independent of any sequence requirements of the DNA or any a priori knowledge of any sequence characteristics of the DNA to be amplified. This method allows, for example, the sequence independent amplification of microdissected chromosomal material and the reliable construction of high quality fluorescent in situ hybridization (FISH) probes from YACs or from other sources. These probes can be used to localize YACs on metaphase chromosomes but also--with high efficiency--in interphase nuclei. 25 figs.

  4. Mapping and simulating systematics due to spatially-varying observing conditions in DES Science Verification data

    E-Print Network [OSTI]

    Leistedt, B; Elsner, F; Benoit-Lévy, A; Amara, A; Bauer, A H; Becker, M R; Bonnett, C; Bruderer, C; Busha, M T; Kind, M Carrasco; Chang, C; Crocce, M; da Costa, L N; Gaztanaga, E; Huff, E M; Lahav, O; Palmese, A; Percival, W J; Refregier, A; Ross, A J; Rozo, E; Rykoff, E S; Sánchez, C; Sadeh, I; Sevilla-Noarbe, I; Sobreira, F; Suchyta, E; Swanson, M E C; Wechsler, R H; Abdalla, F B; Allam, S; Banerji, M; Bernstein, G M; Bernstein, R A; Bertin, E; Bridle, S L; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Carretero, J; Cunha, C E; D'Andrea, C B; DePoy, D L; Desai, S; Diehl, H T; Doel, P; Eifler, T F; Evrard, A E; Neto, A Fausti; Flaugher, B; Fosalba, P; Frieman, J; Gerdes, D W; Gruen, D; Gruendl, R A; Gutierrez, G; Honscheid, K; James, D J; Jarvis, M; Kent, S; Kuehn, K; Kuropatkin, N; Li, T S; Lima, M; Maia, M A G; March, M; Marshall, J L; Martini, P; Melchior, P; Miller, C J; Miquel, R; Nichol, R C; Nord, B; Ogando, R; Plazas, A A; Reil, K; Romer, A K; Roodman, A; Sanchez, E; Santiago, B; Scarpine, V; Schubnell, M; Smith, R C; Soares-Santos, M; Tarle, G; Thaler, J; Thomas, D; Vikram, V; Walker, A R; Wester, W; Zhang, Y; Zuntz, J

    2015-01-01

    Spatially-varying depth and characteristics of observing conditions, such as seeing, airmass, or sky background, are major sources of systematic uncertainties in modern galaxy survey analyses, in particular in deep multi-epoch surveys. We present a framework to extract and project these sources of systematics onto the sky, and apply it to the Dark Energy Survey (DES) to map the observing conditions of the Science Verification (SV) data. The resulting distributions and maps of sources of systematics are used in several analyses of DES SV to perform detailed null tests with the data, and also to incorporate systematics in survey simulations. We illustrate the complementarity of these two approaches by comparing the SV data with the BCC-UFig, a synthetic sky catalogue generated by forward-modelling of the DES SV images. We analyse the BCC-UFig simulation to construct galaxy samples mimicking those used in SV galaxy clustering studies. We show that the spatially-varying survey depth imprinted in the observed gala...

  5. Independent Inventors: An Uncertain Future

    E-Print Network [OSTI]

    Pi, Xiaoqing

    2013-01-01

    https://www.eff.org/patent Inventors Alliance http://A.  Cotropia, “The Individual Inventor Motif in the Age of Title: Independent Inventors: An Uncertain Future Abstract:

  6. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

    to formal verification is based on the theory of - automata [5]. Given a model of the system in terms industry and have led to the development of powerful verification tools. However, the popularity facts about a mathematical model of the system under consideration. The proofs are general enough

  7. Specification and Formal Verification of Interconnect Bus Protocols Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    and functionality of devices has brought about the need for more powerful modeling and verification tools. Classical is using first generation formal verification tools based on Symbolic Model Checking [1] and -Automata of using partial orders in modeling and verifying system behavior is in avoiding the need to study all

  8. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant School automated formal verification tools are based on a bit-level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  9. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    in formal verification by model-checking. In parallel, many researches have been undertaken since several project which was funded by Alstom Power Plant Information and Control Systems, Engineering toolsImproving large-sized PLC programs verification using abstractions V. Gourcuff O. de Smet J

  10. Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska

    E-Print Network [OSTI]

    Oxford, University of

    verification is an analogous technique for establishing quantitative properties of a system modelQuantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University of the state-transition graph of the model and is therefore more powerful than test- ing. Quantitative

  11. Formal Verification of Infinite State Systems Using Boolean Methods #

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant School automated formal verification tools are based on a bit­level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  12. Analytic Verification at NASA A View from the Trenches

    E-Print Network [OSTI]

    Jipsen, Peter

    Analytic Verification at NASA A View from the Trenches Willem C. Visser July 31, 1999 Autonomous software is considered a major enabling technology for NASA in order to achieve the goal of their slogan Software Engineering 2 (ASE) group at NASA Ames Research Center is developing analytic verification

  13. Scalable Asynchronous Hardware Protocol Verification for Compositions with Relative Timing

    E-Print Network [OSTI]

    Stevens, Ken

    verification ensures correctness of a system given a required set of properties. Scalability due to state exploScalable Asynchronous Hardware Protocol Verification for Compositions with Relative Timing Krishnaji Desai Kenneth S. Stevens University of Utah Electrical and Computer Engineering Department

  14. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    Fainekos, Georgios E.

    Formal property verification in a conformance testing framework Houssam Abbas School of Electrical to develop a sequence of system models of different fidelity and complexity, each appropriate for a particular design or verification task. In such a sequence, one model is often derived from the other

  15. Automatic Verification of Multi-queue Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

    the verification of real- time systems and have been extensively studied. The expressive power of TA has many verification of many interesting properties of a MQDTA. The MQDTA model can be used to specify and verify-state model-checking, real-time systems. 1 Introduction Real-time systems are widely regarded as a natural

  16. Efficient Verification of the PCI Local Bus using Boolean Satisfiability

    E-Print Network [OSTI]

    Aloul, Fadi

    IWLS'00 Page 1 Efficient Verification of the PCI Local Bus using Boolean Satisfiability Fadi A is to study the application of Boolean Satisfiability to the verification of the PCI Local Bus. The novel such as achieving high speed testing. To demonstrate how our method works, we have modeled the PCI Local Bus

  17. Roadmap for Enhanced Languages and Methods to Aid Verification

    E-Print Network [OSTI]

    Miller, Dale

    Roadmap for Enhanced Languages and Methods to Aid Verification Gary T. Leavens, Jean-Raymond Abrial 50011-1041, USA #12;Roadmap for Enhanced Languages and Methods to Aid Verification Gary T. Leavens, Iowa, Aaron Stump, Washington University of St. Louis, USA July 21, 2006 Abstract This roadmap describes ways

  18. Efficient RC Power Grid Verification Using Node Elimination

    E-Print Network [OSTI]

    Najm, Farid N.

    Efficient RC Power Grid Verification Using Node Elimination Ankit Goyal Department of ECE to reduce the size of power grids but their fo- cus is more on simulation. In verification, we are concerned. This paper pro- poses a novel approach to systematically reduce the power grid and accurately compute

  19. Fast Vectorless Power Grid Verification Using an Approximate Inverse Technique

    E-Print Network [OSTI]

    Najm, Farid N.

    Fast Vectorless Power Grid Verification Using an Approximate Inverse Technique Nahi H. Abdul Ghani Department of ECE University of Toronto Toronto, Ontario, Canada f.najm@utoronto.ca ABSTRACT Power grid Aids General Terms Performance, Algorithms, Verification Keywords Power grid, voltage drop, approximate

  20. Software Verification in the Google App-Engine Cloud

    E-Print Network [OSTI]

    Beyer, Dirk

    University of Passau, Germany Abstract. Software verification often requires a large amount of com- puting resources. In the last years, cloud services emerged as an inexpen- sive, flexible, and energy who wish to solve sin- gle verification tasks (tutorial usage), and an API for integrating the service

  1. A Framework for Object Oriented Hardware Specification, Verification, and Synthesis*

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

    A Framework for Object Oriented Hardware Specification, Verification, and Synthesis* T. Kuhn, T of hardware. For this purpose the object oriented language `e' is introduced along with a powerful run Object oriented hardware modeling, verification, high-level synthesis. 1. INTRODUCTION The ever

  2. Object Oriented Hardware Synthesis and Verification T. Kuhn, T. Oppold,

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

    Object Oriented Hardware Synthesis and Verification T. Kuhn, T. Oppold, C. Schulz-Key, M of hardware from object oriented specifications is presented. Our approach utilizes the e language that has been proven to be highly efficient for the verification of hardware. The e language is similar to Java

  3. Timing verification of automotive communication architecture using quantile estimation

    E-Print Network [OSTI]

    Navet, Nicolas

    Timing verification of automotive communication architecture using quantile estimation Nicolas;1 Outline - 207/02/2014ERTSS'2014 Early-stage timing verification of wired automotive buses ­ CAN for quantiles derived by simulation 2 typical automotive use-cases #12;2 Automotive communication architectures

  4. Automated Verification of Model Transformations in the Automotive Industry

    E-Print Network [OSTI]

    Cordy, James R.

    Automated Verification of Model Transformations in the Automotive Industry Gehan M. K. Selim1 Verification, Automotive In- dustry 1 Introduction Model Driven Development (MDD) has been increasingly used of the Pays de la Loire Region (France), and by NSERC (Canada), as part of the NECSIS Automotive Partnership

  5. Approaches to verification of two-dimensional water quality models

    SciTech Connect (OSTI)

    Butkus, S.R. . Water Quality Dept.)

    1990-11-01

    The verification of a water quality model is the one procedure most needed by decision making evaluating a model predictions, but is often not adequate or done at all. The results of a properly conducted verification provide the decision makers with an estimate of the uncertainty associated with model predictions. Several statistical tests are available for quantifying of the performance of a model. Six methods of verification were evaluated using an application of the BETTER two-dimensional water quality model for Chickamauga reservoir. Model predictions for ten state variables were compared to observed conditions from 1989. Spatial distributions of the verification measures showed the model predictions were generally adequate, except at a few specific locations in the reservoir. The most useful statistics were the mean standard error of the residuals. Quantifiable measures of model performance should be calculated during calibration and verification of future applications of the BETTER model. 25 refs., 5 figs., 7 tabs.

  6. DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS

    SciTech Connect (OSTI)

    Robert S. Bean; Richard R. M. Metcalf; Phillip C. Durst

    2009-07-01

    A critical aspect of international safeguards activities performed by the International Atomic Energy Agency (IAEA) is the verification that facility design and construction (including upgrades and modifications) do not create opportunities for nuclear proliferation. These Design Information Verification activities require that IAEA inspectors compare current and past information about the facility to verify the operator’s declaration of proper use. The actual practice of DIV presents challenges to the inspectors due to the large amount of data generated, concerns about sensitive or proprietary data, the overall complexity of the facility, and the effort required to extract just the safeguards relevant information. Planned and anticipated facilities will (especially in the case of reprocessing plants) be ever larger and increasingly complex, thus exacerbating the challenges. This paper reports the results of a workshop held at the Idaho National Laboratory in March 2009, which considered technologies and methods to address these challenges. The use of 3D Laser Range Finding, Outdoor Visualization System, Gamma-LIDAR, and virtual facility modeling, as well as methods to handle the facility data issues (quantity, sensitivity, and accessibility and portability for the inspector) were presented. The workshop attendees drew conclusions about the use of these techniques with respect to successfully employing them in an operating environment, using a Fuel Conditioning Facility walk-through as a baseline for discussion.

  7. Verification and validation for induction heating

    SciTech Connect (OSTI)

    Lam, Kin [Los Alamos National Laboratory; Tippetts, Trevor B [Los Alamos National Laboratory; Allen, David W [NON LANL

    2008-01-01

    Truchas is a software package being developed at LANL within the Telluride project for predicting the complex physical processes in metal alloy casting. The software was designed to be massively parallel, multi-material, multi-physics, and to run on 3D, fully unstructured meshes. This work describes a Verification and Validation assessment of Truchas for simulating the induction heating phase of a casting process. We used existing data from a simple experiment involving the induction heating of a graphite cylinder, as graphite is a common material used for mold assemblies. Because we do not have complete knowledge of all the conditions and properties in this experiment (as is the case in many other experiments), we performed a parameter sensitivity study, modeled the uncertainties of the most sensitive parameters, and quantified how these uncertainties propagate to the Truchas output response. A verification analysis produced estimates of the numerical error of the Truchas solution to our computational model. The outputs from Truchas runs with randomly sampled parameter values were used for the validation study.

  8. The First Hundred Brown Dwarfs Discovered by the Wide-field Infrared Survey Explorer (WISE)

    E-Print Network [OSTI]

    Bochanski, John J.

    We present ground-based spectroscopic verification of 6 Y dwarfs (see also Cushing et al.), 89 T dwarfs, 8 L dwarfs, and 1 M dwarf identified by the Wide-field Infrared Survey Explorer (WISE). Eighty of these are cold brown ...

  9. AN INFRARED CORONAGRAPHIC SURVEY FOR SUBSTELLAR COMPANIONS Patrick J. Lowrance,1

    E-Print Network [OSTI]

    Schneider, Glenn

    ), the first ``cool'' brown dwarf, Gl 229B (Nakajima et al. 1995), and the first extrasolar planet (Mayor into the high mass planet region. Results of the entire survey include the proper-motion verification of five between stars and planets. Their existence and properties give insight into stellar and planetary

  10. Compositional Reactive Semantics of SystemC and Verification with RuleBase

    E-Print Network [OSTI]

    Gupta, Rajesh

    C. Keywords: SystemC, semantics, verification, model checking 1 Introduction System-level modeling using for verification of SystemC com- ponents, providing a powerful workbench for testing and verification. 2 OverviewCompositional Reactive Semantics of SystemC and Verification with RuleBase Rudrapatna K

  11. Comment submitted by Consumers Union regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Consumers Union regarding the Energy Star Verification Testing Program

  12. State and Local Energy Savings Performance Contracting: Savings Measurement and Verification (M&V)

    Broader source: Energy.gov [DOE]

    State and Local Energy Savings Performance Contracting: Savings Measurement and Verification (M&V) Webinar.

  13. Energy Savings Performance Contracting-Savings Measurement and Verification Transcript 2-24-2011.doc

    Broader source: Energy.gov [DOE]

    Energy Savings Performance Contracting-Savings Measurement and Verification Transcript 2-24-2011.doc

  14. Developing an Evaluation Measurement and Verification Plan for Your Energy Efficiency Project/Program

    Broader source: Energy.gov [DOE]

    Developing an Evaluation Measurement and Verification Plan for Your Energy Efficiency Project/Program

  15. Verification of the Equilibrium and MHD Stability Codes within the Integrated Tokamak Modeling Task Force

    E-Print Network [OSTI]

    Verification of the Equilibrium and MHD Stability Codes within the Integrated Tokamak Modeling Task Force

  16. Seeing is Not Believing: Visual Verifications through Liveness Analysis using Mobile Devices

    E-Print Network [OSTI]

    Carbunar, Bogdan

    , including citizen journalism, smart cities, mobile authentication, and product condition verification

  17. Survey Data 

    E-Print Network [OSTI]

    Unknown

    2011-08-17

    Knowledge of surface sediment distribution in Galveston Bay is important because it allows us to better understand how the bay works and how human activities impact the bay and its ecosystems. In this project, six areas of bay bottom were surveyed...

  18. COACHE Faculty Job Satisfaction Survey SURVEY INSTRUMENT

    E-Print Network [OSTI]

    Johnson Jr.,, Ray

    2011-2012 Survey Instrument Theme Benchmark Question Responses Historic Data Available EligibleCOACHE Faculty Job Satisfaction Survey SURVEY INSTRUMENT 2011-12 © 2011 President & Fellows in Higher Education Faculty Job Satisfaction Survey 2011-2012 Survey Instrument Theme Benchmark Question

  19. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    . Huppert Noelwah R. Netusil JunJie Wu Cost-Effectiveness of Fish Tagging Technologies and Programs in the Columbia River Basin1 Independent Economic Analysis Board Fish and Wildlife Program Northwest Power and Conservation Council June 2, 2013 1 This report benefitted from the meetings of the Fish Tagging Forum

  20. Catalysis Research for Energy Independence

    E-Print Network [OSTI]

    -conversions to significantly reduce the carbon footprint of the global energy system. We provide a fundamental understandingCatalysis Research for Energy Independence Chemical transformations are at the heart of energy production and use, and catalysis lies at the core of efficiently and effectively using our current energy

  1. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    would be most cost effective when electricity prices are high. Further, reduced pumping in dry years be tailored to respond to contingencies such as electricity price surges and unusually dry weather. Inclusion of Instream Water Supply Components of the Salmon Creek Project Independent Economic Analysis Board Northwest

  2. Integration and Independent Innovation on a Network

    E-Print Network [OSTI]

    Farrell, Joseph

    2012-01-01

    Integration and Independent Innovation on a Network JosephKeywords: telecom networks, innovation, competition, accesspoint of monopoly. Innovation thrives with many independent

  3. Independent Oversight Review, Los Alamos National Laboratory...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    December 2011 Independent Oversight Review, Los Alamos National Laboratory - December 2011 December 2011 Review of the Independent Integrated Safety ManagementIntegrated Work...

  4. Independent Oversight Focused Program Review, Argonne National...

    Energy Savers [EERE]

    Independent Oversight Focused Program Review, Argonne National Laboratory-West - May 2001 Independent Oversight Focused Program Review, Argonne National Laboratory-West - May 2001...

  5. Independent Oversight Investigation, Hanford Site - April 2004...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Independent Oversight Investigation, Hanford Site - April 2004 Independent Oversight Investigation, Hanford Site - April 2004 April 2004 Investigation of Worker Vapor Exposure and...

  6. Independent Activity Report, Richland Operations Office - June...

    Office of Environmental Management (EM)

    Independent Activity Report, Richland Operations Office - June 2011 June 2011 Hanford Sludge Treatment Project Review HIAR-RL-2011-06-17 This Independent Activity Report...

  7. Patient position verification using small IMRT fields

    SciTech Connect (OSTI)

    Bol, G. H.; Heide, U. A. van der; Nederveen, A. J.; Kotte, A. N. T. J.; Lagendijk, J. J. W. [Department of Radiotherapy, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX Utrecht (Netherlands)

    2006-07-15

    A commonly used approach to quantify and minimize patient setup errors is by using electronic portal imaging devices (EPIDs). The position of the tumor can be verified indirectly by matching the bony anatomy to a reference image containing the same structures. In this paper we present two off-line methods for detecting the position of the bony anatomy automatically, even if every single portal image of each segment of an IMRT treatment beam contains insufficient matching information. Extra position verification fields will no longer be necessary, which reduces the total dose to the patient. The first method, the stack matching method (SMM), stacks the portal image of each segment of a beam to a three dimensional (3D) volume, and this volume is subsequently used during the matching phase. The second method [the averaged projection matching method (APMM)], is a simplification of the first one, since the initially created volume is reduced again to a 2D artificial image, which speeds up the matching procedure considerably, without a significant loss of accuracy. Matching is based on normalized mutual information. We demonstrate our methods by comparing them to existing matching routines, such as matching based on the largest segment. Both phantom and patient experiments show that our methods are comparable with the results obtained from standard position verification methods. The matches are verified by means of visual inspection. Furthermore, we show that when a distinct area of 40-60 cm{sup 2} of the EPID is exposed during one treatment beam, both SMM and APMM are able to deliver a good matching result.

  8. Safeguards Verification Measurements using Laser Ablation, Absorbance Ratio Spectrometry in Gaseous Centrifuge Enrichment Plants

    SciTech Connect (OSTI)

    Anheier, Norman C.; Cannon, Bret D.; Kulkarni, Gourihar R.; Munley, John T.; Nelson, Danny A.; Qiao, Hong; Phillips, Jon R.

    2012-07-17

    Laser Ablation Absorbance Ratio Spectrometry (LAARS) is a new verification measurement technology under development at the US Department of Energy (DOE) Pacific Northwest National Laboratory (PNNL). LAARS uses three lasers to ablate and then measure the relative isotopic abundance of uranium compounds. An ablation laser is tightly focused on uranium-bearing solids, producing a small atomic uranium vapor plume. Two collinear wavelength-tuned spectrometry lasers transit through the plume and the absorbance of U-235 and U-238 isotopes are measured to determine U-235 enrichment. The measurement is independent of chemical form and degree of dilution with nuisance dust and other materials. LAARS has high relative precision and detection limits approaching the femtogram range for U-235. The sample is scanned and assayed point-by-point at rates reaching 1 million measurements/hour, enabling LAARS to detect and analyze uranium in trace samples. The spectrometer is assembled using primarily commercially available components and features a compact design and automated analysis.Two specific gaseous centrifuge enrichment plant (GCEP) applications of the spectrometer are currently under development: 1) LAARS-Environmental Sampling (ES), which collects and analyzes aerosol particles for GCEP misuse detection and 2) LAARS-Destructive Assay (DA), which enables onsite enrichment DA sample collection and analysis for protracted diversion detection. The two applications propose game-changing technological advances in GCEP safeguards verification.

  9. Specification and Verification: The Spec# Experience Mike Barnett

    E-Print Network [OSTI]

    Leino, K. Rustan M.

    Specification and Verification: The Spec# Experience Mike Barnett Microsoft Research, Redmond or to redistribute to lists, requires prior specific permission and/or a fee. Copyright 2009 Barnett, Fähndrich

  10. Combining Vision Verification with a High Level Robot Programming Language 

    E-Print Network [OSTI]

    Yin, Baolin

    1984-01-01

    This thesis describes work on using vision verification within an object level language for describing robot assembly (RAPT). The motivation for this thesis is provided by two problems. The first is how to enhance a ...

  11. Seventh International Workshop on Specification and Verification of

    E-Print Network [OSTI]

    Leavens, Gary T.

    , Brazil) Sergio Soares (UPE, Brazil) Ricardo Lima (Universidade de Pernambuco, Brazil) Paulo Borba (Federal University of Pernambuco, Brazil) Márcio Cornélio (UPE, Brazil) Total Correctness of Recursive Units and Proof Checking for Specification and Verification 59 Hampton Smith (Clemson University, USA

  12. Cleanup Verification Package for the 300-8 Waste Site

    SciTech Connect (OSTI)

    J. M. Capron

    2005-11-07

    This cleanup verification package documents completion of remedial action for the 300-8 waste site. This waste site was formerly used to stage scrap metal from the 300 Area in support of a program to recycle aluminum.

  13. Experiments in Automating Hardware Verification using Inductive Proof Planning 

    E-Print Network [OSTI]

    Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David

    1996-01-01

    We present a new approach to automating the verification of hardware designs based on planning techniques. A database of methods is developed that combines tactics, which construct proofs, using specifications of their ...

  14. Discriminating semi-continuous HMM for speaker verification 

    E-Print Network [OSTI]

    Forsyth, Mark; Jack, Mervyn A

    This paper describes the use of a multiple codebook SCHMM speaker verification system, which uses a novel technique for discriminative hidden Markov modelling known as discriminative observation probabilities (DOP). DOP ...

  15. M&V Guidelines: Measurement and Verification for Federal Energy...

    Energy Savers [EERE]

    and Verification Protocol (IPMVP) Concepts and Options for Determining Energy and Water Savings Volume 1, April 2007. M&V Guidelines 3.0 FEMP ii Contents Section Page Section...

  16. Evaluation of Kernal Methods for Speaker Verification and Identification 

    E-Print Network [OSTI]

    Wan, Vincent; Renals, Steve

    Support vector machines are evaluated on speaker verification and speaker identification tasks. We compare the polynomial kernel, the Fisher kernel, a likelihood ratio kernel and the pair hidden Markov model kernel with ...

  17. Ion mobility spectrometer, spectrometer analyte detection and identification verification system, and method

    DOE Patents [OSTI]

    Atkinson, David A. (Idaho Falls, ID)

    2002-01-01

    Methods and apparatus for ion mobility spectrometry and analyte detection and identification verification system are disclosed. The apparatus is configured to be used in an ion mobility spectrometer and includes a plurality of reactant reservoirs configured to contain a plurality of reactants which can be reacted with the sample to form adducts having varying ion mobilities. A carrier fluid, such as air or nitrogen, is used to carry the sample into the spectrometer. The plurality of reactants are configured to be selectively added to the carrier stream by use inlet and outlet manifolds in communication with the reagent reservoirs, the reservoirs being selectively isolatable by valves. The invention further includes a spectrometer having the reagent system described. In the method, a first reactant is used with the sample. Following a positive result, a second reactant is used to determine whether a predicted response occurs. The occurrence of the second predicted response tends to verify the existence of a component of interest within the sample. A third reactant can also be used to provide further verification of the existence of a component of interest. A library can be established of known responses of compounds of interest with various reactants and the results of a specific multi-reactant survey of a sample can be compared against the library to determine whether a component detected in the sample is likely to be a specific component of interest.

  18. A Mobile-based Face Verification System Zongying Ou, Tieming Su, Fan Ou, Jianxin Zhang, Dianting Liu

    E-Print Network [OSTI]

    Shyu, Mei-Ling

    contains two modules: Model training module and Verification module. The verification module will run putting verification module into implementation the verification model training module should run first to yield the model parameters for verification. The training module will run on a table computer since

  19. Dosimetric characterization and output verification for conical brachytherapy surface applicators. Part I. Electronic brachytherapy source

    SciTech Connect (OSTI)

    Fulkerson, Regina K. Micka, John A.; DeWerd, Larry A.

    2014-02-15

    Purpose: Historically, treatment of malignant surface lesions has been achieved with linear accelerator based electron beams or superficial x-ray beams. Recent developments in the field of brachytherapy now allow for the treatment of surface lesions with specialized conical applicators placed directly on the lesion. Applicators are available for use with high dose rate (HDR){sup 192}Ir sources, as well as electronic brachytherapy sources. Part I of this paper will discuss the applicators used with electronic brachytherapy sources; Part II will discuss those used with HDR {sup 192}Ir sources. Although the use of these applicators has gained in popularity, the dosimetric characteristics including depth dose and surface dose distributions have not been independently verified. Additionally, there is no recognized method of output verification for quality assurance procedures with applicators like these. Existing dosimetry protocols available from the AAPM bookend the cross-over characteristics of a traditional brachytherapy source (as described by Task Group 43) being implemented as a low-energy superficial x-ray beam (as described by Task Group 61) as observed with the surface applicators of interest. Methods: This work aims to create a cohesive method of output verification that can be used to determine the dose at the treatment surface as part of a quality assurance/commissioning process for surface applicators used with HDR electronic brachytherapy sources (Part I) and{sup 192}Ir sources (Part II). Air-kerma rate measurements for the electronic brachytherapy sources were completed with an Attix Free-Air Chamber, as well as several models of small-volume ionization chambers to obtain an air-kerma rate at the treatment surface for each applicator. Correction factors were calculated using MCNP5 and EGSnrc Monte Carlo codes in order to determine an applicator-specific absorbed dose to water at the treatment surface from the measured air-kerma rate. Additionally, relative dose measurements of the surface dose distributions and characteristic depth dose curves were completed in-phantom. Results: Theoretical dose distributions and depth dose curves were generated for each applicator and agreed well with the measured values. A method of output verification was created that allows users to determine the applicator-specific dose to water at the treatment surface based on a measured air-kerma rate. Conclusions: The novel output verification methods described in this work will reduce uncertainties in dose delivery for treatments with these kinds of surface applicators, ultimately improving patient care.

  20. Verification of 2-D Detonation Shock Dynamics in conjunction with Los Alamos Lagrangian hydrocode

    SciTech Connect (OSTI)

    Aida, Toru [Los Alamos National Laboratory; Walter, John W. [Los Alamos National Laboratory; Aslam, Tariq D. [Los Alamos National Laboratory; Short, Mark [Los Alamos National Laboratory

    2013-01-29

    As the latest version of the fast-tube Detonation Shock Dynamics (DSD) solver is linked with the Los Alamos Lagrangian hydrocode, verification problems from a 2006 DSD report (LA-14277 [1]) have been duplicated with some of the verification criteria changed to more quantitative ones. The observed error convergence is as good as or better than reported in [1], quite possibly due to the careful treatment of floating point numbers to ensure that their precision level is maintained throughout the code. This report duplicates the three sample verification problems in LA-14277 [1] using the Los Alamos ASC Lagrangian hydrocode (FLAG), official release of 3.2 Alpha6 with a few modifications. This version of FLAG is linked with the latest fast-tube Detonation Shock Dynamics (DSD) version beta 2 solver released in 2011 as part of the LanlDSD software product [2]. New verification criteria are used for the arcwave problem where two specific locations are chosen for burn arrival time comparison. For this report FLAG's internal driver code prepares the distance function ({Psi}) and material ID fields from its hydro setup, instead of the stand-alone driver that is being utilized by the other LANL hydrocodes currently interfaced to LanlDSD. As it is implemented in version 3.2 Alpha6, the {Psi} and material ID fields and other parameters are passed from FLAG to the DSD solver directly, and the burn table is directly passed back to FLAG as part of the calling arguments. The burn-front arrival time 'exact' solutions, mentioned in the sequel for the rate-stick and 'arc-wave' problems, are computed using a pair of special-purpose Fortran codes provided by Aslam [3]. In each case an ansatz for the form of the solution is made in which the radius from the detonator center point is used as the independent space coordinate. This leads to a simplified, problem-specific, 1D form of the governing equation. This equation is solved using 2nd-order spatial differencing and the forward Euler method on a very fine temporal and geometric mesh. The boundary conditions are handled exactly at the correct location, with second order accuracy. Care has been taken to ensure that this solution is fully converged. Most other technical details are omitted here as they are comprehensively discussed in [1].

  1. Wide-Field Lensing Mass Maps from DES Science Verification Data

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Chang, C.; Vikram, V.; Jain, B.

    2015-07-29

    We present a mass map reconstructed from weak gravitational lensing shear measurements over 139 deg2 from the Dark Energy Survey (DES) Science Verification data. The mass map probes both luminous and dark matter, thus providing a tool for studying cosmology. We find good agreement between the mass map and the distribution of massive galaxy clusters identified using a red-sequence cluster finder. Potential candidates for super-clusters and voids are identified using these maps. We measure the cross-correlation between the mass map and a magnitude-limited foreground galaxy sample and find a detection at the 6.8? level with 20 arcminute smoothing. These measurementsmore »are consistent with simulated galaxy catalogs based on ?CDM Nbody simulations, suggesting low systematics uncertainties in the map. We summarize our key findings in this letter; the detailed methodology and tests for systematics are presented in a companion paper.« less

  2. Wide-Field Lensing Mass Maps from DES Science Verification Data

    E-Print Network [OSTI]

    Chang, C; Jain, B; Bacon, D; Amara, A; Becker, M R; Bernstein, G; Bonnett, C; Bridle, S; Brout, D; Busha, M; Frieman, J; Gaztanaga, E; Hartley, W; Jarvis, M; Kacprzak, T; Kovacs, A; Lahav, O; Lin, H; Melchior, P; Peiris, H; Rozo, E; Rykoff, E; Sanchez, C; Sheldon, E; Troxel, M A; Wechsler, R; Zuntz, J; Abbott, T; Abdalla, F B; Allam, S; Annis, J; Bauer, A H; Benoit-Levy, A; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Castander, F J; Crocce, M; D'Andrea, C B; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Eifler, T F; Evrard, A E; Neto, A Fausti; Flaugher, B; Fosalba, P; Gruen, D; Gruendl, R A; Gutierrez, G; Honscheid, K; James, D; Kent, S; Kuehn, K; Kuropatkin, N; Maia, M A G; March, M; Martini, P; Merritt, K W; Miller, C J; Miquel, R; Neilsen, E; Nichol, R C; Ogando, R; Plazas, A A; Romer, A K; Roodman, A; Sako, M; Sanchez, E; Sevilla, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Tarle, G; Thaler, J; Thomas, D; Tucker, D; Walker, A R

    2015-01-01

    We present a mass map reconstructed from weak gravitational lensing shear measurements over 139 sq. deg from the Dark Energy Survey (DES) Science Verification data. The mass map probes both luminous and dark matter, thus providing a tool for studying cosmology. We find good agreement between the mass map and the distribution of massive galaxy clusters identified using a red-sequence cluster finder. Potential candidates for super-clusters and voids are identified using these maps. We measure the cross-correlation between the mass map and a magnitude-limited foreground galaxy sample and find a detection at the 5-7 sigma level on a large range of scales. These measurements are consistent with simulated galaxy catalogs based on LCDM N-body simulations, suggesting low systematics uncertainties in the map. We summarize our key findings in this letter; the detailed methodology and tests for systematics are presented in a companion paper.

  3. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect (OSTI)

    Pecharroman-Gallego, R.; Mans, Anton; Sonke, Jan-Jakob; Stroom, Joep C.; Olaciregui-Ruiz, Igor; Herk, Marcel van; Mijnheer, Ben J. [Department of Radiation Oncology, The Netherlands Cancer Institute-Antoni van Leeuwenhoek Hospital, Plesmanlaan 121, 1066 CX Amsterdam (Netherlands)

    2011-02-15

    Purpose: Electronic portal imaging devices (EPIDs) are increasingly used for IMRT dose verification, both pretreatment and in vivo. In this study, an earlier developed backprojection model has been modified to avoid the need for patient-specific transmission measurements and, consequently, leads to a faster procedure. Methods: Currently, the transmission, an essential ingredient of the backprojection model, is estimated from the ratio of EPID measurements with and without a phantom/patient in the beam. Thus, an additional irradiation to obtain ''open images'' under the same conditions as the actual phantom/patient irradiation is required. However, by calculating the transmission of the phantom/patient in the direction of the beam instead of using open images, this extra measurement can be avoided. This was achieved by using a model that includes the effect of beam hardening and off-axis dependence of the EPID response on photon beam spectral changes. The parameters in the model were empirically obtained by performing EPID measurements using polystyrene slab phantoms of different thickness in 6, 10, and 18 MV photon beams. A theoretical analysis to verify the sensitivity of the model with patient thickness changes was performed. The new model was finally applied for the analysis of EPID dose verification measurements of step-and-shoot IMRT treatments of head and neck, lung, breast, cervix, prostate, and rectum patients. All measurements were carried out using Elekta SL20i linear accelerators equipped with a hydrogenated amorphous silicon EPID, and the IMRT plans were made using PINNACLE software (Philips Medical Systems). Results: The results showed generally good agreement with the dose determined using the old model applying the measured transmission. The average differences between EPID-based in vivo dose at the isocenter determined using either the new model for transmission and its measured value were 2.6{+-}3.1%, 0.2{+-}3.1%, and 2.2{+-}3.9% for 47 patients treated with 6, 10, and 18 MV IMRT beams, respectively. For the same group of patients, the differences in mean {gamma} analysis (3% maximum dose, 3 mm) were 0.16{+-}0.26%, 0.21{+-}0.24%, and 0.02{+-}0.12%, respectively. For a subgroup of 11 patients, pretreatment verification was also performed, showing similar dose differences at the isocenter: -1.9{+-}0.9%, -1.4{+-}1.2%, and -0.4{+-}2.4%, with somewhat lower mean {gamma} difference values: 0.01{+-}0.09%, 0.01{+-}0.07%, and -0.09{+-}0.10%, respectively. Clinical implementation of the new model would save 450 h/yr spent in measurement of open images. Conclusions: It can be concluded that calculating instead of measuring the transmission leads to differences in the isocenter dose generally smaller than 2% (2.6% for 6 MV photon beams for in vivo dose) and yielded only slightly higher {gamma}-evaluation parameter values in planes through the isocenter. Hence, the new model is suitable for clinical implementation and measurement of open images can be omitted.

  4. verification & Validation of High-Order Short-Characteristics-Based Deterministic Transport Methodology on Unstructured Grids

    SciTech Connect (OSTI)

    Azmy, Yousry; Wang, Yaqi

    2013-12-20

    The research team has developed a practical, high-order, discrete-ordinates, short characteristics neutron transport code for three-dimensional configurations represented on unstructured tetrahedral grids that can be used for realistic reactor physics applications at both the assembly and core levels. This project will perform a comprehensive verification and validation of this new computational tool against both a continuous-energy Monte Carlo simulation (e.g. MCNP) and experimentally measured data, an essential prerequisite for its deployment in reactor core modeling. Verification is divided into three phases. The team will first conduct spatial mesh and expansion order refinement studies to monitor convergence of the numerical solution to reference solutions. This is quantified by convergence rates that are based on integral error norms computed from the cell-by-cell difference between the code’s numerical solution and its reference counterpart. The latter is either analytic or very fine- mesh numerical solutions from independent computational tools. For the second phase, the team will create a suite of code-independent benchmark configurations to enable testing the theoretical order of accuracy of any particular discretization of the discrete ordinates approximation of the transport equation. For each tested case (i.e. mesh and spatial approximation order), researchers will execute the code and compare the resulting numerical solution to the exact solution on a per cell basis to determine the distribution of the numerical error. The final activity comprises a comparison to continuous-energy Monte Carlo solutions for zero-power critical configuration measurements at Idaho National Laboratory’s Advanced Test Reactor (ATR). Results of this comparison will allow the investigators to distinguish between modeling errors and the above- listed discretization errors introduced by the deterministic method, and to separate the sources of uncertainty.

  5. The redMaPPer Galaxy Cluster Catalog From DES Science Verification Data

    E-Print Network [OSTI]

    Rykoff, E S; Hollowood, D; Bermeo-Hernandez, A; Jeltema, T; Mayers, J; Romer, A K; Rooney, P; Saro, A; Cervantes, C Vergara; Wilcox, H; Abbott, T M C; Abdalla, F B; Allam, S; Annis, J; Benoit-Lévy, A; Bernstein, G M; Bertin, E; Brooks, D; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Castander, F J; Childress, M; Collins, C A; Cunha, C E; D'Andrea, C B; da Costa, L N; Davis, T M; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Evrard, A E; Finley, D A; Flaugher, B; Fosalba, P; Frieman, J; Glazebrook, K; Goldstein, D A; Gruen, D; Gruendl, R A; Gutierrez, G; Hilton, M; Honscheid, K; Hoyle, B; James, D J; Kay, S T; Kuehn, K; Kuropatkin, N; Lahav, O; Lewis, G F; Lidman, C; Lima, M; Maia, M A G; Mann, R G; Marshall, J L; Martini, P; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Nichol, R C; Nord, B; Ogando, R; Plazas, A A; Reil, K; Sahlén, M; Sanchez, E; Santiago, B; Scarpine, V; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Stott, J P; Suchyta, E; Swanson, M E C; Tarle, G; Thomas, D; Tucker, D; Viana, P T P; Vikram, V; Walker, A R; Zhang, Y

    2016-01-01

    We describe updates to the redMaPPer algorithm, a photometric red-sequence cluster finder specifically designed for large photometric surveys. The updated algorithm is applied to $150\\,\\mathrm{deg}^2$ of Science Verification (SV) data from the Dark Energy Survey (DES), and to the Sloan Digital Sky Survey (SDSS) DR8 photometric data set. The DES SV catalog is locally volume limited, and contains 786 clusters with richness $\\lambda>20$ (roughly equivalent to $M_{\\mathrm{500c}}\\gtrsim10^{14}\\,h_{70}^{-1}\\,M_{\\odot}$) and $0.2

  6. Enhanced Verification Test Suite for Physics Simulation Codes

    SciTech Connect (OSTI)

    Kamm, J R; Brock, J S; Brandon, S T; Cotrell, D L; Johnson, B; Knupp, P; Rider, W; Trucano, T; Weirs, V G

    2008-10-10

    This document discusses problems with which to augment, in quantity and in quality, the existing tri-laboratory suite of verification problems used by Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and Sandia National Laboratories (SNL). The purpose of verification analysis is demonstrate whether the numerical results of the discretization algorithms in physics and engineering simulation codes provide correct solutions of the corresponding continuum equations. The key points of this document are: (1) Verification deals with mathematical correctness of the numerical algorithms in a code, while validation deals with physical correctness of a simulation in a regime of interest. This document is about verification. (2) The current seven-problem Tri-Laboratory Verification Test Suite, which has been used for approximately five years at the DOE WP laboratories, is limited. (3) Both the methodology for and technology used in verification analysis have evolved and been improved since the original test suite was proposed. (4) The proposed test problems are in three basic areas: (a) Hydrodynamics; (b) Transport processes; and (c) Dynamic strength-of-materials. (5) For several of the proposed problems we provide a 'strong sense verification benchmark', consisting of (i) a clear mathematical statement of the problem with sufficient information to run a computer simulation, (ii) an explanation of how the code result and benchmark solution are to be evaluated, and (iii) a description of the acceptance criterion for simulation code results. (6) It is proposed that the set of verification test problems with which any particular code be evaluated include some of the problems described in this document. Analysis of the proposed verification test problems constitutes part of a necessary--but not sufficient--step that builds confidence in physics and engineering simulation codes. More complicated test cases, including physics models of greater sophistication or other physics regimes (e.g., energetic material response, magneto-hydrodynamics), would represent a scientifically desirable complement to the fundamental test cases discussed in this report. The authors believe that this document can be used to enhance the verification analyses undertaken at the DOE WP Laboratories and, thus, to improve the quality, credibility, and usefulness of the simulation codes that are analyzed with these problems.

  7. Hybrid Enrichment Assay Methods for a UF6 Cylinder Verification Station: FY10 Progress Report

    SciTech Connect (OSTI)

    Smith, Leon E.; Jordan, David V.; Orton, Christopher R.; Misner, Alex C.; Mace, Emily K.

    2010-08-01

    Pacific Northwest National Laboratory (PNNL) is developing the concept of an automated UF6 cylinder verification station that would be located at key measurement points to positively identify each cylinder, measure its mass and enrichment, store the collected data in a secure database, and maintain continuity of knowledge on measured cylinders until the arrival of International Atomic Energy Agency (IAEA) inspectors. At the center of this unattended system is a hybrid enrichment assay technique that combines the traditional enrichment-meter method (based on the 186 keV peak from 235U) with non-traditional neutron-induced high-energy gamma-ray signatures (spawned primarily by 234U alpha emissions and 19F(alpha, neutron) reactions). Previous work by PNNL provided proof-of-principle for the non-traditional signatures to support accurate, full-volume interrogation of the cylinder enrichment, thereby reducing the systematic uncertainties in enrichment assay due to UF6 heterogeneity and providing greater sensitivity to material substitution scenarios. The work described here builds on that preliminary evaluation of the non-traditional signatures, but focuses on a prototype field system utilizing NaI(Tl) and LaBr3(Ce) spectrometers, and enrichment analysis algorithms that integrate the traditional and non-traditional signatures. Results for the assay of Type-30B cylinders ranging from 0.2 to 4.95 wt% 235U, at an AREVA fuel fabrication plant in Richland, WA, are described for the following enrichment analysis methods: 1) traditional enrichment meter signature (186 keV peak) as calculated using a square-wave convolute (SWC) algorithm; 2) non-traditional high-energy gamma-ray signature that provides neutron detection without neutron detectors and 3) hybrid algorithm that merges the traditional and non-traditional signatures. Uncertainties for each method, relative to the declared enrichment for each cylinder, are calculated and compared to the uncertainties from an attended HPGe verification station at AREVA, and the IAEA’s uncertainty target values for feed, tail and product cylinders. A summary of the major findings from the field measurements and subsequent analysis follows: • Traditional enrichment-meter assay using specially collimated NaI spectrometers and a Square-Wave-Convolute algorithm can achieve uncertainties comparable to HPGe and LaBr for product, natural and depleted cylinders. • Non-traditional signatures measured using NaI spectrometers enable interrogation of the entire cylinder volume and accurate measurement of absolute 235U mass in product, natural and depleted cylinders. • A hybrid enrichment assay method can achieve lower uncertainties than either the traditional or non-traditional methods acting independently because there is a low degree of correlation in the systematic errors of the two individual methods (wall thickness variation and 234U/235U variation, respectively). This work has indicated that the hybrid NDA method has the potential to serve as the foundation for an unattended cylinder verification station. When compared to today’s handheld cylinder-verification approach, such a station would have the following advantages: 1) improved enrichment assay accuracy for product, tail and feed cylinders; 2) full-volume assay of absolute 235U mass; 3) assay of minor isotopes (234U and 232U) important to verification of feedstock origin; single instrumentation design for both Type 30B and Type 48 cylinders; and 4) substantial reduction in the inspector manpower associated with cylinder verification.

  8. Indistinguishability of independent single photons

    E-Print Network [OSTI]

    F. W. Sun; C. W. Wong

    2009-02-02

    The indistinguishability of independent single photons is presented by decomposing the single photon pulse into the mixed state of different transform limited pulses. The entanglement between single photons and outer environment or other photons induces the distribution of the center frequencies of those transform limited pulses and makes photons distinguishable. Only the single photons with the same transform limited form are indistinguishable. In details, the indistinguishability of single photons from the solid-state quantum emitter and spontaneous parametric down conversion is examined with two-photon Hong-Ou-Mandel interferometer. Moreover, experimental methods to enhance the indistinguishability are discussed, where the usage of spectral filter is highlighted.

  9. Battery Technology Life Verification Testing and Analysis

    SciTech Connect (OSTI)

    Jon P. Christophersen; Gary L. Hunt; Ira Bloom; Ed Thomas; Vince Battaglia

    2007-12-01

    A critical component to the successful commercialization of batteries for automotive applications is accurate life prediction. The Technology Life Verification Test (TLVT) Manual was developed to project battery life with a high level of statistical confidence within only one or two years of accelerated aging. The validation effort that is presently underway has led to several improvements to the original methodology. For example, a newly developed reference performance test revealed a voltage path dependence effect on resistance for lithium-ion cells. The resistance growth seems to depend on how a target condition is reached (i.e., by a charge or a discharge). Second, the methodology for assessing the level of measurement uncertainty was improved using a propagation of errors in the fundamental measurements to the derived response (e.g., resistance). This new approach provides a more realistic assessment of measurement uncertainty. Third, the methodology for allocating batteries to the test matrix has been improved. The new methodology was developed to assign batteries to the matrix such that the average of each test group would be representative of the overall population. These changes to the TLVT methodology will help to more accurately predict a battery technology’s life capability with a high degree of confidence.

  10. Organics Verification Study for Sinclair and Dyes Inlets, Washington

    SciTech Connect (OSTI)

    Kohn, Nancy P.; Brandenberger, Jill M.; Niewolny, Laurie A.; Johnston, Robert K.

    2006-09-28

    Sinclair and Dyes Inlets near Bremerton, Washington, are on the State of Washington 1998 303(d) list of impaired waters because of fecal coliform contamination in marine water, metals in sediment and fish tissue, and organics in sediment and fish tissue. Because significant cleanup and source control activities have been conducted in the inlets since the data supporting the 1998 303(d) listings were collected, two verification studies were performed to address the 303(d) segments that were listed for metal and organic contaminants in marine sediment. The Metals Verification Study (MVS) was conducted in 2003; the final report, Metals Verification Study for Sinclair and Dyes Inlets, Washington, was published in March 2004 (Kohn et al. 2004). This report describes the Organics Verification Study that was conducted in 2005. The study approach was similar to the MVS in that many surface sediment samples were screened for the major classes of organic contaminants, and then the screening results and other available data were used to select a subset of samples for quantitative chemical analysis. Because the MVS was designed to obtain representative data on concentrations of contaminants in surface sediment throughout Sinclair Inlet, Dyes Inlet, Port Orchard Passage, and Rich Passage, aliquots of the 160 MVS sediment samples were used in the analysis for the Organics Verification Study. However, unlike metals screening methods, organics screening methods are not specific to individual organic compounds, and are not available for some target organics. Therefore, only the quantitative analytical results were used in the organics verification evaluation. The results of the Organics Verification Study showed that sediment quality outside of Sinclair Inlet is unlikely to be impaired because of organic contaminants. Similar to the results for metals, in Sinclair Inlet, the distribution of residual organic contaminants is generally limited to nearshore areas already within the actively managed Puget Sound Naval Shipyard and Intermediate Maintenance Facility Superfund Site, where further source-control actions and monitoring are under way.

  11. Mobile Pit verification system design based on passive special nuclear material verification in weapons storage facilities

    SciTech Connect (OSTI)

    Paul, J. N.; Chin, M. R.; Sjoden, G. E.

    2013-07-01

    A mobile 'drive by' passive radiation detection system to be applied in special nuclear materials (SNM) storage facilities for validation and compliance purposes has been designed through the use of computational modeling and new radiation detection methods. This project was the result of work over a 1 year period to create optimal design specifications to include creation of 3D models using both Monte Carlo and deterministic codes to characterize the gamma and neutron leakage out each surface of SNM-bearing canisters. Results were compared and agreement was demonstrated between both models. Container leakages were then used to determine the expected reaction rates using transport theory in the detectors when placed at varying distances from the can. A 'typical' background signature was incorporated to determine the minimum signatures versus the probability of detection to evaluate moving source protocols with collimation. This established the criteria for verification of source presence and time gating at a given vehicle speed. New methods for the passive detection of SNM were employed and shown to give reliable identification of age and material for highly enriched uranium (HEU) and weapons grade plutonium (WGPu). The finalized 'Mobile Pit Verification System' (MPVS) design demonstrated that a 'drive-by' detection system, collimated and operating at nominally 2 mph, is capable of rapidly verifying each and every weapon pit stored in regularly spaced, shelved storage containers, using completely passive gamma and neutron signatures for HEU and WGPu. This system is ready for real evaluation to demonstrate passive total material accountability in storage facilities. (authors)

  12. Data Summary Report for the 1997 Semiannual Tritium Survey for Fourmile Branch and the F- and H-Area Seeplines

    SciTech Connect (OSTI)

    Koch, J.W. II

    1998-01-05

    This report presents a summary of the definitive data validation and verification for the 1997 RFI/RI semiannual tritium survey for Fourmile Branch and the F- and H-Area Seeplines. The RFI/RI was performed under the direction of WSRC ESS/Ecology. This report was prepared under the direction EPD/EMS.

  13. Data Summary Report for the 1998 Semiannual Tritium Surveys for Fourmile Branch and the F- and H-Area Seeplines

    SciTech Connect (OSTI)

    Koch, J.

    1999-01-26

    This report presents a summary of the definitive data validation and verification for the 1998 semiannual tritium surveys for Fourmile Branch and the F- and H-Area Seeplines. The project was performed under the direction of WSRC EAS/Ecology. This report was prepared under the direction of EPD/EMS.

  14. National Energy Efficiency Evaluation, Measurement and Verification (EM&V) Standard: Scoping Study of Issues and Implementation Requirements

    E-Print Network [OSTI]

    Schiller, Steven R.

    2011-01-01

    Interval Data Energy Models: IPMVP Options B and C, Rev 1,and Verification Protocol (IPMVP): Concepts and Options forVerification Protocol (IPMVP)." San Francisco, CA. http://

  15. A Toolkit of Mechanism and Context Independent Widgets

    E-Print Network [OSTI]

    Crease, M.C.

    Crease,M.C. Gray,P.D. Brewster,S.A. Design, Specification and Verification of Interactive Systems (Workshop 8, ICSE 2000), Limerick Academic Press

  16. Radionuclide Inventory Distribution Project Data Evaluation and Verification White Paper

    SciTech Connect (OSTI)

    NSTec Environmental Restoration

    2010-05-17

    Testing of nuclear explosives caused widespread contamination of surface soils on the Nevada Test Site (NTS). Atmospheric tests produced the majority of this contamination. The Radionuclide Inventory and Distribution Program (RIDP) was developed to determine distribution and total inventory of radionuclides in surface soils at the NTS to evaluate areas that may present long-term health hazards. The RIDP achieved this objective with aerial radiological surveys, soil sample results, and in situ gamma spectroscopy. This white paper presents the justification to support the use of RIDP data as a guide for future evaluation and to support closure of Soils Sub-Project sites under the purview of the Federal Facility Agreement and Consent Order. Use of the RIDP data as part of the Data Quality Objective process is expected to provide considerable cost savings and accelerate site closures. The following steps were completed: - Summarize the RIDP data set and evaluate the quality of the data. - Determine the current uses of the RIDP data and cautions associated with its use. - Provide recommendations for enhancing data use through field verification or other methods. The data quality is sufficient to utilize RIDP data during the planning process for site investigation and closure. Project planning activities may include estimating 25-millirem per industrial access year dose rate boundaries, optimizing characterization efforts, projecting final end states, and planning remedial actions. In addition, RIDP data may be used to identify specific radionuclide distributions, and augment other non-radionuclide dose rate data. Finally, the RIDP data can be used to estimate internal and external dose rates. The data quality is sufficient to utilize RIDP data during the planning process for site investigation and closure. Project planning activities may include estimating 25-millirem per industrial access year dose rate boundaries, optimizing characterization efforts, projecting final end states, and planning remedial actions. In addition, RIDP data may be used to identify specific radionuclide distributions, and augment other non-radionuclide dose rate data. Finally, the RIDP data can be used to estimate internal and external dose rates.

  17. Order Module--DOE O 425.1D, VERIFICATION OF READINESS TO START...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    5.1D, VERIFICATION OF READINESS TO START UP OR RESTART NUCLEAR FACILITIES Order Module--DOE O 425.1D, VERIFICATION OF READINESS TO START UP OR RESTART NUCLEAR FACILITIES "The...

  18. A Formal Model of Auditor Independence Risk

    E-Print Network [OSTI]

    Turner, Jerry L.; Mock, Theodore J.; Srivastava, Rajendra P.

    2002-01-01

    Although the published literature on auditor independence is extensive, an accepted comprehensive theory, framework or model of auditor independence risk does not exist. This paper develops a formal model of auditor ...

  19. Targeted Technology Transfer to US Independents

    SciTech Connect (OSTI)

    E. Lance Cole

    2009-09-30

    The Petroleum Technology Transfer Council (PTTC) was established by domestic crude oil and natural gas producers, working in conjunction with the Independent Petroleum Association of America (IPAA), the U.S. Department of Energy (DOE) and selected universities, in 1994 as a national not-for-profit organization. Its goal is to transfer Exploration and Production (E&P) technology to the domestic upstream petroleum industry, in particular to the small independent operators. PTTC connects producers, technology providers and innovators, academia, and university/industry/government research and development (R&D) groups. From inception PTTC has received federal funding through DOE's oil and natural gas program managed by the National Energy Technology Laboratory (NETL). With higher funding available in its early years, PTTC was able to deliver well more than 100 workshops per year, drawing 6,000 or more attendees per year. Facing the reality of little or no federal funding in the 2006-2007 time frame, PTTC and the American Association of Petroleum Geologists (AAPG) worked together for PTTC to become a subsidiary organization of AAPG. This change brings additional organizational and financial resources to bear for PTTC's benefit. PTTC has now been 'powered by AAPG' for two full fiscal years. There is a clear sense that PTTC has stabilized and is strengthening its regional workshop and national technology transfer programs and is becoming more entrepreneurial in exploring technology transfer opportunities beyond its primary DOE contract. Quantitative accomplishments: PTTC has maintained its unique structure of a national organization working through Regional Lead Organizations (RLOs) to deliver local, affordable workshops. During the contract period PTTC consolidated from 10 to six regions efficiency and alignment with AAPG sections. The number of workshops delivered by its RLOs during the contract period is shown below. Combined attendance over the period was approximately 32,000, 70% of whom were repeat attendees. Participant feedback established that 40% of them said they had applied a technology they learned of through PTTC. Central/Eastern Gulf Univ. of Alabama, LSU Center for Energy Studies 77 Eastern West Virginia University, Illinois Geological Survey, W. Michigan Univ. 99 Midcontinent University of Kansas, University of Tulsa, Okla. Geological Survey (past) 123 Rocky Mountains Colorado School of Mines 147 Texas/SE New Mexico Bureau of Economic Geology, U. of Texas at Austin 85 West Coast Conservation Committee of California O&G Producers, Univ. So. Cal. (past) 54 At the national level HQ went from an office in Houston to a virtual office in the Tulsa, Okla. area with AAPG providing any physical assets required. There are no employees, rather several full time and several part time contractors. Since inception, PTTC has produced quarterly and mailed the 16-page Network News newsletter. It highlights new advances in technology and has a circulation of 19,000. It also produces the Tech Connections Column in The American Oil & Gas Reporter, with a circulation of 13,000. On an approximate three-week frequency, the electronic Email Tech Alert goes out to 9,000 readers. The national staff also maintains a central website with information of national interest and individual sections for each of the six regions. The national organization also provides legal and accounting services, coordinates the RLO activities, exhibits at at least major national and other meetings, supports the volunteer Board as it provides strategic direction, and is working to restore the Producer Advisory Groups to bolster the regional presence. Qualitative Value: Three qualitative factors confirm PTTC's value to the domestic O&G producing industry. First, AAPG was willing to step in and rescue PTTC, believing it was of significant interest to its domestic membership and of potential value internationally. Second, through a period of turmoil and now with participant fees dramatically increased, industry participants 'keep coming back' to wo

  20. Independent Oversight Review, West Valley Demonstration Project...

    Office of Environmental Management (EM)

    Oversight Review, West Valley Demonstration Project Transportation - September 2000 Independent Oversight Review, West Valley Demonstration Project Transportation -...

  1. Independent Oversight Assessment, DOE Office of Environmental...

    Office of Environmental Management (EM)

    Assessment, Idaho Cleanup Project Sodium Bearing Waste Treatment Project - November 2012 Independent Oversight Assessment, Salt Waste Processing Facility Project - January...

  2. Small Wind Independent Testing (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2010-09-01

    This fact sheet describes the Small Wind Independent Testing at the NWTC and the Regional Test Centers project.

  3. Independent Oversight Review, West Valley Demonstration Project...

    Office of Environmental Management (EM)

    West Valley Demonstration Project Transportation - September 2000 Independent Oversight Review, West Valley Demonstration Project Transportation - September 2000 September 2000...

  4. Independent Oversight Review, National Nuclear Security Administration...

    Office of Environmental Management (EM)

    Nuclear Security Administration Production Office - February 2014 Independent Oversight Review, National Nuclear Security Administration Production Office - February 2014 February...

  5. Comment submitted by CertainTeed Corporation regarding the Energy Star Verification Testing Program

    Office of Energy Efficiency and Renewable Energy (EERE)

    This document is a comment submitted by CertainTeed Corporation regarding the Energy Star Verification Testing Program

  6. A SYSTEM DESIGN METHODOLOGY FOR REDUCING SYSTEM INTEGRATION TIME AND FACILITATING MODULAR DESIGN VERIFICATION

    E-Print Network [OSTI]

    Chow, Paul

    VERIFICATION Lesley Shannon, Blair Fort, Samir Parikh, Arun Patel, Manuel Salda~na and Paul Chow Department

  7. EECLP Webinar #2: Quality Assurance and Evaluation Monitoring Verification-- Text Version

    Broader source: Energy.gov [DOE]

    Below is the text version of the EECLP Webinar 2: Quality Assurance and Evaluation Monitoring Verification, presented in December 2014.

  8. Comment submitted by A. O. Smith Corporation regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by A. O. Smith Corporation regarding the Energy Star Verification Testing Program

  9. Comment submitted by the Alliance for Water Efficiency (AWE) regarding the Energy Star Verification Testing Program

    Office of Energy Efficiency and Renewable Energy (EERE)

    This document is a comment submitted by the Alliance for Water Efficiency (AWE) regarding the Energy Star Verification Testing Program

  10. Comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program

  11. Comment submitted by the Natural Resources Defense Council (NRDC) regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by the Natural Resources Defense Council (NRDC) regarding the Energy Star Verification Testing Program

  12. Comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program

  13. Comment submitted by InterMetro Industries Corp. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by InterMetro Industries Corp. regarding the Energy Star Verification Testing Program

  14. History-Independent Cuckoo Hashing Udi Wieder

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    History-Independent Cuckoo Hashing Moni Naor Gil Segev Udi Wieder§ Abstract Cuckoo hashing significant improvements compared to other schemes. In this work we construct a practical history-independent dynamic dictionary based on cuckoo hashing. In a history-independent data structure, the memory

  15. Film/Literature Independent Study English 499

    E-Print Network [OSTI]

    Film/Literature Independent Study English 499 Syllabus Instructor: Office: Office phone: Email address: English Dept. Phone: 360-546-9441 Overview The goal of the Film/Literature Independent Study is to help students concentrate on a particular film or literary issue or topic. This independent study

  16. A Zero Knowledge Protocol For Nuclear Warhead Verification

    SciTech Connect (OSTI)

    Glaser, Alexander; Goldston, Robert J.

    2014-03-14

    The verification of nuclear warheads for arms control faces a paradox: International inspectors must gain high confidence in the authenticity of submitted items while learning nothing about them. Conventional inspection systems featuring ''information barriers'', designed to hide measurments stored in electronic systems, are at risk of tampering and snooping. Here we show the viability of fundamentally new approach to nuclear warhead verification that incorporates a zero-knowledge protocol, designed such that sensitive information is never measured so does not need to be hidden. We interrogate submitted items with energetic neutrons, making in effect, differential measurements of neutron transmission and emission. Calculations of diversion scenarios show that a high degree of discrimination can be achieved while revealing zero information. Timely demonstration of the viability of such an approach could be critical for the nexxt round of arms-control negotiations, which will likely require verification of individual warheads, rather than whole delivery systems.

  17. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

    Darvas, D; Voros, A; Bartha, T; Blanco Vinuela, E; Gonzalez Suarez, V M

    2014-01-01

    Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. In this paper we extend our former verification methodology with effective property preserving reduction techniques. For this purpose we developed general rule-based reductions and a customized version of the Cone of Influence (COI) reduction. Using these methods, the verification of complex requirements formalised with temporal logics (e.g. CTL, LTL) can be orders of magnitude faster. We use the NuSMV model checker on a real-life PLC program from CERN to demonstrate the performance of our reduction techniques.

  18. Lake Survey DETROIT, MICH.

    E-Print Network [OSTI]

    ; · Lake Survey Center DETROIT, MICH. NOAA TM NOS LSC 06 NOAA Technical Memorandum NOS LSC 06 U. S Winter 1971_72 R. A. Ass.,i Lake Survey Center National Ocean Survey, NOAA Detroit, Michigan I ABSTRACT

  19. Guidelines for Participation in the ETV ESTE Verification Test of Lead Paint Test Kits

    E-Print Network [OSTI]

    Guidelines for Participation in the ETV ESTE Verification Test of Lead Paint Test Kits Revised 09 in the ETV ESTE verification test of lead paint test kits. Test kits must conform to the following guidelines as part of the ETV verification test of lead paint test kits. Testing is scheduled to start by November

  20. The KeY Platform for Verification and Analysis of Java Programs

    E-Print Network [OSTI]

    Mostowski, Wojciech

    pure functional verification. We use the current release of the KeY system as an example to explain and prove this claim. 1 Overview Motivation. Over the last decades the reach and power of verification of real world systems. The basic technologies of deductive program verification have matured. State

  1. A Reachability-Based Method for Large-Signal Behavior Verification of DC-DC Converters

    E-Print Network [OSTI]

    Liberzon, Daniel

    -loop, large-signal system behavior verification, and iv) switching detail modeling. In open-loop, large´inguez-Garc´ia, Member, IEEE Abstract--A method for large-signal behavior verification of power electronics DC behavior verification, lengthy time-domain simula- tions are conducted to analyze the system response

  2. A knowledge-based verification method for dynamic access control policies

    E-Print Network [OSTI]

    Ryan, Mark

    . This abstraction of knowledge results in a simpler model, which makes the verification efficient, and is powerful may be a prior knowledge, or gained by exploring the system. In both cases, a verification method proposes a dynamic access control model supporting knowledge- based verification through reasoning about

  3. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  4. ISIS 9.0 | Enrollment Verification 1 Created: 02.12.13

    E-Print Network [OSTI]

    Capogna, Luca

    ISIS 9.0 | Enrollment Verification 1 Created: 02.12.13 Student Center ­ Enrollment Verification ISIS 9.0 Enrollment Verification in Student Center Students may choose to print/view an unofficial copy. Instructions for both follow. 1. Log in to your ISIS Student Center. 2. Click the other academic drop-down menu

  5. Component-based hardware/software co-verification for building trustworthy embedded systems q

    E-Print Network [OSTI]

    Xie, Fei

    -based approach to hardware/software co-verification of embedded systems using model checking. Embedded systemsComponent-based hardware/software co-verification for building trustworthy embedded systems q Fei systems require extensive verification. The close interactions between hardware and software of embedded

  6. A Verification Framework for FBD based Software in Nuclear Power Plants Junbeom Yoo

    E-Print Network [OSTI]

    Jee, Eunkyoung

    power reactor. Formal verification techniques such as model checking 1 Goal of KNICS consortium project in nuclear power plant's reactor protection systems. The software verification framework uses two differentA Verification Framework for FBD based Software in Nuclear Power Plants Junbeom Yoo Div

  7. Hierarchical Verification of the Implementation of The IEEE754 TableDriven FloatingPoint Exponential

    E-Print Network [OSTI]

    Tahar, Sofiène

    verification system allows its use for the verification task over the whole design path of the circuitHierarchical Verification of the Implementation of The IEEE­754 Table­Driven Floating­Point Exponential Function using HOL Amr T. Abdel­Hamid 1 , Sofiâ?? ene Tahar 1 , John Harrison 2 1 Electrical

  8. An Efficient Dual Algorithm for Vectorless Power Grid Verification under Linear Current Constraints

    E-Print Network [OSTI]

    Wang, Jia

    An Efficient Dual Algorithm for Vectorless Power Grid Verification under Linear Current Constraints, Chicago, IL 60616, USA ABSTRACT Vectorless power grid verification makes it possible to eval- uate worst, the vectorless power grid verification problem can be formulated and solved as a linear programming (LP) problem

  9. Modular Full-System Verification of Hardware Muralidaran Vijayaraghavan and Joonwon Choi

    E-Print Network [OSTI]

    Modular Full-System Verification of Hardware Muralidaran Vijayaraghavan and Joonwon Choi 1 of full-system verification for hardware designs. What does a full-system verification for a hardware of how to give a hardware specification and its implementation, and what the respective semantics are

  10. Combining Dark Energy Survey Science Verification Data with Near Infrared Data from the ESO VISTA Hemisphere Survey

    E-Print Network [OSTI]

    Banerji, Manda; Jouvel, S.; Lin, H.; McMahon, R. G.; Lahav, O.; Castander, F. J.; Abdalla, F. B.; Bertin, E.; Bosman, S. E.; Carnero, A.; Carrasco Kind, M.; da Costa, L. N.; Gerdes, D.; Gschwend, J.; Lima, M.; Maia, M. A. G.; Merson, A.; Miller, C.; Ogando, R.; Pellegrini, P.; Reed, S.; Saglia, R.; Sánchez, C.; Allam, S.; Annis, J.; Bernstein, G.; Bernstein, J.; Bernstein, R.; Capozzi, D.; Childress, M.; Cunha, Carlos E.; Davis, T. M.; DePoy, D. L.; Desai, S.; Diehl, H. T.; Doel, P.; Findlay, J.; Finley, D. A.; Flaugher, B.; Frieman, J.; Gaztanaga, E.; Glazebrook, K.; González-Fernández, C.; Gonzalez-Solares, E.; Honscheid, K.; Irwin, M. J.; Jarvis, M. J.; Kim, A.; Koposov, S.; Kuehn, K.; Kupcu-Yoldas, A.; Lagattuta, D.; Lewis, J. R.; Lidman, C.; Makler, M.; Marriner, J.; Marshall, Jennifer L.; Miquel, R.; Mohr, Joseph J.; Neilsen, E.; Peoples, J.; Sako, M.; Sanchez, E.; Scarpine, V.; Schindler, R.; Schubnell, M.; Sevilla, I.; Sharp, R.; Soares-Santos, M.; Swanson, M. E. C.; Tarle, G.; Thaler, J.; Tucker, D.; Uddin, S. A.; Wechsler, R.; Wester, W.; Yuan, F.; Zuntz, J.

    2014-11-30

    and associated errors from the shallower VHS data. Joint 7-band (grizY JK) photometric catalogues are produced in a single 3 sq-deg DECam field centred at 02h26m?04d36m where the availability of ancillary multi-wavelength photometry and spectroscopy allows us...

  11. Independent Verification and Validation Of SAPHIRE 8 Software Project Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Carl Wharton; Kent Norris

    2009-12-01

    This report provides an evaluation of the Project Plan. The Project Plan is intended to provide the high-level direction that documents the required software activities to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

  12. Independent Verification and Validation Of SAPHIRE 8 Software Project Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Carl Wharton; Kent Norris

    2010-03-01

    This report provides an evaluation of the Project Plan. The Project Plan is intended to provide the high-level direction that documents the required software activities to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

  13. Independent Verification and Validation SAPHIRE Version 8 Final Report Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-04-01

    This report provides an evaluation of the SAPHIRE version 8 software product. SAPHIRE version 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach has been taken for the IV&V activities on each vital software object. IV&V and Software Quality Assurance (SQA) activities occur throughout the entire development life cycle and therefore, will be required through the full development of SAPHIRE version 8. Later phases of the software life cycle, the operation and maintenance phases, are not applicable in this effort since the IV&V is being done prior to releasing Version 8.

  14. Independent Verification and Validation Of SAPHIRE 8 Software Project Plan Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Carl Wharton

    2009-10-01

    This report provides an evaluation of the Project Plan. The Project Plan is intended to provide the high-level direction that documents the required software activities to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

  15. Independent Verification and Validation Of SAPHIRE 8 Risk Management Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2009-11-01

    This report provides an evaluation of the risk management. Risk management is intended to ensure a methodology for conducting risk management planning, identification, analysis, responses, and monitoring and control activities associated with the SAPHIRE project work, and to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

  16. Independent verification of the saturation hydrogen uptake in MOF-177 and establishment of a benchmark for hydrogen adsorption in

    E-Print Network [OSTI]

    Yaghi, Omar M.

    prior to evaluating H2 storage capacities. Reproducibility of hydrogen adsorption experiments for hydrogen storage applications.1­8 This is due to the availability of a large number of well the targets for on-board hydrogen storage systems set by the US Department of Energy (DOE) for use of hydrogen

  17. Finite countermodels for safety verification of parameterized tree systems

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01

    In this paper we deal with verification of safety properties of parameterized systems with a tree topology. The verification problem is translated to a purely logical problem of finding a finite countermodel for a first-order formula, which further resolved by a generic finite model finding procedure. A finite countermodel method is shown is at least as powerful as regular tree model checking and as the methods based on monotonic abstraction and backwards symbolic reachability. The practical efficiency of the method is illustrated on a set of examples taken from the literature.

  18. International comparison of product certification and verification methods for appliances

    SciTech Connect (OSTI)

    Zhou, Nan; Romankiewicz, John; Fridley, David; Zheng, Nina

    2012-06-01

    Enforcement of appliance standards and consumer trust in appliance labeling are important foundations of growing a more energy efficient economy. Product certification and verification increase compliance rates which in turn increase both energy savings and consumer trust. This paper will serve two purposes: 1) to review international practices for product certification and verification as they relate to the enforcement of standards and labeling programs in the U.S., E.U., Australia, Japan, Canada, and China; and 2) to make recommendations for China to implement improved certification processes related to their mandatory standards and labeling program such as to increase compliance rates and energy savings potential.

  19. International Comparison of Product Certification and Verification Methods for Appliances

    SciTech Connect (OSTI)

    Zhou, Nan; Romankiewicz, John; Fridley, David; Zheng, Nina

    2012-06-01

    Enforcement of appliance standards and consumer trust in appliance labeling are important foundations of growing a more energy efficient economy. Product certification and verification increase compliance rates which in turn increase both energy savings and consumer trust. This paper will serve two purposes: 1) to review international practices for product certification and verification as they relate to the enforcement of standards and labeling programs in the U.S., E.U., Australia, Japan, Canada, and China; and 2) to make recommendations for China to implement improved certification processes related to their mandatory standards and labeling program such as to increase compliance rates and energy savings potential.

  20. Wide-Field Lensing Mass Maps from DES Science Verification Data

    E-Print Network [OSTI]

    Vikram, V; Jain, B; Bacon, D; Amara, A; Becker, M; Bernstein, G; Bonnett, C; Bridle, S; Brout, D; Busha, M; Frieman, J; Gaztanaga, E; Hartley, W; Jarvis, M; Kacprzak, T; Lahav, O; Leistedt, B; Lin, H; Melchior, P; Peiris, H; Rozo, E; Rykoff, E; Sanchez, C; Sheldon, E; Troxel, M; Wechsler, R; Zuntz, J; Abbott, T; Abdalla, F B; Armstrong, R; Banerji, M; Bauer, A H; Benoit-Levy, A; Bertin, E; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Castander, F J; Crocce, M; D'Andrea, C B; da Costa, L N; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Cunha, C E; Estrada, J; Evrard, A E; Neto, A Fausti; Fernandez, E; Flaugher, B; Fosalba, P; Gerdes, D; Gruen, D; Gruendl, R A; Honscheid, K; James, D; Kent, S; Kuehn, K; Kuropatkin, N; Li, T S; Maia, M A G; Makler, M; March, M; Marshall, J; Martini, Paul; Merritt, K W; Miller, C J; Miquel, R; Neilsen, E; Nichol, R C; Nord, B; Ogando, R; Plazas, A A; Romer, A K; Roodman, A; Sanchez, E; Scarpine, V; Sevilla, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Thomas, D; Walker, A R; Weller, J

    2015-01-01

    Weak gravitational lensing allows one to reconstruct the spatial distribution of the projected mass density across the sky. These "mass maps" provide a powerful tool for studying cosmology as they probe both luminous and dark matter. In this paper, we present a weak lensing mass map reconstructed from shear measurements in a 139 deg^2 area from the Dark Energy Survey (DES) Science Verification (SV) data overlapping with the South Pole Telescope survey. We compare the distribution of mass with that of the foreground distribution of galaxies and clusters. The overdensities in the reconstructed map correlate well with the distribution of optically detected clusters. Cross-correlating the mass map with the foreground galaxies from the same DES SV data gives results consistent with mock catalogs that include the primary sources of statistical uncertainties in the galaxy, lensing, and photo-z catalogs. The statistical significance of the cross-correlation is at the 6.8 sigma level with 20 arcminute smoothing. A maj...

  1. Noise-based deterministic logic and computing: a brief survey

    E-Print Network [OSTI]

    Laszlo B. Kish; Sunil P. Khatri; Sergey M. Bezrukov; Ferdinand Peper; Zoltan Gingl; Tamas Horvath

    2010-07-29

    A short survey is provided about our recent explorations of the young topic of noise-based logic. After outlining the motivation behind noise-based computation schemes, we present a short summary of our ongoing efforts in the introduction, development and design of several noise-based deterministic multivalued logic schemes and elements. In particular, we describe classical, instantaneous, continuum, spike and random-telegraph-signal based schemes with applications such as circuits that emulate the brain's functioning and string verification via a slow communication channel.

  2. GEODETIC SURVEY SPECIAL PUBLICATIONS

    E-Print Network [OSTI]

    . SP #4 OUT OF PRINT U.S. COAST AND GEODETIC SURVEY. ... GEODESY. THE TRANSCONTINENTAL TRIANGULATION

  3. STEP Participant Survey Report

    Broader source: Energy.gov [DOE]

    STEP Participant Survey Report, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  4. ECE 667 -Synthesis & Verification -Lecture 9 ECE 697B (667)

    E-Print Network [OSTI]

    Kalla, Priyank

    ,...} foreach gi { Vgi= foreach fj { if(fj contains all literals of gi) { vij=fj - literals of gi Vgi=Vgi vij } } } H = iVgi R = F - GH return (H,R); } ECE 667 - Synthesis & Verification - Lecture 9 10 Example

  5. VERIFICATION AND DIAGNOSIS OF TESTING PREORDER 4.1. Introduction

    E-Print Network [OSTI]

    von Bochmann, Gregor

    specifications are testing equivalent: first the two specifications are transformed into acceptance graphs, which92], although similar to the testing equivalence and the testing preorder defined in [Brin87CHAPTER 4 VERIFICATION AND DIAGNOSIS OF TESTING PREORDER 4.1. Introduction In protocol engineering

  6. Texture Classification and Verification Using Bispectral Estimates at All

    E-Print Network [OSTI]

    Sidorov, Nikita

    Texture Classification and Verification Using Bispectral Estimates at All the Frequencies and Statistics Group School of Mathematics, The University of Manchester #12;1 Texture Classification 3220 Email: jingsong.yuan@manchester.ac.uk Abstract Digitized texture images can often be considered

  7. Curriculum Model Checking: Declarative Representation and Verification of Properties

    E-Print Network [OSTI]

    Torino, Università di

    Curriculum Model Checking: Declarative Representation and Verification of Properties Matteo Baldoni-10149 Torino (Italy) baldoni@di.unito.it,elisa.mrng@gmail.com Abstract. When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user

  8. Ris-R-1331(EN) Simulation and Verification of Transient

    E-Print Network [OSTI]

    Risø-R-1331(EN) Simulation and Verification of Transient Events in Large Wind Power Installations-Jensen and Hans Nielsen Risø National Laboratory, Roskilde October 2003 #12;Abstract Models for wind power model 16 3.3.4 Control and protection system 17 3.4 Simulation outputs and data analyses 17 4 Simulation

  9. A Proof System for Compositional Verification of Probabilistic Concurrent Processes

    E-Print Network [OSTI]

    Simpson, Alex

    A Proof System for Compositional Verification of Probabilistic Concurrent Processes Matteo Mio1 established itself as a powerful and widely applicable method for verifying properties of systems, with its-state systems. Moreover, even in the finite-state case, the applicability of model checking is limited

  10. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    to the modeling and formal verification of the MESI cache coherence protocol for a system of n write-back cache a powerful alternative for dealing with these problems. In this paper we present a mathematical model on a mathematical model of the system under consideration, attempts to prove or disprove facts about the system

  11. Fast Verification of Wind Turbine Power Summary of Project Results

    E-Print Network [OSTI]

    Fast Verification of Wind Turbine Power Curves: Summary of Project Results by: Cameron Brown ­ s in the FastWind project. Several methods of estimating the power curve uncertainty were developed, it was found to be sensitive to the coherence of high frequency wind speed and power measurements

  12. BRNS Workshop Verification of Digital and Hybrid Systems

    E-Print Network [OSTI]

    Shyamasundar, R.K.

    BRNS Workshop Verification of Digital and Hybrid Systems 7­11, January 1999, TIFR, Mumbai Advisory.K. Shyamasundar (TIFR, Chairman) K.C. Bhattacharjee (VSSC, Trivandrum) U. Chandra (BARC, Mumbai) V. Chandru (IISc., Bangalore) S.D. Dhodapkar (BARC, Mumbai) K. Karunakar (ADA, Bangalore) P.K. Pandya (TIFR, Mumbai) N. Raja

  13. NASA/TP2004213015 Formal Verification of a Conflict

    E-Print Network [OSTI]

    Muñoz, César A.

    NASA/TP­2004­213015 Formal Verification of a Conflict Resolution and Recovery Algorithm Jeffrey~noz National Institute of Aerospace, Hampton, Virginia April 2004 #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science

  14. LVT: A Layered Verification Technique for Distributed Computing Systems

    E-Print Network [OSTI]

    Olsson, Ron

    LVT: A Layered Verification Technique for Distributed Computing Systems Cui Zhang ? , Brian R of distributed computing systems with multiple component layers. Each lower layer in such a system provides languages as interfaces of systems, LVT treats each layer in a distributed computing system as a distributed

  15. Automatic Synthesis of Computation Interference Constraints for Relative Timing Verification

    E-Print Network [OSTI]

    Stevens, Ken

    unit delays to solve this problem [6]. This technique simplifies pre-layout verification but over in terms of efficiency and quality. I. INTRODUCTION Timing is an inherent quality and correctness aspect exponentials. Several approaches have been taken to mitigate this complexity. In the world of asynchronous

  16. Timed Verification of the Generic Architecture of a Memory Circuit

    E-Print Network [OSTI]

    Encrenaz-Tiphène, Emmanuelle

    #cient linear constraints relating the delays of the internal gates of the circuit to the exter­ nal delays on the reachability analysis of a timed model of the circuit (with additional abstract interpretation techniques [10Timed Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata

  17. Experimental Verification of Morphological Instability in Freezing Aqueous Colloidal Suspensions

    E-Print Network [OSTI]

    Wettlaufer, John S.

    Experimental Verification of Morphological Instability in Freezing Aqueous Colloidal Suspensions S; published 9 June 2008) We describe an experimental test of a new theory of the unidirectional freezing of aqueous colloidal suspensions. At low freezing speeds a planar ice lens completely rejects the particles

  18. Compiler Correctness and Implementation Verification: The Verifix Approach

    E-Print Network [OSTI]

    Pfeifer, Holger

    Compiler Correctness and Implementation Verification: The Verifix Approach Wolfgang Goerigk \\Lambda \\Lambda Hans Langmaack \\Lambda Holger Pfeifer x Harald Ruess x Wolf Zimmermann z Abstract Compiler the correctness of the compiling specification and the correctness of the compiler implementation. We will discuss

  19. Signaling P Systems and Verification Problems , Oscar H. Ibarra

    E-Print Network [OSTI]

    Dang, Zhe

    of quantum and DNA computing). It turns out that P systems are a powerful model: even with only one membraneSignaling P Systems and Verification Problems Cheng Li ¡ , Zhe Dang ¡£¢¤¢ , Oscar H. Ibarra.O.C. Abstract. We introduce a new model of membrane computing system (or P system), called signaling P system

  20. ForPeerReview Verification of Mountain Weather Information Service

    E-Print Network [OSTI]

    Birch, Cathryn

    ForPeerReview Verification of Mountain Weather Information Service forecasts for three upland areas in the UK Journal: Weather Manuscript ID: WEA-13-0098.R1 Wiley - Manuscript type: Research Article Date and Environment Birch, Cathryn; University of Leeds, School of Earth and Environment Monk, Geoffrey; The Weather

  1. Project W-030 flammable gas verification monitoring test

    SciTech Connect (OSTI)

    BARKER, S.A.

    1999-02-24

    This document describes the verification monitoring campaign used to document the ability of the new ventilation system to mitigate flammable gas accumulation under steady state tank conditions. This document reports the results of the monitoring campaign. The ventilation system configuration, process data, and data analysis are presented.

  2. DEGAS 2 Verification Test with Fluid Neutral Momentum Transport Reference

    E-Print Network [OSTI]

    Budny, Robert

    DEGAS 2 Verification Test with Fluid Neutral Momentum Transport Reference Problem D. P. Stotler, PPPL 1 Background The "Fluid Neutral Momentum Transport Reference Problem" [1] was used to verify the original DEGAS [2] Monte Carlo neutral transport code. The resulting benchmark was subsequently employed

  3. Formal Development and Verification of a Distributed Railway Control System

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

    Formal Development and Verification of a Distributed Railway Control System Anne E. Haxthausen 1@informatik.uni­bremen.de Abstract. In this article we introduce the concept for a distributed rail­ way control system and present the sys­ tem model into a domain model describing the physical system in absence of control

  4. APPENDIX A: VERIFICATION CODES A1.0 MODFLOW2000

    E-Print Network [OSTI]

    be developed, reviewed, and maintained for the MODFLOW software: Software Quality Assurance (QA) Plan A1 APPENDIX A: VERIFICATION CODES A1.0 MODFLOW2000 The MODFLOW ground water software has been and transport simulator, the MODFLOW and related software is suited to the simulation of a wide variety

  5. Cleanup Verification Package for the 118-F-6 Burial Ground

    SciTech Connect (OSTI)

    H. M. Sulloway

    2008-10-02

    This cleanup verification package documents completion of remedial action for the 118-F-6 Burial Ground located in the 100-FR-2 Operable Unit of the 100-F Area on the Hanford Site. The trenches received waste from the 100-F Experimental Animal Farm, including animal manure, animal carcasses, laboratory waste, plastic, cardboard, metal, and concrete debris as well as a railroad tank car.

  6. The Method of Generated Solutions for Numerical Verification of ICE

    E-Print Network [OSTI]

    for verifying numerical code. The exact solution to the set of equations is derived using mathematical methodsThe Method of Generated Solutions for Numerical Verification of ICE Code Amjidanutpan Ramanujam, Christopher Sikorski, Todd Harman* UUCS­07­006 School of Computing University of Utah Salt Lake City, UT 84112

  7. The Method of Generated Solutions for Numerical Verification of ICE

    E-Print Network [OSTI]

    for verifying numerical code. The exact solution to the set of equations is derived using mathematical methodsThe Method of Generated Solutions for Numerical Verification of ICE Code Amjidanutpan Ramanujam, Christopher Sikorski, Todd Harman* UUCS-07-006 School of Computing University of Utah Salt Lake City, UT 84112

  8. Verification of Cryptographic Protocols Implemented in Java Card

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Verification of Cryptographic Protocols Implemented in Java Card ¢¡¤£ Renaud Marlet Daniel Le M is Java Card applets: In this case, applications on a card represent principals involved in authentication, for expressing requirements regarding the implementation of a protocol in Java Card. We have also developed

  9. Early Power Grid Verification Under Circuit Current Uncertainties

    E-Print Network [OSTI]

    Najm, Farid N.

    Early Power Grid Verification Under Circuit Current Uncertainties Imad A. Ferzli Department of ECE Eindhoven, The Netherlands lars@magma-da.com ABSTRACT As power grid safety becomes increasingly important in modern integrated circuits, so does the need to start power grid verifica- tion early in the design cycle

  10. c 2013 Zhenqi Huang ON SIMULATION BASED VERIFICATION OF NONLINEAR

    E-Print Network [OSTI]

    Liberzon, Daniel

    navigation benchmarks, room heating benchmarks, non-linear satellite systems and engine hybrid control safety verification of hybrid systems typically involves computing precise reach sets of such systems of a class of deterministic hybrid system. The algo- rithm first constructs a cover of the initial set

  11. MAINTENANCE, UPGRADE AND VERIFICATION OF OPERATIONAL FORECASTS OF

    E-Print Network [OSTI]

    MAINTENANCE, UPGRADE AND VERIFICATION OF OPERATIONAL FORECASTS OF CLOUD COVER AND WATER VAPOUR Purchase Order 58311/ODG/99/8362/GWI/LET #12;i PREFACE Starting in August 1998, operational forecasts satellite imagery from the Co-operative Institute for Research in the Atmosphere (CIRA) and upper

  12. 2015.06.04-06 Verification Techniques for COTSq

    E-Print Network [OSTI]

    power plants PLC(Programmable Logic Controller) has been used to implement I&Cs for decades - SW;ISET 2015 2015.06.04-06 Deagu Formal Verification Techniques which can be used for COTS SW Dedication of Commercialused for COTS SW Dedication of Commercial FPGA Tools used to Develop Safety-Critical Control Software

  13. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

    approach to the design and verification of large sequential systems. It is based on structured alge­ braic Interactive Verifier), and supports the entire design process starting from formal specifications and ending with verified code. Its main characteristics are a strict de­ compositional design discipline for modular

  14. Department of Computing CSP||B modelling for railway verification

    E-Print Network [OSTI]

    Doran, Simon J.

    University of Surrey Department of Computing Computing Sciences Report CS-12-03 CSP||B modelling Schneider Helen Treharne March 30th 2012 #12;CSP||B modelling for railway verification: the double junction work in verifying railway systems through CSP k B modelling and analysis. In particular we consider

  15. Swarm Verification1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce

    E-Print Network [OSTI]

    Joshi, Rajeev

    Swarm Verification1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory was carried out at the Jet propulsion Laboratory, California Institute of Technology, under a contract generation. Curiously, although the raw speed of CPUs has stalled at roughly 2002 levels, the size of RAM

  16. Final Report - Verification Survey of the Hot Cell Facility Site, General Atomics, San Diego, California.

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouth DakotaRobbins and700, 1.Reports1E~ S·D3 2,000 4,000DOE

  17. Independent Oversight Review, Richland Operations Office and...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    and work management and control processes in the areas of conduct of operations, quality assurance, and integrated safety management. Independent Oversight Review, Richland...

  18. Independent Oversight Inspection, Sandia National Laboratories...

    Energy Savers [EERE]

    Emergency Management at the Sandia Site Office and Sandia National Laboratories, New Mexico, Volume III This report provides the results of an independent oversight inspection of...

  19. Independent Oversight Evaluation, Pantex Plant - November 2000...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Evaluation, Pantex Plant - November 2000 Independent Oversight Evaluation, Pantex Plant - November 2000 November 2000 Evaluation of the Pantex Plant Emergency Response Exercise...

  20. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    3 Independent Oversight Review, Waste Treatment and Immobilization Plant - March 2013 March 2013 Review of the Hanford Site Waste Treatment and Immobilization Plant Construction...

  1. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    2 Independent Oversight Review, Waste Treatment and Immobilization Plant - March 2012 March 2012 Review of the Hanford Site Waste Treatment and Immobilization Plant Project...

  2. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    August 2011 Independent Oversight Review, Waste Treatment and Immobilization Plant - August 2011 August 2011 Hanford Waste Treatment and Immobilization Plant Construction Quality...

  3. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    October 2012 Independent Oversight Review, Waste Treatment and Immobilization Plant - October 2012 October 2012 Review of the Hanford Site Waste Treatment and Immobilization Plant...

  4. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    January 2013 Independent Oversight Review, Waste Treatment and Immobilization Plant - January 2013 January 2013 Review of the Hanford Waste Treatment and Immobilization Plant...

  5. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    May 2013 Independent Oversight Review, Waste Treatment and Immobilization Plant - May 2013 May 2013 Review of the Hanford Site Waste Treatment and Immobilization Plant Construction...

  6. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    August 2012 Independent Oversight Review, Waste Treatment and Immobilization Plant - August 2012 August 2012 Review of the Hanford Site Waste Treatment and Immobilization Plant...

  7. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    Project - October 2010 Independent Oversight Review, Waste Treatment and Immobilization Plant Project - October 2010 October 2010 Review of Nuclear Safety Culture at the Hanford...

  8. Independent Oversight Assessment, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    Waste Treatment and Immobilization Plant - January 2012 Independent Oversight Assessment, Waste Treatment and Immobilization Plant - January 2012 January 2012 Assessment of the...

  9. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    2015 Independent Oversight Activity Report, Hanford Waste Treatment and Immobilization Plant - October 2013 Waste Treatment and Immobilation Plant HLW Waste Vitrification Facility...

  10. Independent Oversight Assessment, Salt Waste Processing Facility...

    Broader source: Energy.gov (indexed) [DOE]

    Assessment of Nuclear Safety Culture at the Salt Waste Processing Facility Project The U.S. Department of Energy (DOE) Office of Enforcement and Oversight (Independent Oversight),...

  11. Independent Oversight Activity Report, Hanford Waste Treatment...

    Energy Savers [EERE]

    and Immobilization Plant Low Activity Waste Facility Heating, Ventilation, and Air Conditioning Systems Hazards Analysis Activities HIAR-WTP-2014-01-27 This Independent...

  12. Independent Oversight Activity Report, Nevada National Security...

    Energy Savers [EERE]

    an oversight activity conducted by the Office of Independent Enterprise Assessments (IEA), Office of Nuclear Safety and Environmental Assessments, from May 5-7, 2014. The...

  13. Independent Oversight Activity Report, National Nuclear Security...

    Broader source: Energy.gov (indexed) [DOE]

    an oversight activity conducted by the Office of Independent Enterprise Assessments (IEA), Office of Nuclear Safety and Environmental Assessments, from March 10-14, 2014. The...

  14. Independent Oversight Activity Report, Hanford Waste Treatment...

    Energy Savers [EERE]

    an oversight activity conducted by the Office of Independent Enterprise Assessments (IEA), Office of Environment, Safety and Health Assessments from March 31 - April 10, 2014,...

  15. Independent Oversight Activity Report, Hanford Waste Treatment...

    Energy Savers [EERE]

    an oversight activity conducted by the Office of Independent Enterprise Assessments' (IEA) Office of Nuclear Safety and Environmental Assessments from April 2-10, 2014, at the...

  16. Independent Oversight Inspection, Pantex Plant - August 2005...

    Energy Savers [EERE]

    August 2005 Independent Oversight Inspection, Pantex Plant - August 2005 August 2005 Inspection of Emergency Management at the Pantex Site Office and the Pantex Plant This report...

  17. Independent Oversight Review, Rocky Flats Environmental Technology...

    Energy Savers [EERE]

    Rocky Flats Environmental Technology Site - March 2000 Independent Oversight Review, Rocky Flats Environmental Technology Site - March 2000 March 2000 Review of the Rocky Flats...

  18. Independent Oversight Review, Los Alamos National Laboratory...

    Energy Savers [EERE]

    Research Facility - January 2012 Independent Oversight Review, Los Alamos National Laboratory Chemistry and Metallurgy Research Facility - January 2012 January 2012 Review...

  19. Independent Oversight Review, Los Alamos National Laboratory...

    Energy Savers [EERE]

    Los Alamos National Laboratory - January 2013 Independent Oversight Review, Los Alamos National Laboratory Chemistry and Metallurgy Research Facility - January 2012 Waste...

  20. Independent Oversight Assessment, Portsmouth/Paducah Project...

    Office of Environmental Management (EM)

    Office of Health, Safety and Security. The Independent Oversight assessment focused on project office's oversight of the identification, evaluation, analysis, transmittal, and...

  1. Independent Oversight Activity Report, Pacific Northwest National...

    Energy Savers [EERE]

    Activity Report, Pacific Northwest National Laboratory - January 2014 Independent Oversight Activity Report, Pacific Northwest National Laboratory - January 2014 February 2014 PNNL...

  2. Independent Oversight Inspection, Oak Ridge National Laboratory...

    Energy Savers [EERE]

    Inspection, Oak Ridge National Laboratory - October 2008 Independent Oversight Inspection, Oak Ridge National Laboratory - October 2008 October 2008 Inspection of Nuclear Safety at...

  3. Independent Oversight Review, Advanced Mixed Waste Treatment...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Advanced Mixed Waste Treatment Project - April 2013 Independent Oversight Review, Advanced Mixed Waste Treatment Project - April 2013 April 2013 Review of Radiation Protection...

  4. Independent Oversight Review, Los Alamos National Laboratory...

    Broader source: Energy.gov (indexed) [DOE]

    April 2012 Review of the Emergency Response Organization at the Los Alamos National Laboratory This report provides the results of an independent review of the Los Alamos National...

  5. Independent Oversight Review, Argonne National Laboratory - November...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Argonne National Laboratory - November 2011 Independent Oversight Review, Argonne National Laboratory - November 2011 November 2011 Review of the Argonne National Laboratory...

  6. Independent Oversight Review, Lawrence Livermore National Laboratory...

    Office of Environmental Management (EM)

    Lawrence Livermore National Laboratory - July 2013 Independent Oversight Review, Lawrence Livermore National Laboratory - July 2013 July 2013 Review of Preparedness for Severe...

  7. Independent Oversight Review, Los Alamos National Laboratory...

    Energy Savers [EERE]

    Los Alamos National Laboratory - April 2012 Independent Oversight Review, Los Alamos National Laboratory - April 2012 April 2012 Review of the Consequence Assessment Program at the...

  8. Independent Oversight Review, Savannah River Operations Office...

    Office of Environmental Management (EM)

    Savannah River Operations Office - July 2013 Independent Oversight Review, Savannah River Operations Office - July 2013 July 2013 Review of the Employee Concerns Program at the...

  9. Independent Oversight Review, Oak Ridge National Laboratory ...

    Energy Savers [EERE]

    Review, Oak Ridge National Laboratory - January 2013 Independent Oversight Review, Oak Ridge National Laboratory - January 2013 January 2013 Review of the Oak Ridge National...

  10. Independent Oversight Review, Lawrence Livermore National Laboratory...

    Broader source: Energy.gov (indexed) [DOE]

    September 2013 Review of the Fire Protection Program at Lawrence Livermore National Laboratory This report documents the results of an independent oversight review of the fire...

  11. Independent Oversight Review, Pacific Northwest National Laboratory...

    Energy Savers [EERE]

    September 2013 Independent Oversight Review, Pacific Northwest National Laboratory - September 2013 September 2013 Review of the Fire Protection Program at Pacific Northwest...

  12. Independent Oversight Review, Pacific Northwest National Laboratory...

    Energy Savers [EERE]

    October 2012 Independent Oversight Review, Pacific Northwest National Laboratory - October 2012 October 2012 Review of the Department of Energy Office of Science Assessment of the...

  13. Independent Oversight Review, Los Alamos National Laboratory...

    Energy Savers [EERE]

    September 2011 Independent Oversight Review, Los Alamos National Laboratory - September 2011 September 2011 Review of the Facility Centered Assessment of the Los Alamos National...

  14. Independent Activity Report, Hanford Plutonium Finishing Plant...

    Broader source: Energy.gov (indexed) [DOE]

    May 2012 Criticality Safety Information Meeting for the Hanford Plutonium Finishing Plant HIAR-RL-2012-05-14 This Independent Activity Report documents an oversight activity...

  15. Independent Oversight Activity Report, Nevada National Security...

    Broader source: Energy.gov (indexed) [DOE]

    2014 Operational Awareness Oversight of the Nevada National Security Site HIAR NNSS-2014-03-03 This Independent Activity Report documents an oversight activity conducted by the...

  16. Independent Activity Report, Nevada National Security Site -...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    December 2012 Independent Activity Report, Nevada National Security Site - December 2012 December 2012 Nevada National Security Site Operational Awareness Visit HIAR...

  17. Independent Oversight Review, Portsmouth Gaseous Diffusion Plant...

    Office of Environmental Management (EM)

    January 2013 Independent Oversight Review, Portsmouth Gaseous Diffusion Plant - January 2013 January 2013 Review of the Portsmouth Gaseous Diffusion Plant Work Planning and Control...

  18. Independent Activity Report, Portsmouth Gaseous Diffusion Plant...

    Office of Environmental Management (EM)

    Portsmouth Gaseous Diffusion Plant - August 2011 Independent Activity Report, Portsmouth Gaseous Diffusion Plant - August 2011 August 2011 Orientation Visit to the Portsmouth...

  19. Independent Oversight Review, Los Alamos National Laboratory...

    Energy Savers [EERE]

    Review, Los Alamos National Laboratory - September 2011 Independent Oversight Review, Los Alamos National Laboratory Chemistry and Metallurgy Research Facility - January 2012...

  20. Independent Oversight Review, Portsmouth Gaseous Diffusion Plant...

    Broader source: Energy.gov (indexed) [DOE]

    Review, Paducah Site - April 2013 Independent Oversight Review, Hanford Site - September 2013 Enterprise Assessments Review, West Valley Demonstration Project - December 2014...

  1. Independent Activity Report, West Valley Demonstration Project...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    West Valley Demonstration Project - July 2012 Independent Activity Report, West Valley Demonstration Project - July 2012 July 2012 Operational Awareness Oversight of the West...

  2. Independent Oversight Activity Report, Hanford Sludge Treatment...

    Energy Savers [EERE]

    Activity Report, Hanford Sludge Treatment Project - September 2013 Independent Oversight Activity Report, Hanford Sludge Treatment Project - September 2013 November 2013 Hanford...

  3. Independent Activity Report, Richland Operations Office - August...

    Office of Environmental Management (EM)

    Activity Report, Richland Operations Office - August 2011 August 2011 Hanford Sludge Treatment Project HIAR-RL-2011-08-25 This Independent Activity Report documents an...

  4. Independent Oversight Review, Waste Treatment and Immobilization...

    Broader source: Energy.gov (indexed) [DOE]

    November 2011 Review of the Hanford Site Waste Treatment and Immobilization Plant Project Construction Quality This report documents the results of an independent oversight review...

  5. Independent Activity Report, Defense Nuclear Facilities Safety...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Defense Nuclear Facilities Safety Board Public Meeting - October 2012 Independent Activity Report, Defense Nuclear Facilities Safety Board Public Meeting - October 2012 October...

  6. Safeguards and Security Independent Oversight Program

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1998-12-23

    Establishes the DOE Safeguards and Security Independent Oversight Program that provides DOE and contractor managers, Congress, and other stakeholders with an independent evaluation of the effectiveness of DOE safeguards and security policy and programs, and the implementation of those policies and programs. Cancels DOE 5630.12A.

  7. HOME OF THE ILLINOIS STATE SCIENTIFIC SURVEYS Illinois Natural History Survey Illinois State Archaeological Survey Illinois State

    E-Print Network [OSTI]

    Bashir, Rashid

    Archaeological Survey · Illinois State Geological Survey · Illinois State Water Survey · Illinois Sustainable

  8. Reinforcing of QA/QC programs in radiotherapy departments in Croatia: Results of treatment planning system verification

    SciTech Connect (OSTI)

    Jurkovi?, Slaven; Švabi?, Manda; Dikli?, Ana; Smilovi? Radoj?i?, ?eni; Dundara, Dea; Kasabaši?, Mladen; Ivkovi?, Ana; Faj, Dario

    2013-04-01

    Implementation of advanced techniques in clinical practice can greatly improve the outcome of radiation therapy, but it also makes the process much more complex with a lot of room for errors. An important part of the quality assurance program is verification of treatment planning system (TPS). Dosimetric verifications in anthropomorphic phantom were performed in 4 centers where new systems were installed. A total of 14 tests for 2 photon energies and multigrid superposition algorithms were conducted using the CMS XiO TPS. Evaluation criteria as specified in the International Atomic Energy Agency Technical Reports Series (IAEA TRS) 430 were employed. Results of measurements are grouped according to the placement of the measuring point and the beam energy. The majority of differences between calculated and measured doses in the water-equivalent part of the phantom were in tolerance. Significantly more out-of-tolerance values were observed in “nonwater-equivalent” parts of the phantom, especially for higher-energy photon beams. This survey was done as a part of continuous effort to build up awareness of quality assurance/quality control (QA/QC) importance in the Croatian radiotherapy community. Understanding the limitations of different parts of the various systems used in radiation therapy can systematically improve quality as well.

  9. The Work Number -CSU Employment Verification Colorado State University (CSU) utilizes The Work Number for employment and salary verification. The Work

    E-Print Network [OSTI]

    Number for employment and salary verification. The Work Number allows verifications to be completed your consent before requesting income or salary information. In some instances, you may be asked to provide a Salary Key to verify your income (see explanation below). For enhanced security, you might

  10. A Survey on Mining Software Survey Presentation

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    · Software Metrics IDEA ! · Easy evaluation / validation · Stimulate idea 13 / 39 #12;Research Trend (3/4) 14 ­ Apache and Mozilla 2005 Impact of Software Engineering Research on the Practice of SCM 2007 RepresentingA Survey on Mining Software Archives Survey Presentation Jin Ung, Oh ­ 2007.07.11 #12;Contents

  11. Design and analysis of redshift surveys

    E-Print Network [OSTI]

    A. F. Heavens; A. N. Taylor

    1997-05-27

    In this paper we consider methods of analysis and optimal design of redshift surveys. In the first part, we develop a formalism for analysing galaxy redshift surveys which are essentially two-dimensional, such as thin declination slices. The formalism is a power spectrum method, using spherical coordinates, allowing the distorting effects of galaxy peculiar velocities to be calculated to linear order on the assumption of statistical isotropy but without further approximation. In this paper, we calculate the measured two-dimensional power for a constant declination strip, widely used in redshift surveys. We present a likelihood method for estimating the three-dimensional real-space power spectrum and the redshift distortion simultaneously, and show that for thin surveys of reasonable depth, the large-scale 3D power cannot be measured with high accuracy. The redshift distortion may be estimated successfully, and with higher accuracy if the 3D power spectrum can be measured independently, for example from a large-scale sky-projected catalogue. In the second part, we show how a 3D survey design can be optimized to measure the power spectrum, considering whether areal coverage is more important than depth, and whether the survey should be sampled sparsely or not. We show quite generally that width is better than depth, and show how the optimal sparse-sampling fraction, f, depends on the power, P, to be measured. For a Schechter luminosity function, a simple optimization fP \\simeq 500 h^{-3} Mpc^3 is found.

  12. Targeted Technology Transfer to US Independents

    SciTech Connect (OSTI)

    Schatzinger, Viola; Chapman, Kathy; Lovendahl, Kristi

    2014-09-30

    The Petroleum Technology Transfer Council (PTTC) is a unique not-for-profit network that focuses on transferring Exploration and Production (E&P) technology to the domestic oil and natural gas producing industry. PTTC connects producers, technology providers and innovators, academia, research and development (R&D) consortiums and governments. Local affordable workshops delivered by Regional Lead Organizations (RLOs), which are typically a university or geological survey, are a primary tool. PTTC also maintains a website network, issues a national newsletter, provides a column in a major trade publication, and exhibits at major industry events. It also encourages industry to ask technology-related questions, striving to find relevant answers that will save questioners significant time. Working since late 1993, the PTTC network has a proven track record of providing industry with technology insights they can apply. Volunteers at the regional and national level provide key guidance regarding where to focus technical effort and help connect PTTC with industry. At historical funding levels, PTTC had been able to hold well more than 100 workshops per year, drawing 6,000+ attendees. As funding decreased in the early 2000s, the level of activity decreased and PTTC sought a merger with the American Association of Petroleum Geologists (AAPG), becoming an AAPG-managed organization at the start of FY08. This relationship with AAPG was terminated by mutual consent in May 2011 and PTTC once again operates independently. Chris Hall, California continued to serve as Chairman of the Board of Directors until December 2013. At the time PTTC reorganized into a RLO led organization with Mary Carr and Jeremy Viscomi as co-Executive Directors. Jerry Anderson became the Chairman of the PTTC Board of Directors and Chris Hall continues to serve on the Board. Workshop activity stabilized at 55-65 workshops per year averaging 3,100 attendees. FY14 represented the fifth year in a multi-year contract with the Department of Energy (DOE) for providing technology transfer services. This report summarizes activity and results during for five years, FY10 through FY14. In FY12 changes occurred in responsibilities of consultants serving HQ, because funding was reduced below the threshold level of $500,000 audits were no longer required and consultant time was reduced on the primary contract. Contracts for Permian Carbon Capture Utilization and Storage (CCUS) training, and providing tech transfer services to the Research Partnership to Secure Energy for America (RPSEA) provided work that enabled HQ to retain services of regular consultants. Both CCUS and RPSEA were five year contracts with PTTC, and providing services for these DOE funded contracts provided synergy for PTTC and the oil and gas industry. With further decreases in DOE funding the regions conducted workshops with no PTTC funding starting in June FY11. Since 2011 the number of workshops has declined from 79 in FY10 and FY11 to 49 in FY12, and risen to 54 in FY13 and 63 in FY14. The attendee's numbers dipped slightly below 3,000 per year in FY 10, FY12, and FY13, but rose to over 3,800 in FY 11 and 3105 in FY14. Quantitative accomplishments: PTTC has maintained its unique structure of a national organization working through Regional Lead Organizations (RLOs) to deliver local, affordable workshops. During the contract period PTTC consolidated from 10 to five regions to increase efficiency, and because no active RLO's would be maintained in the Central and Eastern Gulf Coast regions. RLO's for the regions are located at: Eastern - West Virginia University, (Illinois Geol. Survey., W. Michigan Univ. FY10-12); Midwest created in FY13 - Illinois Geological Survey, W. Michigan University; Midcontinent - University of Kansas, expanded to Houston, TX (2013-14); Rocky Mountain - Colorado School of Mines; Texas/SE New Mexico (FY10-FY11) - Bureau of Economic Geology, Univ. of Texas at Austin; West Coast - Conservation Committee of California O&G Producers.

  13. NEPA Litigation Surveys

    Broader source: Energy.gov [DOE]

    CEQ publishes surveys on NEPA litigation on an annual basis. These surveys identify the number of cases involving a NEPA based cause of action, Federal agencies that were identified as a lead...

  14. Renewable Energy and the International Performance Measurement and Verification Protocol

    SciTech Connect (OSTI)

    Walker, A.; Thompson, A.; Mills, D.; Kats, G. H.

    1999-04-14

    The Renewables Subcommittee for the International Performance Measurement and Verification Protocol (IPMVP) is developing a section of the IPMVP treating the special issues related to performance measurement of renewable energy systems. An industry consensus framework for measuring project benefits is important in realizing the promise of renewable energy. This work represents a voluntary, consensus-building process among sponsoring organizations from 21 countries and several disciplines. Measurement and Verification (M&V) can provide a common tool for standardization to support performance-based contracting, financing, and emissions trading. M&V can ensure that savings and generation requirements in energy projects will be achieved accurately and objectively. The protocol defines procedures that are consistently applicable to similar projects, internationally accepted, and reliable. Actual M&V project results can demonstrate success and provide developers, investors, lenders, and customers with more confidence in the value of future projects.

  15. Renewable energy and the International Performance Measurement and Verification Protocol

    SciTech Connect (OSTI)

    Walker, A.; Thompson, A.; Mills, D.; Kats, G.H.

    1999-07-01

    The Renewables Subcommittee for the International Performance Measurement and Verification Protocol (IPMVP) is developing a section of the IPMVP treating the special issues related to performance measurement of renewable energy systems. An industry consensus framework for measuring project benefits is important in realizing the promise of renewable energy. This work represents a voluntary, consensus-building process among sponsoring organizations from 21 countries and several disciplines. Measurement and Verification (M and V) can provide a common tool for standardization to support performance-based contracting, financing, and emissions trading. M and V can ensure that savings and generation requirements in energy projects will be achieved accurately and objectively. The protocol defines procedures that are consistently applicable to similar projects, internationally accepted, and reliable. Actual M and V project results can demonstrate success and provide developers, investors, lenders, and customers with more confidence in the value of future projects.

  16. Code Verification of the HIGRAD Computational Fluid Dynamics Solver

    SciTech Connect (OSTI)

    Van Buren, Kendra L. [Los Alamos National Laboratory; Canfield, Jesse M. [Los Alamos National Laboratory; Hemez, Francois M. [Los Alamos National Laboratory; Sauer, Jeremy A. [Los Alamos National Laboratory

    2012-05-04

    The purpose of this report is to outline code and solution verification activities applied to HIGRAD, a Computational Fluid Dynamics (CFD) solver of the compressible Navier-Stokes equations developed at the Los Alamos National Laboratory, and used to simulate various phenomena such as the propagation of wildfires and atmospheric hydrodynamics. Code verification efforts, as described in this report, are an important first step to establish the credibility of numerical simulations. They provide evidence that the mathematical formulation is properly implemented without significant mistakes that would adversely impact the application of interest. Highly accurate analytical solutions are derived for four code verification test problems that exercise different aspects of the code. These test problems are referred to as: (i) the quiet start, (ii) the passive advection, (iii) the passive diffusion, and (iv) the piston-like problem. These problems are simulated using HIGRAD with different levels of mesh discretization and the numerical solutions are compared to their analytical counterparts. In addition, the rates of convergence are estimated to verify the numerical performance of the solver. The first three test problems produce numerical approximations as expected. The fourth test problem (piston-like) indicates the extent to which the code is able to simulate a 'mild' discontinuity, which is a condition that would typically be better handled by a Lagrangian formulation. The current investigation concludes that the numerical implementation of the solver performs as expected. The quality of solutions is sufficient to provide credible simulations of fluid flows around wind turbines. The main caveat associated to these findings is the low coverage provided by these four problems, and somewhat limited verification activities. A more comprehensive evaluation of HIGRAD may be beneficial for future studies.

  17. Cleanup Verification Package for the 618-3 Burial Ground

    SciTech Connect (OSTI)

    M. J. Appel

    2006-09-12

    This cleanup verification package documents completion of remedial action for the 618-3 Solid Waste Burial Ground, also referred to as Burial Ground Number 3 and the Dry Waste Burial Ground Number 3. During its period of operation, the 618-3 site was used to dispose of uranium-contaminated construction debris from the 311 Building and construction/demolition debris from remodeling of the 313, 303-J and 303-K Buildings.

  18. A comparison of adjoint and data-centric verification techniques.

    SciTech Connect (OSTI)

    Wildey, Timothy Michael; Cyr, Eric Christopher; Shadid, John Nicolas; Pawlowski, Roger Patrick; Smith, Thomas Michael

    2013-03-01

    This document summarizes the results from a level 3 milestone study within the CASL VUQ effort. We compare the adjoint-based a posteriori error estimation approach with a recent variant of a data-centric verification technique. We provide a brief overview of each technique and then we discuss their relative advantages and disadvantages. We use Drekar::CFD to produce numerical results for steady-state Navier Stokes and SARANS approximations. 3

  19. Assignment 5 Verification of ANSI-C with PVS

    E-Print Network [OSTI]

    Clarke, Edmund M.

    15-820-a Assignment 5 Verification of ANSI-C with PVS Due Apr. 30, 2003 1 Find the Minimum 1. Write a function in ANSI­C that finds the minumum number in an array. The size of the array is passed as a parameter. 2. Translate your ANSI­C code into PVS language, as described in the class. You may assume

  20. Remaining Sites Verification Package for the 126-F-2, 183-F Clearwells, Waste Site Reclassification Form 2006-017

    SciTech Connect (OSTI)

    R. A. Carlson

    2006-05-04

    The 126-F-2 site is the clearwell facility formerly used as part of the reactor cooling water treatment at the 183-F facility. During demolition operations in the 1970s, potentially contaminated debris was disposed in the eastern clearwell structure. The site has been remediated by removing all debris in the clearwell structure to the Environmental Restoration Disposal Facility. The results of radiological surveys and visual inspection of the remediated clearwell structure show neither residual contamination nor the potential for contaminant migration beyond the clearwell boundaries. The results of verification sampling at the remediation waste staging area demonstrated that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also showed that residual contaminant concentrations are protective of groundwater and the Columbia River.

  1. Independent Oversight Review, Oak Ridge Transuranic Waste Processing...

    Energy Savers [EERE]

    Independent Oversight Review, Oak Ridge Transuranic Waste Processing Facility - December 2013 Independent Oversight Review, Oak Ridge Transuranic Waste Processing Facility -...

  2. Enrichment Assay Methods Development for the Integrated Cylinder Verification System

    SciTech Connect (OSTI)

    Smith, Leon E.; Misner, Alex C.; Hatchell, Brian K.; Curtis, Michael M.

    2009-10-22

    International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are typically performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the facility's entire product-cylinder inventory. Pacific Northwest National Laboratory (PNNL) is developing a concept to automate the verification of enrichment plant cylinders to enable 100 percent product-cylinder verification and potentially, mass-balance calculations on the facility as a whole (by also measuring feed and tails cylinders). The Integrated Cylinder Verification System (ICVS) could be located at key measurement points to positively identify each cylinder, measure its mass and enrichment, store the collected data in a secure database, and maintain continuity of knowledge on measured cylinders until IAEA inspector arrival. The three main objectives of this FY09 project are summarized here and described in more detail in the report: (1) Develop a preliminary design for a prototype NDA system, (2) Refine PNNL's MCNP models of the NDA system, and (3) Procure and test key pulse-processing components. Progress against these tasks to date, and next steps, are discussed.

  3. Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

    Brambley, Michael R.; Katipamula, Srinivas; Jiang, Wei

    2008-03-31

    This document provides the algorithms for CHP system performance monitoring and commissioning verification (CxV). It starts by presenting system-level and component-level performance metrics, followed by descriptions of algorithms for performance monitoring and commissioning verification, using the metric presented earlier. Verification of commissioning is accomplished essentially by comparing actual measured performance to benchmarks for performance provided by the system integrator and/or component manufacturers. The results of these comparisons are then automatically interpreted to provide conclusions regarding whether the CHP system and its components have been properly commissioned and where problems are found, guidance is provided for corrections. A discussion of uncertainty handling is then provided, which is followed by a description of how simulations models can be used to generate data for testing the algorithms. A model is described for simulating a CHP system consisting of a micro-turbine, an exhaust-gas heat recovery unit that produces hot water, a absorption chiller and a cooling tower. The process for using this model for generating data for testing the algorithms for a selected set of faults is described. The next section applies the algorithms developed to CHP laboratory and field data to illustrate their use. The report then concludes with a discussion of the need for laboratory testing of the algorithms on a physical CHP systems and identification of the recommended next steps.

  4. AUTOMATED, HIGHLY ACCURATE VERIFICATION OF RELAP5-3D

    SciTech Connect (OSTI)

    George L Mesina; David Aumiller; Francis Buschman

    2014-07-01

    Computer programs that analyze light water reactor safety solve complex systems of governing, closure and special process equations to model the underlying physics. In addition, these programs incorporate many other features and are quite large. RELAP5-3D[1] has over 300,000 lines of coding for physics, input, output, data management, user-interaction, and post-processing. For software quality assurance, the code must be verified and validated before being released to users. Verification ensures that a program is built right by checking that it meets its design specifications. Recently, there has been an increased importance on the development of automated verification processes that compare coding against its documented algorithms and equations and compares its calculations against analytical solutions and the method of manufactured solutions[2]. For the first time, the ability exists to ensure that the data transfer operations associated with timestep advancement/repeating and writing/reading a solution to a file have no unintended consequences. To ensure that the code performs as intended over its extensive list of applications, an automated and highly accurate verification method has been modified and applied to RELAP5-3D. Furthermore, mathematical analysis of the adequacy of the checks used in the comparisons is provided.

  5. Online independent film distribution : what is missing?

    E-Print Network [OSTI]

    AbouZeid, Perihan

    2015-01-01

    This thesis proposes a new model for online platforms for independent films. Today, platforms such as Netflix, iTunes, and YouTube are in the face of major industry challenges: more competitors are entering the market; ...

  6. Environmental Survey preliminary report

    SciTech Connect (OSTI)

    Not Available

    1988-04-01

    This report presents the preliminary findings from the first phase of the Environmental Survey of the United States Department of Energy (DOE) Sandia National Laboratories conducted August 17 through September 4, 1987. The objective of the Survey is to identify environmental problems and areas of environmental risk associated with Sandia National Laboratories-Albuquerque (SNLA). The Survey covers all environmental media and all areas of environmental regulation. It is being performed in accordance with the DOE Environmental Survey Manual. This phase of the Survey involves the review of existing site environmental data, observations of the operations carried on at SNLA, and interviews with site personnel. 85 refs., 49 figs., 48 tabs.

  7. Verification of theoretically computed spectra for a point rotating in a vertical plane

    SciTech Connect (OSTI)

    Powell, D.C.; Connell, J.R.; George, R.L.

    1985-03-01

    A theoretical model is modified and tested that produces the power spectrum of the alongwind component of turbulence as experienced by a point rotating in a vertical plane perpendicular to the mean wind direction. The ability to generate such a power spectrum, independent of measurement, is important in wind turbine design and testing. The radius of the circle of rotation, its height above the ground, and the rate of rotation are typical for those for a MOD-OA wind turbine. Verification of this model is attempted by comparing two sets of variances that correspond to individual harmonic bands of spectra of turbulence in the rotational frame. One set of variances is calculated by integrating the theoretically generated rotational spectra; the other is calculated by integrating rotational spectra from real data analysis. The theoretical spectrum is generated by Fourier transformation of an autocorrelation function taken from von Karman and modified for the rotational frame. The autocorrelation is based on dimensionless parameters, each of which incorporates both atmospheric and wind turbine parameters. The real data time series are formed by sampling around the circle of anemometers of the Vertical Plane Array at the former MOD-OA site at Clayton, New Mexico.

  8. DOE Order Self Study Modules - DOE O 425.1D, Verification of...

    Office of Environmental Management (EM)

    NNSA line management regarding the verification of readiness to start up or restart nuclear facilities, activities, or operations? Note: If you think that you can complete the...

  9. Round-Robin Verification and Final Development of the IEC 62788...

    Office of Scientific and Technical Information (OSTI)

    Verification and Final Development of the IEC 62788-1-5 Encapsulation Size Change Test; NREL (National Renewable Energy Laboratory) Citation Details In-Document Search Title:...

  10. Round-Robin Verification and Final Development of the IEC 62788...

    Office of Scientific and Technical Information (OSTI)

    Development of the IEC 62788-1-5 Encapsulation Size Change Test; NREL (National Renewable Energy Laboratory) Citation Details In-Document Search Title: Round-Robin Verification...

  11. Spying on Components: A Runtime Verification Technique Mike Barnett and Wolfram Schulte

    E-Print Network [OSTI]

    Leavens, Gary T.

    Spying on Components: A Runtime Verification Technique Mike Barnett and Wolfram Schulte Microsoft, USA Copyright 2001 M. Barnett and W. Schulte. Machines (ASMs) [16], it allows the writing

  12. EFFICIENT MODELING AND VERIFICATION OF ANALOG/MIXED-SIGNAL CIRCUITS USING

    E-Print Network [OSTI]

    Myers, Chris J.

    finite groups of equivalent states for verification. Difference bound matrices (DBMs), a restricted form using DBMs is very efficient at the cost of exactness. This dissertation presents algorithms

  13. Finite-State Verification for High Performance Computing George S. Avrunin

    E-Print Network [OSTI]

    Avrunin, George S.

    Finite-State Verification for High Performance Computing George S. Avrunin Department (top500.org) reveals that high performance computing has become practically synonymous with parallel

  14. Toward a Security Domain Model for Static Analysis and Verification of Information Systems

    E-Print Network [OSTI]

    Toward a Security Domain Model for Static Analysis and Verification of Information Systems Alan Shaffer, Mikhail Auguston, Cynthia Irvine, Tim Levin Computer Science Department Naval Postgraduate School

  15. Measurement & verification reality check: A yawning gap between theory and practice

    E-Print Network [OSTI]

    2002-01-01

    Energy-Efficient Economy. [IPMVP] International PerformanceVerification Protocol (IPMVP), provides standard measurementThe success of the IPMVP as a market transformation tool has

  16. DEMAND SIDE ENERGY MANAGEMENT AND CONSERVATION PROGRAM Measurement and Verification Program

    E-Print Network [OSTI]

    Hofmann, Hans A.

    DEMAND SIDE ENERGY MANAGEMENT AND CONSERVATION PROGRAM Measurement and Verification Program 4&V deliverables requested here meet the Federal Energy Management Program (FEMP) intent for a "Post- Installation

  17. redMaGiC: Selecting Luminous Red Galaxies from the DES Science Verification Data

    E-Print Network [OSTI]

    Rozo, E; Abate, A; Bonnett, C; Crocce, M; Davis, C; Hoyle, B; Leistedt, B; Peiris, H V; Wechsler, R H; Abbott, T; Abdalla, F B; Banerji, M; Bauer, A H; Benoit-Lévy, A; Bernstein, G M; Bertin, E; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Carollo, D; Kind, M Carrasco; Carretero, J; Castander, F J; Childress, M J; Cunha, C E; D'Andrea, C B; Davis, T; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Eifler, T F; Evrard, A E; Neto, A Fausti; Flaugher, B; Fosalba, P; Frieman, J; Gaztanaga, E; Gerdes, D W; Glazebrook, K; Gruen, D; Gruendl, R A; Honscheid, K; James, D J; Jarvis, M; Kim, A G; Kuehn, K; Kuropatkin, N; Lahav, O; Lidman, C; Lima, M; Maia, M A G; March, M; Martini, P; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Nichol, R C; Nord, B; O'Neill, C R; Ogando, R; Plazas, A A; Romer, A K; Roodman, A; Sako, M; Sanchez, E; Santiago, B; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Thaler, J; Thomas, D; Uddin, S; Vikram, V; Walker, A R; Wester, W; Zhang, Y; da Costa, L N

    2015-01-01

    We introduce redMaGiC, an automated algorithm for selecting Luminous Red Galaxies (LRGs). The algorithm was specifically developed to minimize photometric redshift uncertainties in photometric large-scale structure studies. redMaGiC achieves this by self-training the color-cuts necessary to produce a luminosity-thresholded LRG sample of constant comoving density. We demonstrate that redMaGiC photozs are very nearly as accurate as the best machine-learning based methods, yet they require minimal spectroscopic training, do not suffer from extrapolation biases, and are very nearly Gaussian. We apply our algorithm to Dark Energy Survey (DES) Science Verification (SV) data to produce a redMaGiC catalog sampling the redshift range $z\\in[0.2,0.8]$. Our fiducial sample has a comoving space density of $10^{-3}\\ (h^{-1} Mpc)^{-3}$, and a median photoz bias ($z_{spec}-z_{photo}$) and scatter $(\\sigma_z/(1+z))$ of 0.005 and 0.017 respectively. The corresponding $5\\sigma$ outlier fraction is 1.4%. We also test our algorit...

  18. Infrared Surveys for AGN

    E-Print Network [OSTI]

    Smith, H E

    2002-01-01

    From the earliest extragalactic infrared studies AGN have shown themselves to be strong infrared sources and IR surveys have revealed new populations of AGN. I briefly review current motivations for AGN surveys in the infrared and results from previous IR surveys. The Luminous Infrared Galaxies, which in some cases house dust-enshrouded AGN, submillimeter surveys, and recent studies of the cosmic x-ray and infrared backgrounds suggest that there is a population of highly-obscured AGN at high redshift. ISO Surveys have begun to resolve the infrared background and may have detected this obscured AGN population. New infrared surveys, particularly the SIRTF Wide-area Infrared Extragalactic Legacy Survey (SWIRE), will detect this population and provide a platform for understanding the evolution of AGN, Starbursts and passively evolving galaxies in the context of large-scale structure and environment.

  19. Infrared Surveys for AGN

    E-Print Network [OSTI]

    Harding E. Smith

    2002-03-06

    From the earliest extragalactic infrared studies AGN have shown themselves to be strong infrared sources and IR surveys have revealed new populations of AGN. I briefly review current motivations for AGN surveys in the infrared and results from previous IR surveys. The Luminous Infrared Galaxies, which in some cases house dust-enshrouded AGN, submillimeter surveys, and recent studies of the cosmic x-ray and infrared backgrounds suggest that there is a population of highly-obscured AGN at high redshift. ISO Surveys have begun to resolve the infrared background and may have detected this obscured AGN population. New infrared surveys, particularly the SIRTF Wide-area Infrared Extragalactic Legacy Survey (SWIRE), will detect this population and provide a platform for understanding the evolution of AGN, Starbursts and passively evolving galaxies in the context of large-scale structure and environment.

  20. Galaxy Clustering, Photometric Redshifts and Diagnosis of Systematics in the DES Science Verification Data

    SciTech Connect (OSTI)

    Crocce, M.

    2015-12-09

    We study the clustering of galaxies detected at i < 22.5 in the Science Verification observations of the Dark Energy Survey (DES). Two-point correlation functions are measured using 2.3 × 106 galaxies over a contiguous 116 deg2 region in five bins of photometric redshift width ?z = 0.2 in the range 0.2 < z < 1.2. The impact of photometric redshift errors is assessed by comparing results using a template-based photo-zalgorithm (BPZ) to a machine-learning algorithm (TPZ). A companion paper presents maps of several observational variables (e.g. seeing, sky brightness) which could modulate the galaxy density. Here we characterize and mitigate systematic errors on the measured clustering which arise from these observational variables, in addition to others such as Galactic dust and stellar contamination. After correcting for systematic effects, we then measure galaxy bias over a broad range of linear scales relative to mass clustering predicted from the Planck ? cold dark matter model, finding agreement with the Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) measurements with ?2 of 4.0 (8.7) with 5 degrees of freedom for the TPZ (BPZ) redshifts. Furthermore, we test a ‘linear bias’ model, in which the galaxy clustering is a fixed multiple of the predicted non-linear dark matter clustering. The precision of the data allows us to determine that the linear bias model describes the observed galaxy clustering to 2.5 percent accuracy down to scales at least 4–10 times smaller than those on which linear theory is expected to be sufficient.

  1. Four New BL Lac Surveys: Sampling New Populations

    E-Print Network [OSTI]

    S. A. Laurent-Muehleisen; R. H. Becker; W. Brinkmann; J. Siebert; E. D. Feigelson; R. I. Kollgaard; G. D. Schmidt; P. S. Smith

    1998-10-15

    The advent of large area deep radio and X-ray surveys is leading to the creation of many new BL Lac samples. In particular, the ROSAT All-Sky, Green Bank and FIRST surveys are proving to be rich sources of new BL Lacs. We will discuss the methods used in four independent BL Lac searches based on these surveys. Comparison of the broadband spectral energy distributions of these BL Lacs with those of previously known objects clearly points to the existence of a large previously unrecognized population of objects with characteristics intermediate between those exhibited by Low and High energy peaked BL Lacs.

  2. This letter is to inform AHAM that DOE is adopting a new policy regarding DOE ENERGY STAR verification testing of models that are part of the AHAM verification program.

    Office of Energy Efficiency and Renewable Energy (EERE)

    This letter is to inform AHAM that DOE is adopting a new policy regarding DOE ENERGY STAR verification testing of models that are part of the AHAM verification program.

  3. An industry view of the new technology and inventions needed by the independent petroleum industry by 2025

    SciTech Connect (OSTI)

    Oltz, D.F. [Illinois State Geological Survey, Champaign, IL (United States)

    1994-12-31

    In order to remain competitive, the U.S. independent oil industry will need rapid access to relevant data such as development histories, production data, rock samples, fluid samples, reservoir test data, advanced reservoir characterization, optimized drilling and completion technologies, interpreted geophysical (including seismic) data, and a source of funds derived from investors who can expect a return on their money. State geological surveys, attuned to the needs of local independents, can play a major role in meeting these increasing demands for data availability and data interpretation. Surveys can serve as neutral third parties to aid in collecting data not required to be reported to state governments. The interface between independents and surveys and between surveys and the technology developers and providers will produce technological leaps that may include: Improved reservoir imaging in a digital format that can be readily used by an independent`s PC-based system. Availability of data and information on analogous approaches to solutions of various drilling, completion, reservoir and production problems. Development of MWD technology that will allow comparison of real-time acquisition of reservoir rock and fluid data to geological and engineering analogs such as those developed by researchers at state geological surveys. The oil business is risk-based; the price of oil is determined in the world marketplace. At current levels of technology, well abandonments will increase at a deplorable rate between now and 2025. It is in the nation`s best interest from both the natural resource conservation and national energy policy standpoints to reduce the rate of well abandonments and improve recovery efficiency. This can be accomplished through a focused effort by both state and federal agencies addressing the technological needs of the independent industry.

  4. Safeguards Verification Measurements using Laser Ablation, Absorbance Ratio Spectrometry in Gaseous Centrifuge Enrichment Plants

    SciTech Connect (OSTI)

    Anheier, Norman C.; Cannon, Bret D.; Qiao, Hong; Phillips, Jon R.

    2012-07-01

    Laser Ablation Absorbance Ratio Spectrometry (LAARS) is a new verification measurement technology under development at the US Department of Energy’s (DOE) Pacific Northwest National Laboratory (PNNL). LAARS uses three lasers to ablate and then measure the relative isotopic abundance of uranium compounds. An ablation laser is tightly focused on uranium-bearing solids producing a small plume containing uranium atoms. Two collinear wavelength-tuned spectrometry lasers transit through the plume and the absorbance of U-235 and U-238 isotopes are measured to determine U-235 enrichment. The measurement has high relative precision and detection limits approaching the femtogram range for uranium. It is independent of chemical form and degree of dilution with nuisance dust and other materials. High speed sample scanning and pinpoint characterization allow measurements on millions of particles/hour to detect and analyze the enrichment of trace uranium in samples. The spectrometer is assembled using commercially available components at comparatively low cost, and features a compact and low power design. Future designs can be engineered for reliable, autonomous deployment within an industrial plant environment. Two specific applications of the spectrometer are under development: 1) automated unattended aerosol sampling and analysis and 2) on-site small sample destructive assay measurement. The two applications propose game-changing technological advances in gaseous centrifuge enrichment plant (GCEP) safeguards verification. The aerosol measurement instrument, LAARS-environmental sampling (ES), collects aerosol particles from the plant environment in a purpose-built rotating drum impactor and then uses LAARS-ES to quickly scan the surface of the impactor to measure the enrichments of the captured particles. The current approach to plant misuse detection involves swipe sampling and offsite analysis. Though this approach is very robust it generally requires several months to obtain results from a given sample collection. The destructive assay instrument, LAARS-destructive assay (DA), uses a simple purpose-built fixture with a sampling planchet to collect adsorbed UF6 gas from a cylinder valve or from a process line tap or pigtail. A portable LAARS-DA instrument scans the microgram quantity of uranium collected on the planchet and the assay of the uranium is measured to ~0.15% relative precision. Currently, destructive assay samples for bias defect measurements are collected in small sample cylinders for offsite mass spectrometry measurement.

  5. DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION

    SciTech Connect (OSTI)

    Smith, Leon E.; Curtis, Michael M.; Shaver, Mark W.; Benz, Jacob M.; Misner, Alex C.; Mace, Emily K.; Jordan, David V.; Noss, Daniel; Ford, Herbert

    2009-10-06

    International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the facility’s operations. As additional enrichment plans come online to support the expansion of nuclear power, reducing person-days of inspection will take on greater importance. Pacific Northwest National Laboratory (PNNL) is developing a concept to automate the verification of enrichment plant cylinders to enable 100% product-cylinder verification and potentially, mass-balance calculations on the facility as a whole (by also measuring feed and tails cylinders). The Automated Cylinder Enrichment Verification System (ACEVS) would be located at key measurement points and will positively identify each cylinder, measure its mass and enrichment, store the data along with operator inputs in a secure database, and maintain continuity of knowledge on measured cylinders until IAEA inspector arrival. Given the potential for reduced inspector presence, the operational and manpower-reduction benefits of the portal concept are clear. However, it is necessary to assess whether the cylinder portal concept can meet, or potentially improve upon, today’s U-235 enrichment assay performance. PNNL’s ACEVS concept utilizes sensors that could be operated in an unattended mode: moderated He-3 neutron detectors and large NaI(Tl) scintillators for gamma-ray spectroscopy. The medium-resolution NaI(Tl) scintillators are a sacrifice in energy resolution but do provide high collection efficiency for signatures above 1 MeV. The He-3/NaI sensor combination allows the exploitation of additional, more-penetrating signatures than those currently utilized: Neutrons produced from F-19(?,n) reactions (spawned primarily from U-234 alpha emission) and high-energy gamma rays (extending up to 10 MeV) induced by neutrons interacting in the steel cylinder. These signatures are indirect measures of U-235 that require a relatively stable U-234/U-235 ratio in the product material in order to be useful. The hypothesis of this work is that the U-234/U-235 ratio is sufficiently constant, for the specific facility where the automated system is installed, to rely on neutron and high-energy gamma-ray signatures for indirect measurement of U-235. Further, these highly penetrating signatures can be combined with a modified form of NaI-based 185-keV enrichment measurements to meet target uncertainties for the verification of product cylinders, with the additional benefits of full-volume assay of the cylinder and 100% product-cylinder verification (as opposed to today’s sampling-based approach). This paper focuses on the enrichment measurement aspects of the ACEVS concept: neutron and high-energy gamma-ray signatures, the radiation sensors designed to collect those signatures, and proof-of-principle cylinder measurements and analysis. Preliminary analysis indicates that an automated cylinder verification approach has the potential to meet target uncertainty values for 30B products cylinders (5%), assuming ore-based enrichment feed and a facility-specific calibration. Also described is the additional work needed to more definitively assess the concept’s viability, particularly through a better understanding of the U-234/U-235 ratio variability in modern enrichment plants.

  6. BASF's Energy Survey Methodology 

    E-Print Network [OSTI]

    Theising, T. R.

    2005-01-01

    Methodology Thomas R. Theising BASF Corporation operates several dozen manufacturing Sites within NAFTA and periodically conducts Energy Surveys at each Site. Although these manufacturing sites represent a variety of industries, BASF has found success.... The discovery phase is the ?Energy Survey? itself. These Surveys involve plant personnel from various functions within Site operations. BASF applies the Pareto Principle in a variety of fashions: 20% of the operation consumes 80% of the energy, lets focus...

  7. A Literature Survey on Information Logistics Bernd Michelberger1

    E-Print Network [OSTI]

    Ulm, Universität

    . The notion of information logistics (IL) has been introduced as a new information management paradigm. Goal such as material logistics and lean management have been both adopted and adapted. Generally, IL is independentA Literature Survey on Information Logistics Bernd Michelberger1 , Ralph-Josef Andris2 , Hasan

  8. Producers. US independents: exploring for clout

    SciTech Connect (OSTI)

    Not Available

    1988-05-25

    Are US independent oil producers an emerging voice that will catapult the country towards a new, comprehensive energy policy. Or, are they voices in a quiet wilderness of traditional oil supply at prices posted by the majors. Certainly the independents drill 85% of all new wells and produce 41% of the country's oil. But contemporary pricing practices, accompanied by growing energy interdependencies on a global scale, are realities many independents see at a foggy distance. Will they adopt the New Think of product-price values, as the OPEC countries did many years ago. This issue also presents the following data in tabular form: (1) changes in the number of US producing wells and new wells completed by state, 1985-1987; (2) ED refining netback data for the US Gulf and West Coasts, Rotterdam, and Singapore for late May 1988; and (3) ED fuel price/tax series for countries of the Eastern Hemisphere, May 1988 edition. 5 figures, 6 tables.

  9. Applying Multi-Physics Requirements and Loads in FEM Analysis and Testing – The JET KL11 Endoscope Design Verification Process

    E-Print Network [OSTI]

    Applying Multi-Physics Requirements and Loads in FEM Analysis and Testing – The JET KL11 Endoscope Design Verification Process

  10. ORISE: Characterization surveys

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    objective characterization surveys to define the extent of radiological contamination at sites scheduled for decontamination and decommissioning (D&D). A fundamental...

  11. Review of the Pantex Plant Implementation Verification Review...

    Energy Savers [EERE]

    for Improvement PXSO Pantex Site Office SAC Specific Administrative Control SSC Structures, Systems, and Components TSR Technical Safety Requirement 1 Independent Oversight...

  12. DEEP NEURAL NETWORKS FOR SMALL FOOTPRINT TEXT-DEPENDENT SPEAKER VERIFICATION

    E-Print Network [OSTI]

    Cortes, Corinna

    DEEP NEURAL NETWORKS FOR SMALL FOOTPRINT TEXT-DEPENDENT SPEAKER VERIFICATION Ehsan Variani1 , Xin the use of deep neural networks (DNNs) for a small footprint text-dependent speaker verification task% relative in equal error rate (EER) for clean and noisy conditions respectively. Index Terms-- Deep neural

  13. Verification of Relational Data-Centric Dynamic Systems with External Services

    E-Print Network [OSTI]

    Calvanese, Diego

    Verification of Relational Data-Centric Dynamic Systems with External Services Babak Bagheri Hariri@cs.ucsd.edu ABSTRACT Data-centric dynamic systems are systems where both the process controlling the dynamics processes. In this paper we study verification of (first-order) µ-calculus variants over relational data-centric

  14. A Brief Account of Runtime Verification Martin Leucker and Christian Schallhart

    E-Print Network [OSTI]

    Leucker, Martin

    to well-known verification techniques like model checking and testing is provided, and applications-skid system must speed with exactly the right velocity to stabi- lize the car. Moreover, for a power plant;verification is particularly challenging as the overall behavior of such systems depends heavily

  15. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  16. Foundations of Software Technology and Theoretical Computer Science (2009) Submission Deductive Verification of Continuous

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01

    state transition systems is a powerful modeling formalism, it is inadequate for modeling systems Verification of Continuous Dynamical Systems Ankur Taly1 , Ashish Tiwari2 1 Computer Science Department inference rules for safety verification of polynomial continuous dynamical systems. We present two different

  17. Formal Verification Integration Approach for Faiez Zalila, Xavier Cregut, and Marc Pantel

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    critical systems. In this context, model validation and verification (V&V) activities are key features) for the verification of safety critical embedded systems has produced very good results and raised the inter- est the benefits of these power- ful methods. More precisely, we propose a language to formally express system

  18. Query Based UML Modeling Validation and Verification of the System Model and

    E-Print Network [OSTI]

    Austin, Mark

    1 Query Based UML Modeling Validation and Verification of the System Model and Behavior. UML/SysML was designed to provide simple but powerful constructs for modeling a wide range of systems for a Hydraulic Crane Denny Mathew ENPM 643 System Validation and Verification Instructor: Dr. Mark Austin Fall

  19. An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration

    E-Print Network [OSTI]

    Hilley, George

    An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration J. L the success of geologic carbon sequestration projects. To detect subtle CO2 leakage signals, we present), An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration, Geophys. Res

  20. Modeling and Verification of Leaders Agreement in the IntrusionTolerant Enclaves Using PVS

    E-Print Network [OSTI]

    Tahar, Sofiène

    Modeling and Verification of Leaders Agreement in the Intrusion­Tolerant Enclaves Using PVS Mohamed issue in formal verification. It arises the problem of how much power should be given to a Byzantine Layouni 1 , Jozef Hooman 2 , and Sofiâ?? ene Tahar 1 1 Department of Electrical and Computer Engineering

  1. Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs

    E-Print Network [OSTI]

    Ciesielski, Maciej

    series expansion that allows to model word-level signals as alge- braic symbols. This power increase in the size and complexity of digital systems has made it essential to address verification issues verification meth- ods, such as theorem proving, property and model checking, equiv- alence checking, etc

  2. Modeling and Verification of Leaders Agreement in the Intrusion-Tolerant Enclaves Using PVS

    E-Print Network [OSTI]

    Tahar, Sofiène

    Modeling and Verification of Leaders Agreement in the Intrusion-Tolerant Enclaves Using PVS Mohamed]. Modeling Byzantine behavior has been always a big issue in formal verification. It arises the problem of how much power should be given to a Byzantine fault and how general the model should be to

  3. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

    E-Print Network [OSTI]

    Clarke, Edmund M.

    verification, abstraction transforms the inherently infinite state system into a finite-state model [7Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement Edmund Clarke1 generated by the model checker. For hybrid systems, analysis of the counterexample requires the computation

  4. Verification of Hybrid Systems Based on CounterexampleGuided Abstraction Refinement ?

    E-Print Network [OSTI]

    Theobald, Michael

    verification, abstraction transforms the inherently infinite state system into a finite­state model [7, 8Verification of Hybrid Systems Based on Counterexample­Guided Abstraction Refinement ? Edmund that eliminates a counterexample generated by the model checker. For hybrid systems, analy­ sis

  5. On the Formal Verification of Embedded Software Using Multiway Decision Graphs

    E-Print Network [OSTI]

    Tahar, Sofiène

    . Recently attention has been given to the verification of embedded systems using formal methods and Claesen [10] suggested a methodology for modeling both the software and hardware of an embedded system1 On the Formal Verification of Embedded Software Using Multiway Decision Graphs Subhashini

  6. FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING

    E-Print Network [OSTI]

    Xu, Haiping

    that DRBD provides a powerful tool for system reliability modeling, and our proposed verification approachFORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY-scale computer-based systems. KEY WORDS Reliability modeling, dynamic reliability block diagrams (DRBD), Object

  7. A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol

    E-Print Network [OSTI]

    Barak, Boaz

    accountable delivery platforms, i.e., missile silos, submarines, and bombers. The next round of nuclear armsA New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol Alex Glaser, Boaz-control agreements. This article presents a concept for a new approach to nuclear warhead verification that minimizes

  8. Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    1 Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage

  9. HOW TO: Complete Form I-9 Verification for Off-Site Employees 1 Background info

    E-Print Network [OSTI]

    HOW TO: Complete Form I-9 Verification for Off-Site Employees 1 Background info: By law, the university must have a valid Form I-9 on file for employees. The Form I-9 form must be completed within 3 location to complete their Form I-9 ­ Employment Eligibility Verification. The form has three parts

  10. A Load Balancing Mechanism with Verification Daniel Grosu and Anthony T. Chronopoulos

    E-Print Network [OSTI]

    Chronopoulos, Anthony T.

    A Load Balancing Mechanism with Verification £ Daniel Grosu and Anthony T. Chronopoulos Department mechanisms with verification for heteroge- neous distributed systems. We derive a compensation and bonus type mechanism that solves the load balancing prob- lem in distributed systems in which computers are charac

  11. Handling Inductance in Early Power Grid Verification Nahi H. Abdul Ghani

    E-Print Network [OSTI]

    Najm, Farid N.

    Handling Inductance in Early Power Grid Verification Nahi H. Abdul Ghani Department of ECE design verification, one should check if the voltage drop on the power grid exceeds some critical thresh, the currents drawn by the logic beneath the power grid are described by means of current constraints

  12. A geometric approach for early power grid verification using current constraints

    E-Print Network [OSTI]

    Najm, Farid N.

    A geometric approach for early power grid verification using current constraints Imad A. Ferzli Automation Eindhoven, The Netherlands lars@magma-da.com ABSTRACT The verification of power grids in modern programs as there are power grid nodes, to an- other involving a user-limited number of solutions of one

  13. A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification

    E-Print Network [OSTI]

    Belaïd, Abdel

    A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature to grid schemes. Different grid-segmentation schemes have been used in off-line signature verification.belaid@loria.fr Abstract--One of the main challenges in off-line signature verification systems is to make them robust

  14. Management Services for Performance Verification in Broadband Multi-Service Networks

    E-Print Network [OSTI]

    Griffin, David

    Management Services for Performance Verification in Broadband Multi-Service Networks Panos Georgatsos1 , David Griffin2 Abstract This paper presents a practical management system for performance monitoring and network performance verification to support the larger goals of performance management systems

  15. WICT PROCEEDINGS, DECEMBER 2008 1 Meta-Functional Languages for Hardware Design and Verification

    E-Print Network [OSTI]

    Pace, Gordon J.

    WICT PROCEEDINGS, DECEMBER 2008 1 Meta-Functional Languages for Hardware Design and Verification of embedding hardware description lan- guages in general-purpose languages has been widely explored in the literature and has been shown to aid hardware design and verification. In this paper we ex- plore the use

  16. Using Sparse Representation for Fish Recognition and Verification in Real World Observation

    E-Print Network [OSTI]

    Chen, Chaur-Chin

    Using Sparse Representation for Fish Recognition and Verification in Real World Observation Yi, Hsinchu, Taiwan Abstract - The purpose of this paper is to present an innovated fish recognition and verification method suited for the real world automatic underwater fish observation. Based on the fish

  17. MODELING AND VERIFICATION OF REAL-TIME AND CYBER-PHYSICAL SYSTEMS

    E-Print Network [OSTI]

    Gupta, Gopal

    MODELING AND VERIFICATION OF REAL-TIME AND CYBER-PHYSICAL SYSTEMS by Neda Saeedloei APPROVED Copyright 2011 Neda Saeedloei All Rights Reserved #12;To my mother. #12;MODELING AND VERIFICATION OF REAL-TIME AND CYBER-PHYSICAL SYSTEMS by NEDA SAEEDLOEI, B.S., M.S. DISSERTATION Presented to the Faculty

  18. HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME: ___________________________ACCT.CODE:________________________________________________________DATE:_______

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

    HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME (please check one) The Federal Government requires vendor selection justification and price verification, blanket orders) complete Section B and Section C. GGRRAANNTTSS $2,500-$9,999 OMB A-110 requires price

  19. Comments for A Conference on Verification in the 21st Century

    SciTech Connect (OSTI)

    Doyle, James E.

    2012-06-12

    The author offers 5 points for the discussion of Verification and Technology: (1) Experience with the implementation of arms limitation and arms reduction agreements confirms that technology alone has never been relied upon to provide effective verification. (2) The historical practice of verification of arms control treaties between Cold War rivals may constrain the cooperative and innovative use of technology for transparency, veification and confidence building in the future. (3) An area that has been identified by many, including the US State Department and NNSA as being rich for exploration for potential uses of technology for transparency and verification is information and communications technology (ICT). This includes social media, crowd-sourcing, the internet of things, and the concept of societal verification, but there are issues. (4) On the issue of the extent to which verification technologies are keeping pace with the demands of future protocols and agrements I think the more direct question is ''are they effective in supporting the objectives of the treaty or agreement?'' In this regard it is important to acknowledge that there is a verification grand challenge at our doorstep. That is ''how does one verify limitations on nuclear warheads in national stockpiles?'' (5) Finally, while recognizing the daunting political and security challenges of such an approach, multilateral engagement and cooperation at the conceptual and technical levels provides benefits for addressing future verification challenges.

  20. REQUESTS FOR INDEPENDENT STUDY Trinity College of Arts & Sciences

    E-Print Network [OSTI]

    . Independent study is of two types: Independent Study (non-research) and Research Independent Study. Courses://trinity.duke.edu/academic- requirements?p=independent-study-research-w-coding. Policies: The following policies apply to both types entitled Independent Study are individual non-research directed study in a field of special interest

  1. Reactor physics verification of the MCNP6 unstructured mesh capability

    SciTech Connect (OSTI)

    Burke, T. P. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, 2355 Bonisteel Boulevard, Ann Arbor, MI 48109 (United States); Kiedrowski, B. C.; Martz, R. L. [X-Computational Physics Division, Monte Carlo Codes Group, Los Alamos National Laboratory, P.O. Box 1663, Los Alamos, NM 87545 (United States); Martin, W. R. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, 2355 Bonisteel Boulevard, Ann Arbor, MI 48109 (United States)

    2013-07-01

    The Monte Carlo software package MCNP6 has the ability to transport particles on unstructured meshes generated from the Computed-Aided Engineering software Abaqus. Verification is performed using benchmarks with features relevant to reactor physics - Big Ten and the C5G7 computational benchmark. Various meshing strategies are tested and results are compared to reference solutions. Computational performance results are also given. The conclusions show MCNP6 is capable of producing accurate calculations for reactor physics geometries and the computational requirements for small lattice benchmarks are reasonable on modern computing platforms. (authors)

  2. ICDF Complex Waste Profile and Verification Sample Guidance

    SciTech Connect (OSTI)

    W. M. Heileson

    2006-10-01

    This guidance document will assist waste generators who characterize waste streams destined for disposal at the Idaho Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) Disposal Facility (ICDF) Complex. The purpose of this document is to develop a conservative but appropriate way to (1) characterize waste for entry into the ICDF; (2) ensure compliance with the waste acceptance criteria; and (3) facilitate disposal at the ICDF landfill or evaporation pond. In addition, this document will establish the waste verification process used by ICDF personnel to ensure that untreated waste meets applicable ICDF acceptance limits

  3. Cleanup Verification Package for the 116-K-2 Effluent Trench

    SciTech Connect (OSTI)

    J. M. Capron

    2006-04-04

    This cleanup verification package documents completion of remedial action for the 116-K-2 effluent trench, also referred to as the 116-K-2 mile-long trench and the 116-K-2 site. During its period of operation, the 116-K-2 site was used to dispose of cooling water effluent from the 105-KE and 105-KW Reactors by percolation into the soil. This site also received mixed liquid wastes from the 105-KW and 105-KE fuel storage basins, reactor floor drains, and miscellaneous decontamination activities.

  4. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01

    Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

  5. Digital data storage systems, computers, and data verification methods

    DOE Patents [OSTI]

    Groeneveld, Bennett J.; Austad, Wayne E.; Walsh, Stuart C.; Herring, Catherine A.

    2005-12-27

    Digital data storage systems, computers, and data verification methods are provided. According to a first aspect of the invention, a computer includes an interface adapted to couple with a dynamic database; and processing circuitry configured to provide a first hash from digital data stored within a portion of the dynamic database at an initial moment in time, to provide a second hash from digital data stored within the portion of the dynamic database at a subsequent moment in time, and to compare the first hash and the second hash.

  6. Sandia National Laboratories: Advanced Simulation Computing: Verification &

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust, High-ThroughputUpcoming Release of the UniversityValidation Verification &

  7. Independent Oversight and Performance Assurance Program

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2002-10-31

    The Independent Oversight Program is designed to enhance the DOE safeguards and security; cyber security; emergency management; and environment, safety, and health programs by providing DOE and contractor managers, Congress, and other stakeholders with an independent evaluation of the adequacy of DOE policy and the effectiveness of line management performance in safeguards and security; cyber security; emergency management; environment, safety, and health; and other critical functions as directed by the Secretary. Cancels DOE O 470.2A and Attachment 2 of DOE O 414.1A. Canceled by DOE O 227.1.

  8. Formal Specification and Verification of a Dataflow Processor Array \\Lambday Thomas A. Henzinger Xiaojun Liu Shaz Qadeer Sriram K. Rajamani

    E-Print Network [OSTI]

    Henzinger, Thomas A.

    and verification of the VGI parallel DSP chip [1], which contains 64 compute processors with ¸30K gates in each verification tools. However, the check can be decomposed using assume­guarantee reasoning. For VGI to decompose the verification problem of the VGI chip into smaller proof obliga­ tions that were discharged

  9. Developing Embedded/Real-Time and Cyber-Physical Systems: Functional Reactive Programming, RTL-based Formal Verification, Response Time

    E-Print Network [OSTI]

    Cheng, Albert M. K.

    , specification, modeling, scheduling, and formal verification of real- time, embedded, and cyber-physical systems-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling Albert M. K. Cheng Real reactive programming, RTL (real-time logic)-based formal verification, response time analysis, and power

  10. Verification as a Foundation for Validation of a Nuclear Fuel Performance Code

    SciTech Connect (OSTI)

    J. D. Hales; S. R. Novascone; B. W. Spencer; R. L. Williamson; G. Pastore; D. M. Perez

    2014-09-01

    Complex multiphysics simulations such as nuclear fuel performance analysis are composed of many submodels used to describe specific phenomena. These phenomena include, as examples, the relationship between stress and strain, heat transfer across a gas gap, and mechanical contact. These submodels work in concert to simulate real-world events, like the behavior of a fuel rod in a reactor. If a simulation tool is able to represent real-world behavior, the tool is said to be validated. While much emphasis is rightly placed on validation, model verification may be undervalued. Verification involves showing that a model performs as intended, that it computes results consistent with its mathematical description. This paper explains the differences between verification and validation and shows how validation should be preceded by verification. Specific verification problems, including several specific to nuclear fuel analysis, are given. Validation results are also presented.

  11. New players, opportunities and frustrations in the global marketplace -- Results of an industry-wide survey

    SciTech Connect (OSTI)

    Schwartz, R.

    1998-07-01

    Review of the annual industry-wide survey of the independent power industry, including top players, market shares, company growth rates, player activities by country and market expectations. The author offers fresh analysis on industry trends based on the survey, conducted through direct interviews with nearly 200 global power developers. Unlike other overviews offering demand projections of various power markets, this survey takes a look at the industry itself.

  12. Fast Kernel-Based Independent Component Analysis

    E-Print Network [OSTI]

    McAuliffe, Jon

    Fast Kernel-Based Independent Component Analysis Hao Shen , Stefanie Jegelka and Arthur Gretton instance, sources with near-zero kurtosis). FastKICA (Fast HSIC-based Kernel ICA) is a new optimisation-based ICA algorithms, FastKICA is applicable to any twice differentiable kernel function. Experimental

  13. Adaptive Background Estimation using Intensity Independent Features

    E-Print Network [OSTI]

    Lunds Universitet

    Adaptive Background Estimation using Intensity Independent Features Håkan Ardö, Rikard Berthilsson to rapid changes in lighting conditions. Furthermore, the features can be computed very efficiently using reliable way, also in outdoor scenes where the lighting conditions is changing rapidly due to passing

  14. OKLAHOMA STATE Report of Independent Accountants' Application

    E-Print Network [OSTI]

    Veiga, Pedro Manuel Barbosa

    OKLAHOMA STATE UNIVERSITY Report of Independent Accountants' Application of Agreed-Upon Procedures to Assist the University in Complying with NCAA Bylaws 6.2.3.1 Year Ended June 30, 2007 #12;OKLAHOMA STATE.2.3.1 .......................................................................................................................................... 1 Intercollegiate Athletics Program Accounts of Oklahoma State University and the Oklahoma State

  15. Energy Independence and Security Act of 2007

    SciTech Connect (OSTI)

    2011-12-30

    An Act passed in 2007 to move the United States toward greater energy independence and security, to increase the production of clean renewable fuels, to protect consumers, to increase the efficiency of products, buildings, and vehicles, to promote research on and deploy greenhouse gas capture and storage options, and to improve the energy performance of the Federal Government, and for other purposes.

  16. From Investor-owned Utility to Independent Power Producer

    E-Print Network [OSTI]

    Ishii, Jun

    2003-01-01

    Utility To Independent Power Producer Jun Ishii NovemberU t i l i t y to Independent Power Producer J u n Ishiii o n decision of independent power producers (IPPs) i n the

  17. XSEDE Cloud Survey Report

    E-Print Network [OSTI]

    Chen, Tsuhan

    XSEDE Cloud Survey Report David Lifka, Cornell Center for Advanced Computing Ian Foster, ANL, ANL and The University of Chicago A National Science Foundation-sponsored cloud user survey was conducted from September 2012 to April 2013 by the XSEDE Cloud Integration Investigation Team to better

  18. Neutron spectrometry for UF6 enrichment verification in storage cylinders

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Mengesha, Wondwosen; Kiff, Scott D.

    2015-01-29

    Verification of declared UF6 enrichment and mass in storage cylinders is of great interest in nuclear material nonproliferation. Nondestructive assay (NDA) techniques are commonly used for safeguards inspections to ensure accountancy of declared nuclear materials. Common NDA techniques used include gamma-ray spectrometry and both passive and active neutron measurements. In the present study, neutron spectrometry was investigated for verification of UF6 enrichment in 30B storage cylinders based on an unattended and passive measurement approach. MCNP5 and Geant4 simulated neutron spectra, for selected UF6 enrichments and filling profiles, were used in the investigation. The simulated neutron spectra were analyzed using principalmore »component analysis (PCA). The PCA technique is a well-established technique and has a wide area of application including feature analysis, outlier detection, and gamma-ray spectral analysis. Results obtained demonstrate that neutron spectrometry supported by spectral feature analysis has potential for assaying UF6 enrichment in storage cylinders. The results from the present study also showed that difficulties associated with the UF6 filling profile and observed in other unattended passive neutron measurements can possibly be overcome using the approach presented.« less

  19. Standard practices for verification of speed for material testing machines

    E-Print Network [OSTI]

    American Society for Testing and Materials. Philadelphia

    2011-01-01

    1.1 These practices cover procedures and requirements for the calibration and verification of testing machine speed by means of standard calibration devices. This practice is not intended to be complete purchase specifications for testing machines. 1.2 These practices apply to the verification of the speed application and measuring systems associated with the testing machine, such as a scale, dial, marked or unmarked recorder chart, digital display, setting, etc. In all cases the buyer/owner/user must designate the speed-measuring system(s) to be verified. 1.3 These practices give guidance, recommendations, and examples, specific to electro-mechanical testing machines. The practice may also be used to verify actuator speed for hydraulic testing machines. 1.4 This standard cannot be used to verify cycle counting or frequency related to cyclic fatigue testing applications. 1.5 Since conversion factors are not required in this practice, either SI units (mm/min), or English [in/min], can be used as the standa...

  20. Extragalactic HI Surveys

    E-Print Network [OSTI]

    Giovanelli, Riccardo

    2015-01-01

    We review the results of HI line surveys of extragalactic sources in the local Universe. In the last two decades major efforts have been made in establishing on firm statistical grounds the properties of the HI source population, the two most prominent being the HI Parkes All Sky Survey (HIPASS) and the Arecibo Legacy Fast ALFA survey (ALFALFA). We review the choices of technical parameters in the design and optimization of spectro-photometric "blind" HI surveys, which for the first time produced extensive HI-selected data sets. Particular attention is given to the relationship between optical and HI populations, the differences in their clustering properties and the importance of HI-selected samples in contributing to the understanding of apparent conflicts between observation and theory on the abundance of low mass halos. The last section of this paper provides an overview of currently ongoing and planned surveys which will explore the cosmic evolution of properties of the HI population.

  1. Two Independent Assessments Find the Department of Energy's Yucca...

    Broader source: Energy.gov (indexed) [DOE]

    independent assessments addressing areas critical to the overall success of the Yucca Mountain repository program. These assessments, which include an independent review of the...

  2. Independent Oversight Review, Portsmouth/Paducah Project Office...

    Energy Savers [EERE]

    Independent Oversight Review, PortsmouthPaducah Project Office - May 2012 Independent Oversight Review, PortsmouthPaducah Project Office - May 2012 May 2012 Review of the...

  3. Independent Oversight Targeted Review, Y-12 National Security...

    Energy Savers [EERE]

    Independent Oversight Targeted Review, Y-12 National Security Complex - February 2012 Independent Oversight Targeted Review, Y-12 National Security Complex - February 2012 February...

  4. New Independent Analysis Confirms Climate Bill Costs About a...

    Energy Savers [EERE]

    Independent Analysis Confirms Climate Bill Costs About a Postage Stamp a Day New Independent Analysis Confirms Climate Bill Costs About a Postage Stamp a Day August 4, 2009 -...

  5. Energy Independence for North America - Transition to the Hydrogen...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Independence for North America - Transition to the Hydrogen Economy Energy Independence for North America - Transition to the Hydrogen Economy 2003 DEER Conference Presentation:...

  6. The Office of Independent Enterprise Assessments' Office of Enforcemen...

    Office of Environmental Management (EM)

    The Office of Independent Enterprise Assessments' Office of Enforcement convened the 2014 DOE Safety and Security Enforcement Workshop May 13 and 14, 2014 The Office of Independent...

  7. New York Independent System Operator, Smart Grid RFI: Addressing...

    Office of Environmental Management (EM)

    Independent System Operator, Smart Grid RFI: Addressing Policy and Logistical Challenges. New York Independent System Operator, Smart Grid RFI: Addressing Policy and Logistical...

  8. 2013 REPORT ILLINOIS NATURAL HISTORY SURVEY

    E-Print Network [OSTI]

    Bashir, Rashid

    2013 REPORT ILLINOIS NATURAL HISTORY SURVEY ILLINOIS STATE ARCHAEOLOGICAL SURVEY ILLINOIS STATE State Geological Survey Illinois State Water Survey Illinois Sustainable Technology Center Awards GEOLOGICAL SURVEY ILLINOIS STATE WATER SURVEY ILLINOIS SUSTAINABLE TECHNOLOGY CENTER #12;#12;PRAIRIE RESEARCH

  9. Exploring the Possible Use of Information Barriers for future Biological Weapons Verification Regimes

    SciTech Connect (OSTI)

    Luke, S J

    2011-12-20

    This report describes a path forward for implementing information barriers in a future generic biological arms-control verification regime. Information barriers have become a staple of discussion in the area of arms control verification approaches for nuclear weapons and components. Information barriers when used with a measurement system allow for the determination that an item has sensitive characteristics without releasing any of the sensitive information. Over the last 15 years the United States (with the Russian Federation) has led on the development of information barriers in the area of the verification of nuclear weapons and nuclear components. The work of the US and the Russian Federation has prompted other states (e.g., UK and Norway) to consider the merits of information barriers for possible verification regimes. In the context of a biological weapons control verification regime, the dual-use nature of the biotechnology will require protection of sensitive information while allowing for the verification of treaty commitments. A major question that has arisen is whether - in a biological weapons verification regime - the presence or absence of a weapon pathogen can be determined without revealing any information about possible sensitive or proprietary information contained in the genetic materials being declared under a verification regime. This study indicates that a verification regime could be constructed using a small number of pathogens that spans the range of known biological weapons agents. Since the number of possible pathogens is small it is possible and prudent to treat these pathogens as analogies to attributes in a nuclear verification regime. This study has determined that there may be some information that needs to be protected in a biological weapons control verification regime. To protect this information, the study concludes that the Lawrence Livermore Microbial Detection Array may be a suitable technology for the detection of the genetic information associated with the various pathogens. In addition, it has been determined that a suitable information barrier could be applied to this technology when the verification regime has been defined. Finally, the report posits a path forward for additional development of information barriers in a biological weapons verification regime. This path forward has shown that a new analysis approach coined as Information Loss Analysis might need to be pursued so that a numerical understanding of how information can be lost in specific measurement systems can be achieved.

  10. Verification of the New FAST v8 Capabilities for the Modeling of Fixed-Bottom Offshore Wind Turbines: Preprint

    SciTech Connect (OSTI)

    Barahona, B.; Jonkman, J.; Damiani, R.; Robertson, A.; Hayman, G.

    2014-12-01

    Coupled dynamic analysis has an important role in the design of offshore wind turbines because the systems are subject to complex operating conditions from the combined action of waves and wind. The aero-hydro-servo-elastic tool FAST v8 is framed in a novel modularization scheme that facilitates such analysis. Here, we present the verification of new capabilities of FAST v8 to model fixed-bottom offshore wind turbines. We analyze a series of load cases with both wind and wave loads and compare the results against those from the previous international code comparison projects-the International Energy Agency (IEA) Wind Task 23 Subtask 2 Offshore Code Comparison Collaboration (OC3) and the IEA Wind Task 30 OC3 Continued (OC4) projects. The verification is performed using the NREL 5-MW reference turbine supported by monopile, tripod, and jacket substructures. The substructure structural-dynamics models are built within the new SubDyn module of FAST v8, which uses a linear finite-element beam model with Craig-Bampton dynamic system reduction. This allows the modal properties of the substructure to be synthesized and coupled to hydrodynamic loads and tower dynamics. The hydrodynamic loads are calculated using a new strip theory approach for multimember substructures in the updated HydroDyn module of FAST v8. These modules are linked to the rest of FAST through the new coupling scheme involving mapping between module-independent spatial discretizations and a numerically rigorous implicit solver. The results show that the new structural dynamics, hydrodynamics, and coupled solutions compare well to the results from the previous code comparison projects.

  11. Environmental Credit Marketing Survey Report

    E-Print Network [OSTI]

    PAGE 1 Environmental Credit Marketing Survey Report #12;Environmental Credit Marketing Survey, Program Coordinator Yanshu Li, Forest Economist Environmental Credit Marketing Survey Report © 2010 Texas to determine interest in these emerging environmental credit markets, as well as identify potential

  12. Nuclear Proliferation Using Laser Isotope Separation -- Verification Options

    SciTech Connect (OSTI)

    Erickson, S A

    2001-10-15

    Two levels of nonproliferation verification exist. Signatories of the basic agreements under the Nuclear Non-proliferation Treaty (NPT) agree to open their nuclear sites to inspection by the IAEA. A more detailed and intrusive level was developed following the determination that Iraq had begun a nuclear weapons development program that was not detected by the original level of verification methods. This level, referred to as 93+2 and detailed in model protocol INFCIRC/540, allows the IAEA to do environmental monitoring of non-declared facilities that are suspected of containing proliferation activity, and possibly further inspections, as well as allowing more detailed inspections of declared sites. 56 countries have signed a Strengthened Safeguards Systems Additional Protocol as of 16 July 2001. These additional inspections can be done on the instigation of the IAEA itself, or after requests by other parties to the NPT, based on information that they have collected. Since information able to cause suspicion of proliferation could arrive at any country, it is important that countries have procedures in place that will assist them in making decisions related to these inspections. Furthermore, IAEA inspection resources are limited, and therefore care needs to be taken to make best use of these resources. Most of the nonproliferation verification inspections may be concentrated on establishing that diversion of nuclear materials is not occurring, but some fraction will be related to determining if undeclared sites have nuclear materials production taking place within them. Of these, most suspicions will likely be related to the major existing technologies for uranium enrichment and reprocessing for plutonium extraction, as it would seem most likely that nations attempting proliferation would use tested means of producing nuclear materials. However, as technology continues to advance and new methods of enrichment and reprocessing are developed, inspection-related procedures will need to be adapted to keep up with them. In order to make 93+2 inspections more useful, a systematic way of finding clues to nuclear proliferation would be useful. Also, to cope with the possible use of newer technology for proliferation, the list of clues might need to be expanded. This paper discusses the development and recognition of such clues. It concentrates on laser isotope separation (LIS) as a new proliferation technology, and uses Uranium Atomic Vapor Laser Isotope Separation (U-AVLIS) as an example of LIS that is well known.

  13. First-order finite satisfiability vs tree automata in safety verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01

    In this paper we deal with verification of safety properties of term-rewriting systems. The verification problem is translated to a purely logical problem of finding a finite countermodel for a first-order formula, which further resolved by a generic finite model finding procedure. A finite countermodel produced during successful verification provides with a concise description of the system invariant sufficient to demonstrate a specific safety property. We show the relative completeness of this approach with respect to the tree automata completion technique. On a set of examples taken from the literature we demonstrate the efficiency of finite model finding approach as well as its explanatory power.

  14. Nonlinear Independent Component Analysis: Existence and Uniqueness Results

    E-Print Network [OSTI]

    Hyvärinen, Aapo

    \\Lambda Corresponding author 1 #12; Nonlinear Independent Component Analysis: Existence and Uniqueness

  15. Motivation Literature survey

    E-Print Network [OSTI]

    Al-Ghadhban, Samir

    6/19/14 1 #12;Outline 6/19/14 2 Motivation Literature survey System Model Analysis of BLER Capacity analysis Results and Discussion Conclusion and Future Work #12;Introduction & motivation 6

  16. Dark Energy Survey

    ScienceCinema (OSTI)

    Roodman, Aaron; Nord, Brian; Elliot, Ann

    2014-08-12

    Members of the Dark Energy Survey collaboration explain what they hope to learn by studying the southern sky with the world's most advanced digital camera, mounted on a telescope in Chile.

  17. Dark Energy Survey

    SciTech Connect (OSTI)

    Roodman, Aaron; Nord, Brian; Elliot, Ann

    2012-12-06

    Members of the Dark Energy Survey collaboration explain what they hope to learn by studying the southern sky with the world's most advanced digital camera, mounted on a telescope in Chile.

  18. Designing Weak Lensing Surveys: A Generalised Eigenmode Analysis

    E-Print Network [OSTI]

    Martin Kilbinger; Dipak Munshi

    2005-11-17

    We study the estimators of various second-order weak lensing statistics such as the shear correlation functions xi_\\pm and the aperture mass dispersion which can directly be constructed from weak lensing shear maps. We compare the efficiency with which these estimators can be used to constrain cosmological parameters. To this end we introduce the Karhunen-Loeve (KL) eigenmode analysis techniques for weak lensing surveys. These tools are shown to be very effective as a diagnostics for optimising survey strategies. The usefulness of these tools to study the effect of angular binning, the depth and width of the survey and noise contributions due to intrinsic ellipticities and number density of source galaxies on the estimation of cosmological parameters is demonstrated. Results from independent analysis of various parameters and joint estimations are compared. We also study how degeneracies among various cosmological and survey parameters affect the eigenmodes associated with these parameters.

  19. Mapping the Heavens: Probing Cosmology with Large Surveys

    ScienceCinema (OSTI)

    Frieman, Joshua [Fermilab

    2009-09-01

    This talk will provide an overview of recent and on-going sky surveys, focusing on their implications for cosmology. I will place particular emphasis on the Sloan Digital Sky Survey, the most ambitious mapping of the Universe yet undertaken, showing a virtual fly-through of the survey that reveals the large-scale structure of the galaxy distribution. Recent measurements of this large-scale structure, in combination with observations of the cosmic microwave background, have provided independent evidence for a Universe dominated by dark matter and dark energy as well as insights into how galaxies and larger-scale structures formed. Future planned surveys will build on these foundations to probe the history of the cosmic expansion--and thereby the dark energy--with greater precision.

  20. 2011 Radioactive Materials Usage Survey for Unmonitored Point Sources

    SciTech Connect (OSTI)

    Sturgeon, Richard W.

    2012-06-27

    This report provides the results of the 2011 Radioactive Materials Usage Survey for Unmonitored Point Sources (RMUS), which was updated by the Environmental Protection (ENV) Division's Environmental Stewardship (ES) at Los Alamos National Laboratory (LANL). ES classifies LANL emission sources into one of four Tiers, based on the potential effective dose equivalent (PEDE) calculated for each point source. Detailed descriptions of these tiers are provided in Section 3. The usage survey is conducted annually; in odd-numbered years the survey addresses all monitored and unmonitored point sources and in even-numbered years it addresses all Tier III and various selected other sources. This graded approach was designed to ensure that the appropriate emphasis is placed on point sources that have higher potential emissions to the environment. For calendar year (CY) 2011, ES has divided the usage survey into two distinct reports, one covering the monitored point sources (to be completed later this year) and this report covering all unmonitored point sources. This usage survey includes the following release points: (1) all unmonitored sources identified in the 2010 usage survey, (2) any new release points identified through the new project review (NPR) process, and (3) other release points as designated by the Rad-NESHAP Team Leader. Data for all unmonitored point sources at LANL is stored in the survey files at ES. LANL uses this survey data to help demonstrate compliance with Clean Air Act radioactive air emissions regulations (40 CFR 61, Subpart H). The remainder of this introduction provides a brief description of the information contained in each section. Section 2 of this report describes the methods that were employed for gathering usage survey data and for calculating usage, emissions, and dose for these point sources. It also references the appropriate ES procedures for further information. Section 3 describes the RMUS and explains how the survey results are organized. The RMUS Interview Form with the attached RMUS Process Form(s) provides the radioactive materials survey data by technical area (TA) and building number. The survey data for each release point includes information such as: exhaust stack identification number, room number, radioactive material source type (i.e., potential source or future potential source of air emissions), radionuclide, usage (in curies) and usage basis, physical state (gas, liquid, particulate, solid, or custom), release fraction (from Appendix D to 40 CFR 61, Subpart H), and process descriptions. In addition, the interview form also calculates emissions (in curies), lists mrem/Ci factors, calculates PEDEs, and states the location of the critical receptor for that release point. [The critical receptor is the maximum exposed off-site member of the public, specific to each individual facility.] Each of these data fields is described in this section. The Tier classification of release points, which was first introduced with the 1999 usage survey, is also described in detail in this section. Section 4 includes a brief discussion of the dose estimate methodology, and includes a discussion of several release points of particular interest in the CY 2011 usage survey report. It also includes a table of the calculated PEDEs for each release point at its critical receptor. Section 5 describes ES's approach to Quality Assurance (QA) for the usage survey. Satisfactory completion of the survey requires that team members responsible for Rad-NESHAP (National Emissions Standard for Hazardous Air Pollutants) compliance accurately collect and process several types of information, including radioactive materials usage data, process information, and supporting information. They must also perform and document the QA reviews outlined in Section 5.2.6 (Process Verification and Peer Review) of ES-RN, 'Quality Assurance Project Plan for the Rad-NESHAP Compliance Project' to verify that all information is complete and correct.