Sample records for nist verification specimens

  1. CHARPY IMPACT TEST RESULTS ON FIVE MAERIALS AND NIST VERIFICATION SPECIMENS USING INSTRUMENTED

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041clothAdvanced Materials Advanced. C o w l i t z C o . C l a r k C o'IUHopper3 Environmental8,4,

  2. 301-975-2200 phone 301-948-3730 fax www.nist.gov/srm srminfo@nist.gov New and Renewal

    E-Print Network [OSTI]

    Standard E 2298 or International Organization for Standardization standard ISO 14556. SRM 2112 consists Verification Specimens (Nominal 33kN) SRM 2245 Relative Intensity Correction Standard for Raman Spectroscopy-Temperature Seebeck Coefficient Standard (10 K to 390 K) PITTCON Speakers Renewals/Revisions NIST SRM News

  3. MANUFACTURING NIST Impact Verification Program

    E-Print Network [OSTI]

    such as oil and gas pipelines, heavy trucks, mining equipment, power plants and wind turbines. Credit such as Arcelor- Mittal, Nucor, U. S. Steel and SSAB, as well as heavy equipment manufac- turers

  4. NIST Standard Reference Database 17 NIST Chemical Kinetics Database

    E-Print Network [OSTI]

    NIST Standard Reference Database 17 __________________________________________________________ NIST Chemical Kinetics Database WindowsTM Version 2Q98 Users' Guide (NIST) uses its best efforts to deliver a high quality copy of the Database and to verify that the data

  5. NIST 3-Year Programmatic Plan

    E-Print Network [OSTI]

    (cybersecurity and cloud computing). As new technologies develop and evolve,NIST's measurement research emerging technology areas through the NIST Center for Neutron Resea

  6. NIST Presents Green Button: Intro

    ScienceCinema (OSTI)

    Wollman, David

    2013-05-29T23:59:59.000Z

    Part 1/3 of NIST's presentation about the Green Button program. Slides available at http://energy.gov/developer.

  7. NIST Presents Green Button: Policy

    ScienceCinema (OSTI)

    Wollman, David

    2013-05-29T23:59:59.000Z

    Part 2/3 of NIST's presentation about the Green Button program. Slides available at http://energy.gov/developer.

  8. NIST Presents Green Button: Technical

    ScienceCinema (OSTI)

    Wollman, David

    2013-05-29T23:59:59.000Z

    Part 3/3 of NIST's presentation about the Green Button program. Slides available at http://energy.gov/developer.

  9. NIST Presents Green Button: Policy

    SciTech Connect (OSTI)

    Wollman, David

    2012-01-01T23:59:59.000Z

    Part 2/3 of NIST's presentation about the Green Button program. Slides available at http://energy.gov/developer.

  10. NIST Presents Green Button: Technical

    SciTech Connect (OSTI)

    Wollman, David

    2012-01-01T23:59:59.000Z

    Part 3/3 of NIST's presentation about the Green Button program. Slides available at http://energy.gov/developer.

  11. NIST Presents Green Button: Intro

    SciTech Connect (OSTI)

    Wollman, David

    2012-01-01T23:59:59.000Z

    Part 1/3 of NIST's presentation about the Green Button program. Slides available at http://energy.gov/developer.

  12. NIST Cloud Computing Reference Architecture

    E-Print Network [OSTI]

    Perkins, Richard A.

    NIST Cloud Computing Reference Architecture Recommendations of the National Institute of Standards Publication 500-292 #12;i NIST Special Publication 500-292 NIST Cloud Computing Reference Architecture, John Messina, Lee Badger and Dawn Leaf Information Techonology Laboratory Cloud Computing Program

  13. NIST Preliminary Reconnaissance, Building

    E-Print Network [OSTI]

    Magee, Joseph W.

    NIST Preliminary Reconnaissance, Building Performance and Emergency Communications, Joplin)): Support R&D to improve building codes and standards and practices for design and construction of buildings of and data collection on the impact of severe wind on buildings, structures, and infrastructure ­ Section 204

  14. NIST Special Publication 1108R2 NIST Framework and Roadmap for

    E-Print Network [OSTI]

    NIST Special Publication 1108R2 NIST Framework and Roadmap for Smart Grid Interoperability;NIST Special Publication 1108R2 NIST Framework and Roadmap for Smart Grid Interoperability Standards

  15. Economic Assessment of the NIST Thermocouple Calibration

    E-Print Network [OSTI]

    97-1 Planning Report Economic Assessment of the NIST Thermocouple Calibration Program U of Standards and Technology #12;ECONOMIC ASSESSMENT OF THE NIST THERMOCOUPLE CALIBRATION PROGRAM July 11, 1997 ............................................................................................................... 4 1.2 NIST Thermocouple Calibration Program

  16. NIST Special Publication 250-37 NIST MEASUREMENT SERVICES

    E-Print Network [OSTI]

    in achieving the highest possible levels of accuracy, quality, and productivity. NIST offers over 300 different budget; and (6) internal quality control procedures used by NIST. These documents will present more, color temperature, total luminous flux, and luminance. The procedures, equipment, and techniques used

  17. NIST Calibration Services for Liquid Volume NIST Special Publication 250-72

    E-Print Network [OSTI]

    NIST Calibration Services for Liquid Volume NIST Special Publication 250-72 Vern E. Bean, Pedro I of Standards and Technology Gaithersburg, Maryland, 20899 #12;Liquid Volume Calibration Service NIST SP 250 ................................................................................................5 4. Calibration Procedures

  18. NIST 3-Year Programmatic Plan

    E-Print Network [OSTI]

    (vehicles and buildings),and from the physical (renewable energy sources) to the virtual (cybersecurity science,nanotechnol- ogy discovery and fabrication,and other emerging technology areas through the NIST

  19. Draft NISTIR 80061 NIST Cloud Computing2

    E-Print Network [OSTI]

    Draft NISTIR 80061 NIST Cloud Computing2 Forensic Science Challenges NIST Cloud Computing Forensic Computing11 Forensic Science Challenges 12 NIST Cloud Computing Forensic Science Working Group13 Information challenges77 faced by experts when responding to incidents that have occurred in a cloud-computing ecosystem

  20. NIST Standard Reference Database 23 NIST Reference Fluid Thermodynamic and Transport Properties--

    E-Print Network [OSTI]

    Technology Institute and the U.S. Department of Energy. Model development and measurements at NIST have been#12;NIST Standard Reference Database 23 NIST Reference Fluid Thermodynamic and Transport Properties Division National Institute of Standards and Technology Boulder, Colorado 80305 November, 2010 U

  1. TABLE OF CONTENTS NIST Map ...................................................................................................................................................3

    E-Print Network [OSTI]

    TABLE OF CONTENTS NIST Map the Power Grid PML TIME SPEAKER UNIVERSITY TITLE LAB 3:00P Brian Weinstein American University Temperature

  2. NIST Smart Grid Framework Status Report This summary report provides a status update on the NIST smart grid interoperability framework. The

    E-Print Network [OSTI]

    NIST Smart Grid Framework Status Report This summary report provides a status update on the NIST smart grid interoperability framework. The NIST smart grid framework is a NIST special publication document (NIST SP1108, NIST Framework and Roadmap for Smart Grid Interoperability Standards, Releases 1, 2

  3. NIST Calibration Program Calibration Services Users Guide

    E-Print Network [OSTI]

    NIST Calibration Program Calibration Services Users Guide SP 250 Appendix Fee Schedule 2011 Calibration Services: Dimensional Mechanical Thermodynamic Optical Radiation Ionizing Radiation...................................................................................................................... 7 Reports of Calibration/Test Results

  4. NIST HANDBOOK 150-4 2005 Edition

    E-Print Network [OSTI]

    ........................................................................................................................................4 3.2 Management system review ...............................................................................................................................9 4.2 Management system the scope of accreditation. NIST reserves the right to control the quality of the use of the term NVLAP

  5. NIST HANDBOOK 150-5 2005 Edition

    E-Print Network [OSTI]

    .......................................................................................................................................3 3.2 Management system review ...............................................................................................................................6 4.2 Management system the scope of accreditation. NIST reserves the right to control the quality of the use of the term NVLAP

  6. NIST HANDBOOK 150-8 2011 Edition

    E-Print Network [OSTI]

    ......................................................................................................................................................3 3.2 Management system review..............................................................................................................................................6 4.2 Management system the scope of accreditation. NIST reserves the right to control the quality of the use of the term NVLAP

  7. Quantum Information and Metrology with RF Traps at NIST D. J. Wineland, NIST, Boulder, CO

    E-Print Network [OSTI]

    Hensinger, Winfried

    . Knill (NIST)* D. Leibfried (NIST) D. Leibrandt (PostDoc, MIT) Y. Lin (student , CU) C. Ospelkaus (PD) # A. VanDevender (PD, U. Illinois) U. Warring (PD, Heidelberg) A. Wilson (guest researcher) D. J pseudopotential bumps (J. H. Wesenberg, PRA 78, 063410 (2008)) #12;Surface-electrode traps ~150 zone "racetrack

  8. NIST Standard Reference Database 23 NIST Reference Fluid Thermodynamic and Transport Properties--

    E-Print Network [OSTI]

    Magee, Joseph W.

    -Conditioning and Refrigeration Technology Institute and the U.S. Department of Energy. The development of the models on which#12;NIST Standard Reference Database 23 NIST Reference Fluid Thermodynamic and Transport Properties Properties Division National Institute of Standards and Technology Boulder, Colorado 80305 April, 2007 U

  9. NIST Standard Reference Database 88 NIST/TRC Ideal Gas Database

    E-Print Network [OSTI]

    Magee, Joseph W.

    #12;NIST Standard Reference Database 88 NIST/TRC Ideal Gas Database Version 2.0 Users' Guide Data of the database and to verify that the data contained therein have been selected on the basis of sound scientific that may result from errors or omissions in the database. COPYRIGHT (C) 2006 copyright by the U

  10. ISO/IEC/NIST/OECD Workshop: FINAL REPORT June 2008 ISO, IEC, NIST and OECD International workshop on documentary standards

    E-Print Network [OSTI]

    ISO/IEC/NIST/OECD Workshop: FINAL REPORT June 2008 ISO, IEC, NIST and OECD International workshop and related procedures by the broader community. In particular, there is a pressing need to 1 of 40 #12;ISO

  11. NIST Measurement Services: Heat-Flux Sensor Calibration

    E-Print Network [OSTI]

    NIST Measurement Services: Heat-Flux Sensor Calibration NIST Special Publication 250-65 Benjamin K Special Publication 250-65 NIST MEASUREMENT SERVICES: Heat-Flux Sensor Calibration Benjamin K. Tsai GAITHERSBURG, MD: 2004 #12;iii PREFACE The calibration and related measurement services of the National

  12. NIST Special Publication 800-160 Initial Public Draft

    E-Print Network [OSTI]

    the Federal Information Security Management Act (FISMA), Public Law (P.L.) 107-347. NIST is responsible agencies may wish to closely follow the development of these new publications by NIST. OrganizationsNIST Special Publication 800-160 Initial Public Draft Systems Security Engineering An Integrated

  13. NIST Measurement Services: Natural Gas Flow Calibration Service (NGFCS)

    E-Print Network [OSTI]

    NIST Measurement Services: Natural Gas Flow Calibration Service (NGFCS) NIST Special Publication of Standards and Technology #12;i Table of Contents for the Natural Gas Flowmeter Calibration Service (NGFCS;1 Abstract This document describes NIST's high pressure natural gas flow calibration service (NGFCS). Flow

  14. July 9, 2012 Dear NIST Measurement Services Customer,

    E-Print Network [OSTI]

    of measurement services is based on ISO 9001. Conformance to these standards has been verified by NIST://www.nist.gov/qualitysystem/}. The NIST QS is based on ISO/IEC 17025:2005 for its measurement and calibration functions. ISO REMCO Guide of ISO/IEC 17025 with regard to traceability to itself. We hope that this information along

  15. NIST Cloud Computing Strategy working paper, April 2011 1 of 25 NIST Strategy to build a USG Cloud Computing

    E-Print Network [OSTI]

    NIST Cloud Computing Strategy working paper, April 2011 1 of 25 NIST Strategy to build a USG Cloud of United States Government (USG) secure and effective adoption of the Cloud Computing2 model to reduce costs and improve services. The working document describes the NIST Cloud Computing program efforts

  16. NIST Calibration Services for Hydrometers NIST Special Publication 250-78

    E-Print Network [OSTI]

    Science and Technology Laboratory National Institute of Standards and Technology Gaithersburg, Maryland of Service. The National Institute of Standards and Technology (NIST) provides calibration services spirit for alcohol solutions, API degrees for petroleum measurements, degrees Baume heavy and degrees

  17. NIST Computer Security Division csrc.nist.gov Supplemental Guidance on

    E-Print Network [OSTI]

    -03, Enhancing the Security of Federal Information and Information Systems, stated that, "Our nation's security monitoring, or security authorization. Keywords Federal Information Security Management Act, Information Information For additional information on NIST's Computer Security Division programs, projects

  18. Economic Assessment of the NIST Ceramic

    E-Print Network [OSTI]

    98-3 Planning Report Economic Assessment of the NIST Ceramic Phase Diagram Program Prepared by and Economic Analysis Group February 1998 U.S Department of Commerce Technology Administration #12;#12;ECONOMIC of Standards and Technology Program Office Strategic Planning and Economic Analysis Group Prepared under

  19. Economic Assessment of the NIST Alternative

    E-Print Network [OSTI]

    98-1 Planning Report Economic Assessment of the NIST Alternative Refrigerants Research Program and Economic Analysis Group January 1998 U.S Department of Commerce Technology Administration #12;ECONOMIC and Economic Analysis Group Prepared by: Matthew T. Shedlick Albert N. Link John T. Scott Approved by: David P

  20. NIST Standards in Trade Workshops Increase

    E-Print Network [OSTI]

    codes to renewable energy and lighting, and much more. SIT workshops are designed to introduce U Available to Government Agencies NIST offers interactive workshops for federal, state, and local government agencies on the fundamentals of standards, conformity assessment, and related topics. Each workshop

  1. Nuclear Data Verification and Standardization

    SciTech Connect (OSTI)

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

    2011-10-01T23:59:59.000Z

    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.

  2. NIST approach to Promoting US Innovation and Industrial Competitiveness

    Broader source: Energy.gov [DOE]

    Breakout Session 1: New Developments and Hot Topics Session 1-A: Biomass and the U.S. Competitive Advantages for Manufacturing Clean Energy Products Gary Anderson, Economist, NIST

  3. RESPONSE ROBOTS DHS/NIST Sponsored Evaluation Exercises

    E-Print Network [OSTI]

    RESPONSE ROBOTS DHS/NIST Sponsored Evaluation Exercises RESPONSE ROBOTS DHS/NIST Sponsored Evaluation Exercises 11 Pocket Guide Version 2010.2 Pocket Guide Version 2010.2 #12;22 Certain commercial address responder-defined requirements for robot mobility, manipulation, sensors, energy, communications

  4. APD IV, 22-25 April 2013, NIST Bill David,

    E-Print Network [OSTI]

    Magee, Joseph W.

    APD IV, 22-25 April 2013, NIST Bill David, ISIS Facility, Rutherford Appleton Laboratory, UK, 22-25 April 2013, NIST , but... RAL: Diamond & ISIS ISIS TSII Oxford Chemistry Oxford #12;APD IV, 22-ray diffractometer CMS @ CERN CMS @ CERN (II) WISH detectors PILATUS ISIS electronics PILATUS electronics #12;APD IV

  5. November 22, 2013 Dear NIST Measurement Services Customer,

    E-Print Network [OSTI]

    Materials (SRMs). The QS for the delivery of measurement services is based on ISO 9001. Conformance System (QS) {http://www.nist.gov/qualitysystem/}. The NIST QS is based on ISO/IEC 17025:2005 for its measurement and calibration functions. ISO REMCO Guide 34 is used as the relevant standard for functions

  6. July 2, 2014 Dear NIST Measurement Services Customer,

    E-Print Network [OSTI]

    Reference Materials (SRMs). The Quality System for the delivery of measurement services is based on ISO 9001 operating in accordance with the NIST Quality System. The NIST Quality System is based on ISO/IEC 17025:2005 for its measurement and calibration functions. ISO REMCO Guide 34 is used as the relevant standard

  7. U.S DEPARTMENT OF COMMERCE NIST SMART GRID ADVISORY COMMITTEE

    E-Print Network [OSTI]

    Magee, Joseph W.

    U.S DEPARTMENT OF COMMERCE NIST SMART GRID ADVISORY COMMITTEE 1. Committee's Official Designation (Title). NIST Smart Grid Advisory Committee. 2. Authority. The NIST Smart Grid Advisory Committee.S.c., App. 3. Objectives and Scope of Activities. a. Provide input to NIST on the Smart Grid Standards

  8. The NIST Chemistry WebBook Goes Multilingual P. Linstrom and W. G. Mallard (838)

    E-Print Network [OSTI]

    Magee, Joseph W.

    Livro de Química na Web Base de dados de Referência padrão do NIST número 69 Publicada em Novembro, 2004 Química del NIST Base de Datos de Referencia Estándar del NIST Número 69 Publicada en Noviembre, 2004 NIST

  9. Biaxial Creep Specimen Fabrication

    SciTech Connect (OSTI)

    JL Bump; RF Luther

    2006-02-09T23:59:59.000Z

    This report documents the results of the weld development and abbreviated weld qualification efforts performed by Pacific Northwest National Laboratory (PNNL) for refractory metal and superalloy biaxial creep specimens. Biaxial creep specimens were to be assembled, electron beam welded, laser-seal welded, and pressurized at PNNL for both in-pile (JOYO reactor, O-arai, Japan) and out-of-pile creep testing. The objective of this test campaign was to evaluate the creep behavior of primary cladding and structural alloys under consideration for the Prometheus space reactor. PNNL successfully developed electron beam weld parameters for six of these materials prior to the termination of the Naval Reactors program effort to deliver a space reactor for Project Prometheus. These materials were FS-85, ASTAR-811C, T-111, Alloy 617, Haynes 230, and Nirnonic PE16. Early termination of the NR space program precluded the development of laser welding parameters for post-pressurization seal weldments.

  10. Introduction Verification

    E-Print Network [OSTI]

    Kuhn, Matthew R.

    Introduction Model Verification Entropy model for granular materials at the critical state Matthew at the critical state. 2D materials only. Biaxial loading conditions. Six contact quantities Objective: Contact forces, movements, and orientations at the critical state. 2D materials only. Biaxial loading

  11. NIST Technical Note 1637 Modeling the Effects of Outdoor Gasoline

    E-Print Network [OSTI]

    Bentz, Dale P.

    Carbon Monoxide Exposures Liangzhu (Leon) Wang Steven J Emmerich #12;NIST Technical Note 1637 Modeling Steven J Emmerich Building Environment Division Building and Fire Research Laboratory August 2009 U

  12. NIST Special Publication 800-47 Security Guide for

    E-Print Network [OSTI]

    for use of the Interconnection Security Agreement (ISA) guidance document and sample ISA, which ...................................................3-2 3.5 Step 5: Document Interconnection AgreementNIST Special Publication 800-47 Security Guide for Interconnecting Information Technology Systems

  13. NIST Organic Act National Institute of Standards and Technology Act

    E-Print Network [OSTI]

    Magee, Joseph W.

    NIST Organic Act National Institute of Standards and Technology Act SECTION 1. FINDINGS in manufacturing technology, quality control, and techniques for ensuring product reliability and cost concerns compete strongly in world markets. (3) Improvements in manufacturing and product technology depend

  14. NIST Special Publication 800-101 Guidelines on Mobile Device

    E-Print Network [OSTI]

    Springfield, VA Wayne Jansen Booz-Allen-Hamilton McLean, VA http://dx.doi.org/10.6028/NIST.SP. 800-101r1 May

  15. Method for thinning specimen

    DOE Patents [OSTI]

    Follstaedt, David M.; Moran, Michael P.

    2005-03-15T23:59:59.000Z

    A method for thinning (such as in grinding and polishing) a material surface using an instrument means for moving an article with a discontinuous surface with an abrasive material dispersed between the material surface and the discontinuous surface where the discontinuous surface of the moving article provides an efficient means for maintaining contact of the abrasive with the material surface. When used to dimple specimens for microscopy analysis, a wheel with a surface that has been modified to produce a uniform or random discontinuous surface significantly improves the speed of the dimpling process without loss of quality of finish.

  16. 301-975-2200 phone 301-948-3730 fax www.nist.gov/srm srminfo@nist.gov New and Renewal

    E-Print Network [OSTI]

    on the certificate of analysis. A unit of SRM 1898 consists of an amber glass bottle containing nominally 15 g/RMs SRM 1898 Titanium Dioxide Nanomaterial SRM 2206 Controlled Pore Glass BET Specific Surface Area SRM-948-3730 fax www.nist.gov/srm srminfo@nist.gov NIST SRMs 2206 and 2207 Controlled Pore Glass BET Specific

  17. NIST Special Publication 800-73-3 Interfaces for Personal Identity

    E-Print Network [OSTI]

    , Hildegard Ferraiolo, William MacGregor, of NIST, Ketan Mehta of Booz Allen Hamilton and Scott Guthery of HID

  18. Memorandum for: Subject: Due Diligence Responses for Disclosure of NIST Confidential Information

    E-Print Network [OSTI]

    Magee, Joseph W.

    information to be disclosed is related to a CRADA yes no #12;The proprietary information relates to a NIST

  19. National Institute of Standards and Technology (NIST) Cloud Computing Forum & Workshop Agenda

    E-Print Network [OSTI]

    National Institute of Standards and Technology (NIST) Cloud Computing Forum & Workshop Agenda U: Director, NIST, Dr. Patrick Gallagher Overview of NIST mission and role in the context of Cloud Computing 9 government with respect to Cloud Computing 10:00 Break (main lobby) 10:20 Industry Panel: co-chairs William

  20. Design for manufacturability Design verification

    E-Print Network [OSTI]

    Patel, Chintan

    -digital effects Heterogeneous systems Analog-Mixed signal Soft failures Verification for redundancy #12; Robustness Verification metrics Software Reuse Specialized verification methodology Specialized

  1. ISOTOPESuses, demand, and supply NIST Center for Neutron Research

    E-Print Network [OSTI]

    Dimeo, Robert M.

    .S. innovation and industrial competitiveness by advancing #12;CENTER FOR NANOSCALE SCIENCE ANDTECHNOLOGY NIST incremental loss of storage capacity significant loss of storage capacity 1 2, 3, ... #12;Li-ion battery Laboratory Neutron reflectometry study of the conformation of HIV Nef bound to lipid membranes #12;Ultra Cold

  2. Draft NIST Framework and Roadmap4 Smart Grid Interoperability6

    E-Print Network [OSTI]

    Magee, Joseph W.

    1 2 3 Draft NIST Framework and Roadmap4 for5 Smart Grid Interoperability6 Standards,7 Release 2 and Roadmap28 for29 Smart Grid Interoperability30 Standards,31 Release 2.032 33 October 17, 2011 REVISION34 35....................................................................................... 2446 2. Smart Grid Visions

  3. NIST Special Publication 1173 Virtual Cement and Concrete

    E-Print Network [OSTI]

    #12;NIST Special Publication 1173 Virtual Cement and Concrete Testing Laboratory Version 9.5 User;Virtual Cement and Concrete Testing Laboratory Version 9.5 User Guide Jeffrey W. Bullard1 Materials-8615 This document serves as the user's guide for the Virtual Cement and Con- crete Testing Laboratory (VCCTL

  4. NIST Measurement Services: cw Laser Power and Energy

    E-Print Network [OSTI]

    , commerce, industry, and education with the standards adopted or recognized by the Federal Government technologies. NIST's research facilities are located at Gaithersburg, MD 20899, and at Boulder, CO 80303. Major Program ·Regional Programs ·National Programs ·Program Development Electronics and Electrical Engineering

  5. NIST Special Publication 250-87 Calibration Service for Instruments

    E-Print Network [OSTI]

    adopted or recognized by the Federal Government. As an agency of the U.S. Commerce Department's Technology and precompetitive work on new and advanced technologies. NIST's research facilities are located at Gaithersburg, MD Electronics and Electrical Engineering Laboratory ·Microelectronics ·Law Enforcement Standards ·Electricity

  6. NIST TECHNICAL NOTE 1665 Database-Assisted Design for Wind

    E-Print Network [OSTI]

    Perkins, Richard A.

    to calculate response databases for the demand-to-capacity indexes, inter-story drift, and top floor outside NIST are cited which describe measurements in certain non-SI units. Thus, it is more practical of Standards and Tech- nology, nor does it imply that the products or procedures are the best available

  7. NIST Mobility and Manipulation Project Needs and Plans The NIST Mobility and Manipulation (MM) Project is seeking government, industry

    E-Print Network [OSTI]

    Perkins, Richard A.

    . The project testbed includes an industrial robot mounted on a linear rail. The MM Project also plans characterizing components of the new NIST robot testbed, which includes a six-axis industrial robot arm under that are of concern to industry. Real world applications are also highly beneficial for developing and evaluating

  8. Manufacturing of Plutonium Tensile Specimens

    SciTech Connect (OSTI)

    Knapp, Cameron M [Los Alamos National Laboratory

    2012-08-01T23:59:59.000Z

    Details workflow conducted to manufacture high density alpha Plutonium tensile specimens to support Los Alamos National Laboratory's science campaigns. Introduces topics including the metallurgical challenge of Plutonium and the use of high performance super-computing to drive design. Addresses the utilization of Abaqus finite element analysis, programmable computer numerical controlled (CNC) machining, as well as glove box ergonomics and safety in order to design a process that will yield high quality Plutonium tensile specimens.

  9. The National Institute of Standards & Technology (NIST) is a measurement laboratory within the U.S. Government. Founded in 1901, NIST is a nonregulatory federal agency

    E-Print Network [OSTI]

    the wellknown NIST Cloud Computing and Cyber Security programs. To illustrate my ideas in this talk, I identify, standards, and technology in ways that enhance economic security and improve quality of life. NIST cloudcomputing infrastructures can have widespread effects, when compared with failures distributed across

  10. 301-975-2200 phone 301-948-3730 fax www.nist.gov/srm srminfo@nist.gov NEW SRMs/RMs

    E-Print Network [OSTI]

    -Relative Intensity Correction Std for Raman Spectroscopy 1064 nm Excitation 2772-B100 Biodiesel (Soy-Based) 2773-B100 Biodiesel (Animal-Based) 2943-Relative Intensity Correction Std for Fluorescence Spectroscopy or recommendation by the National Institute of Standards and Technology. New NIST SRMs NIST SRM 2244 Relative

  11. Small Specimen Mechanical Property Testing at PNNL

    E-Print Network [OSTI]

    McDonald, Kirk

    Small Specimen Mechanical Property Testing at PNNL Mychailo Toloczko, Dave Senor Pacific Northwest National Laboratory December, 2013 1 #12;Overview of PNNL Capabilities for Small Specimen Testing Long

  12. 2012 NIST Precision Measurement Grants Georg Raithel, University of Michigan, Ann Arbor, MI

    E-Print Network [OSTI]

    Magee, Joseph W.

    2012 NIST Precision Measurement Grants Georg Raithel, University of Michigan, Ann Arbor, MI to the transition frequencies. Thomas Stace, University of Queensland, Brisbane, Queensland, Australia Thermometry

  13. Advancing Smart Grid Interoperability and Implementing NIST's Interoperability Roadmap

    SciTech Connect (OSTI)

    Basso,T.; DeBlasio, R.

    2010-04-01T23:59:59.000Z

    The IEEE American National Standards project P2030TM addressing smart grid interoperability and the IEEE 1547 series of standards addressing distributed resources interconnection with the grid have been identified in priority action plans in the Report to NIST on the Smart Grid Interoperability Standards Roadmap. This paper presents the status of the IEEE P2030 development, the IEEE 1547 series of standards publications and drafts, and provides insight on systems integration and grid infrastructure. The P2030 and 1547 series of standards are sponsored by IEEE Standards Coordinating Committee 21.

  14. NIST BUILDING SCIENCE SERIES 180 Database-Assisted Design for Wind

    E-Print Network [OSTI]

    NIST BUILDING SCIENCE SERIES 180 Database-Assisted Design for Wind: Concepts, Software, and Examples for Rigid and Flexible Buildings Joseph A. Main and William P. Fritz #12;Cover Photo: Boundary Layer Wind Tunnel Laboratory, The University of Western Ontario #12;NIST BUILDING SCIENCE SERIES 180

  15. TIP Proposal Preparation Kit Exhibit 3. The NIST-1022 Form, "Proposal Information Sheet".

    E-Print Network [OSTI]

    Magee, Joseph W.

    TIP Proposal Preparation Kit 2010 57 Exhibit 3. The NIST-1022 Form, "Proposal Information Sheet is for NIST to be able to perform the appropriate technical and impact reviews of a TIP proposal the specific set of additional forms needed to meet proposal submission needs. Data entered in the "Family

  16. 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

  17. Apparatus for automated testing of biological specimens

    DOE Patents [OSTI]

    Layne, Scott P. (Los Angeles, CA); Beugelsdijk, Tony J. (Los Alamos, NM)

    1999-01-01T23:59:59.000Z

    An apparatus for performing automated testing of infections biological specimens is disclosed. The apparatus comprise a process controller for translating user commands into test instrument suite commands, and a test instrument suite comprising a means to treat the specimen to manifest an observable result, and a detector for measuring the observable result to generate specimen test results.

  18. University of Massachusetts Amherst Measurement & Verification Guidelines

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    University of Massachusetts Amherst Measurement & Verification Guidelines & Template Plan 11 ..............................................................................................................1 UMASS AMHERST MEASUREMENT & VERIFICATION (M&V) GUIDELINES ..........3 PREFACE ....................................................................................................................................................................3 BENEFITS OF MEASUREMENT & VERIFICATION

  19. Carbon Storage Monitoring, Verification and Accounting Research...

    Office of Environmental Management (EM)

    Monitoring, Verification and Accounting Research Carbon Storage Monitoring, Verification and Accounting Research Reliable and cost-effective monitoring, verification and accounting...

  20. Development of Reconstitution Technology for Surveillance Specimens

    SciTech Connect (OSTI)

    Yasushi Atago; Shunichi Hatano; Eiichiro Otsuka [Japan Power Engineering and Inspection Corporation, KDX Shibadaimon Bldg. 3FL., 10-12, 2-chome Shiba-daimon, Minato-ku, Tokyo, 105-0012 (Japan)

    2002-07-01T23:59:59.000Z

    The Japan Power Engineering and Inspection Corporation (JAPEIC) has been carrying out the project titled 'Nuclear Power Plant Integrated Management Technology (PLIM)' consigned by Japanese Ministry of Economy, Trade and Industry (METI) since 1996FY as a 10-years project. As one of the project themes, development of reconstitution technology for reactor pressure vessel (RPV/RV) surveillance specimens, which are installed in RPVs to monitor the neutron irradiation embrittlement on RPV/RV materials, is now on being carried out to deal with the long-term operation of nuclear power plants. The target of this theme is to establish the technical standard for applicability of reconstituted surveillance specimens including the reconstitution of the Charpy specimens and Compact Tension (CT) specimens. With the Charpy specimen reconstitution, application of 10 mm length inserts is used, which enables the conversion of tests from the LT-direction to the TL-direction. This paper presents the basic data from Charpy and CT specimens of RPV materials using the surveillance specimens obtained for un-irradiated materials including the following. 1) Reconstitution Technology of Charpy Specimens. a) The interaction between plastic zone and Heat Affected Zone (HAZ). b) The effects of the possible deviations from the standard specimens for the reconstituted specimens. 2) Reconstitution Technology of CT specimens. a) The correlation between fracture toughness and plastic zone width. Because the project is now in progress, this paper describes the outline of the results obtained as of the end of 2000 FY. (authors)

  1. Voltage verification unit

    DOE Patents [OSTI]

    Martin, Edward J. (Virginia Beach, VA)

    2008-01-15T23:59:59.000Z

    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.

  2. Verification of RADTRAN

    SciTech Connect (OSTI)

    Kanipe, F.L.; Neuhauser, K.S.

    1995-12-31T23:59:59.000Z

    This document presents details of the verification process of the RADTRAN computer code which was established for the calculation of risk estimates for radioactive materials transportation by highway, rail, air, and waterborne modes.

  3. HYDROCARBON LIQUID FLOW CALIBRATION SERVICE NIST Special Publication 250-1039

    E-Print Network [OSTI]

    Magee, Joseph W.

    HYDROCARBON LIQUID FLOW CALIBRATION SERVICE NIST Special Publication 250-1039 T. T. Yeh, Jess and Technology Laboratory National Institute of Standards and Technology Gaithersburg, MD 20899 #12;Hydrocarbon......................................... 3 4.0 Description of the Hydrocarbon Liquid Flow Standard

  4. NIST Special Publication 800-36 Special Publication 800-36

    E-Print Network [OSTI]

    of Booz Allen Hamilton, wish to express their thanks to the staff at NIST and at Booz Allen Hamilton whoLarnon, and Skip Hirsh of Booz Allen Hamilton, and Shirley Radack and Gene Troy for their extensive review

  5. NIST Priority Action Plan 2 Guidelines for Assessing Wireless Standards for Smart Grid

    E-Print Network [OSTI]

    Magee, Joseph W.

    NIST Priority Action Plan 2 Guidelines for Assessing Wireless Standards for Smart Grid Applications ..................................................................................................................................... 8 3 SMART GRID CONCEPTUAL MODEL AND BUSINESS FUNCTIONAL REQUIREMENTS .................. 13 3.1 SMART GRID CONCEPTUAL REFERENCE DIAGRAMS

  6. Environmental Technology Verification of Mobile Sources Control...

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

    Environmental Technology Verification of Mobile Sources Control Technologies Environmental Technology Verification of Mobile Sources Control Technologies 2005 Diesel Engine...

  7. A House&A LAborAtoryNIST's NEW Home Tests Energy Efficient Technology

    E-Print Network [OSTI]

    s (nisT s) net-Zero energy residential Test facility (nZerTf), located on the grounds of the nisT in gaithersburg, maryland. a net-zero energy home is one that generates as much energy from renewable sources as it uses over the course of a year. we wanted to design a facility where we can demonstrate net-zero energy

  8. Electric Utility Measurement & Verification Program

    E-Print Network [OSTI]

    Lau, K.; Henderson, G.; Hebert, D.

    Electric Utility Measurement & Verification Program Ken Lau, P.Eng., CMVP Graham Henderson, P.Eng., CMVP Dan Hebert, P.Eng.,CMVP Mgr, Measurement & Verification Engineering Team Leader Senior Engineer BC Hydro Burnaby, BC Canada...

  9. MULTIVESSEL BATCH DISTILLATION EXPERIMENTAL VERIFICATION

    E-Print Network [OSTI]

    Skogestad, Sigurd

    MULTIVESSEL BATCH DISTILLATION EXPERIMENTAL VERIFICATION Bernd Wittgens and Sigurd Skogestad 1 The experimental verification of the operation of a multivessel batch distillation column, operated under total vessels, provides a generalization of previously proposed batch distillation schemes. We propose a simple

  10. Nuclear disarmament verification

    SciTech Connect (OSTI)

    DeVolpi, A.

    1993-12-31T23:59:59.000Z

    Arms control treaties, unilateral actions, and cooperative activities -- reflecting the defusing of East-West tensions -- are causing nuclear weapons to be disarmed and dismantled worldwide. In order to provide for future reductions and to build confidence in the permanency of this disarmament, verification procedures and technologies would play an important role. This paper outlines arms-control objectives, treaty organization, and actions that could be undertaken. For the purposes of this Workshop on Verification, nuclear disarmament has been divided into five topical subareas: Converting nuclear-weapons production complexes, Eliminating and monitoring nuclear-weapons delivery systems, Disabling and destroying nuclear warheads, Demilitarizing or non-military utilization of special nuclear materials, and Inhibiting nuclear arms in non-nuclear-weapons states. This paper concludes with an overview of potential methods for verification.

  11. Verification and validation benchmarks.

    SciTech Connect (OSTI)

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01T23:59:59.000Z

    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.

  12. HEATING6 verification

    SciTech Connect (OSTI)

    Bryan, C.B.; Childs, K.W.; Giles, G.E.

    1986-12-01T23:59:59.000Z

    The HEATING series of general purpose, finite-difference, conduction heat transfer codes have been in use for many years. During this time the codes have been used extensively, and a general confidence has been developed in regard to their accuracy. However, there has never been a formal verification in a published, citable document. This report documents just such a verification study for the latest code in the HEATING series, HEATING6. This study confirms that HEATING6 is capable of producing accurate results for a large class of heat transfer problems. 11 refs., 170 figs., 82 tabs.

  13. NIST Center for Nanoscale Science and Technology | 100 Bureau Drive Gaithersburg, MD 20899 www.cnst.nist.gov June 2009 Volume 1, Issue 1

    E-Print Network [OSTI]

    and infrastructure needed to fulfill our mission; to support the development of nanotechnology through research of nanotechnologists, the following NIST Summer Undergraduate Research Fellows are spending June and July participating-art nanofabrication facility, the NanoFab. Our new Energy Research Group is working to devise new metrology tools

  14. Polymer Crystallization at NBS/NIST (1960s-1980s) The earliest studies of the crystallization of polymeric materials at NBS/NIST date back to

    E-Print Network [OSTI]

    Polymer Crystallization at NBS/NIST (1960s-1980s) F. Khoury The earliest studies. Mandelkern on the thermodynamics of the bulk crystallization of polymers. The next sustained studies on the crystallization of polymers encompassing extensive structure/property investigations, followed the seminal papers

  15. Environmental Technology Verification Program

    E-Print Network [OSTI]

    Activities.................4 Table 2.0 Records Management Responsibilities for the MMR CenterEnvironmental Technology Verification Program Quality Management Plan (QMP) for the ETV Materials Management and Remediation Center Version 1.0 #12;QUALITY MANAGEMENT PLAN (QMP) for the ETV MATERIALS

  16. New and Renewal NIST SRMs/RMs NIST SRMs 2216, 2218, and 2219 Miniaturized Charpy V-Notch

    E-Print Network [OSTI]

    there are restrictions on material availability, irradiation, testing space, and other factors. One example is the nuclear industry, which currently fabricates MCVN specimens from larger samples of irradiated reactor's Urine SP260-181 The ABCs of Using Standard Reference Materials in the Analysis of Foods and Dietary

  17. NIST ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted activities represent areas, which are international in scope; US TAG = US Technical Advisory Group)

    E-Print Network [OSTI]

    NIST ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted activities ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted activities-Use Applications and Loads D. Su 772 #12;NIST ITL Participation in Voluntary Standards Developing Organizations

  18. STRESS CORROSION CRACKING IN TEAR DROP SPECIMENS

    SciTech Connect (OSTI)

    Lam, P; Philip Zapp, P; Jonathan Duffey, J; Kerry Dunn, K

    2009-05-01T23:59:59.000Z

    Laboratory tests were conducted to investigate the stress corrosion cracking (SCC) of 304L stainless steel used to construct the containment vessels for the storage of plutonium-bearing materials. The tear drop corrosion specimens each with an autogenous weld in the center were placed in contact with moist plutonium oxide and chloride salt mixtures. Cracking was found in two of the specimens in the heat affected zone (HAZ) at the apex area. Finite element analysis was performed to simulate the specimen fabrication for determining the internal stress which caused SCC to occur. It was found that the tensile stress at the crack initiation site was about 30% lower than the highest stress which had been shifted to the shoulders of the specimen due to the specimen fabrication process. This finding appears to indicate that the SCC initiation took place in favor of the possibly weaker weld/base metal interface at a sufficiently high level of background stress. The base material, even subject to a higher tensile stress, was not cracked. The relieving of tensile stress due to SCC initiation and growth in the HAZ and the weld might have foreclosed the potential for cracking at the specimen shoulders where higher stress was found.

  19. After the definition of Cloud Computing ... What has NIST done in the Cloud space lately? What's next?

    E-Print Network [OSTI]

    After the definition of Cloud Computing ... What has NIST done in the Cloud space lately? What Publication SP 500-292: Cloud Computing Reference Architecture. This document takes the NIST definition of Cloud Computing a step further by expanding the definition into a logical representation of the cloud

  20. Closeout of JOYO-1 Specimen Fabrication Efforts

    SciTech Connect (OSTI)

    ME Petrichek; JL Bump; RF Luther

    2005-10-31T23:59:59.000Z

    Fabrication was well under way for the JOYO biaxial creep and tensile specimens when the NR Space program was canceled. Tubes of FS-85, ASTAR-811C, and T-111 for biaxial creep specimens had been drawn at True Tube (Paso Robles, CA), while tubes of Mo-47.5 Re were being drawn at Rhenium Alloys (Cleveland, OH). The Mo-47.5 Re tubes are now approximately 95% complete. Their fabrication and the quantities produced will be documented at a later date. End cap material for FS-85, ASTAR-811C, and T-111 had been swaged at Pittsburgh Materials Technology, Inc. (PMTI) (Large, PA) and machined at Vangura (Clairton, PA). Cutting of tubes, pickling, annealing, and laser engraving were in process at PMTI. Several biaxial creep specimen sets of FS-85, ASTAR-811C, and T-111 had already been sent to Pacific Northwest National Laboratory (PNNL) for weld development. In addition, tensile specimens of FS-85, ASTAR-811C, T-111, and Mo-47.5 Re had been machined at Kin-Tech (North Huntington, PA). Actual machining of the other specimen types had not been initiated. Flowcharts 1-3 detail the major processing steps each piece of material has experienced. A more detailed description of processing will be provided in a separate document [B-MT(SRME)-51]. Table 1 lists the in-process materials and finished specimens. Also included are current metallurgical condition of these materials and specimens. The available chemical analyses for these alloys at various points in the process are provided in Table 2.

  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. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

    Rev. 10/04 EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________ (Family Name) (First) (Middle Initial) TO BE COMPLETED BY EMPLOYER OR HIRING DEPARTMENT: Employment Department__________________________________________________ Employment Position

  3. Fabrication of specimens with controlled flaws

    SciTech Connect (OSTI)

    Edwards, R.L.; Gruber, G.J.; Watson, P.D. [Southwest Research Inst., San Antonio, TX (United States)

    1995-10-01T23:59:59.000Z

    Most nondestructive evaluation (NDE) codes and standards require that the NDE equipment be calibrated using a calibration block. Ultrasonic testing (UT) historically has required the use of side-drilled or flat-bottom holes or notches. Recent technology has recognized that the acoustic response of real flaws is not directly comparable to artificial reflectors. The need arose to manufacture UT test specimens that contained real flaws of known size, shape, position, and orientation. The 1989 Section XI ASME Code, Appendix VIII (ASME Code, 1989), requires NDE qualification of equipment, procedures, and personnel utilizing full-scale test specimens with actual (real) flaws. The same technology could prove of great benefit to industries other than nuclear, particularly for the fracture mechanics approach to fitness-for-purpose or lifetime-extension programs. This paper describes an approach to the design and fabrication of NDE test specimens with controlled flaws.

  4. X-ray holography of biological specimens

    SciTech Connect (OSTI)

    Solem, J.C.

    1984-01-01T23:59:59.000Z

    The author reviews the reasons for x-ray imaging of biological specimens and the techniques presently being used for x-ray microscopy. The author points out the advantages of x-ray holography and the difficulties of obtaining the requisite coherence with conventional sources. The author discusses the problems of radiation damage and the remarkable fact that short pulse x-ray sources circumvent these problems and obtain high-resolution images of specimens in the living state. Finally, the author reviews some of the efforts underway to develop high-intensity coherent x-ray sources for the laboratory. 14 references, 5 figures, 2 tables.

  5. Thesis: Modeling and Evaluation of the NIST Net Zero Energy Residential Test Facility

    E-Print Network [OSTI]

    Wisconsin at Madison, University of

    Thesis: Modeling and Evaluation of the NIST Net Zero Energy Residential Test Facility Liz Balke M;Motivation The residential sector consumes over 20% of the total energy use in the U.S. Net zero energy in building net zero energy houses grows, there is an increased interest in research into optimal residential

  6. Gas Flowmeter Calibrations with the Working Gas Flow Standard NIST Special Publication 250-80

    E-Print Network [OSTI]

    Gas Flowmeter Calibrations with the Working Gas Flow Standard NIST Special Publication 250-80 John of Standards and Technology U. S. Department of Commerce #12;ii Table of Contents Gas Flowmeter Calibrations with the Working Gas Flow Standard .......................... i Abstract

  7. A Method for the Preparation of NIST Traceable Fossil Fuel Standards with Concentrations

    E-Print Network [OSTI]

    at NIST with high accuracy and precision by isotope dilution thermal ionization mass spectrometry and quality control test samples. Unlike calibrants prepared from high purity components, this method enables Abbreviations M bar Calculated concentration of mixture EDXRF Energy Dispersive X-Ray Fluorescence n number

  8. Iron Based Superconductors Jeffrey W. Lynn, NIST Center for Neutron Research

    E-Print Network [OSTI]

    Lynn, Jeffrey W.

    Iron Based Superconductors Jeffrey W. Lynn, NIST Center for Neutron Research The phenomenon energy without dissipation. Superconductors have other unique properties such as the ability to expel of superconductors based on iron. These iron-based superconductors have initiated a flurry of activity as researchers

  9. September 11, 2012 NIST Key Management Workshop 2012 Secure Key Storage

    E-Print Network [OSTI]

    September 11, 2012 NIST Key Management Workshop 2012 Secure Key Storage and True Random Number Storage via PUFs - Main Idea - Reliability - Randomness -- InstantiationsInstantiations 3. True Random, including side channel resistance Trusted security policy routines Secure and authentic key storage

  10. TIP Proposal Preparation Kit Exhibit 4. The NIST-1022A Form, "Other Joint Venture Members".

    E-Print Network [OSTI]

    Magee, Joseph W.

    TIP Proposal Preparation Kit 2010 61 Exhibit 4. The NIST-1022A Form, "Other Joint Venture Members to identify specific information on each joint venture member (exclud- ing the organization submitting in the organization to be contacted regarding technical portion of the proposal), and Congressional District (home

  11. Security and Verification Provable cryptography

    E-Print Network [OSTI]

    Gregoire, Benjamin - Institut National de Recherche en Informatique et en Automatique, Centre de recherche Sophia Antipolis

    Security and Verification Provable cryptography Benjamin Grgoire1 Tamara Rezk1 1INRIA Sophia Antipolis - Mditerrane, France Cours de Master 2 Univerisit de Nice Sophia-Antipolis Security and Verification 1/ 33 #12;Cryptanalysis-driven Security Propose a cryptographic scheme Wait for someone to come

  12. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15T23:59:59.000Z

    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.

  13. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated CodesTransparencyDOE ProjectCrisisIndependent verification ORISE

  14. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1 SECTION A.Model Verification and Validation Engineering

  15. : runout specimen max : maximum fatigue stress

    E-Print Network [OSTI]

    High Performance Fibre Reinforced Concrete (UHPFRC) layer to concrete bridge deck slab was conceived was drawn without runout specimens .) Figure 6 Fatigue fracture surface of (a) UHPFRC, (b) steel rebar (a influenced by fibre distribution and orientation. Fatigue fracture surface of UHPFRC is similar

  16. TFE Verification Program

    SciTech Connect (OSTI)

    Not Available

    1993-05-01T23:59:59.000Z

    The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a TFE (thermionic fuel element) suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TFE Verification Program builds directly on the technology and data base developed in the 1960s and early 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern.

  17. Learning Minimal Separating DFA's for Compositional Verification

    E-Print Network [OSTI]

    Clarke, Edmund M.

    version is evaluated on the LTSA benchmarks and compared with other automated com- positional verification

  18. Motorized manipulator for positioning a TEM specimen

    DOE Patents [OSTI]

    Schmid, Andreas Karl (Berkeley, CA); Andresen, Nord (Berkeley, CA)

    2010-12-14T23:59:59.000Z

    The invention relates to a motorized manipulator for positioning a TEM specimen holder with sub-micron resolution parallel to a y-z plane and rotating the specimen holder in the y-z plane, the manipulator comprising a base (2), and attachment means (30) for attaching the specimen holder to the manipulator, characterized in that the manipulator further comprises at least three nano-actuators (3.sup.a, 3.sup.b, 3.sup.c) mounted on the base, each nano-actuator showing a tip (4.sup.a, 4.sup.b, 4.sup.c), the at least three tips defining the y-z plane, each tip capable of moving with respect to the base in the y-z plane; a platform (5) in contact with the tips of the nano-actuators; and clamping means (6) for pressing the platform against the tips of the nano-actuators; as a result of which the nano-actuators can rotate the platform with respect to the base in the y-z plane and translate the platform parallel to the y-z plane.

  19. NIST Seeks Input for Planned 2011 Update of Security Control Catalog For Federal Information Systems and Organizations

    E-Print Network [OSTI]

    ; Supply chain security; Industrial/process control systems; and Privacy. NIST SP 80053, Revision 3 Publication 80053, Recommended Security Controls for Federal Information Systems and Organizations webbased access to the security controls for federal information systems and organizations

  20. NIST ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted activities represent areas, which are international in scope.

    E-Print Network [OSTI]

    1 NIST ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted Technical Standards Committee E. Simmon 775 IEC SC3D International Electrotechnical Commission Subcommittee International Electrotechnical Commission Technical Committee 111, Environmental standardization for electrical

  1. White paper of NIST and SG-CG on standardization of Smart Grids White paper on standardization of Smart Grids

    E-Print Network [OSTI]

    task for standardization organizations worldwide. For reference or details see NIST interoperability with international and other relevant national Smart Grids standardization activities. · Do not reinvent the wheel this approach in close collaboration and cooperation with the existing international standardization

  2. Runtime verification for stochastic systems

    E-Print Network [OSTI]

    Wilcox, Cristina M

    2010-01-01T23:59:59.000Z

    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 ...

  3. Software Modeling and Verification Professors

    E-Print Network [OSTI]

    Ábrahám, Erika

    Software Modeling and Verification Staff · Professors Prof. Dr. Ir. Joost-Pieter Katoen Prof. em) Mark Timmer (Uni Twente, NL) Dr. Olga Tveretina (Karlsruhe University, D) Ralf Wimmer (Universität

  4. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

    Rev. 10/04 EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________ (Family Name) (First) (Middle Initial) TO BE COMPLETED BY EMPLOYER OR HIRING DEPARTMENT: Employment Department_ Clemson University ________________________________ Employment Posn Title

  5. First measurements of the flux integral with the NIST-4 watt balance

    E-Print Network [OSTI]

    Haddad, D; Chao, L S; Cao, A; Sineriz, G; Pratt, J R; Newell, D B; Schlamminger, S

    2015-01-01T23:59:59.000Z

    In early 2014, construction of a new watt balance, named NIST-4, has started at the National Institute of Standards and Technology (NIST). In a watt balance, the gravitational force of an unknown mass is compensated by an electromagnetic force produced by a coil in a magnet system. The electromagnetic force depends on the current in the coil and the magnetic flux integral. Most watt balances feature an additional calibration mode, referred to as velocity mode, which allows one to measure the magnetic flux integral to high precision. In this article we describe first measurements of the flux integral in the new watt balance. We introduce measurement and data analysis techniques to assess the quality of the measurements and the adverse effects of vibrations on the instrument.

  6. Isotopic Analysis of Uranium in NIST SRM Glass by Femtosecond Laser Ablation

    SciTech Connect (OSTI)

    Duffin, Andrew M.; Hart, Garret L.; Hanlen, Richard C.; Eiden, Gregory C.

    2013-05-19T23:59:59.000Z

    We employed femtosecond Laser Ablation Multicollector Inductively Coupled Mass Spectrometry for the 11 determination of uranium isotope ratios in a series of standard reference material glasses (NIST 610, 612, 614, and 12 616). This uranium concentration in this series of SRM glasses is a combination of isotopically natural uranium in 13 the materials used to make the glass matrix and isotopically depleted uranium added to increase the uranium 14 elemental concentration across the series. Results for NIST 610 are in excellent agreement with literature values. 15 However, other than atom percent 235U, little information is available for the remaining glasses. We present atom 16 percent and isotope ratios for 234U, 235U, 236U, and 238U for all four glasses. Our results show deviations from the 17 certificate values for the atom percent 235U, indicating the need for further examination of the uranium isotopes in 18 NIST 610-616. Our results are fully consistent with a two isotopic component mixing between the depleted 19 uranium spike and natural uranium in the bulk glass.

  7. Leak detection/verification

    SciTech Connect (OSTI)

    Krhounek, V.; Zdarek, J.; Pecinka, L. [Nuclear Research Institute, Rez (Czech Republic)

    1997-04-01T23:59:59.000Z

    Loss of coolant accident (LOCA) experiments performed as part of a Leak Before Break (LBB) analysis are very briefly summarized. The aim of these experiments was to postulate the leak rates of the coolant. Through-wall cracks were introduced into pipes by fatigue cycling and hydraulically loaded in a test device. Measurements included coolant pressure and temperature, quantity of leaked coolant, displacement of a specimen, and acoustic emission. Small cracks were plugged with particles in the coolant during testing. It is believed that plugging will have no effect in cracks with leak rates above 35 liters per minute. The leak rate safety margin of 10 is sufficient for cracks in which the leak rate is more than 5 liters per minute.

  8. Infrared Thermography Measurements of Window Thermal Test Specimen Surface Temperatures

    E-Print Network [OSTI]

    Infrared Thermography Measurements of Window Thermal Test Specimen Surface Temperatures Brent T Temperatures of Window Specimens: Infrared Thermography Laboratory Measurements Brent T. Griffith1 , Howdy and cold sides, respectively. Surface temperature maps were compiled using an infrared thermographic system

  9. Specimen illumination apparatus with optical cavity for dark field illumination

    DOE Patents [OSTI]

    Pinkel, Daniel (Walnut Creek, CA); Sudar, Damir (Walnut Creek, CA); Albertson, Donna (Lafayette, CA)

    1999-01-01T23:59:59.000Z

    An illumination apparatus with a specimen slide holder, an illumination source, an optical cavity producing multiple reflection of illumination light to a specimen comprising a first and a second reflective surface arranged to achieve multiple reflections of light to a specimen is provided. The apparatus can further include additional reflective surfaces to achieve the optical cavity, a slide for mounting the specimen, a coverslip which is a reflective component of the optical cavity, one or more prisms for directing light within the optical cavity, antifading solutions for improving the viewing properties of the specimen, an array of materials for analysis, fluorescent components, curved reflective surfaces as components of the optical cavity, specimen detection apparatus, optical detection equipment, computers for analysis of optical images, a plane polarizer, fiberoptics, light transmission apertures, microscopic components, lenses for viewing the specimen, and upper and lower mirrors above and below the specimen slide as components of the optical cavity. Methods of using the apparatus are also provided.

  10. Generation of RTL verification input stimulus

    E-Print Network [OSTI]

    Selvarathinam, Anand Manivannan

    2001-01-01T23:59:59.000Z

    This thesis presents an approach for generating input stimulus for verification of register-transfer level (RTL) design of VLSI circuits. RTL design is often subjected to a significant verification effort due to errors introduced during manual...

  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-01T23:59:59.000Z

    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. Apparatus and method for magnetically processing a specimen

    DOE Patents [OSTI]

    Ludtka, Gerard M; Ludtka, Gail M; Wilgen, John B; Kisner, Roger A; Jaramillo, Roger A

    2013-09-03T23:59:59.000Z

    An apparatus for magnetically processing a specimen that couples high field strength magnetic fields with the magnetocaloric effect includes a high field strength magnet capable of generating a magnetic field of at least 1 Tesla and a magnetocaloric insert disposed within a bore of the high field strength magnet. A method for magnetically processing a specimen includes positioning a specimen adjacent to a magnetocaloric insert within a bore of a magnet and applying a high field strength magnetic field of at least 1 Tesla to the specimen and to the magnetocaloric insert. The temperature of the specimen changes during the application of the high field strength magnetic field due to the magnetocaloric effect.

  14. High heat flux testing of a two-tube copper panel specimen for LLNL at ASURF

    SciTech Connect (OSTI)

    Easoz, J.R.; Sink, D.A.

    1984-12-01T23:59:59.000Z

    This letter documents the results of the test program conducted for Lawrence Livermore National Laboratory (LLNL) by Westinghouse Advanced Energy Systems Division (AESD) in fulfillment of the Third Amendment to Subcontract 9125401. The original test matrix of 20,000 heating cycles on two test articles called for in the contract was not technically feasible due to the inability of the test articles supplied by LLNL to perform successfully at the required test conditions. Burnout occurred in one of the tubes of a two-tube target during the first series of tests. As a result, the work scope was changed by LLNL such that the tests on the milled copper plate panel specimen were replaced by a second set of heating tests on the second tube of the two-tube copper panel specimen to confirm the conditions for burnout failure. The testing requirements were completed following failure of the second tube at nominally identical conditions under which the first tube failed, and verification of these conditions. This letter completes all contractual obligations by serving as the final report on the test program.

  15. Functional Verification through Operation Diagnostics

    E-Print Network [OSTI]

    Burgoyne, B.

    ICEBO'11 Abstract Burgoyne 110328.docx Page 1 of 1 ? Ebert & Baumann Consulting Engineers, Inc. A B S T R A C T ICEBO 2011 New York City March 28, 2011 Functional Verification through Operation Diagnostics One of the core objectives... of actual operation produces the most accurate results. This is accomplished through trend logging. With analysis of regularly recorded control point data through visualization (including graphs, charts, etc.), a quick and accurate diagnosis of incorrect...

  16. NVLAP LAB CODE: NIST HANDBOOK 150-20 CHECKLIST (REV. 2005-10-21) PAGE 1 OF 15

    E-Print Network [OSTI]

    of this checklist. 3 Accreditation process 3.2 Initial accreditation _____ 3.2.2 The management system documentation shall be kept of all management system activities. 4.3 Document Control Use NIST H-20 CHECKLIST Information Technology Security Testing Common Criteria Instructions to the Assessor

  17. ASHRAE/NIST Refrigerants Conference International concerns about the impact of refrigerants on climate change drive the

    E-Print Network [OSTI]

    Ginzel, Matthew

    ASHRAE/NIST Refrigerants Conference International concerns about the impact of refrigerants on climate change drive the need to look at new cooling and refrigeration options that are sustainable" refrigerants through papers, presentations and panel discussions. This is the fourth jointly sponsored

  18. NIST ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted activities represent areas, which are international in scope.

    E-Print Network [OSTI]

    1 NIST ITL Participation in Voluntary Standards Developing Organizations (Key: Highlighted Quality and Statistics C.M. Wang 898 ASTM E-21 Color and Appearance A. Aviles 898 BioAPI Consortium Biometric Application Programming Interface (API) Consortium F. Podio 893 HIMSS/IHE Healthcare Information

  19. Dear NIST CCC Supporters, Parents and Alumni, Congress appropriated $7.2M in 2009 to build a new child

    E-Print Network [OSTI]

    Magee, Joseph W.

    child care center. Construction is under way and the targeted completion date is November 2011 that it will cost $235K to out fit the new center. We ask for your support at this critical time to enable us Card: Go to http://www.nist.gov/ccc/index.cfm & click "Donate Now". Please include your email so we can

  20. DRAFT Measurement Science for Complex Information Systems http://www.nist.gov/itl/antd/emergent_behavior.cfm

    E-Print Network [OSTI]

    DRAFT Measurement Science for Complex Information Systems http://www.nist.gov, "Cisco routers caused major outage in Japan", Network World, May 16, 2007. [8] J. Cowie, "China's 18-Minute Mystery" Renesys Blog, November 18, 2010. http://www.renesys.com/blog/2010/11/chinas-18-minute

  1. Verification Challenges at Low Numbers

    SciTech Connect (OSTI)

    Benz, Jacob M.; Booker, Paul M.; McDonald, Benjamin S.

    2013-06-01T23:59:59.000Z

    Many papers have dealt with the political difficulties and ramifications of deep nuclear arms reductions, and the issues of Going to Zero. Political issues include extended deterrence, conventional weapons, ballistic missile defense, and regional and geo-political security issues. At each step on the road to low numbers, the verification required to ensure compliance of all parties will increase significantly. Looking post New START, the next step will likely include warhead limits in the neighborhood of 1000 . Further reductions will include stepping stones at1000 warheads, 100s of warheads, and then 10s of warheads before final elimination could be considered of the last few remaining warheads and weapons. This paper will focus on these three threshold reduction levels, 1000, 100s, 10s. For each, the issues and challenges will be discussed, potential solutions will be identified, and the verification technologies and chain of custody measures that address these solutions will be surveyed. It is important to note that many of the issues that need to be addressed have no current solution. In these cases, the paper will explore new or novel technologies that could be applied. These technologies will draw from the research and development that is ongoing throughout the national laboratory complex, and will look at technologies utilized in other areas of industry for their application to arms control verification.

  2. 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

  3. Employment Verifications Requests for verification of title and dates of employment for Harvard staff are

    E-Print Network [OSTI]

    Paulsson, Johan

    Employment Verifications Requests for verification of title and dates of employment for Harvard information during the verification process. Need Proof of Employment? Give the person needing proof of your employment the following information: Your Social Security Number Harvard University Employer Code: 14392

  4. The reconstitution of Charpy-size tensile specimens

    SciTech Connect (OSTI)

    Ransbeeck, T. van; Walle, E. van; Fabry, A.; Puzzolante, J.L.; Velde, J. van de [SCK-CEN, Mol (Belgium)

    1996-12-31T23:59:59.000Z

    Charpy-size tensile specimens have been reconstituted starting from broken Charpy specimens. Precautions have been taken to prevent fracture in the weld regions of the reconstituted specimens. Careful qualification of the tensile properties of the reconstituted tensile bars has been established and is in agreement with test results on ASTM/E8-size tensile specimens. The tensile properties of the unirradiated weld material of the Belgian PWR Doel 2 and of the unirradiated base metal of the German BWR Philippsburg 1 have been determined using this methodology. Both the resulting yield and maximum loads are in agreement with the actual expectations. Qualification to apply the technique on irradiated specimens is in preparation.

  5. EMERGING RENEWABLES PROGRAM SYSTEMS VERIFICATION REPORT

    E-Print Network [OSTI]

    survey that measured customer experience in applying to the ERP, receiving utility interconnection, renewable energy, shading, solar, system performance, system verification, utility interconnection, wind #12

  6. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    NONE

    1998-12-01T23:59:59.000Z

    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.

  7. Verification and Validation of Facilities Procedures Assessment...

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

    Verification and Validation of Facilities Procedures Assessment Plan NNSANevada Site Office Independent Oversight Division Performance Objective: The purpose of this assessment is...

  8. DOE Zero Energy Ready Home Verification...

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

    Zero Energy Ready Home Verification Summary DRAFT REMRate - Residential Energy Analysis and Rating Software v14.5.1 This information does not constitute any warranty of energy...

  9. Assessment of Evaluation, Measurement, and Verification Methods...

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

    smart meters, devices, and analytics to enable the delivery of streamlined measurement and verification (M&V) that reduces cost while increasing the speed and accuracy of...

  10. Reviewing Measurement and Verification Plans for Federal ESPC...

    Office of Environmental Management (EM)

    Measurement and Verification Plans for Federal ESPC Projects Reviewing Measurement and Verification Plans for Federal ESPC Projects Document provides a framework for implementing...

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

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

    More Documents & Publications Introduction to Measurement & Verification for DOE Super ESPC Projects Introduction to Measurement and Verification for DOE Super ESPC Projects DRAFT...

  12. ENERGY STAR Test Procedures and Verification | Department of...

    Energy Savers [EERE]

    ENERGY STAR ENERGY STAR Test Procedures and Verification ENERGY STAR Test Procedures and Verification The Department of Energy (DOE) is the lead agency in the development and...

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

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

    M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 3.0) Draft M&V Guidelines: Measurement and Verification for Federal Energy Projects...

  14. 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...

  15. Measurement and Verification Plan and Savings Calculations Methods...

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

    Measurement and Verification Plan and Savings Calculations Methods Outline (IDIQ Attachment J-8) Measurement and Verification Plan and Savings Calculations Methods Outline (IDIQ...

  16. ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITH MTCONNECT

    E-Print Network [OSTI]

    Vijayaraghavan, Athulan; Dornfeld, David; Artisanal Software; Remmele Engineering Inc.

    2009-01-01T23:59:59.000Z

    Surfaces in the Cybercut Process Planning Pipeline, Trans.ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITHInc. Big Lake, MN KEYWORDS Process planning verification,

  17. RELAP5 Application to Accident Analysis of the NIST Research Reactor

    SciTech Connect (OSTI)

    Baek, J.; Cuadra Gascon, A.; Cheng, L.Y.; Diamond, D.

    2012-03-18T23:59:59.000Z

    Detailed safety analyses have been performed for the 20 MW D{sub 2}O moderated research reactor (NBSR) at the National Institute of Standards and Technology (NIST). The time-dependent analysis of the primary system is determined with a RELAP5 transient analysis model that includes the reactor vessel, the pump, heat exchanger, fuel element geometry, and flow channels for both the six inner and twenty-four outer fuel elements. A post-processing of the simulation results has been conducted to evaluate minimum critical heat flux ratio (CHFR) using the Sudo-Kaminaga correlation. Evaluations are performed for the following accidents: (1) the control rod withdrawal startup accident and (2) the maximum reactivity insertion accident. In both cases the RELAP5 results indicate that there is adequate margin to CHF and no damage to the fuel will occur because of sufficient coolant flow through the fuel channels and the negative scram reactivity insertion.

  18. Formal Specification and Verification of Concurrent

    E-Print Network [OSTI]

    Berry, Daniel M.

    Formal Specification and Verification of Concurrent ProgramsCurriculum Module SEI-CM-27-1.0 #12;Formal Specification and Verification of Concurrent Programs SEI Curriculum Module SEI-CM-27-1.0 February 1993 Daniel M. Berry Technion and Software Engineering Institute Software Engineering Institute

  19. 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-09T23:59:59.000Z

    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.

  20. Department of Computer Science AUTOMATIC VERIFICATION OF

    E-Print Network [OSTI]

    Oxford, University of

    Department of Computer Science AUTOMATIC VERIFICATION OF COMPETITIVE STOCHASTIC SYSTEMS Taolue Chen Automatic verification techniques for probabilistic systems have been success- fully applied in a variety systems also exhibit non- deterministic behaviour, e.g. due to concurrency, underspecification or control

  1. Verification after Synthesis Alan Mishchenko Robert Brayton

    E-Print Network [OSTI]

    Brayton, Robert K.

    in verification based on BDDs, SAT, and AIGs (And-Inverter Graphs), these results do not readily transfer to large are necessary to advance both synthesis and verification. We propose a methodology for scalable sequential it by a functionally equivalent one (up to complementation of outputs). (2) Retiming changes the positions of one

  2. A Verification Platform System on Chip

    E-Print Network [OSTI]

    Melham, Tom

    A Verification Platform for System on Chip Kong Woei Susanto A Dissertation submitted a platform based design method, called a system integration platform. In this design methodology, a system specifications. Subsequently, a similar platform can be constructed for formal verification. Every component

  3. Technical Documentation and Verification for the

    E-Print Network [OSTI]

    PNNL-15202 Technical Documentation and Verification for the Buildings Module in the Visual Sample://www.ntis.gov/ordering.htm This document was printed on recycled paper. (9/2003) #12;PNNL-15202 Technical Documentation and Verification ...................................................................... 1 2.0 Documentation of Statistical Methods and Computations

  4. Safeguarding Health Information: Building Assurance through HIPAA Security Hosted by the HHS Office for Civil Rights (OCR) and the National Institute of Standards and Technology (NIST)

    E-Print Network [OSTI]

    1 Safeguarding Health Information: Building Assurance through HIPAA Security Hosted by the HHS, Acting Chief, Computer Security Division, Information Technology Laboratory (ITL), NIST 9 Data Using Encryption Matthew Scholl, Computer Security Division, Information Technology Laboratory

  5. NIST HANDBOOK 150-23 CHECKLIST (REV. 2010-04-13) PAGE 1 OF 11 Enter Date: Enter NVLAP Lab Code

    E-Print Network [OSTI]

    : NIST HANDBOOK 150-23 CHECKLIST RADIATION DETECTION INSTRUMENTS Instructions to the Assessor for potential improvements in the testing of radiation detection instruments used for homeland security. #12) radiation detection instrument models and design specifications for those inst

  6. University of Connecticut Daily Temperature Log Specimen Refrigerator Log

    E-Print Network [OSTI]

    Oliver, Douglas L.

    University of Connecticut Daily Temperature Log Specimen Refrigerator Log Month / Year Clinical ___ Fac. Mgmt. Resolution: 31 ___ Fac. Mgmt. Resolution: If the refrigerator temperature falls out refrigerator. This record must be kept for one year and then destroyed per State requirement

  7. Ultra high vacuum heating and rotating specimen stage

    DOE Patents [OSTI]

    Coombs, A.W. III

    1995-05-02T23:59:59.000Z

    A heating and rotating specimen stage provides for simultaneous specimen heating and rotating. The stage is ideally suited for operation in ultrahigh vacuum (1{times}10{sup {minus}9} torr or less), but is useful at atmosphere and in pressurized systems as well. A specimen is placed on a specimen holder that is attached to a heater that, in turn, is attached to a top housing. The top housing is rotated relative to a bottom housing and electrically connected thereto by electrically conductive brushes. This stage is made of materials that are compatible with UHV, able to withstand high temperatures, possess low outgassing rates, are gall and seize resistant, and are able to carry substantial electrical loading without overheating. 5 figs.

  8. Ultra high vacuum heating and rotating specimen stage

    DOE Patents [OSTI]

    Coombs, III, Arthur W. (Patterson, CA)

    1995-01-01T23:59:59.000Z

    A heating and rotating specimen stage provides for simultaneous specimen heating and rotating. The stage is ideally suited for operation in ultrahigh vacuum (1.times.10.sup.-9 torr or less), but is useful at atmosphere and in pressurized systems as well. A specimen is placed on a specimen holder that is attached to a heater that, in turn, is attached to a top housing. The top housing is rotated relative to a bottom housing and electrically connected thereto by electrically conductive brushes. This stage is made of materials that are compatible with UHV, able to withstand high temperatures, possess low outgassing rates, are gall and seize resistant, and are able to carry substantial electrical loading without overheating.

  9. Experimental deformation of multilithologic specimens simulating sedimentary facies changes

    E-Print Network [OSTI]

    Dyke, Lawrence Dana

    1976-01-01T23:59:59.000Z

    EXPERIMENTAL DEFORMATION OF MULTILITHOLOGIC SPECIMENS SIMULATING SEDIMENTARY FACIES CHANGES A Thesis by LAWRENCE DANA DYKE Submitted to the Graduate College of Texas A&M University in partial fulfillment of the requirement for the degree... of MASTER OF SCIENCE December 1976 Major Subject: Geology EXPERIMENTAL DEFORMATION OF MULTILITHOLOGIC SPECIMENS SIMULATING SEDIMENTARY FACIES CHANGES A Thesis by LAWRENCE DANA DYKE Approved as to style and content by: (Chai n Committee) (Head...

  10. Experimental deformation of multilithologic specimens simulating sedimentary facies changes

    E-Print Network [OSTI]

    Dyke, Lawrence Dana

    1976-01-01T23:59:59.000Z

    EXPERIMENTAL DEFORMATION OF MULTILITHOLOGIC SPECIMENS SIMULATING SEDIMENTARY FACIES CHANGES A Thesis by LAWRENCE DANA DYKE Submitted to the Graduate College of Texas A&M University in partial fulfillment of the requirement for the degree... of MASTER OF SCIENCE December 1976 Major Subject: Geology EXPERIMENTAL DEFORMATION OF MULTILITHOLOGIC SPECIMENS SIMULATING SEDIMENTARY FACIES CHANGES A Thesis by LAWRENCE DANA DYKE Approved as to style and content by: (Chai n Committee) (Head...

  11. Term-Level Verification of a Pipelined CISC Microprocessor

    E-Print Network [OSTI]

    Term-Level Verification of a Pipelined CISC Microprocessor Randal E. Bryant December, 2005 CMU verification, Microprocessor verification, UCLID #12;Abstract By abstracting the details of the data representations and operations in a microprocessor, term-level verification can formally prove that a pipelined

  12. TermLevel Verification of a Pipelined CISC Microprocessor

    E-Print Network [OSTI]

    Term­Level Verification of a Pipelined CISC Microprocessor Randal E. Bryant December, 2005 CMU verification, Microprocessor verification, UCLID #12; Abstract By abstracting the details of the data representations and operations in a microprocessor, term­level verification can formally prove that a pipelined

  13. 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

  14. 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

  15. Example Measurement & Verification Plan for a Super ESPC Project

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

    REPORTING FOR VERIFICATION ACTIVITIES ... 5 2.4 OPERATIONS, PREVENTIVE MAINTENANCE, REPAIR, AND REPLACEMENT REPORTING REQUIREMENTS...

  16. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA Approved:AdministrationAnalysisDarby/%2A en NGSI Safeguards by Design

  17. The Mechanized Verification of Garbage Collector Implementations

    E-Print Network [OSTI]

    Abstract The Mechanized Verification of Garbage Collector Implementations Andrew Evan Mc complex, requiring a garbage collector. Garbage collectors are becoming increasingly sophis- ticated to adapt them to high-performance, concurrent and real-time applications, making internal collector

  18. Runtime verification of object lifetime specifications

    E-Print Network [OSTI]

    Benjamin, Zev (Zev A.)

    2009-01-01T23:59:59.000Z

    This thesis reports on the implementation of a runtime verification system for object lifetime specifications. This system is used to explore and evaluate the expressiveness object lifetime specifications. Object lifetime ...

  19. Infrared Temperature Sensing of Mechanically Loaded Specimens: Thermal Analysis

    E-Print Network [OSTI]

    Rabin, Yoed

    , not the instantaneous effect of heating within a single loading cycle. KEY WORDS--Infrared, temperature measurement, meInfrared Temperature Sensing of Mechanically Loaded Specimens: Thermal Analysis by Y. Rabin and D. Rittel ABSTRACT--Infrared temperature-sensing techniques have the major advantages of virtually

  20. Computer Science Specimen Curriculum City University Hong Kong, China

    E-Print Network [OSTI]

    Simaan, Nabil

    Computer Science Specimen Curriculum City University Hong Kong, China Spring Semester Junior Year Communications 3 CS 3103 (CS 281) Operating Systems Principles 3 CS 250 Algorithms 3 CS DEPTH Computer Science Depth 6 CS 270 Programming Languages 3 LAC Liberal Arts Core 3 CS DEPTH Computer Science Depth 3 15 LAC

  1. Computer Science Specimen Curriculum City University Hong Kong, China

    E-Print Network [OSTI]

    Simaan, Nabil

    Computer Science Specimen Curriculum City University Hong Kong, China Fall Semester Junior Year) Algorithms 3 CS 281 Operating System Principles 3 OPEN ELEC Open Elective 3 CS PROJ Computer Science Project 3 CS DEPTH Computer Science Depth 3 CS DEPTH Computer Science Depth 3 LAC Liberal Arts Core 3 LAC

  2. Computer Science Specimen Curriculum National University of Singapore

    E-Print Network [OSTI]

    Simaan, Nabil

    Computer Science Specimen Curriculum National University of Singapore Fall Semester Junior Year Science Project 3 CS DEPTH Computer Science Depth 3 CS DEPTH Computer Science Depth 3 LAC Liberal Arts MATH ELEC Math Elective 3 CS DEPTH Computer Science Depth 6 CS DEPTH Computer Science Depth 6 OPEN ELEC

  3. Detection of Macrosegregation in a Large Metallic Specimen Using XRF

    E-Print Network [OSTI]

    Cambridge, University of

    Detection of Macrosegregation in a Large Metallic Specimen Using XRF E.J. Pickeringa , M. Hollandb the removal of significant quantitites of material. X-ray fluorescence (XRF) spectroscopy, on the other hand being enclosed in a vacuum or destroyed beyond basic surface preparation. XRF spectroscopy has its

  4. Apparatus for tensile testing plate-type ceramic specimens

    DOE Patents [OSTI]

    Liu, K.C.

    1993-08-24T23:59:59.000Z

    Apparatus is described for gripping a plate-type tensile specimen having generally T-shaped end regions in a dynamic tension fatigue testing apparatus comprising an annular housing having an open-ended elongated cavity therein, a plurality of hydraulic piston means supported by the housing in a spaced array about the cavity, and a specimen-supporting plate means overlying the piston means at one end of the elongated cavity and displaceable by said piston means in a longitudinal direction with respect to the longitudinal axis of the cavity, said apparatus for gripping a flat plate-type tensile specimen comprising: a pair of elongated pull rods each having oppositely disposed first and second end regions; a pair of mounting means carried by said plate means with each mounting means for pivotally attaching the first end region of each of said pull rods in a central region of said plate means for supporting said pair of elongated pull rods in a side-by-side relationship along a common longitudinal centerline within said cavity; recess means in the second end region of each of said pull rods in adjacently disposed surface regions thereof with said recess means facing one another and each adapted to receive one side of one of the generally T-shaped end regions of the plate-type tensile specimen; and load-bearing means positionable in each of said recess means and adapted to bear against a shoulder on each side of the generally T-shaped end region of the plate-type tensile specimen when a tensile loading is applied thereon.

  5. Monitoring and verification R&D

    SciTech Connect (OSTI)

    Pilat, Joseph F [Los Alamos National Laboratory; Budlong - Sylvester, Kory W [Los Alamos National Laboratory; Fearey, Bryan L [Los Alamos National Laboratory

    2011-01-01T23:59:59.000Z

    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.

  6. Accident Analysis for the NIST Research Reactor Before and After Fuel Conversion

    SciTech Connect (OSTI)

    Baek J.; Diamond D.; Cuadra, A.; Hanson, A.L.; Cheng, L-Y.; Brown, N.R.

    2012-09-30T23:59:59.000Z

    Postulated accidents have been analyzed for the 20 MW D2O-moderated research reactor (NBSR) at the National Institute of Standards and Technology (NIST). The analysis has been carried out for the present core, which contains high enriched uranium (HEU) fuel and for a proposed equilibrium core with low enriched uranium (LEU) fuel. The analyses employ state-of-the-art calculational methods. Three-dimensional Monte Carlo neutron transport calculations were performed with the MCNPX code to determine homogenized fuel compositions in the lower and upper halves of each fuel element and to determine the resulting neutronic properties of the core. The accident analysis employed a model of the primary loop with the RELAP5 code. The model includes the primary pumps, shutdown pumps outlet valves, heat exchanger, fuel elements, and flow channels for both the six inner and twenty-four outer fuel elements. Evaluations were performed for the following accidents: (1) control rod withdrawal startup accident, (2) maximum reactivity insertion accident, (3) loss-of-flow accident resulting from loss of electrical power with an assumption of failure of shutdown cooling pumps, (4) loss-of-flow accident resulting from a primary pump seizure, and (5) loss-of-flow accident resulting from inadvertent throttling of a flow control valve. In addition, natural circulation cooling at low power operation was analyzed. The analysis shows that the conversion will not lead to significant changes in the safety analysis and the calculated minimum critical heat flux ratio and maximum clad temperature assure that there is adequate margin to fuel failure.

  7. 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

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

    Office of Environmental Management (EM)

    M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 3.0) M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 3.0)...

  9. A Tutorial on Text-Independent Speaker Verification

    E-Print Network [OSTI]

    Bimbot, Frederic

    This paper presents an overview of a state-of-the-art text-independent speaker verification system. First, an introduction proposes a modular scheme of the training and test phases of a speaker verification system. Then, ...

  10. 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

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

    E-Print Network [OSTI]

    Zee, Karen K

    2010-01-01T23:59:59.000Z

    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 ...

  12. Measurement and Verification for Commissioning Projects: Challenges and Opportunities

    E-Print Network [OSTI]

    Heinemeier, K.

    2005-01-01T23:59:59.000Z

    ESL-IC-10/05-49 1 Measurement and Verification for Commissioning Projects: Challenges and Opportunities Kristin Heinemeier, Ph.D., P.E. Portland Energy Conservation, Inc., Sacramento CA Measurement and Verification (M&V) is a key...

  13. Draft M&V Guidelines: Measurement and Verification for Federal...

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

    Draft M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 4.0) Draft M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version...

  14. Shared Signals: Using Existing Facility Meters for Energy Savings Verification

    E-Print Network [OSTI]

    McBride, J. R.; Bohmer, C. J.; Price, S. D.; Carlson, K.; Lopez, J.

    of metering. Facility engineers wonder whether existing meters can be used for savings verification purposes. They want to know whether an existing energy management and control system (EMCS) can serve double duty and be used for savings verification... an existing EMCS for energy savings verification purposes is even more complex. While at first glance the idea of using an existing EMCS for energy savings verification purposes seems absolutely reasonable, the practicality of the situation must...

  15. Plug-and-Play Architectural Design and Verification

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    uses finite-state verification techniques (e.g., SPIN [17], SMV [19], LTSA [22], FLAVERS [10]) to check

  16. Active alignment/contact verification system

    DOE Patents [OSTI]

    Greenbaum, William M. (Modesto, CA)

    2000-01-01T23:59:59.000Z

    A system involving an active (i.e. electrical) technique for the verification of: 1) close tolerance mechanical alignment between two component, and 2) electrical contact between mating through an elastomeric interface. For example, the two components may be an alumina carrier and a printed circuit board, two mating parts that are extremely small, high density parts and require alignment within a fraction of a mil, as well as a specified interface point of engagement between the parts. The system comprises pairs of conductive structures defined in the surfaces layers of the alumina carrier and the printed circuit board, for example. The first pair of conductive structures relate to item (1) above and permit alignment verification between mating parts. The second pair of conductive structures relate to item (2) above and permit verification of electrical contact between mating parts.

  17. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect (OSTI)

    YANOCHKO, R.M.

    2000-01-27T23:59:59.000Z

    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).

  18. ?A cylindrical specimen holder for electron cryo-tomography

    E-Print Network [OSTI]

    Palmer, Colin Michael

    2013-03-12T23:59:59.000Z

    . . . . . . . . . . . . . . . . . . . . . . . . . 57 3.6 Characterisation of carbon nanopipettes . . . . . . . . . . . . . . . . 59 3.7 Discussion of the manufacturing process . . . . . . . . . . . . . . . . 63 4 Cryo-tomography 67 4.1 Specimen preparation I... . . . . . . . . . . . . . . . . . 60 3.7 Elemental maps and longitudinal EDX linescan of a carbon nanopipette 61 3.8 Transverse EDX linescan of a carbon nanopipette . . . . . . . . . . . 62 4.1 Transmission electron micrograph of a blocked carbon nanopipette tip 68 4.2 A carbon...

  19. Software Verification and Testing Lecture Notes: Testing I

    E-Print Network [OSTI]

    Struth, Georg

    of Testing Methods dynamic testing: software component is executed with concrete input values (in a realSoftware Verification and Testing Lecture Notes: Testing I #12;Motivation verification: · powerful · automated techniques rather limited testing: (as "poor man's verification") · can only detect presence

  20. 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

  1. 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

  2. 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

  3. Fuel Retrieval System Design Verification Report

    SciTech Connect (OSTI)

    GROTH, B.D.

    2000-04-11T23:59:59.000Z

    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).

  4. Measurement and Verification (M&V)

    E-Print Network [OSTI]

    Masuda, H

    2014-01-01T23:59:59.000Z

    5. Continuous Commissioning Measures 6. Measurement and Verification 2 ESL-KT-14-11-39 CATEE 2014: Clean Air Through Efficiency Conference, Dallas, Texas Nov. 18-20 Measurement and Verification (M&V) Joseph T. Martinez, PCC Carlos Yagua, PE Hiroko...Workshop on the Continuous Commissioning Process Joseph T. Martinez, PCC Carlos Yagua, PE Hiroko Masuda, Juan-Carlos Baltazar, PhD, PE Ahmet Ugursal, PhD Clean Air Through Energy Efficiency (CATEE) Conference, Dallas, Texas. November 18, 2014...

  5. A summary of the Planck constant measurements using a watt balance with a superconducting solenoid at NIST

    E-Print Network [OSTI]

    Schlamminger, S; Haddad, D; Newell, D B; Seifert, F; Chao, L S; Liu, R; Williams, E R; Pratt, J R

    2015-01-01T23:59:59.000Z

    Researchers at the National Institute of Standards and Technology have been using a watt balance, NIST-3, to measure the Planck constant $h$ for over ten years. Two recently published values disagree by more than one standard uncertainty. The motivation for the present manuscript is twofold. First, we correct the latest published number to take into account a recently discovered systematic error in mass dissemination at the Bureau International des Poids et Mesures (BIPM). Second, we provide guidance on how to combine the two numbers into one final result. In order to adequately reflect the discrepancy, we added an additional systematic uncertainty to the published uncertainty budgets. The final value of $h$ measured with NIST-3 is $h = 6.626\\,069\\,36(37)\\times 10^{-34}\\,\\mbox{J\\,s}$. This result is $77(57) \\times 10^{-9}$ fractionally higher than $h_{\\mathrm{90}}$. Each number in parentheses gives the value of the standard uncertainty in the last two digits of the respective value and $h_{\\mathrm{90}}$ is th...

  6. EXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF

    E-Print Network [OSTI]

    Skogestad, Sigurd

    - ponent mixtures can be separated into a number of product fractions, whereas in continuous distillationEXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF CONTINUOUS AND MULTIVESSEL BATCH DISTILLATION to the paper "Evaluation of Dynamic Models of Distillation Columns with Emphasis on the Initial Response

  7. SAVCBS 2003 Specification and Verification of

    E-Print Network [OSTI]

    Leavens, Gary T.

    ://www.cs.iastate.edu/SAVCBS/ September 1-2, 2003 Helsinki, Finland Workshop at ESEC/FSE 2003 9th European Software Engineering ConferenceSAVCBS 2003 Specification and Verification of Component-Based Systems ESEC/FSE 2003 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering

  8. SOCIAL SECURITY NUMBER AND NAME VERIFICATION

    E-Print Network [OSTI]

    Amin, S. Massoud

    SOCIAL SECURITY NUMBER AND NAME VERIFICATION Academic Year 20142015 *FA552-A* Please recycle. DIRECTIONS--You must verify your name and Social Security number for processing of your 20142015 Free Application for Federal Student Aid (FAFSA) to continue. Please attach a legible copy of your Social Security

  9. SOCIAL SECURITY NUMBER AND NAME VERIFICATION

    E-Print Network [OSTI]

    Amin, S. Massoud

    SOCIAL SECURITY NUMBER AND NAME VERIFICATION Academic Year 20132014 *FA552-A* Please recycle. DIRECTIONS--You must verify your name and Social Security number for processing of your 20132014 Free Application for Federal Student Aid (FAFSA) to continue. Please attach a legible copy of your Social Security

  10. Machine Learning for Signature Verification Harish Srinivasan

    E-Print Network [OSTI]

    types of learning to be accomplished. In the first, the training set consists of genuines and forgeriesMachine Learning for Signature Verification Harish Srinivasan , Sargur N. Srihari and Matthew J it can be viewed as one that involves machine learning from a population of signatures. There are two

  11. Formal Verification of Hybrid Systems Rajeev Alur

    E-Print Network [OSTI]

    Alur, Rajeev

    -1-4503-0714-7/11/10 ...$5.00. mathematical model for design of embedded control systems is hybrid systems that combines for dynamical systems. Such models can capture both the controller -- the system under design, and the plant@cis.upenn.edu ABSTRACT In formal verification, a designer first constructs a model, with mathematically precise semantics

  12. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

    Smith, Curtis L [Idaho National Laboratory; Choi, Yong-Joon [Idaho National Laboratory; Zou, Ling [Idaho National Laboratory

    2014-09-01T23:59:59.000Z

    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) processa set of specially designed software models used to test RELAP-7.

  13. IEA W-GIFT-6 SMALL SPECIMEN TEST TECHNIQUE

    E-Print Network [OSTI]

    McDonald, Kirk

    IEA W-GIFT-6 SMALL SPECIMEN TEST TECHNIQUE UNDER IFMIF/EVEDA PROJECT OF BA FOR FATIGUE AND FRACTURE,t[%] Number of cycles to failure, Nf F82H-IEA HG-1.25 HG-1.25 (Hirose, Kim) RB-1 RB-7 RB-4, -7 RB-7, -10 of cycles to failure, Nf JLF-1 HG-1.25 HG-1.25 HG-6 (Hirose) RB-1 RB-8 (Nishimura&Li) F82H-IEA (Grain size

  14. A Search for Channel Deformation in Irradiated Vanadium Tensile Specimens

    SciTech Connect (OSTI)

    Gelles, David S.; Toloczko, Mychailo B.; Kurtz, Richard J.

    2010-02-26T23:59:59.000Z

    A miniature tensile specimen of V-4Cr-4Ti which had be irradiated in the 17J test at 425C to 3.7 dpa was mechanically polished, deformed to 3.9% strain at room temperature, and examined by scanning and transmission electron microscopy in order to look for evidence of channel deformation. It was found that uniform deformation can occur without channel deformation, but evidence for channeling was found with channels appearing most prominently after the onset of necking. The channeling occurs on wavy planes with large variations in localized deformation from channel to channel.

  15. IUPAC-NIST Solubility Data Series. 81. Hydrocarbons with Water and Seawater Revised and Updated. Part 7. C8H12C8H18 Hydrocarbons

    E-Print Network [OSTI]

    IUPAC-NIST Solubility Data Series. 81. Hydrocarbons with Water and Seawater Revised and Updated. Part 7. C8H12C8H18 Hydrocarbons with Water Volume Editors David G. Shawa... University of Alaska on the evaluation of the all experimental data for a given homologous series of aliphatic and aromatic hydrocarbons

  16. P.M. Vallone 9/17/2014 http://www.cstl.nist.gov/biotech/strbase/pub_pres/Vallone_GIS_Sept_2014.pdf 1

    E-Print Network [OSTI]

    ­ 727 total (Not including negative controls, tests with non-buccal swabs) · Success measured September 17, 2014 Tampa, FL Rapid DNA Testing at NIST Disclaimer · Points of view in this document.S. Department of Commerce. Certain commercial equipment, instruments, and materials are identified in order

  17. P.M. Vallone 9/9/2014 http://www.cstl.nist.gov/biotech/strbase/pub_pres/Vallone_CAFDA_Sept_2014.pdf 1

    E-Print Network [OSTI]

    · In the process of preparing SRM 2372a · Characterize with dPCR versus UV absorbance Digital PCR (dPCR) Overview the FBI Laboratory and the National Institute of Justice. Outline · NIST forensic SRMs · Digital PCR- based method · Digital PCR provides this capability · Supports adoption of NGS in forensic community

  18. NIST HANDBOOK 150-9 CHECKLIST (REV. 2011-10-20) PAGE 1 OF 19 Enter Date: Enter NVLAP Lab Code

    E-Print Network [OSTI]

    , the quality manual and/or supporting management system documentation shall include: a) testing facilities in NIST Handbook 150-9, clauses 3, 4, and 5. 3 Accreditation process 3.2 Management system review 3.2.1 Management system shall be fully implemented. 3.2.2 If management system documentation is not organized

  19. New specimens of Propotamochoerus (Suidae, Mammalia) from the late Miocene of the Balkans

    E-Print Network [OSTI]

    Boyer, Edmond

    New specimens of Propotamochoerus (Suidae, Mammalia) from the late Miocene of the Balkans Denis. hysudricus or P. hyotherioides. It is likely that these Balkan specimens belong to a species of their own

  20. Automation for Cryo-TEM: From Specimen Grid to 3D

    E-Print Network [OSTI]

    Automation for Cryo-TEM: From Specimen Grid to 3D Map B. Carragher, D. Fellmann, N. Kisseberth, R://www.itg.uiuc.edu #12;AUTOMATION FOR CRYO-TEM: FROM SPECIMEN GRID TO 3D MAP B. Carragher, D. Fellmann, N. Kisseberth, R map of a macromolecular structure automatically and within hours of inserting a specimen

  1. Conceptual design. Final report: TFE Verification Program

    SciTech Connect (OSTI)

    Not Available

    1994-03-01T23:59:59.000Z

    This report documents the TFE Conceptual Design, which provided the design guidance for the TFE Verification program. The primary goals of this design effort were: (1) establish the conceptual design of an in-core thermionic reactor for a 2 Mw(e) space nuclear power system with a 7-year operating lifetime; (2) demonstrate scalability of the above concept over the output power range of 500 kW(e) to 5 MW(e); and (3) define the TFE which is the basis for the 2 MW (e) reactor design. This TFE specification provided the basis for the test program. These primary goals were achieved. The technical approach taking in the conceptual design effort is discussed in Section 2, and the results are discussed in Section 3. The remainder of this introduction draws a perspective on the role that this conceptual design task played in the TFE Verification Program.

  2. GRIMHX verification and validation action matrix summary

    SciTech Connect (OSTI)

    Trumble, E.F.

    1991-12-01T23:59:59.000Z

    WSRC-RP-90-026, Certification Plan for Reactor Analysis Computer Codes, describes a series of action items to be completed for certification of reactor analysis computer codes used in Technical Specifications development and for other safety and production support calculations. Validation and verification of the code is an integral part of this process. This document identifies the work performed and documentation generated to satisfy these action items for the Reactor Physics computer code GRIMHX. Each action item is discussed with the justification for its completion. Specific details of the work performed are not included in this document but are found in the references. The publication of this document signals the validation and verification effort for the GRIMHX code is completed.

  3. NGSI: IAEA Verification of UF6 Cylinders

    SciTech Connect (OSTI)

    Curtis, Michael M.

    2012-06-05T23:59:59.000Z

    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 basisshort-notice random inspections coupled with mailbox declarations. This paper is part of the NNSA Office of Nonproliferation and International Securitys Next Generation Safeguards Initiative (NGSI) program to investigate the concept of a global monitoring scheme that uniquely identifies and tracks UF6 cylinders.

  4. Finite Model Finding for Parameterized Verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2010-01-01T23:59:59.000Z

    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 ...

  5. Specimen coordinate automated measuring machine/fiducial automated measuring machine

    DOE Patents [OSTI]

    Hedglen, Robert E. (Bethel Park, PA); Jacket, Howard S. (Pittsburgh, PA); Schwartz, Allan I. (Turtle Creek, PA)

    1991-01-01T23:59:59.000Z

    The Specimen coordinate Automated Measuring Machine (SCAMM) and the Fiducial Automated Measuring Machine (FAMM) is a computer controlled metrology system capable of measuring length, width, and thickness, and of locating fiducial marks. SCAMM and FAMM have many similarities in their designs, and they can be converted from one to the other without taking them out of the hot cell. Both have means for: supporting a plurality of samples and a standard; controlling the movement of the samples in the +/- X and Y directions; determining the coordinates of the sample; compensating for temperature effects; and verifying the accuracy of the measurements and repeating as necessary. SCAMM and FAMM are designed to be used in hot cells.

  6. Flow localization in sheet specimens with pairs of holes

    SciTech Connect (OSTI)

    Geltmacher, A.B. [FM Technologies, Fairfax, VA (United States); Koss, D.A. [Pennsylvania State Univ., University Park, PA (United States). Dept. of Metals Science and Engineering; Stout, M.G. [Los Alamos National Lab., NM (United States); Matic, P. [Naval Research Lab., Washington, DC (United States). Mechanics of Materials Dept.

    1998-03-01T23:59:59.000Z

    The deformation localization behavior of sheet specimens containing geometric perturbations in the form of pairs of through-thickness holes is examined. Both experiments and computational modeling are performed in either uniaxial or equal-biaxial tension in order to examine the effect of applied loading path on the far-field strain needed to initiate localized necking in the ligament between the hole pairs. The models also examine the influence of hole spacing and matrix strain hardening on ligament localization. The far-field strain needed to cause the localization of the ligament is shown to increase as the biaxiality of the loading path increases, the hole spacing increases, and the strain-hardening exponent increases. The present study also indicates that the onset of localized necking can be predicted by employing the Hill criterion, if the local strain states within the ligament are taken into account.

  7. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01T23:59:59.000Z

    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.

  8. Logic verification using recursive learning, ATPG and transformations

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01T23:59:59.000Z

    17 Example Circuits for Verification Showing an Existing Condi- tional Don't Care Condition. 33 18 Justification of the Conditional Don't Care Condition in the Ex- ample Circuits. FIGURE Page Transformation Using Conditional Don't Care Condition... of the Implementation Verification phase, sometimes it is termed Design Verification as in [17j. In this case the specification and design are both at logic level. Logic circuits can be combinational or sequential. If the circuits being compared are combinational, i...

  9. SAT-based Verification for Analog and Mixed-signal Circuits

    E-Print Network [OSTI]

    Deng, Yue

    2012-07-16T23:59:59.000Z

    The wide application of analog and mixed-signal (AMS) designs makes the verification of AMS circuits an important task. However, verification of AMS circuits remains as a significant challenge even though verification techniques for digital circuits...

  10. Evaluation of the upper shelf energy for ferritic steels from miniaturized Charpy specimen data

    SciTech Connect (OSTI)

    Kurishita, Hiroaki; Narui, Minoru; Kayano, Hideo [Tohoku Univ., Oarai, Ibaraki (Japan). Inst. for Materials Research; Shibahara, Itaru; Mizuta, Syunji [Power Reactor and Nuclear Fuel Development Corp., Oarai, Ibaraki (Japan)

    1996-12-31T23:59:59.000Z

    The small specimen technology is required in mechanical testing of irradiated materials because of very limited irradiation volume in currently available high flux reactors and future accelerator-based high energy neutron sources. In order to develop the methodology to evaluate the upper shelf energy (USE) for full size Charpy specimens of ferritic steels from miniaturized specimen data, the effects of specimen size and notch dimensions (notch root radius and notch depth) on the USE were studied for high strength ferritic steels with relatively low USE values of 135 and 107 J. The USE for miniaturized specimens, normalized by Bb{sup 2} or (Bb){sup 3/2} (B is the specimen thickness, b is the ligament size), was essentially independent of specimen size and tended to decrease with increasing the elastic stress concentration factor, K{sub t}, but the K{sub t} dependence was not significant. The normalized USE for full size specimens was considerably lower than that for miniaturized specimens. A general relationship was found that allows to determine the USE of full size specimens of ferritic steels directly from miniaturized specimen data.

  11. Apparatus for X-ray diffraction microscopy and tomography of cryo specimens

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

    Beetz, T.; Howells, M. R.; Jacobsen, C.; Kao, C. -C.; Kirz, J.; Lima, E.; Mentes, T. O.; Miao, H.; Sanchez-Hanke, C.; Sayre, D.; et al

    2005-06-01T23:59:59.000Z

    An apparatus for diffraction microscopy of biological and materials science specimens is described. In this system, a coherent soft X-ray beam is selected with a pinhole, and the illuminated specimen is followed by an adjustable beamstop and CCD camera to record diffraction data from non-crystalline specimens. In addition, a Fresnel zone plate can be inserted to allow for direct imaging. The system makes use of a cryogenic specimen holder with cryotransfer capabilities to allow frozen hydrated specimens to be loaded. The specimen can be tilted over a range of 80 degrees for three-dimensional imaging; this is done bymorecomputer-controlled motors, enabling automated alignment of the specimen through a tilt series. The system is now in use for experiments in soft X-ray diffraction microscopy.less

  12. Apparatus for X-ray diffraction microscopy and tomography of cryo specimens

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

    Beetz, T.; Howells, M.R.; Jacobsen, C.; Kao, C.-C.; Kirz, J.; Lima, E.; Mentes, T.O.; Miao, H.; Sanchez-Hanke, C.; Sayre, D.; Shapiro, D.

    2005-06-01T23:59:59.000Z

    An apparatus for diffraction microscopy of biological and materials science specimens is described. In this system, a coherent soft X-ray beam is selected with a pinhole, and the illuminated specimen is followed by an adjustable beamstop and CCD camera to record diffraction data from non-crystalline specimens. In addition, a Fresnel zone plate can be inserted to allow for direct imaging. The system makes use of a cryogenic specimen holder with cryotransfer capabilities to allow frozen hydrated specimens to be loaded. The specimen can be tilted over a range of +/- 80 degrees for three-dimensional imaging; this is done by computer-controlled motors, enabling automated alignment of the specimen through a tilt series. The system is now in use for experiments in soft X-ray diffraction microscopy.

  13. Apparatus for X-ray diffraction microscopy and tomography of cryo specimens

    SciTech Connect (OSTI)

    Beetz, T. [Stony Brook Univ., Stony Brook, NY (United States); Howells, M. R. [Brookhaven National Laboratory (BNL), Upton, NY (United States). National Synchrotron Light Source; Brookhaven National Laboratory (BNL), Upton, NY (United States). Center for Functional Nanomaterials; Jacobsen, C. [Stony Brook Univ., Stony Brook, NY (United States); Kao, C. -C. [Brookhaven National Laboratory (BNL), Upton, NY (United States). National Synchrotron Light Source; Kirz, J. [Stony Brook Univ., Stony Brook, NY (United States); Lawrence Berkeley National Laboratory (LBNL), Berkeley, CA (United States). Advanced Light Source; Lima, E. [Stony Brook Univ., Stony Brook, NY (United States); Mentes, T. O. [Stony Brook Univ., Stony Brook, NY (United States); TASC-INFM National Lab, Trieste (Italy); Miao, H. [Stony Brook Univ., Stony Brook, NY (United States); Sanchez-Hanke, C. [Brookhaven National Laboratory (BNL), Upton, NY (United States). National Synchrotron Light Source; Sayre, D. [Stony Brook Univ., Stony Brook, NY (United States); Shapiro, D. [Stony Brook Univ., Stony Brook, NY (United States)

    2005-06-01T23:59:59.000Z

    An apparatus for diffraction microscopy of biological and materials science specimens is described. In this system, a coherent soft X-ray beam is selected with a pinhole, and the illuminated specimen is followed by an adjustable beamstop and CCD camera to record diffraction data from non-crystalline specimens. In addition, a Fresnel zone plate can be inserted to allow for direct imaging. The system makes use of a cryogenic specimen holder with cryotransfer capabilities to allow frozen hydrated specimens to be loaded. The specimen can be tilted over a range of 80 degrees for three-dimensional imaging; this is done by computer-controlled motors, enabling automated alignment of the specimen through a tilt series. The system is now in use for experiments in soft X-ray diffraction microscopy.

  14. A golden anniversary for space-based treaty verification

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

    enabled serendipitous discoveries of remarkable natural phenomena such as cosmic gamma-ray bursts, X-ray novae and solar wind composition. Modern space-based verification systems...

  15. Introduction to Measurement and Verification for DOE Super ESPC...

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

    and verification is conducted in super energy savings performance contracts (ESPC) projects. Topics include allocating project risk, steps to verify savings, and M&V...

  16. Measurement and Verification for Federal Energy Savings Performance Contracts

    Broader source: Energy.gov [DOE]

    Measurement and verification (M&V) activities help agencies confirm that legally and contractually required savings guarantees are met in federal energy savings performance contracts (ESPCs).

  17. Example Measurement & Verification Plan for a Super ESPC Project

    Broader source: Energy.gov [DOE]

    Report features a comprehensive measurement and verification (M&V) plan for a fictitious super energy savings performance contract (ESPC) project.

  18. ESPC Measurement and Verification (M&V) Planning Tool

    Broader source: Energy.gov [DOE]

    Document provides instructions for Federal agencies on how to use a measurement and verification (M&V) planning tool for energy savings performance contracts (ESPCs).

  19. Optimization Online - Termination and Verification for Ill-Posed ...

    E-Print Network [OSTI]

    Christian Jansson

    2005-06-17T23:59:59.000Z

    Jun 17, 2005 ... Termination and Verification for Ill-Posed Semidefinite Programming Problems. Christian Jansson (jansson ***at*** tu-harburg.de). Abstract:...

  20. assertions based verification: Topics by E-print Network

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

    A possible explanation is given. 1 SCIAMACHY'S PMD CHANNELS Graaf, Martin de 418 LTSA-WS: a tool for modelbased verification of web service compositions and choreography...

  1. Thermal Hydraulic Modeling: Cross-Verification, Validation and...

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

    Aleks Obabko, Paul Fischer, and Tim Tautges, Argonne National Laboratory Thermal Hydraulic Modeling: Cross-Verification, Validation and Co-design PI Name: Paul F. Fischer PI...

  2. attribute verification system: Topics by E-print Network

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

    our results are well founded. Index TermsBiometric verification systems, statistical pattern recognition, Bayes error rate, rejection error rate, hand geometry, human face....

  3. addressing verification challenges: Topics by E-print Network

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

    Kulyukin Computer Technologies and Information Sciences Websites Summary: A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir (PRF)...

  4. automated verification process: Topics by E-print Network

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

    Kulyukin Computer Technologies and Information Sciences Websites Summary: A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir (PRF)...

  5. Measurement and Verification, Best Practices in Design and Implementation

    E-Print Network [OSTI]

    Martin, T.; Khatami, H.

    2013-01-01T23:59:59.000Z

    . Measurement?and? Verification,?Best?Practices? in?Design?and? Implementation Tom?Martin? CMVP,?LEED?AP Homay?Khatami? CEM,?LEED?AP PMP,?CMC? 1. Definition?of?Measurement?and?Verification?(M&V) 2. Applications?of?M&V 3. Specific.... Analyze?? Reporting M&V,?Best?Practices?in?Design?and?Implementation ?Measurement?and?Verification?is?the?process? of?using?measurements?to?reliably?determine? actual?savings? International?Performance?Measurement?and? Verification?Protocol?? Vol I...

  6. NEMVP: North American energy measurement and verification protocol

    SciTech Connect (OSTI)

    NONE

    1996-03-01T23:59:59.000Z

    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.

  7. Mechanical Verification of Hypercube Algorithms Eric Gascard, Laurence Pierre

    E-Print Network [OSTI]

    Pierre, Laurence

    Mechanical Verification of Hypercube Algorithms Eric Gascard, Laurence Pierre LIM CMI in the development of parallel programs, rather few results have been reported re garding solutions for formally

  8. Advanced Waste Management Now Available as Accredited SEP Verification...

    Office of Environmental Management (EM)

    "Our auditing teams provide robust, independent confirmation that a facility conforms to ISO 50001 and has really improved its energy performance." SEP Verification Bodies...

  9. Technical safety requirements control level verification

    SciTech Connect (OSTI)

    STEWART, J.L.

    1999-05-21T23:59:59.000Z

    A Technical Safety Requirement (TSR) control level verification process was developed for the Tank Waste Remediation System (TWRS) TSRs at the Hanford Site in Richland, WA, at the direction of the US. Department of Energy, Richland Operations Office (RL). The objective of the effort was to develop a process to ensure that the TWRS TSR controls are designated and managed at the appropriate levels as Safety Limits (SLs), Limiting Control Settings (LCSs), Limiting Conditions for Operation (LCOs), Administrative Controls (ACs), or Design Features. The TSR control level verification process was developed and implemented by a team of contractor personnel with the participation of Fluor Daniel Hanford, Inc. (FDH), the Project Hanford Management Contract (PHMC) integrating contractor, and RL representatives. The team was composed of individuals with the following experience base: nuclear safety analysis; licensing; nuclear industry and DOE-complex TSR preparation/review experience; tank farm operations; FDH policy and compliance; and RL-TWRS oversight. Each TSR control level designation was completed utilizing TSR control logic diagrams and TSR criteria checklists based on DOE Orders, Standards, Contractor TSR policy, and other guidance. The control logic diagrams and criteria checklists were reviewed and modified by team members during team meetings. The TSR control level verification process was used to systematically evaluate 12 LCOs, 22 AC programs, and approximately 100 program key elements identified in the TWRS TSR document. The verification of each TSR control required a team consensus. Based on the results of the process, refinements were identified and the TWRS TSRs were modified as appropriate. A final report documenting key assumptions and the control level designation for each TSR control was prepared and is maintained on file for future reference. The results of the process were used as a reference in the RL review of the final TWRS TSRs and control suite. RL concluded that the TSR control level verification process is clear and logically based upon DOE Order 5480.22, Technical Safety Requirements, and other TSR control selection guidelines. The process provides a documented, traceable basis for TSR level decisions and is a valid reference for preparation of new TSRs.

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

    Broader source: Energy.gov [DOE]

    Federal Energy Management Program (FEMP) measurement and verification (M&V) guidelines and International Performance Measurement and Verification Protocol M&V methodologies are broken into four options.

  11. Microstructural and Mechanical Characterization of Actively Brazed Alumina Specimens

    SciTech Connect (OSTI)

    Hosking, F.M.; Cadden, C.H.; Stephens, J.J.; Glass, S.J.; Yang, N.Y.C.; Vianco, P.V.; Walker, C.A.

    1999-08-26T23:59:59.000Z

    Alumina (94 and 99.8% grade compositions) was brazed directly to itself with gold-based active brazing alloys (ABA's) containing vanadium additions of 1,2 and 3 weight percent. The effects of brazing conditions on the joint properties were investigated. Wetting behavior, interfacial reactions, microstructure, hermeticity and tensile strength were determined. Wetting was fair to good for the ABA and base material combinations. Microanalysis identified a discontinuous Al-V-O spinel reaction product at the alumina-braze interface. Tensile strength results for 94% alumina were uniformly good and generally not sensitive to the vanadium concentration, with tensile values of 85-105 MPa. There was more variability in the 99.8% alumina strength results, with values ranging from 25-95 MPa. The highest vanadium concentration (3 wt. %) yielded the highest joint strength for the brazed 99.8% alumina. Failures in the 99.8% alumina samples occurred at the braze-alumina interface, while the 94% alumina specimens exhibited fracture of the ceramic substrate.

  12. Nanowire Lithium-Ion Battery P R O J E C T L E A D E R : Alec Talin (NIST)

    E-Print Network [OSTI]

    Nanowire Lithium-Ion Battery P R O J E C T L E A D E R : Alec Talin (NIST) C O L L A B O R A T O R To fabricate a single nanowire Li-ion battery and observe it charging and discharging. K E Y A C C O M P L I S H M E N T S Designed, fabricated, and tested complete Li-ion nanowire batteries measuring

  13. Single-Electron Silicon Devices P R O J E C T L E A D E R : Neil Zimmerman (NIST)

    E-Print Network [OSTI]

    Single-Electron Silicon Devices P R O J E C T L E A D E R : Neil Zimmerman (NIST) C O L L A B O R silicon device. Electrons are trapped in a quantum dot, defined by the field from two conducting gates of single electrons. K E Y A C C O M P L I S H M E N T S Developed an 80-step process to make silicon

  14. Optimal combination of data verification and materials accountancy

    SciTech Connect (OSTI)

    Beedgen, R.; Hafer, J.F.

    1982-01-01T23:59:59.000Z

    Materials accountancy accompanied by data verification is one of the main elements in international safeguards of nuclear material. In this paper statistical combinations of materials accountancy and data verification are discussed with the boundary condition of a fixed total false-alarm probability.

  15. Evaluating Verification and Validation Methods in Knowledge Engineering

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    Evaluating Verification and Validation Methods in Knowledge Engineering Alun Preece University: Verification and validation (V&V) techniques have always been an essential part of the knowledge engineering effective V&V techniques. 1. The Art of Knowledge Engineering Knowledge-based systems (KBS) have proven

  16. Comparison-based File Server Verification Yuen-Lin Tan

    E-Print Network [OSTI]

    Comparison-based File Server Verification Yuen-Lin Tan , Terrence Wong, John D. Strunk, Gregory R. Ganger Carnegie Mellon University Abstract Comparison-based server verification involves testing a server by comparing its responses to those of a refer- ence server. An intermediary, called a "server Tee," in

  17. First Eye Movement Verification and Identification Competition at BTAS 2012

    E-Print Network [OSTI]

    Oleg, Komogortsev - Department of Computer Science, Texas State University

    First Eye Movement Verification and Identification Competition at BTAS 2012 Pawel Kasprowski11,ak26}@txstate.edu Abstract--This paper presents the results of the first eye movement verification and methods used in the competition. The results highlight the importance of very careful eye positional data

  18. Verification of Probabilistic Real-time Systems Marta Kwiatkowska1

    E-Print Network [OSTI]

    Oxford, University of

    widely taken up (downloaded more than 20,000 times) and used for quan- titative verification in a broad of (priced) probabilistic timed automata. These model systems exhibiting probabilistic, nondeterministic-time characteristics, through support for verification of (priced) probabilistic timed automata. PRISM already provides

  19. Modular Verification of Timed Circuits Using Automatic Abstraction

    E-Print Network [OSTI]

    Zheng, Hao

    Modular Verification of Timed Circuits Using Automatic Abstraction Hao Zheng, Eric Mercer, Member for verification of timed circuits using automatic abstraction. This approach partitions the design into modules by the RAPPID instruction length decoder designed at Intel [2]. This design was 3 times faster while using only

  20. 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 bitlevel model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  1. 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

  2. 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

  3. 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

  4. 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

  5. VIS Analyzer: A Visual Assistant for VIS Verification and Analysis

    E-Print Network [OSTI]

    Institute of Nuclear Safety), often mandate that developers or SQA (Software Quality Assurance) teams apply in demonstrating the quality of safety-critical [1] systems such as nuclear power plants. We have used the VIS necessary to understand the full verification scenario accurately. Many nuclear engineers and verification

  6. Lawson Job Description Acknowledgment Verification Instructions Log In to Lawson

    E-Print Network [OSTI]

    Gleeson, Joseph G.

    Lawson Job Description Acknowledgment Verification Instructions Log In to Lawson o Lawson Web Lawson e-mail your password to you. Updated 3/15/10 Page 1 of 3 #12;Lawson Job Description Acknowledgment Verification Instructions Click "Employee's Sign-off of their Job Description" Click "Employee's Sign

  7. 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.e., if the voltage drop on the grid does not exceed a cer- tain threshold. The traditional simulation-based solution

  8. Core analysis workstation development and verification

    SciTech Connect (OSTI)

    Mays, C.W.; Kochendarfer, R.A.; Mays, B.E.

    1987-01-01T23:59:59.000Z

    An engineering workstation utilizing a three-dimensional reactor simulator along with a series of auxiliary programs has been developed for use in predicting core reactivity and power distributions. This workstation can be used by both core analysis and core operations personnel. Expected applications are power distribution analyses, technical specification limit verification, and various types of reactivity analyses. Reactor operations personnel can quickly simulate load follow or other reactor maneuvers and, through the interactive graphics capability of the personal computer, the reactor responses, such as power distribution and control rod position, can be displayed and understood by operations personnel.

  9. Headquarters Employment Verification | 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov.Energy02.pdf7 OPAM Flash2011-37 OPAMResourceEmployment Verification Headquarters

  10. Effect of conductivity between fasteners and aluminum skin on eddy current specimens

    SciTech Connect (OSTI)

    Moore, D.G. [Sandia National Labs., Albuquerque, NM (United States); Hutchinson, M.C. [Boeing Co., Seattle, WA (United States). Commercial Airplane Group

    1997-04-01T23:59:59.000Z

    The Federal Aviation Administration Airworthiness Assurance Nondestructive Inspection Validation Center (FAA-AANC) and Boeing Commercial Airplane Group are currently developing a study pertaining to the detection of cracks in multi-layered aluminum sheets. The specimen panels model pertinent aspects of the lap splice joints for Boeing 737 aircraft, Line Numbers 292 - 2565. Upon initial characterization of the specimen panels, it became clear that signals produced from a sliding probe at fastener sites were not representative of an in-service lap splice, and therefore, could not be used in a probability of detection experiment. This paper discusses specimen characterization and steps taken to make the specimens useful for nondestructive technology assessment.

  11. DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS

    SciTech Connect (OSTI)

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

    2009-07-01T23:59:59.000Z

    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 operators 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.

  12. Monitoring/Verification Using DMS: TATP Example

    SciTech Connect (OSTI)

    Kevin Kyle; Stephan Weeks

    2008-03-01T23:59:59.000Z

    Field-rugged and field-programmable differential mobility spectrometry (DMS) networks provide highly selective, universal monitoring of vapors and aerosols at detectable levels from persons or areas involved with illicit chemical/biological/explosives (CBE) production. CBE sensor motes used in conjunction with automated fast gas chromatography with DMS detection (GC/DMS) verification instrumentation integrated into situational operationsmanagement systems can be readily deployed and optimized for changing application scenarios. The feasibility of developing selective DMS motes for a smart dust sampling approach with guided, highly selective, fast GC/DMS verification analysis is a compelling approach to minimize or prevent the illegal use of explosives or chemical and biological materials. DMS is currently one of the foremost emerging technologies for field separation and detection of gas-phase chemical species. This is due to trace-level detection limits, high selectivity, and small size. GC is the leading analytical method for the separation of chemical species in complex mixtures. Low-thermal-mass GC columns have led to compact, low-power field systems capable of complete analyses in 15300 seconds. A collaborative effort optimized a handheld, fast GC/DMS, equipped with a non-rad ionization source, for peroxide-based explosive measurements.

  13. Monitoring/Verification using DMS: TATP Example

    SciTech Connect (OSTI)

    Stephan Weeks, Kevin Kyle, Manuel Manard

    2008-05-30T23:59:59.000Z

    Field-rugged and field-programmable differential mobility spectrometry (DMS) networks provide highly selective, universal monitoring of vapors and aerosols at detectable levels from persons or areas involved with illicit chemical/biological/explosives (CBE) production. CBE sensor motes used in conjunction with automated fast gas chromatography with DMS detection (GC/DMS) verification instrumentation integrated into situational operations-management systems can be readily deployed and optimized for changing application scenarios. The feasibility of developing selective DMS motes for a smart dust sampling approach with guided, highly selective, fast GC/DMS verification analysis is a compelling approach to minimize or prevent the illegal use of explosives or chemical and biological materials. DMS is currently one of the foremost emerging technologies for field separation and detection of gas-phase chemical species. This is due to trace-level detection limits, high selectivity, and small size. Fast GC is the leading field analytical method for gas phase separation of chemical species in complex mixtures. Low-thermal-mass GC columns have led to compact, low-power field systems capable of complete analyses in 15300 seconds. A collaborative effort optimized a handheld, fast GC/DMS, equipped with a non-rad ionization source, for peroxide-based explosive measurements.

  14. 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

  15. 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.

  16. 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

  17. 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

  18. Comment submitted by Whirlpool Corporation regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

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

  19. 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

  20. Image Hashes as Templates for Verification

    SciTech Connect (OSTI)

    Janik, Tadeusz; Jarman, Kenneth D.; Robinson, Sean M.; Seifert, Allen; McDonald, Benjamin S.; White, Timothy A.

    2012-07-17T23:59:59.000Z

    Imaging systems can provide measurements that confidently assess characteristics of nuclear weapons and dismantled weapon components, and such assessment will be needed in future verification for arms control. Yet imaging is often viewed as too intrusive, raising concern about the ability to protect sensitive information. In particular, the prospect of using image-based templates for verifying the presence or absence of a warhead, or of the declared configuration of fissile material in storage, may be rejected out-of-hand as being too vulnerable to violation of information barrier (IB) principles. Development of a rigorous approach for generating and comparing reduced-information templates from images, and assessing the security, sensitivity, and robustness of verification using such templates, are needed to address these concerns. We discuss our efforts to develop such a rigorous approach based on a combination of image-feature extraction and encryption-utilizing hash functions to confirm proffered declarations, providing strong classified data security while maintaining high confidence for verification. The proposed work is focused on developing secure, robust, tamper-sensitive and automatic techniques that may enable the comparison of non-sensitive hashed image data outside an IB. It is rooted in research on so-called perceptual hash functions for image comparison, at the interface of signal/image processing, pattern recognition, cryptography, and information theory. Such perceptual or robust image hashingwhich, strictly speaking, is not truly cryptographic hashinghas extensive application in content authentication and information retrieval, database search, and security assurance. Applying and extending the principles of perceptual hashing to imaging for arms control, we propose techniques that are sensitive to altering, forging and tampering of the imaged object yet robust and tolerant to content-preserving image distortions and noise. Ensuring that the information contained in the hashed image data (available out-of-IB) cannot be used to extract sensitive information about the imaged object is of primary concern. Thus the techniques are characterized by high unpredictability to guarantee security. We will present an assessment of the performance of our techniques with respect to security, sensitivity and robustness on the basis of a methodical and mathematically precise framework.

  1. Automated Verification of Quantum Protocols using MCMAS

    E-Print Network [OSTI]

    F. Belardinelli; P. Gonzalez; A. Lomuscio

    2012-07-04T23:59:59.000Z

    We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framework developed by D'Hondt and Panangaden for investigating epistemic and temporal properties, built on the model for Distributed Measurement-based Quantum Computation (DMC), an extension of the Measurement Calculus to distributed quantum systems. We describe the translation map from DMC to interpreted systems, the typical formalism for reasoning about time and knowledge in multi-agent systems. Then, we introduce dmc2ispl, a compiler into the input language of the MCMAS model checker. We demonstrate the technique by verifying the Quantum Teleportation Protocol, and discuss the performance of the tool.

  2. Automated Verification of Practical Garbage Collectors

    E-Print Network [OSTI]

    Hawblitzel, Chris

    2010-01-01T23:59:59.000Z

    Garbage collectors are notoriously hard to verify, due to their low-level interaction with the underlying system and the general difficulty in reasoning about reachability in graphs. Several papers have presented verified collectors, but either the proofs were hand-written or the collectors were too simplistic to use on practical applications. In this work, we present two mechanically verified garbage collectors, both practical enough to use for real-world C# benchmarks. The collectors and their associated allocators consist of x86 assembly language instructions and macro instructions, annotated with preconditions, postconditions, invariants, and assertions. We used the Boogie verification generator and the Z3 automated theorem prover to verify this assembly language code mechanically. We provide measurements comparing the performance of the verified collector with that of the standard Bartok collectors on off-the-shelf C# benchmarks, demonstrating their competitiveness.

  3. 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-15T23:59:59.000Z

    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.

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

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

    M&V Guidelines: Measurement and Verifi cation for Federal Energy Projects Version 3.0 M&V Guidelines: Measurement and Verification for Federal Energy Projects Version 3.0 Prepared...

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

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

    M&V Guidelines: Measurement and Verification for Federal Energy Projects Version 4.0 Prepared for the U.S. Department of Energy Federal Energy Management Program By

  6. IT Licentiate theses Practical Verification of Real-Time Systems

    E-Print Network [OSTI]

    David, Alexandre

    IT Licentiate theses 2001-013 Practical Verification of Real-Time Systems ALEXANDRE DAVID UPPSALA UPPSALA SWEDEN Dissertation for the degree of Licentiate of Philosophy in Computer Science at Uppsala

  7. IT Licentiate theses Practical Verification of RealTime Systems

    E-Print Network [OSTI]

    David, Alexandre

    IT Licentiate theses 2001013 Practical Verification of RealTime Systems ALEXANDRE DAVID UPPSALA UPPSALA SWEDEN Dissertation for the degree of Licentiate of Philosophy in Computer Science at Uppsala

  8. A Framework for Verification of Software with Time and Probabilities

    E-Print Network [OSTI]

    Oxford, University of

    verification techniques are able to establish sys- tem properties such as "the probability of an airbag failing quantitative properties. These might include, for example, "the probability of an airbag failing to deploy

  9. DRAFT Measurement & Verification Guidelines Version 4.0

    Broader source: Energy.gov [DOE]

    Document describes the Federal Energy Management Program's (FEMP) standard procedures and guidelines for measurement and verification (M&V) for federal energy managers, procurement officials, and energy service providers.

  10. Introduction to Measurement and Verification for DOE Super ESPC Projects

    Broader source: Energy.gov [DOE]

    Document offers an overview of why and how measurement and verification is conducted in super energy savings performance contracts (ESPC) projects. Topics include allocating project risk, steps to verify savings, and M&V plans and reports.

  11. INL/EXT-14-33201 RELAP-7 Software Verification

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

    01 RELAP-7 Software Verification and Validation Plan Curtis L. Smith Yong-Joon Choi Ling Zou September 25, 2014 NOTICE This report was prepared as an account of work sponsored by...

  12. Precise Steps for Choreography Modeling for SOA Validation and Verification

    E-Print Network [OSTI]

    Southampton, University of

    as the next evolutionary step to cope with the software complexity of ERP systems where monolithic approaches component models by verification. This fits well into the model-driven development approach practiced at SAP

  13. Process Abstraction in the Verification of Temporal Properties

    E-Print Network [OSTI]

    Bruns, Glen R

    as abstraction operations. We show that an abstract process satisfies a property expressed as a temporal logic formula just if the original process satisfies a transformed formula. We define various abstraction operators and illustrate their use in verification...

  14. Verification and Validation of RADTRAN 5.5.

    SciTech Connect (OSTI)

    Osborn, Douglas.; Weiner, Ruth F.; Mills, George Scott; Hamp, Steve C.

    2005-02-01T23:59:59.000Z

    This document contains a description of the verification and validation process used for the RADTRAN 5.5 code. The verification and validation process ensured the proper calculational models and mathematical and numerical methods were used in the RADTRAN 5.5 code for the determination of risk and consequence assessments. The differences between RADTRAN 5 and RADTRAN 5.5 are the addition of tables, an expanded isotope library, and the additional User-Defined meteorological option for accident dispersion. 3

  15. Enhanced verification test suite for physics simulation codes

    SciTech Connect (OSTI)

    Kamm, James R.; Brock, Jerry S.; Brandon, Scott T.; Cotrell, David L.; Johnson, Bryan; Knupp, Patrick; Rider, William J.; Trucano, Timothy G.; Weirs, V. Gregory

    2008-09-01T23:59:59.000Z

    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.

  16. A robot manipulator calibration procedure with experimental verification

    E-Print Network [OSTI]

    Padavala, Satya Srinivas

    1988-01-01T23:59:59.000Z

    A ROBOT MANIPULATOR CALIBRATION PROCEDURE WITH EXPERIMENTAL VERIFICATION A Thesis by SATYA SRINIVAS PADAVALA Submitted to the Graduate College of Texas ARM University in partial fulfillment of the requirement for the degree of MASTER... OF SCIENCE May 1988 Major Subject: Mechanical Engineering A ROBOT MANIPULATOR CALIBRATION PROCEDURE WITH EXPERIMENTAL VERIFICATION A Thesis by SATYA SRINIVAS PADAVALA Approved as to style and content by: njamin W. M ng (Chairman of Co 'ttee) jr gi...

  17. Become an SEP Verification Body | Department of Energy

    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 Fuels DataEnergyDepartmentWind SitingVerification Body Become an SEP Verification

  18. 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-15T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-06-12T23:59:59.000Z

    Conduct verification surveys of available grids at the DWI 1630 in Knoxville, Tennessee. A representative with the Independent Environmental Assessment and Verification (IEAV) team from ORISE conducted a verification survey of a partial area within Grid E9.

  20. RIS-M-2586 ELASTIC-PLASTIC FRACTURE MECHANICS ANALYSIS OF A CT-SPECIMEN

    E-Print Network [OSTI]

    RIS-M-2586 ELASTIC-PLASTIC FRACTURE MECHANICS ANALYSIS OF A CT-SPECIMEN - A TWO-DIMENSIONAL APPROACH Gunner C. Larsen Abstract. This report documents the results obtained from an elastic-plastic

  1. Influence of specimen design on the deformation and failure of zircaloy cladding

    SciTech Connect (OSTI)

    Bates, D. W.; Koss, D. A.; Motta, A. T.; Majumdar S.

    2000-02-17T23:59:59.000Z

    Experimental as well as computational analyses have been used to examine the deformation and failure behavior of ring-stretch specimens of Zircaloy-4 cladding tubes. The results show that, at least for plastically anisotropic unirradiated cladding, specimens with a small gauge length l to width w ratio (l/w {approx} 1) exhibit pronounced non-uniform deformation along their length. As a result, specimen necking occurs upon yielding when the specimen is fully plastic. Finite element analysis indicates a minimum l/w of 4 before a significant fraction of the gauge length deforms homogeneously. A brief examination of the contrasting deformation and failure behavior between uniaxial and plane-strain ring tension tests further supports the use of the latter geometry for determining cladding failure ductility data that are relevant to certain reactivity-initiated accident conditions.

  2. The significance of specimen end restraint in high pressure triaxial testing of cohesive soil

    E-Print Network [OSTI]

    Casey, Brendan (Brendan Anthony)

    2011-01-01T23:59:59.000Z

    This thesis investigates the mechanical behaviour of cohesive soil at relatively high stresses with a particular emphasis on the significance of specimen end restraint on the interpretation of triaxial test results. Undrained ...

  3. 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-28T23:59:59.000Z

    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.

  4. Battery Technology Life Verification Testing and Analysis

    SciTech Connect (OSTI)

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

    2007-12-01T23:59:59.000Z

    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 technologys life capability with a high degree of confidence.

  5. Understanding correlation coefficients in treaty verification. Revised

    SciTech Connect (OSTI)

    DeVolpi, A.

    1993-02-01T23:59:59.000Z

    When a pair of images is compared on a point-by-point basis, the linear-correlation coefficient is usually used as a measure of similarity or dissimilarity. This report evaluates the theoretical underpinnings and limitations of the linear-correlation coefficient, as well as other related statistics, particularly for cases where inherent white noise is present. As a result of the limitations in linear-correlation, an additional step has been derived -- local-sum clustering -- in order to improve recognition of small dissimilarities in a pair of otherwise identical images. Results show an optimal three-stage procedure: first, establish congruence of the two images; second, use the linear-correlation coefficient as a test of true negatives; and, third, qualify a true positive by using the cluster (local-sum) method. These three algorithmic stages would be especially useful in application to arms control treaty verification, particularly for comparison of unique identifiers (tags or seals). This is illustrated by comparing scanning-electron microscope topographical images for an intrinsic-surface tag.

  6. 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. [Nuclear and Radiological Engineering Program, George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, 770 State St, Atlanta, GA 30332-0745 (United States)

    2013-07-01T23:59:59.000Z

    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)

  7. Field Scale Test and Verification of CHP System at the Ritz Carlton...

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

    Field Scale Test and Verification of CHP System at the Ritz Carlton, San Francisco, August 2007 Field Scale Test and Verification of CHP System at the Ritz Carlton, San Francisco,...

  8. Employment Verification and Compensation Release Authorization Form Forward the completed form

    E-Print Network [OSTI]

    Employment Verification and Compensation Release Authorization Form Forward the completed form: Via Research Triangle Park, NC 27709 Attn: Employment Verification Name information relative to my employment with the IBM Corporation

  9. NIST Combinatorial Methods Center

    E-Print Network [OSTI]

    delivery. #12;August 22. 2007 3 Previous Gradient Libraries ODS to Silicon by burning off SAM using UVO) R : 4-phenylbutyldimethylchlorosilane (PDS), n-octyldimethylchlorosilane (ODS R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R Si R FDS PDS ODS

  10. Towards Pervasive Computing @ NIST

    E-Print Network [OSTI]

    embedded processors sold per year z Rich and growing pico-cellular wireless technologies y Bluetooth, Home-Generation Software Languages and Tools y Java, Tcl, DCOM, JavaScript, REBOL... #12;Leading towards new markets z Health Care y Smart Hospitals and mobile doctors z Education y Smart classrooms and campuses y More

  11. NIST | Open Energy Information

    Open Energy Info (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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to: navigation, searchOfRose BendMiasoleTremor(Question) |Renewable Energy | OpenEnergyNewLLCNIST

  12. Monitoring/Verification using DMS: TATP Example

    SciTech Connect (OSTI)

    Stephan Weeks; Kevin Kyle

    2008-03-01T23:59:59.000Z

    Field-rugged and field-programmable differential mobility spectrometry (DMS) networks provide highly selective, universal monitoring of vapors and aerosols at detectable levels from persons or areas involved with illicit chemical/biological/explosives (CBE) production. CBE sensor motes used in conjunction with automated fast gas chromatography with DMS detection (GC/DMS) verification instrumentation integrated into situational operations management systems can be readily deployed and optimized for changing application scenarios. The feasibility of developing selective DMS motes for a 'smart dust' sampling approach with guided, highly selective, fast GC/DMS verification analysis is a compelling approach to minimize or prevent the use of explosives or chemical and biological weapons in terrorist activities. Two peroxide-based liquid explosives, triacetone triperoxide (TATP) and hexamethylene triperoxide diamine (HMTD), are synthesized from common chemicals such as hydrogen peroxide, acetone, sulfuric acid, ammonia, and citric acid (Figure 1). Recipes can be readily found on the Internet by anyone seeking to generate sufficient quantities of these highly explosive chemicals to cause considerable collateral damage. Detection of TATP and HMTD by advanced sensing systems can provide the early warning necessary to prevent terror plots from coming to fruition. DMS is currently one of the foremost emerging technologies for the separation and detection of gas-phase chemical species. This is due to trace-level detection limits, high selectivity, and small size. DMS separates and identifies ions at ambient pressures by utilizing the non-linear dependence of an ion's mobility on the radio frequency (rf) electric field strength. GC is widely considered to be one of the leading analytical methods for the separation of chemical species in complex mixtures. Advances in the technique have led to the development of low-thermal-mass fast GC columns. These columns are capable of completing runs in less than 3 minutes. Fast GC columns are also more compact than their traditional counterparts. An earlier collaborative effort involving these authors optimized a handheld, fast GC/DMS, equipped with a non-rad ionization source, for the detection of TATP (Figure 2). The unit combines the separation capabilities of GC with the selectivity of DMS. Analytes are identified both by their elution time from the column and by the characteristic response in the DMS spectrum. Analysis times required to obtain results for these analytes are approximately 80 seconds for TATP and 160 seconds for HMTD (Figure 3). The limit of detection for both TATP and HMTD is approximately 1 ng/{micro}L. Substances that could interfere with the detection of peroxide-based explosives have been studied. Both the GC elution time and the DMS spectral peak locations were unique and do not hinder the detection of either TATP or HMTD.

  13. 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

  14. Comment submitted by Hoshizaki America, Inc. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Hoshizaki America, Inc. regarding the Energy Star Verification Testing Program

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

    SciTech Connect (OSTI)

    E.M. Harpenau

    2010-11-15T23:59:59.000Z

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

  16. Comment submitted by United Lighting, Inc. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by United Lighting, Inc. regarding the Energy Star Verification Testing Program

  17. INDEPENDENT VERIFICATION REVIEW AND SURVEY of the Argonne National Laboratory Building 301 Footprint

    SciTech Connect (OSTI)

    E.N. Bailey

    2010-05-26T23:59:59.000Z

    INDEPENDENT VERIFICATION REVIEW AND SURVEY of the Argonne National Laboratory Building 301 Footprint, Argonne Illinois 5061-SR-01-0

  18. 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

  19. 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

  20. Measurement and Verification Activities Required in the Energy Savings Performance Contract Process

    Broader source: Energy.gov [DOE]

    There are four major measurement and verification (M&V) activities in the energy savings performance contract (ESPC) procurement process.

  1. Comment submitted by BSH Home Appliances Corporation regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by BSH Home Appliances Corporation regarding the Energy Star Verification Testing Program

  2. Efficient Methods for Practical Fully-Homomorphic Symmetric-key Encryption, Randomization, and Verification

    E-Print Network [OSTI]

    , and Verification Aviad Kipnis akipnis@nds.com; Eli Hibshoosh ehibshoo@nds.com Abstract We present high performance

  3. 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.

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

    Broader source: Energy.gov [DOE]

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

  5. Volume I of the roadmap marks the completion of the first phase of the NIST Cloud Computing program and initiative to collaboratively build a USG Cloud Computing Technology Roadmap. This milestone is

    E-Print Network [OSTI]

    Next Steps Volume I of the roadmap marks the completion of the first phase of the NIST Cloud Computing program and initiative to collaboratively build a USG Cloud Computing Technology Roadmap, and with the program time line presented in November 2010. As described previously, this roadmap document

  6. Converter performance TFE Verification Program. Final test report

    SciTech Connect (OSTI)

    Not Available

    1994-03-01T23:59:59.000Z

    This report details TFE Verification Program, the objective, of which is to demonstrate the technology readiness of a TFE suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TFE Verification Program built directly on the technology and data base developed in the 1960s and early 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addressed that concern.

  7. A Zero Knowledge Protocol For Nuclear Warhead Verification

    SciTech Connect (OSTI)

    Glaser, Alexander [Princeton, Univ., NJ (United States). Program on Science and Global Security] [Princeton, Univ., NJ (United States). Program on Science and Global Security; Goldston, Robert J. [Princeton Plasma Physics Lab., Princeton, NJ (United States)] [Princeton Plasma Physics Lab., Princeton, NJ (United States)

    2014-03-14T23:59:59.000Z

    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.

  8. 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-01T23:59:59.000Z

    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.

  9. Bibliography for Verification and Validation in Computational Simulations

    SciTech Connect (OSTI)

    Oberkampf, W.L.

    1998-10-01T23:59:59.000Z

    A bibliography has been compiled dealing with the verification and validation of computational simulations. The references listed in this bibliography are concentrated in the field of computational fluid dynamics (CFD). However, references from the following fields are also included: operations research, heat transfer, solid dynamics, software quality assurance, software accreditation, military systems, and nuclear reactor safety. This bibliography, containing 221 references, is not meant to be comprehensive. It was compiled during the last ten years in response to the author's interest and research in the methodology for verification and validation. The emphasis in the bibliography is in the following areas: philosophy of science underpinnings, development of terminology and methodology, high accuracy solutions for CFD verification, experimental datasets for CFD validation, and the statistical quantification of model validation. This bibliography should provide a starting point for individual researchers in many fields of computational simulation in science and engineering.

  10. Page 1 of 4 Refrigerant Charge Verification: 70F Return Air Requirement

    E-Print Network [OSTI]

    Page 1 of 4 Refrigerant Charge Verification: 70F Return Air Requirement This article describes refrigerant charge verification when the outdoor temperature is between 55 and 65F, in accordance than 70F has been an explicit requirement since the refrigerant charge verification protocol was first

  11. 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

  12. 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

  13. 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, largeinguez-Garcia, 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

  14. 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

  15. Apparatus and method for fatigue testing of a material specimen in a high-pressure fluid environment

    DOE Patents [OSTI]

    Wang, Jy-An; Feng, Zhili; Anovitz, Lawrence M; Liu, Kenneth C

    2013-06-04T23:59:59.000Z

    The invention provides fatigue testing of a material specimen while the specimen is disposed in a high pressure fluid environment. A specimen is placed between receivers in an end cap of a vessel and a piston that is moveable within the vessel. Pressurized fluid is provided to compression and tension chambers defined between the piston and the vessel. When the pressure in the compression chamber is greater than the pressure in the tension chamber, the specimen is subjected to a compression force. When the pressure in the tension chamber is greater than the pressure in the compression chamber, the specimen is subjected to a tension force. While the specimen is subjected to either force, it is also surrounded by the pressurized fluid in the tension chamber. In some examples, the specimen is surrounded by hydrogen.

  16. Finite countermodels for safety verification of parameterized tree systems

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01T23:59:59.000Z

    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.

  17. Verification for measurement-only blind quantum computing

    E-Print Network [OSTI]

    Tomoyuki Morimae

    2014-06-19T23:59:59.000Z

    Blind quantum computing is a new secure quantum computing protocol where a client who does not have any sophisticated quantum technlogy can delegate her quantum computing to a server without leaking any privacy. It is known that a client who has only a measurement device can perform blind quantum computing [T. Morimae and K. Fujii, Phys. Rev. A {\\bf87}, 050301(R) (2013)]. It has been an open problem whether the protocol can enjoy the verification, i.e., the ability of client to check the correctness of the computing. In this paper, we propose a protocol of verification for the measurement-only blind quantum computing.

  18. MACCS2 development and verification efforts

    SciTech Connect (OSTI)

    Young, M.; Chanin, D.

    1997-03-01T23:59:59.000Z

    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.

  19. Recent Accomplishments in the Irradiation Testing of Engineering-Scale Monolithic Fuel Specimens

    SciTech Connect (OSTI)

    N.E. Woolstenhulme; D.M. Wachs; M.K. Meyer; H.W. Glunz; R.B. Nielson

    2012-10-01T23:59:59.000Z

    The US fuel development team is focused on qualification and demonstration of the uranium-molybdenum monolithic fuel including irradiation testing of engineering-scale specimens. The team has recently accomplished the successful irradiation of the first monolithic multi-plate fuel element assembly within the AFIP-7 campaign. The AFIP-6 MKII campaign, while somewhat truncated by hardware challenges, exhibited successful irradiation of a large-scale monolithic specimen under extreme irradiation conditions. The channel gap and ultrasonic data are presented for AFIP-7 and AFIP-6 MKII, respectively. Finally, design concepts are summarized for future irradiations such as the base fuel demonstration and design demonstration experiment campaigns.

  20. Process for measuring low cadmium levels in blood and other biological specimens

    DOE Patents [OSTI]

    Peterson, David P. (Orland Park, IL); Huff, Edmund A. (Lemont, IL); Bhattacharyya, Maryka H. (Naperville, IL)

    1994-01-01T23:59:59.000Z

    A process for measuring low levels of cadmium in blood and other biological specimens is provided without interference from high levels of alkali metal contaminants by forming an aqueous solution and without contamination by environmental cadmium absent the proteins from the specimen, selectively removing cadmium from the aqueous solution on an anion exchange resin, thereby removing the alkali metal contaminants, resolubilizing cadmium from the resin to form a second solution and analyzing the second solution for cadmium, the process being carried out in a cadmium-free environment.

  1. Process for measuring low cadmium levels in blood and other biological specimens

    DOE Patents [OSTI]

    Peterson, David P.; Huff, Edmund A.; Bhattacharyya, Maryka H.

    1994-05-03T23:59:59.000Z

    A process for measuring low levels of cadmium in blood and other biological specimens is provided without interference from high levels of alkali metal contaminants by forming an aqueous solution and without contamination by environmental cadmium absent the proteins from the specimen, selectively removing cadmium from the aqueous solution on an anion exchange resin, thereby removing the alkali metal contaminants, resolubilizing cadmium from the resin to form a second solution and analyzing the second solution for cadmium, the process being carried out in a cadmium-free environment.

  2. Self-adaptive software needs quantitative verification at Radu Calinescu

    E-Print Network [OSTI]

    Oxford, University of

    , performance and operating cost (e.g., energy consumption) of software. These techniques include model checkingSelf-adaptive software needs quantitative verification at runtime Radu Calinescu Department 1: The world and the machine. [19, 30]. In contrast, several mathematically-based modelling

  3. Self-adaptive software needs quantitative verification at Radu Calinescu

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , performance and operating cost (e.g., energy consumption) of software. These techniques include model checkingSelf-adaptive software needs quantitative verification at runtime Radu Calinescu Department"#.&*#.+$ Figure 1: The world and the machine. [19, 30]. In contrast, several mathematically-based modelling

  4. Verification of Network Management System Configurations David L. Cohrs

    E-Print Network [OSTI]

    Miller, Barton P.

    , with the use of simple, ad hoc tools. However in a large network, managing the net- work management system the amount of sharing and coordination possible in configuring the net- work management system. EachVerification of Network Management System Configurations David L. Cohrs (608) 262-6617 dave

  5. Automated Verification of Practical Garbage Collectors Chris Hawblitzel

    E-Print Network [OSTI]

    Petrank, Erez

    Automated Verification of Practical Garbage Collectors Chris Hawblitzel Microsoft Research One Technion Haifa 32000 Israel erez@cs.technion.ac.il Abstract Garbage collectors are notoriously hard in reasoning about reachability in graphs. Several papers have presented verified collectors, but either

  6. Verification of Data-Aware Commitment-Based Multiagent System

    E-Print Network [OSTI]

    De Giacomo, Giuseppe

    on the dynamics of such systems, and on the evolution of their commitments. This requires to lift the commitment I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence--Multiagent Systems; D.2Verification of Data-Aware Commitment-Based Multiagent System Marco Montali Diego Calvanese KRDB

  7. CLOSED OPERATION OF MULTIVESSEL BATCH DISTILLATION -EXPERIMENTAL VERIFICATION

    E-Print Network [OSTI]

    Skogestad, Sigurd

    1 CLOSED OPERATION OF MULTIVESSEL BATCH DISTILLATION - EXPERIMENTAL VERIFICATION Submitted to AIChecient operation, multicomponent distillation, batch distillation, total re ux operation ABSTRACT. The multivessel batch distillation column, as well as conven- tional batch distillation, may be operated in a closed

  8. Combining Tools for the Verification of FaultTolerant Systems

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

    and verification of faulttolerant systems according to the invent&verify paradigm. Our method is based on the CSP specifications (CSP process terms), refinement relations or combinations of these three description formalisms specification paradigms ac cording to the specific needs of each development step is essential to cope

  9. Verification of Soundness and Other Properties of Business Processes

    E-Print Network [OSTI]

    Sidorova, Natalia

    2007 by Olivia Oanea. All Rights Reserved. CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN Oanea Oanea. Eindhoven : Technische Universiteit Eindhoven, 2007. Proefschrift. ISBN 978-90-386-11662 NUR 993 Dissertation Series D101 Printed by University Press Facilities, Eindhoven #12;Verification of Soundness

  10. Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems

    E-Print Network [OSTI]

    Mousavi, Mohammad

    Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems M. Atif TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m.atif@tue.nl M.R. Mousavi TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m

  11. MODELING AND VERIFICATION OF AN ATM PORT CONTROLLER IN VIS

    E-Print Network [OSTI]

    Tahar, Sofiène

    MODELING AND VERIFICATION OF AN ATM PORT CONTROLLER IN VIS Jianping Lu and Sofiène Tahar Dept port controller using model checking. The ATM port controller is part of the Cambridge Fairisle ATM on the model checking of the ATM port controller using the VIS tool from UC Berkeley. To this end, we

  12. Software Verification for Weak Memory via Program Transformation

    E-Print Network [OSTI]

    Krning, Daniel

    on a PowerPC cluster, due to the memory model. We study this bug in detail in Sec. 5. This observation handle the write atomicity relaxation of Power/ARM: generality remains a challenge. Since we want verification w.r.t. weak memory. We present experi- ments for a broad variety of models (from x86-TSO to Power

  13. Getting Out of the Way Safety Verification without Compromise

    E-Print Network [OSTI]

    Sivilotti, Paul

    verification of adaptive cruise control algorithms require both discrete braking modes and overly conservative conditions for adaptive cruise control algorithms that do not require discontinuous braking and also allow Assume global upper and lower braking bounds Assume worst-case scenario (WCS) Leader uses strongest

  14. 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

    June 2010 3D Scanning for Biometric Identification and Verification Project Leads Anselmo Lastra example the subject's face could be rapidly scanned while his or her smart-card ID is being examined, and the system could then match the scan with data on the ID); (b) identification at a secure site or even

  15. Quantitative verification of ab initio self-consistent laser theory

    E-Print Network [OSTI]

    Stone, A. Douglas

    1564 (1998). 6. O. Painter, R. K. Lee, A. Scherer, A. Yariv, J. D. O'Brien, P. D. Dapkus, and I. Kim, "TwoQuantitative verification of ab initio self-consistent laser theory Li Ge,1 Robert J. Tandy,1 Aureci, A. D. Stone, and B. Collier, "Self-consistent multimode lasing theory for complex or random lasing

  16. 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

  17. 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

  18. 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

  19. Precise Dynamic Verification of Noninterference Gurvan Le Guernic

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Precise Dynamic Verification of Noninterference Gurvan Le Guernic INRIA-MSR - Parc Orsay Universit analysis is used to analyze some un- executed pieces of code in order to take into account all types is that nowadays it is nearly impossible for consumers to prevent the execution of "bad" code on their devices

  20. Cleanup Verification Package for the 618-2 Burial Ground

    SciTech Connect (OSTI)

    W. S. Thompson

    2006-12-28T23:59:59.000Z

    This cleanup verification package documents completion of remedial action for the 618-2 Burial Ground, also referred to as Solid Waste Burial Ground No. 2; Burial Ground No. 2; 318-2; and Dry Waste Burial Site No. 2. This waste site was used primarily for the disposal of contaminated equipment, materials and laboratory waste from the 300 Area Facilities.

  1. Verification of Function Block Diagram through Verilog Translation

    E-Print Network [OSTI]

    safety became a critical issue in nuclear power plant area because tra- ditional analog systems are being, Sungdeok Cha1 , Junbeom Yoo2 , and Geeyoung Park3 1 Div. of Computer Science, Korea Advanced Institute Institute, Daejeon, Republic of Korea gypark@kaeri.re.kr Abstract. The formal verification of FBD program

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

    SciTech Connect (OSTI)

    H. M. Sulloway

    2008-10-02T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

    of refinement and verification steps. Concrete safety requirements are derived from an abstract version that can and a controller model introducing the safetyrelated control mechanisms as a separate entity monitoring if the costs for initial installation, operation and maintenance of the control system are low. Today

  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] transformation developed for the automotive industry [29]. More specifically, we check the correctness reported on such industrial expe- riences by discussing the effects of MDD and the issues that still need

  5. Towards automatic verification of ladder logic Bohumir Zoubek

    E-Print Network [OSTI]

    Oxford, University of

    Birmingham, B15 2TT United Kingdom Email: mzk@cs.bham.ac.uk Abstract-- Control system programs are usually techniques of automatic verification to a control program written in ladder logic. A model is constructed procedures for control programs. I. INTRODUCTION Control systems are used in many applications of process

  6. Parameterized Specification and Verification of PLC Systems in Coq

    E-Print Network [OSTI]

    Boyer, Edmond

    Parameterized Specification and Verification of PLC Systems in Coq Hai Wan D.CST, Tsinghua and verify PLC software systems with the theorem proving system Coq. Dependent inductive data types are har to cope with this situation, modular development of PLC software is adopted. During the modular

  7. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Improving large-sized PLC programs verification using abstractions V. Gourcuff O. de Smet J [2005]) models of PLC programs, which can be verified with well- known model-checkers, like UPPAAL the development of industrial PLC programs up to now (John- son [2007]). Several reasons can explain

  8. 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

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

    E-Print Network [OSTI]

    Encrenaz-Tiphne, 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

  10. 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 equation on high frequency wind turbine measurement data sampled at one sample per second or more. The aim's Nordtank wind turbine at the Risø site, the practical application of this new method was tested

  11. MEASUREMENT SENSITIVITY AND ACCURACY VERIFICATION FOR AN ANTENNA MEASUREMENT SYSTEM

    E-Print Network [OSTI]

    Arakaki, Dean Y.

    MEASUREMENT SENSITIVITY AND ACCURACY VERIFICATION FOR AN ANTENNA MEASUREMENT SYSTEM Newlyn Hui Luis Obispo, CA 93407 ABSTRACT An antenna measurement system was developed to complement a new an RF link budget is calculated to evaluate the performance of the antenna measurement system. Keywords

  12. 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

  13. Venus: Verification for Untrusted Cloud Storage Alexander Shraer

    E-Print Network [OSTI]

    Keidar, Idit

    Venus: Verification for Untrusted Cloud Storage Alexander Shraer Dept. of Electrical Engineering, Switzerland cca@zurich.ibm.com Asaf Cidon Dept. of Electrical Engineering Technion, Haifa, Israel asaf@cidon.com Idit Keidar Dept. of Electrical Engineering Technion, Haifa, Israel idish@ee.technion.ac.il Yan

  14. HEALTH AND ACCIDENT INSURANCE VERIFICATION ******************** TO BE COMPLETED BY STUDENT ********************

    E-Print Network [OSTI]

    Jawitz, James W.

    HEALTH AND ACCIDENT INSURANCE VERIFICATION ******************** TO BE COMPLETED BY STUDENT Services Office of the university of Florida requires that s/he has health and accident insurance with your participating in study abroad activate hold health and accident insurance with a minimum coverage of $200

  15. Multi-canister overpack project -- verification and validation, MCNP 4A

    SciTech Connect (OSTI)

    Goldmann, L.H.

    1997-11-10T23:59:59.000Z

    This supporting document contains the software verification and validation (V and V) package used for Phase 2 design of the Spent Nuclear Fuel Multi-Canister Overpack. V and V packages for both ANSYS and MCNP are included. Description of Verification Run(s): This software requires that it be compiled specifically for the machine it is to be used on. Therefore to facilitate ease in the verification process the software automatically runs 25 sample problems to ensure proper installation and compilation. Once the runs are completed the software checks for verification by performing a file comparison on the new output file and the old output file. Any differences between any of the files will cause a verification error. Due to the manner in which the verification is completed a verification error does not necessarily indicate a problem. This indicates that a closer look at the output files is needed to determine the cause of the error.

  16. Material Open Test Assembly Specimen Retrieval from Hanford's Shielded Material Facility

    SciTech Connect (OSTI)

    Valdez, Patrick LJ; Rinker, Michael W.

    2009-06-14T23:59:59.000Z

    Hanfords 324 Building, the Shielded Material Facility (SMF), was developed to provide containment for research and fabrication development studies on highly radioactive metallic and ceramic nuclear reactor fuels and structural materials. Between 1983 and 1992, the SMF was used in support of the Department of Energy (DOE)-funded Fast Flux Test Facility (FFTF) Materials Open Test Assembly (MOTA) program. In this program, metallurgical specimens were irradiated in FFTF and then sent to SMF for processing and storage in two cabinets. This effort was abruptly ended in early 1990s due to programmatic shifts within the DOE, leaving many specimens unexamined. In recent years, these specimens have become of high value to new DOE programs. Pacific Northwest National Laboratory (PNNL) was tasked with retrieving specimens from one of the cabinets in support of fuel clad and duct development for the Advanced Fuel Cycle Initiative. Cesium contamination of the cell and failure of the overhead crane system utilized for opening the cabinets prevented PNNL from using the built-in hot cell equipment to gain access to the cabinets. PNNL designed and tested a lifting device to fit through a standard 10 inch diameter mechanical manipulator port in the SMF South Cell wall. The tool was successfully deployed in June 2008 with the support of Washington Closure Hanford.

  17. Propagation of guided Lamb waves in bonded specimens using piezoelectric wafer active sensors

    E-Print Network [OSTI]

    Giurgiutiu, Victor

    Propagation of guided Lamb waves in bonded specimens using piezoelectric wafer active sensors and principles used for generation and propagation of ultrasonic guided waves (Lamb waves) using piezoelectric wafer active sensors (PWAS). Keywords: Ultrasonic, Lamb waves, Damage detection, NDE, Wave propagation

  18. An investigation of microstructures and yield strengths in irradiated austenitic stainless steels using small specimen techniques

    SciTech Connect (OSTI)

    Toloczko, M.B.; Lucas, G.E.; Odette, G.R. [Univ. of California, Santa Barbara, CA (United States). Dept. of Chemical and Nuclear Engineering; Stoller, R.E. [Oak Ridge National Lab., TN (United States); Hamilton, M.L. [Pacific Northwest Lab., Richland, WA (United States)

    1996-12-31T23:59:59.000Z

    Transmission electron microscopy (TEM) specimens of a first core heat of 316 stainless steel, in both the solution annealed and 20% cold worked condition, were irradiated to 46 dpa at 420 C, to 49 dpa at 520 C, and to 34 dpa at 600 C in FFTF/MOTA. Prior to irradiation, some of the specimens were pre-implanted with approximately 100 appm of helium over one-third of the specimen thickness. Microstructures and mechanical properties of these specimens were examined. Microstructural data was taken from unimplanted zones and were consistent with data in the literature for unimplanted 316 SS. Where possible, irradiation hardening of the alloys was experimentally evaluated by microhardness and shear punch. For comparison, irradiation hardening was also calculated using a barrier hardening model and the microstructural data. Experimentally measured values of yield stress were in agreement with the range of values reported in the literature regardless of helium pre-implantation and were similar to the calculated values.

  19. Focused ion beam specimen preparation for electron holography of electrically biased thin film solar cells

    E-Print Network [OSTI]

    Dunin-Borkowski, Rafal E.

    solar cells M. Duchamp1 , M. den Hertog2 , R. Imlau1 , C. B. Boothroyd1 , A. Kovcs1 , A. H. Tavabi1, biased TEM specimen, thin film solar cell, FIB Thin films of hydrogenated Si (Si:H) can be used as active absorber layers in solar cells deposited on low cost substrates using plasma-enhanced chemical vapour

  20. Fracture toughness testing of Linde 1092 reactor vessel welds in the transition range using Charpy-sized specimens

    SciTech Connect (OSTI)

    Pavinich, W.A. [Framatome Technologies Inc., Knoxville, TN (United States); Yoon, K.K. [Framatome Technologies Inc., Lynchburg, VA (United States); Hour, K.Y. [Babcock and Wilcox Co., Lynchburg, VA (United States). Research and Development Div.; Hoffman, C.L. [ABB-CE, Windsor, CT (United States)

    1999-10-01T23:59:59.000Z

    The present reference toughness method for predicting the change in fracture toughness can provide over estimates of these values because of uncertainties in initial RT{sub NDT} and shift correlations. It would be preferable to directly measure fracture toughness. However, until recently, no standard method was available to characterize fracture toughness in the transition range. ASTM E08 has developed a draft standard that shows promise for providing lower bound transition range fracture toughness using the master curve approach. This method has been successfully implemented using 1T compact fracture specimens. Combustion Engineering reactor vessel surveillance programs do not have compact fracture specimens. Therefore, the CE Owners Group developed a program to validate the master curve method for Charpy-sized and reconstituted Charpy-sized specimens for future application on irradiated specimens. This method was validated for Linde 1092 welds using unirradiated Charpy-sized and reconstituted Charpy-sized specimens by comparison of results with those from compact fracture specimens.

  1. Apparatus for pre-stress-straining rod-type specimens in tension for in-situ passive fracture testing

    DOE Patents [OSTI]

    Wang, John Jy-an (Oak Ridge, TN); Liu, Ken C. (Oak Ridge, TN); Feng, Zhili (Knoxville, TN)

    2013-07-31T23:59:59.000Z

    A stress-strain testing apparatus imposes a stress-strain on a specimen while disposed in a controlled environment. Each end of the specimen is fastened to an end cap and a strain gage is attached to the specimen. An adjusting mechanism and a compression element are disposed between the end caps forming a frame for applying forces to the end caps and thereby stress-straining the specimen. The adjusting mechanism may be extended or retracted to increase or decrease the imposed stress-strain on the specimen, and the stress-strain is measured by the strain gage on the specimen while the apparatus is exposed to an environment such as high pressure hydrogen. Strain gages may be placed on the frame to measure stress-strains in the frame that may be caused by the environment.

  2. A study of the variation of the stress concentration due to an inclusion in a tensile specimen

    E-Print Network [OSTI]

    Coppinger, John Timothy

    1967-01-01T23:59:59.000Z

    A S'1'UDY OF TH1. , VARIATION OF THE STRFSS CONCE1&lTRATION DUF. TO AN INCLUSION IN A TENSILE SPECIMEN A Thesis by JOHN TIiviOTIIY COPPINGER Submitted to the Graduate College of the Texas ALM University ir oartial fulfillment... in the Specimen Containing the 5/32 Diameter Inclusion 13 Calculation of the Maximum Principal Stress in th Specimen Containing the 5/1 6 Diamet, er Inclusion 1 4 Calculation of the Maximum Principal Stress in the Specimen Containing the 13/16 Die...

  3. A study of the variation of the stress concentration due to an inclusion in a tensile specimen

    E-Print Network [OSTI]

    Coppinger, John Timothy

    1967-01-01T23:59:59.000Z

    A S'1'UDY OF TH1. , VARIATION OF THE STRFSS CONCE1&lTRATION DUF. TO AN INCLUSION IN A TENSILE SPECIMEN A Thesis by JOHN TIiviOTIIY COPPINGER Submitted to the Graduate College of the Texas ALM University ir oartial fulfillment... in the Specimen Containing the 5/32 Diameter Inclusion 13 Calculation of the Maximum Principal Stress in th Specimen Containing the 5/1 6 Diamet, er Inclusion 1 4 Calculation of the Maximum Principal Stress in the Specimen Containing the 13/16 Die...

  4. Specification and Verification of Context-dependent Services

    E-Print Network [OSTI]

    Ibrahim, Naseem; Mohammad, Mubarak; 10.4204/EPTCS.61.2

    2011-01-01T23:59:59.000Z

    Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.

  5. Experimental device-independent verification of quantum steering

    E-Print Network [OSTI]

    Sacha Kocsis; Michael J. W. Hall; Adam J. Bennet; Dylan J. Saunders; G. J. Pryde

    2014-08-07T23:59:59.000Z

    Bell nonlocality between distant quantum systems---i.e., joint correlations which violate a Bell inequality---can be verified without trusting the measurement devices used, nor those performing the measurements. This leads to unconditionally secure protocols for quantum information tasks such as cryptographic key distribution. However, complete verification of Bell nonlocality requires high detection efficiencies, and is not robust to the typical transmission losses that occur in long distance applications. In contrast, quantum steering, a weaker form of quantum correlation, can be verified for arbitrarily low detection efficiencies and high losses. The cost is that current steering-verification protocols require complete trust in one of the measurement devices and its operator, allowing only one-sided secure key distribution. We present device-independent steering protocols that remove this need for trust, even when Bell nonlocality is not present. We experimentally demonstrate this principle for singlet states and states that do not violate a Bell inequality.

  6. FRACTURE MECHANICS APPROACH TO ESTIMATE FATIGUE LIVES OF WELDED LAP-SHEAR SPECIMENS

    SciTech Connect (OSTI)

    Lam, P.; Michigan, J.

    2014-04-25T23:59:59.000Z

    A full range of stress intensity factor solutions for a kinked crack is developed as a function of weld width and the sheet thickness. When used with the associated main crack solutions (global stress intensity factors) in terms of the applied load and specimen geometry, the fatigue lives can be estimated for the laser-welded lap-shear specimens. The estimations are in good agreement with the experimental data. A classical solution for an infinitesimal kink is also employed in the approach. However, the life predictions tend to overestimate the actual fatigue lives. The traditional life estimations with the structural stress along with the experimental stress-fatigue life data (S-N curve) are also provided. In this case, the estimations only agree with the experimental data under higher load conditions.

  7. Fabrication of specimens with controlled flaws for procedure development and personnel training and qualification

    SciTech Connect (OSTI)

    Edwards, R.L.; Watson, P.D.; Gruber, G.J. [Southwest Research Inst., San Antonio, TX (United States)

    1994-12-31T23:59:59.000Z

    Over the years, instances of service-induced flaws in vessel and piping components have prompted many utilities to acquire full-scale mockups to demonstrate the performance of nondestructive evaluation (NDE) procedures. Also, the newly invoked Appendix 8 requirement to the 1989 Section 11 ASME Code requires qualification of equipment, procedures, and personnel utilizing full-scale test specimens with actual flaws. This has increased the need for flaws that can be produced and accurately controlled in various test specimens. The typical service-induced flaws may consist of one of the following, depending on the material type and service conditions: mechanical fatigue; thermal fatigue; intergranular stress-corrosion (IGSC) cracking; and weld-induced flaws (during manufacture) such as slag, porosity, or incomplete fusion.

  8. Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

    E-Print Network [OSTI]

    Cheng, Chih-Hong; Esparza, Javier; Knoll, Alois

    2009-01-01T23:59:59.000Z

    The increasing use of model-based tools enables further use of formal verification techniques in the context of distributed real-time systems. To avoid state explosion, it is necessary to construct a verification model that focuses on the aspects under consideration. In this paper, we discuss how we construct a verification model for timing analysis in distributed real-time systems. We (1) give observations concerning restrictions of timed automata to model these systems, (2) formulate mathematical representations how to perform model-to-model transformation to derive verification models from system models, and (3) propose some theoretical criteria how to reduce the model size. The latter is in particular important, as for the verification of complex systems, an efficient model reflecting the properties of the system under consideration is equally important to the verification algorithm itself. Finally, we present an extension of the model-based development tool FTOS, designed to develop fault-tolerant system...

  9. 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-01T23:59:59.000Z

    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

  10. Direct experimental verification of quantum commutation relations for Pauli operators

    E-Print Network [OSTI]

    Xing-Can Yao; Jaromir Fiurasek; He Lu; Wei-Bo Gao; Yu-Ao Chen; Zeng-Bing Chen; Jian-Wei Pan

    2010-02-08T23:59:59.000Z

    We propose and demonstrate scheme for direct experimental testing of quantum commutation relations for Pauli operators. The implemented device is an advanced quantum processor that involves two programmable quantum gates. Depending on a state of two-qubit program register, we can test either commutation or anti-commutation relations. Very good agreement between theory and experiment is observed, indicating high-quality performance of the implemented quantum processor and reliable verification of commutation relations for Pauli operators.

  11. Cleanup Verification Package for the 618-8 Burial Ground

    SciTech Connect (OSTI)

    M. J. Appel

    2006-08-10T23:59:59.000Z

    This cleanup verification package documents completion of remedial action for the 618-8 Burial Ground, also referred to as the Solid Waste Burial Ground No. 8, 318-8, and the Early Solid Waste Burial Ground. During its period of operation, the 618-8 site is speculated to have been used to bury uranium-contaminated waste derived from fuel manufacturing, and construction debris from the remodeling of the 313 Building.

  12. An on-line human signature verification system

    E-Print Network [OSTI]

    Simsek, Burc A

    2000-01-01T23:59:59.000Z

    of Prisons Other Prisons U. S. Department of State U. S. Department of Treasury Internal Revenue Service U. S. Secret Service Bureau of Printing and Engraving Border Patrol evaluating facial imaging, voice verification, hand geometry, and finger... for smart gun technology. A smart gun incorporates, for example, biometric technology into the operating system of a firearm to restrict the firing of the weapon to authorized users. Finger imaging to secure access to information about narcotics Hand...

  13. 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-04T23:59:59.000Z

    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.

  14. Cleanup Verification Package for the118-F-2 Burial Ground

    SciTech Connect (OSTI)

    J. M. Capron and K. A. Anselm

    2008-02-21T23:59:59.000Z

    This cleanup verification package documents completion of remedial action, sampling activities, and compliance with cleanup criteria for the 118-F-2 Burial Ground. This burial ground, formerly called Solid Waste Burial Ground No. 1, was the original solid waste disposal site for the 100-F Area. Eight trenches contained miscellaneous solid waste from the 105-F Reactor and one trench contained solid waste from the biology facilities.

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

    SciTech Connect (OSTI)

    M. J. Appel

    2006-09-12T23:59:59.000Z

    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.

  16. Nano-Continuum Modeling of a Nuclear Glass Specimen Altered for 25 Years

    SciTech Connect (OSTI)

    Steefel, Carl

    2014-01-06T23:59:59.000Z

    The purpose of this contribution is to report on preliminary nano-continuum scale modeling of nuclear waste glass corrosion. The focus of the modeling is an experiment involving a French glass SON68 specimen leached for 25 years in a granitic environment. In this report, we focus on capturing the nano-scale concentration profiles. We use a high resolution continuum model with a constant grid spacing of 1 nanometer to investigate the glass corrosion mechanisms.

  17. Development of Mechanical Systems for Automated Medical Slide Specimen Storage and Retrieval

    E-Print Network [OSTI]

    Wurtz, Joshua James

    2014-05-31T23:59:59.000Z

    different types of fields. It is only natural that automation and robotics would have endless possibilities for application in the medical field [1]. Human tellers were replaced by automated machines at banks and automated switch boards replaced human... ON EXISTING APPLICATIONS OF RELATED MEDICAL AUTOMATION Automation in clinical laboratories got its start in the early 1980s when robotic technology had advanced enough to be viable for specimen handling [2,4]. Since then many different versions...

  18. Notch reorientation of Charpy-V specimens of the BWR Philippsburg 1 through reconstitution

    SciTech Connect (OSTI)

    Walle, E. van; Fabry, A.; Ransbeeck, T. van; Puzzolante, J.L.; Velde, J. van de [SCK-CEN, Mol (Belgium); Tulke, K. [Kernkraftwerk Philippsburg Gmbh (Germany). Div. Nuclear Technology; Backfisch, W. [TUV Suedwest e.V., Mannheim (Germany). Div. Nuclear Technology and Radiation Protection

    1996-12-31T23:59:59.000Z

    10 x 10 x 10 mm cubes, made from broken halves of un-irradiated and irradiated L-T oriented Charpy-V surveillance specimens of the Boiling Water Reactor (BWR) Philippsburg 1, were reconstituted to L-T and T-L oriented Charpy-V bars using the stud-gun welding technique of the Belgian Nuclear Research Centre SCK-CEN. Instrumented Charpy-V (C{sub V}) impact testing, according to the European Standard EN10045, was performed in order to determine the T-L transition curves of the reconstituted surveillance material. Losses of fracture energy and lateral expansion, mainly as a consequence of constraint of plastic flow due to the reconstitution welds, were detected. No change in shear fracture appearance was observed. The transition curves of the tested T-L reconstituted specimens represent conservative lower bounds that fulfill the C{sub V} upper shelf energy requirements of the Regulator. A correction curve allows estimation of the T-L transition curves of non-reconstituted T-L specimens.

  19. Manipulator having thermally conductive rotary joint for transferring heat from a test specimen

    DOE Patents [OSTI]

    Haney, S.J.; Stulen, R.H.; Toly, N.F.

    1983-05-03T23:59:59.000Z

    A manipulator for rotatably moving a test specimen in an ultra-high vacuum chamber includes a translational unit movable in three mutually perpendicular directions. A manipulator frame is rigidly secured to the translational unit for rotatably supporting a rotary shaft. A first copper disc is rigidly secured to an end of the rotary shaft for rotary movement within the vacuum chamber. A second copper disc is supported upon the first disc. The second disc receives a cryogenic cold head and does not rotate with the first disc. The second disc receives a cryogenic cold head and does not rotate with the first disc. A sapphire plate is interposed between the first and second discs to prevent galling of the copper material while maintaining high thermal conductivity between the first and second discs. A spring is disposed on the shaft to urge the second disc toward the first disc and compressingly engage the interposed sapphire plate. A specimen mount is secured to the first disc for rotation within the vacuum chamber. The specimen maintains high thermal conductivity with the second disc receiving the cryogenic transfer line.

  20. Manipulator having thermally conductive rotary joint for transferring heat from a test specimen

    DOE Patents [OSTI]

    Haney, Steven J. (Tracy, CA); Stulen, Richard H. (Livermore, CA); Toly, Norman F. (Livermore, CA)

    1985-01-01T23:59:59.000Z

    A manipulator for rotatably moving a test specimen in an ultra-high vacuum chamber includes a translational unit movable in three mutually perpendicular directions. A manipulator frame is rigidly secured to the translational unit for rotatably supporting a rotary shaft. A first copper disc is rigidly secured to an end of the rotary shaft for rotary movement within the vacuum chamber. A second copper disc is supported upon the first disc. The second disc receives a cryogenic cold head and does not rotate with the first disc. A sapphire plate is interposed between the first and second discs to prevent galling of the copper material while maintaining high thermal conductivity between the first and second discs. A spring is disposed on the shaft to urge the second disc toward the first disc and compressingly engage the interposed sapphire plate. A specimen mount is secured to the first disc for rotation within the vacuum chamber. The specimen maintains high thermal conductivity with the second disc receiving the cryogenic transfer line.

  1. Load apparatus and method for bolt-loaded compact tension test specimen

    DOE Patents [OSTI]

    Buescher, B.J. Jr.; Lloyd, W.R.; Ward, M.B.; Epstein, J.S.

    1997-02-04T23:59:59.000Z

    A bolt-loaded compact tension test specimen load apparatus includes: (a) a body having first and second opposing longitudinal ends, the first end comprising an externally threaded portion sized to be threadedly received within the test specimen threaded opening; (b) a longitudinal loading rod having first and second opposing longitudinal ends, the loading rod being slidably received in a longitudinal direction within the body internally through the externally threaded portion and slidably extending longitudinally outward of the body first longitudinal end; (c) a force sensitive transducer slidably received within the body and positioned to engage relative to the loading rod second longitudinal end; and (d) a loading bolt threadedly received relative to the body, the loading bolt having a bearing end surface and being positioned to bear against the transducer to forcibly sandwich the transducer between the loading bolt and loading rod. Also disclosed is a method of in situ determining applied force during crack propagation in a bolt-loaded compact tension test specimen. 6 figs.

  2. Load apparatus and method for bolt-loaded compact tension test specimen

    DOE Patents [OSTI]

    Buescher, Jr., Brent J. (Idaho Falls, ID); Lloyd, W. Randolph (Idaho Falls, ID); Ward, Michael B. (Idaho Falls, ID); Epstein, Jonathan S. (Idaho Falls, ID)

    1997-01-01T23:59:59.000Z

    A bolt-loaded compact tension test specimen load apparatus includes: a) a body having first and second opposing longitudinal ends, the first end comprising an externally threaded portion sized to be threadedly received within the test specimen threaded opening; b) a longitudinal loading rod having first and second opposing longitudinal ends, the loading rod being slidably received in a longitudinal direction within the body internally through the externally threaded portion and slidably extending longitudinally outward of the body first longitudinal end; c) a force sensitive transducer slidably received within the body and positioned to engage relative to the loading rod second longitudinal end; and d) a loading bolt threadedly received relative to the body, the loading bolt having a bearing end surface and being positioned to bear against the transducer to forcibly sandwich the transducer between the loading bolt and loading rod. Also disclosed is a method of in situ determining applied force during crack propagation in a bolt-loaded compact tension test specimen.

  3. Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

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

    2008-03-31T23:59:59.000Z

    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. 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-22T23:59:59.000Z

    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.

  5. Verification and validation guidelines for high integrity systems. Volume 1

    SciTech Connect (OSTI)

    Hecht, H.; Hecht, M.; Dinsmore, G.; Hecht, S.; Tang, D. [SoHaR, Inc., Beverly Hills, CA (United States)

    1995-03-01T23:59:59.000Z

    High integrity systems include all protective (safety and mitigation) systems for nuclear power plants, and also systems for which comparable reliability requirements exist in other fields, such as in the process industries, in air traffic control, and in patient monitoring and other medical systems. Verification aims at determining that each stage in the software development completely and correctly implements requirements that were established in a preceding phase, while validation determines that the overall performance of a computer system completely and correctly meets system requirements. Volume I of the report reviews existing classifications for high integrity systems and for the types of errors that may be encountered, and makes recommendations for verification and validation procedures, based on assumptions about the environment in which these procedures will be conducted. The final chapter of Volume I deals with a framework for standards in this field. Volume II contains appendices dealing with specific methodologies for system classification, for dependability evaluation, and for two software tools that can automate otherwise very labor intensive verification and validation activities.

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

    SciTech Connect (OSTI)

    George L Mesina; David Aumiller; Francis Buschman

    2014-07-01T23:59:59.000Z

    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.

  7. US and UK release joint report on nuclear arms control verification...

    National Nuclear Security Administration (NNSA)

    release joint report on nuclear arms control verification | National Nuclear Security Administration Facebook Twitter Youtube Flickr RSS People Mission Managing the Stockpile...

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-05-24T23:59:59.000Z

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

  9. REVISED INDEPENDENT VERIFICATION SURVEY OF A AND B RADIOACTIVE WASTE TRANSFER LINES TRENCH BROOKHAVEN NATIONAL LABORATORY

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-02-10T23:59:59.000Z

    REVISED INDEPENDENT VERIFICATION SURVEY OF THE A AND B RADIOACTIVE WASTE TRANSFER LINES TRENCH, BROOKHAVEN NATIONAL LABORATORY 5062-SR-01-1

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-07-21T23:59:59.000Z

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

  11. Test of a Multilayer Dose-Verification Gaseous Detector with Raster Scan Mode Proton Beams

    E-Print Network [OSTI]

    Lee, Kyong Sei; Han, Youngyih; Hong, Byungsik; Kang, Minho; Kim, Sang Yeol; Lee, Seunkyung; Park, Sung Keun

    2015-01-01T23:59:59.000Z

    A multilayer gaseous detector has been developed for the fast dose-verification measurements of raster-scan-mode therapeutic beams in particle therapy.

  12. 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

  13. Formal Verification of the Island Tunnel Controller using Multiway Decision Graphs

    E-Print Network [OSTI]

    Tahar, Sofine

    experiments on the ITC example including combinational verification, invariant checking and behavioral enumeration. This algorithm verifies whether an invariant holds in all reachable states of an abstract state

  14. Effect of coating time on corrosion behavior of electroless nickel-phosphorus coated powder metallurgy iron specimens

    SciTech Connect (OSTI)

    Singh, D.; Balasubramaniam, R.; Dube, R.K. [Indian Inst. of Tech., Kanpur (India). Dept. of Materials and Metallurgical Engineering

    1995-08-01T23:59:59.000Z

    Powder metallurgy iron specimens with porosities in the range 0% to 2% were electroless coated with nickel-phosphorus alloy from baths containing sodium hypophosphite (NaH{sub 2}PO{sub 2}{center_dot}H{sub 2}O). The effect of coating time on thickness and phosphorus content of the deposit was analyzed. The free corrosion potentials and corrosion rates of the coated specimens were obtained by the Tafel extrapolation method in 1.0 M hydrochloric acid (HCl) solution. Corrosion rates of the coated specimens after heat treatment also were studied. The observed corrosion characteristics were explained by the mixed-potential theory.

  15. Field Notebook and Specimen Catalog, Numbers 1101-1707 [2468] (1935-1936)

    E-Print Network [OSTI]

    Davis, William B.

    2012-04-09T23:59:59.000Z

    Field Uotes of W. B. Davis 1935 California-Idaho pp. 313-454. F 455-509 Field Nos. 110l-i58l j 1582-1707 All specimens from Idaho in M.V.Z. _________ 5S9I - ? . . ' - ' . ? . - - . . ? , i o e ldU ::,'oce II/. W.B. Davis l935 1101....) Feb. 9, 1935. 1105? Peromyscus c. parasiticus (2 ^*^b x 33) 274-140-27-24 1106? Peromyscus t . gilberti (pregnant but embs. too small to measure) 195-92-25-21 Grizzly Peak, l-? mi. EKE Berkeley, Alameda Co., Calif. Feb. 16, 1107

  16. A Flexible simulation and verification framework for next generation hybrid pixel readout chips in High Energy Physics

    E-Print Network [OSTI]

    Marconi, Sara

    A Flexible simulation and verification framework for next generation hybrid pixel readout chips in High Energy Physics

  17. 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-06T23:59:59.000Z

    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 facilitys 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, todays U-235 enrichment assay performance. PNNLs 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 todays 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 concepts viability, particularly through a better understanding of the U-234/U-235 ratio variability in modern enrichment plants.

  18. Formal Verification of CHP Specifications with CADP, Illustration on an Asynchronous Network-on-Chip

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    Formal Verification of CHP Specifications with CADP, Illustration on an Asynchronous Network of the Presentation · Introduction · Translation from CHP to LOTOS · CADP toolbox overview · Verification of ANOC Context & Objective process calculus CHP Petri nets process calculus LOTOS (CEA/Leti) translation

  19. Department of Computer Science & Engineering Scheduling Design and Verification for Open Soft Real-time Systems

    E-Print Network [OSTI]

    Smart, William

    Soft Real-time Systems Authors: Robert Glaubius, Terry Tidwell,William D. Smart, and Christopher Gill and verification approach for open soft real-time systems, that can use different decision models, e.g., a Markov of scheduling policies for open soft real-time systems. #12;Scheduling Design and Verification for Open Soft

  20. 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/24/2009 The following guidelines have been set to establish the eligibility of individual test kits for participation in the ETV ESTE verification test of lead paint test kits. Test kits must conform to the following guidelines

  1. 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

  2. Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1

    E-Print Network [OSTI]

    Young, R. Michael

    Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1 , D. Richard. In this paper, we propose a new general approach for property verification for access control models via model checking. The approach defines a standardized structure for access control models, providing for both

  3. Comparisonbased File Server Verification YuenLin Tan # , Terrence Wong, John D. Strunk, Gregory R. Ganger

    E-Print Network [OSTI]

    Comparisonbased File Server Verification YuenLin Tan # , Terrence Wong, John D. Strunk, Gregory R. Ganger Carnegie Mellon University Abstract Comparisonbased server verification involves testing a server by comparing its responses to those of a refer ence server. An intermediary, called a ``server Tee,'' in

  4. Comments for A Conference on Verification in the 21st Century

    SciTech Connect (OSTI)

    Doyle, James E. [Los Alamos National Laboratory

    2012-06-12T23:59:59.000Z

    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.

  5. Coverage Metrics for Verification of Concurrent SystemC Designs Using Mutation Testing

    E-Print Network [OSTI]

    Sen, Alper

    Coverage Metrics for Verification of Concurrent SystemC Designs Using Mutation Testing Alper Sen Department of Computer Engineering Bogazici University Istanbul, Turkey Email: alper.sen@boun.edu.tr Magdy S is not adequate for a concurrent program. A major problem with design verification of concurrent systems

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

    E-Print Network [OSTI]

    A Verification Framework for FBD based Software in Nuclear Power Plants Junbeom Yoo Div, conducted using a nuclear power plant shutdown system being developed in Korea, demonstrated in nuclear power plant's reactor protection systems. The software verification framework uses two different

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. Foundations of Software Technology and Theoretical Computer Science (2009) Submission Deductive Verification of Continuous

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01T23:59:59.000Z

    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

  13. Lifecycle Verification of the NASA Ames K9 Rover Executive Dimitra Giannakopoulou1, 3

    E-Print Network [OSTI]

    Pasareanu, Corina

    , it shows that when verification proceeds hand-in-hand with software development throughout the lifecycle phases of software development, i.e. at design and implementation phases of the software lifecycle. Use-hand with later phases of software development. Figure 1. Compositional verification throughout the software

  14. Commissioning and Verification Procedures for the Automated Roller Shade System at

    E-Print Network [OSTI]

    Commissioning and Verification Procedures for the Automated Roller Shade System at The New York for verification testing of a newly installed automated roller shade system. The automated roller shade system has-available system works prior to building occupancy. A high dynamic range luminance measurement tool, developed

  15. Automatic Conversion Software for the Safety Verification of Goal-based Control Programs

    E-Print Network [OSTI]

    Murray, Richard M.

    , an automatic software algorithm for converting goal network control programs into linear hybrid systemsAutomatic Conversion Software for the Safety Verification of Goal-based Control Programs Julia M. B. Braman and Richard M. Murray Abstract-- Fault tolerance and safety verification of control systems

  16. Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs

    E-Print Network [OSTI]

    Murray, Richard M.

    Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs Julia M. B tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion

  17. Verification of Workflow Nets W.M.P. van der Aalst

    E-Print Network [OSTI]

    van der Aalst, Wil

    Verification of Workflow Nets W.M.P. van der Aalst Eindhoven University of Technology, P.O. Box 513 we focus on a class of Petri nets suitable for the representation, validation and verification of these proce- dures. We will show that the correctness of a procedure represented by such a Petri net can

  18. Assessing Quality of Policy Properties in Verification of Access Control Policies

    E-Print Network [OSTI]

    Young, R. Michael

    Assessing Quality of Policy Properties in Verification of Access Control Policies Evan Martin Tao, which are often manually specified. Policy verification is an important tech- nique for high assurance and hardware resources, especially for distributed systems. It controls which principals such as users

  19. And-Invert-Graphs (AIGs) for Equivalence Verification, SAT Modulo Theory (SMT) Solvers, and the Motivation

    E-Print Network [OSTI]

    Kalla, Priyank

    And-Invert-Graphs (AIGs) for Equivalence Verification, SAT Modulo Theory (SMT) Solvers-learning Key idea: identify internal structural equivalences P. Kalla (Univ. of Utah) AIGs, SMT, Algebra of transformations Verification = reverse these transformations? Kind of... P. Kalla (Univ. of Utah) AIGs, SMT

  20. Verification of hourly forecasts of wind turbine power output

    SciTech Connect (OSTI)

    Wegley, H.L.

    1984-08-01T23:59:59.000Z

    A verification of hourly average wind speed forecasts in terms of hourly average power output of a MOD-2 was performed for four sites. Site-specific probabilistic transformation models were developed to transform the forecast and observed hourly average speeds to the percent probability of exceedance of an hourly average power output. (This transformation model also appears to have value in predicting annual energy production for use in wind energy feasibility studies.) The transformed forecasts were verified in a deterministic sense (i.e., as continuous values) and in a probabilistic sense (based upon the probability of power output falling in a specified category). Since the smoothing effects of time averaging are very pronounced, the 90% probability of exceedance was built into the transformation models. Semiobjective and objective (model output statistics) forecasts were made compared for the four sites. The verification results indicate that the correct category can be forecast an average of 75% of the time over a 24-hour period. Accuracy generally decreases with projection time out to approx. 18 hours and then may increase due to the fairly regular diurnal wind patterns that occur at many sites. The ability to forecast the correct power output category increases with increasing power output because occurrences of high hourly average power output (near rated) are relatively rare and are generally not forecast. The semiobjective forecasts proved superior to model output statistics in forecasting high values of power output and in the shorter time frames (1 to 6 hours). However, model output statistics were slightly more accurate at other power output levels and times. Noticeable differences were observed between deterministic and probabilistic (categorical) forecast verification results.

  1. 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-02T23:59:59.000Z

    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 controllers 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.

  2. Employment Verification Form The University of Florida Human Resource Services uses The Work Number to provide employment

    E-Print Network [OSTI]

    Mazzotti, Frank

    Rev. 2/14 Employment Verification Form The University of Florida Human Resource Services uses The Work Number to provide employment verifications for current and former employees who terminated-800-367-5690 to obtain employment verification. For more information regarding The Work Number, or UF employment

  3. 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-29T23:59:59.000Z

    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.

  4. Guaranteed Verification of Finite Element Solutions of Heat Conduction

    E-Print Network [OSTI]

    Wang, Delin

    2012-07-16T23:59:59.000Z

    Engineering iii ABSTRACT Guaranteed Verification of Finite Element Solutions of Heat Conduction. (May 2011) Delin Wang, B.E., Qingdao University of Science & Technology, China; M.S., Jilin University, China; M.E., Texas A&M University Chair of Advisory... level and ? ky kx is the characteristic thickness of the boundary layer. . . . . 37 3.5 Model problem with interface layer. The relative value of the energy norm of the error ErelU = ||eSp?h ||U / ||uEX||U? 100% versus #15; for n = 1, 2, 3...

  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-27T23:59:59.000Z

    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. Cleanup Verification Package for the 116-K-2 Effluent Trench

    SciTech Connect (OSTI)

    J. M. Capron

    2006-04-04T23:59:59.000Z

    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.

  7. Cleanup Verification Package for the 118-F-1 Burial Ground

    SciTech Connect (OSTI)

    E. J. Farris and H. M. Sulloway

    2008-01-10T23:59:59.000Z

    This cleanup verification package documents completion of remedial action for the 118-F-1 Burial Ground on the Hanford Site. This burial ground is a combination of two locations formerly called Minor Construction Burial Ground No. 2 and Solid Waste Burial Ground No. 2. This waste site received radioactive equipment and other miscellaneous waste from 105-F Reactor operations, including dummy elements and irradiated process tubing; gun barrel tips, steel sleeves, and metal chips removed from the reactor; filter boxes containing reactor graphite chips; and miscellaneous construction solid waste.

  8. Design verification and cold-flow modeling test report

    SciTech Connect (OSTI)

    Not Available

    1993-07-01T23:59:59.000Z

    This report presents a compilation of the following three test reports prepared by TRW for Alaska Industrial Development and Export Authority (AIDEA) as part of the Healy Clean Coal Project, Phase 1 Design of the TRW Combustor and Auxiliary Systems, which is co-sponsored by the Department of Energy under the Clean Coal Technology 3 Program: (1) Design Verification Test Report, dated April 1993, (2) Combustor Cold Flow Model Report, dated August 28, 1992, (3) Coal Feed System Cold Flow Model Report, October 28, 1992. In this compilation, these three reports are included in one volume consisting of three parts, and TRW proprietary information has been excluded.

  9. An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems

    E-Print Network [OSTI]

    Borgatti, M; Rossi, U; Lambert, J -L; Moussa, I; Fummi, F; Pravadelli, G

    2011-01-01T23:59:59.000Z

    Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerful computing engine (typically hardware). In this context, programmable HW and dynamic reconfiguration allow novel approaches to the migration of algorithms from SW to HW. Thus, in the frame of the Symbad project, we propose an industrial design flow for reconfigurable SoC's. The goal of Symbad consists of developing a system level design platform for hardware and software SoC systems including formal and semi-formal verification techniques.

  10. ICDF Complex Waste Profile and Verification Sample Guidance

    SciTech Connect (OSTI)

    W. M. Heileson

    2006-10-01T23:59:59.000Z

    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

  11. 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-01T23:59:59.000Z

    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)

  12. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01T23:59:59.000Z

    Most of CERNs 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.

  13. 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-01T23:59:59.000Z

    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.

  14. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  15. cDNA Microarray Analysis of Serially Sampled Cervical Cancer Specimens From Patients Treated With Thermochemoradiotherapy

    SciTech Connect (OSTI)

    Borkamo, Erling Dahl, E-mail: borkamo@gmail.co [Section of Oncology, Institute of Medicine, University of Bergen, Bergen (Norway); Center for Medical Genetics and Molecular Medicine, Haukeland University Hospital, Bergen (Norway); Schem, Baard-Christian [Department of Oncology and Medical Physics, Haukeland University Hospital, Bergen (Norway); Fluge, Oystein; Bruland, Ove [Center for Medical Genetics and Molecular Medicine, Haukeland University Hospital, Bergen (Norway); Department of Oncology and Medical Physics, Haukeland University Hospital, Bergen (Norway); Dahl, Olav; Mella, Olav [Section of Oncology, Institute of Medicine, University of Bergen, Bergen (Norway); Department of Oncology and Medical Physics, Haukeland University Hospital, Bergen (Norway)

    2009-12-01T23:59:59.000Z

    Purpose: To elucidate changes in gene expression after treatment with regional thermochemoradiotherapy in locally advanced squamous cell cervical cancer. Methods and Materials: Tru-Cut biopsy specimens were serially collected from 16 patients. Microarray gene expression levels before and 24 h after the first and second trimodality treatment sessions were compared. Pathway and network analyses were conducted by use of Ingenuity Pathways Analysis (IPA; Ingenuity Systems, Redwood City, CA). Single gene expressions were analyzed by quantitative real-time reverse transcription-polymerase chain reaction. Results: We detected 53 annotated genes that were differentially expressed after trimodality treatment. Central in the three top networks detected by IPA were interferon alfa, interferon beta, and interferon gamma receptor; nuclear factor kappaB; and tumor necrosis factor, respectively. These genes encode proteins that are important in regulation cell signaling, proliferation, gene expression, and immune stimulation. Biological processes over-represented among the 53 genes were fibrosis, tumorigenesis, and immune response. Conclusions: Microarrays showed minor changes in gene expression after thermochemoradiotherapy in locally advanced cervical cancer. We detected 53 differentially expressed genes, mainly involved in fibrosis, tumorigenesis, and immune response. A limitation with the use of serial biopsy specimens was low quality of ribonucleic acid from tumors that respond to highly effective therapy. Another 'key limitation' is timing of the post-treatment biopsy, because 24 h may be too late to adequately assess the impact of hyperthermia on gene expression.

  16. Apparatuses for prestressing rod-type specimens in torsion for in-situ passive fracture toughness testing in an extremely high-pressure environment of hydrogen

    DOE Patents [OSTI]

    Wang, Jy-an (Oak Ridge, TN); Liu, Ken C. (Oak Ridge, TN); Feng, Zhili (Knoxville, TN)

    2012-05-15T23:59:59.000Z

    An in-situ specimen fixture particularly adapted for prestressing rod-type SNTT-type specimens comprising a tube and end cap wherein the specimen is secured at one end to the tube, and at the opposite end to the end cap. The end cap is rotatable relative to the tube, and may be fixedly secured for creating a torsional force prestressing the specimen enclosed within the tube.

  17. Measurement and verification for solar water heating performance contracts

    SciTech Connect (OSTI)

    Walker, A.; Azerbegi, R.J.

    1999-07-01T23:59:59.000Z

    Solar water heating is a hardware intensive and therefore capital intensive, energy conservation measure. Energy Savings Performance Contracting (ESPC) offers a solution to the financing barrier by using third-party funds to install a system, and then paying the financier back out of the energy cost savings over the term of the contract. Measurement and Verification (M and V) of system performance is key to this kind of contract, and for Federal government ESPC projects, measurement and verification of energy cost savings is required by statute. The design of an M and V program has very important implications for customers and project developers alike. This paper presents detailed discussion of solar water heating M and V options developed for the US Department of Energy Federal Energy Management Program (FEMP), but with general application for all solar water heating performance contracting arrangements, public and private. The options described in the paper are: stipulation with inspection; metering; utility bill analysis; and renormalized computer models. In addition to contrasting the cost, benefits and appropriate application of each option, this paper discusses issues common to all options, such as the statistical design of M and V programs. The paper concludes with recommended options based on the size and type of project, the cost of the M and V program, and the allocation of risk between the contracting parties.

  18. TRU waste certification and TRUPACT-2 payload verification

    SciTech Connect (OSTI)

    Hunter, E.K. (USDOE Albuquerque Operations Office, Carlsbad, NM (USA). Waste Isolation Pilot Plant Project Office); Johnson, J.E. (Westinghouse Electric Corp., Carlsbad, NM (USA). Waste Isolation Div.)

    1990-01-01T23:59:59.000Z

    The Waste Isolation Pilot Plant (WIPP) established a policy that requires each waste shipper to verify that all waste shipments meet the requirements of the Waste Acceptance Criteria (WAC) prior to being shipped. This verification provides assurance that transuranic (TRU) wastes meet the criteria while still retained in a facility where discrepancies can be immediately corrected. Each Department of Energy (DOE) TRU waste facility planning to ship waste to the Waste Isolation Pilot Plant (WIPP) is required to develop and implement a specific program including Quality Assurance (QA) provisions to verify that waste is in full compliance with WIPP's WAC. This program is audited by a composite DOE and contractor audit team prior to granting the facility permission to certify waste. During interaction with the Nuclear Regulatory Commission (NRC) on payload verification for shipping in TRUPACT-II, a similar system was established by DOE. The TRUPACT-II Safety Analysis Report (SAR) contains the technical requirements and physical and chemical limits that payloads must meet (like the WAC). All shippers must plan and implement a payload control program including independent QA provisions. A similar composite audit team will conduct preshipment audits, frequent subsequent audits, and operations inspections to verify that all TRU waste shipments in TRUPACT-II meet the requirements of the Certificate of Compliance issued by the NRC which invokes the SAR requirements. 1 fig.

  19. An evaluation of the management system verification pilot at Hanford

    SciTech Connect (OSTI)

    BRIGGS, C.R.

    1998-11-12T23:59:59.000Z

    The Chemical Management System (CMS), currently under development at Hanford, was used as the ''test program'' for pilot testing the value added aspects of the Chemical Manufacturers Association's (CMA) Management Systems Verification (MSV) process. The MSV process, which was developed by CMA's member chemical companies specifically as a tool to assist in the continuous improvement of environment, safety and health (ESH) performance, represents a commercial sector ''best practice'' for evaluating ESH management systems. The primary purpose of Hanford's MSV Pilot was to evaluate the applicability and utility of the MSV process in the Department of Energy (DOE) environment. However, because the Integrated Safety Management System (ISMS) is the framework for ESH management at Hanford and at all DOE sites, the pilot specifically considered the MSV process in the context of a possible future adjunct to Integrated Safety Management System Verification (ISMSV) efforts at Hanford and elsewhere within the DOE complex. The pilot involved the conduct of two-hour interviews with four separate panels of individuals with functional responsibilities related to the CMS including the Department of Energy Richland Operations (DOE-RL), Fluor Daniel Hanford (FDH) and FDH's major subcontractors (MSCS). A semi-structured interview process was employed by the team of three ''verifiers'' who directed open-ended questions to the panels regarding the development, integration and effectiveness of management systems necessary to ensure the sustainability of the CMS effort. An ''MSV Pilot Effectiveness Survey'' also was completed by each panel participant immediately following the interview.

  20. Exploring the Possible Use of Information Barriers for future Biological Weapons Verification Regimes

    SciTech Connect (OSTI)

    Luke, S J

    2011-12-20T23:59:59.000Z

    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.

  1. COMPARISON OF SHEAR STRENGTH OF CERAMIC JOINTS DETERMINED BY VARIOUS TEST METHODS WITH SMALL SPECIMENS

    SciTech Connect (OSTI)

    Shih, Chunghao Phillip [ORNL; Katoh, Yutai [ORNL; Kiggans Jr, James O [ORNL; Koyanagi, Takaaki [ORNL; Khalifa, Hesham [General Atomics, San Diego; Back, Christina A. [General Atomics, San Diego; Hinoki, Tatsuya [Kyoto University, Japan; Ferraris, Monica [Politecnico di Torino

    2015-01-01T23:59:59.000Z

    Four different shear test methods i.e. doubled notched shear test, asymmetrical four point bend test, Iosipescu test, and torsion test, were investigated for their ability to evaluate one standard SiC to SiC ceramic brittle joint while using small size specimens. Double notched shear test showed higher stress concentration at the notch base and a lower nominal shear strength. Both asymmetrical four point bend test and Iosipescu test utilized epoxy jointed metal extensors, which failed during test and caused misalignment and tensile type of failure. Torsion test can deliver true shear loading. However, base material failure was observed for the torsion joint samples in this study. None of the tests can successfully induce true shear failure of the joint because the joint is stronger and tougher than the SiC substrate. Torsion test appears to be promising because of the pure shear loading, less stress concentration, and easy alignment.

  2. Small-scale Specimen Testing of Monolithic U-Mo Fuel Foils

    SciTech Connect (OSTI)

    Ramprashad Prabhakaran; Douglas E. Burkes; James I. Cole; Indrajit Charit; Daniel M. Wachs

    2008-10-01T23:59:59.000Z

    The objective of this investigation is to develop a shear punch testing (SPT) procedure and standardize it to evaluate the mechanical properties of irradiated fuels in a hot-cell so that the tensile behavior can be predicted using small volumes of material and at greatly reduced irradiation costs. This is highly important in the development of low-enriched uranium fuels for nuclear research and test reactors. The load-displacement data obtained using SPT can be interpreted in terms of and correlated with uniaxial mechanical properties. In order to establish a correlation between SPT and tensile data, sub-size tensile and microhardness testing were performed on U-Mo alloys. In addition, efforts are ongoing to understand the effect of test parameters (such as specimen thickness, surface finish, punch-die clearance, crosshead velocity and carbon content) on the measured mechanical properties, in order to rationalize the technique, prior to employing it on a material of unknown strength.

  3. NESC-VII: Fracture Mechanics Analyses of WPS Experiments on Large-scale Cruciform Specimen

    SciTech Connect (OSTI)

    Yin, Shengjun [ORNL; Williams, Paul T [ORNL; Bass, Bennett Richard [ORNL

    2011-01-01T23:59:59.000Z

    This paper describes numerical analyses performed to simulate warm pre-stress (WPS) experiments conducted with large-scale cruciform specimens within the Network for Evaluation of Structural Components (NESC-VII) project. NESC-VII is a European cooperative action in support of WPS application in reactor pressure vessel (RPV) integrity assessment. The project aims in evaluation of the influence of WPS when assessing the structural integrity of RPVs. Advanced fracture mechanics models will be developed and performed to validate experiments concerning the effect of different WPS scenarios on RPV components. The Oak Ridge National Laboratory (ORNL), USA contributes to the Work Package-2 (Analyses of WPS experiments) within the NESCVII network. A series of WPS type experiments on large-scale cruciform specimens have been conducted at CEA Saclay, France, within the framework of NESC VII project. This paper first describes NESC-VII feasibility test analyses conducted at ORNL. Very good agreement was achieved between AREVA NP SAS and ORNL. Further analyses were conducted to evaluate the NESC-VII WPS tests conducted under Load-Cool-Transient- Fracture (LCTF) and Load-Cool-Fracture (LCF) conditions. This objective of this work is to provide a definitive quantification of WPS effects when assessing the structural integrity of reactor pressure vessels. This information will be utilized to further validate, refine, and improve the WPS models that are being used in probabilistic fracture mechanics computer codes now in use by the NRC staff in their effort to develop risk-informed updates to Title 10 of the U.S. Code of Federal Regulations (CFR), Part 50, Appendix G.

  4. Effect of numerical parameters on characterizing the hardening behavior of ductile uniaxial tension specimens.

    SciTech Connect (OSTI)

    Cordova, Theresa Elena; Dion, Kristin; Laing, John Robert; Corona, Edmundo; Breivik, Nicole L.; Wellman, Gerald William; Shelton, Timothy R.

    2010-11-01T23:59:59.000Z

    Many problems of practical importance involve ductile materials that undergo very large strains, in many cases to the point of failure. Examples include structures subjected to impact or blast loads, energy absorbing devices subjected to significant crushing, cold-forming manufacturing processes and others. One of the most fundamental pieces of data that is required in the analysis of this kind of problems is the fit of the uniaxial stress-strain curve of the material. A series of experiments where mild steel plates were punctured with a conical indenter provided a motivation to characterize the true stress-strain curve until the point of failure of this material, which displayed significant ductility. The hardening curve was obtained using a finite element model of the tensile specimens that included a geometric imperfection in the form of a small reduction in the specimen width to initiate necking. An automated procedure iteratively adjusted the true stress-strain curve fit used as input until the predicted engineering stress-strain curve matched experimental measurements. Whereas the fitting is relatively trivial prior to reaching the ultimate engineering stress, the fit of the softening part of the engineering stress-stain curve is highly dependent on the finite element parameters such as element formulation and initial geometry. Results by two hexahedral elements are compared. The first is a standard, under-integrated, uniform-strain element with hourglass control. The second is a modified selectively-reduced-integration element. In addition, the effects of element size, aspect ratio and hourglass control characteristics are investigated. The effect of adaptively refining the mesh based on the aspect ratio of the deformed elements is also considered. The results of the study indicate that for the plate puncture problem, characterizing the material with the same element formulation and size as used in the plate models is beneficial. On the other hand, using different element formulations, sizes or initial aspect ratios can lead to unreliable results.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2009-04-29T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2009-02-17T23:59:59.000Z

    Conduct verification surveys of grids at the DWI 1630 Site in Knoxville, Tennessee. The independent verification team (IVT) from ORISE, conducted verification activities in whole and partial grids, as completed by BJC. ORISE site activities included gamma surface scans and soil sampling within 33 grids; G11 through G14; H11 through H15; X14, X15, X19, and X21; J13 through J15 and J17 through J21; K7 through K9 and K13 through K15; L13 through L15; and M14 through M16

  7. First-order finite satisfiability vs tree automata in safety verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01T23:59:59.000Z

    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.

  8. INDEPENDENT VERIFICATION OF THE BUILDING 3550 SLAB AT OAK RIDGE NATIONAL LABORATORY OAK RIDGE, TENNESSEE

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-05-08T23:59:59.000Z

    The Oak Ridge Institute for Science and Education (ORISE) has completed the independent verification survey of the Building 3550 Slab. The results of this effort are provided. The objective of this verification survey is to provide independent review and field assessment of remediation actions conducted by Safety and Ecology Corporation (SEC) to document that the final radiological condition of the slab meets the release guidelines. Verification survey activities on the Building 3550 Slab that included scans, measurements, and the collection of smears. Scans for alpha, alpha plus beta, and gamma activity identified several areas that were investigated.

  9. Shell Element Verification & Regression Problems for DYNA3D

    SciTech Connect (OSTI)

    Zywicz, E

    2008-02-01T23:59:59.000Z

    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.

  10. An Information Theoretic Location Verification System for Wireless Networks

    E-Print Network [OSTI]

    Yan, Shihao; Nevat, Ido; Peters, Gareth W

    2012-01-01T23:59:59.000Z

    As location-based applications become ubiquitous in emerging wireless networks, Location Verification Systems (LVS) are of growing importance. In this paper we propose, for the first time, a rigorous information-theoretic framework for an LVS. The theoretical framework we develop illustrates how the threshold used in the detection of a spoofed location can be optimized in terms of the mutual information between the input and output data of the LVS. In order to verify the legitimacy of our analytical framework we have carried out detailed numerical simulations. Our simulations mimic the practical scenario where a system deployed using our framework must make a binary Yes/No "malicious decision" to each snapshot of the signal strength values obtained by base stations. The comparison between simulation and analysis shows excellent agreement. Our optimized LVS framework provides a defence against location spoofing attacks in emerging wireless networks such as those envisioned for Intelligent Transport Systems, wh...

  11. Battery Technology Life Verification Test Manual Revision 1

    SciTech Connect (OSTI)

    Jon P. Christophersen

    2012-12-01T23:59:59.000Z

    The purpose of this Technology Life Verification Test (TLVT) Manual is to help guide developers in their effort to successfully commercialize advanced energy storage devices such as battery and ultracapacitor technologies. The experimental design and data analysis discussed herein are focused on automotive applications based on the United States Advanced Battery Consortium (USABC) electric vehicle, hybrid electric vehicle, and plug-in hybrid electric vehicle (EV, HEV, and PHEV, respectively) performance targets. However, the methodology can be equally applied to other applications as well. This manual supersedes the February 2005 version of the TLVT Manual (Reference 1). It includes criteria for statistically-based life test matrix designs as well as requirements for test data analysis and reporting. Calendar life modeling and estimation techniques, including a users guide to the corresponding software tool is now provided in the Battery Life Estimator (BLE) Manual (Reference 2).

  12. VAMOS: The verification and monitoring options study: Current research options for in-situ monitoring and verification of contaminant remediation and containment within the vadose zone

    SciTech Connect (OSTI)

    Betsill, J.D. [Sandia National Labs., Albuquerque, NM (United States); Gruebel, R.D. [Tech Reps., Inc., Albuquerque, NM (United States)

    1995-09-01T23:59:59.000Z

    The Verification and Monitoring Options Study Project (VAMOS) was established to identify high-priority options for future vadose-zone environmental research in the areas of in-situ remediation monitoring, post-closure monitoring, and containment emplacement and verification monitoring. VAMOS examined projected needs not currently being met with applied technology in order to develop viable monitoring and verification research options. The study emphasized a compatible systems approach to reinforce the need for utilizing compatible components to provide user friendly site monitoring systems. To identify the needs and research options related to vadose-zone environmental monitoring and verification, a literature search and expert panel forums were conducted. The search included present drivers for environmental monitoring technology, technology applications, and research efforts. The forums included scientific, academic, industry, and regulatory environmental professionals as well as end users of environmental technology. The experts evaluated current and future monitoring and verification needs, methods for meeting these needs, and viable research options and directions. A variety of high-priority technology development, user facility, and technology guidance research options were developed and presented as an outcome of the literature search and expert panel forums.

  13. VALIDATION AND VERIFICATION OF CMST-CP REMOTE SURVEILLANCE SENSORS

    SciTech Connect (OSTI)

    M.A. Ebadian, Ph.D.

    1999-01-01T23:59:59.000Z

    In its original form, this project was intended to utilize the capabilities of the Analytical Laboratory at Florida International University's Hemispheric Center for Environmental Technology (FIU-HCET) to carry out validation and verification of data obtained in the field for purposes of characterization, monitoring, and sensing in relation to closure and post-closure of various sites throughout the DOE complex. To do this, technologies were to be identified that had already been deployed and had produced field data. The role of the FIU-HCET Analytical Laboratory was considered first as part of a round robin team with other laboratories or, alternatively, to act as an objective third-party laboratory in evaluating validation data by others. Shortly after the onset of the project, FIU-HCET determined that specific deployed technologies were not readily identifiable. Thus, the direction of the project was changed to one in which the FKJ-HCET Analytical Laboratory would investigate DOE needs that require validation. These needs were examined primarily on the Internet, as listed by each specific site. In addition, needs having validation implications for regulatory agencies, such as the EPA, were also investigated. Furthermore, contact was made with laboratories with which the FIU-HCET Analytical Laboratory could act in a round robin or third-party capacity. Included in this report are potentially deployable technologies that would lend themselves to validation and verification of field data. FIU-HCET intends to monitor the deployment of these technologies with a view toward carrying out the validation activities originally proposed.

  14. Measurement techniques for the verification of excess weapons materials

    SciTech Connect (OSTI)

    Tape, J.W.; Eccleston, G.W.; Yates, M.A.

    1998-12-01T23:59:59.000Z

    The end of the superpower arms race has resulted in an unprecedented reduction in stockpiles of deployed nuclear weapons. Numerous proposals have been put forward and actions have been taken to ensure the irreversibility of nuclear arms reductions, including unilateral initiatives such as those made by President Clinton in September 1993 to place fissile materials no longer needed for a deterrent under international inspection, and bilateral and multilateral measures currently being negotiated. For the technologist, there is a unique opportunity to develop the technical means to monitor nuclear materials that have been declared excess to nuclear weapons programs, to provide confidence that reductions are taking place and that the released materials are not being used again for nuclear explosive programs. However, because of the sensitive nature of these materials, a fundamental conflict exists between the desire to know that the bulk materials or weapon components in fact represent evidence of warhead reductions, and treaty commitments and national laws that require the protection of weapons design information. This conflict presents a unique challenge to technologists. The flow of excess weapons materials, from deployed warheads through storage, disassembly, component storage, conversion to bulk forms, and disposition, will be described in general terms. Measurement approaches based on the detection of passive or induced radiation will be discussed along with the requirement to protect sensitive information from release to unauthorized parties. Possible uses of measurement methods to assist in the verification of arms reductions will be described. The concept of measuring attributes of items rather than quantitative mass-based inventory verification will be discussed along with associated information-barrier concepts required to protect sensitive information.

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

    SciTech Connect (OSTI)

    Pabian, Frank Vincent [Los Alamos National Laboratory

    2010-09-16T23:59:59.000Z

    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.

  16. Capillary test specimen, system, and methods for in-situ visualization of capillary flow and fillet formation

    DOE Patents [OSTI]

    Hall, Aaron C. (Albuquerque, NM); Hosking, F. Michael (Albuquerque, NM),; Reece, Mark (Albuquerque, NM)

    2003-06-24T23:59:59.000Z

    A capillary test specimen, method, and system for visualizing and quantifying capillary flow of liquids under realistic conditions, including polymer underfilling, injection molding, soldering, brazing, and casting. The capillary test specimen simulates complex joint geometries and has an open cross-section to permit easy visual access from the side. A high-speed, high-magnification camera system records the location and shape of the moving liquid front in real-time, in-situ as it flows out of a source cavity, through an open capillary channel between two surfaces having a controlled capillary gap, and into an open fillet cavity, where it subsequently forms a fillet on free surfaces that have been configured to simulate realistic joint geometries. Electric resistance heating rapidly heats the test specimen, without using a furnace. Image-processing software analyzes the recorded images and calculates the velocity of the moving liquid front, fillet contact angles, and shape of the fillet's meniscus, among other parameters.

  17. Energy Efficiency and Conservation Loan Program Webinar Series: Evaluation, Monitoring, & Verification

    Broader source: Energy.gov [DOE]

    This webinar will cover the basics of Evaluation, Monitoring, & Verification (EM&V). Attendees will learn key concepts, an overview of the full process, and EM&V framework.

  18. Application of functional learning to ATPG and design verification for combinational circuits

    E-Print Network [OSTI]

    Mukherjee, Rajarshim

    1994-01-01T23:59:59.000Z

    to detect faults and in detecting redundant faults. Learning techniques have also been effectively applied to the problem of design verification for combinational circuits. This paper presents Functional Learning, a new method of learning, based...

  19. Better Buildings Alliance, Advanced Rooftop Unit Campaign: Rooftop Unit Measurement and Verification (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2014-09-01T23:59:59.000Z

    This document provides facility managers and building owners an introduction to measurement and verification (M&V) methods to estimate energy and cost savings of rooftop units replacement or retrofit projects to estimate paybacks or to justify future projects.

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

    SciTech Connect (OSTI)

    Weaver, P.

    2008-03-17T23:59:59.000Z

    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.

  1. High accuracy verification of a correlated-photon-based method for determining photon-

    E-Print Network [OSTI]

    Migdall, Alan

    with Correlated Visible Photons: Technique Verification and Measurement Uncertainty," Metrologia 32, 479­483 (1995," Metrologia 37, 625­628 (2000). #77187 - $15.00 USD Received 22 November 2006; revised 26 January 2007

  2. Computer-Aided Verification: How to Trust a Machine with Your Life

    E-Print Network [OSTI]

    Pace, Gordon J.

    are used to control all sorts of devices -- from washing machines and microwave ovens to braking systems is formidable. The formal verification of a five-line algorithm can easily run into pages of dense mathematical

  3. 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 Email: vishnup@ece.cmu.edu Email: alokj@cadence.com Email: randy.bryant@cs.cmu.edu Abstract This paper

  4. Verification of Floating-Point Adders Yirng-An Chen and Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    Verification of Floating-Point Adders Yirng-An Chen and Randal E. Bryant yachen+@cs.cmu.edu, bryant+@cs.cmu.edu Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, PA 15213 Abstract

  5. Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

  6. Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

  7. Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1

    E-Print Network [OSTI]

    Groote, Jan Friso

    Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1, The Netherlands a.khabbaz.saberi@student.tue.nl, j.f.groote@tue.nl, s.keshishzadeh@tue.nl Abstract

  8. U.S. EPA Environmental Technology Verification (ETV) Program Advanced Monitoring Systems (AMS) Center

    E-Print Network [OSTI]

    Carbon Dioxide from Sequestration Applications. These technology categories have been priorities evaluation, Nebraska Department of Environmental Quality (NDEQ) for microcystins, and EPA Region 7 for carbon sequestration. Climate change technology verification ideas Dr. McKernan also presented several ideas

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

    Broader source: Energy.gov [DOE]

    Document describes the Federal Energy Management Program's (FEMP) standard procedures and guidelines for measurement and verification (M&V) for federal energy managers, procurement officials, and energy service providers.

  10. Under consideration for publication in Formal Aspects of Computing Concurrent Software Verification with

    E-Print Network [OSTI]

    Ouaknine, Joël

    , Oxford, UK Abstract. We present a framework for model checking concurrent software systems which powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning with hardware and communication proto- cols, model checking is increasingly used to verify software systems

  11. Method and computer product to increase accuracy of time-based software verification for sensor networks

    DOE Patents [OSTI]

    Foo Kune, Denis (Saint Paul, MN); Mahadevan, Karthikeyan (Mountain View, CA)

    2011-01-25T23:59:59.000Z

    A recursive verification protocol to reduce the time variance due to delays in the network by putting the subject node at most one hop from the verifier node provides for an efficient manner to test wireless sensor nodes. Since the software signatures are time based, recursive testing will give a much cleaner signal for positive verification of the software running on any one node in the sensor network. In this protocol, the main verifier checks its neighbor, who in turn checks its neighbor, and continuing this process until all nodes have been verified. This ensures minimum time delays for the software verification. Should a node fail the test, the software verification downstream is halted until an alternative path (one not including the failed node) is found. Utilizing techniques well known in the art, having a node tested twice, or not at all, can be avoided.

  12. Robust audio-visual person verification using Web-camera video

    E-Print Network [OSTI]

    Schultz, Daniel (Daniel T.)

    2006-01-01T23:59:59.000Z

    This thesis examines the challenge of robust audio-visual person verification using data recorded in multiple environments with various lighting conditions, irregular visual backgrounds, and diverse background noise. ...

  13. Scalable SMT-Based Verification of GPU Kernel Functions School of Computing, University of Utah

    E-Print Network [OSTI]

    Capecchi, Mario R.

    Scalable SMT-Based Verification of GPU Kernel Functions Guodong Li School of Computing, University Satisfiability Modulo Theo- ries (SMT) tools, detecting bugs such as data races, in- correctly synchronized Satisfiabil- ity Modulo Theories (SMT [2

  14. Regional Field Verification -- Operational Results from Four Small Wind Turbines in the Pacific Northwest: Preprint

    SciTech Connect (OSTI)

    Sinclair, K.; Raker, J.

    2006-08-01T23:59:59.000Z

    This paper describes four small wind turbines installed in the Pacific Northwest under DOE/NREL's Regional Field Verification Program between 2003 and 2004 and summarizes operational data from each site.

  15. An example of verification, validation, and reporting of indoor environment CFD analyses (RP-1133)

    E-Print Network [OSTI]

    Chen, Qingyan "Yan"

    through an example of indoor environment modeling (an office with mechanical displacement ventilation similar procedure. The emphasis of the verification and validation is problem dependent. The computational ventilation systems and the development of control strategies require detailed knowledge of airflow

  16. Fractographic examination of reduced activation ferritic/martensitic steel charpy specimens irradiated to 30 dpa at 370{degrees}C

    SciTech Connect (OSTI)

    Gelles, D.S.; Hamilton, M.L. [Pacific Northwest National Lab., Richland, WA (United States); Schubert, L.E. [Univ. of Missouri, Rolla, MO (United States)

    1996-10-01T23:59:59.000Z

    Fractographic examinations are reported for a series of reduced activation ferritic/Martensitic steel Charpy impact specimens tested following irradiation to 30 dpa at 370{degrees}C in FFTF. One-third size specimens of six low activation steels developed for potential application as structural materials in fusion reactors were examined. A shift in brittle fracture appearance from cleavage to grain boundary failure was noted with increasing manganese content. The results are interpreted in light of transmutation induced composition changes in a fusion environment.

  17. NIST Special Publication 250-59 NIST Computer Time Services

    E-Print Network [OSTI]

    . Authentication of Time Signals 30 III. Operational Procedures of Internet Time Service 31 A. Hardware Maintenance III. Operational Procedures of ACTS 53 A. Hardware Maintenance 53 B. Software Maintenance 53 C of Server Software 7 1. Operating System 7 2. Time Server Software 9 a) Standard daemons 9 b) Clock

  18. Effective Implementation of "IPMVP Option C - Whole Building Measurement" Measurement and Verification Plans

    E-Print Network [OSTI]

    Porter, T.; Weaver, K.; Vaughn, K.

    2005-01-01T23:59:59.000Z

    was the energy service company (ESCO) chosen by HHSC to implement the ESPC. The M&V plan is based on the International Performance Measurement and Verification Protocol (IPMVP) Option C Whole Building Measurement and provides the methodology.../05-47 1 INTRODUCTION This document describes the Measurement and Verification (M&V) methodology for Phase One of the Texas Health and Human Services Commission (HHSC) energy savings performance contracting (ESPC) project. TAC-Tour Andover Controls...

  19. Acoustic Emission and Guided Wave Monitoring of Fatigue Crack Growth on a Full Pipe Specimen

    SciTech Connect (OSTI)

    Meyer, Ryan M.; Cumblidge, Stephen E.; Ramuhalli, Pradeep; Watson, Bruce E.; Doctor, Steven R.; Bond, Leonard J.

    2011-05-06T23:59:59.000Z

    Continuous on-line monitoring of active and passive systems, structures and components in nuclear power plants will be critical to extending the lifetimes of nuclear power plants in the US beyond 60 years. Acoustic emission and guided ultrasonic waves are two tools for continuously monitoring passive systems, structures and components within nuclear power plants and are the focus of this study. These tools are used to monitor fatigue damage induced in a SA 312 TP304 stainless steel pipe specimen. The results of acoustic emission monitoring indicate that crack propagation signals were not directly detected. However, acoustic emission monitoring exposed crack formation prior to visual confirmation through the detection of signals caused by crack closure friction. The results of guided ultrasonic wave monitoring indicate that this technology is sensitive to the presence and size of cracks. The sensitivity and complexity of GUW signals is observed to vary with respect to signal frequency and path traveled by the guided ultrasonic wave relative to the crack orientation.

  20. Influence of specimen design on the ductility of zircaloy cladding: Experiment and analysis

    SciTech Connect (OSTI)

    Bates, D. W.; Majumdar, S.; Koss, D. A.; Motta, A. T.

    1999-11-12T23:59:59.000Z

    In a reactivity-initiated accident (RIA), a control rod ejection or drop causes a sudden increase in reactor power, which in turn deposits a large amount of energy into the fuel. The resulting thermal expansion and fission gas release loads the cladding into the plastic regime and may cause it to fail. In order to predict cladding survivability, there has been considerable interest and effort in supplementing integral WA tests with separate-effects ring tests of cladding tubes. Such tests can give one insight into failure mechanisms and measure relevant mechanical properties (such as yield strength, uniform elongation, uniaxial stress-strain curve, etc.), for use in computer codes that attempt to predict cladding response during an RIA. The accuracy of such model predictions obviously depends on appropriate and accurate failure data. This study concerns itself with the proper development of ring tensile tests that (i) are similar to the loading conditions present in an RIA, (ii) measure the relevant mechanical properties and (iii) provide insight regarding the influence of the strain paths on the failure mechanisms present if Zircaloy cladding. Based on both experiments and computational modeling, the authors investigate the failure of Zircaloy tubing as a function of specimen geometry, and discuss the limitations of certain ring-test geometries in yielding failure ductility data that are applicable to RIA situations.