text:
Office of Scientific and Technical Information
Wavelets and Field Forecast Verification
Science Conference Proceedings (OSTI)
Current field forecast verification measures are inadequate, primarily because they compress the comparison between two complex spatial field processes into one number. Discrete wavelet transforms (DWTs) applied to analysis and contemporaneous ...
William M. Briggs; Richard A. Levine
K Basins Field Verification Program
SciTech Connect
The Field Verification Program establishes a uniform and systematic process to ensure that technical information depicted on selected engineering drawings accurately reflects the actual existing physical configuration. This document defines the Field Verification Program necessary to perform the field walkdown and inspection process that identifies the physical configuration of the systems required to support the mission objectives of K Basins. This program is intended to provide an accurate accounting of the actual field configuration by documenting the as-found information on a controlled drawing.
Booth, H.W.
CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-MECH-23 Verification of High EER Equipment (Page 1 of 1)
E-Print Network (OSTI)
CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-MECH-23 Verification of High EER 2009 Verification of High EER Equipment Procedures for verification of High EER Equipment are described. 1 System Name or Identification/Tag 2 System Location or Area Served 3 Certified EER Rating
CRAD, Verification and Validation of Facilities Procedures Assessment Plan
Energy.gov (U.S. Department of Energy (DOE)) Indexed Site
Verification and Validation of Facilities Procedures Verification and Validation of Facilities Procedures Assessment Plan CRAD, Verification and Validation of Facilities Procedures Assessment Plan Performance Objective: The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that the facility is operated within its design bases. Criteria: Operations procedures should be written to provide specific direction for operating systems and equipment during normal and postulated abnormal and emergency conditions. (DOE O 5480.19 A) Operations procedures should provide appropriate direction to ensure that the facility is operated within its design bases and should be effectively used to support safe operations of the facility. (DOE O
NREL: Wind Research - Field Verification Project
NLE Websites -- All DOE Office Websites (Extended Search)
Field Verification Project Field Verification Project The mission of the Field Verification Project (FVP) was to enable U.S. industry to complete the research, testing, and field verification needed to fully develop advanced wind energy technologies that lead the world in cost-effectiveness and reliability. The project, completed in 2003, included cost-shared research with industry partners to lead to the development of advanced technology wind turbines and support for projects that verify performance of wind turbine technologies in actual operational applications. FVP provided small wind turbine (<=100 kW) manufacturers with opportunities to operate and monitor their turbines under a range of distributed power applications and environments throughout the United States. This experience helped U.S. companies validate and improve the
ENERGY STAR Test Procedures and Verification | Department of Energy
ENERGY STAR » ENERGY STAR Test 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 revision of all test procedures for products in the ENERGY STAR® program, including those products that are also subject to DOE's Energy Conservation Standards program. As specifications are updated and new products or metrics are added to the ENERGY STAR program, DOE is responsible for developing and revising methods, responding to stakeholder comments, and answering any testing-related questions that arise as a result of the procedures being utilized. To simplify the process for interested parties, more information on the test procedure development for ENERGY STAR products can be found on each of
NREL: Wind Research - Regional Field Verification
Field Verification Field Verification The Regional Field Verification (RFV) project, completed in 2007, focused on regional issues and opportunities and tested turbines to gain operational knowledge that could be applied nationwide. The RFV objectives were to: Support industry needs for gaining initial field operation experience with small wind turbines, and verify the performance, reliability, maintainability, and cost of small wind turbines in diverse applications. Expand opportunities for wind energy in new regions of the United States by tailoring projects to meet unique regional requirements, and document and communicate the experience from these projects for the benefit of others in the wind power development community and rural utilities. Through a competitive solicitation in 2001-2002, NREL selected one
Project W-320, WRSS PCP: Procedure implementation verification
This document provides verification that the methodology for the safe retrieval of high-heat waste from Tank 241-C-106 as specified in the WRSS Process Control Plan HNF-SD-PCP-013, Revision 1, has been adequately implemented into the Tank Waste Remediation System (TWRS) operational procedures. Tank 241-C-106 is listed on the High Heat Load Watch List.
Bailey, J.W.
Field Verification of Distributed Renewable Generation, Volume 1: Renewable Energy Field Test Concepts
This report describes field verification of distributed renewable generation and focuses on renewable energy field test concepts.
Field verification program for small wind turbines
DOE Green Energy (OSTI)
In 1999 Windward Engineering (Windward) was awarded a Cooperative Agreement under the Field Verification Program with the Department of Energy (DOE) to install two Whisper H40 wind turbines, one at the NREL National Wind Technology Center (NWTC) and one at a test site near Spanish Fork, Utah. After installation, the turbine at the NWTC was to be operated, maintained, and monitored by NREL while the turbine in Spanish Fork was to be administered by Windward. Under this award DOE and Windward defined the primary objectives of the project as follows: (1) Determine and demonstrate the reliability and energy production of a furling wind turbine at a site where furling will be a very frequent event and extreme gusts can be expected during the duration of the tests. (2) Make engineering measurements and conduct limited computer modeling of the furling behavior to improve the industry understanding of the mechanics and nature of furling. We believe the project has achieved these objectives. The turbine has operated for approximately three and a half years. We have collected detailed engineering data approximately 75 percent of that time. Some of these data were used in an ADAMS model validation that highlighted the accuracies and inaccuracies of the computer modeling for a passively furling wind turbine. We also presented three papers at the American Wind Energy Association (AWEA) Windpower conferences in 2001, 2002, and 2003. These papers addressed the following three topics: (a) general overview of the project [1], (b) furling operation during extreme wind events [2], and (c) extrapolation of extreme (design) loads [3]. We believe these papers have given new insight into the mechanics and nature of furling and have set the stage for future research. In this final report we will highlight some of the more interesting aspects of the project as well as summarize the data for the entire project. We will also present information on the installation of the turbines as well as the findings from the post-test inspection of the turbine.
Windward Engineering, LLC
Monitoring and Verification Procedures Used in the Texas LoanSTAR and Rebuild America Programs
The monitoring and verification procedures that have been developed for the Texas LoanSTAR program and the ESL's Rebuild America Program have become a foundation for a number of other state and federal M&V programs, including the United States Department of Energy's (USDOE's) 1996 NEMVP, 1997 IPMVP, 2001 IPMVP, ASHRAE's GP 14P, and the 1999 Texas Performance Contracting Guidelines. This paper reviews the basic procedures that are used for monitoring and verifying energy savings in commercial buildings that receive energy conservation retrofits, including procedures that are used for measuring energy savings in buildings where hourly pre-retrofit and post-retrofit whole-building data have been collected; buildings where monthly pre-retrofit and hourly post-retrofit data are collected; and buildings where monthly preretrofit and monthly post-retrofit data are used to verify savings.
Farouz, S.; Baltazar-Cervantes, J. C.; Haberl, J. S.; Claridge, D. E.
Property:FieldProcedures | Open Energy Information
Open Energy Info (EERE)
FieldProcedures FieldProcedures Jump to: navigation, search Property Name FieldProcedures Property Type Text Description Description of actions, equipment and footprint of the exploration activity Subproperties This property has the following 39 subproperties: A Active Seismic Techniques Airborne Gravity Survey Audio-Magnetotellurics C Controlled Source Audio MT Cross-Dipole Acoustic Log D DC Resistivity Survey (Dipole-Dipole Array) DC Resistivity Survey (Mise-Á-La-Masse) DC Resistivity Survey (Pole-Dipole Array) DC Resistivity Survey (Schlumberger Array) DC Resistivity Survey (Wenner Array) Development Drilling Direct-Current Resistivity Survey Drilling Techniques E Earth Tidal Analysis Electrical Profiling Configurations Electromagnetic Techniques Exploration Drilling F FMI Log Frequency-Domain Electromagnetic Survey
Verification and Validation of Facilities Procedures Assessment Plan - Developed By NNSA/Nevada Site Office Independent Oversight Division
Verification and Validation of Facilities Procedures Verification and Validation of Facilities Procedures Assessment Plan NNSA/Nevada Site Office Independent Oversight Division Performance Objective: The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that the facility is operated within its design bases. Criteria: Operations procedures should be written to provide specific direction for operating systems and equipment during normal and postulated abnormal and emergency conditions. (DOE O 5480.19 A) Operations procedures should provide appropriate direction to ensure that the facility is operated within its design bases and should be effectively used to support safe operations of the facility. (DOE O 5480.19 A)
Field verification of CO{sub 2} Foam. Final report
The East Vacuum Grayburg/San Andres Unit (EVGSAU), operated by Phillips Petroleum Company, was the site selected for a comprehensive evaluation of the use of foam for improving the effectiveness of a CO{sub 2} flood. This project, entitled {open_quotes}Field Verification of CO{sub 2-}Foam,{close_quotes} was jointly funded by the EVGSAU working interest owners, the U.S. Department of Energy (DOE), and the State of New Mexico. The DOE provided $2 million or approximately 34% of the total project costs, the EVGSAU provided $2.46 million, the State of New Mexico contributed approximately $1.2 million, and about $103,000 of other industrial funds were used. The Petroleum Recovery Research Center (PRRC), a division of the New Mexico Institute of Mining and Technology, provided laboratory and research support for the project. A joint project advisory team composed of technical representatives from several major oil companies provided input, review, and guidance for the project. The project, which began in 1989, had a scheduled duration of four years, but the DOE granted a no-cost extension to the end of March 1995 for the purpose of continued project evaluation. A field test of the CO{sub 2}-foam has been successfully conducted, and preliminary results are promising. Response in the foam injection well has been as anticipated, and an offset producing well experienced a positive oil response as a result of the foam test. Based on the favorable results observed in the foam injection test, a second foam test was conducted. The monitoring program included analysis of injectivity data, pressure falloff tests, observation well logs, interwell tracer response, production logs, history of production rates, and changes in gas-oil ratio. This report presents an overview of the project and provides results of the laboratory work, simulation studies, and field tests.
Martin, F.D.; Heller, J.P.; Weiss, W.W. [and others
Field verification of CO{sub 2} foam. Final report
The East Vacuum Grayburg/San Andres Unit (EVGSAU), operated by Phillips Petroleum Company, was the site selected for a comprehensive evaluation of the use of foam for improving the effectiveness of a CO{sub 2} flood. This project, entitled ``Field Verification of CO{sub 2}-Foam,`` was jointly funded by the EVGSAU working interest owners, the US Department of Energy (DOE), and the State of New Mexico. The DOE provided $2 million or approximately 34% of the total project costs, the EVGSAU provided $2.46 million, the State of New Mexico contributed approximately $1.2 million, and about $103,000 of other industrial funds were used. The Petroleum Recovery Research Center (PRRC), a division of the New Mexico Institute of Mining and Technology, provided laboratory and research support for the project. A joint project advisory team composed of technical representatives from several major oil companies provided input, review, and guidance for the project. The project, which began in 1989, had a scheduled duration of four years, but the DOE granted a no-cost extension to the end of March 1995 for the purpose of continued project evaluation. A field test of the CO{sub 2}-foam has been successfully conducted, and preliminary results are promising. Response in the foam injection well has been as anticipated, and an offset producing well experienced a positive oil response as a result of the foam test. Based on the favorable results observed in the foam injection test, a second foam test was conducted. The monitoring program included analysis of injectivity data, pressure falloff tests, observation well logs, interwell tracer response, production logs, history of production rates, and changes in gas-oil ratio. This report presents an overview of the project and provides results of the laboratory work, simulation studies, and field tests.
Regional Field Verification -- Operational Results from Four Small Wind Turbines in the Pacific Northwest: Preprint
This paper describes four small wind turbines installed in the Pacific Northwest under DOE/NREL's Regional Field Verification Program between 2003 and 2004 and summarizes operational data from each site.
Sinclair, K.; Raker, J.
Design and Verification of a Cloud Field Optical Simulator
A concept and an apparatus designed to investigate the reflected and transmitted distributions of light from optically thick clouds is presented. The Cloud Field Optical Simulator (CFOS) is a laboratory device which utilizes an array of ...
J. M. Davis; S. K. Cox; T. B. McKee
Field Verification Program for Small Wind Turbines: Quarterly Report for January-March 2001; 1st Quarter, Issue No.4
This newsletter provides a brief overview of the Field Verification Program for Small Wind Turbines conducted out of the NWTC and a description of current activities. The newsletter also contains case studies of current projects.
Forsyth, T.; Cardinal, J.
Verification and validation benchmarks.
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
Verification of EPRI's Nuclear Power Plant Emergency Operating Procedure Tracking System (EOPTS)
EPRI's emergency operating procedure tracking system (EOPTS) for BWRs was created to reduce reactor operator load and human error under nuclear power plant emergency conditions. This report describes a method for systematically verifying EOPTS. This method can help other utilities in verifying their EOPTS.
Field procedures manual: INYO-4, Long Valley Caldera, California
This Field Procedures Manual is the comprehensive operations guide to be used to curate samples obtained from the INYO-4 site in the Long Valley Caldera, California. This site is a diamond drilling project in small-diameter holes that will produce continuous core. Fluid samples will also be of primary importance at this site. Detailed core and fluid handling procedures are therefore the major focus of this manual. The manual provides a comprehensive operations guide for the well-site geoscientists working at the Department of Energy/Office of Basic Energy Sciences (DOE/OBES) Continental Scientific Drilling Program (CSDP)/Thermal Regimes drill sites. These procedures modify and improve those in previous DOE/OBES field manuals. 1 ref.; 6 figs.
Goff, S.
Rapid field testing of low-emittance coated glazings for product verification
This paper analyzes prospects for developing a test device suitable for field verification of the types of low-emittance (low-e) coatings present on high-performance window products. Test devices are currently available that can simply detect the presence of low-e coatings and that can measure other important characteristics of high-performance windows, such as the thickness of glazing layers or the gap in dual glazings. However, no devices have yet been developed that can measure gas concentrations or distinguish among types of coatings. This paper presents two optical methods for verification of low-e coatings. The first method uses a portable, fiber-optic spectrometer to characterize spectral reflectances from 650 to 1,100 nm for selected surfaces within an insulated glazing unit (IGU). The second method uses an infrared-light-emitting diode and a phototransistor to evaluate the aggregate normal reflectance of an IGU at 940 nm. Both methods measure reflectance in the near (solar) infrared spectrum and are useful for distinguishing between regular and spectrally selective low-e coatings. The infrared-diode/phototransistor method appears promising for use in a low-cost, hand-held field test device.
Griffith, Brent; Kohler, Christian; Goudey, Howdy; Turler, Daniel; Arasteh, Dariush
Regional Field Verification -- Case Study of Small Wind Turbines in the Pacific Northwest: Preprint
The U.S. Department of Energy/National Renewable Energy Laboratory's (DOE/NREL) Regional Field Verification (RFV) project supports industry needs for gaining initial field operation experience with small wind turbines and verify the performance, reliability, maintainability, and cost of small wind turbines in diverse applications. In addition, RFV aims to help expand opportunities for wind energy in new regions of the United States by tailoring projects to meet unique regional requirements and document and communicate the experience from these projects for the benefit of others in the wind power development community and rural utilities. Between August 2003 and August 2004, six turbines were installed at different host sites. At least one year of data has been collected from five of these sites. This paper describes DOE/NREL's RFV project, reviews some of the lessons learned with regards to small wind turbine installations, summarizes operations data from these sites, and provides preliminary BOS costs.
Sinclair, K.
Verification/acceptance test plan/procedure for Acromag calibration system
The purpose of this document is to describe and document the test of the Acromag calibration system software. The purpose of this test is to verify that the Acromag Calibration System (ACS) will reliably test the Acromag thermocouple (TC) type input modules and provide a file showing the temperatures at which the modules are tested, the response rom the Acromag station, instrument data, technician data, and date and time of the test. The ACS consists of a thermocouple calibration unit (TCU), a DOS based computer, a hand held resistance temperature detector (RTD) surface probe and connects to a field installed or a bench Acromag unit.
Fordham, C.R.
Regional Field Verification - Operational Results from Four Small Wind Turbines in the Pacific Northwest
The purpose of the Department of Energy/National Renewable Energy Laboratory's (DOE/NREL) Regional Field Verification (RFV) project is to support industry needs for gaining initial field operation experience with small wind turbines and to verify the performance, reliability, maintainability, and cost of small wind turbines in diverse applications. In addition, RFV aims to help expand opportunities for wind energy in new regions of the United States by tailoring projects to meet unique regional requirements, and document and communicate the experience from these projects for the benefit of others in the wind power development community and rural utilities. Under RFV, Bergey Excel S (10kW) wind turbines were installed at sites in the Pacific Northwest as part of Northwest Sustainable Energy for Economic Development's (NWSEED) Our Wind Cooperative. Each installation was instrumented with data acquisition systems to collect a minimum of two years of operating data. The four turbines highlighted in this paper were installed between 2003 and 2004. At least two years of operational data have been collected from each of these sites by Northwest SEED. This paper describes DOE/NREL's RFV project and summarizes operational data from these sites.
Verification and Validation of Facilities Procedures Assessment Plan,NNSA/Nevada Site Office Independent Oversight Division, n.d.
Energy.gov (U.S. Department of Energy (DOE))
The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that...
Building Technologies Office: ENERGY STAR Test Procedures and...
Test Procedures and Verification to someone by E-mail Share Building Technologies Office: ENERGY STAR Test Procedures and Verification on Facebook Tweet about Building Technologies...
Laser-Acoustic Hygrometer: Procedure and Results of Field Measurements
Trial field measurements of humidity fluctuations are taken by a laser-acoustic hygrometer consisting of a CO laser, a mechanical modulator, a detector, an audio-frequency amplifier, and a device for processing signals. The proposed method is ...
Boris S. Agrovskii; Alexandre S. Gurvich; Vitaly P. Kukharets; Valery V. Vorob�ev
CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-21 Quality Insulation Installation (QII) -Framing Stage Checklist (Page 1 of 2)
then this is not a valid form and cannot be accepted by the building department or HERS rater. SPF insulation can of the CBC are allowed and must be insulated. These areas shall be called out on the building plansCERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-21 Quality Insulation
CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-22 Quality Insulation Installation (QII) -Insulation Stage Checklist (Page 1 of 3)
of the CBC are allowed and must be insulated. These areas shall be called out on the building plansCERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-22 Quality Insulation Installation (QII) - Insulation Stage Checklist (Page 1 of 3) Site Address: Enforcement Agency: Permit Number
Gas characterization system 241-AN-105 field acceptance test procedure
This document details the field Acceptance Testing of a gas characterization system being installed on waste tank 241-AN-105. The gas characterization systems will be used to monitor the vapor spaces of waste tanks known to contain measurable concentrations of flammable gases.
Schneider, T.C.
Gas characterization system 241-AW-101 field acceptance test procedure
This document details the field Acceptance Testing of a gas characterization system being installed on waste tank 241-AW-101. The gas characterization systems will be used to monitor the vapor spaces of waste tanks known to contain measurable concentrations of flammable gases.
Calculation methods and detection techniques for electric and magnetic fields from power lines with measurement verification
An accurate determination and characterization of electric and magnetic fields produced by power lines is a complex task. Different models must be used for far fields and for near fields. This study is centered on computation and measurement aspects of extremely low frequency magnetic fields in the direct proximity of the conductors of power lines, situated well above the ground level. Conventional approximation of a sagged wire as a straight horizontal conductor of infinite length has been substituted with a periodical catenary model of the conductors A series of measurements performed with all electric utility bucket truck provide unique magnetic field data very close to the conductors. A conceptual design of a power line proximity detector is proposed as a result of these studies.
Mamishev, Alexander V
Computer-Based Procedures for Field Workers in Nuclear Power Plants: Development of a Model of Procedure Usage and Identification of Requirements
The nuclear industry is constantly trying to find ways to decrease the human error rate, especially the human errors associated with procedure use. As a step toward the goal of improving procedure use performance, researchers, together with the nuclear industry, have been looking at replacing the current paper-based procedures with computer-based procedure systems. The concept of computer-based procedures is not new by any means; however most research has focused on procedures used in the main control room. Procedures reviewed in these efforts are mainly emergency operating procedures and normal operating procedures. Based on lessons learned for these previous efforts we are now exploring a more unknown application for computer based procedures - field procedures, i.e. procedures used by nuclear equipment operators and maintenance technicians. The Idaho National Laboratory and participants from the U.S. commercial nuclear industry are collaborating in an applied research effort with the objective of developing requirements and specifications for a computer-based procedure system to be used by field workers. The goal is to identify the types of human errors that can be mitigated by using computer-based procedures and how to best design the computer-based procedures to do so. This paper describes the development of a Model of Procedure Use and the qualitative study on which the model is based. The study was conducted in collaboration with four nuclear utilities and five research institutes. During the qualitative study and the model development requirements and for computer-based procedures were identified.
Katya Le Blanc; Johanna Oxstrand
Forecast Verification of the Polar Ice Prediction System (PIPS) Sea Ice Concentration Fields
The National Ice Center relies upon a coupled ice�ocean model called the Polar Ice Prediction System (PIPS) to provide guidance for its 24�120-h sea ice forecasts. Here forecast skill assessments of the sea ice concentration (C) fields from PIPS ...
Michael L. Van Woert; Cheng-Zhi Zou; Walter N. Meier; Philip D. Hovey; Ruth H. Preller; Pamela G. Posey
Examination Procedure for Price Verification
... advertised or displayed at the same price that was ... to permit 2 % of products to be inaccurately priced? ... overall quality of a store's pricing practices. ...
Commissioning/ verification : Daylighting The New York Times Building
Commissioning/ verification Commissioning/ verification Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and Shade Controls Lighting Controls Visualizing daylight Commissioning/ verification Demand response Mainstream solutions Post-occupancy evaluation Publications Sponsors Project team Commissioning/ verification The construction cycle of the building life cycle is the time when the design intent is translated into a physical reality. Given novel integrated systems with which contractors (vendors, installers, commissioning (Cx) agents, etc.) do not have much experience, there is a risk that carefully laid plans will go amiss. To insure that the automated shading and daylighting control systems were installed and operating as intended, the manufacturers, LBNL, and the Times Company developed procedures to commission and verify system performance. With verification data resulting from these procedures, the Times Company possessed the unique capability to measure and compare performance to design intent then discuss and tune system performance with the manufacturer prior to closure of the work scope and occupancy of the building.
Field Verification of Components
different reflectances). The low cost measuring technique uses an infrared light-emitting diode and phototransistor. The result is displayed by illuminating one of three LEDs...
Field Test and Performance Verification: Integrated Active Desiccant Rooftop Hybrid System Installed in a School - Final Report: Phase 4A
This report summarizes the results of a field verification pilot site investigation that involved the installation of a hybrid integrated active desiccant/vapor-compression rooftop heating, ventilation, and air-conditioning (HVAC) unit at an elementary school in the Atlanta Georgia area. For years, the school had experienced serious humidity and indoor air quality (IAQ) problems that had resulted in occupant complaints and microbial (mold) remediation. The outdoor air louvers of the original HVAC units had been closed in an attempt to improve humidity control within the space. The existing vapor compression variable air volume system was replaced by the integrated active desiccant rooftop (IADR) system that was described in detail in an Oak Ridge National Laboratory (ORNL) report published in 2004 (Fischer and Sand 2004). The IADR system and all space conditions have been monitored remotely for more than a year. The hybrid system was able to maintain both the space temperature and humidity as desired while delivering the outdoor air ventilation rate required by American Society of Heating, Refrigerating and Air-Conditioning Engineers Standard 62. The performance level of the IADR unit and the overall system energy efficiency was measured and found to be very high. A comprehensive IAQ investigation was completed by the Georgia Tech Research Institute before and after the system retrofit. Before-and-after data resulting from this investigation confirmed a significant improvement in IAQ, humidity control, and occupant comfort. These observations were reported by building occupants and are echoed in a letter to ORNL from the school district energy manager. The IADR system was easily retrofitted in place of the original rooftop system using a custom curb adapter. All work was completed in-house by the school's maintenance staff over one weekend. A subsequent cost analysis completed for the school district by the design engineer of record concluded that the IADR system being investigated was actually less expensive to install than other less-efficient options, most of which were unable to deliver the required ventilation while maintaining the desired space humidity levels.
Fischer, J
Experience Based Seismic Verification Guidelines for Overhead Crane Systems: Volume I - Seismic Review Procedure; Volume II - Performance of Overhead Cranes in Strong Motion Earthquakes
This report provides guidelines that can be used to perform an experience-based seismic capability verification of overhead cranes systems at nuclear power plants. The report summarizes seismic experience data from strong-motion earthquakes for these systems and identifies the characteristics of systems that could lead to failure or unacceptable behavior in an earthquake. The seismic experience data show that overhead crane systems exhibit extremely good performance under strong-motion seismic loading, w...
Seismic design verification of LMFBR structures
The report provides an assessment of the seismic design verification procedures currently used for nuclear power plant structures, a comparison of dynamic test methods available, and conclusions and recommendations for future LMFB structures.
Verification and validation guidelines for high integrity systems. Volume 1
High integrity systems include all protective (safety and mitigation) systems for nuclear power plants, and also systems for which comparable reliability requirements exist in other fields, such as in the process industries, in air traffic control, and in patient monitoring and other medical systems. Verification aims at determining that each stage in the software development completely and correctly implements requirements that were established in a preceding phase, while validation determines that the overall performance of a computer system completely and correctly meets system requirements. Volume I of the report reviews existing classifications for high integrity systems and for the types of errors that may be encountered, and makes recommendations for verification and validation procedures, based on assumptions about the environment in which these procedures will be conducted. The final chapter of Volume I deals with a framework for standards in this field. Volume II contains appendices dealing with specific methodologies for system classification, for dependability evaluation, and for two software tools that can automate otherwise very labor intensive verification and validation activities.
Hecht, H.; Hecht, M.; Dinsmore, G.; Hecht, S.; Tang, D. [SoHaR, Inc., Beverly Hills, CA (United States)
Computer�Based Procedures for Nuclear Power Plant Field Workers: Preliminary Results from Two Evaluation Studies
The Idaho National Laboratory and participants from the U.S. nuclear industry are collaborating on a research effort aimed to augment the existing guidance on computer-based procedure (CBP) design with specific guidance on how to design CBP user interfaces such that they support procedure execution in ways that exceed the capabilities of paper-based procedures (PBPs) without introducing new errors. Researchers are employing an iterative process where the human factors issues and interface design principles related to CBP usage are systematically addressed and evaluated in realistic settings. This paper describes the process of developing a CBP prototype and the two studies conducted to evaluate the prototype. The results indicate that CBPs may improve performance by reducing errors, but may increase the time it takes to complete procedural tasks.
Katya L Le Blanc; Johanna H Oxstrand
Certification and verification for calmac flat plate solar collector
This document contains information used in the certification and verification of the Calmac Flat Plate Collector. Contained are such items as test procedures and results, information on materials used, Installation, Operation, and Maintenance Manuals, and other information pertaining to the verification and certification.
Not Available
Lessons Learned from Independent Verification Activities
Demonstration Demonstration Oak Ridge Institute for Science and Education - Independent Verification Lessons Learned IV - performed at nine DOE sites from 2004 to 2008 Page 1 of 2 Oak Ridge Institute for Science and Education Multiple Sites Lessons Learned from Independent Verification Activities Challenge The Department of Energy clears property from radiological control after the property has been demonstrated to meet the Department's stringent radiation protection requirements. Radiological surveys are used to demonstrate compliance with the requirements. Independent verification (IV) activities are conducted by an independent third party as a quality check on radiological surveys procedures and practices. The Oak Ridge Institute for Science and Education (ORISE) performs independent verification for the Department. In this lessons learned report, ORISE summarizes their
ETV Joint Verification Statement
Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environmental protection by substantially accelerating the acceptance and use of improved and cost-effective technologies. ETV seeks to achieve this goal by providing high-quality, peer-reviewed data on technology performance to those involved in the design, distribution, financing, permitting, purchase, and use of environmental technologies. ETV works in partnership with recognized standards and testing organizations and stakeholder groups consisting of regulators, buyers, and vendor organizations, with the full participation of individual technology developers. The program evaluates the performance of innovative technologies by developing test plans that are responsive to the needs of stakeholders, conducting field or laboratory tests (as appropriate), collecting and analyzing data, and preparing peer-reviewed reports. All evaluations are conducted in accordance with rigorous quality assurance protocols to ensure that data of known and adequate quality are generated and that the results are defensible.
unknown authors
Verification of Adaptive Systems
Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.
Pullum, Laura L [ORNL; Cui, Xiaohui [New York Institute of Technology (NYIT); Vassev, Emil [Lero � The Irish Software Engineering Research Centre; Hinchey, Mike [Lero � The Irish Software Engineering Research Centre; Rouff, Christopher [Lockheed Martin Corporation; Buskens, Richard [Lockheed Martin Corporation
Evaluation of EPA Region IV Standard Operating Procedures for decontamination of field equipment when sampling for volatile organic compounds
Decontamination procedures for use at CERCLA sites where the US Environmental protection Agency (EPA) Region IV is the lead agency are specified in their Standard Operating Procedures (SOP) document. Under certain circumstances, the objectives of proper decontamination can be obtained without utilizing the full procedure as specified in the SOP. Because some treatment methods may introduce low levels of organic constituents into water (e.g., chlorination), the use of treated potable water would actually have an adverse effect on the decontamination procedure compared to the use of an untreated potable supply. Certified organic-free water, the cost of which ranges from five dollars per gallon to over sixty dollars per gallon may also be unnecessary in some cases. Distilled water samples from seven different suppliers (at a cost of less than a dollar per gallon) were analyzed for Target Compound List (TCL) volatile, organic compounds (VOCs) or benzene, toluene, ethylbenzene, and xylenes (BTEX). Fifty of the samples analyzed for BTEX contained no detectable amounts of these compounds, and twenty-six of the samples analyzed for TCL VOCs contained no detectable concentration. The use of solvent rinses may cause false positives during sampling. Field experiments have shown that isopropanol may degrade to acetone under some circumstances. In many cases, particularly when sampling ground water or decontaminating drilling equipment, the elimination of this step should not adversely affect sample quality. 8 refs., 1 fig., 3 tabs.
Brice, D.A. (Westinghouse Materials Co. of Ohio, Cincinnati, OH (USA). Feed Materials Production Center); Kelley, M.E. (Geraghty and Miller, Inc., Oak Ridge, TN (USA))
Requirements for Computer Based-Procedures for Nuclear Power Plant Field Operators Results from a Qualitative Study
Although computer-based procedures (CBPs) have been investigated as a way to enhance operator performance on procedural tasks in the nuclear industry for almost thirty years, they are not currently widely deployed at United States utilities. One of the barriers to the wide scale deployment of CBPs is the lack of operational experience with CBPs that could serve as a sound basis for justifying the use of CBPs for nuclear utilities. Utilities are hesitant to adopt CBPs because of concern over potential costs of implementation, and concern over regulatory approval. Regulators require a sound technical basis for the use of any procedure at the utilities; without operating experience to support the use CBPs, it is difficult to establish such a technical basis. In an effort to begin the process of developing a technical basis for CBPs, researchers at Idaho National Laboratory are partnering with industry to explore CBPs with the objective of defining requirements for CBPs and developing an industry-wide vision and path forward for the use of CBPs. This paper describes the results from a qualitative study aimed at defining requirements for CBPs to be used by field operators and maintenance technicians.
ORISE: Independent verification
Independent verification Independent verification ORISE techinician performs environmental scanning The Oak Ridge Institute for Science and Education (ORISE) performs independent environmental assessments and verification to determine the effectiveness of radiological cleanup at decontamination and decommissioning (D&D) projects across the United States. Since 1980, ORISE has performed independent verification at more than 500 sites in 42 states and the District of Columbia. As the primary independent verification contractor for all U.S. Department of Energy (DOE) cleanup projects and the only verification contractor for the U.S. Nuclear Regulatory Commission (NRC), we validate that soil, water and structures are within established state and federal release criteria, and can be safely designated for public use.
Theorem Proving: Not an Esoteric Diversion, but the Unifying Framework for Industrial Verification
The effectiveness of hardware verification techniques has increased markedly in the past decade. As hardware verification techniques become increasingly powerful the idea of transitioning verification technology to industry can be taken seriously. Nevertheless, powerful decision procedures that can completely automate the verification of certain types of hardware, whether they are BDD based model-checkers [10] or automatic microprocessor verification tools [4], cannot be adequate on their own for industrial hardware verification. However, a high-level, general-purpose theorem prover with specific capabilities can provide an overall framework in which these tools can be embedded and in which they can then be effectively used for industrial hardware verification. 1 Introduction The effectiveness of hardware verification techniques has increased markedly in the past decade. These techniques span a spectrum from automatic techniques to interactive theorem proving techniques. At one end o...
D. A. Cyrluk; M. K. Srivas
Treaty Verification | ornl.gov
Verification SHARE Treaty Verification ORNL is a strong contributor to future nonproliferation and arms control initiatives through research and development of radiation...
Field experience with a new performance characterization procedure for photovoltaic arrays
As photovoltaic systems become larger and more numerous, improved methods are needed for testing and modeling their performance. Test methods that successfully separate the interacting, time-of-day dependent influences of solar irradiance, operating temperature, solar spectrum, and solar angle-of-incidence have now been developed. These test methods have resulted in a new array performance model that is reasonably simple, yet accurately predicts performance for all operating conditions. This paper describes the new model, outdoor tests required to implement it, results of field tests for five arrays of different technologies, and the evolution of the model into a numerical tool for designing and sizing photovoltaic arrays based on annual energy production.
King, D.L.; Kratochvil, J.A.; Boyson, W.E.
INSTALLATION CERTIFICATE CF-6R-MECH-23-HERS Verification of High EER Equipment (Page 1 of 1)
INSTALLATION CERTIFICATE CF-6R-MECH-23-HERS Verification of High EER Equipment (Page 1 of 1) Site Verification of High EER Equipment Procedures for verification of High EER Equipment are described in Reference or Identification/Tag 2 System Location or Area Served 3 Certified EER Rating of the installed equipment (Btu
Approaches to verification of two-dimensional water quality models
The verification of a water quality model is the one procedure most needed by decision making evaluating a model predictions, but is often not adequate or done at all. The results of a properly conducted verification provide the decision makers with an estimate of the uncertainty associated with model predictions. Several statistical tests are available for quantifying of the performance of a model. Six methods of verification were evaluated using an application of the BETTER two-dimensional water quality model for Chickamauga reservoir. Model predictions for ten state variables were compared to observed conditions from 1989. Spatial distributions of the verification measures showed the model predictions were generally adequate, except at a few specific locations in the reservoir. The most useful statistics were the mean standard error of the residuals. Quantifiable measures of model performance should be calculated during calibration and verification of future applications of the BETTER model. 25 refs., 5 figs., 7 tabs.
Butkus, S.R. (Tennessee Valley Authority, Chattanooga, TN (USA). Water Quality Dept.)
CRAD, Implementation Verification Review - July 20, 2011 | Department of
Implementation Verification Review - July 20, 2011 Implementation Verification Review - July 20, 2011 CRAD, Implementation Verification Review - July 20, 2011 July 20, 2011 Implementation Verification Review of Safety Basis Hazard Controls (HSS CRAD 45-39, Rev. 1) The Implementation Verification Review (IVR) inspection will evaluate the effectiveness of processes for independently verifying and re-verifying implementation of the safety basis hazard controls at the site's nuclear facilities and associated site office oversight methodology. The inspection will consist of an evaluation of the procedures and processes that establish the IVR or similar process, as well as an evaluation of IVR or similar processes implementation and oversight. Review of implementation at a site may include any or all of the following activities:
Field Laboratory in the Osage Reservation -- Determination of the Status of Oil and Gas Operations: Task 1. Development of Survey Procedures and Protocols
Procedures and protocols were developed for the determination of the status of oil, gas, and other mineral operations on the Osage Mineral Reservation Estate. The strategy for surveying Osage County, Oklahoma, was developed and then tested in the field. Two Osage Tribal Council members and two Native American college students (who are members of the Osage Tribe) were trained in the field as a test of the procedures and protocols developed in Task 1. Active and inactive surface mining operations, industrial sites, and hydrocarbon-producing fields were located on maps of the county, which was divided into four more or less equal areas for future investigation. Field testing of the procedures, protocols, and training was successful. No significant damage was found at petroleum production operations in a relatively new production operation and in a mature waterflood operation.
Carroll, Herbert B.; Johnson, William I.
ProMoVer: modular verification of temporal safety properties
This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations. Modularity at the procedure-level ...
Siavash Soleimanifard; Dilian Gurov; Marieke Huisman
Modular data structure verification
This dissertation describes an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my ...
Kuncak, Viktor (Viktor Jaroslav), 1977-
Automated deduction for verification
Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beginning. Satisfiability solvers for propositional and first-order logic significantly automate the task ...
Natarajan Shankar
Monitoring, verification, and accounting
verification, and accounting (MVA) activities are underway verification, and accounting (MVA) activities are underway to ensure the injected CO 2 remains in the geologic formation. The first plant has been capturing CO 2 since December 2012, while the second plant completed construction in February and began carbon capture operations in March. Both units are now operating at full capacity. More than 222,000 tons of CO 2 have been captured and provided for storage
International Comparison of Product Certification and Verification...
International Comparison of Product Certification and Verification Methods for Appliances Title International Comparison of Product Certification and Verification Methods for...
Dosimetric Verification of IMRT Treatment Plans Using an Electronic Portal Imaging Device
This paper presents the procedures and results of dosimetric verification using an Electronic Portal Imaging Device as a tool for pre-treatment dosimetry in IMRT technique at the Greater Poland Cancer Centre in Poznan, Poland. The evaluation of dosimetric verification for various organ, during a 2 year period is given.
Kruszyna, Marta [Department of Physics, Adam Mickiewicz University in Poznan, Umultowska 85 St., 61-614 Poznan and Department of Medical Physics, Grater Poland Cancer Centre in Poznan, Garbary 15 St, 61-866 Poznan (Poland)
Quantum Money with Classical Verification
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
Point-to-Point Verification of Monitored Sensors at Reynolds Army Clinic and Hospital Final Report
A point-to-point verification of the heating, ventilating, and air conditioning (HVAC) system of the Reynolds Army Community Hospital (RACH) in Fort Sill, Oklahoma was done by the Energy Systems Laboratory (ESL) of Texas A&M University. Work began on January 12, 2004 and was completed on July 2, 2004. The facility consists of a clinic section having 212,000 sq.ft and a hospital section with 300,100 sq.ft. Both sections are contained in one building for a total of 512,000 sq.ft. The clinic section of the facility is occupied from 0700 hours � 1700 hours while the hospital side operates 24/7. Verification of the facility began shortly after the completion of a $2 million upgrade of the Energy Management Control System (EMCS) by Johnson Controls from their existing 8540 pneumatic system to a direct digital control (DDC) Metasys version 12.0 system. Only the points read by the control system and used for control sequencing were verified. In the following sections of this report detailed information will be provided for the type of equipment used for the point-to-point verification and calibration, calibration tolerances for the devices requiring calibration, areas that require attention prior to calibration, and calibration procedures. The remaining sections will focus on the central plant, clinic, and hospital areas. Each section will contain individual field data for each component tested and calibrated.
Martinez, J.; Linenschmidt, S.; Turner, D.
702AZ aging waste ventilation facility year 2000 test procedure
This test procedure was developed to determine if the 702AZ Tank Ventilation Facility system is Year 2000 Compliant. The procedure provides detailed instructions for performing the operations necessary and documenting the results. This verification procedure will document that the 702AZ Facility Systems are year 2000 compliant and will correctly meet the criteria established in this procedure.
Winkelman, W.D.
Cropland Field Monitoring: MMV Page 1 Montana Cropland Enrolled Farm Fields Carbon Sequestration Field Sampling, Measurement, Monitoring, and Verification: Application of Visible-Near Infrared Diffuse Reflectance Spectroscopy (VNIR) and Laser-induced Breakdown Spectroscopy (LIBS)
There is growing need for rapid, accurate, and inexpensive methods to measure, and verify soil organic carbon (SOC) change for national greenhouse gas accounting and the development of a soil carbon trading market. Laboratory based soil characterization typically requires significant soil processing, which is time and resource intensive. This severely limits application for large-region soil characterization. Thus, development of rapid and accurate methods for characterizing soils are needed to map soil properties for precision agriculture applications, improve regional and global soil carbon (C) stock and flux estimates and efficiently map sub-surface metal contamination, among others. The greatest gains for efficient soil characterization will come from collecting soil data in situ, thus minimizing soil sample transportation, processing, and lab-based measurement costs. Visible and near-infrared diffuse reflectance spectroscopy (VisNIR) and laser-induced breakdown spectroscopy (LIBS) are two complementary, yet fundamentally different spectroscopic techniques that have the potential to meet this need. These sensors have the potential to be mounted on a soil penetrometer and deployed for rapid soil profile characterization at field and landscape scales. Details of sensor interaction, efficient data management, and appropriate statistical analysis techniques for model calibrations are first needed. In situ or on-the-go VisNIR spectroscopy has been proposed as a rapid and inexpensive tool for intensively mapping soil texture and organic carbon (SOC). While lab-based VisNIR has been established as a viable technique for estimating various soil properties, few experiments have compared the predictive accuracy of on-the-go and lab-based VisNIR. Eight north central Montana wheat fields were intensively interrogated using on-the-go and lab-based VisNIR. Lab-based spectral data consistently provided more accurate predictions than on-the-go data. However, neither in situ nor lab-based spectroscopy yielded even semi-quantitative SOC predictions. There was little SOC variability to explain across the eight fields, and on-the-go VisNIR was not able to capture the subtle SOC variability in these Montana soils. With more variation in soil clay content compared to SOC, both lab and on-the-go VisNIR showed better explanatory power. There are several potential explanations for poor on-the-go predictive accuracy: soil heterogeneity, field moisture, consistent sample presentation, and a difference between the spatial support of on-the-go measurements and soil samples collected for laboratory analyses. Though the current configuration of a commercially available on-the-go VisNIR system allows for rapid field scanning, on-the-go soil processing (i.e. drying, crushing, and sieving) could improve soil carbon predictions. Laser-induced breakdown spectroscopy (LIBS) is an emerging elemental analysis technology with the potential to provide rapid, accurate and precise analysis of soil constituents, such as carbon, in situ across landscapes. The research team evaluated the accuracy of LIBS for measuring soil profile carbon in field-moist, intact soil cores simulating conditions that might be encountered by a probe-mounted LIBS instrument measuring soil profile carbon in situ. Over the course of three experiments, more than120 intact soil cores from eight north central Montana wheat fields and the Washington State University (WSU) Cook Agronomy Farm near Pullman, WA were interrogated with LIBS for rapid total carbon (TC), inorganic carbon (IC), and SOC determination. Partial least squares regression models were derived and independently validated at field- and regional scales. Researchers obtained the best LIBS validation predictions for IC followed by TC and SOC. Laser-induced breakdown spectroscopy is fundamentally an elemental analysis technique, yet LIBS PLS2 models appeared to discriminate IC from TC. Regression coefficients from initial models suggested a reliance upon stoichiometric relationships between carbon (247.8 nm) and other elements
Lee Spangler; Ross Bricklemyer; David Brown
An Assessment of High-Temperature Superconductors for High-Field SMES Systems: U.S. Department of Energy -- EPRI Wind Turbine Verification Program
This study evaluated superconducting magnetic energy storage (SMES) systems made of different high temperature superconductor (HTS) materials. The research addressed a broad range of practical issues associated with building a high-field HTS SMES system.
Thermal Monitoring Approaches for Energy Savings Verification
This paper reviews and summarizes techniques for monitoring thermal energy flows for the purpose of verifying energy savings in industrial and large institutional energy conservation projects. Approaches for monitoring hot and chilled water, steam, steam condensate and boiler feedwater in large facilities are described. Insights gained and lessons learned through the actual in-field installation of thermal monitoring equipment for energy savings verification purposes at over 100 sites at various locations throughout the United States are presented.
McBride, J. R.; Bohmer, C. J.; Lippman, R. H.; Zern, M. J.
Power Line-Induced AC Potential on Natural Gas Pipelines for Complex Rights-of-Way Configurations, Volume 4: Field Verification of H orizontal Wire Mitigation Method
Volume 4 of this four-volume report contains details on a new method of mitigating induced voltage on pipelines by coupling them with a conductor buried in parallel. A field demonstration of this mitigation method that took place in California's Mohave Desert is also described.
Modeling and Verification of Distributed Generation and Voltage Regulation Equipment for Unbalanced Distribution Power Systems; Annual Subcontract Report, June 2007
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.
TFE Verification Program
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 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 TF Verification Program builds directly on the technology and data base developed in the 1960s and 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 but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern. The general logic and strategy of the program to achieve its objectives is shown on Fig. 1-1. Five prior programs form the basis for the TFE Verification Program: (1) AEC/NASA program of the 1960s and early 1970; (2) SP-100 concept development program;(3) SP-100 thermionic technology program; (4) Thermionic irradiations program in TRIGA in FY-86; (5) and Thermionic Technology Program in 1986 and 1987. 18 refs., 64 figs., 43 tabs.
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
Webinar - Software Verification & Validation? - 2012-08-04
Webinar - Software Verification & Validation [1200]. Purpose: Webinar - Software Verification & Validation [1200]. At the ...
Midline Dose Verification with Diode In Vivo Dosimetry for External Photon Therapy of Head and Neck and Pelvis Cancers During Initial Large-Field Treatments
During radiotherapy treatments, quality assurance/control is essential, particularly dose delivery to patients. This study was designed to verify midline doses with diode in vivo dosimetry. Dosimetry was studied for 6-MV bilateral fields in head and neck cancer treatments and 10-MV bilateral and anteroposterior/posteroanterior (AP/PA) fields in pelvic cancer treatments. Calibrations with corrections of diodes were performed using plastic water phantoms; 190 and 100 portals were studied for head and neck and pelvis treatments, respectively. Calculations of midline doses were made using the midline transmission, arithmetic mean, and geometric mean algorithms. These midline doses were compared with the treatment planning system target doses for lateral or AP (PA) portals and paired opposed portals. For head and neck treatments, all 3 algorithms were satisfactory, although the geometric mean algorithm was less accurate and more uncertain. For pelvis treatments, the arithmetic mean algorithm seemed unacceptable, whereas the other algorithms were satisfactory. The random error was reduced by using averaged midline doses of paired opposed portals because the asymmetric effect was averaged out. Considering the simplicity of in vivo dosimetry, the arithmetic mean and geometric mean algorithm should be adopted for head/neck and pelvis treatments, respectively.
Tung, Chuan-Jong [Department of Medical Imaging and Radiological Sciences, Chang Gung University, Kwei-Shan Tao-Yuan, Taiwan (China); Department of Biomedical Engineering and Environmental Sciences, National Tsing Hua University, Hsinchu, Taiwan (China); Yu, Pei-Chieh [Department of Biomedical Engineering and Environmental Sciences, National Tsing Hua University, Hsinchu, Taiwan (China); Department of Radiation Oncology, Cathay General Hospital, Taipei, Taiwan (China); Chiu, Min-Chi [Department of Biomedical Engineering and Environmental Sciences, National Tsing Hua University, Hsinchu, Taiwan (China); Department of Radiation Oncology, Taipei Medical University Hospital, Taipei, Taiwan (China); Yeh, Chi-Yuan [Department of Biomedical Engineering and Environmental Sciences, National Tsing Hua University, Hsinchu, Taiwan (China); Department of Radiation Oncology, Tungs' Taichung Metroharbor Hospital, Wuci, Taichung County, Taiwan (China); Lee, Chung-Chi [Department of Medical Imaging and Radiological Sciences, Chang Gung University, Kwei-Shan Tao-Yuan, Taiwan (China); Chao, Tsi-Chian, E-mail: email@example.com [Department of Medical Imaging and Radiological Sciences, Chang Gung University, Kwei-Shan Tao-Yuan, Taiwan (China)
Automatic Verification of String Manipulating ProgramsOverview Outline Overview Symbolic String Verification Composite Verification References
Is it Vulnerable? We investigate string verification problem and present an automata-based approach for automatic verification of string manipulating programs based on symbolic string analysis. String analysis plays an important role in the security area. For instance, one can detect various web vulnerabilities like SQL Command Injection and Cross Site Scripting (XSS) attacks. Fang Yu, UCSB Automatic Verification of String Manipulating ProgramsOutline
Fang Yu; Cs Guest Leture
Bibliography for Verification and Validation in Computational Simulations
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.
Security and Verification Provable cryptography
Security and Verification Provable cryptography Benjamin Grégoire1 Tamara Rezk1 1INRIA Sophia Antipolis - Méditerranée, France Cours de Master 2 Univerisité de Nice Sophia-Antipolis Security and Verification 1/ 33 #12;Cryptanalysis-driven Security Propose a cryptographic scheme Wait for someone to come
Gregoire, Benjamin - Institut National de Recherche en Informatique et en Automatique, Centre de recherche Sophia Antipolis
Monitoring/Verification using DMS: TATP Example
Field-rugged and field-programmable differential mobility spectrometry (DMS) networks provide highly selective, universal monitoring of vapors and aerosols at detectable levels from persons or areas involved with illicit chemical/biological/explosives (CBE) production. CBE sensor motes used in conjunction with automated fast gas chromatography with DMS detection (GC/DMS) verification instrumentation integrated into situational operations-management systems can be readily deployed and optimized for changing application scenarios. The feasibility of developing selective DMS motes for a �smart dust� sampling approach with guided, highly selective, fast GC/DMS verification analysis is a compelling approach to minimize or prevent the illegal use of explosives or chemical and biological materials. DMS is currently one of the foremost emerging technologies for field separation and detection of gas-phase chemical species. This is due to trace-level detection limits, high selectivity, and small size. Fast GC is the leading field analytical method for gas phase separation of chemical species in complex mixtures. Low-thermal-mass GC columns have led to compact, low-power field systems capable of complete analyses in 15�300 seconds. A collaborative effort optimized a handheld, fast GC/DMS, equipped with a non-rad ionization source, for peroxide-based explosive measurements.
Stephan Weeks, Kevin Kyle, Manuel Manard
Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification
Nonaqueous-Phase Liquid Characterization and Post-Remediation Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Proceedings of the Fourth International Conference on Remediation of Chlorinated and Recalcitrant Compounds. May 2004, Monterey, California. Charles Tabor, Randall Juhlin, Paul Darr, Julian Caballero, Joseph Daniel, David Ingle Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling More Documents & Publications Steam and ET-DSP Combined for DNAPL Remediation: Full-Scale Site Restoration at Young - Rainey STAR Center Project Overview: Successful Field-Scale In Situ Thermal NAPL Remediation Successful Field-Scale In Situ Thermal NAPL Remediation at the Young - Rainey STAR Center
Nonaqueous-Phase Liquid Characterization and Post-Remediation Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Proceedings of the Fourth International Conference on Remediation of Chlorinated and Recalcitrant Compounds. May 2004, Monterey, California. Charles Tabor, Randall Juhlin, Paul Darr, Julian Caballero, Joseph Daniel, David Ingle Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling More Documents & Publications Project Overview: Successful Field-Scale In Situ Thermal NAPL Remediation Successful Field-Scale In Situ Thermal NAPL Remediation at the Young - Rainey STAR Center Steam and ET-DSP Combined for DNAPL Remediation: Full-Scale Site Restoration at Young - Rainey STAR Center
As Built Verification Plan for Cask Transportation Facility Modifications (CTFM) Project A.5 and A.6
This document establishes an As-built Verification Plan (AVP) for implementing requirements in PHMC Engineering Requirements HNF-PRO-1819, Rev. 4, Sections 2.8.3.d and 2.10.8 and Spent Nuclear Fuels (SNF) Project Administrative Procedure EN-6-012-01. This AVP defines and implements approved processes to document the physical configuration of the project scope installed within the facility and identify discrepancies between the associated project engineering drawings and the field configuration, and the component index (CI) database as defined in AP EN 6-005-02. This AVP defines requirements for project activities verifying conformance of structures, systems, and components (SSCs) to project specified requirements.
Visualization of Instrumental Verification Information Details (VIVID) : code development, description, and usage.
The formulation, implementation and usage of a numerical solution verification code is described. This code uses the Richardson extrapolation procedure to estimate the order of accuracy and error of a computational program solution. It evaluates multiple solutions performed in numerical grid convergence studies to verify a numerical algorithm implementation. Analyses are performed on both structured and unstructured grid codes. Finite volume and finite element discretization programs are examined. Two and three-dimensional solutions are evaluated. Steady state and transient solution analysis capabilities are present in the verification code. Multiple input data bases are accepted. Benchmark options are included to allow for minimal solution validation capability as well as verification.
Roy, Christopher John; Bainbridge, Bruce L.; Potter, Donald L.; Blottner, Frederick G.; Black, Amalia Rebecca
AHAM DOE Verification Test Agreement | Department of Energy
DOE Verification Test Agreement AHAM DOE Verification Test Agreement This letter is to inform AHAM that DOE is adopting a new policy regarding DOE ENERGY STAR verification testing...
Code verification by static analysis: a mathematical programming ...
Code verification by static analysis: a mathematical ... One of the most important verification techniques is static code analysis by abstract ...... verif-instances.zip.
Scoring Rules for Forecast Verification
The problem of probabilistic forecast verification is approached from a theoretical point of view starting from three basic desiderata: additivity, exclusive dependence on physical observations (�locality�), and strictly proper behavior. By ...
Riccardo Benedetti
Runtime verification: the application perspective
In the past decade, Runtime Verification (RV) has gained much focus, from both the research community and practitioners. Roughly speaking, RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems' executions and ...
Yli�s Falcone; Lenore D. Zuck
Errors for Space-Based Doppler Lidar Wind Measurements: Definition, Performance, and Verification
Verification of space-based wind measurements will be difficult because of the random variations of the atmospheric velocity field over the measurement volume. The definition of accuracy requires a definition of �truth.� For this work, truth is ...
Rod Frehlich
Forecasting and Verifying in a Field Research Project: DOPLIGHT '87
Verification of forecasts during research field experiments is discussed and exemplified using the DOPLIGHT '87 experiment. We stress the importance of forecast verification if forecasting is to be a serious component of the research. A direct ...
Charles A. Doswell III; John A. Flueck
Emergency Procedures
Note: This page is pending deletion, please refer to the Safety and health main page for emergency procedure information:
Scientific Verification of Deterministic River Stage Forecasts
One element of a complete verification system is the ability to determine why forecasts behave as they do. This paper describes and demonstrates an operationally feasible method for conducting this type of diagnostic verification analysis. ...
Edwin Welles; Soroosh Sorooshian
California Energy Commission DRAFT STAFF REPORT RENEWABLES PORTFOLIO STANDARD 2007 PROCUREMENT VERIFICATION RPS 2007 Verification Report APRIL 2011 CEC3002011002SD #12;CALIFORNIA ENERGY COMMISSION Gina Executive Director DISCLAIMER Staff members of the California Energy Commission prepared this report
A New Verification Score for Public Forecasts
CREF, a new verification score for public forecasts, is introduced. This verification score rewards a forecaster who forecasts a rare event accurately. CREF was used to verify local forecasts at the Weather Service Forecast Office (WSFO) in ...
Dean P. Gulezian
Forecast verification: Its Complexity and Dimensionality
Two fundamental characteristics of forecast verification problems�complexity and dimensionality�are described. To develop quantitative definitions of these characteristics, a general framework for the problem of absolute verification (AV) is ...
Allan H. Murphy
Verification and validation of simulation models
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate verification and validation to the model development process are presented; ...
Robert G. Sargent
Guidelines for the Monitoring, Evaluation, Reporting, Verification...
Evaluation, Reporting, Verification, and Certification of Forestry Projects for Climate Change Mitigation Title Guidelines for the Monitoring, Evaluation, Reporting,...
Lessons Learned from Independent Verification Activities | Department...
control after the property has been demonstrated to meet the Department's stringent radiation protection requirements. Lessons Learned from Independent Verification...
Nuclear Verification | National Nuclear Security Administration
National Nuclear Security Administration (NNSA)
Verification | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our...
Verification methodology for the DOE-1 building energy analysis computer program
The ''verification'' for the real-system simulations of DOE-1 (formerly Cal-ERDA) will center on the task of determining the range of applicability (limitations) of the model and the desired accuracy within this range. Phase I is primarily an analytical verification test that includes a series of tests and crosschecks for exercising the DOE-1 program as a computational unit rather than as separate algorithms. Phase II is a field verification test designed to examine the DOE-1 program on an individual algorithm basis. Tasks in the project are listed. (MHR)
Diamond, S.C.; Hunn, B.D.; McDonald, T.E.
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.
Carbon Storage Monitoring, Verification and Accounting Research |
Monitoring, Verification and Accounting Research Monitoring, Verification and Accounting Research Carbon Storage Monitoring, Verification and Accounting Research Reliable and cost-effective monitoring, verification and accounting (MVA) techniques are an important part of making geologic sequestration a safe, effective, and acceptable method for greenhouse gas control. MVA of geologic storage sites is expected to serve several purposes, including addressing safety and environmental concerns; inventory verification; project and national accounting of greenhouse gas emissions reductions at geologic storage sites; and evaluating potential regional, national, and international greenhouse gas reduction goals. The goal of our program area is to develop and demonstrate a broad portfolio of technologies, applications, and accounting requirements that
Fingerprint verification using statistical descriptors
The importance of high precision matching in fingerprint cannot be over-emphasized. This paper presents a novel fingerprint verification algorithm which improves matching accuracy by overcoming the shortcomings of poor image quality. The proposed method ... Keywords: Biometrics, Fingerprint, Reliability, Singular point, Statistical analysis
Mohammed S. Khalil; Dzulkifli Mohamad; Muhammad Khurram Khan; Qais Al-Nuzaili
Inverse Load Calculation of Wind Turbine Support Structures - A Numerical Verification Using the Comprehensive Simulation Code FAST: Preprint (Revised)
Physically measuring the dynamic responses of wind turbine support structures enables the calculation of the applied loads using an inverse procedure. In this process, inverse means deriving the inputs/forces from the outputs/responses. This paper presents results of a numerical verification of such an inverse load calculation. For this verification, the comprehensive simulation code FAST is used. FAST accounts for the coupled dynamics of wind inflow, aerodynamics, elasticity and turbine controls. Simulations are run using a 5-MW onshore wind turbine model with a tubular tower. Both the applied loads due to the instantaneous wind field and the resulting system responses are known from the simulations. Using the system responses as inputs to the inverse calculation, the applied loads are calculated, which in this case are the rotor thrust forces. These forces are compared to the rotor thrust forces known from the FAST simulations. The results of these comparisons are presented to assess the accuracy of the inverse calculation. To study the influences of turbine controls, load cases in normal operation between cut-in and rated wind speed, near rated wind speed and between rated and cut-out wind speed are chosen. The presented study shows that the inverse load calculation is capable of computing very good estimates of the rotor thrust. The accuracy of the inverse calculation does not depend on the control activity of the wind turbine.
Pahn, T.; Jonkman, J.; Rolges, R.; Robertson, A.
HVAC BESTEST: A Procedure for Testing the Ability of Whole-Building Energy Simulation Programs to Model Space Conditioning Equipment: Preprint
Validation of Building Energy Simulation Programs consists of a combination of empirical validation, analytical verification, and comparative analysis techniques (Judkoff 1988). An analytical verification and comparative diagnostic procedure was developed to test the ability of whole-building simulation programs to model the performance of unitary space-cooling equipment that is typically modeled using manufacturer design data presented as empirically derived performance maps. Field trials of the method were conducted by researchers from nations participating in the International Energy Agency (IEA) Solar Heating and Cooling (SHC) Programme Task 22, using a number of detailed hourly simulation programs from Europe and the United States, including: CA-SIS, CLIM2000, PROMETHEUS, TRNSYS-TUD, and two versions of DOE-2.1E. Analytical solutions were also developed for the test cases.
Neymark, J,; Judkoff, R.; Knabe, G.; Le, H.-T.; Durig, M.; Glass, A.; Zweifel, G.
Verification and transparency in future arms control
Verification`s importance has changed dramatically over time, although it always has been in the forefront of arms control. The goals and measures of verification and the criteria for success have changed with the times as well, reflecting such factors as the centrality of the prospective agreement to East-West relations during the Cold War, the state of relations between the United States and the Soviet Union, and the technologies available for monitoring. Verification`s role may be declining in the post-Cold War period. The prospects for such a development will depend, first and foremost, on the high costs of traditional arms control, especially those associated with requirements for verification. Moreover, the growing interest in informal, or non-negotiated arms control does not allow for verification provisions by the very nature of these arrangements. Multilateral agreements are also becoming more prominent and argue against highly effective verification measures, in part because of fears of promoting proliferation by opening sensitive facilities to inspectors from potential proliferant states. As a result, it is likely that transparency and confidence-building measures will achieve greater prominence, both as supplements to and substitutes for traditional verification. Such measures are not panaceas and do not offer all that we came to expect from verification during the Cold war. But they may be the best possible means to deal with current problems of arms reductions and restraints at acceptable levels of expenditure.
Pilat, J.F.
Electric Utility Measurement & Verification Program
BC Hydro is an electric utility with a service area covering over 95% of the province of British Columbia in Canada. Power Smart is BC Hydro�s demand-side-management (DSM) division. Power Smart develops, operates and manages various DSM programs for residential, commercial and industrial customers. The Measurement and Verification (M&V) of applicable Power Smart Industrial projects is the process of verifying the results of the implementation of energy conservation measures (ECMs) at industrial customer facilities. Power Smart M&V activities are based on the International Performance Measurement & Verification Protocol (IPMVP); a consensus document produced with the international support of industry and government. This paper discusses BC Hydro�s M&V program and the M&V results from industrial projects. Several case history studies will also be reviewed. The case studies reviewed involve aeration motor speed controls upgrade, steam turbine controls upgrade and natural gas liquid pump speed controls upgrade.
Lau, K.; Henderson, G.; Hebert, D.
Some thoughts on model verification
The most powerful attribute of numerical models for simulating fluid flow in partially saturated fractured media is that they can handle arbitrarily complex problems in terms of geometry, heterogeneity and forcing functions. In contrast, analytical solutions can be only obtained for relatively simple problems. Therefore, the very power of the numerical models that is to be exploited is unnecessarily abridged if the numerical method is viewed merely as a tool for approximately solving the partial differential equation. A broader definition of verification is needed in order to exploit the power and generality of numerical models. In the ultimate, verification should be dictated by axiomatic testability. The development of self-verifying numerical models is a challenge that deserves pursuit.
Narasimhan, T.N.
Experimental verification of quantum computations
Quantum computers are expected to offer substantial speedups over their classical counterparts and to solve problems that are intractable for classical computers. Beyond such practical significance, the concept of quantum computation opens up new fundamental questions, among them the issue whether or not quantum computations can be certified by entities that are inherently unable to compute the results themselves. Here we present the first experimental verification of quantum computations. We show, in theory and in experiment, how a verifier with minimal quantum resources can test a significantly more powerful quantum computer. The new verification protocol introduced in this work utilizes the framework of blind quantum computing and is independent of the experimental quantum-computation platform used. In our scheme, the verifier is only required to generate single qubits and transmit them to the quantum computer. We experimentally demonstrate this protocol using four photonic qubits and show how the verifier can test the computer's ability to perform measurement-based quantum computations.
Stefanie Barz; Joseph F. Fitzsimons; Elham Kashefi; Philip Walther
Awardee Share Procedures
Awardee Share Procedures Awardee Share Procedures Procedures for Correctly Reporting Awardee Share on the FAADS/FAADS Plus reporting screen in STRIPES To ensure proper reporting by DOE to USASpending.gov, you must enter the awardee share (also known as the cost share, recipient share, and non-federal share) manually on the FAADS/FAADS Plus reporting screen in STRIPES. The FAADS/FAADS Plus file is the financial assistance equivalent of the FPDS-NG data entry for acquisition awards. The awardee share amount is not system generated on the FAADS/FAADS Plus reporting screen like the obligation amount is. The fields on the FAADS/FAADS Plus form which must be entered when reporting a Cost-share Financial Assistance Award are: Field #17 Non-Federal Funding Sign Choose 'Obligation', which refers to a positive amount (sign), or 'Deobligation', which refers to a
Class 1E software verification and validation: Past, present, and future
This paper discusses work in progress that addresses software verification and validation (V&V) as it takes place during the full software life cycle of safety-critical software. The paper begins with a brief overview of the task description and discussion of the historical evolution of software V&V. A new perspective is presented which shows the entire verification and validation process from the viewpoints of a software developer, product assurance engineer, independent V&V auditor, and government regulator. An account of the experience of the field test of the Verification Audit Plan and Report generated from the V&V Guidelines is presented along with sample checklists and lessons learned from the verification audit experience. Then, an approach to automating the V&V Guidelines is introduced. The paper concludes with a glossary and bibliography.
Persons, W.L.; Lawrence, J.D.
Input apparatus for dynamic signature verification systems
DOE Patents (OSTI)
The disclosure relates to signature verification input apparatus comprising a writing instrument and platen containing piezoelectric transducers which generate signals in response to writing pressures.
EerNisse, Errol P. (Albuquerque, NM); Land, Cecil E. (Albuquerque, NM); Snelling, Jay B. (Albuquerque, NM)
Formal verification in a commercial setting
This tutorial addresses the following questions:� why do formal verification?� who is doing it today?� what are they doing?� how are they doing it?� what about the future?
R. P. Kurshan
Energy Efficiency Measurement & Verification in South Africa
Contacts Media Contacts Energy Efficiency Measurement & Verification in South Africa Speaker(s): Xiaohua Xia Date: December 17, 2012 - 12:00pm Location: 90-3122 Seminar...
Acceptance sampling methods for sample results verification
This report proposes a statistical sampling method for use during the sample results verification portion of the validation of data packages. In particular, this method was derived specifically for the validation of data packages for metals target analyte analysis performed under United States Environmental Protection Agency Contract Laboratory Program protocols, where sample results verification can be quite time consuming. The purpose of such a statistical method is to provide options in addition to the ``all or nothing`` options that currently exist for sample results verification. The proposed method allows the amount of data validated during the sample results verification process to be based on a balance between risks and the cost of inspection.
Jesse, C.A.
National Energy Efficiency Evaluation, Measurement and Verification...
65E ERNEST ORLANDO LAWRENCE BERKELEY NATIONAL LABORATORY National Energy Efficiency Evaluation, Measurement and Verification (EM&V) Standard: Scoping Study of Issues and...
National Energy Efficiency Evaluation, Measurement and Verification (EM&V) Standard: Scoping Study of Issues and Implementation Requirements Title National Energy Efficiency...
Compliance Verification Paths for Residential and Commercial...
Verification Paths for Residential and Commercial Energy Codes Conformity assessment is a term used to describe the processes followed to demonstrate that a product, service,...
NETL: Carbon Storage - Monitoring, Verification, and Accounting...
MVA Carbon Storage Monitoring, Verification, and Accounting (MVA) Focus Area An MVA program is designed to confirm permanent storage of carbon dioxide (CO2) in geologic formations...
Efficient formal verification of bounds of linear programs
One of the challenging problems in the formalization of mathematics is a formal verification of numerical computations. Many theorems rely on numerical results, the verification of which is necessary for producing complete formal proofs. The formal verification ...
Alexey Solovyev; Thomas C. Hales
Hydrologic Verification: A Call for Action and Collaboration
Traditionally, little attention has been focused on the systematic verification of operational hydrologic forecasts. This paper summarizes the results of forecast verification from 15 river basins in the United States. The verification scores for ...
Edwin Welles; Soroosh Sorooshian; Gary Carter; Billy Olsen
Measuring Residential Ventilation System Airflows: Part 2 - Field...
Measuring Residential Ventilation System Airflows: Part 2 - Field Evaluation of Airflow Meter Devices and System Flow Verification Title Measuring Residential Ventilation System...
A summary of the demonstration of 14 stages (in 10 wells) of a unique liquid-free stimulation process which employs carbon dioxide (CO{sub 2}) as the working fluid in ten Candidate Wells. Three were situated in Perry County and seven in Pike County of eastern kentucky's Big Sandy gas field. These activities included four individual efforts which have previously been described in detail in four submitted Final Reports, and are herein summarized. These ten Candidate wells produce from the Devonian Shale which is well known to be damaged by liquid based stimulation processes. They were treated with a total of fourteen stages; four as a single stage, and the others in two stages per well all containing approximately 120 tons of CO{sub 2} per stage. These liquid free stimulations also contained proppant quantities on the order of 45,000 lbs per stage. The results show in the three Perry Co Candidate wells that the stimulations were not as effective as the best conventional technology, and resulted in a stimulation cost for produced gas of $0.69 per Mcf vs $0.43 for N{sub 2} gas stimulations. The results in the Pike County Candidates, where the shale section is thicker--1,025 vs. 350 feet, indicated a superior response from the wells stimulated with the CO{sub 2}/sand process. A five year production benefit of 67.7 MMcf per stage, or 135.4 MMcf per well over that from the closest competing technology which results in a 3.41 benefit ratio and a stimulation cost for produced gas of $0.47 per Mcf vs $1.14 for N{sub 2} gas.
Raymond L. Mazza
Calibration Procedures: Standard Operating Procedures
... 18, Calibration of Graduated Neck-Type Metal Volumetric Field Standards, Volumetric Transfer Method Revision ... 20, Standard Deviation and Range ...
ORO Verification of Employment Tracking System(VETS) PIA, Oak...
Verification of Employment Tracking System(VETS) PIA, Oak ridge Operations Office ORO Verification of Employment Tracking System(VETS) PIA, Oak ridge Operations Office ORO...
The Office of Nuclear Verification | National Nuclear Security...
at NNSA Blog The Office of Nuclear Verification Home > About Us > Our Programs > Nonproliferation > Nonproliferation & International Security > The Office of Nuclear Verification...
Test Procedure Development and Revision | Department of Energy
Test Procedure Development and Revision Test Procedure Development and Revision Test Procedure Development and Revision Most energy conservation standards rulemakings are accompanied by a concurrent test procedure rulemaking. Test procedures detail the protocols that manufacturers must follow when testing their products for compliance with Department of Energy (DOE) standards. DOE also uses the test procedures to determine compliance with the applicable standards in any verification or enforcement testing. The procedures specify how to measure and calculate the energy efficiency and/or energy use of each appliance. Test procedures also specify how to calculate an estimate of an appliance's annual operating cost, which is used on the EnergyGuide label as required by the Federal Trade Commission.
Formal verification of practical MPI programs
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI/C source code, executing its interleavings ... Keywords: distributed programming, dynamic partial order reduction, message passing interface, model checking, mpi
Anh Vo; Sarvani Vakkalanka; Michael DeLisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur
DOE handbook: Integrated safety management systems (ISMS) verification team leader`s handbook
The primary purpose of this handbook is to provide guidance to the ISMS verification Team Leader and the verification team in conducting ISMS verifications. The handbook describes methods and approaches for the review of the ISMS documentation (Phase I) and ISMS implementation (Phase II) and provides information useful to the Team Leader in preparing the review plan, selecting and training the team, coordinating the conduct of the verification, and documenting the results. The process and techniques described are based on the results of several pilot ISMS verifications that have been conducted across the DOE complex. A secondary purpose of this handbook is to provide information useful in developing DOE personnel to conduct these reviews. Specifically, this handbook describes methods and approaches to: (1) Develop the scope of the Phase 1 and Phase 2 review processes to be consistent with the history, hazards, and complexity of the site, facility, or activity; (2) Develop procedures for the conduct of the Phase 1 review, validating that the ISMS documentation satisfies the DEAR clause as amplified in DOE Policies 450.4, 450.5, 450.6 and associated guidance and that DOE can effectively execute responsibilities as described in the Functions, Responsibilities, and Authorities Manual (FRAM); (3) Develop procedures for the conduct of the Phase 2 review, validating that the description approved by the Approval Authority, following or concurrent with the Phase 1 review, has been implemented; and (4) Describe a methodology by which the DOE ISMS verification teams will be advised, trained, and/or mentored to conduct subsequent ISMS verifications. The handbook provides proven methods and approaches for verifying that commitments related to the DEAR, the FRAM, and associated amplifying guidance are in place and implemented in nuclear and high risk facilities. This handbook also contains useful guidance to line managers when preparing for a review of ISMS for radiological facilities, non-nuclear, or non-Defense Programs facilities. DOE line managers are encouraged to tailor the procedures described in this handbook for ISMS verifications for low risk facilities.
Monitoring and Commissioning Verification Algorithms for CHP Systems
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
Hierarchical Verification for Increasing Performance in Reliable Processors
Dynamic verification using the checker processor introduces severe degradation in performance unless the checker is as fast as the main processor core. Without widening the checker's bandwidth, we propose an active verification management (AVM) approach ... Keywords: Active verification management, Correctness non-critically, Fault tolerance, Filter checker, Hierarchical verification, Performance
Joonhyuk Yoo; Manoj Franklin
Secure position verification for wireless sensor networks in noisy channels
Position verification in wireless sensor networks (WSNs) is quite tricky in presence of attackers (malicious sensor nodes), who try to break the verification protocol by reporting their incorrect positions (locations) during the verification stage. In ... Keywords: 3? limit, distance estimation, distributed protocol, location verification, quantiles, wireless networks
Partha Sarathi Mandal; Anil K. Ghosh
Oak Ridge Associated Universities/Oak Ridge Institute for Science and Education (ORAU/ORISE) has completed the independent verification survey of the Central Campus and Southeast Lab Complex Building Slabs. The results of this effort are provided. The objective of this verification survey was to provide independent review and field assessment of remediation actions conducted by SEC, and to independently assess whether the final radiological condition of the slabs met the release guidelines.
A numerical tool is in an advanced state of development to compute the equilibrium compositions of phases and their proportions in multi-component systems of importance to the nuclear industry. The resulting software is being conceived for direct integration into large multi-physics fuel performance codes, particularly for providing boundary conditions in heat and mass transport modules. However, any numerical errors produced in equilibrium chemistry computations will be propagated in subsequent heat and mass transport calculations, thus falsely predicting nuclear fuel behaviour. The necessity for a reliable method to numerically verify chemical equilibrium computations is emphasized by the requirement to handle the very large number of elements necessary to capture the entire fission product inventory. A simple, reliable and comprehensive numerical verification method is presented which can be invoked by any equilibrium chemistry solver for quality assurance purposes.
Piro, Markus [Royal Military College of Canada; Lewis, Brent [Royal Military College of Canada; Thompson, Dr. William T. [Royal Military College of Canada; Simunovic, Srdjan [ORNL; Besmann, Theodore M [ORNL
Automatic verification of competitive stochastic systems
We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate ...
Taolue Chen; Vojt?ch Forejt; Marta Kwiatkowska; David Parker; Aistis Simaitis
Intercomparison of Spatial Forecast Verification Methods
Advancements in weather forecast models and their enhanced resolution have led to substantially improved and more realistic-appearing forecasts for some variables. However, traditional verification scores often indicate poor performance because ...
Eric Gilleland; David Ahijevych; Barbara G. Brown; Barbara Casati; Elizabeth E. Ebert
A relational framework for bounded program verification
All software verification techniques, from theorem proving to testing, share the common goal of establishing a program's correctness with both (1) a high degree of confidence and (2) a low cost to the user, two criteria ...
Dennis, Gregory D. (Gregory David), 1980-
A General Framework for Forecast Verification
A general framework for forecast verification based on the joint distribution of forecasts and observations is described. For further elaboration of the framework, two factorizations of the joint distribution are investigated: 1) the calibration-...
Allan H. Murphy; Robert L. Winkler
The Severe Hazards Analysis and Verification Experiment
During the springs and summers of 2006 through 2008, scientists from the National Severe Storms Laboratory and students from the University of Oklahoma have conducted an enhanced severe-storm verification effort. The primary goal for the Severe ...
Kiel L. Ortega; Travis M. Smith; Kevin L. Manross; Angelyn G. Kolodziej; Kevin A. Scharfenberg; Arthur Witt; Jonathan J. Gourley
Runtime verification of object lifetime specifications
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.)
Hierarchical layout verification for submicron designs
In this paper we present the program HEXDRC for hierarchical circuit extraction and design rule check. The main problem for hierarchical layout verification is to handle interactions between different cells effectively. The kind of interactions however ...
W. Meier
Measurement and Verification for Demand Response
Measurement and Verification for Measurement and Verification for Demand Response Prepared for the National Forum on the National Action Plan on Demand Response: Measurement and Verification Working Group AUTHORS: Miriam L. Goldberg & G. Kennedy Agnew-DNV KEMA Energy and Sustainability National Forum of the National Action Plan on Demand Response Measurement and Verification for Demand Response was developed to fulfill part of the Implementation Proposal for The National Action Plan on Demand Response, a report to Congress jointly issued by the U.S. Department of Energy (DOE) and the Federal Energy Regulatory Commission (FERC) in June 2011. Part of that implementation proposal called for a "National Forum" on demand response to be conducted by DOE and FERC. Given that demand response has matured, DOE and FERC decided that a "virtual" project
Measurement and Verification | Department of Energy
Measurement and Verification Measurement and Verification Measurement and Verification October 16, 2013 - 4:43pm Addthis Photo of a man with a clipboard and measuring tools standing in front of an open energy panel box. A National Park Service energy manager checks an energy management system at the Zion National Park Visitor Center. Measurement and verification (M&V) play a vital role in renewable energy projects. M&V verifies verify that renewable energy technologies successfully meet the energy generation or savings requirements as specified by the agency and the system design. Federal sustainable building guidelines require M&V systems for sustainable building projects and the use of M&V data for benchmarking systems. However, these systems deliver value well beyond regulatory compliance.
The Second Verification of the Origins of Rotation in Tornadoes Experiment: VORTEX2
The second Verification of the Origins of Rotation in Tornadoes Experiment (VORTEX2), which had its field phases in May and June of 2009 and 2010, was designed to explore i) the physical processes of tornadogenesis, maintenance, and demise; ii) the ...
Joshua Wurman; David Dowell; Yvette Richardson; Paul Markowski; Erik Rasmussen; Donald Burgess; Louis Wicker; Howard B. Bluestein
Formal Verification of Safety Automation Logic Designs
In safety critical processes, especially in nuclear power plants, the new digitalized automation (I&C) systems have brought out new needs for safety evaluation. The programmable digital logic controllers can perform complicated control tasks and, thus, their comprehensive verification against safety requirements is a difficult task. Model checking is a promising approach that enables complete verification of a logic design when a finite state machine model of the control logic is available. The paper describes the use of model checking for the verification of an arc protection system and summarizes experiences of utilizing model checking in automation design and verification. For the verification of the arc protection system, it was necessary to model the overall design of the system and its operation environment. The environment model could be kept relatively simple while covering the essential behaviour of the environment. The results show that it is possible to reliably verify the presence of a desired or the absence of an undesired behaviour of the system. The possibility of complete verification makes model checking different from simulation based testing where only selected schemes can be simulated and one can never be sure that all the possible sequences are examined.
Janne Valkonen; Matti Koskimies; Kim Bj�rkman; Keijo Heljanko; Ilkka Niemel�; Jari J. H�m�l�inen
Order Module--DOE O 425.1D, VERIFICATION OF READINESS TO START UP OR
DOE O 425.1D, VERIFICATION OF READINESS TO START UP DOE O 425.1D, VERIFICATION OF READINESS TO START UP OR RESTART NUCLEAR FACILITIES Order Module--DOE O 425.1D, VERIFICATION OF READINESS TO START UP OR RESTART NUCLEAR FACILITIES "The familiar level of this module is divided into three sections. In the first section we will discuss the purpose of DOE O 425.1D and the requirements for 1) determining the level of readiness review (RR), 2) determining the startup authorization authority (SAA), and 3) the startup notification report. In the second section we will discuss 1) the requirements applicable to DOE ORRs and DOE RAs, and 2) the core requirements. In the third section we will discuss the 1) requirements for DOE field element and headquarters line management oversight of the startup or restart process, 2) requirements for the records management program, and
Completing the automated verification of a small hypervisor - assembler code verification
In [1] the almost complete formal verification of a small hypervisor with the automated C code verifier VCC [2] was reported: the correctness of the C portions of the hypervisor and of the guest simulation was established; the verification of the assembler ...
Wolfgang Paul; Sabine Schmaltz; Andrey Shadrin
Monitoring and verification R&D
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
Vehicle Modeling and Verification of CNG-Powered Transit Buses
Modeling and Verification of CNG-Powered Transit BusesModeling and Verification of CNG-Powered Transit Buses.Modeling and Veri?cation of CNG-Powered Transit Buses J.K.
Hedrick, J. K.; Ni, A.
Generalized Exponential Markov and Model Output Statistics: A Comparative Verification
We performed a comparative verification of Model Output Statistics (MOS) against Generalized Exponential Markov (GEM), a single station forecasting technique which uses only the surface observation and climatology as input. The verification was ...
Thomas J. Perrone; Robert G. Miller
A Tutorial on Text-Independent Speaker Verification
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
Exploration of small enrollment speaker verification on handheld devices
This thesis explores the problem of robust speaker verification for handheld devices under the context of extremely limited training data. Although speaker verification technology is an area of great promise for security ...
Woo, Ram H. (Ram Han)
Electric Power Research Institute Utility Wind Turbine Verification Program
This report provides an overview of the DOE EPRI Wind Turbine Verification Program (TVP) and the Turbine Verification and Technology Transfer Projects funded by the program between 1994 and 2004.
Procedure to Measure Indoor Lighting Energy Performance
This document provides standard definitions of performance metrics and methods to determine them for the energy performance of building interior lighting systems. It can be used for existing buildings and for proposed buildings. The primary users for whom these documents are intended are building energy analysts and technicians who design, install, and operate data acquisition systems, and who analyze and report building energy performance data. Typical results from the use of this procedure are the monthly and annual energy used for lighting, energy savings from occupancy or daylighting controls, and the percent of the total building energy use that is used by the lighting system. The document is not specifically intended for retrofit applications. However, it does complement Measurement and Verification protocols that do not provide detailed performance metrics or measurement procedures.
Deru, M.; Blair, N.; Torcellini, P.
2013-09-18: Handbook 130 -- Price Verification
Handbook 130 - Price Verification. Purpose: This 2-day seminar is designed so that participants will be able to understand ...
2013-08-27: Handbook 130 -- Price Verification
Speaker verification under degraded condition: a perceptual study
This study analyzes the effect of degradation on human and automatic speaker verification (SV) tasks. The perceptual test is conducted by the subjects having knowledge about speaker verification. An automatic SV system is developed using the Mel-frequency ... Keywords: Degraded condition, Human vs automatic, Speaker information, Speaker verification
Gayadhar Pradhan; S. R. Prasanna
A tutorial on text-independent speaker verification
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, the most commonly speech parameterization ... Keywords: Gaussian mixture modeling, cepstral analysis, speaker verification, text-independent
Fr�d�ric Bimbot; Jean-Fran�ois Bonastre; Corinne Fredouille; Guillaume Gravier; Ivan Magrin-Chagnolleau; Sylvain Meignier; Teva Merlin; Javier Ortega-Garc�a; Dijana Petrovska-Delacr�taz; Douglas A. Reynolds
Design Verification Report Spent Nuclear Fuel (SNF) Project Canister Storage Building (CSB)
The Sub-project W379, ''Spent Nuclear Fuel Canister Storage Building (CSB),'' was established as part of the Spent Nuclear Fuel (SNF) Project. The primary mission of the CSB is to safely store spent nuclear fuel removed from the K Basins in dry storage until such time that it can be transferred to the national geological repository at Yucca Mountain Nevada. This sub-project was initiated in late 1994 by a series of studies and conceptual designs. These studies determined that the partially constructed storage building, originally built as part of the Hanford Waste Vitrification Plant (HWVP) Project, could be redesigned to safely store the spent nuclear fuel. The scope of the CSB facility initially included a receiving station, a hot conditioning system, a storage vault, and a Multi-Canister Overpack (MCO) Handling Machine (MHM). Because of evolution of the project technical strategy, the hot conditioning system was deleted from the scope and MCO welding and sampling stations were added in its place. This report outlines the methods, procedures, and outputs developed by Project W379 to verify that the provided Structures, Systems, and Components (SSCs): satisfy the design requirements and acceptance criteria; perform their intended function; ensure that failure modes and hazards have been addressed in the design; and ensure that the SSCs as installed will not adversely impact other SSCs. Because this sub-project is still in the construction/start-up phase, all verification activities have not yet been performed (e.g., canister cover cap and welding fixture system verification, MCO Internal Gas Sampling equipment verification, and As-built verification.). The verification activities identified in this report that still are to be performed will be added to the start-up punchlist and tracked to closure.
Monitoring, Verification and Reporting: Improving Compliance Within Energy
Monitoring, Verification and Reporting: Improving Compliance Within Energy Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Jump to: navigation, search Tool Summary Name: Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Agency/Company /Organization: International Energy Agency Sector: Energy Focus Area: Energy Efficiency Topics: GHG inventory, Policies/deployment programs Resource Type: Guide/manual Website: www.iea.org/papers/pathways/monitoring.pdf Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Screenshot References: Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs[1] This document includes: A brief overview of MVE in the context of S&L programmes.
The Office of Nuclear Verification | National Nuclear Security
Nuclear Verification | National Nuclear Security Nuclear Verification | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our Infrastructure Continuing Management Reform Countering Nuclear Terrorism About Us Our Programs Our History Who We Are Our Leadership Our Locations Budget Our Operations Media Room Congressional Testimony Fact Sheets Newsletters Press Releases Speeches Events Social Media Video Gallery Photo Gallery NNSA Archive Federal Employment Apply for Our Jobs Our Jobs Working at NNSA Blog The Office of Nuclear Verification Home > About Us > Our Programs > Nonproliferation > Nonproliferation & International Security > The Office of Nuclear Verification The Office of Nuclear Verification
The AdaptiV Approach to Verification of Adaptive Systems
Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.
Rouff, Christopher [Lockheed Martin Corporation; Buskens, Richard [Lockheed Martin Corporation; Pullum, Laura L [ORNL; Cui, Xiaohui [ORNL; Hinchey, Mike [Lero � The Irish Software Engineering Research Centre
UN-REDD Workshop: Monitoring, Assessment and Verification | Open Energy
UN-REDD Workshop: Monitoring, Assessment and Verification UN-REDD Workshop: Monitoring, Assessment and Verification Jump to: navigation, search Tool Summary LAUNCH TOOL Name: UN-REDD Workshop: Monitoring, Assessment and Verification Agency/Company /Organization: United Nations Environment Programme, Food and Agriculture Organization of the United Nations, United Nations Development Programme Sector: Land Focus Area: Forestry Topics: GHG inventory, Policies/deployment programs, Resource assessment Resource Type: Workshop Website: www.un-redd.org/UNREDDProgramme/InternationalSupport/MeasurementReport UN-REDD Workshop: Monitoring, Assessment and Verification Screenshot References: UN-REDD Workshop: Monitoring, Assessment and Verification[1] Background "The specific objectives of the workshop were to develop a roadmap with
Taximeter verification using imprecise data from GPS
Until recently, local governments in Spain were using machines with rolling cylinders for testing and verification of taximeters. However, the tyres condition can lead to errors in the process and the mechanical construction of the test equipment is ... Keywords: Fuzzy fitness function, GPS, Genetic fuzzy systems, Metrology, Vague data
Jos� Villar; Adolfo Otero; Jos� Otero; Luciano S�nchez
Verification Techniques for System-Level Design
This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been ... Keywords: Circuits, Electricity, Microelectronics
Masahiro Fujita; Indradeep Ghosh; Mukul Prasad
Pattern Language Verification in Model Driven Design
This paper addresses the problem of verifying the application of a Pattern Language in a design that is built based upon the patterns of the language in a model-driven approach. We propose a process named Pattern Language Verifier (PLV) which consists ... Keywords: Model Driven Engineering, Pattern Language Verification
Bahman Zamani, Greg Butler
Towards Integrated Verification of Timed Transition Models
This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling Environment (TAME) has been modified to provide a formal model for Time Transition ... Keywords: PVS, Real-time, SAL, equivalence verification, model reduction, model-checking, theorem proving
Mark Lawford; Vera Pantelic; Hong Zhang
Automatic verification for interactive graphical programs
Modern software applications come with interactive graphical displays. In the past, verification efforts for such programs have usually ignored the I/O aspects of programs and focused instead on their core functionality. This approach leaves open the ... Keywords: ACL2, Dracula, interactive graphical programs
Carl Eastlund; Matthias Felleisen
Handling Global Conditions in Parameterized System Verification
We consider symbolic verification for a class of parameterized systems, where a system consists of a linear array of processes, and where an action of a process may in general be guarded by both local conditions restricting the state of the process about ...
Parosh Aziz Abdulla; Ahmed Bouajjani; Bengt Jonsson; Marcus Nilsson
Uncertainty and Inference for Verification Measures
When a forecast is assessed, a single value for a verification measure is often quoted. This is of limited use, as it needs to be complemented by some idea of the uncertainty associated with the value. If this uncertainty can be quantified, it is ...
Ian T. Jolliffe
Gait verification using knee acceleration signals
A novel gait recognition method for biometric applications is proposed. The approach has the following distinct features. First, gait patterns are determined via knee acceleration signals, circumventing difficulties associated with conventional vision-based ... Keywords: Biometrics, Gait analysis, Identity verification, Physiological signal processing
L. W. Hang; C. Y. Hong; C. W. Yen; D. J. Chang; M. L. Nagurka
The new geospatial tools: global transparency enhancing safeguards verification
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
Small-Scale Geothermal Power Plant Field Verification Projects: Preprint
In the spring of 2000, the National Renewable Energy Laboratory issued a Request for Proposal for the construction of small-scale (300 kilowatt [kW] to 1 megawatt [MW]) geothermal power plants in the western United States. Five projects were selected for funding. Of these five, subcontracts have been completed for three, and preliminary design work is being conducted. The three projects currently under contract represent a variety of concepts and locations: a 1-MW evaporatively enhanced, air-cooled binary-cycle plant in Nevada; a 1-MW water-cooled Kalina-cycle plant in New Mexico; and a 750-kW low-temperature flash plant in Utah. All three also incorporate direct heating: onion dehydration, heating for a fish hatchery, and greenhouse heating, respectively. These projects are expected to begin operation between April 2002 and September 2003. In each case, detailed data on performance and costs will be taken over a 3-year period.
Kutscher, C.
Field Verification of ADCP Surface Gravity Wave Elevation Spectra
Acoustic Doppler current profilers (ADCPs) can measure orbital velocities induced by surface gravity waves, yet the ADCP estimates of these velocities are subject to a relatively high noise level. The present paper introduces a linear filtration ...
A. J. F. Hoitink; H. C. Peters; M. Schroevers
Void fraction instrument acceptance test procedure
This acceptance test procedure (ATP) was written to test the void fraction instrument (VFI) and verify that the unit is ready for field service. The procedure verifies that the mechanical and electrical features (not specifically addressed in the software ATP) and software alarms are operating as designed.
Pearce, K.L.
Ammonia Monitor Lab Test Verification
Broad-based deployment of postcombustion nitrogen oxide (NOx) control systems, such as selective catalytic reduction (SCR) and selective non-catalytic reduction (SNCR), in response to more stringent NOx control mandates has highlighted the need for continuous ammonia monitoring capabilities. EPRI has investigated the potential that tunable diode laser (TDL) spectroscopy can have in the continuous monitoring of ammonia slip. Field measurement programs for validation of TDL-based monitors, however, have yi...
Broad-based deployment of post-combustion nitrogen oxide (NOX) control systems, such as selective catalytic reduction (SCR) and selective non-catalytic reduction (SNCR), in response to more stringent NOX control mandates has highlighted the need for continuous ammonia monitoring capabilities. EPRI has investigated the potential that tunable diode laser (TDL) spectroscopy can have in the continuous monitoring of ammonia slip. Field measurement programs for validation of TDL-based monitors, however, have y...
Some field observations on OSI aerial photography scales
The US, UK and USSR are attempting to negotiate a Comprehensive Test Ban Treaty (CTBT) in Geneva. One of the verification procedures presently proposed provides for the possibility of conducting an On-Site Inspection (OSI) if a violation is suspected. According to the terms of the draft treaty, the OSI team would be provided with either (1) stereoscopic aerial photographs with a scale of 1:2,500, or equivalent topographic maps (US version) or (2) a large scale aerial photograph (USSR version). In order to gain a better understanding of the aerial photograph issue, EG and G was asked to take stereoscopic aerial photographs of two areas at the NTS at four different scales, 1:2,500, 1:5,000, 1:10,000 and 1:25,000. The purpose of this paper is to present some field observations on the use for OSI type purposes of these different scale photos.
Geil, R.
Energy Star Lighting Verification Program
The Program for the Evaluation and Analysis of Residential Lighting (PEARL) is a watchdog program. It was created in response to complaints received by utility program managers about the performance of certain Energy Star lighting products being promoted within their service territories and the lack of a self-policing mechanism within the lighting industry that would ensure the reliability of these products and their compliance with ENERGY STAR specifications. To remedy these problems, PEARL purchases and tests products that are available to the consumers in the marketplace. The Lighting Research Center (LRC) tests the selected products against the corresponding Energy Star specifications. This report includes the experimental procedure and results of Cycle Seven of PEARL program during the period of April 2006 to September 2006, along with the description of apparatus used, equipment calibration process, experimental methodology, and research findings from the testing. LRC continued receiving the CFL samples purchased by sponsors and finished performing the sphere testing for all CFL models at 100 hours of life. After that LRC aged the CFL samples to 1000 hours of life, and then performed sphere testing for all CFL models at 1000 hours of life. Then the CFLs were placed on the test rack to be aged to 40% of their rated life. Rapid Cycle Stress Test was also performed for all models using different sets of CFL samples.
Conan O'Rourke; Yutao Zhou
The Program for the Evaluation and Analysis of Residential Lighting (PEARL) is a watchdog program. It was created in response to complaints received by utility program managers about the performance of certain Energy Star lighting products being promoted within their service territories and the lack of a self-policing mechanism within the lighting industry that would ensure the reliability of these products and their compliance with ENERGY STAR specifications. To remedy these problems, PEARL purchases and tests products that are available to the consumers in the marketplace. The Lighting Research Center (LRC) tests the selected products against the corresponding Energy Star specifications. This report includes the experimental procedure and results of Cycle Seven and Cycle Eight of PEARL program during the period of October 2006 to March 2007, along with the description of apparatus used, equipment calibration process, experimental methodology, and research findings from the testing. LRC finished performing the sphere testing for all CFL models in Cycle Seven at 40% of their rated life. LRC also performed re-test of Rapid Cycle Stress Test, under the request of DOE, for five CFL models that failed the Rapid Cycle Stress Test in Cycle Seven. From January 2007 to March 2007, LRC coordinated the procuring efforts for the CFL models that were selected for Cycle Eight.
Remaining Sites Verification Package for the 1607-F3 Sanitary Sewer System, Waste Site Reclassification Form 2006-047
The 1607-F3 waste site is the former location of the sanitary sewer system that supported the 182-F Pump Station, the 183-F Water Treatment Plant, and the 151-F Substation. The sanitary sewer system included a septic tank, drain field, and associated pipeline, all in use between 1944 and 1965. In accordance with this evaluation, the verification sampling results support a reclassification of this site to Interim Closed Out. The results of verification sampling demonstrated that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also showed that residual contaminant concentrations are protective of groundwater and the Columbia River.
L. M. Dittmer
Dual Mode Inverter Control Test Verification
Permanent Magnet Motors with either sinusoidal back emf (permanent magnet synchronous motor [PMSM]) or trapezoidal back emf (brushless dc motor [BDCM]) do not have the ability to alter the air gap flux density (field weakening). Since the back emf increases with speed, the system must be designed to operate with the voltage obtained at its highest speed. Oak Ridge National Laboratory's (ORNL) Power Electronics and Electric Machinery Research Center (PEEMRC) has developed a dual mode inverter controller (DMIC) that overcomes this disadvantage. This report summarizes the results of tests to verify its operation. The standard PEEMRC 75 kW hard-switched inverter was modified to implement the field weakening procedure (silicon controlled rectifier enabled phase advance). A 49.5 hp motor rated at 2800 rpm was derated to a base of 400 rpm and 7.5 hp. The load developed by a Kahn Industries hydraulic dynamometer, was measured with a MCRT9-02TS Himmelstein and Company torque meter. At the base conditions a current of 212 amperes produced the 7.5 hp. Tests were run at 400, 1215, and 2424 rpm. In each run, the current was no greater than 214 amperes. The horsepower obtained in the three runs were 7.5, 9.3, and 8.12. These results verified the basic operation of the DMIC in producing a Constant Power Speed Ratios (CPSR) of six.
Bailey, J.M.
NGSI: IAEA Verification of UF6 Cylinders
The International Atomic Energy Agency (IAEA) is often ignorant of the location of declared, uranium hexafluoride (UF6) cylinders following verification, because cylinders are not typically tracked onsite or off. This paper will assess various methods the IAEA uses to verify cylinder gross defects, and how the task could be ameliorated through the use of improved identification and monitoring. The assessment will be restricted to current verification methods together with one that has been applied on a trial basis�short-notice random inspections coupled with mailbox declarations. This paper is part of the NNSA Office of Nonproliferation and International Security�s Next Generation Safeguards Initiative (NGSI) program to investigate the concept of a global monitoring scheme that uniquely identifies and tracks UF6 cylinders.
Curtis, Michael M.
GRIMHX verification and validation action matrix summary
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.
Conceptual design. Final report: TFE Verification Program
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.
Verification of physics parameters for BWR (boiling water reaction) one-dimensional transient analysis
A data-processing method was developed to generate physics parameters for use with the one-dimensional kinetics model of the RETRAN-02/MOD3 code. The physics parameters were verified to assure the consistency in collapsing procedures and to identify the need for further improvements. In the present study, calculations were performed during the boiling water reactor-4 Chinshan-1 cycle-7 (CS1CY7) end-of-cycle (EOC) Hailing condition, CS2CY6 middle-of-cycle (MOC), and CS1CY1 beginning-of-cycle (BOC) rated conditions. This paper describes the results of verification and their implications for plant transient analyses.
Chou, H.P. (National Tsing-Hua Univ., Hsinchu (Taiwan)); Chen, Y.J. (Institute of Nuclear Energy Research, Lung-Tan (Taiwan))
Variance in the Verification and Validation Process for Non-Safety-Related Digital Equipment
This report describes the various processes, procedures, and guidance within a sample of nuclear utilities and vendors associated with the verification and validation (V&V) process for safety- related and non-safety-related digital equipment. This report focuses primarily on the variance in non-safety-related V&V, but it includes recommendations for safety-related V&V, as well. This report describes current practices, explains some lessons learned regarding the use of some industry and utility-specific p...
Computerized procedures system
An online data driven computerized procedures system that guides an operator through a complex process facility's operating procedures. The system monitors plant data, processes the data and then, based upon this processing, presents the status of the current procedure step and/or substep to the operator. The system supports multiple users and a single procedure definition supports several interface formats that can be tailored to the individual user. Layered security controls access privileges and revisions are version controlled. The procedures run on a server that is platform independent of the user workstations that the server interfaces with and the user interface supports diverse procedural views.
Lipner, Melvin H. (Monroeville, PA); Mundy, Roger A. (North Huntingdon, PA); Franusich, Michael D. (Upper St. Clair, PA)
Secure Position Verification for Wireless Sensor Networks in Noisy Channels
Position verification in wireless sensor networks (WSNs) is quite tricky in presence of attackers (malicious sensor nodes), who try to break the verification protocol by reporting their incorrect positions (locations) during the verification stage. In the literature of WSNs, most of the existing methods of position verification have used trusted verifiers, which are in fact vulnerable to attacks by malicious nodes. They also depend on some distance estimation techniques, which are not accurate in noisy channels (mediums). In this article, we propose a secure position verification scheme for WSNs in noisy channels without relying on any trusted entities. Our verification scheme detects and filters out all malicious nodes from the network with very high probability.
Mandal, Partha Sarathi
Human factoring administrative procedures
In nonnuclear business, administrative procedures bring to mind such mundane topics as filing correspondence and scheduling vacation time. In the nuclear industry, on the other hand, administrative procedures play a vital role in assuring the safe operation of a facility. For some time now, industry focus has been on improving technical procedures. Significant efforts are under way to produce technical procedure requires that a validated technical, regulatory, and administrative basis be developed and that the technical process be established for each procedure. Producing usable technical procedures requires that procedure presentation be engineered to the same human factors principles used in control room design. The vital safety role of administrative procedures requires that they be just as sound, just a rigorously formulated, and documented as technical procedures. Procedure programs at the Tennessee Valley Authority and at Boston Edison's Pilgrim Station demonstrate that human factors engineering techniques can be applied effectively to technical procedures. With a few modifications, those same techniques can be used to produce more effective administrative procedures. Efforts are under way at the US Department of Energy Nuclear Weapons Complex and at some utilities (Boston Edison, for instance) to apply human factors engineering to administrative procedures: The techniques being adapted include the following.
Grider, D.A.; Sturdivant, M.H.
Federal Agency NEPA Procedures
Each Federal agency is required to develop NEPA procedures that supplement the CEQ Regulations. Developed in consultation with CEQ, Federal agency NEPA procedures must meet the standards in the CEQ...
Evaluation of Revised Computer-Based Procedure System Prototype
The nuclear power industry is very procedure driven, i.e. almost all activities that take place at a nuclear power plant are conducted by following procedures. The paper-based procedures (PBPs) currently used by the industry do a good job at keeping the industry safe. However, these procedures are most often paired with methods and tools put in place to anticipate, prevent, and catch errors related to hands-on work. These tools are commonly called human performance tools. The drawback with the current implementation of these tools is that the task of performing one procedure becomes time and labor intensive. For example, concurrent and independent verification of procedure steps are required at times, which essentially means that at least two people have to be actively involved in the task. Even though the current use of PBPs and human performance tools are keeping the industry safe, there is room for improvement. The industry could potentially increase their efficiency and safety by replacing their existing PBPs with CBPs. If implemented correctly, the CBP system could reduce the time and focus spent on using the human performance tools. Some of the tools can be completely incorporated in the CBP system in a manner that the performer does not think about the fact that these tools are being used. Examples of these tools are procedure use and adherence, placekeeping, and peer checks. Other tools can be partly integrated in a fashion that reduce the time and labor they require, such as concurrent and independent verification. The incorporation of advanced technology, such as CBP systems, may help to manage the effects of aging systems, structures, and components. The introduction of advanced technology may also make the existing LWR fleet more attractive to the future workforce, which will be of importance when the future workforce will chose between existing fleet and the newly built nuclear power plants.
Katya Le Blanc; Johanna Oxstrand; Cheradan Fikstad
EM Policies and Procedures
Environmental Management (EM) Desktop References This page offers Environmental Management (EM) operating policies, procedures, standards, workaids, organizational charts, and...
Event:Technical Workshop: Measurement, Reporting and Verification...
Technical Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation Jump to: navigation, search Calendar.png Technical Workshop: Measurement,...
Measurement and Verification of Low Income Energy Efficiency...
and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Measurement and...
Volunteer to conduct free verifications for K-12 schools and...
Volunteer to conduct free verifications for K-12 schools and worship facilities Secondary menu join us About us Press room Contact Us Portfolio Manager Login Facility owners and...
Review of the Implementation Verification Rev iew Processes at...
Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities May 2011 September 2011 Office of Safety and Emergency Management...
Example Measurement & Verification Plan for a Super ESPC Project
Report features a comprehensive measurement and verification (M&V) plan for a fictitious super energy savings performance contract (ESPC) project.
Evaluation, Measurement, and Verification (EM&V) of Residential...
Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Programs: Issues and Recommendations Title Evaluation, Measurement, and...
Review of the Pantex Plant Implementation Verification Review...
of the Pantex Plant Implementation Verification Review Processes February 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of...
A golden anniversary for space-based treaty verification
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...
Measurement and Verification of Low Income Energy Efficiency Programs in
Measurement and Verification of Low Income Energy Efficiency Programs in Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Focus Area: Energy Efficiency Topics: Socio-Economic Website: www.eceee.org/conference_proceedings/eceee/2009/Panel_3/3.049/ Equivalent URI: cleanenergysolutions.org/content/measurement-and-verification-low-inco Language: English Policies: "Regulations,Financial Incentives" is not in the list of possible values (Deployment Programs, Financial Incentives, Regulations) for this property. Regulations: Feebates This report presents results from Brazilian electric utilities evaluation
Green Lease Policies and Procedures for Lease Acquisition | Department...
Centers Field Sites Power Marketing Administration Other Agencies You are here Home Green Lease Policies and Procedures for Lease Acquisition Green Lease Policies and...
Appendix: Conjectures concerning proof, design, and verification.
This article focuses on an esoteric but practical use of automated reasoning that may indeed be new to many, especially those concerned primarily with verification of both hardware and software. Specifically, featured are a discussion and some methodology for taking an existing design -- of a circuit, a chip, a program, or the like--and refining and improving it in various ways. Although the methodology is general and does not require the use of a specific program, McCune's program OTTER does offer what is needed. OTTER has played and continues to play the key role in my research, and an interested person can gain access to this program in various ways, not the least of which is through the included CD-ROM in [3]. When success occurs, the result is a new design that may require fewer components, avoid the use of certain costly components, offer more reliability and ease of verification, and, perhaps most important, be more efficient in the contexts of speed and heat generation. Although the author has minimal experience in circuit design, circuit validation, program synthesis, program verification, and similar concerns, (at the encouragement of colleagues based on successes to be cited) he presents materials that might indeed be of substantial interest to manufacturers and programmers. He writes this article in part prompted by the recent activities of chip designers that include Intel and AMD, activities heavily emphasizing the proving of theorems. As for his research that appears to the author to be relevant, he has made an intense and most profitable study of finding proofs that are shorter [2,3], some that avoid the use of various types of term, some that are far less complex than previously known, and the like. Those results suggest to me a strong possible connection between more appealing proofs (in mathematics and in logic) and enhanced and improved design of both hardware and software. Here the author explores diverse conjectures that elucidate some of the possibly fruitful connections.
Wos, L.
Towards the compositional verification of real-time UML designs
Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem ... Keywords: embedded systems, object constraint language (OCL), pattern, real-time, unified modelling language (UML)
Holger Giese; Matthias Tichy; Sven Burmester; Wilhelm Sch�fer; Stephan Flake
Formal verification of compiler transformations on polychronous equations
In this paper, adopting the translation validation approach, we present a formal verification process to prove the correctness of compiler transformations on systems of polychronous equations. We encode the source programs and the transformations with ... Keywords: formal verification, multi-clocked synchronous programs, polychronous model, translation validation, validated compiler
Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Lo�c Besnard
Characteristic formulae for the verification of imperative programs
In previous work, we introduced an approach to program verification based on characteristic formulae. The approach consists of generating a higher-order logic formula from the source code of a program. This characteristic formula is constructed in such ... Keywords: characteristic formula, interactive verification, total correctness
Arthur Chargu�raud
Probabilistic Fusion of Sorted Score Sequences for Robust Speaker Verification
Probabilistic Fusion of Sorted Score Sequences for Robust Speaker Verification Ming-Cheung Cheung1 Engineering, Princeton University, USA Abstract. Fusion techniques have been widely used in multi-dependent fusion al- gorithm for speaker verification. The algorithm is data-dependent in that the fusion weights
Mak, Man-Wai
Modeling and Verification of Reactive Systems using Rebeca
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. ... Keywords: actor model, compositional verification, model checking, property preserving abstraction, reactive systems
Marjan Sirjani; Ali Movaghar; Amin Shali; Frank S. de Boer
Integrity verification of cloud-hosted data analytics computations
In this position paper, we present efficient and practical integrity verification techniques that check whether the untrusted cloud has returned correct result of outsourced data analytics computations. We consider the computation of summation form that ... Keywords: cloud analytics as a service, cloud computing, integrity verification, machine learning
Hui (Wendy) Wang
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. Unfortunately, it is nearly impossible to find representative ... Keywords: java, real-time, verification
Tomas Kalibera; Pavel Parizek; Ghaith Haddad; Gary T. Leavens; Jan Vitek
High-performance verification of large concurrent systems
High-performance verification of large concurrent systems Elbie taKrpska Ph.D. Thesis VU University Systems Ph.D. Thesis Elzbieta Krepska VU University Amsterdam, 2012 #12;This research was funded by the VU. #12;VRIJE UNIVERSITEIT TOWARDS BIG BIOLOGY: HIGH-PERFORMANCE VERIFICATION OF LARGE CONCURRENT SYSTEMS
Bal, Henri E.
Mismatch modeling and compensation for robust speaker verification
In this study, primary channel mismatch scenario between enrollment and test conditions in a speaker verification task are analyzed and modeled. A novel Gaussian mixture modeling with a universal background model (GMM-UBM) frame based compensation model ... Keywords: Eigenchannel, Factor analysis, Mismatch compensation, Speaker verification
Yun Lei; John H. L. Hansen
The Challenge for Arms Control Verification in the Post-New START World
Nuclear weapon arms control treaty verification is a key aspect of any agreement between signatories to establish that the terms and conditions spelled out in the treaty are being met. Historically, arms control negotiations have focused more on the rules and protocols for reducing the numbers of warheads and delivery systems - sometimes resorting to complex and arcane procedures for counting forces - in an attempt to address perceived or real imbalances in a nation's strategic posture that could lead to instability. Verification procedures are generally defined in arms control treaties and supporting documents and tend to focus on technical means and measures designed to ensure that a country is following the terms of the treaty and that it is not liable to engage in deception or outright cheating in an attempt to circumvent the spirit and the letter of the agreement. As the Obama Administration implements the articles, terms, and conditions of the recently ratified and entered-into-force New START treaty, there are already efforts within and outside of government to move well below the specified New START levels of 1550 warheads, 700 deployed strategic delivery vehicles, and 800 deployed and nondeployed strategic launchers (Inter-Continental Ballistic Missile (ICBM) silos, Submarine-Launched Ballistic Missile (SLBM) tubes on submarines, and bombers). A number of articles and opinion pieces have appeared that advocate for significantly deeper cuts in the U.S. nuclear stockpile, with some suggesting that unilateral reductions on the part of the U.S. would help coax Russia and others to follow our lead. Papers and studies prepared for the U.S. Department of Defense and at the U.S. Air War College have also been published, suggesting that nuclear forces totaling no more than about 300 warheads would be sufficient to meet U.S. national security and deterrence needs. (Davis 2011, Schaub and Forsyth 2010) Recent articles by James M. Acton and others suggest that the prospects for maintaining U.S. security and minimizing the chances of nuclear war, while deliberately reducing stockpiles to a few hundred weapons, is possible but not without risk. While the question of the appropriate level of cuts to U.S. nuclear forces is being actively debated, a key issue continues to be whether verification procedures are strong enough to ensure that both the U.S. and Russia are fulfilling their obligations under the current New Start treaty and any future arms reduction treaties. A recent opinion piece by Henry Kissinger and Brent Scowcroft (2012) raised a number of issues with respect to governing a policy to enhance strategic stability, including: in deciding on force levels and lower numbers, verification is crucial. Particularly important is a determination of what level of uncertainty threatens the calculation of stability. At present, that level is well within the capabilities of the existing verification systems. We must be certain that projected levels maintain - and when possible, reinforce - that confidence. The strengths and weaknesses of the New START verification regime should inform and give rise to stronger regimes for future arms control agreements. These future arms control agreements will likely need to include other nuclear weapons states and so any verification regime will need to be acceptable to all parties. Currently, China is considered the most challenging party to include in any future arms control agreement and China's willingness to enter into verification regimes such as those implemented in New START may only be possible when it feels it has reached nuclear parity with the U.S. and Russia. Similarly, in keeping with its goals of reaching peer status with the U.S. and Russia, Frieman (2004) suggests that China would be more willing to accept internationally accepted and applied verification regimes rather than bilateral ones. The current verification protocols specified in the New START treaty are considered as the baseline case and are contrasted with possible alternative verification protocols that could be e
Wuest, C R
Surveillance Guide - OPS 9.10 Independent Verification
INDEPENDENT VERIFICATION INDEPENDENT VERIFICATION 1.0 Objective The objective of this surveillance is to evaluate the conduct of selected independent verification activities. This surveillance provides a basis for evaluating the effectiveness of the contractor's independent verifications programs and for establishing compliance with DOE requirements. 2.0 References 2.1 DOE 5480.19, Conduct of Operations Requirements for DOE Facilities 2.2 DOE-STD-1036-93, Guide to Good Practices for Independent Verification 3.0 Requirements Implemented This surveillance is conducted to implement requirements of the Functions, Responsibilities and Authorities Manual, Section 20, Operations, FRAM #s 4253, 4258, and 4261. These requirements are drawn from DOE 5480.19.
Verification and validation for induction heating
Truchas is a software package being developed at LANL within the Telluride project for predicting the complex physical processes in metal alloy casting. The software was designed to be massively parallel, multi-material, multi-physics, and to run on 3D, fully unstructured meshes. This work describes a Verification and Validation assessment of Truchas for simulating the induction heating phase of a casting process. We used existing data from a simple experiment involving the induction heating of a graphite cylinder, as graphite is a common material used for mold assemblies. Because we do not have complete knowledge of all the conditions and properties in this experiment (as is the case in many other experiments), we performed a parameter sensitivity study, modeled the uncertainties of the most sensitive parameters, and quantified how these uncertainties propagate to the Truchas output response. A verification analysis produced estimates of the numerical error of the Truchas solution to our computational model. The outputs from Truchas runs with randomly sampled parameter values were used for the validation study.
Lam, Kin [Los Alamos National Laboratory; Tippetts, Trevor B [Los Alamos National Laboratory; Allen, David W [NON LANL
A critical aspect of international safeguards activities performed by the International Atomic Energy Agency (IAEA) is the verification that facility design and construction (including upgrades and modifications) do not create opportunities for nuclear proliferation. These Design Information Verification activities require that IAEA inspectors compare current and past information about the facility to verify the operator�s declaration of proper use. The actual practice of DIV presents challenges to the inspectors due to the large amount of data generated, concerns about sensitive or proprietary data, the overall complexity of the facility, and the effort required to extract just the safeguards relevant information. Planned and anticipated facilities will (especially in the case of reprocessing plants) be ever larger and increasingly complex, thus exacerbating the challenges. This paper reports the results of a workshop held at the Idaho National Laboratory in March 2009, which considered technologies and methods to address these challenges. The use of 3D Laser Range Finding, Outdoor Visualization System, Gamma-LIDAR, and virtual facility modeling, as well as methods to handle the facility data issues (quantity, sensitivity, and accessibility and portability for the inspector) were presented. The workshop attendees drew conclusions about the use of these techniques with respect to successfully employing them in an operating environment, using a Fuel Conditioning Facility walk-through as a baseline for discussion.
Robert S. Bean; Richard R. M. Metcalf; Phillip C. Durst
The Analytical Development (AD) Section field nuclear measurement group performed six 'best available technique' verification measurements to satisfy a DOE requirement instituted for the March 2009 semi-annual inventory. The requirement of (1) yielded the need for SRNL Research Operations Department Material Control & Accountability (MC&A) group to measure the Pu content of five items and the highly enrich uranium (HEU) content of two. No 14Q-qualified measurement equipment was available to satisfy the requirement. The AD field nuclear group has routinely performed the required Confirmatory Measurements for the semi-annual inventories for fifteen years using sodium iodide and high purity germanium (HpGe) {gamma}-ray pulse height analysis nondestructive assay (NDA) instruments. With appropriate {gamma}-ray acquisition modeling, the HpGe spectrometers can be used to perform verification-type quantitative assay for Pu-isotopics and HEU content. The AD nuclear NDA group is widely experienced with this type of measurement and reports content for these species in requested process control, MC&A booking, and holdup measurements assays Site-wide. However none of the AD HpGe {gamma}-ray spectrometers have been 14Q-qualified, and the requirement of reference 1 specifically excluded a {gamma}-ray PHA measurement from those it would accept for the required verification measurements. The requirement of reference 1 was a new requirement for which the Savannah River National Laboratory (SRNL) Research Operations Department (ROD) MC&A group was unprepared. The criteria for exemption from verification were: (1) isotope content below 50 grams; (2) intrinsically tamper indicating or TID sealed items which contain a Category IV quantity of material; (3) assembled components; and (4) laboratory samples. Therefore all (SRNL) Material Balance Area (MBA) items with greater than 50 grams total Pu or greater than 50 grams HEU were subject to a verification measurement. The pass/fail criteria of reference 7 stated 'The facility will report measured values, book values, and statistical control limits for the selected items to DOE SR...', and 'The site/facility operator must develop, document, and maintain measurement methods for all nuclear material on inventory'. These new requirements exceeded SRNL's experience with prior semi-annual inventory expectations, but allowed the AD nuclear field measurement group to demonstrate its excellent adaptability and superior flexibility to respond to unpredicted expectations from the DOE customer. The requirements yielded five SRNL items subject to Pu verification and two SRNL items subject to HEU verification. These items are listed and described in Table 1.
Dewberry, R.; Ayers, J.; Tietze, F.; Klapper, K.
Investigating Correlated Neutrons from Pulsed Photonuclear Interrogation for Treaty Verification Applications
The treaty verification field is of renewed importance as continued nuclear weapons disarmament is prioritized nationally in partnership with other nuclear weapons states. This interest has led to research and development on technologies that could support future U.S. verification missions. A technology employing pulses of high-energy photons from an electron linear accelerator is one technique under consideration. High-energy photons are advantageous as an interrogation source because they penetrate thick shielding and can generate neutrons inside a measurement object. The neutrons would then multiply when presented with an object containing fissile material and allow for detection in a time domain immediately after the pulse. The purpose of this work was to develop an understanding of neutron behavior following a high-energy photon pulse and then develop a tool set to analyze data from this region to determine if a measurement object contains multiplying material, the mass of that material if present, and the moderation in the measurement object. Results indicate the tool sets developed were able to determine multiplication was present accurately in 3 out of 4 realistic verification objects. Additionally the state of the moderation in each object was able to be determined, and the mass could potentially be determined by calibrating to representative samples.
Stewart, Scott
Interim report on verification and benchmark testing of the NUFT computer code
This interim report presents results of work completed in the ongoing verification and benchmark testing of the NUFT (Nonisothermal Unsaturated-saturated Flow and Transport) computer code. NUFT is a suite of multiphase, multicomponent models for numerical solution of thermal and isothermal flow and transport in porous media, with application to subsurface contaminant transport problems. The code simulates the coupled transport of heat, fluids, and chemical components, including volatile organic compounds. Grid systems may be cartesian or cylindrical, with one-, two-, or fully three-dimensional configurations possible. In this initial phase of testing, the NUFT code was used to solve seven one-dimensional unsaturated flow and heat transfer problems. Three verification and four benchmarking problems were solved. In the verification testing, excellent agreement was observed between NUFT results and the analytical or quasianalytical solutions. In the benchmark testing, results of code intercomparison were very satisfactory. From these testing results, it is concluded that the NUFT code is ready for application to field and laboratory problems similar to those addressed here. Multidimensional problems, including those dealing with chemical transport, will be addressed in a subsequent report.
Lee, K.H.; Nitao, J.J. [Lawrence Livermore National Lab., CA (United States); Kulshrestha, A. [Weiss Associates, Emeryville, CA (United States)
University of Waste Procedures
University of Maryland Hazardous And Regulated Waste Procedures Manual Revised July 2001 #12;Review II. HAZARDOUS WASTE MANAGEMENT III. BIOLOGICAL, PATHOLOGICAL AND MEDICAL WASTE (BPMW) MANAGEMENT IV. LOW-LEVEL RADIOACTIVE WASTE (LLRW) MANAGEMENT V. EMERGENCY PROCEDURES VI. WASTE MINIMIZATION VII
Rubloff, Gary W.
Acceptance test procedure: RMW Land Disposal Facility Project W-025
This ATP establishes field testing procedures to demonstrate that the electrical/instrumentation system functions as intended by design for the Radioactive Mixed Waste Land Disposal Facility. Procedures are outlined for the field testing of the following: electrical heat trace system; transducers and meter/controllers; pumps; leachate storage tank; and building power and lighting.
Roscha, V. [Westinghouse Hanford Co., Richland, WA (United States)
Supplement No. 2 to the FUSRAP Summary Protocol � Verification and Certification Protocol
Supplement No. 2 to the FUSRAP Summary Protocol � Verification and Certification Protocol (November 1985, Rev. 1)
A dynamic assertion-based verification platform for validation of UML designs
Capacity limitations continue to impede widespread adoption of formal property verification in the design validation ow of software and hardware systems. The more popular choice (at least in the hardware domain) has been dynamic property verification ... Keywords: UML, assertion checking, dynamic property verification, software verification
A. Banerjee; S. Ray; P. Dasgupta; P. P. Chakrabarti; S. Ramesh; P. Vignesh; V. Ganesan
BUSpec: A framework for generation of verification aids for standard bus protocol specifications
A typical verification intellectual property (VIP) of a bus protocol such as ARM advanced micro-controller bus architecture (AMBA) or PCI consists of a set of assertions and associated verification aids such as test-benches, design-ware models and coverage ... Keywords: Assertion-based verification, Bus functional models, Protocol validation, Verification intellectual property
Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti
Reviewing Measurement and Verification Plans for Federal ESPC Projects
Reviewing Measurement & Verification Plans Reviewing Measurement & Verification Plans for Federal ESPC Projects February 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at www.eere.energy.gov/femp/financing/ . [Headers and footers only revised 12/08] Reviewing M&V Plans Contents REVIEWING MEASUREMENT AND VERIFICATION PLANS FOR FEDERAL ESPC PROJECTS ............................................................................................................ 1 STEP 1 - PREPARE CUSTOM REPORT AND CHECKLIST FROM TEMPLATE .......................... 1
Status Report on REC Verification, Tracking and Associated Issues
REC REC Verification, Tracking Systems and Associated Issues DOE Workshop on REC Markets and Challenges September 11, 2007 Meredith Wingate Director of Clean Energy Policy Design and Implementation Center for Resource Solutions Main Points * Think National - Verification issues are getting more complicated with the intersection of RECs and emissions markets - Market needs more rigorous verification * More coordination is needed Role of Tracking Systems * Primary tool for implementing state RPS programs * Produce data for environmental disclosure programs * Facilitate REC transactions Certificate-based Tracking Programs * ERCOT RECs Program (2001) * NEPOOL GIS (2002) * WI RRC Program (2003-2007) * PJM GATS (2005) * NJ SRECS (2005) * WREGIS (2007) * M-RETS (2007) * New York State (2008?)
The Role of science in treaty verification
Technologically advanced nations are currently applying more science to treaty verification than ever before. Satellites gather a multitude of information relating to proliferation concerns using thermal imaging analysis, nuclear radiation measurements, and optical and radio frequency signals detection. Ground stations gather complementary signals such as seismic events and radioactive emissions. Export controls in many countries attempt to intercept materials and technical means that could be used for nuclear proliferation. Never the less, we have witnessed a plethora of nuclear proliferation episodes, that were undetected (or were belatedly detected) by these technologies - the Indian nuclear tests in 1998, the Libyan nuclear buildup, the Iranian enrichment program and the North Korea nuclear weapons program are some prime examples. In this talk we will discuss some of the technologies used for proliferation detection. In particular, we will note some of the issues relating to nuclear materials control agreements that epitomize political difficulties as they impact the implementation of science and technology.
Gavron, A. I. (Avigdor I.)
Verification Checklist Home Address: City: State: Zip:
Indoor airPLUS Version 1 (Rev. 01) Verification Checklist Home Address: City: State: Zip: Section Requirements (Refer to full Indoor airPLUS Construction Specifications for details) Must Correct Builder Verified Rater Verified N/A Note: The Rev. 01 checklist has been modified to reflect only the additional Indoor airPLUS requirements and their corresponding section numbers that must be met after completing the ENERGY STAR checklists. ENERGY STAR remains a prerequisite for Indoor airPLUS certification. ENERGY STAR V3 Checklists Thermal Enclosure System Rater Checklist completed. o o Water Management System Builder Checklist completed. o o HVAC System Quality Installation Contractor Checklist completed. o o HVAC System Quality Installation Rater Checklist completed. o o
Analog Video Authentication and Seal Verification Equipment Development
Under contract to the US Department of Energy in support of arms control treaty verification activities, the Savannah River National Laboratory in conjunction with the Pacific Northwest National Laboratory, the Idaho National Laboratory and Milagro Consulting, LLC developed equipment for use within a chain of custody regime. This paper discussed two specific devices, the Authentication Through the Lens (ATL) analog video authentication system and a photographic multi-seal reader. Both of these devices have been demonstrated in a field trial, and the experience gained throughout will also be discussed. Typically, cryptographic methods are used to prove the authenticity of digital images and video used in arms control chain of custody applications. However, in some applications analog cameras are used. Since cryptographic authentication methods will not work on analog video streams, a simple method of authenticating analog video was developed and tested. A photographic multi-seal reader was developed to image different types of visual unique identifiers for use in chain of custody and authentication activities. This seal reader is unique in its ability to image various types of seals including the Cobra Seal, Reflective Particle Tags, and adhesive seals. Flicker comparison is used to compare before and after images collected with the seal reader in order to detect tampering and verify the integrity of the seal.
Gregory Lancaster
Enrichment Assay Methods for a UF6 Cylinder Verification Station
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 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.
NSLS Services | Shipping Procedures
NSLS Shipping Procedures For shipments arriving at the NSLS from other locations, please ship via Federal Express. If this is not possible, or if you have any questions, please...
Current Test Procedure Waivers
The U.S. Department of Energy's (DOE) regulations for covered products permit a person to seek a waiver, or an interim waiver, from the test procedure requirements for covered appliances and...
PROCEDURE FOR PREPARING PROCEDURE FOR PREPARING RECORDS INVENTORY AND DISPOSITION SCHEDULES (RIDS) Revision 1 November 1, 2007 Records Management Division, IM-23 PROCEDURE FOR PREPARING RECORDS INVENTORY AND DISPOSITION SCHEDULES (RIDS) 1. If the records have not yet been inventoried, see "Procedure for Conducting a Records Inventory." An inventory must be completed prior to preparing the RIDS. 2. The Records Inventory and Disposition Schedules (RIDS) should be reviewed and updated at least annually on DOE F 1324.10 and DOE F 1324.9. The RIDS covers all record, administrative and programmatic, as well as non- record material. The RIDS must include: a. Complete and detailed information identifying the organization (s) responsible for the records.
NFRC Procedures for Laminates
Laminates Laminates Last update: 12/10/2013 07:29 PM NFRC now has a procedure for making laminates in Optics5 and importing those laminate constructions into WINDOW5 to be used in a whole product calculation. The information presented below is provided to help simulators with this process. Feel free to contact us at firstname.lastname@example.com with questions or comments. NFRC Laminate Procedure Laminate Procedures (approved by NFRC) (PDF file) Approved Interlayer List (IGDB 33.0) (PDF file) NFRC Laminate Procedure Training Powerpoint with Examples (This Powerpoint presentation was used in the NFRC web based training sessions in December 2006 and January 2007) PowerPoint Presentation (PPT file) PowerPoint Presentation (PDF file) Help and Troubleshooting Error Messages The table below contains common warnings and error messages that may appear in Optics5 when calculating a laminate. Some of the messages can be ignored, and some are significant, which is indicated in the table.
Operating Procedures Guideline
The intention of this report is to provide guidance for generating stations� management and personnel striving for successful methods of developing effective operating procedures. Standard operating procedure management is used in most businesses and industries to assist in the safe and efficient operation of those companies. Effectively managing the program is essential in order to comply with mandatory regulations, maintain the highest possible level of plant integrity, minimize human ...
A Generic Forecast Verification Framework for Administrative Purposes
There are numerous reasons for calculating forecast verification scores, and considerable attention has been given to designing and analyzing the properties of scores that can be used for scientific purposes. Much less attention has been given to ...
Simon J. Mason; Andreas P. Weigel
Skill Scores and Correlation Coefficients in Model Verification
Attributes of the anomaly correlation coefficient, as a model verification measure, are investigated by exploiting a recently developed method of decomposing skill scores into other measures of performance. A mean square error skill score based ...
Allan H. Murphy; Edward S. Epstein
Event Order Abstraction for Parametric Real-Time System Verification
We present a new abstraction technique, event order abstraction (EOA), for parametric safety verification of real-time systems in which ``correct orderings of events'' needed for system correctness are maintained by timing ...
Umeno, Shinya
Induction-based gate-level verification of multipliers
We propose a method based on unrolling the inductive definition of binary number multiplication to verify gate-level implementations of multipliers. The induction steps successively reduce the size of the multiplier under verification. Through induction, ...
Ying Tsai Chang; Kwang Ting Tim Cheng
Speaker verification in noisy environment using missing feature approach
In order to handle speech signals corrupted by noise in speaker verification and provide robustness to systems, this paper evaluates the use of missing feature (MF) approach with a novel combination of techniques. A mask estimation based on spectral ...
Dayana Ribas; Jes�s A. Villalba; Eduardo Lleida; Jos� R. Calvo
Distributions-Oriented Verification of Ensemble Streamflow Predictions
Ensemble streamflow prediction systems produce forecasts in the form of a conditional probability distribution for a continuous forecast variable. A distributions-oriented approach is presented for verification of these probability distribution ...
A. Allen Bradley; Stuart S. Schwartz; Tempei Hashino
Verification of the Origins of Rotation in Tornadoes Experiment: VORTEX
This paper describes the Verification of the Origins of Rotation in Tornadoes Experiment planned for 1994 and 1995 to evaluate a set of hypotheses pertaining to tornadogenesis and tornado dynamics. Observations of state variables will be obtained ...
Erik N. Rasmussen; Jerry M. Straka; Robert Davies-Jones; Charles A. Doswell III; Frederick H. Carr; Michael D. Eilts; Donald R. MacGorman
Explicitly Accounting for Observation Error in Categorical Verification of Forecasts
Given an accurate representation of errors in observations it is possible to remove the effect of those errors from categorical verification scores. The errors in the observations are treated as additive white noise that is statistically ...
Neill E. Bowler
Summary Verification Measures and Their Interpretation for Ensemble Forecasts
Ensemble prediction systems produce forecasts that represent the probability distribution of a continuous forecast variable. Most often, the verification problem is simplified by transforming the ensemble forecast into probability forecasts for ...
A. Allen Bradley; Stuart S. Schwartz
Neighborhood Verification: A Strategy for Rewarding Close Forecasts
High-resolution forecasts may be quite useful even when they do not match the observations exactly. Neighborhood verification is a strategy for evaluating the �closeness� of the forecast to the observations within space�time neighborhoods rather ...
Elizabeth E. Ebert
Scenario based performance optimisation in face verification using smart cards
We discuss the effect of an optimisation strategy to be applied to image data in a smart card based face verification system. Accordingly, we propose a system architecture considering the trade-off between performance versus the improvement of memory ...
Thirimachos Bourlai; Kieron Messer; Josef Kittler
Clock independent timing verification of level-sensitive latches
This paper presents a method to automatically handle level-sensitive latches in timing analysis/verification. Timing specifications, including delays and timing constraints, are automatically generated for the cells in the design. The generated timing ...
Robert Tj�rnstr�m
A Simplification of a Real-Time Verification Problem
We revisit the problem of real-time verification with dense dynamics using timeout and calendar based models and simplify this to a finite state verification problem. To overcome the complexity of verification of real-time systems with dense dynamics, Dutertre and Sorea, proposed timeout and calender based transition systems to model the behavior of real-time systems and verified safety properties using k-induction in association with bounded model checking. In this work, we introduce a specification formalism for these models in terms of Timeout Transition Diagrams and capture their behavior in terms of semantics of Timed Transition Systems. Further, we discuss a technique, which reduces the problem of verification of qualitative temporal properties on infinite state space of (a large fragment of) these timeout and calender based transition systems into that on clockless finite state models through a two-step process comprising of digitization and canonical finitary reduction. This technique enables us to ve...
Saha, Indranil; Roy, Suman; 10.1007/978-3-540-75596-8_21
A lightweight specification language for bounded program verification
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool ...
Yessenov, Kuat T
V-073: IBM Tivoli Federated Identity Manager Signature Verification Flaw
3: IBM Tivoli Federated Identity Manager Signature Verification 3: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes V-073: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes January 21, 2013 - 12:15am Addthis PROBLEM: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes PLATFORM: Tivoli Federated Identity Manager versions 6.2.0, 6.2.1, 6.2.2 ABSTRACT: A vulnerability was reported in IBM Tivoli Federated Identity Manager. REFERENCE LINKS: IBM Security Bulletin: 1615744 SecurityTracker Alert ID: 1028011 CVE-2012-6359 IMPACT ASSESSMENT: Medium DISCUSSION: The system does not check that all attributes have been signed. A remote user with the ability to conduct a man-in-the-middle attack can modify
Measurement & Verification with Green Button Data | Department of Energy
Measurement & Verification with Green Button Data Measurement & Verification with Green Button Data Measurement & Verification with Green Button Data April 13, 2012 - 4:15pm Addthis Shankar Earni Program Manager at Lawrence Berkeley National Laboratory Measurement and verification (M&V) focuses on ensuring that the savings from energy efficiency projects are being realized with a certain degree of confidence. M&V involves understanding how energy savings arebeing realized from a project; designing a cost-effective assessment strategy that addresses how to ensure the savings can be measured; and implementing the designed strategy by gathering the key data followed by analysis and reporting of the actual savings. In some cases, data from the Green Button program can be used to assess the energy savings from new efficiency
Spent Nuclear Fuel (SNF) Project Design Verification and Validation Process
This document provides a description of design verification and validation activities implemented by the Spent Nuclear Fuel (SNF) Project. During the execution of early design verification, a management assessment (Bergman, 1999) and external assessments on configuration management (Augustenburg, 1999) and testing (Loscoe, 2000) were conducted and identified potential uncertainties in the verification process. This led the SNF Chief Engineer to implement corrective actions to improve process and design products. This included Design Verification Reports (DVRs) for each subproject, validation assessments for testing, and verification of the safety function of systems and components identified in the Safety Equipment List to ensure that the design outputs were compliant with the SNF Technical Requirements. Although some activities are still in progress, the results of the DVR and associated validation assessments indicate that Project requirements for design verification are being effectively implemented. These results have been documented in subproject-specific technical documents (Table 2). Identified punch-list items are being dispositioned by the Project. As these remaining items are closed, the technical reports (Table 2) will be revised and reissued to document the results of this work.
Mobile Energy Laboratory Procedures
Pacific Northwest Laboratory (PNL) has been tasked to plan and implement a framework for measuring and analyzing the efficiency of on-site energy conversion, distribution, and end-use application on federal facilities as part of its overall technical support to the US Department of Energy (DOE) Federal Energy Management Program (FEMP). The Mobile Energy Laboratory (MEL) Procedures establish guidelines for specific activities performed by PNL staff. PNL provided sophisticated energy monitoring, auditing, and analysis equipment for on-site evaluation of energy use efficiency. Specially trained engineers and technicians were provided to conduct tests in a safe and efficient manner with the assistance of host facility staff and contractors. Reports were produced to describe test procedures, results, and suggested courses of action. These reports may be used to justify changes in operating procedures, maintenance efforts, system designs, or energy-using equipment. The MEL capabilities can subsequently be used to assess the results of energy conservation projects. These procedures recognize the need for centralized NM administration, test procedure development, operator training, and technical oversight. This need is evidenced by increasing requests fbr MEL use and the economies available by having trained, full-time MEL operators and near continuous MEL operation. DOE will assign new equipment and upgrade existing equipment as new capabilities are developed. The equipment and trained technicians will be made available to federal agencies that provide funding for the direct costs associated with MEL use.
Armstrong, P.R.; Batishko, C.R.; Dittmer, A.L.; Hadley, D.L.; Stoops, J.L.
Integrated safety management system verification: Volume 1
Department of Energy (DOE) Policy (P) 450.4, Safety Management System Policy, commits to institutionalizing an Integrated Safety Management System (ISMS) throughout the DOE complex. The DOE Acquisition Regulations (DEAR 48 CFR 970) requires contractors to manage and perform work in accordance with a documented Integrated Safety Management System. The Manager, Richland Operations Office (RL), initiated a combined Phase 1 and Phase 2 Integrated Safety Management Verification review to confirm that PNNL had successfully submitted a description of their ISMS and had implemented ISMS within the laboratory facilities and processes. A combined review was directed by the Manager, RL, based upon the progress PNNL had made in the implementation of ISM. This report documents the results of the review conducted to verify: (1) that the PNNL integrated safety management system description and enabling documents and processes conform to the guidance provided by the Manager, RL; (2) that corporate policy is implemented by line managers; (3) that PNNL has provided tailored direction to the facility management; and (4) the Manager, RL, has documented processes that integrate their safety activities and oversight with those of PNNL. The general conduct of the review was consistent with the direction provided by the Under Secretary`s Draft Safety Management System Review and Approval Protocol. The purpose of this review was to provide the Manager, RL, with a recommendation to the adequacy of the ISMS description of the Pacific Northwest Laboratory based upon compliance with the requirements of 49 CFR 970.5204(-2 and -78); and, to provide an evaluation of the extent and maturity of ISMS implementation within the Laboratory. Further, this review was intended to provide a model for other DOE Laboratories. In an effort to reduce the time and travel costs associated with ISM verification the team agreed to conduct preliminary training and orientation electronically and by phone. These activities are normally conducted during a pre-visit trip to the site. The Team recommends approval of the Integrated Safety Management System Description subject to the resolution of the Areas of Concerns noted here.
Christensen, R.F.
The Sub-project W379, ''Spent Nuclear Fuel Canister Storage Building (CSB),'' was established as part of the Spent Nuclear Fuel (SNF) Project. The primary mission of the CSB is to safely store spent nuclear fuel removed from the K Basins in dry storage until such time that it can be transferred to the national geological repository at Yucca Mountain Nevada. This sub-project was initiated in late 1994 by a series of studies and conceptual designs. These studies determined that the partially constructed storage building, originally built as part of the Hanford Waste Vitrification Plant (HWVP) Project, could be redesigned to safely store the spent nuclear fuel. The scope of the CSB facility initially included a receiving station, a hot conditioning system, a storage vault, and a Multi-Canister Overpack (MCO) Handling Machine (MHM). Because of evolution of the project technical strategy, the hot conditioning system was deleted from the scope and MCO welding and sampling stations were added in its place. This report outlines the methods, procedures, and outputs developed by Project W379 to verify that the provided Structures, Systems, and Components (SSCs): satisfy the design requirements and acceptance criteria; perform their intended function; ensure that failure modes and hazards have been addressed in the design; and ensure that the SSCs as installed will not adversely impact other SSCs. The original version of this document was prepared by Vista Engineering for the SNF Project. The purpose of this revision is to document completion of verification actions that were pending at the time the initial report was prepared. Verification activities for the installed and operational SSCs have been completed. Verification of future additions to the CSB related to the canister cover cap and welding fixture system and MCO Internal Gas Sampling equipment will be completed as appropriate for those components. The open items related to verification of those requirements are noted in section 3.1.5 and will be tracked as part of the CSB Facility action tracking system.
Radiation Emergency Procedure Demonstrations
Managing Radiation Emergencies Managing Radiation Emergencies Procedure Demonstrations Procedure Demonstrations Note: RealPlayer is needed for listening to the narration that accompany these demonstrations. Real Player Dressing To Prevent the Spread of Radioactive Contamination This demonstration shows how your team can dress to prevent the spread of radioactive contamination. Click to begin presentation on dressing to prevent the spread of radioactive contamination. Preparing The Area This demonstration shows basic steps you can take to gather equipment and prepare a room to receive a patient who may be contaminated with radioactive material. Click to begin presentation on preparing a room to receive a radioactive contaminated patient. Removing Contaminated Clothing This demonstration shows the procedure for removing clothing from a patient who may be contaminated with radioactive material.
Emergency Procedures | Department of Energy
Services Employee Services Safety and Health Emergency Procedures Emergency Procedures Note: This page is pending deletion, please refer to the Safety and health main page...
Verification and Validation of EnergyPlus Phase Change Material Model for Opaque Wall Assemblies
Phase change materials (PCMs) represent a technology that may reduce peak loads and HVAC energy consumption in buildings. A few building energy simulation programs have the capability to simulate PCMs, but their accuracy has not been completely tested. This study shows the procedure used to verify and validate the PCM model in EnergyPlus using a similar approach as dictated by ASHRAE Standard 140, which consists of analytical verification, comparative testing, and empirical validation. This process was valuable, as two bugs were identified and fixed in the PCM model, and version 7.1 of EnergyPlus will have a validated PCM model. Preliminary results using whole-building energy analysis show that careful analysis should be done when designing PCMs in homes, as their thermal performance depends on several variables such as PCM properties and location in the building envelope.
Tabares-Velasco, P. C.; Christensen, C.; Bianchi, M.
Battery Technology Life Verification Testing and Analysis
A critical component to the successful commercialization of batteries for automotive applications is accurate life prediction. The Technology Life Verification Test (TLVT) Manual was developed to project battery life with a high level of statistical confidence within only one or two years of accelerated aging. The validation effort that is presently underway has led to several improvements to the original methodology. For example, a newly developed reference performance test revealed a voltage path dependence effect on resistance for lithium-ion cells. The resistance growth seems to depend on how a target condition is reached (i.e., by a charge or a discharge). Second, the methodology for assessing the level of measurement uncertainty was improved using a propagation of errors in the fundamental measurements to the derived response (e.g., resistance). This new approach provides a more realistic assessment of measurement uncertainty. Third, the methodology for allocating batteries to the test matrix has been improved. The new methodology was developed to assign batteries to the matrix such that the average of each test group would be representative of the overall population. These changes to the TLVT methodology will help to more accurately predict a battery technology�s life capability with a high degree of confidence.
Jon P. Christophersen; Gary L. Hunt; Ira Bloom; Ed Thomas; Vince Battaglia
Integrated safety management system verification: Volume 2
Department of Energy (DOE) Policy (P) 450.4, Safety Management System Policy, commits to institutionalization of an Integrated Safety Management System (ISMS) throughout the DOE complex. The DOE Acquisition Regulations (DEAR, 48 CFR 970) requires contractors to manage and perform work in accordance with a documented Integrated Safety Management System (ISMS). Guidance and expectations have been provided to PNNL by incorporation into the operating contract (Contract DE-ACM-76FL0 1830) and by letter. The contract requires that the contractor submit a description of their ISMS for approval by DOE. PNNL submitted their proposed Safety Management System Description for approval on November 25,1997. RL tentatively approved acceptance of the description pursuant to a favorable recommendation from this review. The Integrated Safety Management System Verification is a review of the adequacy of the ISMS description in fulfilling the requirements of the DEAR and the DOE Policy. The purpose of this review is to provide the Richland Operations Office Manager with a recommendation for approval of the ISMS description of the Pacific Northwest Laboratory based upon compliance with the requirements of 49 CFR 970.5204(-2 and -78); and to verify the extent and maturity of ISMS implementation within the Laboratory. Further the review will provide a model for other DOE laboratories managed by the Office of Assistant Secretary for Energy Research.
Interim Letter Report - Verification Survey of Partial Grid E9, David Witherspoon, Inc. 1630 Site Knoxville, Tennessee
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
Supporting the President's Arms Control and Nonproliferation Agenda: Transparency and Verification for Nuclear Arms Reductions
The President's arms control and nonproliferation agenda is still evolving and the details of initiatives supporting it remain undefined. This means that DOE, NNSA, NA-20, NA-24 and the national laboratories can help define the agenda, and the policies and the initiatives to support it. This will require effective internal and interagency coordination. The arms control and nonproliferation agenda is broad and includes the path-breaking goal of creating conditions for the elimination of nuclear weapons. Responsibility for various elements of the agenda will be widely scattered across the interagency. Therefore an interagency mapping exercise should be performed to identify the key points of engagement within NNSA and other agencies for creating effective policy coordination mechanisms. These can include informal networks, working groups, coordinating committees, interagency task forces, etc. It will be important for NA-20 and NA-24 to get a seat at the table and a functional role in many of these coordinating bodies. The arms control and nonproliferation agenda comprises both mature and developing policy initiatives. The more mature elements such as CTBT ratification and a follow-on strategic nuclear arms treaty with Russia have defined milestones. However, recent press reports indicate that even the START follow-on strategic arms pact that is planned to be complete by the end of 2009 may take significantly longer and be more expansive in scope. The Russians called for proposals to count non-deployed as well as deployed warheads. Other elements of the agenda such as FMCT, future bilateral nuclear arms reductions following a START follow-on treaty, nuclear posture changes, preparations for an international nuclear security summit, strengthened international safeguards and multilateral verification are in much earlier stages of development. For this reason any survey of arms control capabilities within the USG should be structured to address potential needs across the near-term (1-4) years and longer-term (5-10) years planning horizons. Some final observations include acknowledging the enduring nature of several key objectives on the Obama Administration's arms control and nonproliferation agenda. The CTBT, FMCT, bilateral nuclear arms reductions and strengthening the NPT have been sought by successive U.S. Administrations for nearly thirty years. Efforts towards negotiated arms control, although de-emphasized by the G.W. Bush Administration, have remained a pillar of U.S. national security strategy for decades and are likely to be of enduring if not increasing importance for decades to come. Therefore revitalization and expansion of USG capabilities in this area can be a positive legacy no matter what near-term arms control goals are achieved over the next four years. This is why it is important to reconstruct integrated bureaucratic, legislative, budgetary and diplomatic strategies to sustain the arms control and nonproliferation agenda. In this endeavor some past lessons must be taken to heart to avoid bureaucratic overkill and keep interagency policy-making and implementation structures lean and effective. On the Technical side a serious, sustained multilateral program to develop, down select and performance test nuclear weapons dismantlement verification technologies and procedures should be immediately initiated. In order to make this happen the United States and Russia should join with the UK and other interested states in creating a sustained, full-scale research and development program for verification at their respective nuc1ear weapons and defense establishments. The goals include development of effective technologies and procedures for: (1) Attribute measurement systems to certify nuclear warheads and military fissile materials; (2) Chain-of-custody methods to track items after they are authenticated and enter accountability; (3) Transportation monitoring; (4) Storage monitoring; (5) Fissile materials conversion verification. The remainder of this paper focuses on transparency and verification for nuclear arms a
Doyle, James E [Los Alamos National Laboratory; Meek, Elizabeth [Los Alamos National Laboratory
Precipitator Performance Estimation Procedure
Increased availability of data to use with an existing computer model makes it possible for utilities to calculate electrostatic precipitator performance without access to industry databases. This report examines the accuracy of the model and develops procedures to make it a more useful tool for troubleshooting precipitator performance and for selecting the size of a new unit.
MIT validation probe acceptance test procedure
As part of the Multi-Functional Instrument Trees (MITs) a Validation Probe is being fabricated by Los Alamos National Laboratories (LANL). The Validation Probe assembly is equipped with a Winch, depth counter, and a Resistance Temperature Detector (RTD) which will render a means for verifying the temperature readings of which will render a means for verifying the temperature readings of the MIT thermocouples. The purpose of this Acceptance Test Procedure (ATP) is to provide verification that the Validation Probe functions properly and accordingly to LANL design and specification. This ATP will be used for all Validation Probes procured from LANL. The ATP consists of a receiving inspection, RTD ambient temperature; RTD electrical failure, RTD insulation resistance, and accurate depth counter operation inspections. The Validation Probe is composed of an intank probe, a cable and winching system, and a riser extension (probe guide) which bolts onto the MIT. The validation`s thermal sensor is an RTD that is housed in a 0.062 inch diameter, magnesium oxide fill, 316 stainless steel tube. The sheath configuration provides a means for spring loading the sensor firmly against the validation tube`s inner wall. A 45 pound cylindrical body is connected above the sheath and is used as a force to lower the probe into the tank. This cylindrical body also provides the means to interconnect both electrically and mechanically to the winch system which lowers the probe to a specified location within the validation tube located in the tank.
Escamilla, S.A.
Verification Test Suite (VERTS) For Rail Gun Applications using ALE3D: 2-D Hydrodynamics & Thermal Cases
A verification test suite has been assessed with primary focus on low reynolds number flow of liquid metals. This is representative of the interface between the armature and rail in gun applications. The computational multiphysics framework, ALE3D, is used. The main objective of the current study is to provide guidance and gain confidence in the results obtained with ALE3D. A verification test suite based on 2-D cases is proposed and includes the lid-driven cavity and the Couette flow are investigated. The hydro and thermal fields are assumed to be steady and laminar in nature. Results are compared with analytical solutions and previously published data. Mesh resolution studies are performed along with various models for the equation of state.
Najjar, F M; Solberg, J; White, D
CMS System Security Plan Procedure
... TASK 5: SYSTEM DECOMMISSION. ... BPSSM Business Partners Systems Security Manual. ... of Information Technology, Policy, Procedures, & Audits. ...
Hybrid Enrichment Assay Methods for a UF6 Cylinder Verification Station: FY10 Progress Report
Pacific Northwest National Laboratory (PNNL) is developing the concept of an automated UF6 cylinder verification station that would be located at key measurement points to positively identify each cylinder, measure its mass and enrichment, store the collected data in a secure database, and maintain continuity of knowledge on measured cylinders until the arrival of International Atomic Energy Agency (IAEA) inspectors. At the center of this unattended system is a hybrid enrichment assay technique that combines the traditional enrichment-meter method (based on the 186 keV peak from 235U) with non-traditional neutron-induced high-energy gamma-ray signatures (spawned primarily by 234U alpha emissions and 19F(alpha, neutron) reactions). Previous work by PNNL provided proof-of-principle for the non-traditional signatures to support accurate, full-volume interrogation of the cylinder enrichment, thereby reducing the systematic uncertainties in enrichment assay due to UF6 heterogeneity and providing greater sensitivity to material substitution scenarios. The work described here builds on that preliminary evaluation of the non-traditional signatures, but focuses on a prototype field system utilizing NaI(Tl) and LaBr3(Ce) spectrometers, and enrichment analysis algorithms that integrate the traditional and non-traditional signatures. Results for the assay of Type-30B cylinders ranging from 0.2 to 4.95 wt% 235U, at an AREVA fuel fabrication plant in Richland, WA, are described for the following enrichment analysis methods: 1) traditional enrichment meter signature (186 keV peak) as calculated using a square-wave convolute (SWC) algorithm; 2) non-traditional high-energy gamma-ray signature that provides neutron detection without neutron detectors and 3) hybrid algorithm that merges the traditional and non-traditional signatures. Uncertainties for each method, relative to the declared enrichment for each cylinder, are calculated and compared to the uncertainties from an attended HPGe verification station at AREVA, and the IAEA�s uncertainty target values for feed, tail and product cylinders. A summary of the major findings from the field measurements and subsequent analysis follows: � Traditional enrichment-meter assay using specially collimated NaI spectrometers and a Square-Wave-Convolute algorithm can achieve uncertainties comparable to HPGe and LaBr for product, natural and depleted cylinders. � Non-traditional signatures measured using NaI spectrometers enable interrogation of the entire cylinder volume and accurate measurement of absolute 235U mass in product, natural and depleted cylinders. � A hybrid enrichment assay method can achieve lower uncertainties than either the traditional or non-traditional methods acting independently because there is a low degree of correlation in the systematic errors of the two individual methods (wall thickness variation and 234U/235U variation, respectively). This work has indicated that the hybrid NDA method has the potential to serve as the foundation for an unattended cylinder verification station. When compared to today�s handheld cylinder-verification approach, such a station would have the following advantages: 1) improved enrichment assay accuracy for product, tail and feed cylinders; 2) full-volume assay of absolute 235U mass; 3) assay of minor isotopes (234U and 232U) important to verification of feedstock origin; single instrumentation design for both Type 30B and Type 48 cylinders; and 4) substantial reduction in the inspector manpower associated with cylinder verification.
Smith, Leon E.; Jordan, David V.; Orton, Christopher R.; Misner, Alex C.; Mace, Emily K.
SANS Training Voucher Program Registration Procedures | Department...
SANS Training Voucher Program Registration Procedures SANS Training Voucher Program Registration Procedures SANS Training Voucher Program Registration Procedures For Federal...
Systematic approach to verification and validation: High explosive burn models
Most material models used in numerical simulations are based on heuristics and empirically calibrated to experimental data. For a specific model, key questions are determining its domain of applicability and assessing its relative merits compared to other models. Answering these questions should be a part of model verification and validation (V and V). Here, we focus on V and V of high explosive models. Typically, model developers implemented their model in their own hydro code and use different sets of experiments to calibrate model parameters. Rarely can one find in the literature simulation results for different models of the same experiment. Consequently, it is difficult to assess objectively the relative merits of different models. This situation results in part from the fact that experimental data is scattered through the literature (articles in journals and conference proceedings) and that the printed literature does not allow the reader to obtain data from a figure in electronic form needed to make detailed comparisons among experiments and simulations. In addition, it is very time consuming to set up and run simulations to compare different models over sufficiently many experiments to cover the range of phenomena of interest. The first difficulty could be overcome if the research community were to support an online web based database. The second difficulty can be greatly reduced by automating procedures to set up and run simulations of similar types of experiments. Moreover, automated testing would be greatly facilitated if the data files obtained from a database were in a standard format that contained key experimental parameters as meta-data in a header to the data file. To illustrate our approach to V and V, we have developed a high explosive database (HED) at LANL. It now contains a large number of shock initiation experiments. Utilizing the header information in a data file from HED, we have written scripts to generate an input file for a hydro code, run a simulation, and generate a comparison plot showing simulated and experimental velocity gauge data. These scripts are then applied to several series of experiments and to several HE burn models. The same systematic approach is applicable to other types of material models; for example, equations of state models and material strength models.
Menikoff, Ralph [Los Alamos National Laboratory; Scovel, Christina A. [Los Alamos National Laboratory
Verification of MCNP5-1.60 and MCNP6-Beta-2 for Criticality Safety Applications
To verify that both MCNP5-1.60 and MCNP6-Beta-2 are performing correctly for criticality safety applications, several suites of verification/validation benchmark problems were run in early 2012. Results from these benchmark suites were compared with results from previously verified versions of MCNP5. The goals of this verification testing were: (1) Verify that MCNP5-1.60 works correctly for nuclear criticality safety applications, producing the same results as for the previous verification performed in 2010; (2) Determine the sensitivity to computer roundoff using different Fortran-90 compilers for building MCNP5 and MCNP6, to support moving to current versions of the compilers; and (3) Verify that MCNP6-Beta-2 works correctly for nuclear criticality safety applications, producing the same results as for MCNP5-1.60. This provides support for eventual migration of users and applications to MCNP6. The current production version of MCNP5 included in the RSICC release package is MCNP5-1.60. This version was first distributed by RSICC in October 2010. While there were subsequent RSICC distributions of the MCNP package in July 2011 and February 2012, no changes were made to MCNP5-1.60. The RSICC release package in February 2012 included both MCNP5-1.60 and the current beta version of MCNP6, MCNP6-Beta-2. MCNP6 is the merger of MCNP5 and MCNPX capabilities. The current release of MCNP6 available from RSICC as of February 2012 is MCNP6-Beta-2. This version includes all of the features for criticality safety calculations that are available in MCNP5-1.60, and many new features largely unrelated to nuclear criticality safety calculations. This release is a 'beta' release to allow intermediate and advanced users to begin testing the merged code in their field of expertise. It should not be used for production calculations.
Brown, Forrest B. [Los Alamos National Laboratory; Kiedrowski, Brian C. [Los Alamos National Laboratory; Bull, Jeffrey S. [Los Alamos National Laboratory
A C-based RTL design verification methodology for complex microprocessor
As the complexity of high-performance microprocessor increases,functional verification becomes more and more difficultand RTL simulation emerges as the bottleneck of thedesign cycle.In this paper, we suggest C language-based designand verification methodology ...
Joon-Seo Yim; Yoon-Ho Hwang; Chang-Jae Park; Hoon Choi; Woo-Seung Yang; Hun-Seung Oh; In-Cheol Park; Chong-Min Kyung
Subjective Verification of Numerical Models as a Component of a Broader Interaction between Research and Operations
Systematic subjective verification of precipitation forecasts from two numerical models is presented and discussed. The subjective verification effort was carried out as part of the 2001 Spring Program, a seven-week collaborative experiment ...
John S. Kain; Michael E. Baldwin; Paul R. Janish; Steven J. Weiss; Michael P. Kay; Gregory W. Carbin
A Comparison of Measures-Oriented and Distributions-Oriented Approaches to Forecast Verification
The authors have carried out verification of 590 12�24-h high-temperature forecasts from numerical guidance products and human forecasters for Oklahoma City, Oklahoma, using both a measures-oriented verification scheme and a distributions-...
Harold E. Brooks; Charles A. Doswell III
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
This report describes experimental results for a set of benchmarks on program verification. It compares the capabilities of CPBVP "Constraint Programming framework for Bounded Program Verification" [4] with the following frameworks: ESC/Java, CBMC, Blast, EUREKA and Why.
Collavizza, H�l�ne; Van Hentenryck, Pascal
Hi-Lite: the convergence of compiler technology and program verification
Formal program verification tools check that a program correctly implements its specification. Existing specification languages for well-known programming languages (Ada, C, Java, C#) have been developed independently from the programming language to ... Keywords: compiler technology, formal verification, testing
Johannes Kanig; Edmond Schonberg; Claire Dross
Runtime verification of service-oriented systems: a well-rounded survey
Dynamic nature of Service-Oriented Systems SOSs has made conventional verification techniques such as testing, model checking and theorem proving ineffective. As a result, many studies have been dedicated to verification of SOS. In this survey, we first ...
Reza Babaee; Seyed Morteza Babamir
Model of Procedure Usage � Results from a Qualitative Study to Inform Design of Computer-Based Procedures
The nuclear industry is constantly trying to find ways to decrease the human error rate, especially the human errors associated with procedure use. As a step toward the goal of improving procedure use performance, researchers, together with the nuclear industry, have been looking at replacing the current paper-based procedures with computer-based procedure systems. The concept of computer-based procedures is not new by any means; however most research has focused on procedures used in the main control room. Procedures reviewed in these efforts are mainly emergency operating procedures and normal operating procedures. Based on lessons learned for these previous efforts we are now exploring a more unknown application for computer based procedures - field procedures, i.e. procedures used by nuclear equipment operators and maintenance technicians. The Idaho National Laboratory, the Institute for Energy Technology, and participants from the U.S. commercial nuclear industry are collaborating in an applied research effort with the objective of developing requirements and specifications for a computer-based procedure system to be used by field operators. The goal is to identify the types of human errors that can be mitigated by using computer-based procedures and how to best design the computer-based procedures to do this. The underlying philosophy in the research effort is �Stop � Start � Continue�, i.e. what features from the use of paper-based procedures should we not incorporate (Stop), what should we keep (Continue), and what new features or work processes should be added (Start). One step in identifying the Stop � Start � Continue was to conduct a baseline study where affordances related to the current usage of paper-based procedures were identified. The purpose of the study was to develop a model of paper based procedure use which will help to identify desirable features for computer based procedure prototypes. Affordances such as note taking, markups, sharing procedures between fellow coworkers, the use of multiple procedures at once, etc. were considered. The model describes which affordances associated with paper based procedures should be transferred to computer-based procedures as well as what features should not be incorporated. The model also provides a means to identify what new features not present in paper based procedures need to be added to the computer-based procedures to further enhance performance. The next step is to use the requirements and specifications to develop concepts and prototypes of computer-based procedures. User tests and other data collection efforts will be conducted to ensure that the real issues with field procedures and their usage are being addressed and solved in the best manner possible. This paper describes the baseline study, the construction of the model of procedure use, and the requirements and specifications for computer-based procedures that were developed based on the model. It also addresses how the model and the insights gained from it were used to develop concepts and prototypes for computer based procedures.
Johanna H Oxstrand; Katya L Le Blanc
DOE Reasonable Accommodation Procedures
Pursuant to Executive Order 13164, the Department of Energy (hereinafter referred to as the �department�), is charged with establishing written procedures for the facilitation of reasonable accommodation for: (1) individuals with disabilities in the application process for employment with the Department; (2) Department employees with disabilities to perform the essential functions of a position; and (3) Department employees with disabilities to enjoy benefits and privileges of employment equal to those enjoyed by employees without disabilities.
TRANSPARENCY RECYCLING Don't throw out your used overhead transparencies! RECYCLE them for REUSE. It's Easy! Follow these simple procedures: 1.) COLLECT used transparencies to be recycled. 2.) SEPARATE the transparencies from ringed binders, plastic or paper folders, envelopes, and/or files. 3.) PLACE the transparencies (only) into an intra-laboratory mail envelope. 4.) SEND the envelope to: Terri Schneider, Building 201, 1D-10. Terri will prepare a
INDEPENDENT VERIFICATION REVIEW AND SURVEY of the Argonne National Laboratory Building 301 Footprint
INDEPENDENT VERIFICATION REVIEW AND SURVEY of the Argonne National Laboratory Building 301 Footprint, Argonne Illinois 5061-SR-01-0
E.N. Bailey
Independent Verification Survey Report for the Long Island Solar Farm, Brookhaven National Laboratory, Upton, New York
E.M. Harpenau
Energy Efficiency Measurement & Verification in South Africa Energy Efficiency Measurement & Verification in South Africa Speaker(s): Xiaohua Xia Date: December 17, 2012 - 12:00pm Location: 90-3122 Seminar Host/Point of Contact: Stephane de la Rue du Can Measurement and verification (M&V) is the process of using measurements to reliably determine actual saving created within an individual facility by an energy management program. This talk will describe the basics of M&V, and introduce how M&V is conducted in the Republic of South Africa. Topics covered include the history of M&V in South Africa, the business structure, and the Eskom-led M&V protocols and guidelines of M&V. The talk will also present how the M&V profession is governed and regulated by the national professional body, the national standard (the first in the world), and a
Sandia National Laboratories: Advanced Simulation Computing: Verification &
Verification & Validation Verification & Validation high-fidelity simulations The Verification and Validation (V&V) program conducts two major activities at Sandia. The first is to perform assessments and studies that quantify confidence in Advanced Simulation and Computing (ASC) calculation results. The second activity develops and improves V&V and uncertainty quantification methods, metrics, and standards. Assessments This project area conducts studies and assessments for Sandia's engineering simulation focus areas (outlined below). These assessments quantify the prediction uncertainty of the engineering codes as they apply to applications in the four focus areas. Safety and Security This area focuses on engineering codes as they apply to nuclear weapon. External load prediction capability includes mechanical (impact, pressure,)
Verification and validation of RADMODL Version 1.0
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.
Converter performance TFE Verification Program. Final test report
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.
Event:Technical Workshop: Measurement, Reporting and Verification (MRV):
Workshop: Measurement, Reporting and Verification (MRV): Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation Jump to: navigation, search Calendar.png Technical Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation: on 2012/06/26 "The workshop will deal with MRV issues relevant to negotiators and practitioners from Partnership member countries and aims at contributing to an in-depth understanding of key aspects critical to the implementation of MRV-systems in developing countries. The workshop will focus on the "how" of implementing MRV-systems in a pragmatic, sustainable and cost-efficient way while taking advantage of existing structures and experiences. Thus the event wants to move beyond the political discussions
Comparisons of field performance to closed-door test T ABLE 1 ratings indicate the laboratory procedure is a valid indica-Design Options to Improve the Energy Efficiency of a
#12;#12;Comparisons of field performance to closed-door test T ABLE 1 ratings indicate commercially manufactured refrigerators were u~ as laboratory test beds, a testing sequence of ..as PHASE I cabinets with an optimized Option 2 Evaporator/condenser size, surface r~frige~tion circuit or cvcle were
Oak Ridge National Laboratory
Review: Formal verification of analog and mixed signal designs: A survey
Analog and mixed signal (AMS) designs are an important part of embedded systems that link digital designs to the analog world. Due to challenges associated with its verification process, AMS designs require a considerable portion of the total design ... Keywords: Analog and mixed signal design verification, Formal verification, Survey
Mohamed H. Zaki; Sofi�ne Tahar; Guy Bois
Verification of Scientific Simulations via Hypothesis-Driven Comparative and Quantitative Visualization
This article presents a visualization-assisted process that verifies scientific-simulation codes. Code verification is necessary because scientists require accurate predictions to interpret data confidently. This verification process integrates iterative hypothesis verification with comparative, feature, and quantitative visualization. Following this process can help identify differences in cosmological and oceanographic simulations.
Ahrens, James P [ORNL; Heitmann, Katrin [ORNL; Petersen, Mark R [ORNL; Woodring, Jonathan [Los Alamos National Laboratory (LANL); Williams, Sean [Los Alamos National Laboratory (LANL); Fasel, Patricia [Los Alamos National Laboratory (LANL); Ahrens, Christine [Los Alamos National Laboratory (LANL); Hsu, Chung-Hsing [ORNL; Geveci, Berk [ORNL
Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based
Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Programs Efficiency Action Network. 2012. Evaluation, Measurement, and Verification (EM&V) of Residential Behavior
Certification and verification for Northrup Model NSC-01-0732 Fresnel lens concentrating solar collector
The certification and verification of the Northrup Model NSC-01-0732 Fresnel lens tracking solar collector are presented. A certification statement is included with signatures and a separate report on the structural analysis of the collector system. System verification against the Interim Performance Criteria are indicated by matrices with verification discussion, analysis, and enclosed test results.
9:00 Opening and Welcome (Exactum Building Auditorium) Session 1: User-oriented Verification
of user-orientation in verification 9:50 1.2 Clive Wilson: Do key performance targets work? 10:10 1.3 Tressa Fowler: Wind forecast verification 10:30 1.4 Robert Maisha: UM model and Kalman Filter forecast verification at SAWS
Chair Pertti Nurmi
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
Testing and verification are two activities which have the same objective: to ensure software dependability. In the Java context, the Java Modelling Language (JML) has been proposed as specification language. It can be used both for verification and ... Keywords: JML, Java, Software dependability, Testing, Verification
Lydie Du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet
Formal hardware specification languages for protocol compliance verification
The advent of the system-on-chip and intellectual property hardware design paradigms makes protocol compliance verification increasingly important to the success of a project. One of the central tools in any verification project is the modeling language, ... Keywords: Esterel, Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Java, Lava, Live Sequence Charts, Message Sequence Charts, Objective VHDL, OpenVera, Property Specification Language, SpecC, Specification and Description Language, Statecharts, SystemC, SystemVerilog, The Unified Modeling Language, e, hardware monitors, timing diagrams
Annette Bunker; Ganesh Gopalakrishnan; Sally A. Mckee
MACCS2 development and verification efforts
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 version188.8.131.52 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.
An algorithm for independent verification of Gamma Knife{sup TM} treatment plans
A formalism for independent treatment verification has been developed for Gamma Knife{sup TM} radiosurgery in analogy to the second checks being performed routinely in the field of external beam radiotherapy. A verification algorithm is presented, and evaluated based on its agreement with treatment planning calculations for the first 40 Canadian Gamma Knife{sup TM} patients. The algorithm is used to calculate the irradiation time for each shot, and the value of the dose at the maximum dose point in each calculation matrix. Data entry consists of information included on the plan printout, and can be streamlined by using an optional plan import feature. Calculated shot times differed from those generated by the treatment planning software by an average of 0.3%, with a standard deviation of 1.4%. The agreement of dose maxima was comparable with an average of -0.2% and a standard deviation of 1.3%. Consistently accurate comparisons were observed for centrally located lesions treated with a small number of shots. Large discrepancies were almost all associated with dose plans utilizing a large number of collimator plugs, for which the simplifying approximations used by the program are known to break down.
Beck, James; Berndt, Anita [Division of Medical Physics, CancerCare Manitoba, 675 McDermot Avenue, Winnipeg, Manitoba R3E 0V9 (Canada); Winnipeg Centre for Gamma Knife Surgery, Health Sciences Centre, Winnipeg Regional Health Authority, Section of Neurosurgery, Department of Surgery, University of Manitoba (Canada); Division of Medical Physics, CancerCare Manitoba, 675 McDermot Avenue, Winnipeg, Manitoba R3E 0V9 (Canada); Winnipeg Centre for Gamma Knife Surgery, Health Sciences Centre, Winnipeg Regional Health Authority, Section of Neurosurgery, Department of Surgery, University of Manitoba (Canada); Department of Radiology, University of Manitoba (Canada); Department of Physics and Astronomy, University of Manitoba (Canada)
U.S. Environmental Protection Agency ETV Joint Verification Statement TECHNOLOGY TYPE: Continuous Emission Monitor
Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environmental protection by substantially accelerating the acceptance and use of improved and cost-effective technologies. ETV seeks to achieve this goal by providing high-quality, peer-reviewed data on technology performance to those involved in the design, distribution, financing, permitting, purchase, and use of environmental technologies. ETV works in partnership with recognized standards and testing organizations; with stakeholder groups that consist of buyers, vendor organizations, and permitters; and with the full participation of individual technology developers. The program evaluates the performance of innovative technologies by developing test plans that are responsive to the needs of stakeholders, conducting field or laboratory tests (as appropriate), collecting and analyzing data, and preparing peer-reviewed reports. All evaluations are conducted in accordance with rigorous quality assurance protocols to ensure that data of known and adequate quality are generated and that the results are defensible. The Advanced Monitoring Systems (AMS) Center, one of six technology centers under ETV, is operated by Battelle in cooperation with EPA�s National Exposure Research Laboratory. The AMS Center has recently evaluated the performance of continuous emission monitors used to measure mercury in flue gases. This verification
Verification test problems for the calculation of probability of loss of assured safety in temperature-dependent systems with multiple weak and strong links.
Four verification test problems are presented for checking the conceptual development and computational implementation of calculations to determine the probability of loss of assured safety (PLOAS) in temperature-dependent systems with multiple weak links (WLs) and strong links (SLs). The problems are designed to test results obtained with the following definitions of loss of assured safety: (1) Failure of all SLs before failure of any WL, (2) Failure of any SL before failure of any WL, (3) Failure of all SLs before failure of all WLs, and (4) Failure of any SL before failure of all WLs. The test problems are based on assuming the same failure properties for all links, which results in problems that have the desirable properties of fully exercising the numerical integration procedures required in the evaluation of PLOAS and also possessing simple algebraic representations for PLOAS that can be used for verification of the analysis.
Johnson, Jay Dean (ProStat, Mesa, AZ); Oberkampf, William Louis; Helton, Jon Craig (Arizona State University, Tempe, AZ)
Rough Ride Test Procedure
NTP005 NTP005 Revision 2 Effective December 1, 2004 Electric Vehicle Rough Road Course Test Prepared by Electric Transportation Applications Prepared by: _______________________________ Date:__________ Ryan Harkins Approved by: _________________________________________________ Date: _______________ Donald B. Karner ©2004 Electric Transportation Applications All Rights Reserved Procedure ETA-NTP005 Revision 2 2 TABLE OF CONTENTS 1.0 Objectives 3 2.0 Purpose 3 3.0 Documentation 3 4.0 Initial Conditions and Prerequisites 4 5.0 Testing Activity Requirements 6 6.0 Glossary 12 7.0 References 14 Appendices Appendix A - Electric Vehicle Rough Road Test Data Sheet 15
AZ-101 Mixer Pump Test Qualification Test Procedures (QTP)
Describes the Qualification test procedure for the AZ-101 Mixer Pump Data Acquisition System (DAS). The purpose of this Qualification Test Procedure (QTP) is to confirm that the AZ-101 Mixer Pump System has been properly programmed and hardware configured correctly. This QTP will test the software setpoints for the alarms and also check the wiring configuration from the SIMcart to the HMI. An Acceptance Test Procedure (ATP), similar to this QTP will be performed to test field devices and connections from the field.
Procedures for sprinkler anchor installation on surfaces with fireproofing materials
Procedures were developed for limiting the release of fibers from fireproofing material during sprinkler hanger anchor installation on steel deck/concrete floor slab surfaces. These procedures were needed by the General Services Administration (GSA) for installation of sprinkler systems in buildings having fireproofing containing asbestos. A prototype floor slab having spray-on friable mineral wool fireproofing was used in laboratory tests. The mineral-wool fireproofing was used as a model system for fireproofing containing asbestos. The various combinations of mechanical anchoring procedures (use of drills or powder-actuated gun) and encapsulation procedures tested limited the fiber release to a range of values of 0.000 to 0.055 f/cc (fibers per cubic centimeter) as compared to a range of values of 0.26 to 0.82 f/cc for procedures without encapsulation. Encapsulation was shown to be effective as evidenced by much higher levels of fiber release during testing without encapsulation. Because there is no known correlation between the release of mineral-wool fibers and asbestos fibers, it was recommended that the procedures developed be evaluated by GSA in buildings having fireproofing containing asbestos. An air-sampling protocol was developed for use by GSA in evaluating the procedures in the field. Subsequently field tests were conducted by GSA. The laboratory and field studies provided GSA with an effective procedure, measurement method, and decision tool for installing sprinkler hanger anchors in steel deck/concrete floor slabs having fireproofing materials.
Mathey, R.G.; Knab, L.I.; Gross, J.L.; Small, J.A.
Presidential Permits - Procedures | Department of Energy
Permits - Procedures Presidential Permits - Procedures Electricity Advisory Committee Technology Development Electricity Policy Coordination and Implementation Transmission...
Development of a Consensus Standard for Verification and Validation of Nuclear System Thermal-Fluids Software
With the resurgence of nuclear power and increased interest in advanced nuclear reactors as an option to supply abundant energy without the associated greenhouse gas emissions of the more conventional fossil fuel energy sources, there is a need to establish internationally recognized standards for the verification and validation (V&V) of software used to calculate the thermal-hydraulic behavior of advanced reactor designs for both normal operation and hypothetical accident conditions. To address this need, ASME (American Society of Mechanical Engineers) Standards and Certification has established the V&V 30 Committee, under the jurisdiction of the V&V Standards Committee, to develop a consensus standard for verification and validation of software used for design and analysis of advanced reactor systems. The initial focus of this committee will be on the V&V of system analysis and computational fluid dynamics (CFD) software for nuclear applications. To limit the scope of the effort, the committee will further limit its focus to software to be used in the licensing of High-Temperature Gas-Cooled Reactors. In this framework, the Standard should conform to Nuclear Regulatory Commission (NRC) and other regulatory practices, procedures and methods for licensing of nuclear power plants as embodied in the United States (U.S.) Code of Federal Regulations and other pertinent documents such as Regulatory Guide 1.203, 'Transient and Accident Analysis Methods' and NUREG-0800, 'NRC Standard Review Plan'. In addition, the Standard should be consistent with applicable sections of ASME NQA-1-2008 'Quality Assurance Requirements for Nuclear Facility Applications (QA)'. This paper describes the general requirements for the proposed V&V 30 Standard, which includes; (a) applicable NRC and other regulatory requirements for defining the operational and accident domain of a nuclear system that must be considered if the system is to be licensed, (b) the corresponding calculation domain of the software that should encompass the nuclear operational and accident domain to be used to study the system behavior for licensing purposes, (c) the definition of the scaled experimental data set required to provide the basis for validating the software, (d) the ensemble of experimental data sets required to populate the validation matrix for the software in question, and (e) the practices and procedures to be used when applying a validation standard. Although this initial effort will focus on software for licensing of High-Temperature Gas-Cooled Reactors, it is anticipated that the practices and procedures developed for this Standard can eventually be extended to other nuclear and non-nuclear applications.
Edwin A. Harvego; Richard R. Schultz; Ryan L. Crane
Physical inventory verification exercise for a highly enriched uranium fabrication facility
The International Atomic Energy Agency, in collaboration with the US Support Program (POTAS), has developed and conducted a training exercise simulating a physical inventory verification (PIV) at a highly enriched uranium (HEU) fabrication facility. This exercise is part of a series sponsored by the POTAS program, including PIVs at light-water reactors and plutonium fabrication facilities. The first HEU exercise took place in September 1985 at Los Alamos National Laboratory and a second is scheduled for Spring, 1987 at JRC, ISPRA. The main objectives of these exercises are: to provide the opportunity for inspectors to test and evaluate the use of nondestructive assay (NDA) equipment and computer software under conditions similar to those found during actual inspections; to use the data generated to evaluate different inspection procedures and strategies; and to exchange ideas on PIV procedures between the three operations divisions. Because the exercises are conducted in a neutral environment, free of the time pressure often found in actual inspections, it is possible for the inspectors to achieve the course objectives.
Abedin-Zadeh, R.; Augustson, R.H.
An integrated verification environment for JML: architecture and early results
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, ... Keywords: Eclipse, JML4, integrated verification environment, java modeling language
Patrice Chalin; Perry R. James; George Karabotsos
Modified Segmental Histogram Equalization for robust speaker verification
It is well known that when there is an acoustic mismatch between the speech obtained during training and testing the accuracy of speaker recognition systems drastically deteriorates. In this paper we propose Modified Segmental Histogram Equalization ... Keywords: Histogram Equalization, Mismatched conditions, NIST 2000, Speaker verification
Marshalleno Skosan; Daniel Mashao
Biometric verification/identification based on hands natural layout
In this paper, a hand biometric system for verification and recognition purposes is presented. The method is based on three keys. Firstly, the system is based on using a Natural Reference System (NRS) defined on the hand's natural layout. Consequently, ... Keywords: Biometric systems, Hand geometry, Invariant features, Security, Similarity
Miguel Ad�n; Antonio Ad�n; Andr�s S. V�zquez; Roberto Torres
Hybrid systems modeling and verification with DEVS (WIP)
Hybrid systems (where continuous and discrete phenomena interact) are found in many natural and artificial systems. An important example, real-time embedded systems usually include discrete-event controllers interacting with a continuous plant. Verifying ... Keywords: DEVS, hybrid systems verification, quantized state systems QSS, timed automata
Hesham Saadawi, Gabriel Wainer
Department of Computing CSP||B modelling for railway verification
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.
Verification of temporal scheduling constraints in clinical practice guidelines
The computerization of clinical practice guidelines is a significant scientific challenge for the medical informatics community. One frequently reported factor hindering this objective is the existence of deficiencies within guideline knowledge. In this ... Keywords: Clinical practice guidelines, Medical plan management, Temporal constraint satisfaction, Verification
Georg Duftschmid; Silvia Miksch; Walter Gall
Roadmap for enhanced languages and methods to aid verification
This roadmap describes ways that researchers in four areas---specification languages, program generation, correctness by construction, and programming languages---might help further the goal of verified software. It also describes what advances the "verified ... Keywords: annotations, correctness by construction, program generation, programming languages, specification languages, tools, verification, verified software grand challenge
Gary T. Leavens; Jean-Raymond Abrial; Don Batory; Michael Butler; Alessandro Coglio; Kathi Fisler; Eric Hehner; Cliff Jones; Dale Miller; Simon Peyton-Jones; Murali Sitaraman; Douglas R. Smith; Aaron Stump
Verification of clear-air turbulence forecasts June 2002, KNMI
to increase potential energy. Under these conditions turbulence will increase in intensity until different weather conditions. It often occurs in relatively clear skies and is then referred to as clear-airVerification of clear-air turbulence forecasts A. Overeem June 2002, KNMI Technisch rapport #12
Stoffelen, Ad
Fast Verification of Wind Turbine Power Summary of Project Results
a wind turbine's design phase, the power curve can be predicted using analytical techniques such as Blade using a single cup anemometer at the wind turbine's hub height and it is assumed that this measurementFast Verification of Wind Turbine Power Curves: Summary of Project Results by: Cameron Brown s
On Automatic Authenticity Verification of Printed Security Documents
This paper presents a pioneering effort to involve machine in checking document authenticity. A particular class of security documents has been considered for the present experiment. Bank cheques, several kinds of tickets like lottery tickets, air tickets, ... Keywords: authenticity verification, security document, forensic document examination, bank cheques
Utpal Garain; Biswajit Halder
Object Oriented Verification Kernels for Secure Java Applications
This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g. in a Mor E-Commerce scenario. When trying to verify such programs, thousands of Java classes ...
Holger Grandy; Kurt Stenzel; Wolfgang Reif
Specification and Runtime Verification of Java Card Programs
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to ... Keywords: Compiler, JCML, JML, Java Card, Runtime Verification
Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Pl�cido A. Souza Neto
Markov and fuzzy models for written language verification
This paper presents a computational algorithm for machine classification of written languages using the Markov chain-based method for building language models and the fuzzy set theory-based normalization method to verify language. For a language document, ... Keywords: Markov chain, fuzzy normalization method, written language verification
Dat T. Tran; Tuan D. Pham
Integrated Framework toward a Closed Loop Measurement and Verification
Integrated Framework toward a Closed Loop Measurement and Verification Integrated Framework toward a Closed Loop Measurement and Verification Approach Title Integrated Framework toward a Closed Loop Measurement and Verification Approach Publication Type Conference Proceedings Year of Publication 2011 Authors Earni, Shankar, Philip Coleman, and Mark D. Sanders Conference Name ACEEE Summer Study on Energy Efficiency in Industry Volume 1 Pagination 68-79 Date Published 1/2011 Abstract This study reviews a sample set of measurement and verification (M&V) plans from federal ESPC projects to understand and assess the overall status of M&V practices. The review identifies some of the key issues that need to be addressed to improve the rigor and transparency of M&V practices. To mitigate some of the identified M&V issues, this work also reviews existing M&V protocols, guidelines and other pertinent literature to identify strategies that can augment traditional M&V approaches. The authors provide a framework to identify ways to integrate M&V and commissioning activities into the ESPC process, combining M&V activities and advanced meter data into a monitoring-based commissioning approach that reduces the uncertainty of savings while ensuring their persistence.
Radionuclide Inventory Distribution Project Data Evaluation and Verification White Paper
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
Records Management Exit Procedures
Exit Procedures For Departing Federal and contractor Employees PRESERVATION OF FEDERAL RECORDS The Federal Records Act requires the Department of Energy (DOE) Records Officer to remind departing Federal and contractor employees that Federal records may not be removed from Government custody nor may they be destroyed except in accordance with a records disposition schedule that has been approved by the Archivist of the United States. The creation of adequate documentation and the preservation of Federal records are required by law and regulation (contained in 36 CFR Chapter XII). As Federal and contractor employees, you have Federal record-keeping responsibilities that are regulated by the National Archives and Records Administration (NARA) to ensure the retention and
Controls modelling and verification for the Pacific Intertie HVDC 4 terminal scheme
A detailed digital model for the actual control system of the Pacific Intertie HVDC scheme is presented. The scheme is operated as multi-terminal bipole HVDC with four terminals in parallel. Each pole comprises two separately located converter station with independent converter controls at each end of the transmission line. The control model includes bipole, pole, station and converter control systems. Special control techniques for providing safe and stable operation of the parallel converters are described. The techniques also result in fast recovery of the HVDC transmission scheme following severe ac and dc system disturbances. Verification of the completeness and accuracy of the model are made using field tests made on the actual HVDC scheme.
Hammad, A.; Minghetti, R.; Hasler, J.; Eicher, P. (ABB Power Systems, Baden (Switzerland)); Bunch, R.; Goldsworthy, D. (Bonneville Power Administration, Portland, OR (United States))
Study of applied magnetic field magnetoplasmadynamic thrusters with particle-in-cell code with Monte Carlo collision. I. Computation methods and physical processes
A two-dimensional axisymmetric electromagnetic particle-in-cell code with Monte Carlo collision conditions has been developed for an applied-field magnetoplasmadynamic thruster simulation. This theoretical approach establishes a particle acceleration model to investigate the microscopic and macroscopic characteristics of particles. This new simulation code was used to study the physical processes associated with applied magnetic fields. In this paper (I), detail of the computation procedure and results of predictions of local plasma and field properties are presented. The numerical model was applied to the configuration of a NASA Lewis Research Center 100-kW magnetoplasmadynamic thruster which has well documented experimental results. The applied magnetic field strength was varied from 0 to 0.12 T, and the effects on thrust were calculated as a basis for verification of the theoretical approach. With this confirmation, the changes in the distributions of ion density, velocity, and temperature throughout the acceleration region related to the applied magnetic fields were investigated. Using these results, the effects of applied field on physical processes in the thruster discharge region could be represented in detail, and those results are reported.
Tang Haibin; Cheng Jiao; Liu Chang [School of Astronautics, Beijing University of Aeronautics and Astronautics, Beijing 100191 (China); York, Thomas M. [Ohio State University, Columbus, Ohio 43235 (United States)
Department of Energy Technical Standards Procedures | Department...
Department of Energy Technical Standards Procedures Department of Energy Technical Standards Procedures DOE Technical Standards Program The following procedures should be used to...
Distant-observer techniques for verification of solar-concentrator optical geometry
Existing methods for testing the geometric accuracy of parabolic trough concentrators are too slow and require too much hardware and system downtime to be of use in field testing of large industrial solar installations. Distant observer techniques are developed to permit a variety of in the field tests to be made quickly and with very little equipment. Diagnostic procedures for most correctable faults are discussed.
Wood, R.L.
Oak Ridge Associated VERIFICATION SURVEY Universities OF THE
Office of Legacy Management (LM)
ORAU 89/K-79 ORAU 89/K-79 Prepared by ERIFICATION Oak Ridge Associated VERIFICATION SURVEY Universities OF THE Drepared of SHIPPINGPORT ATOMIC POWER STATION Facility and Site Decommissioning SHIPPINGPORT, PENNSYLVANIA I Projects U.S. Department R LANDIS ot Energy M. R. LANDIS ot Energy Environmental Survey and Site Assessment Program Energy/Environment Systems Division FINAL REPORT .i~ ~~ . ~NOVEMBER 1989 .Ii_- ORAU 89/K-79 VERIFICATION SURVEY OF THE SHIPPINGPORT ATOMIC POWER STATION SHIPPINGPORT, PENNSYLVANIA Prepared by M. R. Landis Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Associated Universities 3*P~~~ ~~Oak Ridge, Tennessee 37831-0117 U~~~~~~~~1 ~Project Staff S. F. Barnett F. A. Payne J. D. Berger J. L. Payne G. R. Foltz E. A. Powell
Microsoft Word - S0191800 - Gunnison Verification Monitoring Report 0906.doc
6 6 Office of Legacy Management DOE M/1305-2006 -L Work Performed Under DOE Contract No. for the U.S. Department of Energy Office of Legacy Management. DE-AC01-02GJ79491 Approved for public release; distribution is unlimited. Office of Legacy Management Office of Legacy Management Office of Legacy Management U.S. Department of Energy S0191800 DOE-LM/1305-2006 Office of Legacy Management Verification Monitoring Report for the Gunnison, Colorado, Processing Site September 2006 Work Performed by S.M. Stoller Corporation under DOE Contract No. DE-AC01-02GJ79491 for the U.S. Department of Energy Office of Legacy Management, Grand Junction, Colorado U.S. Department of Energy 2006 Verification Monitoring Report-Gunnison, Colorado, Processing Site September 2006 Doc. No. S0191800
Directed Search for the Verification of Communication Protocols
There is a need for formal methods to verify correctness of software and hardware systems. Automated verification techniques basically explore the state space of a system in order to establish whether or not it behaves correctly. The main drawback of such methods is the state explosion problem. The size of the state space can grow exponentially in the number of components of the system, especially in asynchronous concurrent systems. In early stages of system development, errors are likely to appear. As a matter of fact, in practice, automated verification has been shown to be more successful in finding errors in systems than in proving correctness. Usually, one applies reachability algorithms like depth-first, and breadth-first search for this purpose. Breadth-first search is, in general, not memory-efficient, but offers shortest counterexamples. On the other hand, depth-first search is more memory-efficient, but delivers suboptimal counterexamples. We propose and analyze the use of...
Alberto Lluch Lafuente; Dekan Prof; Erstgutachter Prof; Dr. Thomas Ottmann; Dr. Thomas Ottmann; Zweitgutachter Prof; Dr. Stefan Leue
Analytical Benchmark Test Set for Criticality Code Verification
A number of published numerical solutions to analytic eigenvalue (k{sub eff}) and eigenfunction equations are summarized for the purpose of creating a criticality verification benchmark test set. The 75-problem test set allows the user to verify the correctness of a criticality code for infinite medium and simple geometries in one- and two-energy groups, one- and two-media, and both isotropic and anisotropic neutron scattering. The problem specifications will produce both k{sub eff} = 1 and the quoted k{sub {infinity}} to at least five decimal places. Additional uses of the test set for code verification are also discussed. A list of 45 references and an appendix with k{sub {infinity}} derivations is also included.
Avneet Sood; D. K. Parsons; R. A. Forster
Fueled emitter final test report TFE Verification Program
The program objective 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.
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.
Delzanno, Giorgio; Zavattaro, Gianluigi; 10.4204/EPTCS.60.4
SEEC- Regional Energy Baselines and Measurement and Verification Protocols
The Southern Energy Efficiency Center (SEEC) was established to substantially increase the deployment of high-performance �beyond-code� buildings across the southern region of the U.S, funded by the U.S. Department of Energy (DOE) Building Technologies Program and is administered by the National Energy Technology Laboratory. During its first 18-month phase, to address efficiency goals of states, utilities, and various energy-efficiency programs; project efforts include defining the baseline energy patterns within the project region and the measurement and verification (M&V) protocols for use in determining the efficiency improvements SEEC, state and USDOE efforts with respect to that baseline. This work is defined under the SEEC Subtask 3.1 Define Regional Baselines and Measurement & Verification Protocols. This report presents preliminary deliverables of this subtask developed and documented by the Energy Systems Laboratory (ESL) for use by the SEEC member state region.
Kim, H.; Haberl, J. S.; Verdict, M.
Slicing Concurrent Real-Time System Specifications for Verification
The high-level specification language CSP-OZ-DC has been shown to be well-suited for modelling and analysing industrially relevant concurrent real-time systems. It allows us to model each of the most important functional aspects such as control flow, data, and real-time requirements in adequate notations, maintaining a common semantic foundation for subsequent verification. Slicing on the other hand has become an established technique to complement the fight against state space explosion during verification which inherently accompanies increasing system complexity. In this paper, we exploit the special structure of CSP-OZ-DC specifications by extending the dependence graph�which usually serves as a basis for slicing�with several new types of dependencies, including timing dependencies derived from the specification�s DC part. Based on this we show how to compute a specification slice and prove correctness of our approach.
Ingo Br�ckner
~ *-,-' .r_~, ~ *-,-' .r_~, VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES BUILDING 513-519 NEW YORK, NEW YORK Prepared by W. C. Adams Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Institute for Science and Education Oak Ridge, Tennessee 37831-0117 Prepared for the Office of Environmental Restoration U.S. Department of Energy FINAL REPORT JUNE 1994 This report is based on work performed under contract number DE-AC05-760R00033 with the U.S. Department of Energy. Baker arId Wi,,iMI Wsrchouwl-Vcrification June 28, ,994 - ,I I_ ..I .- VERIFICATION SURVEY OF THE BAKER AND W ILLIAMS WAREHOUSES BUILDING 513-519 NEW YORK, NEW YORK Prepared by: ' J .,,,~ ' . W . C. Adams, Project Leader Date: Environmental Survey and Site Assessment Program
NETL: Methane Hydrates - DOE/NETL Projects - Verification Of Capillary
Verification Of Capillary Pressure Functions And Relative Permeability Equations For Modeling Gas Production From Gas Hydrates Last Reviewed 12/12/2013 Verification Of Capillary Pressure Functions And Relative Permeability Equations For Modeling Gas Production From Gas Hydrates Last Reviewed 12/12/2013 DE-FE0009927 Goal The goal of this project is to verify and validate the capillary pressure functions and relative permeability equations that are frequently used in hydrate numerical simulators. In order to achieve this goal, numerical simulation using a network model will be used to suggest fitting parameters, modify existing equations or, if necessary, develop new equations for better simulation results. Performers Wayne State University, Detroit, MI 48202-3622 Background Numerical simulation is used to estimate and predict long-term behavior of hydrate-bearing sediments during gas production [Kurihara et al., 2008;
Implementation of an analytical verification technique on three building energy-analysis codes: SUNCAT 2. 4, DOE 2. 1, and DEROB III
An analytical verification technique for building energy analysis codes has been developed. For this technique, building models are developed that can be both solved analytically and modeled using the analysis codes. The output of the codes is then compared with the analytical solutions. In this way, the accuracy of selected mechanisms in the codes can be verified. The procedure consists of several tests and was run on SUNCAT 2.4, DOE 2.1, and DEROB III. The results are presented and analyzed.
Wortman, D.; O'Doherty, B.; Judkoff, R.
Handbook for Verification and Validation of Digital Systems
With the increasing use of digital instrumentation and control systems in power plants, utilities must determine the dependability and predictability of such systems and their software. This updated handbook provides a comprehensive guide to help utilities understand the verification and validation (V&V) process. The handbook presents a graded approach to select convenient V&V methods, develop a V&V plan, generate necessary documentation, and conduct appropriate V&V activities.
Code Verification of the HIGRAD Computational Fluid Dynamics Solver
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
Combining CSP and B for Specification and Property Verification
Abstract. ProB is a model checking tool for the B Method. In this paper we present an extension of ProB that supports checking of specifications written in a combination of CSP and B. We explain how the notations are combined semantically and give an overview of the implementation of the combination. We illustrate the benefit that appropriate use of CSP, in conjunction with our tool, gives to B developments both for specification and for verification purposes.
Michael Butler; Michael Leuschel
AHAM Letter Acknowledging DOE Letter on Verification Program
26, 2013 26, 2013 By E-Mail Ms. Kathleen B. Hogan Deputy Assistant Secretary for Energy Efficiency Energy Efficiency and Renewable Energy U.S. Department of Energy 1000 Independence Avenue, SW Washington, DC 20585-0121 Dear Ms. Hogan: I am writing regarding your letter dated April 26, 2013, in which the U.S. Department of Energy (DOE or the Department) adopted a new policy regarding DOE ENERGY STAR verification
Automated UF6 Cylinder Enrichment Assay: Status of the Hybrid Enrichment Verification Array (HEVA) Project: POTAS Phase II
Pacific Northwest National Laboratory (PNNL) intends to automate the UF6 cylinder nondestructive assay (NDA) verification currently performed by the International Atomic Energy Agency (IAEA) at enrichment plants. PNNL is proposing the installation of a portal monitor at a key measurement point to 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 inspector arrival. This report summarizes the status of the research and development of an enrichment assay methodology supporting the cylinder verification concept. The enrichment assay approach exploits a hybrid of two passively-detected ionizing-radiation signatures: the traditional enrichment meter signature (186-keV photon peak area) and a non-traditional signature, manifested in the high-energy (3 to 8 MeV) gamma-ray continuum, generated by neutron emission from UF6. PNNL has designed, fabricated, and field-tested several prototype assay sensor packages in an effort to demonstrate proof-of-principle for the hybrid assay approach, quantify the expected assay precision for various categories of cylinder contents, and assess the potential for unsupervised deployment of the technology in a portal-monitor form factor. We refer to recent sensor-package prototypes as the Hybrid Enrichment Verification Array (HEVA). The report provides an overview of the assay signatures and summarizes the results of several HEVA field measurement campaigns on populations of Type 30B UF6 cylinders containing low-enriched uranium (LEU), natural uranium (NU), and depleted uranium (DU). Approaches to performance optimization of the assay technique via radiation transport modeling are briefly described, as are spectroscopic and data-analysis algorithms.
Jordan, David V.; Orton, Christopher R.; Mace, Emily K.; McDonald, Benjamin S.; Kulisek, Jonathan A.; Smith, Leon E.
Practical aspects of dynamic verification of extensometers; Part 1 -- The concepts
Material property studies frequently require the measurement of load and strain. Accurate measurement of both parameters is essential. Methods for accurate static calibration and verification of load transducers and extensometers are well established. More recently, standard practices have been developed for the dynamic calibration of load transducers. Still in its infancy is a standard method for dynamic verification of extensometers. Dynamic verification introduces a wide range of new issues. These encompass not only the transducer but also the conditioning electronics and actual test machine. Static calibration permits the elimination of nearly all dynamics, whereas dynamic verification must be done in the presence of these dynamic effects. This paper outlines the various concepts that need to be understood when performing the dynamic verification of an extensometer. Problems related to computer aided verification are emphasized, issues of aliasing and resolution in particular.
Albright, F.J.; Annala, J. (MTS Systems Corp., Eden Prairie, MN (United States))
Records Management Exit Procedures | Department of Energy
leave. Records Management Exit Procedures More Documents & Publications Records Management Exit Procedures Operational Plan and Desktop Reference for the Veterans...
The Fallout between Procedure and Practice
OF CALIFORNIA SANTA CRUZ The Fallout between procedure andAurora Olmos-Gallo The Fallout Between Procedure and
Olmos-Gallo, Aurora Maria
External > Programs > Environmental Management > Policies & Procedures
Policies & Procedures This website offers Environmental Management (EM) operating policies, procedures, standards, workaids, organizational charts, and other pertinent documents...
Procedure for Planning and Conducting
Lift Plan Procedure Lift Plan Procedure Stanford Synchrotron Radiation Laboratory Lead Author __________________________________ Date 07/13/2005___________ David A. Ernst Mechanical Service Group Approvals: __________________ Date _____________________ Matt Padilla SSRL Safety Officer __________________ Date _____________________ Robert Hettel Accelerator System Department Head __________________ Date _____________________ Piero Pianetta Beam Line System Department Head Hoist and Rigging Panel Member _______________________________________ Date ______________________
Wind Turbine Verification Project Experience: 1999: U.S. Department of Energy - EPRI Wind Turbine Verification Program
EPRI and the U.S. Department of Energy (DOE) initiated the Turbine Verification Program (TVP) in 1992 to evaluate prototype advanced wind turbines and to provide a bridge from development programs to commercial purchases. This report provides an overview and comparisons of site and operating experiences at the seven TVP projects in Ft. Davis, Texas; Searsburg, Vermont; Kotzebue, Alaska; Glenmore, Wisconsin; Algona, Iowa; Springview, Nebraska; and Big Spring, Texas. The lessons learned throughout the prog...
A Functional Test Procedure for the improved commissioning of a VAV system
In the context of the IEA40 research project, a specification of a �Functional Test Procedure� was progressively developed using the CA-MET building in Namur as real size test bench for the application and validation of the procedure. The target system is a typical VAV system devoted to the ventilation, cooling and air conditioning functions. The procedure consists in a series of operations to be applied to the system, considered as a set of connected components and taking into account the following constraints: 1) time availability 2) intrinsic limitations of the system 3) reference performances. The proposed procedure is divided in two sets of actions: 1) a number of preliminary actions allowing to take the best benefit of the subsequent phases: a) identification of available measurement points b) identification of actuators characteristics c) identification of control strategies d) aeraulic network calculations e) selection of measurement techniques and experimental design 2) the verification tasks themselves: The philosophy of the verification process is to bring the system into a number of states which allowed each specific check to be carried out. The organisation of the procedure tries to optimize the time spent for commissioning by logically sequencing the operations according to the following order: 1) test in manual (ie not controlled by the BEMS) operation 2) test in manual (ie not controlled by the BEMS) stop 3) test in normal operation 4) test at maximum flowrate 5) test at minimum flowrate 6) test in automatic stop The paper will provide the specific operations to be carried out at each step and will illustrate the whole process with the prototyping work performed on the CA-MET building in Namur.
Andre, P.; Lacote, P.; Aparecida Silva, C.; Hannay, J.; Lebrun, J.
W.C. Adams
Independent verification and benchmark testing of the UNSAT-H computer code, Version 2. 0
Independent testing of the UNSAT-H computer code, Version 2.0, was conducted to establish confidence that the code is ready for general use in performance assessment applications. Verification and benchmark test problems were used to check the correctness of the FORTRAN coding, computational efficiency and accuracy of the numerical algorithm, and code, capability to simulate diverse hydrologic conditions. This testing was performed using a structured and quantitative evaluation protocol. The protocol consisted of: blind testing, independent applications, maintaining test equivalence and use of graduated test cases. Graphical comparisons and calculation of the relative root mean square (RRMS) values were used as indicators of accuracy and consistency levels. Four specific ranges of RRMS values were chosen for in judging the quality of the comparison. Four verification test problems were used to check the computational accuracy of UNSAT-H in solving the uncoupled fluid flow and heat transport equations. Five benchmark test problems, ranging in complexity, were used to check the code's simulation capability. Some of the benchmark test cases include comparisons with laboratory and field data. The primary findings of this independent testing is that the UNSAT-H is fully operationaL In general, the test results showed that computer code produced unsaturated flow simulations with excellent stability, reasonable accuracy, and acceptable speed. This report describes the technical basis, approach, and results of the independent testing. A number of future refinements to the UNSAT-H code are recommended that would improve: computational speed and accuracy, code usability and code portability. Aspects of the code that warrant further testing are outlined.
Baca, R.G.; Magnuson, S.O.
Independent verification and benchmark testing of the UNSAT-H computer code, Version 2.0
Independent testing of the UNSAT-H computer code, Version 2.0, was conducted to establish confidence that the code is ready for general use in performance assessment applications. Verification and benchmark test problems were used to check the correctness of the FORTRAN coding, computational efficiency and accuracy of the numerical algorithm, and code, capability to simulate diverse hydrologic conditions. This testing was performed using a structured and quantitative evaluation protocol. The protocol consisted of: blind testing, independent applications, maintaining test equivalence and use of graduated test cases. Graphical comparisons and calculation of the relative root mean square (RRMS) values were used as indicators of accuracy and consistency levels. Four specific ranges of RRMS values were chosen for in judging the quality of the comparison. Four verification test problems were used to check the computational accuracy of UNSAT-H in solving the uncoupled fluid flow and heat transport equations. Five benchmark test problems, ranging in complexity, were used to check the code`s simulation capability. Some of the benchmark test cases include comparisons with laboratory and field data. The primary findings of this independent testing is that the UNSAT-H is fully operationaL In general, the test results showed that computer code produced unsaturated flow simulations with excellent stability, reasonable accuracy, and acceptable speed. This report describes the technical basis, approach, and results of the independent testing. A number of future refinements to the UNSAT-H code are recommended that would improve: computational speed and accuracy, code usability and code portability. Aspects of the code that warrant further testing are outlined.
Building Technologies Office: Current Test Procedure Waivers
Test Procedure Test Procedure Waivers to someone by E-mail Share Building Technologies Office: Current Test Procedure Waivers on Facebook Tweet about Building Technologies Office: Current Test Procedure Waivers on Twitter Bookmark Building Technologies Office: Current Test Procedure Waivers on Google Bookmark Building Technologies Office: Current Test Procedure Waivers on Delicious Rank Building Technologies Office: Current Test Procedure Waivers on Digg Find More places to share Building Technologies Office: Current Test Procedure Waivers on AddThis.com... About Standards & Test Procedures Implementation, Certification & Enforcement Rulemakings & Notices Current Rulemakings & Notices Test Procedure Waivers Recent Federal Register Notices How to Participate or Comment
HYDRA-II: A hydrothermal analysis computer code: Volume 3, Verification/validation assessments
HYDRA-II is a hydrothermal computer code capable of three-dimensional analysis of coupled conduction, convection, and thermal radiation problems. This code is especially appropriate for simulating the steady-state performance of spent fuel storage systems. The code has been evaluated for this application for the US Department of Energy's Commercial Spent Fuel Management Program. HYDRA-II provides a finite difference solution in cartesian coordinates to the equations governing the conservation of mass, momentum, and energy. A cylindrical coordinate system may also be used to enclose the cartesian coordinate system. This exterior coordinate system is useful for modeling cylindrical cask bodies. The difference equations for conservation of momentum are enhanced by the incorporation of directional porosities and permeabilities that aid in modeling solid structures whose dimensions may be smaller than the computational mesh. The equation for conservation of energy permits modeling of orthotropic physical properties and film resistances. Several automated procedures are available to model radiation transfer within enclosures and from fuel rod to fuel rod. The documentation of HYDRA-II is presented in three separate volumes. Volume I - Equations and Numerics describes the basic differential equations, illustrates how the difference equations are formulated, and gives the solution procedures employed. Volume II - User's Manual contains code flow charts, discusses the code structure, provides detailed instructions for preparing an input file, and illustrates the operation of the code by means of a model problem. This volume, Volume III - Verification/Validation Assessments, provides a comparison between the analytical solution and the numerical simulation for problems with a known solution. This volume also documents comparisons between the results of simulations of single- and multiassembly storage systems and actual experimental data. 11 refs., 55 figs., 13 tabs.
McCann, R.A.; Lowery, P.S.
Investigation of the spatial resolution of an online dose verification device
Purpose: The aim of this work is to characterize a new online dose verification device, COMPASS transmission detector array (IBA Dosimetry, Schwarzenbruck, Germany). The array is composed of 1600 cylindrical ionization chambers of 3.8 mm diameter, separated by 6.5 mm center-to-center spacing, in a 40 x 40 arrangement. Methods: The line spread function (LSF) of a single ion chamber in the detector was measured with a narrow slit collimator for a 6 MV photon beam. The 0.25 x 10 mm{sup 2} slit was formed by two machined lead blocks. The LSF was obtained by laterally translating the detector in 0.25 mm steps underneath the slit over a range of 24 mm and taking a measurement at each step. This measurement was validated with Monte Carlo simulation using BEAMnrc and DOSXYZnrc. The presampling modulation transfer function (MTF), the Fourier transform of the line spread function, was determined and compared to calculated (Monte Carlo and analytical) MTFs. Two head-and-neck intensity modulated radiation therapy (IMRT) fields were measured using the device and were used to validate the LSF measurement. These fields were simulated with the BEAMnrc Monte Carlo model, and the Monte Carlo generated incident fluence was convolved with the 2D detector response function (derived from the measured LSF) to obtain calculated dose. The measured and calculated dose distributions were then quantitatively compared using {chi}-comparison criteria of 3% dose difference and 3 mm distance-to-agreement for in-field points (defined as those above the 10% maximum dose threshold). Results: The full width at half-maximum (FWHM) of the measured detector response for a single chamber is 4.3 mm, which is comparable to the chamber diameter of 3.8 mm. The pre-sampling MTF was calculated, and the resolution of one chamber was estimated as 0.25 lp/mm from the first zero crossing. For both examined IMRT fields, the {chi}-comparison between measured and calculated data show good agreement with 95.1% and 96.3% of in-field points below {chi} of 1.0 for fields 1 and 2, respectively (with an average {chi} of 0.29 for IMRT field 1 and 0.24 for IMRT field 2). Conclusions: The LSF for a new novel online detector has been measured at 6 MV using a narrow slit technique, and this measurement has been validated by Monte Carlo simulation. The detector response function derived from line spread function has been applied to recover measured IMRT fields. The results have shown that the device measures IMRT fields accurately within acceptable tolerance.
Asuni, G.; Rickey, D. W.; McCurdy, B. M. C. [Division of Medical Physics, CancerCare Manitoba, 675 McDermot Avenue, Winnipeg, Manitoba R3E 0V9 (Canada) and Department of Physics and Astronomy, University of Manitoba, Winnipeg, Manitoba R3T 2N2 (Canada); Division of Medical Physics, CancerCare Manitoba, 675 McDermot Avenue, Winnipeg, Manitoba R3E 0V9 (Canada); Department of Physics and Astronomy, University of Manitoba, Winnipeg, Manitoba R3T 2N2 (Canada) and Department of Radiology, University of Manitoba, Winnipeg, Manitoba R3A 1R9 (Canada)
Application of Forecast Verification Science to Operational River Forecasting in the U.S. National Weather Service
Forecast verification in operational hydrology has been very limited to date, mainly due to the complexity of verifying both forcing input forecasts and hydrologic forecasts on multiple space�time scales. However, forecast verification needs to ...
Julie Demargne; Mary Mullusky; Kevin Werner; Thomas Adams; Scott Lindsey; Noreen Schwein; William Marosi; Edwin Welles
The Design Procedure Language Manual
This manual describes the Design Procedure Language (DPL) for LSI design. DPL creates and maintains a representation of a design in a hierarchically organized, object-oriented LISP data-base. Designing in DPL involves ...
Batali, John
IES Calibration and Mapping Procedures
The procedures used in the Synoptic Ocean Prediction experiment for calibration of inverted echo sounder (IES) travel time ? data have led to substantially improved accuracy. In previous work, ? was converted to main thermocline depth ZT using ...
Karen L. Tracey; Stephan D. Howden; D. Randolph Watts
NFRC Procedures for Applied Films
Applied Films Applied Films Last update: 12/10/2013 07:29 PM NFRC now has a procedure for adding applied films to substrates in Optics5 and importing those applied film constructions into WINDOW5 to be used in a whole product calculation. The information presented below is provided to help simulators with this process. Feel free to contact us at email@example.com with questions or comments. NFRC Applied Film Procedure Applied Film Procedures (approved by NFRC) (PDF file) Approved Applied Film List (IGDB 33.0) (PDF file) NFRC Laminate Procedure Training Powerpoint with Examples (This Powerpoint presentation was used in the NFRC web based training sessions in December 2006 and January 2007) PowerPoint Presentation (PPT file) PowerPoint Presentation (PDF file) Help and Troubleshooting
Executive Summary The International Atomic Energy Agency (IAEA) implements nuclear safeguards and verifies countries are compliant with their international nuclear safeguards agreements. One of the key provisions in the safeguards agreement is the requirement that the country provide nuclear facility design and operating information to the IAEA relevant to safeguarding the facility, and at a very early stage. , This provides the opportunity for the IAEA to verify the safeguards-relevant features of the facility and to periodically ensure that those features have not changed. The national authorities (State System of Accounting for and Control of Nuclear Material - SSAC) provide the design information for all facilities within a country to the IAEA. The design information is conveyed using the IAEA�s Design Information Questionnaire (DIQ) and specifies: (1) Identification of the facility�s general character, purpose, capacity, and location; (2) Description of the facility�s layout and nuclear material form, location, and flow; (3) Description of the features relating to nuclear material accounting, containment, and surveillance; and (4) Description of existing and proposed procedures for nuclear material accounting and control, with identification of nuclear material balance areas. The DIQ is updated as required by written addendum. IAEA safeguards inspectors examine and verify this information in design information examination (DIE) and design information verification (DIV) activities to confirm that the facility has been constructed or is being operated as declared by the facility operator and national authorities, and to develop a suitable safeguards approach. Under the Next Generation Safeguards Initiative (NGSI), the National Nuclear Security Administrations (NNSA) Office of Non-Proliferation and International Security identified the need for more effective and efficient verification of design information by the IAEA for improving international safeguards in the future. Consequently, the NNSA Office of International Regimes and Agreements (NA-243) sponsored a team of U.S. Department of Energy National Laboratory nuclear safeguards experts and technologists to conduct a workshop on methods and technologies for improving this activity, under the ASA-100 Advanced Safeguards Approaches Project. The workshop focused on reviewing and discussing the fundamental safeguards needs, and presented technology and/or methods that could potentially address those needs more effectively and efficiently. Conclusions and Recommendations for technology to enhance the performance of DIV inspections are presented by the workshop team.
Richard Metcalf; Robert Bean
ICDF Complex Waste Profile and Verification Sample Guidance
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
Introduction to Measurement & Verification for DOE Super ESPC Projects
Introduction to M&V Introduction to M&V Introduction to Measurement & Verification for DOE Super ESPC Projects June 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at http://www1.eere.energy.gov/femp/financing/superespcs_mvresources.html. Introduction to M&V Contents WHY MEASURE AND VERIFY? .................................................................................... 1 OVERVIEW OF M&V ...................................................................................................... 1
Spatial clearance verification using 3D laser range scanner and augmented reality
A spatial clearance verification system for supporting nuclear power plant dismantling work was developed and evaluated by a subjective evaluation. The system employs a three-dimensional laser range scanner to obtain threedimensional surface models of ... Keywords: augmented reality, decommissioning, laser range scanner, nuclear power plants, spatial clearance verification
Hirotake Ishii; Shuhei Aoyama; Yoshihito Ono; Weida Yan; Hiroshi Shimoda; Masanori Izumi
Writer-independent off-line signature verification using surroundedness feature
The paper presents a novel set of features based on surroundedness property of a signature (image in binary form) for off-line signature verification. The proposed feature set describes the shape of a signature in terms of spatial distribution of black ... Keywords: Feature selection, Shape, Signature verification, Surroundedness, Texture
Rajesh Kumar; J. D. Sharma; Bhabatosh Chanda
A CSP-based framework for the specification, verification, and implementation of adaptive systems
The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass ... Keywords: adaptive systems, csp, modeling, verification
Bj�rn Bartels; Moritz Kleine
A novel verification technique to uncover out-of-order DUV behaviors
Post-partitioning verification has to deal with abstract data, implementation artifacts, and the order of events may not be preserved in the DUV due to the concurrency treatment in the golden model. Existing techniques are limited either by the use of ... Keywords: bipartite graphs, white-box verification
Gabriel Marcilio; Luiz C. V. Santos; Bruno Albertini; Sandro Rigo
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number of homogeneous processes. To cope with this problem we combine ... Keywords: Asynchronous networks, Induction, Invariant generation, Model checking, Program verification, Simulation
Igor V. Konnov; Vladimir A. Zakharov
Verification & validation by docking: a case study of agent-based models of Anopheles gambiae
In this paper, using the technique of docking, we perform verification & validation (V&V) of agent-based simulation models that simulate the life cycle of Anopheles gambiae, the primary vector for malaria transmission. Working with one ... Keywords: Anopheles gambiae, docking, malaria epidemiology, verification & validation
S. M. Niaz Arifin; Gregory J. Davis; Ying Zhou
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Many applications (such as system and user monitoring, runtime verification, diagnosis, observation-based decision making, intention recognition) all require to detect the occurrence of an event in a system, which entails the ability to observe the system. ... Keywords: 68Q17, 68U99, 68W25, Complexity, Event detection, Logic programming, Runtime verification, Temporal logic
Marco Alberti; Pierangelo Dell'Acqua; Lu�s Moniz Pereira
Using position extrema points to capture shape in on-line handwritten signature verification
There is considerable interest in authentication based on handwritten signature verification (HSV) because of the long-standing tradition of its use in many common authentication tasks. HSV may be considered superior to many other biometric authentication ... Keywords: Authentication, Biometrics, Handwritten signature verification
G. K. Gupta; R. C. Joyce
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Java+ITP is an experimental tool for the verification of properties of a sequential imperative subset of the Java language. It is based on an algebraic continuation passing style (CPS) semantics of this fragment as an equational theory in Maude. It supports ... Keywords: Hoare logic, Java, algebraic semantics, program verification
Ralf Sasse; Jos� Meseguer
Comments for A Conference on Verification in the 21st Century
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
Review of the Y-1-12 Implementation Verification Review Processes, June 2012
Y-12 Implementation Verification Review Y-12 Implementation Verification Review Processes May 2011 June 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy i Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope ...................................................................................................................................................... 1
New brown dwarfs in Upper Sco using UKIDSS Galactic Cluster Survey science verification data
We present first results from a deep (J = 18.7), wide-field (6.5 square degrees) infrared (ZYJHK) survey in the Upper Sco association conducted within the science verification phase of the UKIRT Infrared Deep Sky Survey Galactic Cluster Survey (GCS). Cluster members define a sequence well separated from field stars in the (Z-J,Z) colour-magnitude diagram. We have selected a total of 164 candidates with J = 10.5-18.7 mag from the (Z-J,Z) and (Y-J,Y) diagrams. We further investigated the location of those candidates in the other colour-magnitude and colour-colour diagrams to weed out contaminants. The cross-correlation of the GCS catalogue with the 2MASS database confirms the membership of 116 photometric candidates down to 20 Jupiter masses as they lie within a 2 sigma circle centred on the association mean motion. The final list of cluster members contains 129 sources with masses between 0.3 and 0.007 Msun. We extracted a dozen new low-mass brown dwarfs below 20 Mjup, the limit of previous surveys in the region. Finally, we have derived the mass function in Upper Sco over the 0.3-0.01 Msun mass range, best fit by a single segment with a slope of index alpha = 0.6+/-0.1, in agreement with previous determination in open clusters.
N. Lodieu; N. C. Hambly; R. F. Jameson; S. T. Hodgkin; G. Carraro; T. R. Kendall
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.
Microsoft Word - 2010 SRS ISMS Verification _Activity Report...
on documentation and implementation of SRR processes, policies, procedures, and manuals at the institutional, facility, and activity level. The evaluation included detailed...
Nuclear Resonance Fluorescence for Material Verification in Dismantlement
Nuclear resonance fluorescence (NRF) is a well-established physical process that provides an isotope-specific signature that can be exploited for isotopic detection and characterization of samples. Pacific Northwest National Laboratory has been investigating possible applications of NRF for national security. Of the investigated applications, the verification of material in the dismantlement process is the most promising. Through a combination of benchmarking measurements and radiation transport modeling, we have shown that NRF techniques with existing bremsstrahlung photon sources and a modest detection system can be used to detect highly enriched uranium in the quantities and time limits relevant to the dismantlement process. Issues such as orientation, placement and material geometry do not significantly impact the sensitivity of the technique. We have also investigated how shielding of the uranium would be observed through non-NRF processes to enable the accurate assay of the material. This paper will discuss our findings on how NRF and photon-interrogation techniques may be applied to the material verification in the dismantlement process.
Warren, Glen A.; Detwiler, Rebecca S.
Processes and Procedures for Application of CFD to Nuclear Reactor Safety Analysis
Traditionally, nuclear reactor safety analysis has been performed using systems analysis codes such as RELAP5, which was developed at the INL. However, goals established by the Generation IV program, especially the desire to increase efficiency, has lead to an increase in operating temperatures for the reactors. This increase pushes reactor materials to operate towards their upper temperature limits relative to structural integrity. Because there will be some finite variation of the power density in the reactor core, there will be a potential for local hot spots to occur in the reactor vessel. Hence, it has become apparent that detailed analysis will be required to ensure that local �hot spots� do not exceed safety limits. It is generally accepted that computational fluid dynamics (CFD) codes are intrinsically capable of simulating fluid dynamics and heat transport locally because they are based on �first principles.� Indeed, CFD analysis has reached a fairly mature level of development, including the commercial level. However, CFD experts are aware that even though commercial codes are capable of simulating local fluid and thermal physics, great care must be taken in their application to avoid errors caused by such things as inappropriate grid meshing, low-order discretization schemes, lack of iterative convergence and inaccurate time-stepping. Just as important is the choice of a turbulence model for turbulent flow simulation. Turbulence models model the effects of turbulent transport of mass, momentum and energy, but are not necessarily applicable for wide ranges of flow types. Therefore, there is a well-recognized need to establish practices and procedures for the proper application of CFD to simulate flow physics accurately and establish the level of uncertainty of such computations. The present document represents contributions of CFD experts on what the basic practices, procedures and guidelines should be to aid CFD analysts to obtain accurate estimates of the flow and energy transport as applied to nuclear reactor safety. However, it is expected that these practices and procedures will require updating from time to time as research and development affect them or replace them with better procedures. The practices and procedures are categorized into five groups. These are: 1.Code Verification 2.Code and Calculation Documentation 3.Reduction of Numerical Error 4.Quantification of Numerical Uncertainty (Calculation Verification) 5.Calculation Validation. These five categories have been identified from procedures currently required of CFD simulations such as those required for publication of a paper in the ASME Journal of Fluids Engineering and from the literature such as Roache [1998]. Code verification refers to the demonstration that the equations of fluid and energy transport have been correctly coded in the CFD code. Code and calculation documentation simply means that the equations and their discretizations, etc., and boundary and initial conditions used to pose the fluid flow problem are fully described in available documentation. Reduction of numerical error refers to practices and procedures to lower numerical errors to negligible or very low levels as is reasonably possible (such as avoiding use of first-order discretizations). The quantification of numerical uncertainty is also known as calculation verification. This means that estimates are made of numerical error to allow the characterization of the numerical
Richard W. Johnson; Richard R. Schultz; Patrick J. Roache; Ismail B. Celik; William D. Pointer; Yassin A. Hassan
Flammable gas interlock spoolpiece flow response test plan and procedure
The purpose of this test plan and procedure is to test the Whittaker electrochemical cell and the Sierra Monitor Corp. flammable gas monitors in a simulated field flow configuration. The sensors are used on the Rotary Mode Core Sampling (RMCS) Flammable Gas Interlock (FGI), to detect flammable gases, including hydrogen and teminate the core sampling activity at a predetermined concentration level.
Schneider, T.C., Fluor Daniel Hanford
Federal Agency NEPA Implementing Procedures
Agency NEPA Implementing Procedures Agency NEPA Implementing Procedures Note: Some Departments' agencies have their own NEPA implementing procedures. To access Department-wide NEPA implementing procedures, click on the name of the Federal Department. To access NEPA implementing procedures for Department's agencies, click on the provided links. Department/ Agency: Division: Link: Department of Agriculture Agricultural Research Service http://www.ecfr.gov/cgi- in/text- idx?c=ecfr&SID=47c103e07fd64e933c7f74c 4b3c4ac9a&rgn=div5&view=text&node=7:6. 1 2 1 8&id 7 Animal and Plant Health Inspection Service http://www.ecfr.gov/cgi-bin/text- idx?c=ecfr&SID=47c103e07fd64e933c7f74c 4b3c4ac9a&rgn=div5&view=text&node=7:5. 184.108.40.206&idno=7 Farm Service Agency http://www.ecfr.gov/cgi-bin/text-
Exploring the Possible Use of Information Barriers for future Biological Weapons Verification Regimes
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
DOE Technical Standards Program: Procedures
Department of Energy Technical Standards Procedures Department of Energy Technical Standards Procedures Office of Nuclear Safety The following procedures should be used to write, revise, or maintain a DOE technical standard. They are also used to convert a DOE technical standard to a non-government standard or to form a topical committee. Table of Contents (TSPP-00) Program Overview and Responsibilities (TSPP-01) Initiating DOE Technical Standards (TSPP-02) Use of Voluntary Consensus Standards and Interaction with Standards Development Organizations (TSPP-03) Developing DOE Technical Standard (TSPP-04) Coordination of Technical Standards (TSPP-05) - Draft In Concurrence Resolution - TSPP-06-2009 is the currently approved TSPP that addresses coordination of DOE Technical Standards. Approving and Issuing DOE Technical Standards (TSPP-06)
Radiation control standards and procedures
This manual contains the Radiation Control Standards'' and Radiation Control Procedures'' at Hanford Operations which have been established to provide the necessary control radiation exposures within Irradiation Processing Department. Provision is also made for including, in the form of Bulletins'', other radiological information of general interest to IPD personnel. The purpose of the standards is to establish firm radiological limits within which the Irradiation Processing Department will operate, and to outline our radiation control program in sufficient detail to insure uniform and consistent application throughout all IPD facilities. Radiation Control Procedures are intended to prescribe the best method of accomplishing an objective within the limitations of the Radiation Control Standards. A procedure may be changed at any time provided the suggested changes is generally agreeable to management involved, and is consistent with department policies and the Radiation Control Standards.
MITG test procedure and results
Elements and modules for Radioisotope Thermoelectric Generator have been performance tested since the inception of the RTG program. These test articles seldom resembled flight hardware and often lacked adequate diagnostic instrumentation. Because of this, performance problems were not identified in the early stage of program development. The lack of test data in an unexpected area often hampered the development of a problem solution. A procedure for conducting the MITG Test was developed in an effort to obtain data in a systematic, unambiguous manner. This procedure required the development of extensive data acquisition software and test automation. The development of a facility to implement the test procedure, the facility hardware and software requirements, and the results of the MITG testing are the subject of this paper.
Eck, M.B.; Mukunda, M.
Measurements of magnetic field alignment
The procedure for installing Superconducting Super Collider (SSC) dipoles in their respective cryostats involves aligning the average direction of their field with the vertical to an accuracy of 0.5 mrad. The equipment developed for carrying on these measurements is described and the measurements performed on the first few prototypes SSC magnets are presented. The field angle as a function of position in these 16.6 m long magnets is a characteristic of the individual magnet with possible feedback information to its manufacturing procedure. A comparison of this vertical alignment characteristic with a magnetic field intensity (by NMR) characteristic for one of the prototypes is also presented. 5 refs., 7 figs.
Kuchnir, M.; Schmidt, E.E.
Building Technologies Office: Standards and Test Procedures
Standards and Test Standards and Test Procedures to someone by E-mail Share Building Technologies Office: Standards and Test Procedures on Facebook Tweet about Building Technologies Office: Standards and Test Procedures on Twitter Bookmark Building Technologies Office: Standards and Test Procedures on Google Bookmark Building Technologies Office: Standards and Test Procedures on Delicious Rank Building Technologies Office: Standards and Test Procedures on Digg Find More places to share Building Technologies Office: Standards and Test Procedures on AddThis.com... About Standards & Test Procedures Implementation, Certification & Enforcement Rulemakings & Notices Further Guidance ENERGY STAR® Popular Links Success Stories Previous Next Lighten Energy Loads with System Design. Learn More.
Past DOE Technical Standards Program Procedures | Department...
Information Center DOE Technical Standards Program DOE Technical Standards Procedures Past DOE Technical Standards Program Procedures Past DOE Technical Standards Program...
Building Technologies Office: Test Procedure Waivers
Waivers on Twitter Bookmark Building Technologies Office: Test Procedure Waivers on Google Bookmark Building Technologies Office: Test Procedure Waivers on Delicious Rank...
External Independent Review (EIR) Standard Operating Procedure...
Standard Operating Procedure (SOP) External Independent Review (EIR) Standard Operating Procedure (SOP) EIR SOP.pdf More Documents & Publications ICR-ICE Standard Operating...
EVMS Surveillance Standard Operating Procedure (ESSOP) | Department...
Reporting System (PARS II) INDEPENDENT COST REVIEW (ICR) and INDEPENDENT COST ESTIMATE (ICE) Standard Operating Procedures ICR-ICE Standard Operating Procedures (Update Sept 2013)...
Building Technologies Office: Test Procedure Development and...
Test Procedure Development and Revision to someone by E-mail Share Building Technologies Office: Test Procedure Development and Revision on Facebook Tweet about Building...
Procedures and Instructions | Department of Energy
Access Training Records Management Processes Procedure for Conducting a Records Inventory (PDF) Procedure for Preparing a Records Inventory and Disposition Schedule (RIDS)...
DNS Policies & Procedures | Department of Energy
DNS Policies & Procedures DNS Policies & Procedures DNS Policy Every Federal agency must use only .gov, .mil, or Fed.us domains unless the agency head explicitly determines another...
... The recording drives used in this study include the Sony DRU-510A, 700A , 800A, Pioneer DVR-A09 , Plextor PX-716SA and NEC ND -2510A . ...
EV America Skid Test Procedure
2 2 Revision 1 Effective June 2008 Traction System Test Prepared by Electric Transportation Applications Prepared by: _______________________________ Date:__________ Garrett P. Beauregard Approved by: ______________________________________________ Date: _______________ Donald B. Karner Procedure ETA-GTP002 Revision 1 2 Table of Contents 1 Objective ..................................................................................................................... 3 2 Purpose........................................................................................................................ 3 3 Documentation............................................................................................................
Handbook of Academic Requirements & Procedures
Handbook of Academic Requirements & Procedures for the Chemistry Graduate Program PLEASE NOTE: This version of the Handbook must be used by students who start during or after the Spring 2012 semester is a central activity. 1.2 Purpose and Content of the Handbook. A detailed account of the academic requirements
Kounaves, Samuel P.
Handbook of Academic Requirements & Procedures for the Chemistry Graduate Program PLEASE NOTE: This version of the Handbook can be used by students who started during or before the Fall 2011 semester activity. 1.2 Purpose and Content of the Handbook. A detailed account of the academic requirements
BRITISH COLUMBIA Gully Assessment Procedure
strategies and #12;Gully Assessment Procedure Guidebook iv prescriptions designed to accommodate resource).........................................................15 Section 5 Fan Destabilization Potential OPR 37 (1)(c), WLFMR 64 (2)(a......................................30 3. Design and construction of roads across gully systems: when to consult a qualified registered
FLORIDA STATE UNIVERSITY Procedures for
will be required that describes the purpose for the costs and the direct benefit to the proposed project's scopeFLORIDA STATE UNIVERSITY Procedures for Participant Support Costs Effective: May 15, 2006 Budgeting for Participant Costs Whenever Participant Support Costs are proposed in a budget, a detailed justification
Weston, Ken
3 3 Revision 1 Effective June 2008 Battery Capacity and Depth of Discharge Test Prepared by Electric Transportation Applications Prepared by: _______________________________ Date:__________ Garrett P. Beauregard Approved by: ______________________________________________ Date: _______________ Donald B. Karner Procedure ETA-GTP003 Revision 1 2 Table of Contents 1 Objective ..................................................................................................................... 3 2 Purpose........................................................................................................................ 3 3 Documentation............................................................................................................
4 4 Revision 1 Effective June 2008 Electromagnetic Interference and Susceptibility Test Prepared by Electric Transportation Applications Prepared by: _______________________________ Date:__________ Garrett P. Beauregard Approved by: ______________________________________________ Date: _______________ Donald B. Karner Procedure ETA-GTP004 Revision 1 2 Table of Contents 1 Objective ..................................................................................................................... 3 2 Purpose........................................................................................................................ 3 3 Documentation............................................................................................................
Independent Verification Final Summary Report for the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee
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.
Letter Report - Verification Survey of Final Grids at the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee
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
Measurement and Verification (M&V) Planning Tool
2.7a 2.7a M&V Planning Tool Instructions M&V Planning Tool June 17, 2003 Members of the M&V Planning Working Group 1. Satish Kumar, Lawrence Berkeley National Laboratory 2. Venkat Kumar, Johnson Controls 3. Terry Sharp, Oak Ridge National Laboratory 4. Gopal Shiddapur, NORESCO (Formerly with Duke Energy Solutions) 5. Mark Stetz, Nexant, Inc. 6. Lia Webster, Nexant, Inc. Goals 1. To provide a framework that would help in the development of the measurement & verification (M&V) plans by introducing M&V specific issues at an early project development stage. 2. Keep the framework as simple as possible to increase its usability. 3. Provide users of the FEMP M&V Guidelines, version 2.2, a simple, flexible, and customizable
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to analyse the dynamics of such processes, often based on differential equations, are not always successful. As an alternative to differential equations, this paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations. A software environment has been developed for TTL, that supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different domains. 1.
Tibor Bosse; Catholijn M. Jonker; Lourens Van Der Meij; Alexei Sharpanskykh; Jan Treur
Battery Technology Life Verification Test Manual Revision 1
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 user�s guide to the corresponding software tool is now provided in the Battery Life Estimator (BLE) Manual (Reference 2).
Jon P. Christophersen
2005 JASON Summer Study Verification and Validation Charge Program Summary
05 JASON Summer Study 05 JASON Summer Study Verification and Validation Charge Program Summary The Advanced Simulation and Computing (ASC) Program has been driven since its inception by the need to ensure the safety, reliability and performance of the nuclear weapons stockpile without nuclear testing through the development of simulation and modeling capability and the deployment of that capability on state-of-the-art high performance computing platforms. As the devices in the stockpile age and as necessary changes are made with technologies or materials that are new to the stockpile, simulation can give laboratory experts, policy makers and DoD customers increased confidence that the nuclear weapons in the stockpile will perform as expected. The stockpile stewardship program's increasing
6.1 6.1 Example M&V Plan Example Measurement & Verification Plan for a Super ESPC Project February 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at www.eere.energy.gov/femp/financing/superespcs_mvresources.cfm. Comments should be sent to email@example.com. 6.1 Example M&V Plan Contents 1. EXECUTIVE SUMMARY / M&V OVERVIEW AND PROPOSED SAVINGS CALCULATIONS ................................................................................................... 2 1.1
Guidelines on Airflow and Refrigerant Charge Verification and Diagnostics
GUIDELINES ON AIRFLOW AND GUIDELINES ON AIRFLOW AND REFRIGERANT CHARGE VERIFICATION AND DIAGNOSTICS Alliance for Residential Building Innovation David Springer, Davis Energy Group Context Airflow and refrigerant charge defects in existing air conditioning systems are well documented Failure to address these problems represents a missed opportunity for home performance contractors To ensure cost-effective solutions, a systematic approach is needed to quickly and accurately diagnose and resolve problems Target: Home performance contractors HVAC contractors & technicians The Impact of Defects Non-TXV TXV 15% duct leakage 1 -18.10% 23% low airflow -4.70% 50% condenser coil blockage -5.80% 50% evaporator coil blockage 2 -4.60% -4.20% 20% overcharge -3.50% -7.90%
Verification and validation guidelines for high integrity systems: Appendices A--D, Volume 2
The following material is furnished as an experimental guide for the use of risk based classification for nuclear plant protection systems. As shown in Sections 2 and 3 of this report, safety classifications for the nuclear field are application based (using the function served as the primary criterion), whereas those in use by the process industry and the military are risk based. There are obvious obstacles to the use of risk based classifications (and the associated integrity levels) for nuclear power plants, yet there are also many potential benefits, including: it considers all capabilities provided for dealing with a specific hazard, thus assigning a lower risk where multiple protection is provided (either at the same or at lower layers); this permits the plant management to perform trade-offs between systems that meet the highest qualification levels or multiple diverse systems at lower qualification levels; it motivates the use (and therefore also the development) of protection systems with demonstrated low failure probability; and it may permit lower cost process industry equipment of an established integrity level to be used in nuclear applications (subject to verification of the integrity level and regulatory approval). The totality of these benefits may reduce the cost of digital protection systems significantly an motivate utilities to much more rapid upgrading of the capabilities than is currently the case. Therefore the outline of a risk based classification is presented here, to serve as a starting point for further investigation and possible trial application.
Hecht, H,; Hecht, M.; Dinsmore, G.; Hecht, S.; Tang, D. [SoHaR, Inc., Beverly Hills, CA (United States)
Developing a monitoring and verification plan with reference to the Australian Otway CO2 pilot project
The Australian Cooperative Research Centre for Greenhouse Gas Technologies (CO2CRC) is currently injecting 100,000 tons of CO{sub 2} in a large-scale test of storage technology in a pilot project in southeastern Australia called the CO2CRC Otway Project. The Otway Basin, with its natural CO{sub 2} accumulations and many depleted gas fields, offers an appropriate site for such a pilot project. An 80% CO{sub 2} stream is produced from a well (Buttress) near the depleted gas reservoir (Naylor) used for storage (Figure 1). The goal of this project is to demonstrate that CO{sub 2} can be safely transported, stored underground, and its behavior tracked and monitored. The monitoring and verification framework has been developed to monitor for the presence and behavior of CO{sub 2} in the subsurface reservoir, near surface, and atmosphere. This monitoring framework addresses areas, identified by a rigorous risk assessment, to verify conformance to clearly identifiable performance criteria. These criteria have been agreed with the regulatory authorities to manage the project through all phases addressing responsibilities, liabilities, and to assure the public of safe storage.
Dodds, K.; Daley, T.; Freifeld, B.; Urosevic, M.; Kepic, A.; Sharma, S.
General-Purpose Heat Source Safety Verification Test program: Edge-on flyer plate tests
The radioisotope thermoelectric generator (RTG) that will supply power for the Galileo and Ulysses space missions contains 18 General-Purpose Heat Source (GPHS) modules. The GPHS modules provide power by transmitting the heat of STYPu -decay to an array of thermoelectric elements. Each module contains four STYPuO2-fueled clads and generates 250 W(t). Because the possibility of a launch vehicle explosion always exists, and because such an explosion could generate a field of high-energy fragments, the fueled clads within each GPHS module must survive fragment impact. The edge-on flyer plate tests were included in the Safety Verification Test series to provide information on the module/clad response to the impact of high-energy plate fragments. The test results indicate that the edge-on impact of a 3.2-mm-thick, aluminum-alloy (2219-T87) plate traveling at 915 m/s causes the complete release of fuel from capsules contained within a bare GPHS module, and that the threshold velocity sufficient to cause the breach of a bare, simulant-fueled clad impacted by a 3.5-mm-thick, aluminum-alloy (5052-T0) plate is approximately 140 m/s.
George, T.G.
Independent verification of plutonium decontamination on Johnston Atoll (1992--1996)
The Field Command, Defense Special Weapons Agency (FCDSWA) (formerly FCDNA) contracted Oak Ridge National Laboratory (ORNL) Environmental Technology Section (ETS) to conduct an independent verification (IV) of the Johnston Atoll (JA) Plutonium Decontamination Project by an interagency agreement with the US Department of Energy in 1992. The main island is contaminated with the transuranic elements plutonium and americium, and soil decontamination activities have been ongoing since 1984. FCDSWA has selected a remedy that employs a system of sorting contaminated particles from the coral/soil matrix, allowing uncontaminated soil to be reused. The objective of IV is to evaluate the effectiveness of remedial action. The IV contractor`s task is to determine whether the remedial action contractor has effectively reduced contamination to levels within established criteria and whether the supporting documentation describing the remedial action is adequate. ORNL conducted four interrelated tasks from 1992 through 1996 to accomplish the IV mission. This document is a compilation and summary of those activities, in addition to a comprehensive review of the history of the project.
Wilson-Nichols, M.J.; Wilson, J.E.; McDowell-Boyer, L.M.; Davidson, J.R.; Egidi, P.V.; Coleman, R.L.
Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environmental protection by substantially accelerating the acceptance and use of improved and cost-effective technologies. ETV seeks to achieve this goal by providing high-quality, peer-reviewed data on technology performance to those involved in the design, distribution, financing, permitting, purchase, and use of environmental technologies. ETV works in partnership with recognized standards and testing organizations; with stakeholder groups that consist of buyers, vendor organizations, and permitters; and with the full participation of individual technology developers. The program evaluates the performance of innovative technologies by developing test plans that are responsive to the needs of stakeholders, conducting field or laboratory tests (as appropriate), collecting and analyzing data, and preparing peer-reviewed reports. All evaluations are conducted in accordance with rigorous quality assurance protocols to ensure that data of known and adequate quality are generated and that the results are defensible. The Advanced Monitoring Systems (AMS) Center, one of six technology centers under ETV, is operated by Battelle in cooperation with EPA�s National Exposure Research Laboratory. The AMS Center has recently evaluated the performance of continuous emission monitors used to measure mercury in flue gases. This
CSP Policies & Procedures Process for Grade Appeals
CSP Policies & Procedures Process for Grade Appeals Grade Appeals Generally speaking, once grades
Leistikow, Bruce N.
ORNL/Sub-01-4000025209 Field Test and Performance Verification
. Comparison of cooling efficiency (EER) of the IADR and a conventional rooftop unit at part-load conditions it becomes clear that much of the total cooling load is latent. Based upon the data presented in Figure 1 the load even at 30 tons (middle column) Table 3. Comparison of cooling efficiency (EER) of the IADR
Additional Field Verification of Convective Scaling for the Lateral Dispersion Parameter
The results of a series of diffusion trials over the heterogeneous surface of the Canadian Precambrian Shield provide additional support for the convective scaling of the lateral dispersion parameter, ?y. The data indicate that under convective ...
S. K. Sakiyama; P. A. Davis
Verification of numerical models for hydrothermal plume water through field measurements at TAG
Hydrothermal vents discharge superheated, mineral rich water into our oceans, thereby providing a habitat for exotic chemosynthetic biological communities. Hydrothermal fluids are convected upwards until they cool and reach ...
Wichers, Sacha
Full-scale Up-Flo^� stormwater filter field performance verification tests.
??The Up-Flo� Filter is an innovative high-rate, small footprint, stormwater treatment device based on upward filtration technology. It was originally developed by environmental engineers at� (more)
Cai, Yezhao
Regional Field Verification Project--Operational Results from Four Small Wind Turbines (Poster)
A poster describing two years of operating data for four Bergey, 10-kW wind turbines on different host sites in the Pacific Northwest.
Field measurement & verification of residential duct leakage methods and CFD analysis of HVAC mixing box.
??The research work in this thesis is subdivided to providing the initial results of the experimental work followed by simulation work at the end. The� (more)
Vadlamani, Uday
Optimization of a SEGS solar field for cost effective power output.
??This thesis presents and demonstrates procedures to model and optimize the collector field of a parabolic trough solar thermal power plant. The collector field of� (more)
Bialobrzeski, Robert Wetherill
Photovoltaic module energy rating procedure. Final subcontract report
This document describes testing and computation procedures used to generate a photovoltaic Module Energy Rating (MER). The MER consists of 10 estimates of the amount of energy a single module of a particular type (make and model) will produce in one day. Module energy values are calculated for each of five different sets of weather conditions (defined by location and date) and two load types. Because reproduction of these exact testing conditions in the field or laboratory is not feasible, limited testing and modeling procedures and assumptions are specified.
Whitaker, C.M.; Newmiller, J.D. [Endecon Engineering (United States)
Remaining Sites Verification Package for the 1607-F7, 141-M Building Septic Tank, Waste Site Reclassification Form 2006-040
The 1607-F7, 141-M Building Septic Tank waste site was a septic tank and drain field that received sanitary sewage from the former 141-M Building. Remedial action was performed in August and November 2005. The results of verification sampling demonstrate that residual contaminant concentrations support future unrestricted land uses that can be represented by a rural-residential scenario. These results also show that residual concentrations support unrestricted future use of shallow zone soil and that contaminant levels remaining in the soil are protective of groundwater and the Columbia River.
1D Solution NMR Procedure (Bruker AVANCE Machines running TopSpin under WINDOWS XP)
1D Solution NMR Procedure (Bruker AVANCE Machines running TopSpin under WINDOWS XP) Jerry Hu, x7914 NMR yourself; Take everything ferromagnetic or vulnerable to magnetic field, such as mechanic watches them somewhere away from magnets; Table of Contents 1D Solution NMR Procedure
Akhmedov, Azer
6 6 Revision 2 Effective October 1, 2007 Braking Test Prepared by Electric Transportation Applications Prepared by: _______________________________ Date: _________ Roberta Brayer Approved by: _________________________________________________ Date: _______________ Donald Karner Procedure ETA-HTP06 Revision 2 i TABLE OF CONTENTS 1. Objectives 1 2. Purpose 1 3. Documentation 1 4. Initial Conditions and Prerequisites 1 5. Testing Activity Requirements 3 5.3 Dry Controlled Test 4 6. Glossary 5 7. References 7 Appendices Appendix A - Handling Pad Test Data Sheet 8
Surface Environmental Surveillance Procedures Manual
Environmental surveillance data are used in assessing the impact of current and past site operations on human health and the environment, demonstrating compliance with applicable local, state, and federal environmental regulations, and verifying the adequacy of containment and effluent controls. SESP sampling schedules are reviewed, revised, and published each calendar year in the Hanford Site Environmental Surveillance Master Sampling Schedule. Environmental samples are collected by SESP staff in accordance with the approved sample collection procedures documented in this manual.
RW Hanf; TM Poston
implementation of the DOD Joint Officer Management (JOM) and Joint Qualification System (JQS) per references a through c. Reference a delegates the authority to the Chairman of the Joint Chiefs of Staff to establish and publish regulations and procedures to ensure compliance with the statutory and Department policy standards for DOD�s JOM program. 2. Cancellation. CJCSI 1330.02C, 24 February 2006, is cancelled. Required review of promotion selection board results policy guidance has been incorporated in this instruction.
References See Enclosure N; Responsibilities For
An Application of Model Output Statistics to the Development of a Local Wind Regime Forecast Procedure
The Model Output Statistics (MOS) approach is used to develop a procedure for forecasting the occurrence of a local wind regime at Rota, Spain known as the levante. Variables derived solely from surface pressure and 500 mb height forecast fields ...
Robert A. Godfrey
Surface Environmental Surveillance Procedures Manual, PNL-MA-580, Rev. 5
This manual contains the procedures that are used for the collection of routine Surface Environmental Surveillance Project environmental samples and field measurements on and around the Hanford Site. Specific responsibilities for project personnel are also defined.
Hanf, Robert W.; Poston, Ted M.; Bisping, Lynn E.
BP Oil Spill Footage (High Def) - Top Hat Procedure at 4850'...
Field Sites Power Marketing Administration Other Agencies You are here Home BP Oil Spill Footage (High Def) - Top Hat Procedure at 4850' - June 3 2010 (4 of 4) BP Oil...
Relativistic and Nonrelativistic Descriptions of Electron Energy Levels in a Static Magnetic Field
The physical consequences of the relativistic and nonrelativistic approaches to describe the energy levels of electrons which propagate in a static homogeneous magnetic field are considered. It is shown that for a given strength of the magnetic field, the quantized energy levels of the electrons calculated by nonrelativistic and relativistic equations differ substantially, up to few orders of magnitude for a magnetic field of about 1 Tesla. Experimental verification to resolve the discrepancy would be very welcome.
H. J. Schreiber; N. B. Skachkov
V-098: Linux Kernel Extended Verification Module Bug Lets Local Users Deny
8: Linux Kernel Extended Verification Module Bug Lets Local 8: Linux Kernel Extended Verification Module Bug Lets Local Users Deny Service V-098: Linux Kernel Extended Verification Module Bug Lets Local Users Deny Service February 25, 2013 - 12:12am Addthis PROBLEM: Linux Kernel Extended Verification Module Bug Lets Local Users Deny Service PLATFORM: The Linux Kernel prior to 3.7.5 ABSTRACT: A vulnerability was reported in the Linux Kernel. REFERENCE LINKS: The Linux Kernel Archives Linux Kernel Red Hat Bugzilla - Bug 913266 SecurityTracker Alert ID: 1028196 CVE-2013-0313 IMPACT ASSESSMENT: Medium DISCUSSION: A local user can exploit a null pointer dereference in the evm_update_evmxattr() function in 'security/integrity/evm/evm_crypto.c' to cause the target system to crash. IMPACT: A local user can cause denial of service conditions.
Comment submitted by the Natural Resources Defense Council (NRDC) regarding the Energy Star Verification Testing Program
⋅ WASHINGTON, DC ⋅ LOS ANGELES ⋅ BEIJING ⋅ CHICAGO ⋅ WASHINGTON, DC ⋅ LOS ANGELES ⋅ BEIJING ⋅ CHICAGO San Francisco, CA 94104 TEL 415 875-6100 FAX 415 875-6161 www.nrdc.org NRDC Comments on DOE's April 22, 2011 Verification Testing in Support of Energy Star Proposal Submitted by: Noah Horowitz Senior Scientist Natural Resources Defense Council (NRDC) May 9, 2011 On behalf of the Natural Resources Defense Council (NRDC) and it's more than 1.3 million members and e-activists, we respectfully submit comments on DOE's Verification Testing in Support of ENERGY STAR proposal. Verification testing programs are critical to ensure that products are performing as promised and consumers are receiving the energy and utility savings claimed by the manufacturer. With one exception, NRDC strongly supports DOE's proposal for conducting verification
Comments on DOE's Verification Testing in Support of ENERGY STAR® Draft
Comments on DOE's Verification Testing in Support of ENERGY STAR® Comments on DOE's Verification Testing in Support of ENERGY STAR® Draft Process Document Comments on DOE's Verification Testing in Support of ENERGY STAR® Draft Process Document On April 22, 2011, The U.S. Department of Energy (DOE) released a draft of DOE's Verification Testing in Support of ENERGY STAR Process Plan for 2011. DOE accepted comments through May 9, 2011 and they are displayed below. Company/Organization Consumers Union Association of Home Appliance Manufacturers (AHAM) Air Conditioning, Heating and Refrigeration Institute (AHRI) A. O. Smith Corporation Alliance for Water Efficiency (AWE) Bradford White Corporation (BWC) BSH Home Appliances Corporation CertainTeed Corporation Traulsen InterMetro Industries Corp. Hoshizaki America, Inc. Earthjustice
Controllable needle-free injection : development and verification of a novel device
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-
Robust audio-visual person verification using Web-camera video
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.)
Verification of Nowcasts from the WWRP Sydney 2000 Forecast Demonstration Project
The verification phase of the World Weather Research Programme (WWRP) Sydney 2000 Forecast Demonstration Project (FDP) was intended to measure the skill of the participating nowcast algorithms in predicting the location of convection, rainfall ...
Elizabeth E. Ebert; Laurence J. Wilson; Barbara G. Brown; Pertti Nurmi; Harold E. Brooks; John Bally; Matthias Jaeneke
Intercomparison of Spatial Forecast Verification Methods: Identifying Skillful Spatial Scales Using the Fractions Skill Score
The fractions skill score (FSS) was one of the measures that formed part of the Intercomparison of Spatial Forecast Verification Methods project. The FSS was used to assess a common dataset that consisted of real and perturbed Weather Research ...
Marion Mittermaier; Nigel Roberts
Verification of RUC 0�1-h Forecasts and SPC Mesoscale Analyses Using VORTEX2 Soundings
This study uses radiosonde observations obtained during the second phase of the Verification of the Origins of Rotation in Tornadoes Experiment (VORTEX2) to verify base-state variables and severe-weather-related parameters calculated from Rapid ...
Michael C. Coniglio
vlogsl: a strategy language for simulation-based verification of hardware
Languages such as SystemVerilog and e play an important role in contemporary hardware verification methodology. Through direct, language-level support for notions like constrained randoms, functional coverage, assertions, and so forth, they help ...
Michael Katelman; Jos� Meseguer
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting
Increased complexities of hardware designs have made exhaustive simulation of designs near impossible - thereby creating a need for some complementary verification technique. This has generated a renewed interest in use of Formal Analysis on industrial ...
Praveen Tiwari; Raj Mitra; Manu Chopra; Alok Jain
New Developments of the Intensity-Scale Technique within the Spatial Verification Methods Intercomparison Project
The intensity-scale verification technique introduced in 2004 by Casati, Ross, and Stephenson is revisited and improved. Recalibration is no longer performed, and the intensity-scale skill score for biased forecasts is evaluated. Energy and its ...
B. Casati
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using Timeout Order Abstraction (TO-Abstraction), a technique to abstract a given ...
Comparative Verification of Guidance and Local Quantitative Precipitation Forecasts: Calibration Analyses
A comparative verification is reported of 2631 matched pairs of quantitative precipitation forecasts (QPFs) prepared daily from 1 October 1992 to 31 October 1996 by the Hydrometeorological Prediction Center (HPC) and the Weather Service Forecast ...
Roman Krzysztofowicz; Ashley A. Sigrest
Independent Verification Survey Report for the Operable Unit-1 Miamisburg Closure Project, Miamisburg, OH
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.
A unified processor model for compiler verification and simulation using ASM
For safety critical embedded systems the correctness of the processor, toolchain and compiler is an important issue. Translation validation is one approach for compiler verification. A common semantic framework to represent source and target language ...
Roland Lezuo; Andreas Krall
Verification and Validation of Selected Fire Models for Nuclear Power Plant Applications
This report documents the verification and validation (VV) of five selected fire models commonly used in support of risk-informed and performance-based (RI/PB) fire protection at nuclear power plants (NPPs).
Spatial Forecast Verification: Baddeley�s Delta Metric Applied to the ICP Test Cases
A mathematical displacement metric, Baddeley�s ?, is examined for verifying gridded forecasts against gridded observations using the Spatial Forecast Verification Methods Intercomparison Project test cases. Results are compared with several other ...
Eric Gilleland
Imagery Randomized Block Analysis (IRBA) Applied to the Verification of Cloud Edge Detectors
A recently developed statistical method is described for evaluating the effectiveness of numerical models. This method is applied to the verification of the effectiveness of satellite imagery cloud edge detectors. Digital satellite data are ...
Frank P. Kelly; Thomas H. Vonder Haar; Paul W. Mielke Jr.
Diagnostic Verification of the Climate Prediction Center Long-Lead Outlooks, 1995�98
The performance of the Climate Prediction Center�s long-lead forecasts for the period 1995�98 is assessed through a diagnostic verification, which involves examination of the full joint frequency distributions of the forecasts and the ...
D. S. Wilks
Trends in Severe Local Storm Watch Verification at the National Severe Storms Forecast Center
Trends of tornado and severe thunderstorm watch verification for the period 1967�1990 are presented. Over the past 10 years the annual number of reported severe thunderstorm events has increased substantially. In comparison, the number of tornado ...
Richard W. Anthony; Preston W. Leftwich Jr.
The Benefits and Challenges of Predictive Interval Forecasts and Verification Graphics for End Users
Two behavioral experiments tested the use of predictive interval forecasts and verification graphics by nonexpert end users. Most participants were able to use a simple key to understand a predictive interval graphic, showing a bracket to indicate ...
Susan Joslyn; Lou Nemec; Sonia Savelli
Application of the Composite Method to the Spatial Forecast Verification Methods Intercomparison Dataset
The composite method is applied to verify a series of idealized and real precipitation forecasts as part of the Spatial Forecast Verification Methods Intercomparison Project. The test cases range from simple geometric shapes to high-resolution (...
Jason E. Nachamkin
Ergodic HMM-UBM system for on-line signature verification
We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initialization of this UBM is driven by a dynamic signature feature. This approach inherits ...
Enrique Argones R�a; David P�rez-Pi�ar L�pez; Jos� Luis Alba Castro
Toward improved tropical cyclone intensity forecasts : probabilistic prediction, predictability, and the role of verification
Over the past two decades, deterministic predictions of tropical cyclone (TC) intensity consistently scored poorly in mean absolute error (MAE) verification, despite the concurrent advancement of TC modeling and observing ...
Moskaitis, Jonathan Robert
Application of Object-Based Verification Techniques to Ensemble Precipitation Forecasts
Both the Method for Object-based Diagnostic Evaluation (MODE) and contiguous rain area (CRA) object-based verification techniques have been used to analyze precipitation forecasts from two sets of ensembles to determine if spread-skill behavior ...
William A. Gallus Jr.
A Coherent Method of Stratification within a General Framework for Forecast Verification
The general framework for forecast verification described by Murphy and Winkler embodies a statistical approach to the problem of assessing the quality of forecasts. This framework is based on the joint distribution of forecasts and observations, ...
The Finley Affair: A Signal Event in the History of Forecast Verification
In 1884 a paper by J.P. Finley appeared in the American Meteorological Journal describing the results of an experimental tornado forecasting program in the central and eastern United States. Finley's paper reported �percentages of verifications� ...
On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically ...
Bouillaguet, Charles
FAQ's for: ENERGY STAR Verification Testing Pilot Program dated December 2010
FAQ for: ENERGY STAR Verification Testing Pilot Program December 2010 Table of Contents Introduction............................................................................................................................... 1 What product types will be tested? ................................................................................................. 1 Will testing continue after the State Energy Efficient Appliance Rebate Program (SEEARP) ends? .................................................................................................................................................... 1 For Consumers .......................................................................................................................... 1
Proceedings: Demand Response Evaluation, Measurement, and Verification Workshop Highlights and Presentations
This Tech Update provides highlights and presentations from the EPRI Demand Response Evaluation, Measurement and Verification (DR EM&V) Workshop, held November 13 14, 2008, in Dallas, Texas. Attended by 30 participants representing utilities, independent system operators, EPRI, and a curtailment service provider, the day-and-a-half meeting provided a forum for review of DR measurement and verification (M&V) standards development, business practices, and lessons learned.
Use of MCC-Based Motor Torque Measurements for Periodic Verification of Motor-Operated Valves
This report develops, justifies, and validates a motor control center- (MCC-) based motor torque periodic verification (MTPV) method for torque-switch-controlled closing strokes of rising stem motor-operated valves (MOVs) with ac motors. The report details the evaluation of motor torque data obtained from electrical measurements at the MCC and covers the use of these (and other) measurements in MOV periodic verification (PV) testing.
Microsoft Word - S05773_2009 VerifMonRpt.doc
September 2009 September 2009 LMS/DUP/S05773 This page intentionally left blank LMS/DUP/S05773 Office of Legacy Management Verification Monitoring Report for the Durango, Colorado, Processing Site September 2009 This page intentionally left blank U.S. Department of Energy Verification Monitoring Report-Durango, Colorado, Processing Site September 2009 Doc. No. S05773 Page i Contents Abbreviations................................................................................................................................. iii 1.0 Introduction............................................................................................................................ 1 2.0 Site Conditions.......................................................................................................................
SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2001; 11:143163 (DOI: 10.1002/stvr.218)
Best Practice. IEEE Computer Society Press, 1996; 1312. 5. AECL CANDU. Software Requirements374. 6. AECL CANDU. Software Work Practice, Procedure for the Specification of Software Requirements
Cha, Sung-Deok "Steve"
Metering and Monitoring Approaches for Verifying Energy Savings from Energy Conservation Retrofits: Experiences from the Field
This paper describes instrumentation approaches used in the verification of energy savings from industrial and large institutional energy conservation retrofits. Techniques for monitoring electricity, natural gas and thermal energy flows are presented. Insights gained from the actual in-field installation of monitoring equipment are shared and lessons learned are provided.
McBride, J. R.; Bohmer, C. J.; Lippman, R. H.
The First Hundred Brown Dwarfs Discovered by the Wide-field Infrared Survey Explorer (WISE)
We present ground-based spectroscopic verification of 6 Y dwarfs (see also Cushing et al.), 89 T dwarfs, 8 L dwarfs, and 1 M dwarf identified by the Wide-field Infrared Survey Explorer (WISE). Eighty of these are cold brown ...
Bochanski, John J.
Inspection system performance test procedure
This procedure establishes requirements to administer a performance demonstration test. The test is to demonstrate that the double-shell tank inspection system (DSTIS) supplied by the contractor performs in accordance with the WHC-S-4108, Double-Shell Tank Ultrasonic Inspection Performance Specification, Rev. 2-A, January, 1995. The inspection system is intended to provide ultrasonic (UT) and visual data to determine integrity of the Westinghouse Hanford Company (WHC) site underground waste tanks. The robotic inspection system consists of the following major sub-systems (modules) and components: Mobile control center; Deployment module; Cable management assembly; Robot mechanism; Ultrasonic testing system; Visual testing system; Pneumatic system; Electrical system; and Control system.
Jensen, C.E.
Attachment Implementation Procedures to Report Deferred, Actual, and Required Maintenance
Final July 01, 2010 Final July 01, 2010 1 Attachment Implementation Procedures to Report Deferred, Actual, and Required Maintenance On Real Property 1. The following is the FY 2010 implementation procedures for the field offices/sites to determine and report deferred maintenance on real property as required by the Statement of Federal Financial Accounting Standards (SFFAS) No. 6, Accounting for Property, Plant, and Equipment (PP&E) and DOE Order 430.1B, Real Property Asset Management (RPAM). a. This document is intended to assist field offices/sites in consistently and accurately applying the appropriate methods to determine and report deferred maintenance estimates and reporting of annual required and actual maintenance costs. b. This reporting satisfies the Department's obligation to recognize and record deferred
Draft July 9, 2009 Draft July 9, 2009 1 Attachment Implementation Procedures to Report Deferred, Actual, and Required Maintenance On Real Property 1. The following is the FY 2009 implementation procedures for the field offices/sites to determine and report deferred maintenance on real property as required by the Statement of Federal Financial Accounting Standards (SFFAS) No. 6, Accounting for Property, Plant, and Equipment (PP&E) and DOE Order 430.1B, Real Property Asset Management (RPAM). a. This document is intended to assist field offices/sites in consistently and accurately applying the appropriate methods to determine and report deferred maintenance estimates and reporting of annual required and actual maintenance costs. b. This reporting satisfies the Department's obligation to recognize and record deferred
An experimental foundation for electromagnetic shower formation in the geomagnetic field
At very high energies the Earth magnetic field, although in many other connections conside red rather weak, acts as a strong field on photons and leptons. This paper discusses the i ntimate connection between this effect and the corresponding `strong field effects' observ ed at accessible accelerator energies in aligned single crystals. As such, these effects c onstitute an experimental verification of the theoretical basis used for simulations of th e development of electromagnetic showers in magnetic fields, in particular the geomagnetic field. A short discussion of more general aspects of the shower development in the fields present at different distance scales is included.
U. I. Uggerh�j
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.
Review of the Implementation Verification Rev iew Processes at the Savannah River Site Environmental Management Nuclear Facilities, September 2011
Implementation Verification Review Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities May 2011 September 2011 Office of Safety and Emergency Management Evaluations Office of Health, Safety and Security U.S. Department of Energy i Independent Oversight Review of the Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities Table of Contents 1.0 Purpose ................................................................................................................................................. 1 2.0 Background ........................................................................................................................................... 1
The Fundamentals of Forensic Investigation Procedures Guidebook
No reference or guideline for the practice of or procedure for analyzing equipment failures and accidents involving electric utility distribution systems has been available until publication of "The Fundamentals of Forensic Investigation Procedures Guidebook."
WRAP Trupact Loading System Operational Test Procedure
This procedure has been prepared to verify the TRUPACT System (TS) operates in accordance with system design and specifications.
Qualitative constraint calculi: Heterogeneous verification of composition tables
In the domain of qualitative constraint reasoning, a subfield of AI which has evolved in the past 25 years, a large number of calculi for efficient reasoning about spatial and temporal entities has been developed. Reasoning techniques developed for these constraint calculi typically rely on so-called composition tables of the calculus at hand, which allow for replacing semantic reasoning by symbolic operations. Often these composition tables are developed in a quite informal, pictorial manner and hence composition tables are prone to errors. In view of possible safety critical applications of qualitative calculi, however, it is desirable to formally verify these composition tables. In general, the verification of composition tables is a tedious task, in particular in cases where the semantics of the calculus depends on higher-order constructs such as sets. In this paper we address this problem by presenting a heterogeneous proof method that allows for combining a higherorder proof assistance system (such as Isabelle) with an automatic (first order) reasoner (such as SPASS or VAMPIRE). The benefit of this method is that the number of proof obligations that is to be proven interactively with a semi-automatic reasoner can be minimized to an acceptable level.
Stefan W�lfl
Lightning Activities in the DOE-EPRI Turbine Verification Program
The US Department of Energy (DOE)-Electric Power Research Institute (EPRI) Turbine Verification Program (TVP) has played a vital role in improving the understanding of lightning protection for wind turbines. In response to concerns from host utilities, the TVP began a lightning protection project to study the impact of lightning activity at the 6.0-megawatt (MW) wind power facility in Ft. Davis, Texas. McNiff Light Industry (MLI) and Global Energy Concepts (GEC) established a broad observation and documentation effort to survey the lightning protection methodologies used and to evaluate the damage resulting from lightning activity at the turbines. The 6.05-MW wind power plant in Searsburg, Vermont, was inspected after a severe lightning storm caused damage to several turbines there. Zond, McNiff, and consultants from Lightning Technologies, Inc. conducted post-damage inspections at both sites to develop recommendations for improving lightning protection. Site operators implemented the recommended mitigation strategies, and the turbines were monitored to determine if the protection measures improved project operations. This paper summarizes the experience gained through TVP's lightning-related research, and provides a set of guidelines for wind turbine manufacturers, owners, and operators.
McCoy, T.; Rhoads, H.; Lisman, T. (Global Energy Concepts, LLC); McNiff, B. (McNiff Light Industry); Smith, B. (National Renewable Energy Laboratory)
Development, Verification, and Validation of Multiphase Models for Polydisperse Flows
This report describes in detail the technical findings of the DOE Award entitled 'Development, Verification, and Validation of Multiphase Models for Polydisperse Flows.' The focus was on high-velocity, gas-solid flows with a range of particle sizes. A complete mathematical model was developed based on first principles and incorporated into MFIX. The solid-phase description took two forms: the Kinetic Theory of Granular Flows (KTGF) and Discrete Quadrature Method of Moments (DQMOM). The gas-solid drag law for polydisperse flows was developed over a range of flow conditions using Discrete Numerical Simulations (DNS). These models were verified via examination of a range of limiting cases and comparison with Discrete Element Method (DEM) data. Validation took the form of comparison with both DEM and experimental data. Experiments were conducted in three separate circulating fluidized beds (CFB's), with emphasis on the riser section. Measurements included bulk quantities like pressure drop and elutriation, as well as axial and radial measurements of bubble characteristics, cluster characteristics, solids flux, and differential pressure drops (axial only). Monodisperse systems were compared to their binary and continuous particle size distribution (PSD) counterparts. The continuous distributions examined included Gaussian, lognormal, and NETL-provided data for a coal gasifier.
Christine Hrenya; Ray Cocco; Rodney Fox; Shankar Subramaniam; Sankaran Sundaresan
Tags and seals to strengthen arms control verification
Tags and seals have long been recognized as important tools in arms control. The trend in control of armaments is to limit militarily significant equipment that is capable of being verified through direct and cooperative means, chiefly on-site inspection or monitoring. Although this paper will focus on the CFE treaty, the role of tags and seals for other treaties will also be addressed. Published technology and concepts will be reviewed, based on open sources. Arms control verification tags are defined as unique identifiers designed to be tamper-revealing; in that respect, seals are similar, being used as indicators of unauthorized access. Tamper-revealing tags are intended as single-point markers, seals for two-point couplings, and nets for volume containment. Seals usually bind two separate components, such as a hatch or flange that provides access to a secure compartment or a valve that controls fluid flow. A tamper-revealing net might be comprised of a coupled fiberoptic bundle wrapped around an object. Sometimes the term ``seal`` is used to denote the tamper-revealing feature of a tag that is attached to a surface, but in this paper the tamper-indicating connection is considered to be part of the tag concept itself.
DeVolpi, A.
??The objective of modeling, verification, and synthesis of hierarchical hybrid mission control for underwater vehicle is to (i) propose a hierarchical architecture for mission control� (more)
Bhattacharyya, Siddhartha
Acceptance test procedure for SY Tank Farm replacement exhauster unit
The proper functioning of a new 241-SY Tank Farm replacement exhauster will be acceptance tested, to establish operability and to provide an operational baseline for the equipment. During this test, a verification of all of the alarm and control circuits associated with the exhaust, which provide operating controls and/or signals to local and remote alarm/annunciator panels, shall be performed. Test signals for sensors that provide alarms, warnings, and/or interlocks will be applied to verify that alarm, warning, and interlock setpoints are correct. Alarm and warning lights, controls, and local and remote readouts for the exhauster will be verified to be adequate for proper operation of the exhauster. Testing per this procedure shall be conducted in two phases. The first phase of testing, to verify alarm, warning, and interlock setpoints primarily, will be performed in the MO-566 Fab Shop. The second phase of testing, to verify proper operation and acceptable interface with other tank farm systems, will be conducted after the exhauster and all associated support and monitoring equipment have been installed in the SY Tank Farm. The exhauster, which is mounted on a skid and which will eventually be located in the SY tank farm, receives input signals from a variety of sensors mounted on the skid and associated equipment. These sensors provide information such as: exhauster system inlet vacuum pressure; prefilter and HEPA filter differential pressures; exhaust stack sampler status; exhaust fan status; system status (running/shut down); and radiation monitoring systems status. The output of these sensors is transmitted to the exhauster annunciator panel where the signals are displayed and monitored for out-of-specification conditions.
Becken, G.W.
This paper provides a characterization of human reliability analysis (HRA) issues for computerized procedures in nuclear power plant control rooms. It is beyond the scope of this paper to propose a new HRA approach or to recommend specific methods or refinements to those methods. Rather, this paper provides a review of HRA as applied to traditional paper-based procedures, followed by a discussion of what specific factors should additionally be considered in HRAs for computerized procedures. Performance shaping factors and failure modes unique to computerized procedures are highlighted. Since there is no definitive guide to HRA for paper-based procedures, this paper also serves to clarify the existing guidance on paper-based procedures before delving into the unique aspects of computerized procedures.
Ronald L. Boring; David I. Gertman; Katya Le Blanc
Final Verification Success Story Using the Triad Approach at the Oak Ridge National Laboratory's Melton Valley Soils and Sediment Project
The United States Environmental Protection Agency recently published guidance on the Triad approach, which supports the use of smarter, faster, and better technologies and work strategies during environmental site assessment, characterization, and cleanup. The Melton Valley Soils and Sediment Project (Project) at the Oak Ridge National Laboratory embraced this three-pronged approach to characterize contaminants in soil/sediment across the 1000-acre Melton Valley Watershed. Systematic Project Planning is the first of three prongs in the Triad approach. Management initiated Project activities by identifying key technical personnel, included regulators early in the planning phase, researched technologies, and identified available resources necessary to meet Project objectives. Dynamic Work Strategies is the second prong of the Triad approach. Core Team members, including State and Federal regulators, helped develop a Sampling and Analysis Plan that allowed experienced field managers to make real-time, in-the-field decisions and, thus, to adjust to conditions unanticipated during the planning phase. Real-time Measurement Technologies is the third and last prong of the Triad approach. To expedite decision-making, the Project incorporated multiple in-field technologies, including global positioning system equipment integrated with field screening instrumentation, magnetometers for utility clearance, and an on-site gamma spectrometer (spec) for rapid contaminant speciation and quantification. As a result of a relatively complex but highly efficient program, a Project field staff of eight collected approximately 1900 soil samples for on-site gamma spec analysis (twenty percent were also shipped for off-site analyses), 4.7 million gamma radiation measurements, 1000 systematic beta radiation measurements, and 3600 systematic dose rate measurements between July 1, 2004, and October 31, 2005. The site database previously contained results for less than 500 soil samples dating back to the 1980's, and it contained no radiation measurement data. The result of this verification effort is a dataset of sufficient quantity and quality to demonstrate compliance with Project criteria and one that withstands Core Team scrutiny. (authors)
King, D.A.; Haas, D.A. [Science Applications International Corporation, 151 Laboratory Road, P.O. Box 2501, Oak Ridge, TN 37831 (United States); Cange, J.B. [Bechtel Jacobs Company LLC, PO Box 4699, Building 7658C, Mail Stop 6413, Oak Ridge, TN 37830 (United States)
The EPRI/DOE Utility Wind Turbine Performance Verification Program
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)
Recommendations for reducing ambiguity in written procedures.
Previous studies in the nuclear weapons complex have shown that ambiguous work instructions (WIs) and operating procedures (OPs) can lead to human error, which is a major cause for concern. This report outlines some of the sources of ambiguity in written English and describes three recommendations for reducing ambiguity in WIs and OPs. The recommendations are based on commonly used research techniques in the fields of linguistics and cognitive psychology. The first recommendation is to gather empirical data that can be used to improve the recommended word lists that are provided to technical writers. The second recommendation is to have a review in which new WIs and OPs and checked for ambiguities and clarity. The third recommendation is to use self-paced reading time studies to identify any remaining ambiguities before the new WIs and OPs are put into use. If these three steps are followed for new WIs and OPs, the likelihood of human errors related to ambiguity could be greatly reduced.
Matzen, Laura E.
Interim Letter Report - Verification Survey of Partial Grids H19, J21, J22, X20, and X21 at the David Witherspoon, Inc. 1630 Site, Knoxville Tennessee
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.
Burnup Credit � Technical Basis for Spent-Fuel Burnup Verification
Present regulatory practices provide as much burnup credit flexibility as can be currently expected. Further progress is achievable by incorporating the negative reactivity effects of a subset of neutron-absorbing fission-product isotopes, and by optimizing the procedural approach for establishing the burnup characteristics of the spent fuel to be loaded in burnup-credit-designed storage and transportation systems. This report describes progress toward developing a technical basis for a cost-effective bu...
Comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program
May 9, 2011 May 9, 2011 DOE Verification Program May 9, 2011 Ashley Armstrong US Department of Energy Reference: DOE Verification Testing in Support of ENERGY STAR Subject: Comments from Hobart, Div. ITW Food Equipment Group Dear Ms. Armstrong, Hobart/ITW Food Equipment Group has been working diligently with the US EPA through NAFEM to ensure that the ENERGY STAR enhancements are fair to Food Service Equipment manufacturers. One of the mainstays has always been that Commercial Food Service equipment should not be required to be verification tested by a third party laboratory. We firmly believe that the proven method of periodic inspections by third-party certification bodies is more than adequate for verifying compliance with energy consumption standards. To that end, we
Comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program
Energizer Battery Manufacturing, Inc 25225 Detroit Rd. Westlake, OH 44145 Energizer Comments On DOE Verification Testing in Support of ENERGY STAR 1. In the "Conditions and Criteria for Recognition of Certification Bodies for the ENERGY STAR® Program" document on page 3 it states in 3.a.i.2.a that "Annually test at least 10% of all ENERGY STAR qualified models the CB has certified or for which it has received qualified product data". Does the 10% of qualified models pertain to all products the lab has certified or is it 10% of each companies product? This is unclear, please add sufficient detail. 2. On page 7 under program funding, it states "For products tested by DOE under the ENERGY STAR verification program, DOE pays all costs for obtaining and testing products. Verification programs administered by CBs are
DOE/EA-1837:Final Environmental Assessment for the Performance Verification Laboratory (January 2011)
Assessment for the Performance Verification Laboratory January 2011 DOE/EA-1837 This page left intentionally blank. Performance Verification Laboratory DOE/EA-1837 U.S. Department of Energy Final Environmental Assessment National Energy Technology Laboratory January 2011 i National Environmental Policy Act (NEPA) Compliance Cover Sheet Proposed Action: U.S. Department of Energy's (DOE) National Energy Technology Laboratory (NETL) is proposing to construct and operate a Performance Verification Laboratory (PVL) facility to be located on the Morgantown NETL site in West Virginia. NETL would design, construct, and make operational a DOE PVL facility for verifying the energy performance of selected appliances and equipment to facilitate improved enforcement of DOE energy conservation
On the Relation between Biometric Quality and User-Dependent Score Distributions in Fingerprint Verification
The lack of robustness against image quality degradation is a open issue in fingerprint verification. It has been found in previous studies that the behavior of a fingerprint verification system may vary depending on the quality of the fingerprints. In this paper, we study the performance for individual users under varying image conditions using a multisensor database acquired with three different fingerprint sensors. We propose a user-dependent score normalization scheme that exploits quality information, reaching an EER improvement of # 15% in one particular sensor. We have also included the proposed score normalization scheme in a multisensor fingerprint verification system that combines the three sensors, obtaining an EER improvement of # 13% in the best case .
Fernando Alonso-Fernandez; Raymond N. J. Veldhuis; Asker M. Bazen; Julian Fierrez-Aguilar; Javier Ortega-Garcia
Comment submitted by CertainTeed Corporation regarding the Energy Star Verification Testing Program
From: Snyder, Richard A. (Roofing) [mailto:email@example.com] From: Snyder, Richard A. (Roofing) [mailto:email@example.com] Sent: Monday, May 09, 2011 1:02 PM To: ESTAR_Verification_Testing Cc: firstname.lastname@example.com; firstname.lastname@example.com; Brandt, Jim C. Subject: Verification Testing Concerns - Asphalt Roofing Products Importance: High Kathleen, I have many concerns and questions about Energy Star Verification program as it relates to Asphalt Roofing Shingles. I am VERY concerned because the attachment seems to imply that a decision on this matter could be made TODAY!!! Is that a possibility? I am not aware of much discussion going on, but if there is please make it public and let me know where to view it. 1) My first question is...is the attached document meant to cover asphalt roofing shingles? Many
NSS 18.3 Verification of Authorization Basis Documentation 12/8/03 |
NSS 18.3 Verification of Authorization Basis Documentation 12/8/03 NSS 18.3 Verification of Authorization Basis Documentation 12/8/03 NSS 18.3 Verification of Au