Powered by Deep Web Technologies
Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


1

NIST Special Publication 800-76-1 Biometric Data Specification for Personal Identity Verification  

E-Print Network [OSTI]

NIST Special Publication 800-76-1 Biometric Data Specification for Personal Identity Verification of Commerce for Technology NIST Special Publication 800-76-1 Biometric Data Specification for Personal Secretary of Commerce for Technology #12;Special Publication 800-76-1 Biometric Specification for Personal

2

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed New Substation Sites Proposed Route BTRIC CNMS CSMB CFTF Working with CFTF4,CHARPY

3

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

4

NIST Standard Reference Database 10 NIST/ASME Steam Properties  

E-Print Network [OSTI]

#12;NIST Standard Reference Database 10 NIST/ASME Steam Properties Version 2.22 Users' Guide Allan;________________________ The National Institute of Standards and Technology (NIST) uses its best efforts to deliver a high quality copy. OPTIONS AND PREFERENCES............................................ 5 5.1 Specifying Units of Measure

Magee, Joseph W.

5

NIST 3-Year Programmatic Plan  

E-Print Network [OSTI]

areas critical to the nation's economy.The America COMPETES Act outlines major roles for NIST-year period.NIST will continue to refine this plan as it works with the Administration to address national

6

NIST Presents Green Button: Policy  

SciTech Connect (OSTI)

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

Wollman, David

2012-01-01T23:59:59.000Z

7

NIST Presents Green Button: Technical  

SciTech Connect (OSTI)

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

Wollman, David

2012-01-01T23:59:59.000Z

8

NIST Presents Green Button: Intro  

SciTech Connect (OSTI)

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

Wollman, David

2012-01-01T23:59:59.000Z

9

NIST Presents Green Button: Policy  

ScienceCinema (OSTI)

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

Wollman, David

2013-05-29T23:59:59.000Z

10

NIST Presents Green Button: Intro  

ScienceCinema (OSTI)

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

Wollman, David

2013-05-29T23:59:59.000Z

11

NIST Presents Green Button: Technical  

ScienceCinema (OSTI)

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

Wollman, David

2013-05-29T23:59:59.000Z

12

NIST Preliminary Reconnaissance, Building  

E-Print Network [OSTI]

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

Magee, Joseph W.

13

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

14

NIST Special Publication 1038 The International  

E-Print Network [OSTI]

NIST Special Publication 1038 The International System of Units (SI) ­ Conversion Factors Services #12;NIST Special Publication 1038 The International System of Units (SI) - Conversion Factors

15

NIST 3-Year Programmatic Plan  

E-Print Network [OSTI]

NIST 3-Year Programmatic Plan FY 2013-2015 June 2012 #12;N I S T 3 - Y e a r P r o g r a m m a t i and Industry Services programs; and · Priorities for NIST FY 2013-2015. (Credit: Christina Kiffney Photography to submit a three-year programmatic plan concurrent with the submission of the President's budget request

16

NIST Standard Reference Database 4 NIST Thermophysical Properties of  

E-Print Network [OSTI]

in part by a consortium consisting of Air Products and Chemicals, Inc., BP America and Shell Development errors or omissions in the Database. The mention of specific products, trademarks, or brand names as an endorsement or certification of such products by NIST. IBM-DOS, PC-DOS are registered trademarks

Magee, Joseph W.

17

NIST ITL submits PINS form to ANSI  

E-Print Network [OSTI]

1 NIST ITL submits PINS form to ANSI for initiation of project to draft new or revised ANS. ANSI consensus body, starting with pre- canvass notice and invitation, which is posted on the ANSI/ NIST and develops canvass list. NIST ITL issues 45-day ballot and submits to ANSI for concurrent 45- day public

18

NIST, Gaithersburg, MD Green Auditorium, Bldg101  

E-Print Network [OSTI]

MBE Summit NIST, Gaithersburg, MD Green Auditorium, Bldg101 Time Topic Speaker(s) 0830 Cauley, HII-Ingalls NIST MBE Activities Simon Frechette, NIST 0940-1010 Smart Manufacturing Overviews FY14 1100-1115 Partnership for Research & Innovation in Sustainable Manufacturing Process, & System

19

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

20

New features in the NIST MS Search Program (version 2.0g) for the 2011 Version of the NIST/EPA/NIH Mass Spectral Library (NIST 11)  

E-Print Network [OSTI]

New features in the NIST MS Search Program (version 2.0g) for the 2011 Version of the NIST/EPA/NIH Mass Spectral Library (NIST 11) 1. Search for exact precursor mass in the NIST/EPA/NIH Mass Spectral

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


21

NIST Standards in Trade Workshops Increase  

E-Print Network [OSTI]

NIST Standards in Trade Workshops Increase Trade Opportunities and Exports for U.S. Industry Since 1995, U.S. industry has looked to the NIST Standards in Trade (SIT) Workshop Program to provide opportunities for cooperation on topics related to standards, conformity assessment and trade that are important

22

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.................................................................................. 21 4. EVALUATION FRAMEWORK AND APPROACH........................................... 24 4.1 Scope

23

The ANSI/NIST-ITL Standard: Forensic Data Interchange  

E-Print Network [OSTI]

The ANSI/NIST-ITL Standard: Forensic Data Interchange #12;Existing Capabilities ANSI/NIST-ITL 1 to do? Dental Record Type-12 Supplement to ANSI/NIST-ITL 1-2011 WG formed; Draft Circulating Vote in 2013 Pattern Injury Supplement to Type-10 ANSI/NIST-ITL 1-2011 WG formed; Draft Circulating Vote

Perkins, Richard A.

24

NIST Interagency Report 7502 The Common Configuration  

E-Print Network [OSTI]

of Standards and Technology (NIST) promotes the U.S. economy and public welfare by providing technical and refining our approach to vulnerability measurement and scoring. Portions of this report are based

25

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

26

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

27

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

28

Forensic Science and Information Technology at NIST  

E-Print Network [OSTI]

Forensic Science and Information Technology at NIST Martin Herman Information Technology Laboratory, mathematics, and statistics. · Cloud Computing · Complex Systems · Forensic Science · Health Information in Forensic Science Advance measurements and standards infrastructure for forensics through information

Perkins, Richard A.

29

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

30

NIST Standard Reference Database 88 NIST/TRC Ideal Gas Database  

E-Print Network [OSTI]

#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

Magee, Joseph W.

31

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

E-Print Network [OSTI]

. 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

Hensinger, Winfried

32

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

33

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

34

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

35

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

36

NIST Measurement Services: cw Laser Power and Energy  

E-Print Network [OSTI]

NIST Measurement Services: cw Laser Power and Energy Calibrations at NIST NIST Special Publication technical operating units and their principal activities are listed below. For more information visit and Measures Advanced Technology Program ·Economic Assessment ·Information Technology and Applications

37

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

38

The Economic Impacts of NIST Cholesterol Standards  

E-Print Network [OSTI]

00-4 Planning Report The Economic Impacts of NIST Cholesterol Standards Program Prepared by: TASC, Inc. for National Institute of Standards & Technology Program Office Strategic Planning and Economic Analysis Group September 2000 U.S Department of Commerce Technology Administration #12;The Economic Impacts

39

NIST SAFETY ALERT BULLETIN February 8, 2010  

E-Print Network [OSTI]

if the strap should fail. Figure 3: Image of Fisher brand wall mounted compressed gas cylinder bracket strap installed (image courtesy of manufacturer) and b) same wall bracket installed at NIST is not installed or in use. Figure 2: Image of a defective (left) and nondefective (right) buckle

Perkins, Richard A.

40

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

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


41

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

42

Nuclear Data Verification and Standardization  

SciTech Connect (OSTI)

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.

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

2011-10-01T23:59:59.000Z

43

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

44

Standards & Testing NIST has a long history of advancing standards and  

E-Print Network [OSTI]

Standards & Testing NIST has a long history of advancing standards and the use of technology's healthcare arena. Overview NIST supports health IT standards development and facilitates interoperability through its standards and testing research initiatives. NIST research efforts contribute

45

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

E-Print Network [OSTI]

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

Magee, Joseph W.

46

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

47

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

48

NIST Special Publication 260-173 Standard Reference Materials  

E-Print Network [OSTI]

NIST Special Publication 260-173 Standard Reference Materials: SRM 1450d, Fibrous-Glass Board #12;#12;NIST Special Publication 260-173 Standard Reference Materials: SRM 1450d, Fibrous-Glass Board Laboratory Building Environment Division Stefan D. Leigh Information Technology Laboratory Statistical

49

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

E-Print Network [OSTI]

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

Magee, Joseph W.

50

U.S DEPARTMENT OF COMMERCE NIST SMART GRID ADVISORY COMMITTEE  

E-Print Network [OSTI]

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

Magee, Joseph W.

51

Biaxial Creep Specimen Fabrication  

SciTech Connect (OSTI)

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.

JL Bump; RF Luther

2006-02-09T23:59:59.000Z

52

NIST Organic Act National Institute of Standards and Technology Act  

E-Print Network [OSTI]

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

Magee, Joseph W.

53

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

54

NIST Technical Note 1637 Modeling the Effects of Outdoor Gasoline  

E-Print Network [OSTI]

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

Bentz, Dale P.

55

NIST Roadmap for Improving Critical Infrastructure Cybersecurity February 12, 2014  

E-Print Network [OSTI]

NIST Roadmap for Improving Critical Infrastructure Cybersecurity February 12, 2014 1. Introduction This companion Roadmap to the Framework for Improving Critical Infrastructure Cybersecurity ("the Framework, which has been moved to this document. 2. Evolution of the Cybersecurity Framework Since

56

American National Standards Institute (ANSI) Accredited Standards Developer --NIST/ITL Effective March 18, 2008, NIST/ITL has been administratively reaccredited by ANSI under these  

E-Print Network [OSTI]

American National Standards Institute (ANSI) Accredited Standards Developer -- NIST/ITL Effective March 18, 2008, NIST/ITL has been administratively reaccredited by ANSI under these procedures Information Technology Laboratory (NIST/ITL) February 29, 2008 #12;American National Standards Institute (ANSI

Magee, Joseph W.

57

American National Standards Institute (ANSI) Accredited Standards Developer --NIST/ITL Effective March 12, 2013, NIST/ITL has been administratively reaccredited by ANSI under these  

E-Print Network [OSTI]

American National Standards Institute (ANSI) Accredited Standards Developer -- NIST/ITL Effective March 12, 2013, NIST/ITL has been administratively reaccredited by ANSI under these procedures Information Technology Laboratory (NIST/ITL) March 12, 2013 #12;American National Standards Institute (ANSI

58

American National Standards Institute (ANSI) Accredited Standards Developer --NIST/ITL Effective November15, 2011, NIST/ITL has been administratively reaccredited by ANSI under  

E-Print Network [OSTI]

American National Standards Institute (ANSI) Accredited Standards Developer -- NIST/ITL Effective November15, 2011, NIST/ITL has been administratively reaccredited by ANSI under these procedures Information Technology Laboratory (NIST/ITL) November 15, 2011 #12;American National Standards Institute (ANSI

59

ITL BULLETIN FOR MARCH 2013 NIST TO DEVELOP A CYBERSECURITY FRAMEWORK TO PROTECT CRITICAL INFRASTRUCTURE  

E-Print Network [OSTI]

ITL BULLETIN FOR MARCH 2013 NIST TO DEVELOP A CYBERSECURITY FRAMEWORK TO PROTECT CRITICAL, "Improving Critical Infrastructure Cybersecurity," the President has directed NIST to develop a voluntary framework for reducing cyber risks to our nation's critical infrastructure. The Cybersecurity Framework

60

Use of the NIST Cybersecurity Framework & DOE C2M2 | Department...  

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

Use of the NIST Cybersecurity Framework & DOE C2M2 Use of the NIST Cybersecurity Framework & DOE C2M2 Recognizing that the national and economic security of the United States...

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


61

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

62

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

E-Print Network [OSTI]

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

Magee, Joseph W.

63

ANSI/NIST-ITL 1-2011 Requirements and Conformance Test Assertions  

E-Print Network [OSTI]

ANSI/NIST-ITL 1-2011 Requirements and Conformance Test Assertions Christofer J. McGinnis Dylan Yaga Fernando L. Podio NISTIR 7806 #12;NISTIR 7806 ANSI/NIST-ITL 1-2011 Requirements and Conformance Test, by The Department of Homeland Security/US-VISIT Program. Abstract The current version of the ANSI/NIST-ITL standard

64

NIST Traceability Michael G. Mitch, Ph.D.  

E-Print Network [OSTI]

of Metrology - Basic and General concepts and Associated Terms (VIM), definition 2.41 #12;NIST Policy." International Vocabulary of Metrology - Basic and General concepts and Associated Terms (VIM), definition 2 and General concepts and Associated Terms (VIM), definition 2.41 · Establishes metrological traceability

65

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

66

Neutron Physics at NIST 8th UCN Workshop  

E-Print Network [OSTI]

Neutron Physics at NIST M. Arif 8th UCN Workshop St. Petersburg ­ Moscow, Russia June 11-21, 2011 #12;NCNR Guide Hall 20 MW Reactor #12;Neutron Physics at the NCNR Beam Flux n cm-2 s-1 Peak Wavelength-6 Experiments Beam Neutron Lifetime Testing Time Reversal Asymmetry (emiT) Testing Parity Violating

Titov, Anatoly

67

ISOTOPESuses, demand, and supply NIST Center for Neutron Research  

E-Print Network [OSTI]

.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

Dimeo, Robert M.

68

Draft NIST Framework and Roadmap4 Smart Grid Interoperability6  

E-Print Network [OSTI]

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

Magee, Joseph W.

69

NIST TECHNICAL NOTE 1665 Database-Assisted Design for Wind  

E-Print Network [OSTI]

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

Perkins, Richard A.

70

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

71

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

E-Print Network [OSTI]

. 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

Perkins, Richard A.

72

Manufacturing of Plutonium Tensile Specimens  

SciTech Connect (OSTI)

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.

Knapp, Cameron M [Los Alamos National Laboratory

2012-08-01T23:59:59.000Z

73

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

74

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

75

Verification and Validation  

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

include modeling simulation (which is a form of Test, Demonstration, and Analysis). INL system engineers specialize in helping projects through the Verification and Validation...

76

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

E-Print Network [OSTI]

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

Magee, Joseph W.

77

Treaty Verification | ornl.gov  

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

Verification SHARE Treaty Verification ORNL is a strong contributor to future nonproliferation and arms control initiatives through research and development of radiation...

78

Orc Verification Jayadev Misra  

E-Print Network [OSTI]

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

Misra, Jayadev

79

Advancing Smart Grid Interoperability and Implementing NIST's Interoperability Roadmap  

SciTech Connect (OSTI)

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.

Basso,T.; DeBlasio, R.

2010-04-01T23:59:59.000Z

80

Verification Testing Test Driven Development Testing with JUnit Verification  

E-Print Network [OSTI]

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

Peters, Dennis

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


81

Enter Date: Enter NVLAP Lab Code: NIST HANDBOOK 150-10 CHECKLIST  

E-Print Network [OSTI]

Enter Date: Enter NVLAP Lab Code: NIST HANDBOOK 150-10 CHECKLIST EFFICIENCY OF ELECTRIC MOTORS prescribed in NIST Handbook 150-10, Efficiency of Electric Motors. The Test Method Review Summary, which is used to review the laboratory's ability to perform Efficiency of Electric Motors test methods

82

Conformance Test Architecture and Test Suite for ANSI/NIST-ITL 1-2007  

E-Print Network [OSTI]

Conformance Test Architecture and Test Suite for ANSI/NIST-ITL 1-2007 Fernando L. Podio Dylan Yaga Christofer J. McGinnis NISTIR 7791 #12;NISTIR 7791 Conformance Test Architecture and Test Suite for ANSI of these standards and the associated conformance test architectures and test suites. The ANSI/NIST-ITL standard

83

University of Massachusetts Amherst Measurement & Verification Guidelines  

E-Print Network [OSTI]

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

Massachusetts at Amherst, University of

84

Carbon Storage Monitoring, Verification and Accounting Research...  

Energy Savers [EERE]

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

85

Verification and Validation of Simulation Model  

E-Print Network [OSTI]

Verification and Validation of Simulation Model 1 Verification and Validation 2 #12;Verification · Examples ­ simulation model: open networks with exponential interarrival time distribution and uniform

Shihada, Basem

86

Voltage verification unit  

DOE Patents [OSTI]

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.

Martin, Edward J. (Virginia Beach, VA)

2008-01-15T23:59:59.000Z

87

Apparatus for automated testing of biological specimens  

DOE Patents [OSTI]

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.

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

1999-01-01T23:59:59.000Z

88

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

89

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

E-Print Network [OSTI]

. An industrial case study using reactor protection system software shows that the automatically generated test defined by the International Electrotechnical Commission (IEC). Industrial FBD testing relies mostlySOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. (2014) Published online

90

Development of Reconstitution Technology for Surveillance Specimens  

SciTech Connect (OSTI)

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)

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

91

Electric Utility Measurement & Verification Program  

E-Print Network [OSTI]

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

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

92

Quantum Money with Classical Verification  

E-Print Network [OSTI]

We construct a quantum money scheme that allows verification through classical communication with bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification.

Gavinsky, Dmitry

2011-01-01T23:59:59.000Z

93

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

94

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

E-Print Network [OSTI]

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

Magee, Joseph W.

95

Nuclear disarmament verification  

SciTech Connect (OSTI)

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.

DeVolpi, A.

1993-12-31T23:59:59.000Z

96

Verification and validation benchmarks.  

SciTech Connect (OSTI)

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.

Oberkampf, William Louis; Trucano, Timothy Guy

2007-02-01T23:59:59.000Z

97

Analysis of Fundamental NIST Sphere Experiments Related to Criticality Safety  

SciTech Connect (OSTI)

A series of neutron transport experiments was performed in 1989 and 1990 at NIST (National Institute of Standards and Technology) using a spherical stainless steel container and fission chambers. These experiments were performed to help understand errors observed in criticality calculations for arrays of individually subcritical components, particularly solution arrays [1-3]. They were supported by the U.S. Department of Energy, Environment and Health, Nuclear Criticality Technology and Safety Project. The intent was to evaluate the possibility that the criticality prediction errors stem from errors in the calculation of neutron leakage from individual components of the array. Thus, the explicit product of the experiments was the measurement of the leakage flux, as characterized by various Cd-shielded and unshielded fission rates. Because the various fission rates have different neutron-energy sensitivities, collectively they give an indication of the energy dependence of the leakage flux. Leakage and moderation were varied systematically through the use of different diameter spheres, with and without water. Some of these experiments with bare fission chambers have been evaluated by the International Criticality Safety Benchmark Evaluation Project (ICSBEP)[4].

Kim, Soon S.

2007-06-01T23:59:59.000Z

98

Environmental Technology Verification Program  

E-Print Network [OSTI]

Environmental 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 MANAGEMENT AND REMEDIATION CENTER Version 1.0 (SIGNATURE ON FILE) Teri Richardson 3-13-09 EPA MMR CENTER

99

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

E-Print Network [OSTI]

In collaboration with the U.S. Food and Drug Administration (FDA), NIST has released RM 8642 FDA Saxitoxin bioassay used in AOAC International Official Method 959.08 Paralytical Shellfish Poison, which is the standard method used for monitoring toxicity of shellfish. Paralytic shellfish poisoning (PSP) results from

100

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

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


101

Quantum Money with Classical Verification  

E-Print Network [OSTI]

We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification. Our scheme is secure against adaptive adversaries - this property is not directly related to the possibility of classical verification, nevertheless none of the earlier quantum money constructions is known to possess it.

Dmitry Gavinsky

2012-03-15T23:59:59.000Z

102

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

103

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

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

Assessment of Evaluation, Measurement, and Verification Methods - 2014 BTO Peer Review Assessment of Evaluation, Measurement, and Verification Methods - 2014 BTO Peer Review...

104

Benefits of Evaluation, Measurement, and Verification | Department...  

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

Benefits of Evaluation, Measurement, and Verification Benefits of Evaluation, Measurement, and Verification This document provides information about the benefits of performing...

105

Evaluation, Measurement, and Verification Overview | Department...  

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

Evaluation, Measurement, and Verification Overview Evaluation, Measurement, and Verification Overview This document provides an overview and definition of EM&V. What is EMV? More...

106

PHYSICS AND SAFETY ANALYSIS FOR THE NIST RESEARCH REACTOR.  

SciTech Connect (OSTI)

Detailed reactor physics and 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 analyses provide an update to the Final Safety Analysis Report (FSAR) and employ state-of-the-art calculational methods. Three-dimensional MCNP Monte Carlo neutron and photon transport calculations were performed to determine the safety parameters for the NBSR. The core depletion and determination of the fuel compositions were performed with MONTEBURNS. MCNP calculations were performed to determine the beginning, middle, and end-of-cycle power distributions, moderator temperature coefficient, and shim arm, beam tube and void reactivity worths. The calculational model included a plate-by-plate description of each fuel assembly, axial mid-plane water gap, beam tubes and the tubular geometry of the shim arms. The time-dependent analysis of the primary loop was determined with a RELAP5 transient analysis model including the pump, heat exchanger, fuel element geometry, and flow channels for both the six inner and twenty-four outer fuel elements. The statistical analysis used to assure protection from critical heat flux (CHF) was performed using a Monte Carlo simulation of the uncertainties contributing to the CHF calculation. The power distributions used to determine the local fuel conditions and margin to CHF were determined with MCNP. Evaluations were performed for the following accidents: (1) the control rod withdrawal startup accident, (2) the maximum reactivity insertion accident, (3) loss-of-flow resulting from loss of electrical power, (4) loss-of-flow resulting from a primary pump seizure, (5) loss-of-flow resulting from inadvertent throttling of a flow control valve, (6) loss-of-flow resulting from failure of both shutdown cooling pumps and (7) misloading of a fuel element. In both the startup and maximum reactivity insertion accidents, the core power transient is terminated by a reactor trip at 30 MW. The calculations show that both the peak reactor power and the excursion energy depend on the negative reactivity insertion from reactor trip. Two cases were considered for loss of electrical power. In the first case offsite power is lost, resulting in an immediate scram caused by loss of power to the control rod system. In the second case power is lost to only the three operating primary pumps, resulting in a slightly delayed scram when loss-of-flow is detected as the pumps coast down. In both instances, RELAP5 results indicate that there is adequate margin to CHF and no damage to the fuel will occur, because of the momentum of the coolant flowing through the fuel channels and the negative scram reactivity insertion. For both the primary pump seizure and inadvertent throttling of a flow control valve, the RELAP5 analyses indicate that the reduction in power following the trip is sufficient to ensure that there is adequate margin to CHF and the fuel cladding does not fail. The analysis of the loss-of-flow accident in the extremely unlikely case where both shutdown pumps fail shows that the cooling provided by the D{sub 2}O is sufficient to ensure the cladding does not fail. The power distributions were examined for a set of fuel misloadings in which a fresh fuel element is moved from a peripheral low-reactivity location to a central high-reactivity location. The calculations show that there is adequate margin to CHF and the cladding does not fail.

CAREW,J.CHENG,L.HANSON,AXU,J.RORER,D.DIAMOND,D.

2003-08-26T23:59:59.000Z

107

PHYSICS AND SAFETY ANALYSIS FOR THE NIST RESEARCH REACTOR.  

SciTech Connect (OSTI)

Detailed reactor physics and 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 analyses provide an update to the Final Safety Analysis Report (FSAR) and employ state-of-the-art calculational methods. Three-dimensional Monte Carlo neutron and photon transport calculations were performed with the MCNP code to determine the safety parameters for the NBSR. The core depletion and determination of the fuel compositions were performed with MONTEBURNS. MCNP calculations were performed to determine the beginning, middle, and end-of-cycle power distributions, moderator temperature coefficient, and shim safety arm, beam tube and void reactivity worths. The calculational model included a plate-by-plate description of each fuel assembly, axial mid-plane water gap, beam tubes and the tubular geometry of the shim safety arms. The time-dependent analysis of the primary loop was determined with a RELAP5 transient analysis model that includes the pump, heat exchanger, fuel element geometry, and flow channels for both the six inner and twenty-four outer fuel elements. The statistical analysis used to assure protection from critical heat flux (CHF) was performed using a Monte Carlo simulation of the uncertainties contributing to the CHF calculation. The power distributions used to determine the local fuel conditions and margin to CHF were determined with MCNP. Evaluations were performed for the following accidents: (1) the control rod withdrawal startup accident, (2) the maximum reactivity insertion accident, (3) loss-of-flow resulting from loss of electrical power, (4) loss-of-flow resulting from a primary pump seizure, (5) loss-of-flow resulting from inadvertent throttling of a flow control valve, (6) loss-of-flow resulting from failure of both shutdown cooling pumps and (7) misloading of a fuel element. In both the startup and maximum reactivity insertion accidents, the core power transient is terminated by a reactor trip at 26 MW. The calculations show that both the peak reactor power and the excursion energy depend on the negative reactivity insertion from reactor trip. In one of the loss-of-flow accidents offsite electrical power is assumed lost to the three operating primary pumps. A slightly delayed reactor scram is initiated as a result of primary flow coast down. The RELAP5 results indicate that there is adequate margin to CHF and no damage to the fuel will occur, because of the momentum of the coolant flowing through the fuel channels and the negative scram reactivity insertion. For both the primary pump seizure and inadvertent throttling of a flow control valve, the RELAP5 analyses indicate that the reduction in power following the trip is sufficient to ensure that there is adequate margin to CHF and that the fuel cladding does not fail. The analysis of the loss-of-flow accident in the extremely unlikely case where both shutdown pumps fail, shows that the cooling provided by the D{sub 2}O is sufficient to ensure the cladding does not fail. The power distributions were examined for a set of fuel misloadings in which a fresh fuel element is moved from a peripheral low-reactivity location to a central high-reactivity location. The calculations show that there is adequate margin to CHF and the cladding does not fail. An additional analysis was performed to simulate the operation at low power (500 kW) without forced flow cooling. The result indicates that natural convection cooling is adequate for operation of the NBSR at a power level of 500 kW.

CHENG,L.HANSON,A.DIAMOND,D.XU,J.CAREW,J.RORER,D.

2004-03-31T23:59:59.000Z

108

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

E-Print Network [OSTI]

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

Lynn, Jeffrey W.

109

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

110

NIST Special Publication 260-169 Certification of SRM 46H  

E-Print Network [OSTI]

and Electrical Engineering Laboratory · Microelectronics · Law Enforcement Standards · Electricity, 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

111

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

112

NATIONAL INITIATIVE FOR CYBERSECURITY EDUCATION | WWW.CSRC.NIST.GOV/NICE 1 The 2013 NICE Workshop  

E-Print Network [OSTI]

NATIONAL INITIATIVE FOR CYBERSECURITY EDUCATION | WWW.CSRC.NIST.GOV/NICE 1 AGENDA The 2013 NICE Workshop Navigating the National Cybersecurity Education InterState Highway September 17 ­ 19, 2013 PLENARY & Maintaining a Competitive Cybersecurity Workforce TRK4 The Role of States in the National Cybersecurity

Bentz, Dale P.

113

NIST BUILDING SCIENCE SERIES 180 Database-Assisted Design for Wind  

E-Print Network [OSTI]

climatological information on extreme wind speeds and their direction-dependence can be used in conjunction; aerodynamics; extreme winds; database-assisted design; structural dynamics; wind directionality; wind forcesNIST BUILDING SCIENCE SERIES 180 Database-Assisted Design for Wind: Concepts, Software

114

TFE Verification Program  

SciTech Connect (OSTI)

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.

Not Available

1993-05-01T23:59:59.000Z

115

Learning Minimal Separating DFA's for Compositional Verification  

E-Print Network [OSTI]

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

Clarke, Edmund M.

116

Fabrication of specimens with controlled flaws  

SciTech Connect (OSTI)

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.

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

1995-10-01T23:59:59.000Z

117

: 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

118

Software Modeling and Verification Professors  

E-Print Network [OSTI]

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

Ábrahám, Erika

119

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

120

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

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


121

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

122

NIST Special Publication 1039r1 Liquid Flow Meter Calibrations with the  

E-Print Network [OSTI]

NIST Special Publication 1039r1 Liquid Flow Meter Calibrations with the 0.1 L/s and the 2.5 L Publication 1039r1 Liquid Flow Meter Calibrations with the 0.1 L/s and the 2.5 L/s Piston Provers Jodie G. Technol. Spec. Publ. 1039r1, 55 pages (December 2013) CODEN: NSPUE2 #12;Liquid Flow Meter Calibrations

123

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

E-Print Network [OSTI]

' ' A House&A LAborAtoryNIST's NEW Home Tests Energy Efficient Technology These solar panel insTeD systems together," coffey To The solar panels locaTeD added. "we also brought on The roof. The inverTallaTions heaT The home s waTer, while a larger array on an upper roof helps generaTe energy. During n

124

Motorized manipulator for positioning a TEM specimen  

DOE Patents [OSTI]

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.

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

2010-12-14T23:59:59.000Z

125

Leak detection/verification  

SciTech Connect (OSTI)

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.

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

1997-04-01T23:59:59.000Z

126

Generation of RTL verification input stimulus  

E-Print Network [OSTI]

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

Selvarathinam, Anand Manivannan

2001-01-01T23:59:59.000Z

127

Specimen illumination apparatus with optical cavity for dark field illumination  

DOE Patents [OSTI]

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.

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

1999-01-01T23:59:59.000Z

128

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

129

Design for manufacturability Design verification  

E-Print Network [OSTI]

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

Patel, Chintan

130

Apparatus and method for magnetically processing a specimen  

DOE Patents [OSTI]

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.

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

2013-09-03T23:59:59.000Z

131

Software Verification and Testing Lecture Notes: Testing I  

E-Print Network [OSTI]

Software 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 mathematical skills 1 #12;Motivation verification vs testing: · verification used often in early stages

Struth, Georg

132

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

SciTech Connect (OSTI)

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.

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

1984-12-01T23:59:59.000Z

133

Verification Challenges at Low Numbers  

SciTech Connect (OSTI)

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.

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

2013-06-01T23:59:59.000Z

134

Guide to good practices for independent verification  

SciTech Connect (OSTI)

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.

Not Available

1993-06-01T23:59:59.000Z

135

Guide to good practices for independent verification  

SciTech Connect (OSTI)

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.

Not Available

1993-06-01T23:59:59.000Z

136

Guide to good practices for independent verification  

SciTech Connect (OSTI)

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.

NONE

1998-12-01T23:59:59.000Z

137

Superior Energy Performance Measurement and Verification Protocol...  

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

and Verification Protocol for Industry (November 2012) More Documents & Publications Energy Intensity Baselining and Tracking Guidance EnPI V4.0 Tool Algorithm Superior Energy...

138

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

139

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

140

DOE Verification Testing in Support of ENERGY STAR, April 22...  

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

the Energy Star Verification Testing Program Comment submitted by the Association of Home Appliance Manufacturers (AHAM) regarding the Energy Star Verification Testing Program...

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


141

ORO Verification of Employment Tracking System(VETS) PIA, Oak...  

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

Verification of Employment Tracking System(VETS) PIA, Oak ridge Operations Office ORO Verification of Employment Tracking System(VETS) PIA, Oak ridge Operations Office ORO...

142

Developing an Evaluation Measurement and Verification Plan for...  

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

and Verification Plan for Your Energy Efficiency ProjectProgram Developing an Evaluation Measurement and Verification Plan for Your Energy Efficiency ProjectProgram...

143

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

144

ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITH MTCONNECT  

E-Print Network [OSTI]

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

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

2009-01-01T23:59:59.000Z

145

RELAP5 Application to Accident Analysis of the NIST Research Reactor  

SciTech Connect (OSTI)

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.

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

2012-03-18T23:59:59.000Z

146

The monitoring and verification of nuclear weapons  

SciTech Connect (OSTI)

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.

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

147

Verification after Synthesis Alan Mishchenko Robert Brayton  

E-Print Network [OSTI]

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

Brayton, Robert K.

148

Quantum Money with Classical Verification Dmitry Gavinsky  

E-Print Network [OSTI]

Quantum Money with Classical Verification Dmitry Gavinsky NEC Laboratories America, Inc. Princeton, NJ, U.S.A. Abstract We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme

Gavinsky, Dmitry

149

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

150

The reconstitution of Charpy-size tensile specimens  

SciTech Connect (OSTI)

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.

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

151

u.s. department of commerce national institute of standards and technology manufacturing extension partnership The National Institute of Standards and Technology's (NIST) Hollings Manufacturing Extension  

E-Print Network [OSTI]

, from innovation strategies to process improvements to green manufacturing. MEP also works with partnersu.s. department of commerce · national institute of standards and technology · manufacturing extension partnership The National Institute of Standards and Technology's (NIST) Hollings Manufacturing

Magee, Joseph W.

152

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartmentNationalRestart of the Review of theOFFICE OF8/%2A ennike6/%2A en NGSI Safeguards by

153

Ultra high vacuum heating and rotating specimen stage  

DOE Patents [OSTI]

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.

Coombs, A.W. III

1995-05-02T23:59:59.000Z

154

Specimen Curriculum for Chemical Engineering Focus Area: Chemical Engineering  

E-Print Network [OSTI]

Chemistry Chem 220B 3 hours Physical Chemistry Chem 230 3 hours Chemical Reactor Engineering ChBE 225 3Specimen Curriculum for Chemical Engineering Focus Area: Chemical Engineering Semester hours SOPHOMORE YEAR FALL SPRING Chem 219A

Bordenstein, Seth

155

Experimental deformation of multilithologic specimens simulating sedimentary facies changes  

E-Print Network [OSTI]

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

Dyke, Lawrence Dana

1976-01-01T23:59:59.000Z

156

RENEWABLES PORTFOLIO STANDARD 2005 PROCUREMENT VERIFICATION  

E-Print Network [OSTI]

CALIFORNIA ENERGY COMMISSION RENEWABLES PORTFOLIO STANDARD 2005 PROCUREMENT VERIFICATION RENEWABLES COMMITTEE John L. Geesman Presiding Member Jackalyne Pfannenstiel Associate Member B.B. Blevins Executive Director Jason Orta Heather Raitt Principal Authors Mark Hutchison Manager RENEWABLE ENERGY OFFICE

157

Runtime verification of object lifetime specifications  

E-Print Network [OSTI]

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

Benjamin, Zev (Zev A.)

2009-01-01T23:59:59.000Z

158

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

159

J-integral values for cracks in conventional fatigue specimens  

SciTech Connect (OSTI)

Comprehensive S-N fatigue data has been developed worldwide using conventional low-cycle fatigue tests. Such tests use smooth unnotched specimens subjected to controlled axial deflection or strain ranges. The tests must be run in the plastic regime in order to achieve the required cycles-to-failure. Recent developments have highlighted the need to understand and interpret the significance of the resulting strain range vs. cycles to failure data in terms of crack initiation and propagation. Since conventional fatigue tests are conducted in the plastic regime, linear elastic fracture mechanics cannot be used to accurately quantify crack growth in such tests. Elastic-plastic J-integral theory, however, has been shown to provide excellent correlations of crack growth in the elastic, elastic-plastic and grossly-plastic regimes for a wide range of geometric and loading conditions. The authors are applying this theory to the low-cycle fatigue specimen crack behavior. As cracks progress in conventional fatigue specimens, bending becomes significant. Since fatigue testing machines are quite stiff relative to the small fatigue specimens, the ends of the specimen are constrained to remain parallel, and this reduces bending in the cracked cross-section. Three-dimensional finite element elastic-plastic analyses are required to include these constraints in the J-integral solutions.

O`Donnell, T.P.; O`Donnell, W.J. [O`Donnell Consulting Engineers, Pittsburgh, PA (United States)

1996-12-01T23:59:59.000Z

160

Visual inspection for CTBT verification  

SciTech Connect (OSTI)

On-site visual inspection will play an essential role in future Comprehensive Test Ban Treaty (CTBT) verification. Although seismic and remote sensing techniques are the best understood and most developed methods for detection of evasive testing of nuclear weapons, visual inspection can greatly augment the certainty and detail of understanding provided by these more traditional methods. Not only can visual inspection offer ``ground truth`` in cases of suspected nuclear testing, but it also can provide accurate source location and testing media properties necessary for detailed analysis of seismic records. For testing in violation of the CTBT, an offending party may attempt to conceal the test, which most likely will be achieved by underground burial. While such concealment may not prevent seismic detection, evidence of test deployment, location, and yield can be disguised. In this light, if a suspicious event is detected by seismic or other remote methods, visual inspection of the event area is necessary to document any evidence that might support a claim of nuclear testing and provide data needed to further interpret seismic records and guide further investigations. However, the methods for visual inspection are not widely known nor appreciated, and experience is presently limited. Visual inspection can be achieved by simple, non-intrusive means, primarily geological in nature, and it is the purpose of this report to describe the considerations, procedures, and equipment required to field such an inspection.

Hawkins, W.; Wohletz, K.

1997-03-01T23:59:59.000Z

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


161

Monitoring and verification R&D  

SciTech Connect (OSTI)

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.

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

162

Fracture toughness measurements with subsize disk compact specimens  

SciTech Connect (OSTI)

Special fixtures and test methods have been developed for testing small disk compact specimens (1.25 mm diam by 4.6 mm thick). Specimens of European type 316L austenitic stainless steel were irradiated to damage levels of about 3 dpa at nominal irradiation temperatures of either 90 or 250 C and tested over a temperature range from 20 to 250 C. Results show that irradiation to this dose level at these temperatures reduces the fracture toughness but the toughness remains quite high. The toughness decreases as the test temperature increases. Irradiation at 250 C is more damaging than at 90 C, causing larger decreases in the fracture toughness. The testing shows that it is possible to generate useful fracture toughness data with a small disk compact specimens.

Alexander, D.J.

1994-12-31T23:59:59.000Z

163

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

SciTech Connect (OSTI)

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.

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

2012-09-30T23:59:59.000Z

164

A Tutorial on Text-Independent Speaker Verification  

E-Print Network [OSTI]

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

Bimbot, Frederic

165

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

166

Measurement and Verification for Commissioning Projects: Challenges and Opportunities  

E-Print Network [OSTI]

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

Heinemeier, K.

2005-01-01T23:59:59.000Z

167

Plug-and-Play Architectural Design and Verification  

E-Print Network [OSTI]

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

Massachusetts at Amherst, University of

168

Active alignment/contact verification system  

DOE Patents [OSTI]

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.

Greenbaum, William M. (Modesto, CA)

2000-01-01T23:59:59.000Z

169

Computer Science Specimen Curriculum City University Hong Kong, China  

E-Print Network [OSTI]

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

Simaan, Nabil

170

Computer Science Specimen Curriculum City University Hong Kong, China  

E-Print Network [OSTI]

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

Simaan, Nabil

171

Computer Science Specimen Curriculum National University of Singapore  

E-Print Network [OSTI]

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

Simaan, Nabil

172

Ultrasonic Evaluation of Two Dissimilar Metal Weld Overlay Specimens  

SciTech Connect (OSTI)

Two dissimilar metal weld (DMW) pipe-to-nozzle specimens were implanted with thermal fatigue cracks in the 13% to 90% through-wall depth range. The specimens were ultrasonically evaluated with phased-array probes having center frequencies of 0.8, 1.0, 1.5, and 2.0 megahertz (MHz). An Alloy 82/182 weld overlay (WOL) was applied and the specimens were ultrasonically re-evaluated for flaw detection and characterization. The Post-WOL flaw depths were approximately 10% to 56% through-wall. This study has shown the effectiveness of ultrasonic examinations of Alloy 82/182 overlaid DMW specimens. Phased-array probes with center frequency in the 0.8- to 1.0-MHz range provide a strong coherent signal but the greater ultrasonic wavelength and larger beam spot size prevent the reliable detection of small flaws. These small flaws had nominal through-wall depths of less than 15% and length in the 50-60 mm (2-2.4 in.) range. Flaws in the 19% and greater through-wall depth range were readily detected with all four probes. At the higher frequencies, the reflected signals are less coherent but still provide adequate signal for flaw detection and characterization. A single inspection at 2.0 MHz could provide adequate detection and sizing information but a supplemental inspection at 1.0 or 1.5 MHz is recommended.

Crawford, Susan L.; Cinson, Anthony D.; Prowant, Matthew S.; Moran, Traci L.; Anderson, Michael T.

2012-06-30T23:59:59.000Z

173

Biomedical Engineering Specimen Curriculum National University of Ireland, Galway  

E-Print Network [OSTI]

Biomedical Engineering Specimen Curriculum National University of Ireland, Galway Fall Semester ELEC Sci, Engineering, Math Elective 6* 16 Senior Year Fall VU Spring VU BME 271 Biomedical Seminar 1 BME 273 Design of Medical Engineering Systems II 3 BME 255w Biomedical Engineering Lab 3 18 SEM

Simaan, Nabil

174

Infrared Temperature Sensing of Mechanically Loaded Specimens: Thermal Analysis  

E-Print Network [OSTI]

, 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

Rabin, Yoed

175

STATE OF CALIFORNIA CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING  

E-Print Network [OSTI]

-MECH-25 Refrigerant Charge Verification ­ Standard Measurement Procedure (Page 1 of 6) Site Address of a Charge Indicator Display (CID) is utilized as an alternative to refrigerant charge verification compliance with the refrigerant charge verification requirement. TMAH and STMS are not required

176

Measurement and Verification (M&V)  

E-Print Network [OSTI]

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

Masuda, H

2014-01-01T23:59:59.000Z

177

Fuel Retrieval System Design Verification Report  

SciTech Connect (OSTI)

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

GROTH, B.D.

2000-04-11T23:59:59.000Z

178

Apparatus for tensile testing plate-type ceramic specimens  

DOE Patents [OSTI]

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.

Liu, K.C.

1993-08-24T23:59:59.000Z

179

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

E-Print Network [OSTI]

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

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

180

Formal Verification of SpecC Programs  

E-Print Network [OSTI]

;Outline 1. Old work: Bounded Model Checking for ANSI-C 2. Verification of concurrent ANSI-C programs using Predicate Abstraction SpecC Overview Abstraction Refinement 3. Current work: Hybrid Models #12;ANSI into equation Check equation using SAT Advantages: Completely automated Allows full set of ANSI-C, including

Saranlý, Uluç

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


181

RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN  

SciTech Connect (OSTI)

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.

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

2014-09-01T23:59:59.000Z

182

EMERGING RENEWABLES PROGRAM SYSTEMS VERIFICATION REPORT  

E-Print Network [OSTI]

survey that measured customer experience in applying to the ERP, receiving utility interconnection that instantaneous measurements showed most PV systems were operating in-line with expectations with modest, renewable energy, shading, solar, system performance, system verification, utility interconnection, wind #12

183

EXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF  

E-Print Network [OSTI]

- 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

Skogestad, Sigurd

184

Hybrid Systems: From Verification to Falsification  

E-Print Network [OSTI]

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

Vardi, Moshe Y.

185

Hybrid Systems: From Verification to Falsification  

E-Print Network [OSTI]

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

Kavraki, Lydia E.

186

SAVCBS 2003 Specification and Verification of  

E-Print Network [OSTI]

://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

Leavens, Gary T.

187

Compositional Algorithmic Verification of Software Product Lines  

E-Print Network [OSTI]

, and Siavash Soleimanifard2 1 Technische Universit¨at Braunschweig, Germany i.schaefer@tu-braunschweig.de 2 Royal Institute of Technology, Stockholm, Sweden {dilian,siavashs}@csc.kth.se Abstract. Software product expressiveness and a clean and simple model suitable for compositional verification. We generalize a previously

Gurov, Dilian

188

?A cylindrical specimen holder for electron cryo-tomography  

E-Print Network [OSTI]

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

Palmer, Colin Michael

2013-03-12T23:59:59.000Z

189

Evolutionary Test Program Induction for Microprocessor Design Verification Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero  

E-Print Network [OSTI]

Evolutionary Test Program Induction for Microprocessor Design Verification Fulvio Corno, Gianluca is an assembly program able to maximize a predefined verification metric. Design verification of on-chip

Fernandez, Thomas

190

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

191

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

192

NGSI: IAEA Verification of UF6 Cylinders  

SciTech Connect (OSTI)

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.

Curtis, Michael M.

2012-06-05T23:59:59.000Z

193

Conceptual design. Final report: TFE Verification Program  

SciTech Connect (OSTI)

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.

Not Available

1994-03-01T23:59:59.000Z

194

GRIMHX verification and validation action matrix summary  

SciTech Connect (OSTI)

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.

Trumble, E.F.

1991-12-01T23:59:59.000Z

195

A Search for Channel Deformation in Irradiated Vanadium Tensile Specimens  

SciTech Connect (OSTI)

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.

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

2010-02-26T23:59:59.000Z

196

Survey of Existing Tools for Formal Verification.  

SciTech Connect (OSTI)

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.

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

2014-12-01T23:59:59.000Z

197

Logic verification using recursive learning, ATPG and transformations  

E-Print Network [OSTI]

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

Paul, Debjyoti

1996-01-01T23:59:59.000Z

198

SAT-based Verification for Analog and Mixed-signal Circuits  

E-Print Network [OSTI]

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

Deng, Yue

2012-07-16T23:59:59.000Z

199

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

E-Print Network [OSTI]

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

Christian Jansson

2005-06-17T23:59:59.000Z

200

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

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


201

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

202

Measurement and Verification of Low Income Energy Efficiency...  

Open Energy Info (EERE)

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

203

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

204

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

205

Measurement and Verification, Best Practices in Design and Implementation  

E-Print Network [OSTI]

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

Martin, T.; Khatami, H.

2013-01-01T23:59:59.000Z

206

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

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

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

207

NEMVP: North American energy measurement and verification protocol  

SciTech Connect (OSTI)

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.

NONE

1996-03-01T23:59:59.000Z

208

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

209

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

E-Print Network [OSTI]

, biased TEM specimen, thin film solar cell, FIB Thin films of hydrogenated Si (Si:H) can be used as active for electron holography of a thin film solar cell using conventional lift-out specimen preparation and a homeFocused ion beam specimen preparation for electron holography of electrically biased thin film

Dunin-Borkowski, Rafal E.

210

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

211

Specimen coordinate automated measuring machine/fiducial automated measuring machine  

DOE Patents [OSTI]

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.

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

1991-01-01T23:59:59.000Z

212

Verification of Probabilistic Real-time Systems Marta Kwiatkowska1  

E-Print Network [OSTI]

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

Oxford, University of

213

Modular Verification of Timed Circuits Using Automatic Abstraction  

E-Print Network [OSTI]

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

Zheng, Hao

214

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis  

E-Print Network [OSTI]

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 and analysis, which can help nuclear engineers take full benefits of VIS without being overwhelmed

215

History Effects and Verification Christian Skalka and Scott Smith  

E-Print Network [OSTI]

. Verification consists of checking to make sure that histories are well-formed, i.e. the sequence of eventsHistory Effects and Verification Christian Skalka and Scott Smith The University of Vermont skalka@cs.uvm.edu The Johns Hopkins University, scott@cs.jhu.edu Abstract. This paper shows how type effect systems can

Smith, Scott F.

216

First Eye Movement Verification and Identification Competition at BTAS 2012  

E-Print Network [OSTI]

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

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

217

LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF  

E-Print Network [OSTI]

of the Analytical Model with Test Data 50 1. 1 5. 1. 2 5. 1. 3 5. I. 4 Lunar Surface and Cold Wall to ExperimentATM 1109 LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF VACUUM TEST DATE 9 /1 5I 72 This ATM summarizes the LSPE Design Verification Thermal Vacuum Test of the prototype model

Rathbun, Julie A.

218

Fast 3D Scanning for Biometric Identification and Verification  

E-Print Network [OSTI]

Fast 3D Scanning for Biometric Identification and Verification June 2011 Authors Anselmo., & Chen, A. (2011). Fast 3D Scanning for Biometric Identification and Verification. (Prepared by RTI..................................................10 Summary and Findings for Integration of Imperceptible Structured Lighting and SIS's 3D Snapshot

McShea, Daniel W.

219

Power Grid Voltage Integrity Verification Department of ECE  

E-Print Network [OSTI]

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

Najm, Farid N.

220

Software Verification in the Google App-Engine Cloud  

E-Print Network [OSTI]

resources. In the last years, cloud services emerged as an inexpensive, flexible, and energy for verification. We chose the platform-as-a-service offer Google App Engine and ported the open are available on demand. This enables a verification process that is less expensive (only actual usage is paid

Beyer, Dirk

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


221

Optimal combination of data verification and materials accountancy  

SciTech Connect (OSTI)

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.

Beedgen, R.; Hafer, J.F.

1982-01-01T23:59:59.000Z

222

FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY  

E-Print Network [OSTI]

1 FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY Rick Katz Institute for Study ON EXTREMES · Emil Gumbel (1891 ­ 1966) -- Pioneer in application of statistics of extremes (Germany, France) Conventional Methods (3) Extreme Value Theory (EVT) (4) Application of EVT to Verification (5) Frost

Katz, Richard

223

Core analysis workstation development and verification  

SciTech Connect (OSTI)

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.

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

1987-01-01T23:59:59.000Z

224

PUC's New Evaluation, Measurement and Verification Framework  

E-Print Network [OSTI]

Clean Air Through Energy Efficiency Conference December 16-18, 2013 San Antonio, Texas ESL-KT-13-12-11 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 Evaluation, Measurement & Verification in Texas... Pam Osterloh, Senior EE/DR Coordinator AEP Texas December 17, 2013 ESL-KT-13-12-11 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 ? A few simple words ? 82nd Texas Legislative Session in 2011 ? PURA 39...

Osterloh, P.

2013-01-01T23:59:59.000Z

225

NREL: Wind Research - Field Verification Project  

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the Contributions andData andFleet Test andField Verification Project The mission of the

226

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

SciTech Connect (OSTI)

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.

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

227

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

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

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.

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

228

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

229

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

E-Print Network [OSTI]

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

230

Viewpoint: The super cool atom thermometer A. M. Rey, JILA, NIST, and University of Colorado, Department of Physics, University of Colorado, Boulder,  

E-Print Network [OSTI]

Viewpoint: The super cool atom thermometer A. M. Rey, JILA, NIST, and University of Colorado to be accompanied by the development of new thermometers capable of measuring them. In a recent paper published insufficient to 50 pK nK nK 10 4 nK10-2 pK J Physics - The super cool atom thermometer http://physics.aps.org.libprox

231

Monitoring/Verification Using DMS: TATP Example  

SciTech Connect (OSTI)

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.

Kevin Kyle; Stephan Weeks

2008-03-01T23:59:59.000Z

232

Microstructural and Mechanical Characterization of Actively Brazed Alumina Specimens  

SciTech Connect (OSTI)

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.

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

233

Comment submitted by Traulsen regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

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

234

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

Broader source: Energy.gov [DOE]

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

235

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

236

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

237

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.

238

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

239

Automated Verification of Practical Garbage Collectors  

E-Print Network [OSTI]

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.

Hawblitzel, Chris

2010-01-01T23:59:59.000Z

240

IT Licentiate theses Practical Verification of Real-Time Systems  

E-Print Network [OSTI]

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

David, Alexandre

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


241

IT Licentiate theses Practical Verification of RealTime Systems  

E-Print Network [OSTI]

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

David, Alexandre

242

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

243

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

244

A Methodology for Automated Verification of Rosetta Specification Transformations  

E-Print Network [OSTI]

particular semantic vocabulary and modeling style. The following dissertation proposes a framework, semantics and methodology for automated verification of safety preservation over specification transformations between domains. Utilizing the ideas of lattice...

Lohoefener, Jennifer Lee

2011-04-11T23:59:59.000Z

245

Process Abstraction in the Verification of Temporal Properties  

E-Print Network [OSTI]

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

Bruns, Glen R

246

Verification and Validation of RADTRAN 5.5.  

SciTech Connect (OSTI)

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

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

2005-02-01T23:59:59.000Z

247

Enhanced verification test suite for physics simulation codes  

SciTech Connect (OSTI)

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.

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

248

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

SciTech Connect (OSTI)

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.

P.C. Weaver

2008-06-12T23:59:59.000Z

249

CTBT Integrated Verification System Evaluation Model  

SciTech Connect (OSTI)

Sandia National Laboratories has developed a computer based model called IVSEM (Integrated Verification System Evaluation Model) to estimate the performance of a nuclear detonation monitoring system. The IVSEM project was initiated in June 1994, by Sandia`s Monitoring Systems and Technology Center and has been funded by the US Department of Energy`s Office of Nonproliferation and National Security (DOE/NN). IVSEM is a simple, top-level, modeling tool which estimates the performance of a Comprehensive Nuclear Test Ban Treaty (CTBT) monitoring system and can help explore the impact of various sensor system concepts and technology advancements on CTBT monitoring. One of IVSEM`s unique features is that it integrates results from the various CTBT sensor technologies (seismic, infrasound, radionuclide, and hydroacoustic) and allows the user to investigate synergy among the technologies. Specifically, IVSEM estimates the detection effectiveness (probability of detection) and location accuracy of the integrated system and of each technology subsystem individually. The model attempts to accurately estimate the monitoring system`s performance at medium interfaces (air-land, air-water) and for some evasive testing methods such as seismic decoupling. This report describes version 1.2 of IVSEM.

Edenburn, M.W.; Bunting, M.L.; Payne, A.C. Jr.

1997-10-01T23:59:59.000Z

250

Organics Verification Study for Sinclair and Dyes Inlets, Washington  

SciTech Connect (OSTI)

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.

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

2006-09-28T23:59:59.000Z

251

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

SciTech Connect (OSTI)

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)

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

252

Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints  

E-Print Network [OSTI]

.4 [Software Engineering]: Software/Program Verification. General Term Algorithms, Design, Reliability, Theory strategy, the corresponding unnecessary verification can be avoided. The comparison and experimental simulation further demonstrate that our new strategy can improve the efficiency of overall temporal

Yang, Yun

253

VERIFICATION BASED ECG BIOMETRICS WITH CARDIAC IRREGULAR CONDITIONS USING HEARTBEAT LEVEL AND SEGMENT LEVEL INFORMATION FUSION  

E-Print Network [OSTI]

VERIFICATION BASED ECG BIOMETRICS WITH CARDIAC IRREGULAR CONDITIONS USING HEARTBEAT LEVEL propose an ECG based robust human verification system for both healthy and cardiac irregular conditions% relatively on the PTB database. Index Terms-- ECG biometrics, beat normalization, outlier re- moval

Li, Xin

254

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 on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 No revision hasInformation Earth's HeatMexico: EnergyMithun JumpMuscoy, California:New York) Name: NGENNGENNIST

255

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

256

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

257

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

Broader source: Energy.gov [DOE]

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

258

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

Broader source: Energy.gov [DOE]

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

259

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

260

E-Print Network 3.0 - attribute verification system Sample Search...  

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

systems for generation "attributes": those characteristics of a power plant's production... , electricity markets are devising accounting and verification systems for...

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


261

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

262

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.

263

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

264

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

265

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

266

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

267

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

SciTech Connect (OSTI)

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

E.N. Bailey

2010-05-26T23:59:59.000Z

268

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

SciTech Connect (OSTI)

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

E.M. Harpenau

2010-11-15T23:59:59.000Z

269

Verification and validation of RADMODL Version 1.0  

SciTech Connect (OSTI)

RADMODL is a system of linked computer codes designed to calculate the radiation environment following an accident in which nuclear materials are released. The RADMODL code and the corresponding Verification and Validation (V&V) calculations (Appendix A), were developed for Westinghouse Savannah River Company (WSRC) by EGS Corporation (EGS). Each module of RADMODL is an independent code and was verified separately. The full system was validated by comparing the output of the various modules with the corresponding output of a previously verified version of the modules. The results of the verification and validation tests show that RADMODL correctly calculates the transport of radionuclides and radiation doses. As a result of this verification and validation effort, RADMODL Version 1.0 is certified for use in calculating the radiation environment following an accident.

Kimball, K.D.

1993-03-01T23:59:59.000Z

270

A Zero Knowledge Protocol For Nuclear Warhead Verification  

SciTech Connect (OSTI)

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.

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

271

Converter performance TFE Verification Program. Final test report  

SciTech Connect (OSTI)

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.

Not Available

1994-03-01T23:59:59.000Z

272

Bibliography for Verification and Validation in Computational Simulations  

SciTech Connect (OSTI)

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.

Oberkampf, W.L.

1998-10-01T23:59:59.000Z

273

Formal verification of complex properties on PLC programs  

E-Print Network [OSTI]

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.

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

2014-01-01T23:59:59.000Z

274

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

SciTech Connect (OSTI)

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.

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

2000-02-17T23:59:59.000Z

275

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

276

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

E-Print Network [OSTI]

and intriguing considering that improving medical systems can save the lives of patients. The Intelligent System and Automation Laboratory at the University of Kansas has created a prototype machine with the goal of making the process of medical slide specimen...

Wurtz, Joshua James

2014-05-31T23:59:59.000Z

277

E-Print Network 3.0 - al-steel-perspex specimens mimicking Sample...  

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

volume fraction of 34%. The results are to be used for characterizing the material... fracture can be observed in some carbon fiber specimens (Fig. 2a) while lateral and angled...

278

Under consideration for publication in Formal Aspects of Computing Specification and verification challenges for  

E-Print Network [OSTI]

and verification challenges as we see them today. We draw on our experience with specifying and verifying code], and static checking and verification tools for these [BCD+ 06, FLL+ 02, CK05]. While we do not claim in ESC/Java [FLL+ 02, LSS99, CK05] and other tools geared to the verification of Java-like programs [BCD

Leino, K. Rustan M.

279

Verification for measurement-only blind quantum computing  

E-Print Network [OSTI]

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.

Tomoyuki Morimae

2014-06-19T23:59:59.000Z

280

Deformation Analysis of Sand Specimens using 3D Digital Image Correlation for the Calibration of an Elasto-Plastic Model  

E-Print Network [OSTI]

of the kinematic and volumetric conditions of the specimen at different stages of deformation, combined with the readings of the global axial compression of the specimen. This allowed for the characterization of a Mohr-Coulomb plasticity model with hardening...

Song, Ahran

2012-10-19T23:59:59.000Z

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


281

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

282

MACCS2 development and verification efforts  

SciTech Connect (OSTI)

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.

Young, M.; Chanin, D.

1997-03-01T23:59:59.000Z

283

Precise Dynamic Verification of Noninterference Gurvan Le Guernic  

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

284

A STROKE BASED ALGORITHM FOR DYNAMIC SIGNATURE VERIFICATION  

E-Print Network [OSTI]

A STROKE BASED ALGORITHM FOR DYNAMIC SIGNATURE VERIFICATION Tong Qu, Abdulmotaleb El Saddik, Andy a novel stroke-based algorithm for DSV. An algorithm is developed to convert sample signatures of individual strokes. Individual strokes are identified by finding the points where there is a 1) decrease

Adler, Andy

285

Exploring Reliability for Automatic Identity Verification with Statistical Shape Models  

E-Print Network [OSTI]

Exploring Reliability for Automatic Identity Verification with Statistical Shape Models Federico M reliability measure of the result. In fact, the segmentation process is One ofthe drawbacks ofstatistical to a wrong result [4]. generic reliability measure for statistical shape models. It This problem

Frangi, Alejandro

286

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

SciTech Connect (OSTI)

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.

H. M. Sulloway

2008-10-02T23:59:59.000Z

287

Contracts for Model Execution Verification Eric Cariou1  

E-Print Network [OSTI]

Contracts for Model Execution Verification Eric Cariou1 , Cyril Ballagny2 , Alexandre Feugas3 a contract-based approach to specify an execution semantics for a meta-model. We show that an execution model transformation contracts for controlling the dynamic con- sistent evolution of a model during its

Paris-Sud XI, Université de

288

Getting Out of the Way Safety Verification without Compromise  

E-Print Network [OSTI]

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

Sivilotti, Paul

289

STATE OF CALIFORNIA LOW LEAKAGE AIR HANDLER VERIFICATION  

E-Print Network [OSTI]

or heat pump fan and inside coil) must be certified to the Commission to leak 2 percent or less of its in the dwelling as applicable. System Name or Identification/Tag System Location or Area Served LLAH Unit Make LLAH Unit Model The LLAH must be connected to a New Duct System that meets the HERS verification

290

Self-adaptive software needs quantitative verification at Radu Calinescu  

E-Print Network [OSTI]

, 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

Oxford, University of

291

Self-adaptive software needs quantitative verification at Radu Calinescu  

E-Print Network [OSTI]

, 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

Paris-Sud XI, Université de

292

Verification of Network Management System Configurations David L. Cohrs  

E-Print Network [OSTI]

, 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

Miller, Barton P.

293

3D Scanning for Biometric Identification and Verification  

E-Print Network [OSTI]

June 2010 3D Scanning for Biometric Identification and Verification Project Leads Anselmo Lastra visibility, cannot be controlled. A relatively new biometric, 3D facial recognition, holds great promise performance using 3D shape and texture matched that of the much more mature technologies of high

McShea, Daniel W.

294

Automated Verification of Practical Garbage Collectors Chris Hawblitzel  

E-Print Network [OSTI]

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

Petrank, Erez

295

Verification of Data-Aware Commitment-Based Multiagent System  

E-Print Network [OSTI]

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

De Giacomo, Giuseppe

296

Neptunium flow-sheet verification at reprocessing plants  

SciTech Connect (OSTI)

Due to their fissile nature, neptunium and americium have at least a theoretical potential application as nuclear explosives and their proliferation potential was considered by the IAEA in studies in the late 1990's. This work was motivated by an increased awareness of the proliferation potential of americium and neptunium and a number of emerging projects in peaceful nuclear programmes which could result in an increase in the available quantities of these minor actinides. The studies culminated in proposals for various voluntary measures including the reporting of international transfers of separated americium and neptunium, declarations concerning the amount of separated neptunium and americium held by states and the application of flow-sheet verification to ensure that facilities capable of separating americium or neptunium are operated in a manner consistent with that declared. This paper discusses the issue of neptunium flowsheet verification in reprocessing plants. The proliferation potential of neptunium is first briefly discussed and then the chemistry of neptunium relevant to reprocessing plants described with a view to indicating a number of issues relevant to the verification of neptunium flow-sheets. Finally, the scope of verification activities is discussed including analysis of process and engineering design information, plant monitoring and sampling and the potential application of containment and surveillance measures. (authors)

Rance, P.; Chesnay, B.; Killeen, T.; Murray, M.; Nikkinen, M.; Petoe, A.; Plumb, J.; Saukkonen, H. [International Atomic Energy Agency, Wagramer Strasse 5, P.O. Box 100, A-1400 Vienna (Austria)

2007-07-01T23:59:59.000Z

297

Verification of Parallel Garbage Collection by Abstract Model Checking  

E-Print Network [OSTI]

have a finite state space provided that the abstraction mapping is powerful. M¨uller and Nipkow's work working on abstract model checking. In Section 4, the abstractions we defined on garbage #12; collectionVerification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract) Masami

Hagiya, Masami

298

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

299

Department of Computing CSP||B modelling for railway verification  

E-Print Network [OSTI]

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

Doran, Simon J.

300

Combining Tools for the Verification of FaultTolerant Systems  

E-Print Network [OSTI]

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

Peleska, Jan - Fachbereich 3

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


301

2012 -2013 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID  

E-Print Network [OSTI]

an official copy of your Birth Certificate, Passport, or Driver's License with this form and we will update2012 - 2013 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID: The date of birth reported on your Free Application for Federal Student Aid (FAFSA) does not match the date of birth reported in one of the following

Nelson, Tim

302

2013 -2014 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID  

E-Print Network [OSTI]

an official copy of your Birth Certificate, Passport, or Driver's License with this form and we will update2013 - 2014 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID: The date of birth reported on your Free Application for Federal Student Aid (FAFSA) does not match the date of birth reported in one of the following

Nelson, Tim

303

Parameterized Specification and Verification of PLC Systems in Coq  

E-Print Network [OSTI]

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

Boyer, Edmond

304

Improving large-sized PLC programs verification using abstractions  

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

305

Venus: Verification for Untrusted Cloud Storage Alexander Shraer  

E-Print Network [OSTI]

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

Keidar, Idit

306

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

E-Print Network [OSTI]

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

Jawitz, James W.

307

FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY  

E-Print Network [OSTI]

1 FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY Rick Katz Institute for Study on Extremes · Emil Gumbel (1891 ­ 1966) -- Pioneer in application of statistics of extremes "Il est impossible que l'improbable n'arrive jamais." #12;3 OUTLINE (1) Motivation (2) Conventional Methods (3) Extreme

Katz, Richard

308

FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY  

E-Print Network [OSTI]

1 FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY Rick Katz Institute for Study ON EXTREMES · Emil Gumbel (1891 ­ 1966) -- Pioneer in application of statistics of extremes "Il est impossible que l'improbable n'arrive jamais." #12;3 OUTLINE (1) Motivation (2) Conventional Methods (3) Extreme

Katz, Richard

309

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

SciTech Connect (OSTI)

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.

Goldmann, L.H.

1997-11-10T23:59:59.000Z

310

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

DOE Patents [OSTI]

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.

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

2013-06-04T23:59:59.000Z

311

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

SciTech Connect (OSTI)

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.

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

2012-10-01T23:59:59.000Z

312

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

DOE Patents [OSTI]

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.

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

1994-01-01T23:59:59.000Z

313

Experimental device-independent verification of quantum steering  

E-Print Network [OSTI]

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.

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

2014-08-07T23:59:59.000Z

314

Specification and Verification of Context-dependent Services  

E-Print Network [OSTI]

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.

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

2011-01-01T23:59:59.000Z

315

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

SciTech Connect (OSTI)

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.

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

316

The Influence of Specimen Thickness on the High Temperature Corrosion Behavior of CMSX-4 during  

E-Print Network [OSTI]

. In order to quantify these effects, thin-walled specimens of different thickness (t = 100?500 lm) were used for gas turbine blades due to its excellent mechanical properties combined with high-temperature oxidation resistance. In service, particular in the case of aero engines, the blades are exposed to thermal

Boyer, Edmond

317

Short Communication Herbarium specimens as a source of DNA for AFLP fingerprinting  

E-Print Network [OSTI]

DNA degradation, such as ``false polymorphisms'', it is suggested that fresh samples should always of DNA degradation seems to be related to the conditions under which the specimen was dried% bleach to remove mounting glue, and treating the material with UV light for 5 min to remove surface

Schierup, Mikkel Heide

318

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

E-Print Network [OSTI]

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

Giurgiutiu, Victor

319

James C. Parks Herbarium specimen collection of Solanaceae, deadly nightshade family  

E-Print Network [OSTI]

important plants, the potato (Solanum tuberosum L.) and for that reason is sometimes known as the Potato family. Both potatoes and tomatoes (Solanum lycopersicum L.) are found in the nightshade genus and have is unknown, but it is common in fields, roadsides and waste areas (Rhoades & Block). The two specimens found

Hardy, Christopher R.

320

Assignment 5 Verification of ANSI-C with PVS  

E-Print Network [OSTI]

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

Clarke, Edmund M.

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


321

Direct experimental verification of quantum commutation relations for Pauli operators  

E-Print Network [OSTI]

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.

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

322

Cleanup Verification Package for the 618-8 Burial Ground  

SciTech Connect (OSTI)

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.

M. J. Appel

2006-08-10T23:59:59.000Z

323

Code Verification of the HIGRAD Computational Fluid Dynamics Solver  

SciTech Connect (OSTI)

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.

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

324

Cost Effective Measurement and Verification at Fairchild AFB  

E-Print Network [OSTI]

Cost Effective Measurement and Verification at Fairchild AFB Authors: Charles Culp, Ph.D., P.E., Associate Director, Energy Systems Laboratory Quinn Hart, P.E., Director, Air Force Civil Engineering Support Agency Bill Turner, Energy Manager... 13,600 monitored points through the facilities. The USAF has numerous projects underway focused on achieving their goal of a 35% energy use reduction by the year 2010, per the requirements of Executive Order 13123. An ESPC (Energy Saving...

Culp, C.; Hart, Q.; Turner, B.; Berry-Lewis, S.

2003-01-01T23:59:59.000Z

325

Shared Signals: Using Existing Facility Meters for Energy Savings Verification  

E-Print Network [OSTI]

energy conservation projects. (2) These guidelines provide monitoring and verification options that have different levels of accuracy and cost. They are specifically designed for energy savings performance contracts and are designed to provide... with a fair degree of accuracy. The costs of using existing meters are often not as clear. Obviously, if an existing meter is used, the costs of purchasing new metering equipment is avoided. However, using an existing meter is not free of costs...

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

326

AHAM DOE Verification Test Agreement | Department of Energy  

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustionImprovement3 Beryllium-Associated Worker2014DepartmentI325DOE Verification Test Agreement AHAM

327

AHAM Letter Acknowledging DOE Letter on Verification Program | Department  

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustionImprovement3 Beryllium-Associated Worker2014DepartmentI325DOE Verification Test Agreementof

328

A comparison of adjoint and data-centric verification techniques.  

SciTech Connect (OSTI)

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

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

2013-03-01T23:59:59.000Z

329

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

DOE Patents [OSTI]

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.

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

2013-07-31T23:59:59.000Z

330

Verification and validation of COBRA-SFS transient analysis capability  

SciTech Connect (OSTI)

This report provides documentation of the verification and validation testing of the transient capability in the COBRA-SFS code, and is organized into three main sections. The primary documentation of the code was published in September 1995, with the release of COBRA-SFS, Cycle 2. The validation and verification supporting the release and licensing of COBRA-SFS was based solely on steady-state applications, even though the appropriate transient terms have been included in the conservation equations from the first cycle. Section 2.0, COBRA-SFS Code Description, presents a capsule description of the code, and a summary of the conservation equations solved to obtain the flow and temperature fields within a cask or assembly model. This section repeats in abbreviated form the code description presented in the primary documentation (Michener et al. 1995), and is meant to serve as a quick reference, rather than independent documentation of all code features and capabilities. Section 3.0, Transient Capability Verification, presents a set of comparisons between code calculations and analytical solutions for selected heat transfer and fluid flow problems. Section 4.0, Transient Capability Validation, presents comparisons between code calculations and experimental data obtained in spent fuel storage cask tests. Based on the comparisons presented in Sections 2.0 and 3.0, conclusions and recommendations for application of COBRA-SFS to transient analysis are presented in Section 5.0.

Rector, D.R.; Michener, T.E.; Cuta, J.M.

1998-05-01T23:59:59.000Z

331

Enrichment Assay Methods Development for the Integrated Cylinder Verification System  

SciTech Connect (OSTI)

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.

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

2009-10-22T23:59:59.000Z

332

AUTOMATED, HIGHLY ACCURATE VERIFICATION OF RELAP5-3D  

SciTech Connect (OSTI)

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.

George L Mesina; David Aumiller; Francis Buschman

2014-07-01T23:59:59.000Z

333

Monitoring and Commissioning Verification Algorithms for CHP Systems  

SciTech Connect (OSTI)

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.

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

2008-03-31T23:59:59.000Z

334

2003 Idaho National Engineering and Environmental Laboratory Shallow Injection Well Verification and Status Report  

SciTech Connect (OSTI)

A detailed verification of the shallow injection well inventory for Bechtel BWXT Idaho, LLC and Argonne National Laboratory-West-operated facilities was performed in 2003. Fourteen wells, or 20%, were randomly selected for the verification. This report provides updated information on the 14 shallow injection wells that were randomly selected for the 2003 verification. Where applicable, additional information is provided for shallow injection wells that were not selected for the 2003 verification. This updated information was incorporated into the 2003 Shallow Injection Wells Inventory, Sixty-eight wells were removed from the 2003 Shallow Injection Well Inventory.

Lewis, M.G.

2003-08-21T23:59:59.000Z

335

2003 Idaho National Engineering and Environmental Laboratory Shallow Injection Well Verification and Status Report  

SciTech Connect (OSTI)

A detailed verification of the shallow injection well inventory for Bechtel BWXT Idaho, LLC and Argonne National Laboratory-West-operated facilities was performed in 2003. Fourteen wells, or 20%, were randomly selected for the verification. This report provides updated information on the 14 shallow injection wells that were randomly selected for the 2003 verification. Where applicable, additional information is provided for shallow injection wells that were not selected for the 2003 verification. This updated information was incorporated into the 2003 Shallow Injection Wells Inventory. Sixty-eight wells were removed from the 2003 Shallow Injection Well Inventory.

Mike Lewis

2003-08-01T23:59:59.000Z

336

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

E-Print Network [OSTI]

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

Avrunin, George S.

337

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

SciTech Connect (OSTI)

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

W.C. Adams

2010-05-24T23:59:59.000Z

338

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

SciTech Connect (OSTI)

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

P.C. Weaver

2010-02-10T23:59:59.000Z

339

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

SciTech Connect (OSTI)

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

W.C. Adams

2010-07-21T23:59:59.000Z

340

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

SciTech Connect (OSTI)

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.

Lam, P.; Michigan, J.

2014-04-25T23:59:59.000Z

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


341

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

SciTech Connect (OSTI)

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.

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

1994-12-31T23:59:59.000Z

342

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

SciTech Connect (OSTI)

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.

Steefel, Carl

2014-01-06T23:59:59.000Z

343

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

DOE Patents [OSTI]

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.

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

1997-02-04T23:59:59.000Z

344

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

DOE Patents [OSTI]

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.

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

345

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

SciTech Connect (OSTI)

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.

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

346

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

DOE Patents [OSTI]

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.

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

1983-05-03T23:59:59.000Z

347

Logic Based Approaches to Workflow Modeling and Verification 1 Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul,  

E-Print Network [OSTI]

Contents Logic Based Approaches to Workflow Modeling and Verification 1 Saikat Mukherjee, Hasan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 #12;#12;Logic-Based Approaches to Workflow Modeling and Verification Saikat Mukherjee,1 Hasan

Yang, Guizhen

348

DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION  

SciTech Connect (OSTI)

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.

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

349

A Runtime Verification Framework for Control System Simulation  

SciTech Connect (OSTI)

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.

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

2014-08-02T23:59:59.000Z

350

Verification of hourly forecasts of wind turbine power output  

SciTech Connect (OSTI)

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.

Wegley, H.L.

1984-08-01T23:59:59.000Z

351

VERIFICATION TESTING AND DESIGN PROCEDURE FOR FRP GRID REINFORCED CONCRETE SLABS  

E-Print Network [OSTI]

1 VERIFICATION TESTING AND DESIGN PROCEDURE FOR FRP GRID REINFORCED CONCRETE SLABS by Jeffrey J (Civil Engineering) at the UNIVERSITY OF WISCONSIN-MADISON 2009 #12;2 VERIFICATION TESTING AND DESIGN that can be positioned quickly. Initial testing on three dimensional fiber reinforced polymer grids has led

Bank, Lawrence C.

352

Comparative Application of Real-Time Verification Methods to an Automotive Architecture  

E-Print Network [OSTI]

Comparative Application of Real-Time Verification Methods to an Automotive Architecture Steffen especially to distributed automotive architectures. The high connectivity of different control units forms approaches for the verification of real-time behavior of an automotive architecture are compared. Two tools

Ulm, Universität

353

Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks  

E-Print Network [OSTI]

1 Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks Marco Fiore, Member Papadimitratos, Member, IEEE Abstract--A growing number of ad hoc networking protocols and location verification, mobile ad hoc networks, vehicular networks. I. INTRODUCTION Location awareness has become

Paris-Sud XI, Université de

354

HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME: ___________________________ACCT.CODE:________________________________________________________DATE:_______  

E-Print Network [OSTI]

HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME/Org/Object/Fund/Activity/Sub-Activity/Root WEB VOUCHER NO:____________VENDOR:____________________! Grant !!!! Contract !!!!Cooperative Agreement (please check one) The Federal Government requires vendor selection justification and price verification

Heller, Eric

355

Comments for A Conference on Verification in the 21st Century  

SciTech Connect (OSTI)

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.

Doyle, James E. [Los Alamos National Laboratory

2012-06-12T23:59:59.000Z

356

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

357

Formal Verification of a Superscalar Execution Unit1 Kyle L. Nelson Alok Jain Randal E. Bryant  

E-Print Network [OSTI]

of the entire system. Our verifica- tion methodology, based on Symbolic Trajectory Evaluation, is able to bridge not provide a rigorous methodology for subsystem verification. Our verification methodology is able to bridge funded by Semiconductor Research Corporation #96-DC- 068 Permission to make digital/hard copy of all

Bryant, Randal E.

358

Formal Verification of a Superscalar Execution Unit 1 Kyle L. Nelson Alok Jain Randal E. Bryant  

E-Print Network [OSTI]

of the entire system. Our verifica tion methodology, based on Symbolic Trajectory Evaluation, is able to bridge not provide a rigorous methodology for subsystem verification. Our verification methodology is able to bridge funded by Semiconductor Research Corporation #96DC 068 Permission to make digital/hard copy of all

Bryant, Randal E.

359

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

E-Print Network [OSTI]

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

Joseph Fourier Grenoble-I, Université

360

Biometric classifier update using online learning: A case study in near infrared face verification  

E-Print Network [OSTI]

Biometric classifier update using online learning: A case study in near infrared face verification 2010 Accepted 26 January 2010 Keywords: Biometrics Online learning Support vector machine Near infrared of the proposed online learning strategy is validated in a near infrared face verification application involving

Ross, Arun Abraham

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


361

Using Sparse Representation for Fish Recognition and Verification in Real World Observation  

E-Print Network [OSTI]

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

Chen, Chaur-Chin

362

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

363

An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration  

E-Print Network [OSTI]

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

Hilley, George

364

ICDF Complex Waste Profile and Verification Sample Guidance  

SciTech Connect (OSTI)

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

W. M. Heileson

2006-10-01T23:59:59.000Z

365

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

SciTech Connect (OSTI)

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.

E. J. Farris and H. M. Sulloway

2008-01-10T23:59:59.000Z

366

Digital data storage systems, computers, and data verification methods  

DOE Patents [OSTI]

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.

Groeneveld, Bennett J.; Austad, Wayne E.; Walsh, Stuart C.; Herring, Catherine A.

2005-12-27T23:59:59.000Z

367

Cleanup Verification Package for the 116-K-2 Effluent Trench  

SciTech Connect (OSTI)

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.

J. M. Capron

2006-04-04T23:59:59.000Z

368

Design verification and cold-flow modeling test report  

SciTech Connect (OSTI)

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.

Not Available

1993-07-01T23:59:59.000Z

369

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 FuelsBSCmemo.pdf BSCmemo.pdf BSCmemo.pdf More DocumentsEnergy ManagementVerification

370

Transforming PLC Programs into Formal Models for Verification Purposes  

E-Print Network [OSTI]

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.

Darvas, D; Blanco, E

2013-01-01T23:59:59.000Z

371

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

SciTech Connect (OSTI)

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.

ERIKA N. BAILEY

2012-02-29T23:59:59.000Z

372

INSTALLATION CERTIFICATE CF-6R-MECH-26-HERS Refrigerant Charge Verification -Alternate Measurement Procedure (Page 1 of 2)  

E-Print Network [OSTI]

INSTALLATION CERTIFICATE CF-6R-MECH-26-HERS Refrigerant Charge Verification - Alternate Measurement are specified in Reference Residential Appendix RA3.2. If refrigerant charge verification is required-MECH-26-HERS Refrigerant Charge Verification - Alternate Measurement Procedure (Page 2 of 2) Site Address

373

Influence of Specimen Size on the SCC Growth Rate of Ni-Alloys Exposed to High Temperature Water  

SciTech Connect (OSTI)

Tests were conducted on a single heat of Alloy 600 using compact tension specimens ranging from 50.80 mm (2 inches) in gross thickness (2T) to 10.16 mm (0.4 inches, 0.4T) in gross thickness. Results indicated that at stress intensity factor (K) levels above 55 MPa{radical}m, the growth rate is affected by specimen size in deaerated primary water. The growth rate can be significantly faster in 0.4T and 0.6T (15.24 mm = 0.6 inches in gross thickness) specimens at these elevated K levels compared to 2T specimens. Stress corrosion crack (SCC) growth rates > 6 x 10{sup -7} mm/s were observed at 338 C and 40 cc/kg H{sub 2} in 0.6T and 0.4T specimens at these elevated K levels, although the fracture mode was not significantly affected by the specimen size. The SCC growth rate of 2T specimens under comparable test conditions was {approx}6 x 10{sup -8} mm/s. All of the specimens examined that were tested at K > 55 MPa{radical}m exhibited intergranular failure, although ductile dimples and cracked grains were observed in the 0.4T specimens loaded to the elevated K levels. The effect of specimen size on the crack growth behavior indicated by electric potential drop (EPD) monitoring at K > 55 MPa{radical}m was also reviewed. EPD indicated steady state crack growth during the tests conducted on 1T (25.4 mm = 1.0 inches in gross thickness) and 2T specimens. Steady state crack growth was not indicated by EPD for the 0.4T and 0.6T specimens loaded at K > 55 MPa{radical}m. EPD indicated large jumps in the crack length at discrete points. Initially, it was believed that these large, rapid increases in the crack length corresponded to ductile tearing of uncracked ligaments in the crack wake as the SCC crack advanced. However, examination of the fracture surfaces did not reveal any evidence of isolated regions of ductile tearing in the crack wake. The large increases in the EPD signal were due to strain bursts. These results highlight the need to base SCC growth rates on destructive examination of the specimen.

E Richey; D Morton; W Moshier

2005-10-19T23:59:59.000Z

374

TRU waste certification and TRUPACT-2 payload verification  

SciTech Connect (OSTI)

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.

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

375

An evaluation of the management system verification pilot at Hanford  

SciTech Connect (OSTI)

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.

BRIGGS, C.R.

1998-11-12T23:59:59.000Z

376

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

SciTech Connect (OSTI)

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.

Luke, S J

2011-12-20T23:59:59.000Z

377

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

SciTech Connect (OSTI)

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.

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

378

EPA Air Docket A-98-49, Item II-B1-31; July 2014 Verification and Validation of WIPP Data Packages  

E-Print Network [OSTI]

Laboratories on May 13, 2014, and performed verification and validation of the americium and plutonium analysis

379

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

SciTech Connect (OSTI)

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.

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

380

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

SciTech Connect (OSTI)

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.

Weaver, Phyllis C.

2012-05-08T23:59:59.000Z

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


381

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

SciTech Connect (OSTI)

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.

P.C. Weaver

2009-04-29T23:59:59.000Z

382

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

SciTech Connect (OSTI)

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

P.C. Weaver

2009-02-17T23:59:59.000Z

383

Battery Technology Life Verification Test Manual Revision 1  

SciTech Connect (OSTI)

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

Jon P. Christophersen

2012-12-01T23:59:59.000Z

384

The new geospatial tools: global transparency enhancing safeguards verification  

SciTech Connect (OSTI)

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.

Pabian, Frank Vincent [Los Alamos National Laboratory

2010-09-16T23:59:59.000Z

385

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)

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.

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

386

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]

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.

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

2012-05-15T23:59:59.000Z

387

Development of a Test Technique to Determine the Thermal Conductivity of Large Refractory Ceramic Test Specimens  

SciTech Connect (OSTI)

A method has been developed to utilize the High Intensity Infrared lamp located at Oak Ridge National Laboratory for the measurement of thermal conductivity of bulk refractory materials at elevated temperatures. The applicability of standardized test methods to determine the thermal conductivity of refractory materials at elevated temperatures is limited to small sample sizes (laser flash) or older test methods (hot wire, guarded hot plate), which have their own inherent problems. A new method, based on the principle of the laser flash method, but capable of evaluating test specimens on the order of 200 x 250 x 50 mm has been developed. Tests have been performed to validate the method and preliminary results are presented in this paper.

Hemrick, James Gordon [ORNL; Dinwiddie, Ralph Barton [ORNL; Loveland, Erick R [ORNL; Prigmore, Andre L [ORNL

2012-01-01T23:59:59.000Z

388

Field Notes and Specimen Catalog, Numbers 56-877 (1933-1934)  

E-Print Network [OSTI]

A l l specimens l i s t e d h e r e i n , unless otherwise s t a t e d , are i n the c o l l e c t i o n 9 LIBRARY BINDING COMPANY P.O. BOX 7217 WACO. 1,K.\\AS 76710, ? ? - -Name of ]) e p-t. PWSf 'P AMU Library Ooile^e Station, 77843... ? Bind a| j$ h missing issues or missing pages ? BINDERY COPY LOT NO: CRM Write 6*i type tfffe, volume, months, page nos., year call nos., imprint in the exact order to be stamped on the spine. Fi e l d Notod and Catalog Davis Numbers 56...

Davis, William B.

2012-04-09T23:59:59.000Z

389

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

SciTech Connect (OSTI)

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.

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

2008-10-01T23:59:59.000Z

390

NIST Standard Reference Database 17 NIST Chemical Kinetics Database  

E-Print Network [OSTI]

, Faircom. Certain trade names and company products are mentioned in the text to specify adequately View.........................................................................................4 Search .........................................................................................4 Search

391

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

392

FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING  

E-Print Network [OSTI]

FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY captured by existing reliability modeling tools. In this paper, we introduce a new reliability modeling tool, called dynamic reliability block diagrams (DRBD), for modeling dynamic relationships between

Xu, Haiping

393

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.

394

Controllable needle-free injection : development and verification of a novel device  

E-Print Network [OSTI]

Current needle-free injection technology is based on actuation via compressed springs or gas. These devices are not easy to modify for different depths of injections. This thesis describes the design and verification of a ...

Wendell, Dawn M. (Dawn Marie), 1983-

2006-01-01T23:59:59.000Z

395

SciTech Connect: Verification of the New FAST v8 Capabilities...  

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

of the New FAST v8 Capabilities for the Modeling of Fixed-Bottom Offshore Wind Turbines: Preprint Citation Details In-Document Search Title: Verification of the New FAST...

396

Method and computer product to increase accuracy of time-based software verification for sensor networks  

DOE Patents [OSTI]

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.

Foo Kune, Denis (Saint Paul, MN); Mahadevan, Karthikeyan (Mountain View, CA)

2011-01-25T23:59:59.000Z

397

Computer-Aided Verification: How to Trust a Machine with Your Life  

E-Print Network [OSTI]

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

Pace, Gordon J.

398

Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant  

E-Print Network [OSTI]

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

Bryant, Randal E.

399

Verification of Floating-Point Adders Yirng-An Chen and Randal E. Bryant  

E-Print Network [OSTI]

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

Bryant, Randal E.

400

Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant  

E-Print Network [OSTI]

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

Bryant, Randal E.

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


401

Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant  

E-Print Network [OSTI]

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

Bryant, Randal E.

402

Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1  

E-Print Network [OSTI]

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

Groote, Jan Friso

403

Robust audio-visual person verification using Web-camera video  

E-Print Network [OSTI]

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

Schultz, Daniel (Daniel T.)

2006-01-01T23:59:59.000Z

404

CCP-TP-001, Rev. 11 CCP Project level Data Validation and Verification  

E-Print Network [OSTI]

-Line Headspace Gas Analysis (HSG) Visual Examination (VE) X Nondestructive Examination (NDE) Nondestructive Assay-10b(2) Verification Source: Drum Data Form 12. NDE data are complete and acceptable Container based

405

Development and experimental verification of a parametric model of an automotive damper  

E-Print Network [OSTI]

. displacement plots for examination. A shock dynamometer was used to correlate the model to real damper data for verification of accuracy. With a working model, components including the bleed orifice, piston orifice, and compression and rebound shims which were...

Rhoades, Kirk Shawn

2006-10-30T23:59:59.000Z

406

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

SciTech Connect (OSTI)

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.

Not Available

2014-09-01T23:59:59.000Z

407

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

SciTech Connect (OSTI)

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.

Weaver, P.

2008-03-17T23:59:59.000Z

408

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

E-Print Network [OSTI]

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

Migdall, Alan

409

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

SciTech Connect (OSTI)

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.

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

410

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

SciTech Connect (OSTI)

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.

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

2011-01-01T23:59:59.000Z

411

Working with NIST Terry Lynch  

E-Print Network [OSTI]

Agreements (CRADACooperative Research and Development Agreements (CRADA)) ConsortiaConsortia Patent and DevelopmentCooperative Research and Development Agreement (CRADA)Agreement (CRADA) CRADAS provide partners with rights not available under anyCRADAS provide partners with rights not available under any other form

412

TomoTherapy MLC verification using exit detector data  

SciTech Connect (OSTI)

Purpose: Treatment delivery verification (DV) is important in the field of intensity modulated radiation therapy (IMRT). While IMRT and image guided radiation therapy (IGRT), allow us to create more conformal plans and enables the use of tighter margins, an erroneously executed plan can have detrimental effects on the treatment outcome. The purpose of this study is to develop a DV technique to verify TomoTherapy's multileaf collimator (MLC) using the onboard mega-voltage CT detectors. Methods: The proposed DV method uses temporal changes in the MVCT detector signal to predict actual leaf open times delivered on the treatment machine. Penumbra and scattered radiation effects may produce confounding results when determining leaf open times from the raw detector data. To reduce the impact of the effects, an iterative, Richardson-Lucy (R-L) deconvolution algorithm is applied. Optical sensors installed on each MLC leaf are used to verify the accuracy of the DV technique. The robustness of the DV technique is examined by introducing different attenuation materials in the beam. Additionally, the DV technique has been used to investigate several clinical plans which failed to pass delivery quality assurance (DQA) and was successful in identifying MLC timing discrepancies as the root cause. Results: The leaf open time extracted from the exit detector showed good agreement with the optical sensors under a variety of conditions. Detector-measured leaf open times agreed with optical sensor data to within 0.2 ms, and 99% of the results agreed within 8.5 ms. These results changed little when attenuation was added in the beam. For the clinical plans failing DQA, the dose calculated from reconstructed leaf open times played an instrumental role in discovering the root-cause of the problem. Throughout the retrospective study, it is found that the reconstructed dose always agrees with measured doses to within 1%. Conclusions: The exit detectors in the TomoTherapy treatment systems can provide valuable information about MLC behavior during delivery. A technique to estimate the TomoTherapy binary MLC leaf open time from exit detector signals is described. This technique is shown to be both robust and accurate for delivery verification.

Chen Quan; Westerly, David; Fang Zhenyu; Sheng, Ke; Chen Yu [TomoTherapy Inc., 1240 Deming Way, Madison, Wisconsin 53717 (United States); Department of Radiation Oncology, University of Colorado School of Medicine, Aurora, Colorado 80045 (United States); Xinghua Cancer Hospital, Xinghua, Jiangsu 225700 (China); Department of Radiation Oncology, University of California-Los Angeles, Los Angeles, California 90095 (United States); TomoTherapy Inc., 1240 Deming Way, Madison, Wisconsin 53717 (United States)

2012-01-15T23:59:59.000Z

413

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

SciTech Connect (OSTI)

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

King, David A.

2012-08-16T23:59:59.000Z

414

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

DOE Patents [OSTI]

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.

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

2003-06-24T23:59:59.000Z

415

Automated Flaw Detection Scheme For Cast Austenitic Stainless Steel Weld Specimens Using Hilbert Huang Transform Of Ultrasonic Phased Array Data  

SciTech Connect (OSTI)

The objective of this work is to develop processing algorithms to detect and localize the flaws using NDE ultrasonic data. Data was collected using cast austenitic stainless steel (CASS) weld specimens on-loan from the U.S. nuclear power industrys Pressurized Water Reactor Owners Group (PWROG) specimen set. Each specimen consists of a centrifugally cast stainless steel (CCSS) pipe section welded to a statically cast (SCSS) or wrought (WRSS) section. The paper presents a novel automated flaw detection and localization scheme using low frequency ultrasonic phased array inspection signals in the weld and heat affected zone of the base materials. The major steps of the overall scheme are preprocessing and region of interest (ROI) detection followed by the Hilbert Huang transform (HHT) of A-scans in the detected ROIs. HHT offers time-frequency-energy distribution for each ROI. The accumulation of energy in a particular frequency band is used as a classification feature for the particular ROI.

Khan, T.; Majumdar, Shantanu; Udpa, L.; Ramuhalli, Pradeep; Crawford, Susan L.; Diaz, Aaron A.; Anderson, Michael T.

2012-01-01T23:59:59.000Z

416

Comment submitted by the Air Conditioning, Heating and Refrigeration Institute (AHRI) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the Air Conditioning, Heating and Refrigeration Institute (AHRI) regarding the Energy Star Verification Testing Program

417

Comment submitted by the Association of Home Appliance Manufacturers (AHAM) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the Association of Home Appliance Manufacturers (AHAM) regarding the Energy Star Verification Testing Program

418

Comment submitted by the North American Association of Food Equipment Manufacturers (NAFEM) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the North American Association of Food Equipment Manufacturers (NAFEM) regarding the Energy Star Verification Testing Program

419

Modeling and Verification of Distributed Generation and Voltage Regulation Equipment for Unbalanced Distribution Power Systems; Annual Subcontract Report, June 2007  

SciTech Connect (OSTI)

This report summarizes the development of models for distributed generation and distribution circuit voltage regulation equipment for unbalanced power systems and their verification through actual field measurements.

Davis, M. W.; Broadwater, R.; Hambrick, J.

2007-07-01T23:59:59.000Z

420

INDEPENDENT VERIFICATION SURVEY OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT OUTSIDE AREAS BROOKHAVEN NATIONAL LABORATORY UPTON, NEW YORK  

SciTech Connect (OSTI)

5098-SR-03-0 FINAL REPORT- INDEPENDENT VERIFICATION SURVEY OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT OUTSIDE AREAS, BROOKHAVEN NATIONAL LABORATORY

P.C. Weaver

2010-12-15T23:59:59.000Z

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


421

LETTER REPORT INDEPENDENT VERIFICATION OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT FAN HOUSE, BUILDING 704 BNL  

SciTech Connect (OSTI)

5098-LR-01-0 -LETTER REPORT INDEPENDENT VERIFICATION OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT FAN HOUSE, BUILDING 704 BROOKHAVEN NATIONAL LABORATORY

P.C. Weaver

2010-10-22T23:59:59.000Z

422

Fractographic examination of reduced activation ferritic/martensitic steel charpy specimens irradiated to 30 dpa at 370{degrees}C  

SciTech Connect (OSTI)

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.

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

423

Methodology for computational fluid dynamics code verification/validation  

SciTech Connect (OSTI)

The issues of verification, calibration, and validation of computational fluid dynamics (CFD) codes has been receiving increasing levels of attention in the research literature and in engineering technology. Both CFD researchers and users of CFD codes are asking more critical and detailed questions concerning the accuracy, range of applicability, reliability and robustness of CFD codes and their predictions. This is a welcomed trend because it demonstrates that CFD is maturing from a research tool to the world of impacting engineering hardware and system design. In this environment, the broad issue of code quality assurance becomes paramount. However, the philosophy and methodology of building confidence in CFD code predictions has proven to be more difficult than many expected. A wide variety of physical modeling errors and discretization errors are discussed. Here, discretization errors refer to all errors caused by conversion of the original partial differential equations to algebraic equations, and their solution. Boundary conditions for both the partial differential equations and the discretized equations will be discussed. Contrasts are drawn between the assumptions and actual use of numerical method consistency and stability. Comments are also made concerning the existence and uniqueness of solutions for both the partial differential equations and the discrete equations. Various techniques are suggested for the detection and estimation of errors caused by physical modeling and discretization of the partial differential equations.

Oberkampf, W.L.; Blottner, F.G.; Aeschliman, D.P.

1995-07-01T23:59:59.000Z

424

Uncertainty Estimation Improves Energy Measurement and Verification Procedures  

SciTech Connect (OSTI)

Implementing energy conservation measures in buildings can reduce energy costs and environmental impacts, but such measures cost money to implement so intelligent investment strategies require the ability to quantify the energy savings by comparing actual energy used to how much energy would have been used in absence of the conservation measures (known as the baseline energy use). Methods exist for predicting baseline energy use, but a limitation of most statistical methods reported in the literature is inadequate quantification of the uncertainty in baseline energy use predictions. However, estimation of uncertainty is essential for weighing the risks of investing in retrofits. Most commercial buildings have, or soon will have, electricity meters capable of providing data at short time intervals. These data provide new opportunities to quantify uncertainty in baseline predictions, and to do so after shorter measurement durations than are traditionally used. In this paper, we show that uncertainty estimation provides greater measurement and verification (M&V) information and helps to overcome some of the difficulties with deciding how much data is needed to develop baseline models and to confirm energy savings. We also show that cross-validation is an effective method for computing uncertainty. In so doing, we extend a simple regression-based method of predicting energy use using short-interval meter data. We demonstrate the methods by predicting energy use in 17 real commercial buildings. We discuss the benefits of uncertainty estimates which can provide actionable decision making information for investing in energy conservation measures.

Walter, Travis; Price, Phillip N.; Sohn, Michael D.

2014-05-14T23:59:59.000Z

425

Enrichment Assay Methods for a UF6 Cylinder Verification Station  

SciTech Connect (OSTI)

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 facilitys entire cylinder inventory. These enrichment assay methods interrogate only a small fraction of the total cylinder volume, and are time-consuming and expensive to execute for inspectors. Pacific Northwest National Laboratory (PNNL) is developing an unattended measurement system capable of automated enrichment measurements over the full volume of Type 30B and Type 48 cylinders. This 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 focus of this paper is the development of nondestructive assay (NDA) methods that combine traditional enrichment signatures (e.g. 185-keV emission from U-235) and more-penetrating non-traditional signatures (e.g. high-energy neutron-induced gamma rays spawned primarily from U-234 alpha emission) collected by medium-resolution gamma-ray spectrometers (i.e. sodium iodide or lanthanum bromide). The potential of these NDA methods for the automated assay of feed, tail and product cylinders is explored through MCNP modeling and with field measurements on a cylinder population ranging from 0.2% to 5% in U-235 enrichment.

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

2010-11-30T23:59:59.000Z

426

Cold fusion verification. Final report for period ending 1989  

SciTech Connect (OSTI)

The objective of this work to verify and reproduce experimental observations of Cold Nuclear Fusion (CNF), as originally reported in 1989. The method was to start with the original report and add such additional information as became available to build a set of operational electrolytic CNF cells. Verification was to be achieved by first observing cells for neutron production, and for those cells that demonstrated a nuclear effect, careful calorimetric measurements were planned. The authors concluded, after laboratory experience, reading published work, talking with others in the field, and attending conferences, that CNF probably is chimera and will go the way of N-rays and polywater. The neutron detector used for these tests was a completely packaged unit built into a metal suitcase that afforded electrostatic shielding for the detectors and self-contained electronics. It was battery-powered, although it was on charge for most of the long tests. The sensor element consists of He detectors arranged in three independent layers in a solid moderating block. The count from each of the three layers as well as the sum of all the detectors were brought out and recorded separately. The neutron measurements were made with both the neutron detector and the sample tested in a cave made of thick moderating material that surrounded the two units on the sides and bottom.

North, M.H.; Mastny, G.F.; Wesley, E.J.

1991-03-01T23:59:59.000Z

427

Technology verification phase. Dynamic isotope power system. Final report  

SciTech Connect (OSTI)

The Phase I requirements of the Kilowatt Isotope Power System (KIPS) program were to make a detailed Flight System Conceptual Design (FSCD) for an isotope fueled organic Rankine cycle power system and to build and test a Ground Demonstration System (GDS) which simulated as closely as possible the operational characteristics of the FSCD. The activities and results of Phase II, the Technology Verification Phase, of the program are reported. The objectives of this phase were to increase system efficiency to 18.1% by component development, to demonstrate system reliability by a 5000 h endurance test and to update the flight system design. During Phase II, system performance was improved from 15.1% to 16.6%, an endurance test of 2000 h was performed while the flight design analysis was limited to a study of the General Purpose Heat Source, a study of the regenerator manufacturing technique and analysis of the hardness of the system to a laser threat. It was concluded from these tests that the GDS is basically prototypic of a flight design; all components necessary for satisfactory operation were demonstrated successfully at the system level; over 11,000 total h of operation without any component failure attested to the inherent reliability of this type of system; and some further development is required, specifically in the area of performance. (LCL)

Halsey, D.G.

1982-03-10T23:59:59.000Z

428

Influence of specimen design on the ductility of zircaloy cladding: Experiment and analysis  

SciTech Connect (OSTI)

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.

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

1999-11-12T23:59:59.000Z

429

6 TRANSPORTATION OF SPECIMENS All samples to be transported should be packaged in heavy-duty containers and should comply  

E-Print Network [OSTI]

plastic bags (see Webb 1998). Place samples in a strong insulated container or cardboard box. Addresses-duty containers and should comply with the appropriate local protocol. It is important that all agencies involved with tape and enclosed in sealed plastic bags. Specimens can also be sent wrapped; place tissues in paper

Marsh, Helene

430

Effect of Specimen Conditioning on Geosynthetic Clay Liner Shear J.S. McCartney & J.G. Zornberg  

E-Print Network [OSTI]

635 Effect of Specimen Conditioning on Geosynthetic Clay Liner Shear Strength J.S. McCartney & J of geosynthetic clay liners (GCLs) must replicate field conditions while still accounting for time and cost to conditioning. 1 INTRODUCTION Geosynthetic clay liners (GCLs) are prefabricated geocomposite materials used

Zornberg, Jorge G.

431

NCMIR METHODS FOR 3D EM: A NEW PROTOCOL FOR PREPARATION OF BIOLOGICAL SPECIMENS FOR SERIAL BLOCK  

E-Print Network [OSTI]

NCMIR METHODS FOR 3D EM: A NEW PROTOCOL FOR PREPARATION OF BIOLOGICAL SPECIMENS FOR SERIAL BLOCK, University of California, San Diego, La Jolla, CA, USA Note: This protocol was designed to enhance signal followed by 0.15M cacodylate buffer (Ted Pella Inc., Redding, CA) pH 7.4 containing 2.5% glutaraldehyde

Gleeson, Joseph G.

432

Miniature Specimen Testing The Small Punch Test (SPT) has successfully been used in the US and in Japan  

E-Print Network [OSTI]

and in Japan to assess the material behavior of steels in nuclear reactor and pressure vessels as well1 Miniature Specimen Testing The Small Punch Test (SPT) has successfully been used in the US joints used therein Conventional tensile tests, shear tests as well as thermal cycle tests are used

Berlin,Technische Universität

433

Phyllosilicates In this lab you will examine specimens of the phyllosilicate or sheet silicate minerals. In regard to  

E-Print Network [OSTI]

Phyllosilicates In this lab you will examine specimens of the phyllosilicate or sheet silicate, you should simply know that they are hydrous alumino-silicates (Al will substitute for Si) and you- silicate with K, Mg and Fe". Mineral formulae are provided for convenience. Phyllosilicates Serpentine

Dundas, Robert G.

434

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

SciTech Connect (OSTI)

Conduct verification surveys of available grids at the David Witherspoon Incorporated 1630 Site (DWI 1630) in Knoxville, Tennessee. The IVT conducted verification activities of partial grids H19, J21, J22, X20, and X21.

P.C. Weaver

2008-03-19T23:59:59.000Z

435

Fatigue Crack Propagation from Notched Specimens of 304 SS in elevated Temperature Aqueous Environment  

SciTech Connect (OSTI)

Fatigue crack propagation (FCP) rates for 304 stainless steel (304SS) were determined in 24 degree C and 288 degree C air and 288 degree C water using double-edged notch (DEN) specimens of 304 stainless steel (304 SS). Test performed at matched loading conditions in air and water at 288 degree C with 20-6- cc h[sub]2/kg h[sub]2O provided a direct comparison of the relative crack growth rates in air and water over a wide range of crack growth rates. The DEN crack extension ranged from short cracks (0.03-0.25 mm) to long cracks up to 4.06 mm, which are consistent with conventional deep crack tests. Crack growth rates of 304 SS in water were about 12 times the air rate. This 12X environmental enhancement persisted to crack extensions up to 4.06 mm, far outside the range associated with short crack effects. The large environmental degradation for 304 SS crack growth is consistent with the strong reduction of fatigue life in high hydrogen water. Further, very similar environmental effects w ere reported in fatigue crack growth tests in hydrogen water chemistry (HWC). Most literature data in high hydrogen water show only a mild environmental effect for 304 SS, of order 2.5 times air or less, but the tests were predominantly performed at high cyclic stress intensity or equivalently, high air rates. The environmental effect in low oxygen environments at low stress intensity depends strongly on both the stress ratio, R, and the load rise time, T[sub]r, as recently reported for austenitic stainless steel in BWR water. Fractography was performed for both tests in air and water. At 288 degree C in water, the fracture surfaces were crisply faceted with a crystallographic appearance, and showed striations under high magnification. The cleavage-like facets on the fracture surfaces suggest that hydrogen embrittlement is the primary cause of accelerated cracking.

Wire, G. L.; Mills, W. J.

2002-08-01T23:59:59.000Z

436

Investigation of temperature dependence of fracture toughness in high-dose HT9 steel using small-specimen reuse technique  

SciTech Connect (OSTI)

The temperature dependence of fracture toughness in HT9 steel irradiated to 3145 dpa at 380503 degrees*C was investigated using miniature three-point bend (TPB) fracture specimens. A miniature-specimen reuse technique has been established: the tested halves of subsize Charpy impact specimens with dimensions of 27 mm *3mm* 4 mm were reused for this fracture test campaign by cutting a notch with a diamond-saw in the middle of each half, and by fatigue-precracking to generate a sharp crack tip. It was confirmed that the fracture toughness of HT9 steel in the dose range depends more strongly on the irradiation temperature than the irradiation dose. At an irradiation temperature <430 *degreesC, the fracture toughness of irradiated HT9 increased with the test temperature, reached an upper shelf of 180200 MPa*m^.5 at 350450 degrees*C, and then decreased with the test temperature. At an irradiation temperature >430 degrees*C, the fracture toughness was nearly unchanged up to about 450 *degreesC and decreased slowly with test temperatures in a higher temperature range. Such a rather monotonic test temperature dependence after high-temperature irradiation is similar to that observed for an archive material generally showing a higher degree of toughness. A brittle fracture without stable crack growth occurred in only a few specimens with relatively lower irradiation and test temperatures. In this discussion, these TPB fracture toughness data are compared with previously published data from 12.7 mm diameter disc compact tension (DCT) specimens.

Baek, Jong-Hyuk; Byun, Thak Sang; Maloy, Stuart A.; Toloczko, Mychailo B.

2014-01-01T23:59:59.000Z

437

Investigation of temperature dependence of fracture toughness in high-dose HT9 steel using small-specimen reuse technique  

SciTech Connect (OSTI)

The temperature dependence of fracture toughness in HT9 steel irradiated to 3 145 dpa at 380 503 C was investigated using miniature three-point bend (TPB) fracture specimens. A miniature-specimen reuse technique has been established: the tested halves of subsize Charpy impact specimens with dimensions of 27 mm 3mm 4 mm were reused for this fracture test campaign by cutting a notch with a diamond-saw in the middle of each half, and by fatigue-precracking to generate a sharp crack tip. It was confirmed that the fracture toughness of HT9 steel in the dose range depends more strongly on the irradiation temperature than the irradiation dose. At an irradiation temperature <430 C, the fracture toughness of irradiated HT9 increased with the test temperature, reached an upper shelf of 180 200 MPa ffiffiffiffiffi m p at 350 450 C, and then decreased with the test temperature. At an irradiation temperatureP430 C, the fracture toughness was nearly unchanged up to about 450 C and decreased slowly with test temperatures in a higher temperature range. Such a rather monotonic test temperature dependence after high-temperature irradiation is similar to that observed for an archive material generally showing a higher degree of toughness. A brittle fracture without stable crack growth occurred in only a few specimens with relatively lower irradiation and test temperatures. In this discussion, these TPB fracture toughness data are compared with previously published data from 12.7 mm diameter disc compact tension (DCT) specimens.

Baek, Jong-Hyuk [KAERI] [KAERI; Byun, Thak Sang [ORNL] [ORNL; Maloy, S [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Toloczko, M [Pacific Northwest National Laboratory (PNNL)] [Pacific Northwest National Laboratory (PNNL)

2014-01-01T23:59:59.000Z

438

The thermionic fuel element verification program: Technical accomplishments and goals  

SciTech Connect (OSTI)

The goal of the Thermionic Fuel Element Verification Program (TFEVP) is to demonstrate the technological readiness of a thermionic fuel element in a thermionic reactor having an electric power output in the 0.5- to 5-MW(electric) range and a full-power life of 7 yr. The TFEVP has made significant progress in developing components capable of withstanding the required neutron fluence (4 x 10[sup 22] n/cm[sup 2], E > 0. 1 MeV) and the required burnup (5.3%) of a 2-MW(electric) system. Technology developed under the TFEVP also supports the 5- to 40-kW(electric) thermionic systems currently of interest to the Strategic Defense Initiative Organization and the US Air Force. The fast-neutron flux in certain 5- to 40-kW(electric) systems is up to a factor of 7 less than that in 0.5- to 5-MW(electric) systems. Component technology that has been developed for 0.5- to 5-MW(electric) systems will thus be suitable for use in long-life, high-performance, 5- to 40-kW(electric) systems. Components that are being developed by the TFEVP include insulator seals, sheath insulators, fueled emitters, cesium reservoirs, and inter- connective TFE components. In addition, the TFEVP has created a preliminary 2-MW(electric) system design and is currently evaluating converter performance under various conditions. Prototypical TFEs are also being tested. The TFEVP is developing accurate converter-performance models that are correlated to observed test data.

Houts, M.G. (Los Alamos National Lab., NM (United States)); Wharton, W.R. Jr. (Department of Energy, Germantown, MD (United States)); Begg, L.L. (General Atomics, San Diego, CA (United States)); Lawrence, L.A. (Westinghouse Hanford Company, Richland, WA (United States))

1993-01-01T23:59:59.000Z

439

The Joint Owners' Group Program on MOV Periodic Verification  

SciTech Connect (OSTI)

To address long-term motor operated valve (MOV) performance, the Babcock and Wilcox, Boiling Water Reactor, Combustion Engineering and Westinghouse Groups (B and WOG, BWROG, CEOG and WOG) teamed in 1997 to form the Joint Group (JOG) MOV Periodic Verification (PV) Program. This program is nearing completion, with 98 of the 103 operating U.S. reactor units participating. The goal of the program is to provide a justified approach for periodically testing MOVs, that addresses potential degradation. The program defines an interim approach that specifies periodic tests without flow and differential pressure (DP), at a frequency determined by the s risk significance and margin. To justify this approach, each participating plant is also DP testing 2 valves per unit. Each valve is tested three times over five years, with at least one year between tests. The data are evaluated jointly to confirm or adjust the initial guidance. The majority of the tests are complete and conclusions are coming into focus. For gate valves, when the valve factor is initially low, increases can occur between one test and a later test. One common way that the valve factor becomes low is disassembling and reassembling the valve. The data show that, following valve disassembly and re-assembly, the valve factor tends to be reduced, and it tends to increase in subsequent service. Outside of the valves disassembled and reassembled, some gate valves have low valve factors apparently because the valves are not stroked under DP conditions in service. For butterfly valves, there have been no observations of degradation in bearing friction coefficient. A few valves with bronze bearings in raw (untreated) water service have shown significant variations in friction, but they tend to be a mixture of increases and decreases with no pattern of degradation. Globe valves, both unbalanced and balanced, tend to show a constant valve factor with no indication of degradation. (authors)

Damerell, Paul S.; Spears, Todd A. [MPR Associates Inc., 140 Mustang Circle, Simpsonville, SC 29681 (United States)

2002-07-01T23:59:59.000Z

440

The EPRI/DOE Utility Wind Turbine Performance Verification Program  

SciTech Connect (OSTI)

In 1992, the Electric Power Research Institute (EPRI) and the US Department of Energy (DOE) initiated the Utility Wind Turbine Performance Verification Program (TVP). This paper provides an overview of the TVP, its purpose and goals, and the participating utility projects. Improved technology has significantly reduced the cost of energy from wind turbines since the early 1980s. In 1992, turbines were producing electricity for about $0.07--$0.09/kilowatt-hour (kWh) (at 7 m/s [16 mph sites]), compared with more than $0.30/kWh in 1980. Further technology improvements were expected to lower the cost of energy from wind turbines to $0.05/kWh. More than 17,000 wind turbines, totaling more than 1,500 MW capacity, were installed in the US, primarily in California and Hawaii. The better wind plants had availabilities above 95%, capacity factors exceeding 30%, and operation and maintenance costs of $0.01/kWh. However, despite improving technology, EPRI and DOE recognized that utility use of wind turbines was still largely limited to turbines installed in California and Hawaii during the 1980s. Wind resource assessments showed that other regions of the US, particularly the Midwest, had abundant wind resources. EPRI and DOE sought to provide a bridge from utility-grade turbine development programs under way to commercial purchases of the wind turbines. The TVP was developed to allow utilities to build and operate enough candidate turbines to gain statistically significant operating and maintenance data.

Calvert, S.; Goldman, P. [Department of Energy, Washington, DC (United States); DeMeo, E.; McGowin, C. [Electric Power Research Inst., Palo Alto, CA (United States); Smith, B.; Tromly, K. [National Renewable Energy Lab., Golden, CO (United States)

1997-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


441

A Bottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles  

E-Print Network [OSTI]

A Bottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles M. O'Connor, S. Tangirala, R. Kumar, S. Bhattacharyya, M. Sznaier and L.E. Holloway Abstract -- We present a systematic method of verification for a hierarchical hybrid system

Kumar, Ratnesh

442

Requirements Verification Report AN Farm to 200E Waste Transfer System for Project W-314 Tank Farm Restoration and Safe Operations  

SciTech Connect (OSTI)

This Requirements Verification Report (RVR) for Project W-314 ''AN Farm to 200E Waste Transfer System'' package provides documented verification of design compliance to all the applicable Project Development Specification (PDS) requirements. Additional PDS requirements verification will be performed during the project's procurement, construction, and testing phases, and the RVR will be updated to reflect this information as appropriate.

MCGREW, D.L.

1999-09-28T23:59:59.000Z

443

Logic and transistor circuit verification using regression testing and hierarchical recursive learning  

E-Print Network [OSTI]

2670 c3540, opt c3540 c5315, opt c5315 c6288, opt c6288 c7552, opt c7552 RLI 10 73 48 148 30 20 144 Re@. Test 14 26 RL ATPG 14 385 12 22 0 190 6 154 2 572 17 2787 0 other Total 16 28 473 87 376 12 14 168 646 2819 205... Algorithm of Verifast C. Learning at Level One D. Potential Equivalent Node Identification E. Potential Equivalent Node Checking F. Final Verification 10 12 14 15 17 20 22 IV LOGIC TO TRANSISTOR CIRCUIT VERIFICATION vu CHAPTER Page A. Review...

Shao, Li

1996-01-01T23:59:59.000Z

444

Point-to-Point Verification of Monitored Sensors at Reynolds Army Clinic and Hospital Final Report  

E-Print Network [OSTI]

to approximately 1.0 in. H 2 O. Supply fan speeds began decreasing once their static pressure setpoints were satisfied. Two static pressure sensors did not pass verification. ESL recommended that the sensors be cleaned in the same manner as the air flow... which were identified during the verification process be given immediate attention. 1. Replace return air humidity sensors for AHU-155, AHU-245, AHU-345, and AHU-355. 2. Replace supply air humidity sensors for AHU-225 and AHU-226. 3. Clean and...

Martinez, J.; Linenschmidt, S.; Turner, D.

445

Radionuclide Inventory Distribution Project Data Evaluation and Verification White Paper  

SciTech Connect (OSTI)

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

NSTec Environmental Restoration

2010-05-17T23:59:59.000Z

446

Efficient speaker verification using Gaussian mixture model component clustering.  

SciTech Connect (OSTI)

In speaker verification (SV) systems that employ a support vector machine (SVM) classifier to make decisions on a supervector derived from Gaussian mixture model (GMM) component mean vectors, a significant portion of the computational load is involved in the calculation of the a posteriori probability of the feature vectors of the speaker under test with respect to the individual component densities of the universal background model (UBM). Further, the calculation of the sufficient statistics for the weight, mean, and covariance parameters derived from these same feature vectors also contribute a substantial amount of processing load to the SV system. In this paper, we propose a method that utilizes clusters of GMM-UBM mixture component densities in order to reduce the computational load required. In the adaptation step we score the feature vectors against the clusters and calculate the a posteriori probabilities and update the statistics exclusively for mixture components belonging to appropriate clusters. Each cluster is a grouping of multivariate normal distributions and is modeled by a single multivariate distribution. As such, the set of multivariate normal distributions representing the different clusters also form a GMM. This GMM is referred to as a hash GMM which can be considered to a lower resolution representation of the GMM-UBM. The mapping that associates the components of the hash GMM with components of the original GMM-UBM is referred to as a shortlist. This research investigates various methods of clustering the components of the GMM-UBM and forming hash GMMs. Of five different methods that are presented one method, Gaussian mixture reduction as proposed by Runnall's, easily outperformed the other methods. This method of Gaussian reduction iteratively reduces the size of a GMM by successively merging pairs of component densities. Pairs are selected for merger by using a Kullback-Leibler based metric. Using Runnal's method of reduction, we were able to achieve a factor of 2.77 reduction in a posteriori probability calculations with no loss in accuracy when the original UBM consisted of 256 component densities. When clustering was implemented with a 1024 component UBM, we achieved a computation reduction of 5 with no loss in accuracy and a reduction by a factor of 10 with less than 2.4% relative loss in accuracy.

De Leon, Phillip L. (New Mexico State University, Las Cruces, NM); McClanahan, Richard D.

2012-04-01T23:59:59.000Z

447

Analysis of stress-induced Burgers vector anisotropy in pressurized tube specimens of irradiated ferritic-martensitic steel: JLF-1  

SciTech Connect (OSTI)

A procedure for determining the Burgers vector anisotropy in irradiated ferritic steels allowing identification of all a<100> and all a/2<111> dislocations in a region of interest is applied to a pressurized tube specimen of JLF-1 irradiated at 430 C to 14.3 {times} 10{sup 22} n/cm{sup 2} (E > 0.1 MeV) or 61 dpa. Analysis of micrographs indicates large anisotropy in Burgers vector populations develop during irradiation creep.

Gelles, D.S. [Pacific Northwest National Lab., Richland, WA (United States); Shibayama, T. [Univ. of Hokkaido, Oarai, Ibaraki (Japan). Inst. for Materials Research

1998-09-01T23:59:59.000Z

448

In-situ and thin-specimen aging of experimental polyisocyanurate roof insulation foamed with alternative blowing agents  

SciTech Connect (OSTI)

This paper reports apparent thermal conductivity (k) values from field and laboratory aging tests on a set of industry-produced, experimental polyisocyanurate (PIR) laminated boardstock foamed with hydrochlorofluorocarbons (HCFCs) as alternatives to chlorofluorocarbon (CFC). The PIR boards were blown with five gases: CFC-11, HCFC-123, HCFC-14lb, and 50/50 and 65/35 blends of HCFC-123/HCFC-14lb. The k-values were determined from 0 to 50{degree}C (30 to 120{degree}F) using techniques that meet ASTM C 114 (Thin Heater Apparatus) and ASTM C 518 (Heat Flow Meter Apparatus). Results on laminate boards with facers provide an independent laboratory check on the increase in k observed for field exposure in the ORNL Roof Thermal Research Apparatus (RTRA). The observed laboratory increase in k was between 8% and 11% for a 240 day field exposure in the RTRA. A thin-specimen aging procedure established the long-term thermal resistance of gas-filled foams. Thin specimens were planed from the industry-produced boardstock foams and aged at 24 and 65{degree}C (75{degree}F and 150{degree}F) for up to 300 days. An exponential dependency of k with the quantity (diffusion coefficient X time){sup {1/2}}/ thickness, provide effective diffusion coefficients for air components into the foams and blowing agent out of the foams. The foams blown with alternative blowing agents exhibited k-values 3 to 16% (average 9.4%) above CFC-11 foams under similar conditions. Field exposures were conducted on specimens under single ply EPDM membranes in the RTRA for over 400 days. Hourly averages of panel temperature and heat flux were analyzed to obtain K as a function of mean temperature on a week by week basis. The relative performance of test specimens of HCFC-14B under a black and under a white membrane is reported. 29 refs., 10 figs., 10 tabs.

Christian, J.E.; Courville, G.E.; Graves, R.S.; Linkous, R.L.; McElroy, D.L.; Weaver, F.J.; Yarbrough, D.W.

1991-01-01T23:59:59.000Z

449

Assessing Diet and Seasonality in the Lower Pecos Canyonlands: An Evaluation of Coprolite Specimens as Records of Individual Dietary Decisions  

E-Print Network [OSTI]

of Committee, Vaughn M. Bryant Committee Members, Alston Thoms Lori Wright Andreas Holzenburg Head of Department, Donny Hamilton December 2010 Major Subject: Anthropology iii ABSTRACT Assessing Diet and Seasonality in the Lower Pecos... Canyonlands: An Evaluation of Coprolite Specimens as Records of Individual Dietary Decisions. (December 2010) Timothy E. Riley, B.A., The College of the University of Chicago Chair of Advisory Committee: Dr. Vaughn M. Bryant This dissertation presents...

Riley, Timothy

2012-02-14T23:59:59.000Z

450

On some Panamerican Cretaceous crabs (Decapoda: Raninoida) 263 Decapod crustacean specimens recently collected from new and previously reported localities of USA, Mexico, and Colombia, as  

E-Print Network [OSTI]

specimens recently collected from new and previously reported localities of USA, Mexico, and Colombia Colombia, Oklahoma and Mexico. Specimens of Cenomanocarcinus vanstraeleni from the Turonian of Mexico and Colombia include features not described previously for this species, such as variation in the shape

Bermingham, Eldredge

451

IFP --Oil & Gas Science and Technology --(Script : 1er specimen) --1 --Oil & Gas Science and Technology --rev. IFP, Vol. xx (2009), No X, pp. 00-00  

E-Print Network [OSTI]

IFP -- Oil & Gas Science and Technology -- (Script : 1er specimen) -- 1 -- Oil & Gas Science2010 Author manuscript, published in "Oil & Gas Science and Technology - Rev. IFP, 65, 3 (2010) 435-444" DOI : 10.2516/ogst/2010007 #12;IFP -- Oil & Gas Science and Technology -- (Script : 1er specimen) -- 2

Boyer, Edmond

452

Automated verification of termination certificates Frederic Blanqui and Kim Quyen Ly  

E-Print Network [OSTI]

Automated verification of termination certificates Frederic Blanqui and Kim Quyen Ly INRIA in developing a standalone tool for checking the correctness of certificates for the termination of term rewrite the extraction mechanism of Coq and the library on rewriting theory and termination called CoLoR. I. INTRODUCTION

Paris-Sud XI, Universit de

453

Title: Modeling, Validation and Verification of Concurrent Behavior in the Panama Canal  

E-Print Network [OSTI]

System Using LTSA and UPPAAL Maliheh Poorfarhani. Master of Science, 2005 Directed By: Associate Canal with LTSA and with the help of UPPAAL brings time constraints into the canal behavioral model. #12;MODELING, VALIDATION AND VERIFICATION OF CONCURRENT BEHAVIOR IN THE PANAMA CANAL SYSTEM USING LTSA & UPPAAL

Austin, Mark

454

Managing Space for Finite-State Verification Jianbin Tan, George S. Avrunin, Lori A. Clarke  

E-Print Network [OSTI]

-suppressed Binary Decision Diagrams (ZDDs), in two FSV tools, LTSA and FLAVERS. We describe an experiment showing 200X ACM X-XXXXX-XX-X/XX/XX ...$5.00. Keywords Finite-state verification, BDD, ZDD, LTSA, FLAVERS 1, LTSA [14] and FLAVERS [12]. We describe how the systems to be verified are encoded as Boolean functions

Massachusetts at Amherst, University of

455

Managing Space for Finite-State Verification Jianbin Tan, George S. Avrunin, Lori A. Clarke  

E-Print Network [OSTI]

(ZDDs), in two FSV tools, LTSA and FLAVERS. We describe an experiment showing that these two sym- bolic. Copyright 2006 ACM 1-59593-085-X/06/0005 ...$5.00. Keywords Finite-state verification, BDD, ZDD, LTSA, LTSA [14] and FLAVERS [12]. We describe how the systems to be verified are encoded as Boolean functions

Avrunin, George S.

456

Cleanup Verification Package for the 100-F-20, Pacific Northwest Laboratory Parallel Pits  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action for the 100-F-20, Pacific Northwest Laboratory Parallel Pits waste site. This waste site consisted of two earthen trenches thought to have received both radioactive and nonradioactive material related to the 100-F Experimental Animal Farm.

M. J. Appel

2007-01-22T23:59:59.000Z

457

Verification of a VRF Heat Pump Computer Model in EnergyPlus  

SciTech Connect (OSTI)

This paper provides verification results of the EnergyPlus variable refrigerant flow (VRF) heat pump computer model using manufacturer's performance data. The paper provides an overview of the VRF model, presents the verification methodology, and discusses the results. The verification provides quantitative comparison of full and part-load performance to manufacturer's data in cooling-only and heating-only modes of operation. The VRF heat pump computer model uses dual range bi-quadratic performance curves to represent capacity and Energy Input Ratio (EIR) as a function of indoor and outdoor air temperatures, and dual range quadratic performance curves as a function of part-load-ratio for modeling part-load performance. These performance curves are generated directly from manufacturer's published performance data. The verification compared the simulation output directly to manufacturer's performance data, and found that the dual range equation fit VRF heat pump computer model predicts the manufacturer's performance data very well over a wide range of indoor and outdoor temperatures and part-load conditions. The predicted capacity and electric power deviations are comparbale to equation-fit HVAC computer models commonly used for packaged and split unitary HVAC equipment.

Nigusse, Bereket; Raustad, Richard

2013-06-01T23:59:59.000Z

458

P\\policy E&U#4 TITLE: MEASUREMENT AND VERIFICATION OF GUARANTEED SAVINGS  

E-Print Network [OSTI]

conservation measures by any energy service company, the Engineering & Utilities has adopted the International Performance Measurement and Verification Protocol, (www.ipmvp.org) as a minimum standard. RESPONSIBILITY: To provide a consistent and recognized method to measure and verify the effectiveness of implemented energy

Fernandez, Eduardo

459

Formal verification of privacy for RFID systems Mayla Bruso, Konstantinos Chatzikokolakis, and Jerry den Hartog  

E-Print Network [OSTI]

Formal verification of privacy for RFID systems Mayla Brus´o, Konstantinos Chatzikokolakis, and Jerry den Hartog Eindhoven University of Technology Abstract. RFID tags are being widely employed, however, in combination with their wireless nature, introduces privacy concerns as a tag could leak

Chatzikokolakis, Kostas

460

EXPERIMENTAL VERIFICATION OF THE LOAD-FOLLOWING POTENTIAL OF A HOT DRY ROCK GEOTHERMAL RESERVOIR  

E-Print Network [OSTI]

EXPERIMENTAL VERIFICATION OF THE LOAD-FOLLOWING POTENTIAL OF A HOT DRY ROCK GEOTHERMAL RESERVOIR. The objective of this cyclic load-following experiment was to investigate the performance of the reservoir, this series of cyclic flow tests is referred to as the Load-Following Experiment, with the objective

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


461

Verification of automotive networks -what to expect (and not expect) from each  

E-Print Network [OSTI]

Verification of automotive networks - what to expect (and not expect) from each technique Nicolas NAVET ­ nicolas.navet@uni.lu "Automotive Bus systems + Ethernet" Stuttgart, Germany, December 9-11, 2013. December 09, 2013 #12;1 Outline - 212/11/2013Automotive Bus systems + Ethernet Early-stage timing

Navet, Nicolas

462

Hard-and software implementation and verification of an Islanded House  

E-Print Network [OSTI]

Islanded House. Simulations showed that the discomfort can be decreased when also a battery is addedHard- and software implementation and verification of an Islanded House prototype Albert Molderink conclude that it is possible to create an Islanded House and to decrease the discomfort significantly

Al Hanbali, Ahmad

463

Verification and validation of fast systems with ENDF/B data.  

SciTech Connect (OSTI)

An extensive and systematic verification, validation and data testing effort using diverse Monte Carlo and deterministic methods with ENDF/B data (Versions V.2 and VI.5) is in progress. Methods verification is obtained by comparing independent methods, including continuous-energy Monte Carlo methods using the VIM and MCNP codes and 1D and 2D transport calculations using multigroup cross section sets generated with the ETOE-II/MC-2 system combined with the TWODANT code. Each of these code systems relies on independently processed data libraries. Inter-comparison of these results is used for verification. Further verification is achieved by comparing and plotting the point-wise cross section libraries of VIM and MCNP. Where possible, benchmark models are taken from both the ICSBEP Handbook and the CSEWG Benchmark Specifications. Inter-comparison of these results quantifies the generally small differences between these references. Calculations are repeated with both ENDF/B-V.2 and ENDF/B-VI.5 data. Inter-comparison of these results quantifies their data dependence. Analyses of criticality and reaction rate ratios are used for the validation and data testing. Calculated neutron balances and neutron energy spectra are also obtained and analyzed to explain the observed differences.

Stenberg, C. G.; McKnight, R. D.

2001-08-22T23:59:59.000Z

464

Hardware Verification using ANSI-C Programs as a Reference Edmund Clarke Daniel Kroening  

E-Print Network [OSTI]

Hardware Verification using ANSI-C Programs as a Reference£ Edmund Clarke Daniel Kroening Computer an algorithm to verify a hardware design given in Verilog using an ANSI-C program as a specification. We use in a language like ANSI-C. This program is then used for extensive testing and debugging, in particular of any

Clarke, Edmund M.

465

Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine Contributions `a la verification  

E-Print Network [OSTI]

Contributions `a la verification automatique de protocoles de groupes TH`ESE presentee et soutenue groupe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3 Gestion de clefsesume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.5 Impact des agents malhonn^etes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2

Boyer, Edmond

466

Optimal PID-Control for First Order Plus Time Delay Systems & Verification of the  

E-Print Network [OSTI]

Optimal PID-Control for First Order Plus Time Delay Systems & Verification of the SIMC Rules Chriss and Technology (NTNU), Trondheim, Norway e-mail: skoge@ntnu.no Abstract: Optimal cascade PID-settings are found with a modified SIMC-rule for PID- control (Figure 1). Optimality (performance) is defined in terms

Skogestad, Sigurd

467

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the  

E-Print Network [OSTI]

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the SIMC Rules Chriss and Technology (NTNU), Trondheim, Norway e-mail: skoge@ntnu.no Abstract: Optimal PID-settings are found, and is the time delay. We consider only the cascade form PID-controller K(s) = Kc Is + 1 Is (Ds + 1) (2) where Kc

Skogestad, Sigurd

468

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the  

E-Print Network [OSTI]

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the SIMC Rules Chriss and Technology (NTNU), Trondheim, Norway e-mail: skoge@ntnu.no Abstract: Optimal PID-settings are found. We consider only the cascade form PID-controller K(s) = Kc Is + 1 Is (Ds + 1) (2) where Kc, I and D

Skogestad, Sigurd

469

Verification of flow processes in soils with combined sprinkling and dye tracer experiments  

E-Print Network [OSTI]

1 Verification of flow processes in soils with combined sprinkling and dye tracer experiments with sprinkling experiments and dye tracing under different rainfall intensities and soil moisture conditions. The dye tracer was continuously applied with the sprinkling water on 1 m2 plots. After the sprinkling

Weiler, Markus

470

Experimental Verification of the Control of Automatic Drilling Module in Surgery  

E-Print Network [OSTI]

5 3 Experimental Verification of the Control of Automatic Drilling Module in Surgery Tony Boiadjiev drilling (in part or of all) of the corresponding bones. The main problems when the hand drilling takes place can be described as follows: bone overheating caused by inappropriate drilling velocity

Borissova, Daniela

471

Slag-Metal Reactions during Welding: Part Ill. Verification of the Theory  

E-Print Network [OSTI]

, Slag-Metal Reactions during Welding: Part Ill. Verification of the Theory U. MITRA and T.W. EAGAR. The transfer of carbon and oxygen is also discussed. It is shown that the transfer of oxygen into the weld of inclusions in the solidifying weld pool. Methods of applying this analysis to multipass welds and active

Eagar, Thomas W.

472

Sexy Audits and the Single Ballot Election Verification Network Annual Conference  

E-Print Network [OSTI]

Sexy Audits and the Single Ballot Election Verification Network Annual Conference Washington, DC 25 is wrong. Compliance audits vs. materiality audits. 5 #12;California AB 2023 (Salda~na, sponsored by So of, and public confidence in, election results. The Secretary of State is encouraged to include urban

Stark, Philip B.

473

U.S. EPA Environmental Technology Verification (ETV) Program Advanced Monitoring Systems (AMS) Center  

E-Print Network [OSTI]

Members: Joel Allen, EPA John Carlton, Alabama Dept. of Environmental Management (retired) Tom Gargan, U1 U.S. EPA Environmental Technology Verification (ETV) Program Advanced Monitoring Systems (AMS) Center Water Stakeholder Committee Teleconference Wednesday, May 27, 2009 Attendees Stakeholder Committee

474

A Systematic Method for the Intentional Modelling and Verification of Business  

E-Print Network [OSTI]

A Systematic Method for the Intentional Modelling and Verification of Business Applications I appears to be a good candidate for involving business people in the early modelling of business applications, reducing the risk of business-IT systems misalignment. Furthermore, in the context of Model

Paris-Sud XI, Université de

475

Verification of Computer Display Pre-compensation for Visual Aberrations in an Artificial Eye  

E-Print Network [OSTI]

Verification of Computer Display Pre-compensation for Visual Aberrations in an Artificial Eye user's eye) has been confirmed for a simple "artificial eye". This device has been constructed from (CCD) array that mimics the retina of a real eye. While the CCD array allows for the inspection

Barreto, Armando

476

High Accuracy 65nm OPC Verification: Full Process Window Model vs. Critical Failure ORC  

E-Print Network [OSTI]

High Accuracy 65nm OPC Verification: Full Process Window Model vs. Critical Failure ORC Amandine of Mask Rule Checking (MRC) and Optical Rule Checking (ORC) have become indispensable tools for ensuring, a technique known as Critical Failure ORC (CFORC) was introduced that uses optical parameters from aerial

Boyer, Edmond

477

SPEE: A Secure Program Execution Environment Tool Using Static and Dynamic Code Verification  

E-Print Network [OSTI]

SPEE: A Secure Program Execution Environment Tool Using Static and Dynamic Code Verification Olga those using the Internet and exploiting the vul- nerabilities in the software and applications, software ­ for software integrity protection and authentication and presents performance results. Our system architecture

Simha, Rahul

478

Combined Attack on CRT-RSA Why Public Verification Must Not Be Public?  

E-Print Network [OSTI]

Combined Attack on CRT-RSA Why Public Verification Must Not Be Public? Guillaume Barbu1 , Alberto introduces a new Combined Attack on a CRT- RSA implementation resistant against Side-Channel Analysis and Fault Injection attacks. Such implementations prevent the attacker from ob- taining the signature when

Paris-Sud XI, Université de

479

Proceedings of the 1st workshop on Constraints in Software Testing, Verification and Analysis  

E-Print Network [OSTI]

Proceedings of the 1st workshop on Constraints in Software Testing, Verification and Analysis in Software Testing, Verifi- cation and Analysis (CSTVA'06), a workshop of the twelfth International interest in the application of constraint solving techniques to the field of testing and analysis

480

A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir Kulyukin  

E-Print Network [OSTI]

the design of a Cartesian robot for verifying the localization probability of a given PRF surface describe the design of a Cartesian robot for verifying the localization probability of a given PRF surfaceA Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir

Kulyukin, Vladimir

Note: This page contains sample records for the topic "nist verification specimens" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


481

A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala and Vladimir Kulyukin  

E-Print Network [OSTI]

the design and implementation of a Cartesian robot for verifying and constructing signal distribution models. In this paper, we present the design and implementation of a Cartesian robot for verifying and constructingA Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala

Kulyukin, Vladimir

482

A Tomographic Method for Verification of the Integrity of Spent Nuclear Fuel  

E-Print Network [OSTI]

A Tomographic Method for Verification of the Integrity of Spent Nuclear Fuel S. Jacobsson.g. in medicine. This thesis describes a tomographic method developed for measurements on nuclear fuel assemblies of the integrity of the assemblies, i.e. for controlling that all fuel rods are present. The application has been

Haviland, David

483

ORNL/Sub-01-4000031065 Field Test and Performance Verification  

E-Print Network [OSTI]

..............................................................8 8 Projected supply air temperature delivered by IADR heat pump option when operated as a 100 with Heat Pump Capability Final Report: Phase 5 Subcontract Number 4000031065 John Fischer SEMCO, Inc. Dr............................................................................................................................v Abstract: Field Verification of IADR with Heat Pump Capability............................ vii 1

Oak Ridge National Laboratory

484

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers  

E-Print Network [OSTI]

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers Taolue Chen Mereacre Department of Computer Science University of Oxford, UK ABSTRACT We develop a novel hybrid heart. The heart model is formulated at the level of cardiac cells, can be adapted to patient data, and incorpo

Oxford, University of

485

Equivalence Verification of Arithmetic Datapaths with Multiple Word-Length Operands  

E-Print Network [OSTI]

abound in DSP for audio, video and multimedia applications. High-level or register- transfer-level (RTL and describes our ap- proach to the problem. A. Motivating the Verification Problem Let us motivate be converted to fixed-point models [4] and subsequently translated into RTL. Automatic translation utilities

Kalla, Priyank

486

Safe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andre Platzer  

E-Print Network [OSTI]

scenarios may be distributed hybrid systems [21] when there is a multi-agent situation with mul- tiple carsSafe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andr and risks in ground trans- portation, e.g., by making cars aware of their environment and regulating speed

Platzer, Andr

487

Int. J. HumanComputer Studies (1996) 44, 123125 Editorial: special issue on verification and validation  

E-Print Network [OSTI]

and validation ROBERT PLANT Department of Computer Information Systems, Uni ersity of Miami, Coral Gables, FL: Robert Plant, co-editor of this issue); $ at ECAI-94 in Amsterdam, The Netherlands (Chairman: Alun Preece. ÷ 1996 Academic Press Limited 1. KBS verification and testing In recent years, the main technological

Preece, Alun

488

In Robotics and Automation Magazine, 1(2), pp. 413, June 1994. Analysis and Experimental Verification  

E-Print Network [OSTI]

, confirming the validity of the plant model. 1 Introduction There exist a large number of capabilities needed Verification of a Fourth Order Plant Model for Manipulator Force Control Richard Volpe \\Lambda and Pradeep of the arm/ sensor / environment system plant, to be use in evaluation of force control strategies. Both

489

Results of the independent verification survey at the Old Betatron Building, Granite City, Illinois  

SciTech Connect (OSTI)

A team from the Measurement Applications and Development Group, Oak Ridge National Laboratory (ORNL), conducted an independent verification of the radiological condition of the Old Betatron Building, Granite City, Illinois, at the request of the Department of Energy in June of 1993. The building is owned by the National Steel Corporation. The contamination present resulted from the handling of uranium slabs of metal during the time the betatron facility was used to x-ray the slabs for metallurgical defects. The designation survey did not characterize the entire floor space because of obstructing equipment and debris. Therefore, prior to remediation by Bechtel National, Incorporated (BNI), a thorough characterization of the floor was conducted, and the results were immediately conveyed to on-site staff of BNI. An independent verification assessment was also performed after the cleanup activities were performed under the direction of BNI. The process of characterization, remediation, and verification was accomplished within a five-day period. Based on results of the independent verification assessment, the Old Betatron Building was determined to meet the DOE radiological guidelines for unrestricted use.

Murray, M.E.; Brown, K.S.

1994-07-01T23:59:59.000Z

490

INFRARED PROPERTIES OF RADIO-SELECTED SUBMILLIMETER GALAXIES IN THE SPITZER FIRST LOOK SURVEY VERIFICATION FIELD  

E-Print Network [OSTI]

INFRARED PROPERTIES OF RADIO-SELECTED SUBMILLIMETER GALAXIES IN THE SPITZER FIRST LOOK SURVEY and infrared observations of 28 radio-selected galaxies in the Spitzer First Look Survey verification field counterparts at 24 m. The data show a wide range of infrared colors (S70 m=S24 m

Frayer, David

491

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

E-Print Network [OSTI]

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network in the high-level language CHP, by using model checking techniques provided by the CADP toolbox. Our proposal is based on an automatic translation from CHP into LOTOS, the process algebra used in CADP. A translator

Joseph Fourier Grenoble-I, Université

492

EUROGRAPHICS 2005 STAR State of The Art Report Verification of Physically Based Rendering Algorithms  

E-Print Network [OSTI]

EUROGRAPHICS 2005 STAR State of The Art Report Verification of Physically Based Rendering of predictive rendering is concerned with those methods of image synthesis which yield results that do not only the correctness of the results obtained by such techniques, three stages of such a rendering system have

493

Clock Schedule Verification Under Process Variations Ruiming Chen and Hai Zhou  

E-Print Network [OSTI]

Clock Schedule Verification Under Process Variations Ruiming Chen and Hai Zhou Electrical of the structural condi- tions for correct clocking is proposed, where the central prob- lem is to compute the probability of having a positive cycle in a graph with random edge weights. The proposed method only traverses

Zhou, Hai

494

Formal verification of a static analyzer: abstract interpretation in type theory  

E-Print Network [OSTI]

Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt xavier.leroy@inria.fr (Joint work with David Pichardie, Sandrine Blazy, Jacques-Henri Jourdan, and Vincent Laporte.) Abstract Static analysis is the automatic inference and checking of simple

Paris-Sud XI, Université de

495

Assessment of the Fingerprinting Method for Spent Fuel Verification in MACSTOR KN-400 CANDU Dry Storage  

E-Print Network [OSTI]

case and diversion cases with dummy stainless steel and depleted uranium dioxide bundles replacement ........................................................ 46 32 Images of the models used to determine the sensitivity of the detection system... Schematic representation of variation of total neutron flux collected at all 10 detectors inside peripheral re-verification tube ............................ 57 37 Views of the model showing the replaced 14 dummy depleted uranium dioxide bundles...

Gowthahalli Chandregowda, Nandan

2012-10-19T23:59:59.000Z

496

North Korea's nuclear weapons program:verification priorities and new challenges.  

SciTech Connect (OSTI)

A comprehensive settlement of the North Korean nuclear issue may involve military, economic, political, and diplomatic components, many of which will require verification to ensure reciprocal implementation. This paper sets out potential verification methodologies that might address a wide range of objectives. The inspection requirements set by the International Atomic Energy Agency form the foundation, first as defined at the time of the Agreed Framework in 1994, and now as modified by the events since revelation of the North Korean uranium enrichment program in October 2002. In addition, refreezing the reprocessing facility and 5 MWe reactor, taking possession of possible weapons components and destroying weaponization capabilities add many new verification tasks. The paper also considers several measures for the short-term freezing of the North's nuclear weapon program during the process of negotiations, should that process be protracted. New inspection technologies and monitoring tools are applicable to North Korean facilities and may offer improved approaches over those envisioned just a few years ago. These are noted, and potential bilateral and regional verification regimes are examined.

Moon, Duk-ho (Korean Consulate General in New York)

2003-12-01T23:59:59.000Z

497

Refinement and verification of concurrent systems specified in ObjectZ and CSP  

E-Print Network [OSTI]

Refinement and verification of concurrent systems specified in Object­Z and CSP Graeme Smith­Z and CSP. A common semantic basis for the two languages enables a unified method of refinement to be used, based upon CSP refinement. To enable state­based techniques to be used for the Object­Z components

Smith, Graeme

498

SUMMARY OF 2007 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL AND MONTHLY FORECASTS  

E-Print Network [OSTI]

10 12.25 8 5.75 Accumulated Cyclone Energy (ACE) (96.2) 130 170 170 150 148 100 68 Net Tropical't press us too hard on future events!!" 3 #12;DEFINITIONS Accumulated Cyclone Energy ­ (ACE) A measureSUMMARY OF 2007 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL

Gray, William

499

Quality Control and Verification of Weather Radar Wind Profiles IWAN HOLLEMAN  

E-Print Network [OSTI]

- tions of the vertical velocity, which is a sum of the vertical wind velocity and the hydrometeor fall. 1986). Profiles of wind speed and direction, hydrometeor fall speed, and divergence have been obtainedQuality Control and Verification of Weather Radar Wind Profiles IWAN HOLLEMAN Royal Netherlands

Stoffelen, Ad

500

SEMI-AUTOMATIC VERIFICATION OF GEODATA FOR QUALITY MANAGEMENT AND UPDATING OF GIS  

E-Print Network [OSTI]

of quality management, and furthermore, of the update of geodata systems (GIS). The presented system comparesSEMI-AUTOMATIC VERIFICATION OF GEODATA FOR QUALITY MANAGEMENT AND UPDATING OF GIS P. Helmholz a of geoinformation systems mainly depend on the quality of the underlying geodata. The aim of this paper