National Library of Energy BETA

Sample records for technology life verification

  1. Battery Technology Life Verification Testing and Analysis

    SciTech Connect (OSTI)

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

    2007-12-01

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

  2. Battery Technology Life Verification Test Manual Revision 1

    SciTech Connect (OSTI)

    Jon P. Christophersen

    2012-12-01

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

  3. Life Science & Technology Delft: Driven by curiosity,

    E-Print Network [OSTI]

    Langendoen, Koen

    Life Science & Technology Delft: Driven by curiosity, inspired by application. Diploma Master & Technology addresses the understanding of enzymes, living cells and biotechnological processes. Based' airplane fuels. The MSc programme in Life Science & Technology seeks to train the scientists and engineers

  4. Artificial Life in Quantum Technologies

    E-Print Network [OSTI]

    U. Alvarez-Rodriguez; M. Sanz; L. Lamata; E. Solano

    2015-05-14

    We develop a quantum information protocol that models the biological behaviors of individuals living in a natural selection scenario. The artificially engineered evolution of the quantum living units shows the fundamental features of life in a common environment, such as self-replication, mutation, interaction of individuals, and death. We propose how to mimic these bio-inspired features in a quantum-mechanical formalism, which allows for an experimental implementation achievable with current quantum platforms. This result paves the way for the realization of artificial life and embodied evolution with quantum technologies.

  5. Technology development life cycle processes.

    SciTech Connect (OSTI)

    Beck, David Franklin

    2013-05-01

    This report and set of appendices are a collection of memoranda originally drafted in 2009 for the purpose of providing motivation and the necessary background material to support the definition and integration of engineering and management processes related to technology development. At the time there was interest and support to move from Capability Maturity Model Integration (CMMI) Level One (ad hoc processes) to Level Three. As presented herein, the material begins with a survey of open literature perspectives on technology development life cycles, including published data on %E2%80%9Cwhat went wrong.%E2%80%9D The main thrust of the material presents a rational expose%CC%81 of a structured technology development life cycle that uses the scientific method as a framework, with further rigor added from adapting relevant portions of the systems engineering process. The material concludes with a discussion on the use of multiple measures to assess technology maturity, including consideration of the viewpoint of potential users.

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    for verification of water monitoring technologies: #12;2 Evaluation of Nitrate Sensors for Groundwater Remediation interested in testing. Oklahoma Department of Agriculture has sites for the nitrate sensor evaluation

  8. Vehicle Technologies Office - AVTA: All Electric USPS Long Life...

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

    USPS Long Life Vehicle Conversions Vehicle Technologies Office - AVTA: All Electric USPS Long Life Vehicle Conversions The Vehicle Technologies Office's Advanced Vehicle Testing...

  9. Technology diffusion of a different nature: Applications of nuclear safeguards technology to the chemical weapons verification regime

    SciTech Connect (OSTI)

    Kadner, S.P. [Aquila Technologies Group, Inc., Albuquerque, NM (United States); Reisman, A. [Brookhaven National Lab., Upton, NY (United States); Turpen, E. [Aquila Technologies Group, Inc., Cambridge, MA (United States)

    1996-10-01

    The following discussion focuses on the issue of arms control implementation from the standpoint of technology and technical assistance. Not only are the procedures and techniques for safeguarding nuclear materials undergoing substantial changes, but the implementation of the Chemical Weapons Convention (CWC) and the Biological Weapons Convention (BWC) will give rise to technical difficulties unprecedented in the implementation of arms control verification. Although these regimes present new challenges, an analysis of the similarities between the nuclear and chemical weapons non-proliferation verification regimes illustrates the overlap in technological solutions. Just as cost-effective and efficient technologies can solve the problems faced by the nuclear safeguards community, these same technologies offer solutions for the CWC safeguards regime. With this in mind, experts at the Organization for the Prohibition of Chemical Weapons (OPCW), who are responsible for verification implementation, need to devise a CWC verification protocol that considers the technology already available. The functional similarity of IAEA and the OPCW, in conjunction with the technical necessities of both verification regimes, should receive attention with respect to the establishment of a technical assistance program. Lastly, the advanced status of the nuclear and chemical regime vis-a-vis the biological non-proliferation regime can inform our approach to implementation of confidence building measures for biological weapons.

  10. Improving Life through Science and Technology.

    E-Print Network [OSTI]

    Activity, and Community Shifts Scott A. Senseman Department of Soil and Crop Sciences Texas A&M University Hollister, Scott A. Senseman, Terry J. Gentry Department of Soil and Crop Sciences, Texas A&M UniversityImproving Life through Science and Technology. Glyphosate: Herbicide Interactions, Microbial

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

    E-Print Network [OSTI]

    ) to fund four proposals for verification of water monitoring technologies: Evaluation of Nitrate Sensors vendors interested in testing. Oklahoma Department of Agriculture has sites for the nitrate sensor evaluation, Nebraska Department of Environmental Quality (NDEQ) for microcystins, and EPA Region 7 for carbon

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

    SciTech Connect (OSTI)

    King, David A.

    2012-08-16

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

  13. SCIENCE, TECHNOLOGY AND THE QUALITY OF LIFE

    E-Print Network [OSTI]

    Calvin, Melvin

    2012-01-01

    Basic Energy Sciences and the Office of Energy Technology--of Basic Energy Sciences and the Office of Energy Technology

  14. Prospective Life Cycle and Technology Analysis

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

    understanding of AM process and markets Cradle-to-gate life cycle impacts 5 * Resource production dominates cradle-to-gate energy consumption * Significant materials efficiency...

  15. Life-Cycle Analysis of Geothermal Technologies

    Broader source: Energy.gov [DOE]

    The results and tools from this project will help GTP and stakeholders determine and communicate GT energy and GHG benefits and water impacts. The life-cycle analysis (LCA) approach is taken to address these effects.

  16. Patent Litigation for High Technology and Life Sciences Companies

    E-Print Network [OSTI]

    Shamos, Michael I.

    Patent Litigation for High Technology and Life Sciences Companies #12;© 2005 Fenwick & West LLP Corporate (emerging growth, financings, securities, mergers & acquisitions) n Intellectual Property (patent, copyright, licensing, trademark) n Litigation (patent and other IP, securities, antitrust, employment

  17. Patent Breadth, Patent Life, and the Pace of Technological Progress

    E-Print Network [OSTI]

    Sadoulet, Elisabeth

    Patent Breadth, Patent Life, and the Pace of Technological Progress TED O'DONOGHUE Department improve each other's products, a patent can terminate either because it expires or because a non of these happens as the effective patent life, and show how it depends on patent breadth. We distinguish lagging

  18. Technology to Extend Battery Life Coming Soon

    Broader source: Energy.gov [DOE]

    A cost-sharing award through the Recovery Acy is helping a technology firm in Albany, New York demonstrate a commercially viable, methanol fuel cell-powered charger for the consumer electronics market.

  19. New value packing technology extends service life

    SciTech Connect (OSTI)

    Miller, M.; Jackson, R. (Fisher Controls International, Inc., Marshalltown, IA (United States))

    1993-10-01

    New packing techniques can extend packing life and retain low stem leakage. The HPI can use these designs to avoid mandatory monitoring and repair schedules for valves that exceed the 500-ppm emission threshold. New EPA leakage limits will enforce monitoring and maintenance programs if more than 2% of the facility's valves exceed this limit. Because valves are dynamic, their control actions are prone to leakage. Also, the best fire-resistant packing material, graphite, has inherent deficiencies such as high compression stress and a high-friction coefficient that shortens its service life. Four basic principles overcome graphite packing's shortcomings for control valve applications. Examples show how these criteria improve sliding stem and rotary valve performance. Incorporating these principles into valve-packing designs can ensure long, low-maintenance service life, and the added benefit of low leakage. Graphite is a very important packing material for the HPI. Unlike fluoropolymer (e.g., PTFE) packing, graphite can tolerate high process temperature without decomposing or losing its sealing properties. More importantly, graphite packing is fire safe. It can survive a fire without a catastrophic failure that could add more flammable materials.

  20. Prospective Life Cycle and Technology Analysis

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAandSummary AreasDepartmentImre Gyuk, U.S.Energymore<6Prospective Life

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

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01

    state transition systems is a powerful modeling formalism, it is inadequate for modeling systems Verification of Continuous Dynamical Systems Ankur Taly1 , Ashish Tiwari2 1 Computer Science Department inference rules for safety verification of polynomial continuous dynamical systems. We present two different

  2. Technology development: HEPA filter service life test plan

    SciTech Connect (OSTI)

    Kirchner, K.N.; Cummings, K.G.; Leck, W.C.; Fretthold, J.K.

    1995-05-31

    Rocky Flats Environmental Technology Site (the Site) has approximately 10,000 High Efficiency Particulate Air (HEPA) Filters installed in a variety of filter plenums. These ventilation/filtration plenum systems are used to control the release of airborne particulate contaminates to the environment during normal operations and also during potential design-based accidents. The operational integrity of the HEPA filter plenums is essential to maintaining the margins of safety as required by building specific Final Safety Analysis Reports (FSARS) for protection of the public and environment. An Unreviewed Safety Question Determination (USQD), USDQ-RFP94.0615-ARS, was conducted in 1994 addressing the potential inadequacy of the safety envelope for Protected Area building HEPA plenums. While conducting this USQD, questions were raised concerning the maximum service life criteria for HEPA filters. Accident scenarios in existing FSARs identify conditions that could potentially cause plugging or damage of down stream HEPA filters as a result of impaction from failed filters. Additionally, available data indicates that HEPA filters experience structural degradation due to the effects of age. The Unresolved Safety Question (USQ) compensatory measures thus require testing and analysis of used HEPA filters in order to determine and implement service life criteria.

  3. Numerical Verification of Bounce Harmonic Resonances in Neoclassical

    Office of Scientific and Technical Information (OSTI)

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

  4. Introduction Information Technology has fundamentally changed the way of life of peo-

    E-Print Network [OSTI]

    Thornton, John

    Introduction Information Technology has fundamentally changed the way of life of peo- ple tend to think of information technology in terms of computer software, emails, shopping online, easy the infrastructure of the global information and communication technology in- dustries. This infrastructure

  5. Postdoctoral position in microfluidics for life and medical sciences at Technion -Israel Institute of Technology

    E-Print Network [OSTI]

    Rimon, Elon

    Postdoctoral position in microfluidics for life and medical sciences at Technion - Israel Institute of Technology The Microfluidic Technologies Laboratory at Technion, led by Prof. Moran Bercovici, is seeking of novel bio-microfluidic tools and assays. The Microfluidic Technologies Laboratory (microfluidics

  6. Physical and Life Sciences 2008 Science & Technology Highlights

    SciTech Connect (OSTI)

    Correll, D L; Hazi, A U

    2009-05-06

    This document highlights the outstanding research and development activities in the Physical and Life Sciences Directorate that made news in 2008. It also summarizes the awards and recognition received by members of the Directorate in 2008.

  7. Woman Credits JLab Technology With Saving Her Life | Jefferson...

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

    30, 2008 -- When Sue Parham underwent tests prior to undergoing surgery for breast cancer, she had no idea how much her life was about to change. Parham's surgeon had sent her...

  8. Systems integration and analysis of advanced life support technologies 

    E-Print Network [OSTI]

    Nworie, Grace A.

    2009-06-02

    Extended missions to space have long been a goal of the National Aeronautics and Space Administration (NASA). Accomplishment of NASA's goal requires the development of systems and tools for sustaining human life for periods of several months...

  9. Systematic Review and Harmonization of Life Cycle GHG Emission Estimates for Electricity Generation Technologies (Presentation)

    SciTech Connect (OSTI)

    Heath, G.

    2012-06-01

    This powerpoint presentation to be presented at the World Renewable Energy Forum on May 14, 2012, in Denver, CO, discusses systematic review and harmonization of life cycle GHG emission estimates for electricity generation technologies.

  10. System Verification Through Reliability, Availability, Maintainability (RAM) Analysis & Technology Readiness Levels (TRLs)

    SciTech Connect (OSTI)

    Emmanuel Ohene Opare, Jr.; Charles V. Park

    2011-06-01

    The Next Generation Nuclear Plant (NGNP) Project, managed by the Idaho National Laboratory (INL), is authored by the Energy Policy Act of 2005, to research, develop, design, construct, and operate a prototype fourth generation nuclear reactor to meet the needs of the 21st Century. A section in this document proposes that the NGNP will provide heat for process heat applications. As with all large projects developing and deploying new technologies, the NGNP is expected to meet high performance and availability targets relative to current state of the art systems and technology. One requirement for the NGNP is to provide heat for the generation of hydrogen for large scale productions and this process heat application is required to be at least 90% or more available relative to other technologies currently on the market. To reach this goal, a RAM Roadmap was developed highlighting the actions to be taken to ensure that various milestones in system development and maturation concurrently meet required availability requirements. Integral to the RAM Roadmap was the use of a RAM analytical/simulation tool which was used to estimate the availability of the system when deployed based on current design configuration and the maturation level of the system.

  11. 1. INTRODUCTION. The Integrated Defense Acquisition, Technology and Logistics Life Cycle Management Framework Chart is a training aid for

    E-Print Network [OSTI]

    Rhoads, James

    1. INTRODUCTION. The Integrated Defense Acquisition, Technology and Logistics Life Cycle Management additional information: Acquisition, Technology & Logistics Knowledge Sharing System (AKSS). http on acquisition, technology and logistics processes. ACC has links to acquisition-related Communities of Practice

  12. Prolongation technologies for campaign life of tall oven

    SciTech Connect (OSTI)

    Doko, Yoshiji; Saji, Takafumi; Kitayama, Yoshiteru; Yoshida, Shuhei [Sumitomo Metal Industries, Ltd., Kashima, Ibaraki (Japan). Kashima Steel Works

    1997-12-31

    In Kashima Steel Works, 25-year-old 7-meter-high coke ovens have damage on their walls. However, by using new methods of internal in-situ investigation, ceramic welding for the extended central and upper portions of coke ovens has prolonged the campaign life for over 40 years without large-scale hot repair. In this paper, introduction of these new methods, its application in Kashima and the policy of repairing the tall coke oven are reported.

  13. life science technologies www.sciencemag.org/products 707

    E-Print Network [OSTI]

    Hardy, Jeanne

    Knowledge Base (SG- KB) Technology Portal (cci.lbl.gov/kb-tech). Listed are more than 100 different innovations, from reagents and robotics to informatics and data management solutions--everything needed or nuclear magnetic resonance (NMR), and make it fast, efficient, and high throughput. "In terms

  14. Vehicle Technologies Office Merit Review 2015: Giga Life Cycle: Manufacture of Cells from Recycled EV Li-ion Batteries

    Broader source: Energy.gov [DOE]

    Presentation given by OnTo Technology at 2015 DOE Hydrogen and Fuel Cells Program and Vehicle Technologies Office Annual Merit Review and Peer Evaluation Meeting about Giga Life Cycle: manufacture...

  15. Vehicle Technologies Office Merit Review 2015: High Energy, Long Cycle Life Lithium-ion Batteries for EV Applications

    Broader source: Energy.gov [DOE]

    Presentation given by Penn State at 2015 DOE Hydrogen and Fuel Cells Program and Vehicle Technologies Office Annual Merit Review and Peer Evaluation Meeting about high energy, long cycle life...

  16. Technology Choices for the PV Industry: A Comparative Life Cycle Assessment

    E-Print Network [OSTI]

    Boyd, Sarah; Dornfeld, David A

    2005-01-01

    2000), “Environmental Life Cycle Assessment of Solar HomePV INDUSTRY: A Comparative Life Cycle Assessment Sarah Boydinput-output life cycle assessment (EIOLCA) to capture both

  17. The 10th International Symposium on Embedded Technology, Daegu, Korea 150 Verification Techniques for COTS Dedication of

    E-Print Network [OSTI]

    industry as an alternative platform of digital I&C (Instrumentation & Control) in nuclear power plants [1 Design to C Implementation for Reactor Protection System Software," Nuclear Engineering and Technology}@konkuk.ac.kr Abstract FPGA (Field-Programmable Gate Array) has received much attention from nuclear

  18. Life Cycle analysis data and results for geothermal and other electricity generation technologies

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Sullivan, John

    2013-06-04

    Life cycle analysis (LCA) is an environmental assessment method that quantifies the environmental performance of a product system over its entire lifetime, from cradle to grave. Based on a set of relevant metrics, the method is aptly suited for comparing the environmental performance of competing products systems. This file contains LCA data and results for electric power production including geothermal power. The LCA for electric power has been broken down into two life cycle stages, namely plant and fuel cycles. Relevant metrics include the energy ratio and greenhouse gas (GHG) ratios, where the former is the ratio of system input energy to total lifetime electrical energy out and the latter is the ratio of the sum of all incurred greenhouse gases (in CO2 equivalents) divided by the same energy output. Specific information included herein are material to power (MPR) ratios for a range of power technologies for conventional thermoelectric, renewables (including three geothermal power technologies), and coproduced natural gas/geothermal power. For the geothermal power scenarios, the MPRs include the casing, cement, diesel, and water requirements for drilling wells and topside piping. Also included herein are energy and GHG ratios for plant and fuel cycle stages for the range of considered electricity generating technologies. Some of this information are MPR data extracted directly from the literature or from models (eg. ICARUS – a subset of ASPEN models) and others (energy and GHG ratios) are results calculated using GREET models and MPR data. MPR data for wells included herein were based on the Argonne well materials model and GETEM well count results.

  19. Life Cycle analysis data and results for geothermal and other electricity generation technologies

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Sullivan, John

    Life cycle analysis (LCA) is an environmental assessment method that quantifies the environmental performance of a product system over its entire lifetime, from cradle to grave. Based on a set of relevant metrics, the method is aptly suited for comparing the environmental performance of competing products systems. This file contains LCA data and results for electric power production including geothermal power. The LCA for electric power has been broken down into two life cycle stages, namely plant and fuel cycles. Relevant metrics include the energy ratio and greenhouse gas (GHG) ratios, where the former is the ratio of system input energy to total lifetime electrical energy out and the latter is the ratio of the sum of all incurred greenhouse gases (in CO2 equivalents) divided by the same energy output. Specific information included herein are material to power (MPR) ratios for a range of power technologies for conventional thermoelectric, renewables (including three geothermal power technologies), and coproduced natural gas/geothermal power. For the geothermal power scenarios, the MPRs include the casing, cement, diesel, and water requirements for drilling wells and topside piping. Also included herein are energy and GHG ratios for plant and fuel cycle stages for the range of considered electricity generating technologies. Some of this information are MPR data extracted directly from the literature or from models (eg. ICARUS – a subset of ASPEN models) and others (energy and GHG ratios) are results calculated using GREET models and MPR data. MPR data for wells included herein were based on the Argonne well materials model and GETEM well count results.

  20. Security Science & Technology | Nuclear Science | ORNL

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

    Security Treaty Verification Nuclear Systems Modeling, Simulation & Validation Nuclear Systems Technology Reactor Technology Nuclear Science Home | Science & Discovery |...

  1. Verification Testing Test Driven Development Testing with JUnit Verification

    E-Print Network [OSTI]

    Peters, Dennis

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

  2. An assessment of potential for benefit from integrating geographic information systems technology into life-cycle management of infrastructures a focus for infrastructure management practice 

    E-Print Network [OSTI]

    Millegan, Harold Lynn

    1997-01-01

    AN ASSESSMENT OF POTE~ FOR BENEFIT FROM INTEGRATING GEOGRAPHIC INFORMATION SYSTEMS TECHNOLOGY INTO LIFE-CYCLE MANAGEMENT OF INFRASTRUCTURES A FOCUS FOR INFRASTRUCTURE MANAGEMENT PRACTICE A Thesis HAROLD LYNN MILLEGAN Submitted to the OIIIce.... Congress, Office of Technology Assessment 1991), This technology is not presently used to its potential and should be used more extensively by civil engineers. A proper focus is needed to integrate this spatially oriented technology to life-cycle...

  3. RIKEN Center for Life Science Technologies Division of Structural and Synthetic Biology

    E-Print Network [OSTI]

    Fukai, Tomoki

    Function Conversion Technology Team Genetic Diagnosis Technology Unit Epigenome Technology Exploration Unit Cell Conversion Technology Unit Genome Network Analysis Support Facility Nucleic Acid Diagnostic System Structural Bioinformatics Team Post-Transcriptional Control Research Unit Translation Factors Structural

  4. Training & Technology Solutions Queens College ~ Office of Information Technology ~ Training & Technology Solutions

    E-Print Network [OSTI]

    Johnson Jr.,, Ray

    Training & Technology Solutions Queens College ~ Office of Information Technology ~ Training & Technology Solutions 718-997-4875 ~ training@qc.cuny.edu ~ I-Bldg 214 Faculty Center Verification & Technology Solutions Queens College ~ Office of Information Technology ~ Training & Technology Solutions 718

  5. Tampere University of Technology Institute of Software Systems

    E-Print Network [OSTI]

    Geldenhuys, Jaco

    Tampere University of Technology Institute of Software Systems Verification Algorithm Research Group Tampere Verification Tool TVT tutorial Juha Nieminen, Terhi Kilamo, Timo Kivelä, Jaco Geldenhuys Sari Leppänen Antti Valmari #12;Tampere Verification Tool TVT tutorial Contents 1 Introduction 3 1

  6. Integrating Human Performance and Technology

    SciTech Connect (OSTI)

    Ronald K. Farris; Heather Medema

    2012-05-01

    Human error is a significant factor in the cause and/or complication of events that occur in the commercial nuclear industry. In recent years, great gains have been made using Human Performance (HU) tools focused on targeting individual behaviors. However, the cost of improving HU is growing and resistance to add yet another HU tool certainly exists, particularly for those tools that increase the paperwork for operations. Improvements in HU that are the result of leveraging existing technology, such as hand-held mobile technologies, have the potential to reduce human error in controlling system configurations, safety tag-outs, and other verifications. Operator rounds, valve line-up verifications, containment closure verifications, safety & equipment protection, and system tagging can be supported by field-deployable wireless technologies. These devices can also support the availability of critical component data in the main control room and other locations. This research pilot project reviewing wireless hand-held technology is part of the Light Water Reactor Sustainability Program (LWRSP), a research and development (R&D) program sponsored by the U. S. Department of Energy (DOE). The project is being performed in close collaboration with industry R&D programs to provide the technical foundations for licensing, and managing the long-term, safe, and economical operation of current nuclear power plants. The LWRSP vision is to develop technologies and other solutions that can improve the reliability, sustain the safety, and extend the life of the current nuclear reactor fleet.

  7. New ways to construct underwater environments are encouraging marine life and boosting fish stocks1 http://www.economist.com/news/technology-quarterly/21635319-new-ways-construct-underwater-environments-are-encouraging-marine-life-and2

    E-Print Network [OSTI]

    South Bohemia, University of

    http://www.economist.com/news/technology-quarterly/21635319-new to paints, enamels, plastics or rubber. Precious little9 sea life has attached itself to the 2m or so tyres

  8. Analytic Verification at NASA A View from the Trenches

    E-Print Network [OSTI]

    Jipsen, Peter

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

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

    E-Print Network [OSTI]

    Mostowski, Wojciech

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

  10. ORISE: Independent verification

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

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

  11. Monitoring and verification R&D

    SciTech Connect (OSTI)

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

    2011-01-01

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

  12. Nuclear Data Verification and Standardization

    SciTech Connect (OSTI)

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

    2011-10-01

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

  13. Orc Verification Jayadev Misra

    E-Print Network [OSTI]

    Misra, Jayadev

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

  14. Vehicle Technologies Office- AVTA: All Electric USPS Long Life Vehicle Conversions

    Office of Energy Efficiency and Renewable Energy (EERE)

    The following set of reports (part of the medium and heavy-duty truck data) describes performance data collected from all-electric conversions of U.S. Postal Service (USPS) Long-Life Vehicles. This research was conducted by Idaho National Laboratory, which has several additional reports available.

  15. Energy Saving Melting and Revert Reduction Technology: Improved Die Casting Process to Preserve the Life of the Inserts

    SciTech Connect (OSTI)

    David Schwam, PI; Xuejun Zhu, Sr. Research Associate

    2012-09-30

    The goal of this project was to study the combined effects of die design, proper internal cooling and efficient die lubricants on die life. The project targeted improvements in die casting insert life by: Optomized Die Design for Reduced Surface Temperature: The life of die casting dies is significantly shorter when the die is exposed to elevated temperature for significant periods of time. Any die operated under conditions leading to surface temperature in excess of 1050oF undergoes structural changes that reduce its strength. Optimized die design can improve die life significantly. This improvement can be accomplished by means of cooling lines, baffles and bubblers in the die. A key objective of the project was to establish criteria for the minimal distance of the cooling lines from the surface. This effort was supported with alloys and machining by BohlerUddeholm, Dunn Steel, HH Stark and Rex Buckeye. In plant testing and evaluation was conducted as in-kind cost share at St. Clair Die Casting. The Uddeholm Dievar steel evaluated in this program showed superior resistance to thermal fatigue resistance. Based on the experimental evidence, cooling lines could be placed as close as 0.5"Âť from the surface. Die Life Extension by Optimized Die Lubrication: The life of die casting dies is affected by additions made to its surface with the proper lubricants. These lubricants will protect the surface from the considerable temperature peaks that occur when the molten melt enters the die. Dies will reach a significantly higher temperature without this lubricant being applied. The amount and type of the lubricant are critical variables in the die casting process. However, these lubricants must not corrode the die surface. This effort was supported with alloys and machining by BohlerUddeholm, Dunn Steel, HH Stark and Rex Buckeye. In plant testing and evaluation was conducted as in-kind cost share at St. Clair Die Casting. Chem- Trend participated in the program with die lubricants and technical support. Experiments conducted with these lubricants demonstrated good protection of the substrate steel. Graphite and boron nitride used as benchmarks are capable of completely eliminating soldering and washout. However, because of cost and environmental considerations these materials are not widely used in industry. The best water-based die lubricants evaluated in this program were capable of providing similar protection from soldering and washout. In addition to improved part quality and higher production rates, improving die casting processes to preserve the life of the inserts will result in energy savings and a reduction in environmental wastes. Improving die life by means of optimized cooling line placement, baffles and bubblers in the die will allow for reduced die temperatures during processing, saving energy associated with production. The utilization of optimized die lubricants will also reduce heat requirements in addition to reducing waste associated with soldering and washout. This new technology was predicted to result in an average energy savings of 1.1 trillion BTU's/year over a 10 year period. Current (2012) annual energy saving estimates, based on commercial introduction in 2010, a market penetration of 70% by 2020 is 1.26 trillion BTU's/year. Along with these energy savings, reduction of scrap and improvement in casting yield will result in a reduction of the environmental emissions associated with the melting and pouring of the metal which will be saved as a result of this technology. The average annual estimate of CO2 reduction per year through 2020 is 0.025 Million Metric Tons of Carbon Equivalent (MM TCE).

  16. Voltage verification unit

    DOE Patents [OSTI]

    Martin, Edward J. (Virginia Beach, VA)

    2008-01-15

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

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

    SciTech Connect (OSTI)

    none,

    2013-10-10

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

  18. The 3rd DBCLS BioHackathon: improving life science data integration with Semantic Web technologies

    E-Print Network [OSTI]

    Katayama, Toshiaki; Wilkinson, Mark D.; Micklem, Gos; Kawashima, Shuichi; Yamaguchi, Atsuko; Nakao, Mitsuteru; Yamamoto, Yasunori; Okamoto, Shinobu; Oouchida, Kenta; Chun, Hong-Woo; Aerts, Jan; Afzal, Hammad; Antezana, Erick; Arakawa, Kazuharu; Aranda, Bruno; Belleau, Francois; Bolleman, Jerven; Bonnal, Raoul J. P.; Chapman, Brad; Cock, Peter J. A.; Eriksson, Tore; Gordon, Paul M. K.; Goto, Naohisa; Hayashi, Kazuhiro; Horn, Heiko; Ishiwata, Ryosuke; Kaminuma, Eli; Kasprzyk, Arek; Kawaji, Hideya; Kido, Nobuhiro; Kim, Young Joo; Kinjo, Akira R.; Konishi, Fumikazu; Kwon, Kyung-Hoon; Labarga, Alberto; Lamprecht, Anna-Lena; Lin, Yu; Lindenbaum, Pierre; McCarthy, Luke; Morita, Hideyuki; Murakami, Katsuhiko; Nagao, Koji; Nishida, Kozo; Nishimura, Kunihiro; Nishizawa, Tatsuya; Ogishima, Soichi; Ono, Keiichiro; Oshita, Kazuki; Park, Keun-Joon; Prins, Pjotr; Saito, Taro L.; Samwald, Matthias; Satagopam, Venkata P.; Shigemoto, Yasumasa; Smith, Richard; Splendiani, Andrea; Sugawara, Hideaki; Taylor, James; Vos, Rutger A.; Withers, David; Yamasaki, Chisato; Zmasek, Christian M.; Kawamoto, Shoko; Okubo, Kosaku; Asai, Kiyoshi; Takagi, Toshihisa

    2013-02-11

    stream_source_info 2041-1480-4-6.pdf.txt stream_content_type text/plain stream_size 85006 Content-Encoding UTF-8 stream_name 2041-1480-4-6.pdf.txt Content-Type text/plain; charset=UTF-8 REVIEW Open Access The 3rd DBCLS Bio... showing its power over traditional data and knowledge frameworks. Among the most prom- inent of these early-adopters have been the life and health science communities [3] where numerous Linked Data initiatives have emerged. Notable examples include...

  19. STATE-OF-THE-ART AND EMERGING TRUCK ENGINE TECHNOLOGIES FOR OPTIMIZED PERFORMANCE, EMISSIONS AND LIFE CYCLE COSTS

    SciTech Connect (OSTI)

    Schittler, M

    2003-08-24

    The challenge for truck engine product engineering is not only to fulfill increasingly stringent emission requirements, but also to improve the engine's economical viability in its role as the backbone of our global economy. While societal impact and therefore emission limit values are to be reduced in big steps, continuous improvement is not enough but technological quantum leaps are necessary. The introduction and refinement of electronic control of all major engine systems has already been a quantum leap forward. Maximizing the benefits of these technologies to customers and society requires full use of parameter optimization and other enabling technologies. The next big step forward will be widespread use of exhaust aftertreatment on all transportation related diesel engines. While exhaust gas aftertreatment has been successfully established on gasoline (Otto cycle) engines, the introduction of exhaust aftertreatment especially for heavy-duty diesel engines will be much mo re demanding. Implementing exhaust gas aftertreatment into commercial vehicle applications is a challenging task but the emission requirements to be met starting in Europe, the USA and Japan in the 2005-2007 timeframe require this step. The engine industry will be able to implement the new technology if all stakeholders support the necessary decisions. One decision has already been taken: the reduction of sulfur in diesel fuel being comparable with the elimination of lead in gasoline as a prerequisite for the three-way catalyst. Now we have the chance to optimize ecology and economy of the Diesel engine simultaneously by taking the decision to provide an additional infrastructure for a NOx reduction agent needed for the introduction of the Selective Catalytic Reduction (SCR) technology that is already implemented in the electric power generation industry. This requires some effort, but the resulting societal benefits, fuel economy and vehicle life cycle costs are significantly better when compared to other competitive technologies. After long discussions this decision for SCR has been made in Europe and is supported by all truck and engine manufacturers. The necessary logistic support will be in place when it will be needed commercially in 2005. For the US the decision has to be taken this year in order to have the infrastructure available in 2007. It will enable the global engine industry to focus their R & D resources in one direction not only for 2007, but for the years beyond 2010 with the best benefit for the environment, the customers and the industry.

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

    SciTech Connect (OSTI)

    Doyle, James E.

    2012-06-12

    The author offers 5 points for the discussion of Verification and Technology: (1) Experience with the implementation of arms limitation and arms reduction agreements confirms that technology alone has never been relied upon to provide effective verification. (2) The historical practice of verification of arms control treaties between Cold War rivals may constrain the cooperative and innovative use of technology for transparency, veification and confidence building in the future. (3) An area that has been identified by many, including the US State Department and NNSA as being rich for exploration for potential uses of technology for transparency and verification is information and communications technology (ICT). This includes social media, crowd-sourcing, the internet of things, and the concept of societal verification, but there are issues. (4) On the issue of the extent to which verification technologies are keeping pace with the demands of future protocols and agrements I think the more direct question is ''are they effective in supporting the objectives of the treaty or agreement?'' In this regard it is important to acknowledge that there is a verification grand challenge at our doorstep. That is ''how does one verify limitations on nuclear warheads in national stockpiles?'' (5) Finally, while recognizing the daunting political and security challenges of such an approach, multilateral engagement and cooperation at the conceptual and technical levels provides benefits for addressing future verification challenges.

  1. Verification and validation benchmarks.

    SciTech Connect (OSTI)

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01

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

  2. On Incremental Quantitative Verification for Probabilistic Systems

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    2014-01-01

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

  4. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

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

    2014-01-01

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

  5. Investigating Correlated Neutrons from Pulsed Photonuclear Interrogation for Treaty Verification Applications 

    E-Print Network [OSTI]

    Stewart, Scott

    2013-06-03

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

  6. A qualitative study of technology-based training in organizations that hire agriculture and life sciences students 

    E-Print Network [OSTI]

    Frazier, Leslie Jean

    2007-09-17

    , 2) technology/computer skills, 3) the ability to conduct a needs assessment, 4) interpersonal skills, 5) writing skills, 6) planning and organizational skills, and 7) evaluation skills. The identified skills and competencies related to technology...

  7. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15

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

  8. Model Verification and Validation

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

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

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

    E-Print Network [OSTI]

    Joshi, Rajeev

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

  10. Enhanced Verification Test Suite for Physics Simulation Codes

    SciTech Connect (OSTI)

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

    2008-10-10

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

  11. Technolog

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

    focuses on multi-scale, multiphysics approaches to understanding natural systems, "engineering the earth" with sensing and drilling technologies and characterizing geomaterials...

  12. Runtime verification for stochastic systems

    E-Print Network [OSTI]

    Wilcox, Cristina M

    2010-01-01

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

  13. Design for manufacturability Design verification

    E-Print Network [OSTI]

    Patel, Chintan

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

  14. Vehicle Technologies Office Merit Review 2014: High Energy, Long Cycle Life Lithium-ion Batteries for EV Applications

    Broader source: Energy.gov [DOE]

    Presentation given by The Pennsylvania State University at 2014 DOE Hydrogen and Fuel Cells Program and Vehicle Technologies Office Annual Merit Review and Peer Evaluation Meeting about high energy...

  15. Vehicle Technologies Office Merit Review 2014: DC Fast Charging Effects on Battery Life and EVSE Efficiency and Security Testing

    Broader source: Energy.gov [DOE]

    Presentation given by Idaho National Laboratory at 2014 DOE Hydrogen and Fuel Cells Program and Vehicle Technologies Office Annual Merit Review and Peer Evaluation Meeting about DC fast charging...

  16. High Impact Technology Hub- Resources for Evaluators- Site Evaluation Checklists

    Broader source: Energy.gov [DOE]

    The HIT Catalyst conducts technology demonstrations in three main phases govern demonstrations: Site Evaluation, Selection and Project Kick-Off, Measurement and Verification Scoping and Plan...

  17. Plasmid Transformation into DH5alpha E.coli cells using Heat Shock (by Manish, summarized from LIFE technologies protocol)

    E-Print Network [OSTI]

    Raizada, Manish N.

    technologies protocol) In advance: Prepare dry ice/ethanol. Prepare 42C water bath. Prechill 1.5 ml tubes on wet ice. Prepare LB+ antibiotic plates +/- IPTG/X-gal. Prepare plates in advance, or else, spread 50u. If necessary to use more transformed cells, then centrifuge in the 1.5mL tube for 5 seconds and resuspend

  18. DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS

    SciTech Connect (OSTI)

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

    2009-07-01

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

  19. Technologies

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired Solar Fuel ProductionRecoverable15/2008Technologies Technologies

  20. Technology

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired Solar FuelTechnology /newsroom/_assets/images/s-icon.png Technology

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

    SciTech Connect (OSTI)

    Luke, S J

    2011-12-20

    This report describes a path forward for implementing information barriers in a future generic biological arms-control verification regime. Information barriers have become a staple of discussion in the area of arms control verification approaches for nuclear weapons and components. Information barriers when used with a measurement system allow for the determination that an item has sensitive characteristics without releasing any of the sensitive information. Over the last 15 years the United States (with the Russian Federation) has led on the development of information barriers in the area of the verification of nuclear weapons and nuclear components. The work of the US and the Russian Federation has prompted other states (e.g., UK and Norway) to consider the merits of information barriers for possible verification regimes. In the context of a biological weapons control verification regime, the dual-use nature of the biotechnology will require protection of sensitive information while allowing for the verification of treaty commitments. A major question that has arisen is whether - in a biological weapons verification regime - the presence or absence of a weapon pathogen can be determined without revealing any information about possible sensitive or proprietary information contained in the genetic materials being declared under a verification regime. This study indicates that a verification regime could be constructed using a small number of pathogens that spans the range of known biological weapons agents. Since the number of possible pathogens is small it is possible and prudent to treat these pathogens as analogies to attributes in a nuclear verification regime. This study has determined that there may be some information that needs to be protected in a biological weapons control verification regime. To protect this information, the study concludes that the Lawrence Livermore Microbial Detection Array may be a suitable technology for the detection of the genetic information associated with the various pathogens. In addition, it has been determined that a suitable information barrier could be applied to this technology when the verification regime has been defined. Finally, the report posits a path forward for additional development of information barriers in a biological weapons verification regime. This path forward has shown that a new analysis approach coined as Information Loss Analysis might need to be pursued so that a numerical understanding of how information can be lost in specific measurement systems can be achieved.

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

    Open Energy Info (EERE)

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

  3. Technical challenges for dismantlement verification

    SciTech Connect (OSTI)

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

    1997-11-01

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

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

    E-Print Network [OSTI]

    Jouannaud, Jean-Pierre

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

  5. Symbolic Verification of Timed Asynchronous Hardware Protocols

    E-Print Network [OSTI]

    Stevens, Ken

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

  6. Incremental Power Grid Verification ECE Department

    E-Print Network [OSTI]

    Najm, Farid N.

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

  7. Technologies

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorking With U.S. CoalMexico IndependentMatter and Technologies R&D

  8. Software verification and validation for commercial statistical packages utilized by the statistical consulting section of SRTC

    SciTech Connect (OSTI)

    Edwards, T.B.

    2000-03-22

    The purpose of this report is to provide software verification and validation for the statistical packages used by the Statistical Consulting Section (SCS) of the Savannah River Technology Center. The need for this verification and validation stems from the requirements of the Quality Assurance programs that are frequently applicable to the work conducted by SCS. The IBM Personal Computer 300PL and 300XL are both Pentium II based desktops. Therefore the software verification and validation in this report is valid interchangeably between both platforms. As new computing platforms, statistical packages, or revisions to existing packages are reevaluated using these new tools, this report is to be revised to address their verification and validation.

  9. Mathematics is at the foundation of our highly technological society. The application of mathematics can be found in almost all walks of life, and often in the most unexpected

    E-Print Network [OSTI]

    Stephan, Frank

    Abstract Mathematics is at the foundation of our highly technological society. The application of mathematics can be found in almost all walks of life, and often in the most unexpected places. In this talk, the speaker will provide some examples of interesting applications of frontier research mathematics in areas

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  11. An on-line human signature verification system 

    E-Print Network [OSTI]

    Simsek, Burc A

    2000-01-01

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

  12. Verification and Validation of Hybrid Systems

    E-Print Network [OSTI]

    Jin, Xiaoqing

    2013-01-01

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

  13. Input apparatus for dynamic signature verification systems

    DOE Patents [OSTI]

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

    1978-01-01

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

  14. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    NONE

    1998-12-01

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

  15. Alternative Breaks Emergency Contact & Verification of Medical

    E-Print Network [OSTI]

    Tipple, Brett

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

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

    Office of Scientific and Technical Information (OSTI)

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

  17. Fast 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

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

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

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

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

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

    E-Print Network [OSTI]

    Mountziaris, T. J.

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

  20. MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY

    E-Print Network [OSTI]

    Poggio, Tomaso

    MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY and CENTER FOR BIOLOGICAL vision tasks, including the computation of image correspondence, object verification, image synthesis at the Artificial Intelligence Laboratory and within the Center for Biological and Computational Learning

  1. A project operated by RIKEN as part of the Japanese Ministry of Education, Culture, Sports, Science & Technology's High Performance

    E-Print Network [OSTI]

    Fukai, Tomoki

    & Technology's High Performance Computing Infrastructure (HPCI) program Supercomputational Life Science

  2. The monitoring and verification of nuclear weapons

    SciTech Connect (OSTI)

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

    2014-05-09

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

  3. ExperimentalVerification of Vibration Absorbers Combinedwith Input Shaping for Oscillatory Systems

    E-Print Network [OSTI]

    Singhose, William

    ExperimentalVerification of Vibration Absorbers Combinedwith Input Shaping for Oscillatory Systems of Technology Atlanta, GA 30332 ABSTRACT Systems that exhibit flexible dynamics are susceptible to vibration choice to deal with these vibrations, but in many cases, it is insufficient or difficult to implement

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

    E-Print Network [OSTI]

    Pasareanu, Corina

    Lifecycle Verification of the NASA Ames K9 Rover Executive Dimitra Giannakopoulou1, 3 Corina S. Pasareanu2, 3 Michael Lowry3 and Rich Washington4 (1) USRA/RIACS (2) Kestrel Technology LLC (3) NASA Ames Research Center, Moffett Field, CA 94035-1000, USA {dimitra, pcorina, lowry}@email.arc.nasa.gov (4) Google

  5. Formal Verification of Robot Movements -a Case Study on Home Service Robot SHR100

    E-Print Network [OSTI]

    Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 Moonzoo Kim, Kyo of Technology Suwon, South Korea twinclee@samsung.com Abstract-- Home service robots have received much atten- tion from both academia and industry because home service robots have wide range of potential

  6. Verifying disarmament: scientific, technological and political challenges

    SciTech Connect (OSTI)

    Pilat, Joseph R

    2011-01-25

    There is growing interest in, and hopes for, nuclear disarmament in governments and nongovernmental organizations (NGOs) around the world. If a nuclear-weapon-free world is to be achievable, verification and compliance will be critical. VerifYing disarmament would have unprecedented scientific, technological and political challenges. Verification would have to address warheads, components, materials, testing, facilities, delivery capabilities, virtual capabilities from existing or shutdown nuclear weapon and existing nuclear energy programs and material and weapon production and related capabilities. Moreover, it would likely have far more stringent requirements. The verification of dismantlement or elimination of nuclear warheads and components is widely recognized as the most pressing problem. There has been considerable research and development done in the United States and elsewhere on warhead and dismantlement transparency and verification since the early 1990s. However, we do not today know how to verifY low numbers or zero. We need to develop the needed verification tools and systems approaches that would allow us to meet this complex set of challenges. There is a real opportunity to explore verification options and, given any realistic time frame for disarmament, there is considerable scope to invest resources at the national and international levels to undertake research, development and demonstrations in an effort to address the anticipated and perhaps unanticipated verification challenges of disarmament now andfor the next decades. Cooperative approaches have the greatest possibility for success.

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

    E-Print Network [OSTI]

    Beyer, Dirk

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

  8. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

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

  9. AN INVESTIGATION INTO SUBSPACE RAPID SPEAKER ADAPTATION FOR VERIFICATION

    E-Print Network [OSTI]

    Chen, Tsuhan

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

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

    E-Print Network [OSTI]

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

  11. verification

    National Nuclear Security Administration (NNSA)

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

  12. verification

    National Nuclear Security Administration (NNSA)

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

  13. Certainty in Stockpile Computing: Recommending a Verification and Validation Program for Scientific Software

    SciTech Connect (OSTI)

    Lee, J.R.

    1998-11-01

    As computing assumes a more central role in managing the nuclear stockpile, the consequences of an erroneous computer simulation could be severe. Computational failures are common in other endeavors and have caused project failures, significant economic loss, and loss of life. This report examines the causes of software failure and proposes steps to mitigate them. A formal verification and validation program for scientific software is recommended and described.

  14. Proof Planning for Automating Hardware Verification 

    E-Print Network [OSTI]

    Cantu-Ortiz, Francisco Javier

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

  15. Correct Hardware Design and Verification Methods

    E-Print Network [OSTI]

    Margaria, T.; Melham, T.F.

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

  16. Life With Energy

    K-12 Energy Lesson Plans and Activities Web site (EERE)

    Students will describe ways in which technology affects the environment, both negatively and positively, and identify different forms of energy and their advantages/disadvantages. They will also determine the benefits as well as the environmental harms of using energy to improve our quality of life.

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

    E-Print Network [OSTI]

    Memon, Atif M.

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

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

    E-Print Network [OSTI]

    Belli, Fevzi

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

  19. Nuclear Proliferation Using Laser Isotope Separation -- Verification Options

    SciTech Connect (OSTI)

    Erickson, S A

    2001-10-15

    Two levels of nonproliferation verification exist. Signatories of the basic agreements under the Nuclear Non-proliferation Treaty (NPT) agree to open their nuclear sites to inspection by the IAEA. A more detailed and intrusive level was developed following the determination that Iraq had begun a nuclear weapons development program that was not detected by the original level of verification methods. This level, referred to as 93+2 and detailed in model protocol INFCIRC/540, allows the IAEA to do environmental monitoring of non-declared facilities that are suspected of containing proliferation activity, and possibly further inspections, as well as allowing more detailed inspections of declared sites. 56 countries have signed a Strengthened Safeguards Systems Additional Protocol as of 16 July 2001. These additional inspections can be done on the instigation of the IAEA itself, or after requests by other parties to the NPT, based on information that they have collected. Since information able to cause suspicion of proliferation could arrive at any country, it is important that countries have procedures in place that will assist them in making decisions related to these inspections. Furthermore, IAEA inspection resources are limited, and therefore care needs to be taken to make best use of these resources. Most of the nonproliferation verification inspections may be concentrated on establishing that diversion of nuclear materials is not occurring, but some fraction will be related to determining if undeclared sites have nuclear materials production taking place within them. Of these, most suspicions will likely be related to the major existing technologies for uranium enrichment and reprocessing for plutonium extraction, as it would seem most likely that nations attempting proliferation would use tested means of producing nuclear materials. However, as technology continues to advance and new methods of enrichment and reprocessing are developed, inspection-related procedures will need to be adapted to keep up with them. In order to make 93+2 inspections more useful, a systematic way of finding clues to nuclear proliferation would be useful. Also, to cope with the possible use of newer technology for proliferation, the list of clues might need to be expanded. This paper discusses the development and recognition of such clues. It concentrates on laser isotope separation (LIS) as a new proliferation technology, and uses Uranium Atomic Vapor Laser Isotope Separation (U-AVLIS) as an example of LIS that is well known.

  20. Life-Cycle Analysis Results of Geothermal Systems in Comparison...

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

    hydrothermal flash, and hydrothermal binary technologies. lifecycleanalysisofgeothermalsystemsdraft.pdf More Documents & Publications Life-Cycle Analysis Results of...

  1. Life-Cycle Analysis Results of Geothermal Systems in Comparison...

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

    hydrothermal flash, and hydrothermal binary technologies. lifecycleanalysisofgeothermalsystems.pdf More Documents & Publications Life-Cycle Analysis Results of...

  2. Life Before Earth

    E-Print Network [OSTI]

    Alexei A. Sharov; Richard Gordon

    2013-03-28

    An extrapolation of the genetic complexity of organisms to earlier times suggests that life began before the Earth was formed. Life may have started from systems with single heritable elements that are functionally equivalent to a nucleotide. The genetic complexity, roughly measured by the number of non-redundant functional nucleotides, is expected to have grown exponentially due to several positive feedback factors: gene cooperation, duplication of genes with their subsequent specialization, and emergence of novel functional niches associated with existing genes. Linear regression of genetic complexity on a log scale extrapolated back to just one base pair suggests the time of the origin of life 9.7 billion years ago. This cosmic time scale for the evolution of life has important consequences: life took ca. 5 billion years to reach the complexity of bacteria; the environments in which life originated and evolved to the prokaryote stage may have been quite different from those envisaged on Earth; there was no intelligent life in our universe prior to the origin of Earth, thus Earth could not have been deliberately seeded with life by intelligent aliens; Earth was seeded by panspermia; experimental replication of the origin of life from scratch may have to emulate many cumulative rare events; and the Drake equation for guesstimating the number of civilizations in the universe is likely wrong, as intelligent life has just begun appearing in our universe. Evolution of advanced organisms has accelerated via development of additional information-processing systems: epigenetic memory, primitive mind, multicellular brain, language, books, computers, and Internet. As a result the doubling time of complexity has reached ca. 20 years. Finally, we discuss the issue of the predicted technological singularity and give a biosemiotics perspective on the increase of complexity.

  3. GE Healthcare Life Sciences provides products and services used as tools for biopharmaceutical manufacturing, drug discovery and the latest in cellular technologies, thereby enabling our customers

    E-Print Network [OSTI]

    Uppsala Universitet

    GE Healthcare Life Sciences provides products and services used as tools for biopharmaceutical protein purification at Protein Tools, GE Healthcare, Uppsala Background Immobilized metal affinity independently and in collaborations. The master thesis will be carried out at GE Healthcare in Uppsala and last

  4. FINANCIAL SUPPORT VERIFICATION Dependent student

    E-Print Network [OSTI]

    Minnesota, University of

    at no or little cost. For example, free food or clothing provided by a relative or friend. In these cases, please post-consumer waste. FA933--Page 1 of 1 12/13 SECTION B. Family expenses D Birthdate (mm annual cost Child or elder care Clothing Entertainment Food Insurance (medical, life, property, auto

  5. FINANCIAL SUPPORT VERIFICATION Independent student

    E-Print Network [OSTI]

    Minnesota, University of

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

  6. FINANCIAL SUPPORT VERIFICATION Dependent student

    E-Print Network [OSTI]

    Minnesota, University of

    at no or little cost. For example, free food or clothing provided by a relative or friend. In these cases, please than 20 percent post-consumer waste. FA933--Page 1 of 1 5/15 SECTION B. Family expenses D Birthdate (mm annual cost Child or elder care Clothing Entertainment Food Insurance (medical, life, property, auto

  7. FINANCIAL SUPPORT VERIFICATION Independent student

    E-Print Network [OSTI]

    Minnesota, University of

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

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

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

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

    E-Print Network [OSTI]

    Hedrick, J. K.; Ni, A.

    2004-01-01

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

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

    E-Print Network [OSTI]

    Wang, Peng

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

  12. Logic verification using recursive learning, ATPG and transformations 

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

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

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

    E-Print Network [OSTI]

    Zee, Karen K

    2010-01-01

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

  16. AN ADVANCED BINARY ENCODED MATRIX REPRESENTATION FOR RULEBASE VERIFICATION

    E-Print Network [OSTI]

    Coenen, Frans

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

  17. Life sciences

    SciTech Connect (OSTI)

    Day, L. (ed.)

    1991-04-01

    This document is the 1989--1990 Annual Report for the Life Sciences Divisions of the University of California/Lawrence Berkeley Laboratory. Specific progress reports are included for the Cell and Molecular Biology Division, the Research Medicine and Radiation Biophysics Division (including the Advanced Light Source Life Sciences Center), and the Chemical Biodynamics Division. 450 refs., 46 figs. (MHB)

  18. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect (OSTI)

    YANOCHKO, R.M.

    2000-01-27

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

  19. MODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  20. Applied Verification: The Ptolemy Approach Chihhong Patrick Cheng

    E-Print Network [OSTI]

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

  1. Competition on Software Verification University of Passau, Germany

    E-Print Network [OSTI]

    Beyer, Dirk

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

  2. AUTOMATED REGRESSION TESTING AND VERIFICATION OF COMPLEX CODE

    E-Print Network [OSTI]

    Roychoudhury, Abhik

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

  3. LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF

    E-Print Network [OSTI]

    Rathbun, Julie A.

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

  4. Power Grid Voltage Integrity Verification Department of ECE

    E-Print Network [OSTI]

    Najm, Farid N.

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

  5. Incremental Partitioning-Based Vectorless Power Grid Verification

    E-Print Network [OSTI]

    Najm, Farid N.

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

  6. River Protection Project Integrated safety management system phase II verification report, volumes I and II - 8/19/99

    SciTech Connect (OSTI)

    SHOOP, D.S.

    1999-09-10

    The Department of Energy policy (DOE P 450.4) is that safety is integrated into all aspects of the management and operations of its facilities. In simple and straightforward terms, the Department will ''Do work safely.'' The purpose of this River Protection Project (RPP) Integrated Safety Management System (ISMS) Phase II Verification was to determine whether ISMS programs and processes are implemented within RFP to accomplish the goal of ''Do work safely.'' The goal of an implemented ISMS is to have a single integrated system that includes Environment, Safety, and Health (ES&H) requirements in the work planning and execution processes to ensure the protection of the worker, public, environment, and federal property over the RPP life cycle. The ISMS is comprised of the (1) described functions, components, processes, and interfaces (system map or blueprint) and (2) personnel who are executing those assigned roles and responsibilities to manage and control the ISMS. Therefore, this review evaluated both the ''paper'' and ''people'' aspects of the ISMS to ensure that the system is implemented within RPP. Richland Operations Office (RL) conducted an ISMS Phase I Verification of the TWRS from September 28-October 9, 1998. The resulting verification report recommended that TWRS-RL and the contractor proceed with Phase II of ISMS verification given that the concerns identified from the Phase I verification review are incorporated into the Phase II implementation plan.

  7. Fuel Retrieval System Design Verification Report

    SciTech Connect (OSTI)

    GROTH, B.D.

    2000-04-11

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

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

    SciTech Connect (OSTI)

    Moon, Duk-ho

    2003-12-01

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

  9. NISTIR 7337 Personal Identity Verification

    E-Print Network [OSTI]

    welfare by providing technical leadership for the Nation's measurement and standards infrastructure. ITL the development of management, administrative, technical, and physical standards and guidelines for the cost Ferraiolo C O M P U T E R S E C U R I T Y Information Technology Laboratory National Institute of Standards

  10. Geothermal Life Cycle Calculator

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Sullivan, John

    2014-03-11

    This calculator is a handy tool for interested parties to estimate two key life cycle metrics, fossil energy consumption (Etot) and greenhouse gas emission (ghgtot) ratios, for geothermal electric power production. It is based solely on data developed by Argonne National Laboratory for DOE’s Geothermal Technologies office. The calculator permits the user to explore the impact of a range of key geothermal power production parameters, including plant capacity, lifetime, capacity factor, geothermal technology, well numbers and depths, field exploration, and others on the two metrics just mentioned. Estimates of variations in the results are also available to the user.

  11. Geothermal Life Cycle Calculator

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Sullivan, John

    This calculator is a handy tool for interested parties to estimate two key life cycle metrics, fossil energy consumption (Etot) and greenhouse gas emission (ghgtot) ratios, for geothermal electric power production. It is based solely on data developed by Argonne National Laboratory for DOE’s Geothermal Technologies office. The calculator permits the user to explore the impact of a range of key geothermal power production parameters, including plant capacity, lifetime, capacity factor, geothermal technology, well numbers and depths, field exploration, and others on the two metrics just mentioned. Estimates of variations in the results are also available to the user.

  12. International Symposium on Automated Technology for Verification and Analysis

    E-Print Network [OSTI]

    (abstract) Sriram Rajamani (Microsoft Research India) Session Chair : Moonzoo Kim 17 : 30 - 20 : 00 and Refinements Sriram Rajamani (Microsoft Research India) 10 : 00 - 10 : 30 Coffee Break 10 : 30 - 13 : 00

  13. Massachusetts Institute of Technology Efficient Memory Integrity Verification and

    E-Print Network [OSTI]

    for Secure Processors G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srini Devadas To appear Processors G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas Laboratory

  14. Rapid Freeform Sheet Metal Forming: Technology Development and System Verification

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAandSummary From: JuliaDepartment-8-2008 October5 of 9ofOn a blusteryCedric

  15. Rapid Freeform Sheet Metal Forming: Technology Development and System Verification

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAandSummary From: JuliaDepartment-8-2008 October5 of 9ofOn a

  16. MICHIGAN TECHNOLOGICAL UNIVERSITY / 2014 of engineering

    E-Print Network [OSTI]

    to an artificial limb. #12;TABLEOFCONTENTS They come in peace Drone technology developed for defense is making life

  17. Automatic verification of DEVS models Gabriel Wainer

    E-Print Network [OSTI]

    Wainer, Gabriel

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

  18. Indexed Predicate Discovery for Unbounded System Verification

    E-Print Network [OSTI]

    Bryant, Randal E.

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

  19. Time-Bounded Verification Joel Ouaknine1

    E-Print Network [OSTI]

    Worrell, James

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

  20. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

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

  1. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

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

  2. Distributed Runtime Verification of JADE Multiagent Systems

    E-Print Network [OSTI]

    Mascardi, Viviana

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

  3. Automatic Verification of Multiqueue Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

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

  4. Hybrid Systems: From Verification to Falsification

    E-Print Network [OSTI]

    Kavraki, Lydia E.

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

  5. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

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

    2014-09-01

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

  6. 1 Verification Techniques software testing: search bugs

    E-Print Network [OSTI]

    Verschelde, Jan

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

  7. Advances in Quantitative Verification for Ubiquitous Computing

    E-Print Network [OSTI]

    Oxford, University of

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

  8. Specification of Selected Performance Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

    Brambley, Michael R.; Katipamula, Srinivas

    2006-10-06

    Pacific Northwest National Laboratory (PNNL) is assisting the U.S. Department of Energy (DOE) Distributed Energy (DE) Program by developing advanced control algorithms that would lead to development of tools to enhance performance and reliability, and reduce emissions of distributed energy technologies, including combined heat and power technologies. This report documents phase 2 of the program, providing a detailed functional specification for algorithms for performance monitoring and commissioning verification, scheduled for development in FY 2006. The report identifies the systems for which algorithms will be developed, the specific functions of each algorithm, metrics which the algorithms will output, and inputs required by each algorithm.

  9. Development of a pilot-scale kinetic extruder feeder system and test program. Phase II. Verification testing. Final report

    SciTech Connect (OSTI)

    Not Available

    1984-01-12

    This report describes the work done under Phase II, the verification testing of the Kinetic Extruder. The main objective of the test program was to determine failure modes and wear rates. Only minor auxiliary equipment malfunctions were encountered. Wear rates indicate useful life expectancy of from 1 to 5 years for wear-exposed components. Recommendations are made for adapting the equipment for pilot plant and commercial applications. 3 references, 20 figures, 12 tables.

  10. A Pilot Case Study of Measurement and Verification for a Major Texas State Agency Performance Contracting Initiative 

    E-Print Network [OSTI]

    Bou-Saada, T. E.; Culp, C.

    2006-01-01

    for the more efficient equipment cost over a fifteen-year period. The savings will be measured and verified over the life of the contract in order to maintain the savings guarantee. The energy services firm that the agency chose to implement the utility... loan fund for public sector energy efficiency projects in Texas. 2 MEASUREMENT & VERIFICATION MODEL ANALYSIS One of the most important components of a performance contract entails a good M&V approach to account for savings. Since the agency...

  11. Finite Model Finding for Parameterized Verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2010-01-01

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

  12. NGSI: IAEA Verification of UF6 Cylinders

    SciTech Connect (OSTI)

    Curtis, Michael M.

    2012-06-05

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

  13. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01

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

  14. Business Solutions Case Study: Marketing Zero Energy Homes: LifeStyle Homes, Melbourne, Florida

    SciTech Connect (OSTI)

    2015-06-01

    Building America research has shown that high-performance homes can potentially give builders an edge in the marketplace and can boost sales. But it doesn't happen automatically. It requires a tailored, easy to understand marketing campaign and sometimes a little flair. This case study highlights LifeStyle Homes’ successful marketing approach for their SunSmart home package, which has helped to boost sales for the company. SunSmart marketing includes a modified logo, weekly blog, social media, traditional advertising, website, and sales staff training. Marketing focuses on quality, durability, healthy indoor air, and energy efficiency with an emphasis on the surety of third-party verification and the scientific approach to developing the SunSmart package. With the introduction of SunSmart, LifeStyle began an early recovery, nearly doubling sales in 2010; SunSmart sales now exceed 300 homes, including more than 20 zero energy homes. Completed homes in 2014 far outpaced the national (19%) and southern census region (27%) recovery rates for the same period. As technology improves and evolves, this builder will continue to collaborate with Building America.

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

    E-Print Network [OSTI]

    Elkind, Edith

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

  16. Vehicle Technologies Office Merit Review 2014: Emissions Modeling...

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

    Emissions Modeling: GREET Life Cycle Analysis Vehicle Technologies Office Merit Review 2014: Emissions Modeling: GREET Life Cycle Analysis Presentation given by Argonne National...

  17. Vehicle Technologies Office Merit Review 2015: Emissions Modeling...

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

    Emissions Modeling: GREET Life Cycle Analysis Vehicle Technologies Office Merit Review 2015: Emissions Modeling: GREET Life Cycle Analysis Presentation given by Argonne National...

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

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

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

  19. NEMVP: North American energy measurement and verification protocol

    SciTech Connect (OSTI)

    1996-03-01

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

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

    Open Energy Info (EERE)

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

  1. Verification Method for SSI Problems with Extended Parameter Ranges

    Broader source: Energy.gov [DOE]

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

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

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

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

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

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

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

  4. Ecovillages, Values, and Information Technology: Balancing Sustainability

    E-Print Network [OSTI]

    Anderson, Richard

    Ecovillages, Values, and Information Technology: Balancing Sustainability with Daily Life in 21st as individuals with explicit value commitments interact with information technology. Specifically, ethnographic methods are being used to investigate the information technology adaptive process as it unfolds

  5. Software Verification and Validation for Commercial Statistical Packages Utilized by the Statistical Consulting Section of SRTC

    SciTech Connect (OSTI)

    Edwards, T.B.

    2001-01-16

    The purpose of this report is to provide software verification and validation (v and v) for the statistical packages utilized by the Statistical Consulting Section (SCS) of the Savannah River Technology Center (SRTC). The need for this v and v stems from the requirements of the Quality Assurance (QA) programs that are frequently applicable to the work conducted by SCS. This document is designed to comply with software QA requirements specified in the 1Q Manual Quality Assurance Procedure 20-1, Revision 6. Revision 1 of this QA plan adds JMP Version 4 to the family of (commercially-available) statistical tools utilized by SCS. JMP Version 3.2.2 is maintained as a support option due to features unique to this version of JMP that have not as yet been incorporated into Version 4. SCS documents that include JMP output should provide a clear indication of the version or versions of JMP that were used. The IBM Personal Computer 300PL and 300XL are both Pentium II based desktops. Therefore, th e software verification and validation in this report is valid interchangeably between both platforms. As new computing platforms, statistical packages, or revisions to existing packages are introduced into the Statistical Consulting Section, the appropriate problems from this report are to be re-evaluated, and this report is to be revised to address their verification and validation.

  6. Research Data Practice in the Life Sciences 

    E-Print Network [OSTI]

    Macdonald, Stuart

    The broad aim of the RIN-funded Case Studies in Life Sciences project, undertaken by a team of social scientists and information specialists from the Institute for the Study of Science, Technology and Innovation (ISSTI) ...

  7. GREET Development and Applications for Life-Cycle Analysis of...

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

    Documents & Publications Fuel-Cycle Energy and Emissions Analysis with the GREET Model Vehicle Technologies Office Merit Review 2015: Emissions Modeling: GREET Life Cycle...

  8. Identification, Verification, and Compilation of Produced Water Management Practices for Conventional Oil and Gas Production Operations

    SciTech Connect (OSTI)

    Rachel Henderson

    2007-09-30

    The project is titled 'Identification, Verification, and Compilation of Produced Water Management Practices for Conventional Oil and Gas Production Operations'. The Interstate Oil and Gas Compact Commission (IOGCC), headquartered in Oklahoma City, Oklahoma, is the principal investigator and the IOGCC has partnered with ALL Consulting, Inc., headquartered in Tulsa, Oklahoma, in this project. State agencies that also have partnered in the project are the Wyoming Oil and Gas Conservation Commission, the Montana Board of Oil and Gas Conservation, the Kansas Oil and Gas Conservation Division, the Oklahoma Oil and Gas Conservation Division and the Alaska Oil and Gas Conservation Commission. The objective is to characterize produced water quality and management practices for the handling, treating, and disposing of produced water from conventional oil and gas operations throughout the industry nationwide. Water produced from these operations varies greatly in quality and quantity and is often the single largest barrier to the economic viability of wells. The lack of data, coupled with renewed emphasis on domestic oil and gas development, has prompted many experts to speculate that the number of wells drilled over the next 20 years will approach 3 million, or near the number of current wells. This level of exploration and development undoubtedly will draw the attention of environmental communities, focusing their concerns on produced water management based on perceived potential impacts to fresh water resources. Therefore, it is imperative that produced water management practices be performed in a manner that best minimizes environmental impacts. This is being accomplished by compiling current best management practices for produced water from conventional oil and gas operations and to develop an analysis tool based on a geographic information system (GIS) to assist in the understanding of watershed-issued permits. That would allow management costs to be kept in line with the specific projects and regions, which increases the productive life of wells and increases the ultimate recoverable reserves in the ground. A case study was conducted in Wyoming to validate the applicability of the GIS analysis tool for watershed evaluations under real world conditions. Results of the partnered research will continue to be shared utilizing proven methods, such as on the IGOCC Web site, preparing hard copies of the results, distribution of documented case studies, and development of reference and handbook components to accompany the interactive internet-based GIS watershed analysis tool. Additionally, there have been several technology transfer seminars and presentations. The goal is to maximize the recovery of our nation's energy reserves and to promote water conservation.

  9. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  11. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

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

  12. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

    Stevens, Ken

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

  16. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    Fainekos, Georgios E.

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

  17. Automatic Verification of Multi-queue Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

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

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

    E-Print Network [OSTI]

    Aloul, Fadi

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

  19. Roadmap for Enhanced Languages and Methods to Aid Verification

    E-Print Network [OSTI]

    Miller, Dale

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

  20. Efficient RC Power Grid Verification Using Node Elimination

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

  2. Software Verification in the Google App-Engine Cloud

    E-Print Network [OSTI]

    Beyer, Dirk

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

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

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

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

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

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

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

  5. Timing verification of automotive communication architecture using quantile estimation

    E-Print Network [OSTI]

    Navet, Nicolas

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

  6. Automated Verification of Model Transformations in the Automotive Industry

    E-Print Network [OSTI]

    Cordy, James R.

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

  7. Nuclear Verification | National Nuclear Security Administration

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

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

  8. EXAMINING THE ROLE AND RESEARCH CHALLENGES OF SOCIAL MEDIA AS A TOOL FOR NONPROLIFERATION AND ARMS CONTROL TREATY VERIFICATION

    SciTech Connect (OSTI)

    Henry, Michael J.; Cramer, Nicholas O.; Benz, Jacob M.; Gastelum, Zoe N.; Kreyling, Sean J.; West, Curtis L.

    2014-05-13

    Traditional arms control treaty verification activities typically involve a combination of technical measurements via physical and chemical sensors, state declarations, political agreements, and on-site inspections involving international subject matter experts. However, the ubiquity of the internet, and the electronic sharing of data that it enables, has made available a wealth of open source information with the potential to benefit verification efforts. Open source information is already being used by organizations such as the International Atomic Energy Agency to support the verification of state-declared information, prepare inspectors for in-field activities, and to maintain situational awareness . The recent explosion in social media use has opened new doors to exploring the attitudes, moods, and activities around a given topic. Social media platforms, such as Twitter, Facebook, and YouTube, offer an opportunity for individuals, as well as institutions, to participate in a global conversation at minimal cost. Social media data can also provide a more data-rich environment, with text data being augmented with images, videos, and location data. The research described in this paper investigates the utility of applying social media signatures as potential arms control and nonproliferation treaty verification tools and technologies, as determined through a series of case studies. The treaty relevant events that these case studies touch upon include detection of undeclared facilities or activities, determination of unknown events recorded by the International Monitoring System (IMS), and the global media response to the occurrence of an Indian missile launch. The case studies examine how social media can be used to fill an information gap and provide additional confidence to a verification activity. The case studies represent, either directly or through a proxy, instances where social media information may be available that could potentially augment the evaluation of an event. The goal of this paper is to instigate a discussion within the verification community as to where and how social media can be effectively utilized to complement and enhance traditional treaty verification efforts. In addition, this paper seeks to identify areas of future research and development necessary to adapt social media analytic tools and techniques, and to form the seed for social media analytics to aid and inform arms control and nonproliferation policymakers and analysts. While social media analysis (as well as open source analysis as a whole) will not ever be able to replace traditional arms control verification measures, they do supply unique signatures that can augment existing analysis.

  9. High Impact Technology Hub- Resources for Evaluators- General Templates

    Broader source: Energy.gov [DOE]

    The HIT Catalyst conducts technology demonstrations in three main phases: Site Evaluation, Selection and Project Kick-Off, Measurement and Verification Scoping and Plan Development. The following Templates were developed in collaboration with third party evaluators, the Energy Department, and technology providers as a part of recent demonstration projects.

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

    SciTech Connect (OSTI)

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

    1990-11-01

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

  11. NISTIR 7284 Personal Identity Verification Card

    E-Print Network [OSTI]

    , technical, and physical standards and guidelines for the cost-effective security and privacy of non S E C U R I T Y Information Technology Laboratory National Institute of Standards and Technology Administration Michelle O'Neill, Under Secretary for Technology National Institute of Standards and Technology

  12. Standard Measurement and Verification Plan for Lighting Retrofit Projects for Buildings and Building Sites

    SciTech Connect (OSTI)

    Richman, Eric E.

    2012-10-31

    This document provides a framework for standard measurement and verification (M&V) of lighting retrofit and replacement projects. It was developed to provide site owners, contractors, and other involved organizations with the essential elements of a robust M&V plan for lighting projects. It includes details on all aspects of effectively measuring light levels of existing and post-retrofit projects, conducting power measurement, and developing cost-effectiveness analysis. This framework M&V plan also enables consistent comparison among similar lighting projects, and may be used to develop M&V plans for non--lighting-technology retrofits and new installations.

  13. Verification and validation for induction heating

    SciTech Connect (OSTI)

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

    2008-01-01

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

  14. Compositional Reactive Semantics of SystemC and Verification with RuleBase

    E-Print Network [OSTI]

    Gupta, Rajesh

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Carbunar, Bogdan

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

  1. Life-Cycle Analysis of Geothermal Technologies

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

    gpm) per pump - 1 pump can move 1.3-1.4 m 3 minute (8-9 bpm) of stimulation fluid * Fuel consumption per job is assumed to be 118.5 m 3 (31,300 gal) Scenarios Water for...

  2. Bringing Technology to Life | GE Global Research

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

    in Flagstaff Subscribe to Future Posts Select topics of interest to receive future blogs by email. Subscribe to all future posts Who Kathleen O'Brien What Energy Renewable...

  3. SCIENCE, TECHNOLOGY AND THE QUALITY OF LIFE

    E-Print Network [OSTI]

    Calvin, Melvin

    2012-01-01

    which will use the sun 1 s energy as a source of materialsis fusion energy, with the fusion reactor, i.e. , the sun,

  4. Licensable Life Science Technologies | Argonne National Laboratory

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverseIMPACTThousand CubicResourcelogo and-E C H N13, 2009 InMcNaryICRU

  5. A comparison of three cap-and-trade market designs and incentives for new technologies to reduce Greenhouse gases

    SciTech Connect (OSTI)

    Van Horn, Andrew; Remedios, Edward

    2008-03-15

    A source-based market design is preferable for its simplicity, lower costs, faster implementation, more accurate tracking and verification, and greater incentives for the adoption of lower-emitting technologies. (author)

  6. Patient position verification using small IMRT fields

    SciTech Connect (OSTI)

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

    2006-07-15

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

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

    SciTech Connect (OSTI)

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

    2012-07-17

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

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

    E-Print Network [OSTI]

    Leino, K. Rustan M.

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

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

    E-Print Network [OSTI]

    Yin, Baolin

    1984-01-01

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

  10. Seventh International Workshop on Specification and Verification of

    E-Print Network [OSTI]

    Leavens, Gary T.

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

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

    SciTech Connect (OSTI)

    J. M. Capron

    2005-11-07

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

  12. Experiments in Automating Hardware Verification using Inductive Proof Planning 

    E-Print Network [OSTI]

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

    1996-01-01

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

  13. Discriminating semi-continuous HMM for speaker verification 

    E-Print Network [OSTI]

    Forsyth, Mark; Jack, Mervyn A

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

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

    Energy Savers [EERE]

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

  15. Evaluation of Kernal Methods for Speaker Verification and Identification 

    E-Print Network [OSTI]

    Wan, Vincent; Renals, Steve

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

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

    E-Print Network [OSTI]

    Shyu, Mei-Ling

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

  17. Cross-cutting Technologies for Advanced Biofuels

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

    Energy eere.energy.gov 2 Cross-cutting Technology Areas: Feedstock Supply and Logistics growth, harvesting, delivery Analysis economic, life-cycle, resource...

  18. 1-4244-0665-X/06/$20.00 2006 IEEE 781 2006 Electronics Packaging Technology Conference Development of Life Prediction Model for Lead-free Solder at Chip Resistor

    E-Print Network [OSTI]

    Berlin,Technische Universität

    of Life Prediction Model for Lead-free Solder at Chip Resistor Changwoon Han and Byeongsuk Song-mail : cw_han@keti.re.kr Abstract An accelerated thermal cycling test to assess the reliability of lead-free solders at chip resistor has been conducted. Test results indicate that the life of lead-free solder

  19. Protecting Life on Earth

    E-Print Network [OSTI]

    Anderson, Byron P.

    2011-01-01

    Review: Protecting Life on Earth: An Introduction to thePeter B. Protecting Life on Earth: An Introduction to theof Protecting Life on Earth is “to explain to an intelligent

  20. Still Life Architecture

    E-Print Network [OSTI]

    Özdamar, Esen Gökçe

    2014-01-01

    Still-Life Architecture By Esen Gökçe Özdamar Edited by Lanaturned into “still-life architecture. ” Many of the homes3. Author photo. Still-Life Architecture Figure 4. Tepekent

  1. Technology Assessment TECHNOLOGY ASSESSMENT

    E-Print Network [OSTI]

    Rock, Chris

    Technology Assessment 10/14/2004 1 TECHNOLOGY ASSESSMENT STRATEGIC PLAN MISSION STATEMENT Support the Mission of Texas Tech University and the TTU Information Technology Division by providing timely and relevant information and assistance in current and emerging technologies and their practical applications

  2. Bioscience Technology Bioscience Technology

    E-Print Network [OSTI]

    Vertes, Akos

    Bioscience Technology Bioscience Technology Advantage Business Media 100 Enterprise Drive Rockaway, co-director of George Washington University's Institute for Proteomics Technology and Applications-by-point. Manufacturers have stampeded to offer the new technology. Applied Biosystems got out in front in 2004 when

  3. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect (OSTI)

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

    2011-02-15

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

  4. Modelling and Formal Verification of Timing Aspects in Large PLC Programs

    E-Print Network [OSTI]

    Fernandez Adiego, B; Blanco Vinuela, E; Tournier, J-C; Gonzalez Suarez, V M; Blech, J O

    2014-01-01

    One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an answer to this obstacle by proposing a methodology to model and verify timing aspects of PLC programs. Two approaches are proposed to allow the users to balance the trade-off between the complexity of the model, i.e. its number of states, and the set of specifications possible to be verified. A tool supporting the methodology which allows to produce models for different model checkers directly from PLC programs has been developed. Verification of timing aspects for real-life PLC programs are presented in this paper using NuSMV.

  5. Commissioning tools for life-cycle building performance assurance

    SciTech Connect (OSTI)

    Piette, M.A.

    1996-05-01

    This paper discusses information systems for building life-cycle performance analysis and the use of computer-based commissioning tools within this context. There are many reasons why buildings do not perform in practice as well as intended at the design stage. One reason is the lack of commissioning. A second reason is that design intent is not well documented, and performance targets for building components and systems are not well specified. Thus, criteria for defining verification and functional tests is unclear. A third reason is that critical information is often lost throughout the building life-cycle, which causes problems such as misunderstanding of operational characteristics and sequences and reduced overall performance. The life-cycle building performance analysis tools project discussed in this paper are focused on chillers and cooling systems.

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

    SciTech Connect (OSTI)

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

    2006-09-28

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

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

    SciTech Connect (OSTI)

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

    2013-07-01

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

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

    E-Print Network [OSTI]

    Schiller, Steven R.

    2011-01-01

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

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

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

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

  10. Technology's Impact on Production

    SciTech Connect (OSTI)

    Rachel Amann; Ellis Deweese; Deborah Shipman

    2009-06-30

    As part of a cooperative agreement with the United States Department of Energy (DOE) - entitled Technology's Impact on Production: Developing Environmental Solutions at the State and National Level - the Interstate Oil and Gas Compact Commission (IOGCC) has been tasked with assisting state governments in the effective, efficient, and environmentally sound regulation of the exploration and production of natural gas and crude oil, specifically in relation to orphaned and abandoned wells and wells nearing the end of productive life. Project goals include: (1) Developing (a) a model framework for prioritization and ranking of orphaned or abandoned well sites; (b) a model framework for disbursement of Energy Policy Act of 2005 funding; and (c) a research study regarding the current status of orphaned wells in the nation. (2) Researching the impact of new technologies on environmental protection from a regulatory perspective. Research will identify and document (a) state reactions to changing technology and knowledge; (b) how those reactions support state environmental conservation and public health; and (c) the impact of those reactions on oil and natural gas production. (3) Assessing emergent technology issues associated with wells nearing the end of productive life. Including: (a) location of orphaned and abandoned well sites; (b) well site remediation; (c) plugging materials; (d) plug placement; (e) the current regulatory environment; and (f) the identification of emergent technologies affecting end of life wells. New Energy Technologies - Regulating Change, is the result of research performed for Tasks 2 and 3.

  11. University of technology Many embedded electronic systems are waiting for

    E-Print Network [OSTI]

    Svenningsson, Josef

    , reliability, power consumption, and size. EMBEDDED ELECTRONIC SYSTEM DESIGN MASTER'S PROGRAMME EESD in their career, young designers often focus on implementation and verification of embedded systems, from embeddedUniversity of technology Many embedded electronic systems are waiting for you to implement them Did

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

    SciTech Connect (OSTI)

    E.M. Harpenau

    2010-11-15

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

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

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

    E-Print Network [OSTI]

    Chow, Paul

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

  2. A Zero Knowledge Protocol For Nuclear Warhead Verification

    SciTech Connect (OSTI)

    Glaser, Alexander; Goldston, Robert J.

    2014-03-14

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

  3. Harvest time had College ofAgriculture and Life Sciences' experts talking all things edible: From how the threatened government shutdown could affect your kitchen table, to groundbreaking new technology on the Geneva campus,

    E-Print Network [OSTI]

    Angenent, Lars T.

    technology on the Geneva campus, to the science behind your favorite foods. Plus, much more. Food & Energy-changing high pressure processing unit that puts the Geneva station at the forefront of this new technology Rodewald,natural resources,on the coming wave of `climate migrants' in the wake of current political

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

    E-Print Network [OSTI]

    Ryan, Mark

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  8. ISIS 9.0 | Enrollment Verification 1 Created: 02.12.13

    E-Print Network [OSTI]

    Capogna, Luca

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

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

    E-Print Network [OSTI]

    Xie, Fei

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

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

    E-Print Network [OSTI]

    Jee, Eunkyoung

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

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

    E-Print Network [OSTI]

    Wang, Jia

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

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

    E-Print Network [OSTI]

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

  14. Houston, We Have a Success Story: Technology Transfer at the NASA IV&V Facility

    E-Print Network [OSTI]

    Hayes, Jane E.

    Houston, We Have a Success Story: Technology Transfer at the NASA IV&V Facility Ken McGill, Wes Deadrick NASA IV&V Facility 100 University Drive, Fairmont, WV 26554 +1 (304) 367-8300/8329 {Kenneth.G.McGill,Wesley.W.Deadrick}@nasa of and technology transfer from NASA's research program in Independent Verification and Validation (IV

  15. Entangled ontologies: a sociophilosophical analysis of technological artefacts, subjects, and bodies 

    E-Print Network [OSTI]

    Schyfter, Pablo

    2009-01-01

    Social studies of technology and particularly the sociology of technology have long explored the reticulations between technology and social life. More specifically, the sociology of technology has contributed numerous ...

  16. Finite countermodels for safety verification of parameterized tree systems

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01

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

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

    SciTech Connect (OSTI)

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

    2012-06-01

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

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

    SciTech Connect (OSTI)

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

    2012-06-01

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

  19. Standard Measurement & Verification Plan for Lighting Equipment Retrofit or Replacement Projects

    SciTech Connect (OSTI)

    Richman, Eric E.

    2009-11-04

    This document provides a framework for a standard Measurement and Verification (M&V) plan for lighting projects. It was developed to support cost-effective retrofits (partial and complete replacements) of lighting systems and is intended to provide a foundation for an M&V plan for a lighting retrofit utilizing a "best practice" approach, and to provide guidance to site owners, contractors, and other involved organizations on what is essential for a robust M&V plan for lighting projects. This document provides examples of appropriate elements of an M&V plan, including the calculation of expected energy savings. The standard M&V plan, as provided, also allows for consistent comparison with other similar lighting projects. Although intended for lighting retrofit applications, M&V plans developed per this framework document may also be used for other non-lighting technology retrofits and new installations.

  20. Photovoltaics Life Cycle Analysis

    E-Print Network [OSTI]

    1 Photovoltaics Life Cycle Analysis Vasilis Fthenakis Center of Life Cycle Analysis Earth & Environmental Engineering Department Columbia University and National Photovoltaic (PV) EHS Research Center (air, water, solid) M, Q E PV array Photovoltaic modules Balance of System (BOS) (Inverters

  1. MACCS2 development and verification efforts

    SciTech Connect (OSTI)

    Young, M.; Chanin, D.

    1997-03-01

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

  2. Housing and Residential Life

    E-Print Network [OSTI]

    Fernandez, Eduardo

    1 Housing and Residential Life Guidebook 2014-2015 LivingCampus #12;2 fau.edu/housing Welcome! The Housing & Residential Life staff is excited that you've moved home! Florida Atlantic University residence halls and apartments are your home for the 2014-2015 school year. The Housing & Residential Life staff

  3. Life Cycle Cost Estimate

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

    1997-03-28

    Life-cycle costs (LCCs) are all the anticipated costs associated with a project or program alternative throughout its life. This includes costs from pre-operations through operations or to the end of the alternative.This chapter discusses life cycle costs and the role they play in planning.

  4. LIFE Target Fabrication Research Plan Sept 2008

    SciTech Connect (OSTI)

    Miles, R; Biener, J; Kucheyev, S; Montesanti, R; Satcher, J; Spadaccini, C; Rose, K; Wang, M; Hamza, A; Alexander, N; Brown, L; Hund, J; Petzoldt, R; Sweet, W; Goodin, D

    2008-11-10

    The target-system for the baseline LIFE fast-ignition target was analyzed to establish a preliminary estimate for the costs and complexities involved in demonstrating the technologies needed to build a prototype LIFE plant. The baseline fast-ignition target upon which this analysis was developed is shown in Figure 1.0-1 below. The LIFE target-system incorporates requirements for low-cost, high throughput manufacture, high-speed, high accuracy injection of the target into the chamber, production of sufficient energy from implosion and recovery and recycle of the imploded target material residue. None of these functions has been demonstrated to date. Existing target fabrication techniques which lead to current 'hot spot' target costs of {approx}$100,000 per target and at a production rate of 2/day are unacceptable for the LIFE program. Fabrication techniques normally used for low-cost, low accuracy consumer products such as toys must be adapted to the high-accuracy LIFE target. This will be challenge. A research program resulting is the demonstration of the target-cycle technologies needed for a prototype LIFE reactor is expected to cost {approx}$51M over the course of 5 years. The effort will result in targets which will cost an estimated $0.23/target at a rep-rate of 20 Hz or about 1.73M targets/day.

  5. Origin of Life prebiotic before life

    E-Print Network [OSTI]

    Houde, Peter

    of rock that often preserves fossils stratigraphy ­ the study of sedimentary layers superposition chain #12;Seismic Activity #12;vectors and rates of plate movement #12;fossil record of life on earth

  6. Verification of the BISON fuel performance code

    SciTech Connect (OSTI)

    D. M. Perez; R. J. Gardner; J. D. Hales; S. R. Novascone; G. Pastore; B. W. Spencer; R. L. Williamson

    2014-09-01

    BISON is a modern finite element-based nuclear fuel performance code that has been under development at Idaho National Labo- ratory (USA) since 2009. The code is applicable to both steady and transient fuel behavior and is used to analyze 1D spherical, 2D axisymmetric, or 3D geometries. BISON has been applied to a variety of fuel forms including LWR fuel rods, TRISO-coated fuel particles, and metallic fuel in both rod and plate geometries. Code validation is currently in progress, principally by comparison to instrumented LWR fuel rods and other well known fuel performance codes. Results from several assessment cases are reported, with emphasis on fuel centerline temperatures at various stages of fuel life, fission gas release, and clad deformation during pellet clad mechanical interaction (PCMI). BISON comparisons to fuel centerline temperature measurements are very good at beginning of life and reasonable at high burnup. Although limited to date, fission gas release comparisons are very good. Comparisons of rod diameter following significant power ramping are also good and demonstrate BISON’s unique ability to model discrete pellet behavior and accurately predict clad ridging from PCMI.

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

    E-Print Network [OSTI]

    Kalla, Priyank

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

  8. VERIFICATION AND DIAGNOSIS OF TESTING PREORDER 4.1. Introduction

    E-Print Network [OSTI]

    von Bochmann, Gregor

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

  9. Texture Classification and Verification Using Bispectral Estimates at All

    E-Print Network [OSTI]

    Sidorov, Nikita

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

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

    E-Print Network [OSTI]

    Torino, Universitŕ di

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Simpson, Alex

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

  13. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

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

  15. BRNS Workshop Verification of Digital and Hybrid Systems

    E-Print Network [OSTI]

    Shyamasundar, R.K.

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

  16. NASA/TP2004213015 Formal Verification of a Conflict

    E-Print Network [OSTI]

    Muńoz, César A.

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

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

    E-Print Network [OSTI]

    Olsson, Ron

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

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

    E-Print Network [OSTI]

    Stevens, Ken

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

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

    E-Print Network [OSTI]

    Encrenaz-Tiphčne, Emmanuelle

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

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

    E-Print Network [OSTI]

    Wettlaufer, John S.

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

  1. Compiler Correctness and Implementation Verification: The Verifix Approach

    E-Print Network [OSTI]

    Pfeifer, Holger

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

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

    E-Print Network [OSTI]

    Dang, Zhe

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

  3. Verification in Loosely Synchronous QueueConnected Discrete Timed Automata ?

    E-Print Network [OSTI]

    Dang, Zhe

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

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

    E-Print Network [OSTI]

    Dang, Zhe

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

  5. ForPeerReview Verification of Mountain Weather Information Service

    E-Print Network [OSTI]

    Birch, Cathryn

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

  6. Project W-030 flammable gas verification monitoring test

    SciTech Connect (OSTI)

    BARKER, S.A.

    1999-02-24

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

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

    E-Print Network [OSTI]

    Budny, Robert

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

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

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

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

  9. APPENDIX A: VERIFICATION CODES A1.0 MODFLOW2000

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

    H. M. Sulloway

    2008-10-02

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

  13. Verification of Cryptographic Protocols Implemented in Java Card

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  14. Early Power Grid Verification Under Circuit Current Uncertainties

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

  16. MAINTENANCE, UPGRADE AND VERIFICATION OF OPERATIONAL FORECASTS OF

    E-Print Network [OSTI]

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

  17. 2015.06.04-06 Verification Techniques for COTSq

    E-Print Network [OSTI]

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

  18. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

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

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

    E-Print Network [OSTI]

    Doran, Simon J.

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

  20. An Analysis of Hybrid Life Support Systems for Sustainable Habitats

    E-Print Network [OSTI]

    Shaw, Margaret Miller

    2014-01-01

    The design of sustainable habitats on Earth, on other planetary surfaces, and in space, has motivated strategic planning with respect to life support (LS) system technology development and habitat design. Such planning ...

  1. Alternative housing designs for changing life-styles in Japan

    E-Print Network [OSTI]

    Ryu, Yoshiko

    1982-01-01

    The purpose of this thesis is to determine the factors affecting the transformation of user requirements for a single family detached house by analyzing changing technology and life-styles of the traditional and modern ...

  2. Faience Technology

    E-Print Network [OSTI]

    Nicholson, Paul

    2009-01-01

    by Joanne Hodges. Faience Technology, Nicholson, UEE 2009Egyptian materials and technology, ed. Paul T. Nicholson,Nicholson, 2009, Faience Technology. UEE. Full Citation:

  3. January 10, 2010 NPR Shop | NPR Community | Login | Register home news arts & life music programs listen

    E-Print Network [OSTI]

    Chan, Yingguang

    API Radio news U.S. World Opinion Politics Business Technology Science Health Sports arts & life Books & Profiles Music News Music Blogs Rock/Pop/Fol

  4. Comparing the Costs of Intermittent and Dispatchable Electricity Generating Technologies

    E-Print Network [OSTI]

    Joskow, Paul L.

    Economic evaluations of alternative electric generating technologies typically rely on comparisons between their expected life-cycle production costs per unit of electricity supplied. The standard life-cycle cost metric ...

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

    SciTech Connect (OSTI)

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

    1995-03-01

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

  6. ICAF Symposium Montral, 13 June 2011 FATIGUE LIFE ASSESSMENT

    E-Print Network [OSTI]

    Texas at Arlington, University of

    assessment of useful life for composite aircraft fatigue-critical, flight-critical components and structure process used to produce carbon/epoxy and glass/epoxy composite aircraft fatigue-critical, flight advances in the technologies which could enable accurate assessment of useful life for composite aircraft

  7. seari.mit.edu 2009 Massachusetts Institute of Technology 1 Better Early Estimation of Human Systems

    E-Print Network [OSTI]

    de Weck, Olivier L.

    WWII #12;seari.mit.edu © 2009 Massachusetts Institute of Technology 4 Why Measure SE/HSI Cost? Aircraft of Technology 9 Disconnect Between SE/PM Estimate and Life Cycle Cost "Life Cycle Cost of Surface Combatants.mit.edu © 2009 Massachusetts Institute of Technology 10 Comparison of System Life Cycle Costs Surface Combatants

  8. Life-Cycle Cost Analysis Highlights Hydrogen's Potential for Electrical Energy Storage (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2010-11-01

    This fact sheet describes NREL's accomplishments in analyzing life-cycle costs for hydrogen storage in comparison with other energy storage technologies. Work was performed by the Hydrogen Technologies and Systems Center.

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

    E-Print Network [OSTI]

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

  10. A Visual Analytics Approach to Structured Data Analysis to Enhance Nonproliferation and Arms Control Verification Activities

    SciTech Connect (OSTI)

    Gillen, David S.

    2014-08-07

    Analysis activities for Nonproliferation and Arms Control verification require the use of many types of data. Tabular structured data, such as Excel spreadsheets and relational databases, have traditionally been used for data mining activities, where specific queries are issued against data to look for matching results. The application of visual analytics tools to structured data enables further exploration of datasets to promote discovery of previously unknown results. This paper discusses the application of a specific visual analytics tool to datasets related to the field of Arms Control and Nonproliferation to promote the use of visual analytics more broadly in this domain. Visual analytics focuses on analytical reasoning facilitated by interactive visual interfaces (Wong and Thomas 2004). It promotes exploratory analysis of data, and complements data mining technologies where known patterns can be mined for. Also with a human in the loop, they can bring in domain knowledge and subject matter expertise. Visual analytics has not widely been applied to this domain. In this paper, we will focus on one type of data: structured data, and show the results of applying a specific visual analytics tool to answer questions in the Arms Control and Nonproliferation domain. We chose to use the T.Rex tool, a visual analytics tool developed at PNNL, which uses a variety of visual exploration patterns to discover relationships in structured datasets, including a facet view, graph view, matrix view, and timeline view. The facet view enables discovery of relationships between categorical information, such as countries and locations. The graph tool visualizes node-link relationship patterns, such as the flow of materials being shipped between parties. The matrix visualization shows highly correlated categories of information. The timeline view shows temporal patterns in data. In this paper, we will use T.Rex with two different datasets to demonstrate how interactive exploration of the data can aid an analyst with arms control and nonproliferation verification activities. Using a dataset from PIERS (PIERS 2014), we will show how container shipment imports and exports can aid an analyst in understanding the shipping patterns between two countries. We will also use T.Rex to examine a collection of research publications from the IAEA International Nuclear Information System (IAEA 2014) to discover collaborations of concern. We hope this paper will encourage the use of visual analytics structured data analytics in the field of nonproliferation and arms control verification. Our paper outlines some of the challenges that exist before broad adoption of these kinds of tools can occur and offers next steps to overcome these challenges.

  11. Vehicle Technologies Office Merit Review 2014: DC Fast Charging...

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

    Technologies Office Merit Review 2014: DC Fast Charging Effects on Battery Life and EVSE Efficiency and Security Testing Presentation given by Idaho National Laboratory at 2014...

  12. Vehicle Technologies Office Merit Review 2015: A Commercially...

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

    Office Merit Review 2015: High Energy, Long Cycle Life Lithium-ion Batteries for EV Applications Silicon Nanostructure-based Technology for Next Generation Energy Storage...

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

    SciTech Connect (OSTI)

    Kent Norris

    2009-10-01

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

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01

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

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01

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

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01

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

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

    SciTech Connect (OSTI)

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

    1999-04-14

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

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

    SciTech Connect (OSTI)

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

    1999-07-01

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

  19. Code Verification of the HIGRAD Computational Fluid Dynamics Solver

    SciTech Connect (OSTI)

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

    2012-05-04

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

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

    SciTech Connect (OSTI)

    M. J. Appel

    2006-09-12

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

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

    SciTech Connect (OSTI)

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

    2013-03-01

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

  2. Assignment 5 Verification of ANSI-C with PVS

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

  3. REPORT OF THE WORKSHOP ON NUCLEAR FACILITY DESIGN INFORMATION EXAMINATION AND VERIFICATION FOR SAFEGUARDS

    SciTech Connect (OSTI)

    Richard Metcalf; Robert Bean

    2009-10-01

    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.

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

    SciTech Connect (OSTI)

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

    2009-10-22

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

  5. Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

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

    2008-03-31

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

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

    SciTech Connect (OSTI)

    George L Mesina; David Aumiller; Francis Buschman

    2014-07-01

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

  7. Project Profile: System Design for CSP Technologies | Department...

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

    System Design for CSP Technologies Project Profile: System Design for CSP Technologies Alcoa logo Alcoa, under the CSP R&D FOA, is seeking to demonstrate that significant life...

  8. Integrated Safety Management System Phase 1 and 2 Verification for the Environmental Restoration Contractor Volumes 1 and 2

    SciTech Connect (OSTI)

    CARTER, R.P.

    2000-04-04

    DOE Policy 450.4 mandates that safety be integrated into all aspects of the management and operations of its facilities. The goal of an institutionalized Integrated Safety Management System (ISMS) is to have a single integrated system that includes Environment, Safety, and Health requirements in the work planning and execution processes to ensure the protection of the worker, public, environment, and the federal property over the life cycle of the Environmental Restoration (ER) Project. The purpose of this Environmental Restoration Contractor (ERC) ISMS Phase MI Verification was to determine whether ISMS programs and processes were institutionalized within the ER Project, whether these programs and processes were implemented, and whether the system had promoted the development of a safety conscious work culture.

  9. Automated UF6 Cylinder Enrichment Assay: Status of the Hybrid Enrichment Verification Array (HEVA) Project: POTAS Phase II

    SciTech Connect (OSTI)

    Jordan, David V.; Orton, Christopher R.; Mace, Emily K.; McDonald, Benjamin S.; Kulisek, Jonathan A.; Smith, Leon E.

    2012-06-01

    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.

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

    Office of Environmental Management (EM)

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-05-24

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-07-21

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

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

    Office of Scientific and Technical Information (OSTI)

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

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

    Office of Scientific and Technical Information (OSTI)

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

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

    E-Print Network [OSTI]

    Leavens, Gary T.

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

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

    E-Print Network [OSTI]

    Myers, Chris J.

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

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

    E-Print Network [OSTI]

    Avrunin, George S.

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    2002-01-01

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

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

    E-Print Network [OSTI]

    Hofmann, Hans A.

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

  1. BASIC TERM LIFE INSURANCE ANTHEM LIFE INSURANCE COMPANY

    E-Print Network [OSTI]

    - 35 - BASIC TERM LIFE INSURANCE ANTHEM LIFE INSURANCE COMPANY Maximum Benefits The amount of life and your family is important, especially in the event of a death or accident. Therefore, the CHEIBA Trust

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

  3. IEEE Instrumentation and Measurement Technology Conference

    E-Print Network [OSTI]

    Linninger, Andreas A.

    belongs to the most challenging phases of the life- cycle of a process model [3]. Enabling technologies to sup- port life-cycle considerations are also analyzed in [4]. Com- puter-aided approaches for improved tools for supporting the work flow in model development. The MODELLER project [21] proposed a formal

  4. Richard Holdaway Director, Space Science & Technology

    E-Print Network [OSTI]

    Crawford, Ian

    Richard Holdaway Director, Space Science & Technology Rutherford Appleton Laboratory 1 #12? Are there places beyond the Solar System where life might exist or arise? How did life on Earth start? Climate studies How does climate on Earth relate to climate on other planets? Do they evolve differently

  5. Every sign of life

    E-Print Network [OSTI]

    Gerasimov, Vadim, 1969-

    2003-01-01

    Every Sign of Life introduces an approach to and motivational schema for personal health monitoring. It is an exploration of how to make information collected by personal health-monitoring devices fun and engaging, and ...

  6. Life Extension Programs

    National Nuclear Security Administration (NNSA)

    in the U.S. and abroad.

    B61-12 Life Extension Program Undergoes First Full-Scale Wind Tunnel Test http:www.nnsa.energy.govmediaroompressreleaseswindtunnel

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

    SciTech Connect (OSTI)

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

    2012-07-01

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

  8. Exploration Technologies - Technology Needs Assessment

    SciTech Connect (OSTI)

    Greene, Amanda I.; Thorsteinsson, Hildigunnur; Reinhardt, Tim; Solomon, Samantha; James, Mallory

    2011-06-01

    This assessment is a critical component of ongoing technology roadmapping efforts, and will be used to guide the Geothermal Technology Program's research and development.

  9. Fermilab at Work | Lab Life

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

    Lab Life Abri Benefits Office Car and Vanpool Program Chez Leon Conference Office Cultural Events DASTOW Diversity Graduate Student Association (GSA) GSA's Guide to Life Housing...

  10. DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION

    SciTech Connect (OSTI)

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

    2009-10-06

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

  11. Thermally Activated Technologies Technology Roadmap, May 2003...

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

    Thermally Activated Technologies Technology Roadmap, May 2003 Thermally Activated Technologies Technology Roadmap, May 2003 The purpose of this Technology Roadmap is to outline a...

  12. The Elusive “Life” of LEDs: How TM-21 Contributes to the Solution

    SciTech Connect (OSTI)

    Richman, Eric E.

    2011-11-18

    This magazine article discusses the issue of LED 'lifetime' and explains where TM-21 plays as part of the solution to this issue. In August 2011, the Illuminating Engineering Society (IES) published the TM-21 document entitled 'Lumen degradation lifetime estimation method for LED light sources.' TM-21 is the IES-recommended method for projecting lumen degradation of an LED package, array or module based on data collected according to LM-80. The lighting community expects TM-21 to become the standard method for projecting useful LED lighting product life at realistic operating temperature. This article presents the development process behind TM-21, and clarifies how and when to apply the lifetime extrapolation method to arrive at reasonable and useful estimations. Why TM-21 and why now? We are all familiar with the very real but sometimes exaggerated long-life attributes of LED technology. Not the least of these is the potential for very long life that helps make it an attractive design choice. The trick has been and continues to be how to measure or estimate this longevity to provide assurance to users of this technology's reliability (life) compared to other options. We also understand that the overall reliability of a complete LED lighting fixture can be affected by the reliability of individual product components (driver, lens, etc.) and should be accounted for in lifetime estimations. The useful life of standard lighting technologies is defined as the time to filament or cathode failure. For most of these lamps, the time period prior to failure exhibits acceptable levels of light output, as shown with the solid lines in Fig. 1. This makes it easy to determine when to replace the lamp. However, LEDs do not have filament burn-out that conveniently announces the end of life (dashed line in Fig. 1). Further, the rapid development of the technology and the desire to bring products to market in a timely manner does not allow for actual testing verification of the long lives claimed (100,000 or even 35,000 hours). As a result, the industry has come to accept a definition of the end of the useful life of an LED as the point when it no longer provides a specified level of light output. And finally, the life and performance of LED lighting products depends greatly on excess heat retained at the diode. This is why LEDs require testing at multiple temperatures such that when a source is installed in a luminaire, its actual operating temperature can be measured and lumen depreciation of the product can be derived. Therefore, to serve the solid-state lighting industry, the Technical Procedures Committee (TPC) of the IES proceeded to develop appropriate tests for use in rating LED product longevity. The initial need was a measure of the basic lumen degradation of LED source components identified by a module, package, or array of diodes and this came in the form of LM-80. Importantly, LM-80 only specifies how to measure lumen depreciation to a minimum of 6000 hours (but recommends testing to 10,000 hours or longer). LM-80 stops short of using that data to estimate any depreciation after that, which is where TM-21 comes in. The TM-21 working group (WG) as part of the IES TPC was formed to develop the lumen depreciation projection method and spent over three years exploring many options. The WG evaluated various projection options starting with an analysis of various mathematical, engineering-based models to provide effective depreciation fit and a useful projection method. Next, the WG analyzed LED lumen maintenance behavior using over 40 sets of LM-80-08 test data (20 sets with 10,000 hours or more) collected from four major LED manufacturers. The working group also examined the accuracy of proposed projections using various proposed models and LM-80 data that extended up to 15,000 hours.

  13. Arms control and nonproliferation technologies. Fourth quarter 1992

    SciTech Connect (OSTI)

    Staehle, G.; Talaber, C.; Stull, S.

    1992-12-31

    This report includes information concerning: the Department of Energy`s Office of Arms Control and Nonproliferation; the nuclear inspections in Iraq, lessons for verification; detection technologies needed for each step of nuclear weapon development; nuclear proliferation problems; strengthening the nuclear reactor fuel cycle against proliferation; monitoring using unattended remote nondestructive assay; seismic monitoring in a proliferation environment; forensic science center, remote infrared spectrometry for nonproliferation applications; and acoustic instrument for identifying chemical munitions.

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

    E-Print Network [OSTI]

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

  15. A Runtime Verification Framework for Control System Simulation

    SciTech Connect (OSTI)

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

    2014-08-02

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

  16. Life Cycle Inventory of a CMOS Chip

    E-Print Network [OSTI]

    Boyd, Sarah; Dornfeld, David; Krishnan, Nikhil

    2006-01-01

    E. ; Zappa, S. ; “Life cycle assessment of an integratedare shown. Keywords- Life Cycle Assessment (LCA); Life Cycleindustry, and Life Cycle Assessment (LCA) is emerging as a

  17. The United States Department of Energy Office of Industrial Technology`s Technology Benefits Recording System

    SciTech Connect (OSTI)

    Hughes, K.R.; Moore, N.L.

    1994-09-01

    The U.S. Department of Energy (DOE) Office of Industrial Technology`s (OIT`s) Technology Benefits Recording System (TBRS) was developed by Pacific Northwest Laboratory (PNL). The TBRS is used to organize and maintain records of the benefits accrued from the use of technologies developed with the assistance of OIT. OIT has had a sustained emphasis on technology deployment. While individual program managers have specific technology deployment goals for each of their ongoing programs, the Office has also established a separate Technology Deployment Division whose mission is to assist program managers and research and development partners commercialize technologies. As part of this effort, the Technology Deployment Division developed an energy-tracking task which has been performed by PNL since 1977. The goal of the energy-tracking task is to accurately assess the energy savings impact of OIT-developed technologies. In previous years, information on OIT-sponsored technologies existed in a variety of forms--first as a hardcopy, then electronically in several spreadsheet formats that existed in multiple software programs. The TBRS was created in 1993 for OIT and was based on information collected in all previous years from numerous industrial contacts, vendors, and plants that have installed OIT-sponsored technologies. The TBRS contains information on technologies commercialized between 1977 and the present, as well as information on emerging technologies in the late development/early commercialization stage of the technology life cycle. For each technology, details on the number of units sold and the energy saved are available on a year-by-year basis. Information regarding environmental benefits, productivity and competitiveness benefits, or impact that the technology may have had on employment is also available.

  18. DEEP NEURAL NETWORKS FOR SMALL FOOTPRINT TEXT-DEPENDENT SPEAKER VERIFICATION

    E-Print Network [OSTI]

    Cortes, Corinna

    DEEP NEURAL NETWORKS FOR SMALL FOOTPRINT TEXT-DEPENDENT SPEAKER VERIFICATION Ehsan Variani1 , Xin the use of deep neural networks (DNNs) for a small footprint text-dependent speaker verification task% relative in equal error rate (EER) for clean and noisy conditions respectively. Index Terms-- Deep neural

  19. Verification of Relational Data-Centric Dynamic Systems with External Services

    E-Print Network [OSTI]

    Calvanese, Diego

    Verification of Relational Data-Centric Dynamic Systems with External Services Babak Bagheri Hariri@cs.ucsd.edu ABSTRACT Data-centric dynamic systems are systems where both the process controlling the dynamics processes. In this paper we study verification of (first-order) µ-calculus variants over relational data-centric

  20. A Brief Account of Runtime Verification Martin Leucker and Christian Schallhart

    E-Print Network [OSTI]

    Leucker, Martin

    to well-known verification techniques like model checking and testing is provided, and applications-skid system must speed with exactly the right velocity to stabi- lize the car. Moreover, for a power plant;verification is particularly challenging as the overall behavior of such systems depends heavily

  1. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  2. Formal Verification Integration Approach for Faiez Zalila, Xavier Cregut, and Marc Pantel

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    critical systems. In this context, model validation and verification (V&V) activities are key features) for the verification of safety critical embedded systems has produced very good results and raised the inter- est the benefits of these power- ful methods. More precisely, we propose a language to formally express system

  3. Query Based UML Modeling Validation and Verification of the System Model and

    E-Print Network [OSTI]

    Austin, Mark

    1 Query Based UML Modeling Validation and Verification of the System Model and Behavior. UML/SysML was designed to provide simple but powerful constructs for modeling a wide range of systems for a Hydraulic Crane Denny Mathew ENPM 643 System Validation and Verification Instructor: Dr. Mark Austin Fall

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

    E-Print Network [OSTI]

    Hilley, George

    An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration J. L the success of geologic carbon sequestration projects. To detect subtle CO2 leakage signals, we present), An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration, Geophys. Res

  5. Modeling and Verification of Leaders Agreement in the IntrusionTolerant Enclaves Using PVS

    E-Print Network [OSTI]

    Tahar, Sofiène

    Modeling and Verification of Leaders Agreement in the Intrusion­Tolerant Enclaves Using PVS Mohamed issue in formal verification. It arises the problem of how much power should be given to a Byzantine Layouni 1 , Jozef Hooman 2 , and Sofiâ?? ene Tahar 1 1 Department of Electrical and Computer Engineering

  6. Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs

    E-Print Network [OSTI]

    Ciesielski, Maciej

    series expansion that allows to model word-level signals as alge- braic symbols. This power increase in the size and complexity of digital systems has made it essential to address verification issues verification meth- ods, such as theorem proving, property and model checking, equiv- alence checking, etc

  7. Modeling and Verification of Leaders Agreement in the Intrusion-Tolerant Enclaves Using PVS

    E-Print Network [OSTI]

    Tahar, Sofiène

    Modeling and Verification of Leaders Agreement in the Intrusion-Tolerant Enclaves Using PVS Mohamed]. Modeling Byzantine behavior has been always a big issue in formal verification. It arises the problem of how much power should be given to a Byzantine fault and how general the model should be to

  8. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

    E-Print Network [OSTI]

    Clarke, Edmund M.

    verification, abstraction transforms the inherently infinite state system into a finite-state model [7Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement Edmund Clarke1 generated by the model checker. For hybrid systems, analysis of the counterexample requires the computation

  9. Verification of Hybrid Systems Based on CounterexampleGuided Abstraction Refinement ?

    E-Print Network [OSTI]

    Theobald, Michael

    verification, abstraction transforms the inherently infinite state system into a finite­state model [7, 8Verification of Hybrid Systems Based on Counterexample­Guided Abstraction Refinement ? Edmund that eliminates a counterexample generated by the model checker. For hybrid systems, analy­ sis

  10. On the Formal Verification of Embedded Software Using Multiway Decision Graphs

    E-Print Network [OSTI]

    Tahar, Sofiène

    . Recently attention has been given to the verification of embedded systems using formal methods and Claesen [10] suggested a methodology for modeling both the software and hardware of an embedded system1 On the Formal Verification of Embedded Software Using Multiway Decision Graphs Subhashini

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

    E-Print Network [OSTI]

    Xu, Haiping

    that DRBD provides a powerful tool for system reliability modeling, and our proposed verification approachFORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY-scale computer-based systems. KEY WORDS Reliability modeling, dynamic reliability block diagrams (DRBD), Object

  12. A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol

    E-Print Network [OSTI]

    Barak, Boaz

    accountable delivery platforms, i.e., missile silos, submarines, and bombers. The next round of nuclear armsA New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol Alex Glaser, Boaz-control agreements. This article presents a concept for a new approach to nuclear warhead verification that minimizes

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

    E-Print Network [OSTI]

    Bryant, Randal E.

    1 Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage

  14. HOW TO: Complete Form I-9 Verification for Off-Site Employees 1 Background info

    E-Print Network [OSTI]

    HOW TO: Complete Form I-9 Verification for Off-Site Employees 1 Background info: By law, the university must have a valid Form I-9 on file for employees. The Form I-9 form must be completed within 3 location to complete their Form I-9 ­ Employment Eligibility Verification. The form has three parts

  15. A Load Balancing Mechanism with Verification Daniel Grosu and Anthony T. Chronopoulos

    E-Print Network [OSTI]

    Chronopoulos, Anthony T.

    A Load Balancing Mechanism with Verification ÂŁ Daniel Grosu and Anthony T. Chronopoulos Department mechanisms with verification for heteroge- neous distributed systems. We derive a compensation and bonus type mechanism that solves the load balancing prob- lem in distributed systems in which computers are charac

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

  17. Handling Inductance in Early Power Grid Verification Nahi H. Abdul Ghani

    E-Print Network [OSTI]

    Najm, Farid N.

    Handling Inductance in Early Power Grid Verification Nahi H. Abdul Ghani Department of ECE design verification, one should check if the voltage drop on the power grid exceeds some critical thresh, the currents drawn by the logic beneath the power grid are described by means of current constraints

  18. A geometric approach for early power grid verification using current constraints

    E-Print Network [OSTI]

    Najm, Farid N.

    A geometric approach for early power grid verification using current constraints Imad A. Ferzli Automation Eindhoven, The Netherlands lars@magma-da.com ABSTRACT The verification of power grids in modern programs as there are power grid nodes, to an- other involving a user-limited number of solutions of one

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

  20. A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification

    E-Print Network [OSTI]

    Belaďd, Abdel

    A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature to grid schemes. Different grid-segmentation schemes have been used in off-line signature verification.belaid@loria.fr Abstract--One of the main challenges in off-line signature verification systems is to make them robust

  1. Management Services for Performance Verification in Broadband Multi-Service Networks

    E-Print Network [OSTI]

    Griffin, David

    Management Services for Performance Verification in Broadband Multi-Service Networks Panos Georgatsos1 , David Griffin2 Abstract This paper presents a practical management system for performance monitoring and network performance verification to support the larger goals of performance management systems

  2. WICT PROCEEDINGS, DECEMBER 2008 1 Meta-Functional Languages for Hardware Design and Verification

    E-Print Network [OSTI]

    Pace, Gordon J.

    WICT PROCEEDINGS, DECEMBER 2008 1 Meta-Functional Languages for Hardware Design and Verification of embedding hardware description lan- guages in general-purpose languages has been widely explored in the literature and has been shown to aid hardware design and verification. In this paper we ex- plore the use

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

    E-Print Network [OSTI]

    Chen, Chaur-Chin

    Using Sparse Representation for Fish Recognition and Verification in Real World Observation Yi, Hsinchu, Taiwan Abstract - The purpose of this paper is to present an innovated fish recognition and verification method suited for the real world automatic underwater fish observation. Based on the fish

  4. MODELING AND VERIFICATION OF REAL-TIME AND CYBER-PHYSICAL SYSTEMS

    E-Print Network [OSTI]

    Gupta, Gopal

    MODELING AND VERIFICATION OF REAL-TIME AND CYBER-PHYSICAL SYSTEMS by Neda Saeedloei APPROVED Copyright 2011 Neda Saeedloei All Rights Reserved #12;To my mother. #12;MODELING AND VERIFICATION OF REAL-TIME AND CYBER-PHYSICAL SYSTEMS by NEDA SAEEDLOEI, B.S., M.S. DISSERTATION Presented to the Faculty

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

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

    HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME (please check one) The Federal Government requires vendor selection justification and price verification, blanket orders) complete Section B and Section C. GGRRAANNTTSS $2,500-$9,999 OMB A-110 requires price

  6. Reactor physics verification of the MCNP6 unstructured mesh capability

    SciTech Connect (OSTI)

    Burke, T. P. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, 2355 Bonisteel Boulevard, Ann Arbor, MI 48109 (United States); Kiedrowski, B. C.; Martz, R. L. [X-Computational Physics Division, Monte Carlo Codes Group, Los Alamos National Laboratory, P.O. Box 1663, Los Alamos, NM 87545 (United States); Martin, W. R. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, 2355 Bonisteel Boulevard, Ann Arbor, MI 48109 (United States)

    2013-07-01

    The Monte Carlo software package MCNP6 has the ability to transport particles on unstructured meshes generated from the Computed-Aided Engineering software Abaqus. Verification is performed using benchmarks with features relevant to reactor physics - Big Ten and the C5G7 computational benchmark. Various meshing strategies are tested and results are compared to reference solutions. Computational performance results are also given. The conclusions show MCNP6 is capable of producing accurate calculations for reactor physics geometries and the computational requirements for small lattice benchmarks are reasonable on modern computing platforms. (authors)

  7. ICDF Complex Waste Profile and Verification Sample Guidance

    SciTech Connect (OSTI)

    W. M. Heileson

    2006-10-01

    This guidance document will assist waste generators who characterize waste streams destined for disposal at the Idaho Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) Disposal Facility (ICDF) Complex. The purpose of this document is to develop a conservative but appropriate way to (1) characterize waste for entry into the ICDF; (2) ensure compliance with the waste acceptance criteria; and (3) facilitate disposal at the ICDF landfill or evaporation pond. In addition, this document will establish the waste verification process used by ICDF personnel to ensure that untreated waste meets applicable ICDF acceptance limits

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

    SciTech Connect (OSTI)

    J. M. Capron

    2006-04-04

    This cleanup verification package documents completion of remedial action for the 116-K-2 effluent trench, also referred to as the 116-K-2 mile-long trench and the 116-K-2 site. During its period of operation, the 116-K-2 site was used to dispose of cooling water effluent from the 105-KE and 105-KW Reactors by percolation into the soil. This site also received mixed liquid wastes from the 105-KW and 105-KE fuel storage basins, reactor floor drains, and miscellaneous decontamination activities.

  9. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01

    Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

  10. Digital data storage systems, computers, and data verification methods

    DOE Patents [OSTI]

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

    2005-12-27

    Digital data storage systems, computers, and data verification methods are provided. According to a first aspect of the invention, a computer includes an interface adapted to couple with a dynamic database; and processing circuitry configured to provide a first hash from digital data stored within a portion of the dynamic database at an initial moment in time, to provide a second hash from digital data stored within the portion of the dynamic database at a subsequent moment in time, and to compare the first hash and the second hash.

  11. Sandia National Laboratories: Advanced Simulation Computing: Verification &

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust, High-ThroughputUpcoming Release of the UniversityValidation Verification &

  12. Formal Specification and Verification of a Dataflow Processor Array \\Lambday Thomas A. Henzinger Xiaojun Liu Shaz Qadeer Sriram K. Rajamani

    E-Print Network [OSTI]

    Henzinger, Thomas A.

    and verification of the VGI parallel DSP chip [1], which contains 64 compute processors with ¸30K gates in each verification tools. However, the check can be decomposed using assume­guarantee reasoning. For VGI to decompose the verification problem of the VGI chip into smaller proof obliga­ tions that were discharged

  13. Developing Embedded/Real-Time and Cyber-Physical Systems: Functional Reactive Programming, RTL-based Formal Verification, Response Time

    E-Print Network [OSTI]

    Cheng, Albert M. K.

    , specification, modeling, scheduling, and formal verification of real- time, embedded, and cyber-physical systems-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling Albert M. K. Cheng Real reactive programming, RTL (real-time logic)-based formal verification, response time analysis, and power

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

    SciTech Connect (OSTI)

    ERIKA N. BAILEY

    2012-02-29

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

  15. Verification as a Foundation for Validation of a Nuclear Fuel Performance Code

    SciTech Connect (OSTI)

    J. D. Hales; S. R. Novascone; B. W. Spencer; R. L. Williamson; G. Pastore; D. M. Perez

    2014-09-01

    Complex multiphysics simulations such as nuclear fuel performance analysis are composed of many submodels used to describe specific phenomena. These phenomena include, as examples, the relationship between stress and strain, heat transfer across a gas gap, and mechanical contact. These submodels work in concert to simulate real-world events, like the behavior of a fuel rod in a reactor. If a simulation tool is able to represent real-world behavior, the tool is said to be validated. While much emphasis is rightly placed on validation, model verification may be undervalued. Verification involves showing that a model performs as intended, that it computes results consistent with its mathematical description. This paper explains the differences between verification and validation and shows how validation should be preceded by verification. Specific verification problems, including several specific to nuclear fuel analysis, are given. Validation results are also presented.

  16. Science & Technology Review September 2009

    SciTech Connect (OSTI)

    Bearinger, J P

    2009-07-24

    This month's issue has the following articles: (1) Remembering the Laboratory's First Director - Commentary by Harold Brown; (2) Herbert F. York (1921-2009): A Life of Firsts, an Ambassador for Peace - The Laboratory's first director, who died on May 19, 2009, used his expertise in science and technology to advance arms control and prevent nuclear war; (3) Searching for Life in Extreme Environments - DNA will help researchers discover new marine species and prepare to search for life on other planets; (4) Energy Goes with the Flow - Lawrence Livermore is one of the few organizations that distills the big picture about energy resources and use into a concise diagram; and (5) The Radiant Side of Sound - An experimental method that converts sound waves into light may lead to new technologies for scientific and industrial applications.

  17. Thermodynamic Origin of Life

    E-Print Network [OSTI]

    Michaelian, K

    2009-01-01

    Understanding the thermodynamic function of life may shed light on its origin. Out of equilibrium structuring in space and time is contingent on continuous entropy production. Entropy production is a measure of the rate of the natural tendency of Nature to explore all available microstates. The process producing the greatest amount of entropy in the biosphere is the absorption and transformation of sunlight, leading to the transpiration of water by plants and cyanobacteria. Here we hypothesize that life began, and exists today, as a dynamic catalyst for the absorption and transformation of sunlight into heat, which could then be efficiently harvested by the water cycle, hurricanes, and ocean and wind currents. RNA and DNA are the most efficient of all known molecules for absorbing the ultraviolet light that could have penetrated the dense early atmosphere, and are extremely rapid in transforming this light into heat that can be readily absorbed by liquid water. The origin and evolution of life was thus driven...

  18. Neutron spectrometry for UF6 enrichment verification in storage cylinders

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

    Mengesha, Wondwosen; Kiff, Scott D.

    2015-01-29

    Verification of declared UF6 enrichment and mass in storage cylinders is of great interest in nuclear material nonproliferation. Nondestructive assay (NDA) techniques are commonly used for safeguards inspections to ensure accountancy of declared nuclear materials. Common NDA techniques used include gamma-ray spectrometry and both passive and active neutron measurements. In the present study, neutron spectrometry was investigated for verification of UF6 enrichment in 30B storage cylinders based on an unattended and passive measurement approach. MCNP5 and Geant4 simulated neutron spectra, for selected UF6 enrichments and filling profiles, were used in the investigation. The simulated neutron spectra were analyzed using principalmore »component analysis (PCA). The PCA technique is a well-established technique and has a wide area of application including feature analysis, outlier detection, and gamma-ray spectral analysis. Results obtained demonstrate that neutron spectrometry supported by spectral feature analysis has potential for assaying UF6 enrichment in storage cylinders. The results from the present study also showed that difficulties associated with the UF6 filling profile and observed in other unattended passive neutron measurements can possibly be overcome using the approach presented.« less

  19. Standard practices for verification of speed for material testing machines

    E-Print Network [OSTI]

    American Society for Testing and Materials. Philadelphia

    2011-01-01

    1.1 These practices cover procedures and requirements for the calibration and verification of testing machine speed by means of standard calibration devices. This practice is not intended to be complete purchase specifications for testing machines. 1.2 These practices apply to the verification of the speed application and measuring systems associated with the testing machine, such as a scale, dial, marked or unmarked recorder chart, digital display, setting, etc. In all cases the buyer/owner/user must designate the speed-measuring system(s) to be verified. 1.3 These practices give guidance, recommendations, and examples, specific to electro-mechanical testing machines. The practice may also be used to verify actuator speed for hydraulic testing machines. 1.4 This standard cannot be used to verify cycle counting or frequency related to cyclic fatigue testing applications. 1.5 Since conversion factors are not required in this practice, either SI units (mm/min), or English [in/min], can be used as the standa...

  20. THE ENVIRONMENTAL TECHNOLOGIES ACCEPTANCE (ETA) PROGRAM

    SciTech Connect (OSTI)

    Christina B. Behr-Andres

    2001-10-01

    The objective of the Environmental Technologies Acceptance (ETA) Program at the Energy & Environmental Research Center (EERC) is to advance the development, commercial acceptance, and timely deployment of selected private sector technologies for the cleanup of sites in the nuclear defense complex as well as the greater market. As a result of contract changes approved by National Energy Technology Laboratory (NETL) representatives to incorporate activities previously conducted under another NETL agreement, there are now an additional task and an expansion of activities within the stated scope of work of the ETA program. As shown in Table 1, this cooperative agreement, funded by NETL (No. DE-FC26-00NT40840), consists of four tasks: Technology Selection, Technology Development, Technology Verification, and System Engineering. As currently conceived, ETA will address the needs of as many technologies as appropriate under its current 3-year term. There are currently four technical subtasks: Long-Term Stewardship Initiative at the Mound Plant Site; Photocatalysis of Mercury-Contaminated Water; Subcritical Water Treatment of PCB and Metal-Contaminated Paint Waste; and Vegetative Covers for Low-Level Waste Repositories. This report covers activities during the second six months of the three-year ETA program.

  1. Agriculture and Life Sciences

    E-Print Network [OSTI]

    Virginia Tech

    Responsibility 7 Virginia Tech Principles of Community 7 STUDENTS ARE ~ 8 University/College Policy and Procedures 9 Absences 9 Personal Illness: 9 Death/Illness in the Family 9 Attendance of a Professional of Agriculture and Life Sciences that advising is a collaborative effort between the student and faculty advisor

  2. AG-906 (08/11) Texas A&M AgriLife

    E-Print Network [OSTI]

    this exception: Cost prohibitive Underlying EIR technology platform not accessible Adequate skilled resourcesAG-906 (08/11) Texas A&M AgriLife Administrative Services ­ Information Technology Electronic application Electronic Document (PDF, MS Word, PPT, etc.) Multimedia or video content Information technology

  3. Proposal for a Science, Technology and Society Course Universal Computation and the Information Age

    E-Print Network [OSTI]

    O'Donnell, Tom

    Proposal for a Science, Technology and Society Course Universal Computation and the Information Age technology, and in turn is revolutionizing production and reorganizing social-economic life globally of the mutual interrelatedness of science, technology and social-economic life 1 The Stanford Encyclopedia

  4. AVLIS: The technology for the future

    SciTech Connect (OSTI)

    Rifakes, G.

    1994-12-31

    Gaseous diffusion plants have been in operation for more than 40 yr. Recognizing that these plants have a finite life, the U.S. Department of Energy (DOE) in the early 1970s began investing in advanced technologies to determine which technology would be best suited to replace these plants. The two technologies pursued by the DOE were atomic vapor laser isotope separation (AVLIS) and gas centrifuge. In 1984, the DOE determined that it was in its best interest to stop work on centrifuge technology and to continue AVLIS research. In excess of $1 billion has been sent to further the AVLIS technology.

  5. Ceramic Technology Project

    SciTech Connect (OSTI)

    Not Available

    1992-03-01

    The Ceramic Technology Project was developed by the USDOE Office of Transportation Systems (OTS) in Conservation and Renewable Energy. This project, part of the OTS's Materials Development Program, was developed to meet the ceramic technology requirements of the OTS's automotive technology programs. Significant accomplishments in fabricating ceramic components for the USDOE and NASA advanced heat engine programs have provided evidence that the operation of ceramic parts in high-temperature engine environments is feasible. These programs have also demonstrated that additional research is needed in materials and processing development, design methodology, and data base and life prediction before industry will have a sufficient technology base from which to produce reliable cost-effective ceramic engine components commercially. A five-year project plan was developed with extensive input from private industry. In July 1990 the original plan was updated through the estimated completion of development in 1993. The objective is to develop the industrial technology base required for reliable ceramics for application in advanced automotive heat engines. The project approach includes determining the mechanisms controlling reliability, improving processes for fabricating existing ceramics, developing new materials with increased reliability, and testing these materials in simulated engine environments to confirm reliability. Although this is a generic materials project, the focus is on the structural ceramics for advanced gas turbine and diesel engines, ceramic bearings and attachments, and ceramic coatings for thermal barrier and wear applications in these engines. To facilitate the rapid transfer of this technology to US industry, the major portion of the work is being done in the ceramic industry, with technological support from government laboratories, other industrial laboratories, and universities.

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

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01

    In this paper we deal with verification of safety properties of term-rewriting systems. The verification problem is translated to a purely logical problem of finding a finite countermodel for a first-order formula, which further resolved by a generic finite model finding procedure. A finite countermodel produced during successful verification provides with a concise description of the system invariant sufficient to demonstrate a specific safety property. We show the relative completeness of this approach with respect to the tree automata completion technique. On a set of examples taken from the literature we demonstrate the efficiency of finite model finding approach as well as its explanatory power.

  7. High Impact Technology Catalyst: Technology Deployment Strategies...

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

    High Impact Technology Catalyst: Technology Deployment Strategies High Impact Technology Catalyst: Technology Deployment Strategies The Energy Department released the High Impact...

  8. Vehicle Technologies Office: 2014 Electric Drive Technologies...

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

    Vehicle Technologies Office: 2014 Electric Drive Technologies Annual Progress Report Vehicle Technologies Office: 2014 Electric Drive Technologies Annual Progress Report The...

  9. An Information Theoretic Location Verification System for Wireless Networks

    E-Print Network [OSTI]

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

    2012-01-01

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

  10. Pulsar Magnetic Field Oscillation Model and Verification Method

    E-Print Network [OSTI]

    Zhu-Xing Liang; Yi Liang

    2014-05-06

    We constructed the magnetic field oscillation model (hereafter the MO model) by analogizing the periodically reversing phenomenon of the solar magnetic field to pulsars. Almost all kinds of pulsar radiation phenomena are best explained using the MO model, especially polarization characteristics, glitch, generation rate, the geodetic precession of pulsars and the configuration of pulsar-wind nebula of the Crab. The MO model also provides satisfactory explanation for other characteristics of pulsars, e.g., interpulse, spin-down, pulse nulling, beat and pulse drift, the loss rate of the rotating energy, and the accuracy of frequency. We present eight verification methods for the MO model. In addition to pulsars, our MO model can also be used to explain the pulse emission from non-compact stars such as the ultracool dwarf TVLM 513-46546 and the magnetic chemically peculiar star CU Virginis.

  11. Shell Element Verification & Regression Problems for DYNA3D

    SciTech Connect (OSTI)

    Zywicz, E

    2008-02-01

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

  12. Scope and verification of a Fissile Material (Cutoff) Treaty

    SciTech Connect (OSTI)

    Hippel, Frank N. von [Program on Science and Global Security, Princeton University, 221 Nassau St., 2nd floor, Princeton, NJ 08542 (United States)

    2014-05-09

    A Fissile Material Cutoff Treaty (FMCT) would ban the production of fissile material - in practice highly-enriched uranium and separated plutonium - for weapons. It has been supported by strong majorities in the United Nations. After it comes into force, newly produced fissile materials could only be produced under international - most likely International Atomic Energy Agency - monitoring. Many non-weapon states argue that the treaty should also place under safeguards pre-existing stocks of fissile material in civilian use or declared excess for weapons so as to make nuclear-weapons reductions irreversible. This paper discusses the scope of the FMCT, the ability to detect clandestine production and verification challenges in the nuclear-weapons states.

  13. ITOUGH2 V3.2 verification and validation report

    SciTech Connect (OSTI)

    Finsterle, S.

    1998-06-01

    This report describes the Verification and Validation (V and V) test cases performed to qualify ITOUGH2 V3.2. ITOUGH2 V3.2 was installed in a directory {approximately}/itough2v3.2 on a SUN ULTRA 1 workstation under UNIX Solaris 2. Instructions for installing ITOUGH2 can be found in file read.me and the user`s manual. This report is structured as follows: for each functional requirement, the corresponding design is described, which may include the mathematical model implemented in ITOUGH2 V3.2, if appropriate. Next, the author discusses the test case or sequence of test cases performed to validate each requirement, followed by a description of the test results and their compliance with the acceptance criteria. ITOUGH2 simulates fluid flow in fractures.

  14. An ideal sealed source life-cycle

    SciTech Connect (OSTI)

    Tompkins, Joseph Andrew [Los Alamos National Laboratory

    2009-01-01

    In the last 40 years, barriers to compliant and timely disposition of radioactive sealed sources have become apparent. The story starts with the explosive growth of nuclear gauging technologies in the 1960s. Dozens of companies in the US manufactured sources and many more created nuclear solutions to industrial gauging problems. Today they do not yet know how many Cat 1, 2, or 3 sources there are in the US. There are, at minimum, tens of thousands of sources, perhaps hundreds of thousands of sources. Affordable transportation solutions to consolidate all of these sources and disposition pathways for these sources do not exist. The root problem seems to be a lack of necessary regulatory framework that has allowed all of these problems to accumulate with no national plan for solving the problem. In the 1960s, Pu-238 displaced Pu-239 for most neutron and alpha source applications. In the 1970s, the availability of inexpensive Am-241 resulted in a proliferation of low energy gamma sources used in nuclear gauging, well logging, pacemakers, and X-ray fluorescence applications for example. In the 1980s, rapid expansion of worldwide petroleum exploration resulted in the expansion of Am-241 sources into international locations. Improvements of technology and regulation resulted in a change in isotopic distribution as Am-241 made Pu-239 and Pu-238 obsolete. Many early nuclear gauge technologies have been made obsolete as they were replaced by non-nuclear technoogies. With uncertainties in source end of life disposition and increased requirements for sealed source security, nuclear gauging technology is the last choice for modern process engineering gauging solutions. Over the same period, much was learned about licensing LLW disposition facilities as evident by the closure of early disposition facilities like Maxey Flats. The current difficulties in sealed source disposition start with adoption of the NLLW policy act of 1985, which created the state LLW compact system they we have today. This regulation created a new regulatory framework seen as promising at the time. However, now they recognize that, despite the good intentions, the NIJWP/85 has not solved any source disposition problems. The answer to these sealed source disposition problems is to adopt a philosophy to correct these regulatory issues, determine an interim solution, execute that solution until there is a minimal backlog of sources to deal with, and then let the mechanisms they have created solve this problem into the foreseeable future. The primary philosophical tenet of the ideal sealed source life cycle follows. You do not allow the creation (or importation) of any source whose use cannot be justified, which cannot be affordably shipped, or that does not have a well-delinated and affordable disposition pathway. The path forward dictates that we fix the problem by embracing the Ideal Source Life cycle. In figure 1, we can see some of the elements of the ideal source life cycle. The life cycle is broken down into four portions, manufacture, use, consolidation, and disposition. These four arbitrary elements allow them to focus on the ideal life cycle phases that every source should go through between manufacture and final disposition. As we examine the various phases of the sealed source life cycle, they pick specific examples and explore the adoption of the ideal life cycle model.

  15. Technology '90

    SciTech Connect (OSTI)

    Not Available

    1991-01-01

    The US Department of Energy (DOE) laboratories have a long history of excellence in performing research and development in a number of areas, including the basic sciences, applied-energy technology, and weapons-related technology. Although technology transfer has always been an element of DOE and laboratory activities, it has received increasing emphasis in recent years as US industrial competitiveness has eroded and efforts have increased to better utilize the research and development resources the laboratories provide. This document, Technology '90, is the latest in a series that is intended to communicate some of the many opportunities available for US industry and universities to work with the DOE and its laboratories in the vital activity of improving technology transfer to meet national needs. Technology '90 is divided into three sections: Overview, Technologies, and Laboratories. The Overview section describes the activities and accomplishments of the DOE research and development program offices. The Technologies section provides descriptions of new technologies developed at the DOE laboratories. The Laboratories section presents information on the missions, programs, and facilities of each laboratory, along with a name and telephone number of a technology transfer contact for additional information. Separate papers were prepared for appropriate sections of this report.

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

    SciTech Connect (OSTI)

    Pabian, Frank Vincent [Los Alamos National Laboratory

    2010-09-16

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

  17. Metals Verification Study for Sinclair and Dyes Inlets,Washington

    SciTech Connect (OSTI)

    Kohn, Nancy P.; Miller, Martin C.; Brandenberger, Jill M.; Johnston, Robert K.

    2004-09-29

    Sinclair and Dyes Inlets near Bremerton, Washington, are on the State of Washington's 1998 303(d) list of impaired waters because of fecal coliform contamination in marine water, metals in sediment and fish tissue, and organics in sediment and fish tissue. This Metals Verification Study was conducted to address the 303(d) segments that are listed for metal contaminants in marine sediment, because significant cleanup and source control activities have been conducted in the Inlets since the data supporting the 1998 303(d) listings were collected. The study was designed to obtain present-day sediment metals concentrations throughout Sinclair Inlet, Dyes Inlet, Port Orchard Passage, and Rich Passage, with stations spatially distributed to support 303(d) listing updates and also watershed-level water quality and contaminant transport modeling efforts. A total of 160 surface sediment samples from Sinclair Inlet, Dyes Inlet, Port Orchard Passage, and Rich Passage were screened for copper, lead, and zinc using X-Ray Fluorescence (XRF). 40 samples (25%) were selected for confirmatory metals analysis by ICP-MS for cadmium, silver, and arsenic in addition to copper, lead, and zinc. Regression relationships between the ICP-MS and XRF datasets were developed to estimate copper, lead, and zinc concentrations in all samples. The XRF results for copper, lead, and zinc correlated well with ICP-MS results, and predicted concentrations were calculated for all samples. The results of the Metals Verification Study show that sediment quality in Sinclair Inlet has improved markedly since implementation of cleanup and source control actions, and that the distribution of residual contaminants is limited to nearshore areas already within the actively managed Puget Sound Naval Shipyard Superfund Site where further source control actions and monitoring are under way. Outside of Sinclair Inlet, the target metals met state sediment quality standards.

  18. Life forms: A keyword entry

    E-Print Network [OSTI]

    Helmreich, Stefan

    We deliver a "keyword" account of the term life form as it has been used in natural philosophy and biology over the last two hundred years, beginning with its appearance in German as Lebensform. We argue that life form ...

  19. Green Building- Efficient Life Cycle 

    E-Print Network [OSTI]

    Kohns, R.

    2008-01-01

    the components “Sustainable Building Design”, “Life Cycle Cost Analysis”, “Green Building Certification” and “Natural Resources Management”. These components are deliberately arranged around the life cycle of the real estate concerned. This allows a different...

  20. LIFE Materials: Fuel Cycle and Repository Volume 11

    SciTech Connect (OSTI)

    Shaw, H; Blink, J A

    2008-12-12

    The fusion-fission LIFE engine concept provides a path to a sustainable energy future based on safe, carbon-free nuclear power with minimal nuclear waste. The LIFE design ultimately offers many advantages over current and proposed nuclear energy technologies, and could well lead to a true worldwide nuclear energy renaissance. When compared with existing and other proposed future nuclear reactor designs, the LIFE engine exceeds alternatives in the most important measures of proliferation resistance and waste minimization. The engine needs no refueling during its lifetime. It requires no removal of fuel or fissile material generated in the LIFE engine. It leaves no weapons-attractive material at the end of life. Although there is certainly a need for additional work, all indications are that the 'back end' of the fuel cycle does not to raise any 'showstopper' issues for LIFE. Indeed, the LIFE concept has numerous benefits: (1) Per unit of electricity generated, LIFE engines would generate 20-30 times less waste (in terms of mass of heavy metal) requiring disposal in a HLW repository than does the current once-through fuel cycle. (2) Although there may be advanced fuel cycles that can compete with LIFE's low mass flow of heavy metal, all such systems require reprocessing, with attendant proliferation concerns; LIFE engines can do this without enrichment or reprocessing. Moreover, none of the advanced fuel cycles can match the low transuranic content of LIFE waste. (3) The specific thermal power of LIFE waste is initially higher than that of spent LWR fuel. Nevertheless, this higher thermal load can be managed using appropriate engineering features during an interim storage period, and could be accommodated in a Yucca-Mountain-like repository by appropriate 'staging' of the emplacement of waste packages during the operational period of the repository. The planned ventilation rates for Yucca Mountain would be sufficient for LIFE waste to meet the thermal constraints of the repository design. (4) A simple, but arguably conservative, estimate for the dose from a repository containing 63,000 MT of spent LIFE fuel would have similar performance to the currently planned Yucca Mountain Repository. This indicates that a properly designed 'LIFE Repository' would almost certainly meet the proposed Nuclear Regulatory Commission standards for dose to individuals, even though the waste in such a repository would have produced 20-30 times more generated electricity than the reference case for Yucca Mountain. The societal risk/benefit ratio for a LIFE repository would therefore be significantly better than for currently planned repositories for LWR fuel.

  1. Technology Assessment

    Office of Environmental Management (EM)

    capabilities that are energy efficient, low environmental impact 72 and lower cost and that are employed to manufacture technologies and products for clean energy 73...

  2. Under consideration for publication in Formal Aspects of Computing Concurrent Software Verification with

    E-Print Network [OSTI]

    Ouaknine, Joël

    , Oxford, UK Abstract. We present a framework for model checking concurrent software systems which powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning with hardware and communication proto- cols, model checking is increasingly used to verify software systems

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

    SciTech Connect (OSTI)

    Weaver, P.

    2008-03-17

    The objectives of the independent verification survey were to confirm that remedial actions have been effective in meeting established release criteria and that documentation accurately and adequately describes the current radiological and chemical conditions of the MCP site.

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

    DOE Patents [OSTI]

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

    2011-01-25

    A recursive verification protocol to reduce the time variance due to delays in the network by putting the subject node at most one hop from the verifier node provides for an efficient manner to test wireless sensor nodes. Since the software signatures are time based, recursive testing will give a much cleaner signal for positive verification of the software running on any one node in the sensor network. In this protocol, the main verifier checks its neighbor, who in turn checks its neighbor, and continuing this process until all nodes have been verified. This ensures minimum time delays for the software verification. Should a node fail the test, the software verification downstream is halted until an alternative path (one not including the failed node) is found. Utilizing techniques well known in the art, having a node tested twice, or not at all, can be avoided.

  5. Revisiting the security of speaker verification systems against imposture using synthetic speech 

    E-Print Network [OSTI]

    De Leon, P. L.; Apsingekar, V. R.; Pucher, M.; Yamagishi, Junichi

    2010-01-01

    In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (SV) and speech synthesis have renewed ...

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

    Broader source: Energy.gov [DOE]

    ITP Industrial Distributed Energy: National Account Energy Alliance Final Report for the Field Scale Test and Verification of a PureComfort® 240M Combined Heat and Power System at the Ritz Carlton, San Francisco

  7. A Platform Architecture for Sensor Data Processing and Verification in Buildings

    E-Print Network [OSTI]

    Ortiz, Jorge Jose

    2013-01-01

    Functionality and Metadata 6.1 Verification through Sensorinformation such as the metadata of sensors. The labels “A-of SBS using the sensor metadata (i.e. device types and

  8. A Platform Architecture for Sensor Data Processing and Verification in Buildings

    E-Print Network [OSTI]

    Ortiz, Jorge Jose

    2013-01-01

    associated metadata for each sensor in the building. TheseMetadata Verification through Sensor Data Every system that manages data in the buildingAND METADATA Building Todai KETI No. Sensors No. Types

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

    E-Print Network [OSTI]

    Mukherjee, Rajarshim

    1994-01-01

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

  10. Memory Usage Verification for OO Programs Wei-Ngan Chin1,2

    E-Print Network [OSTI]

    Rinard, Martin

    to precisely capture these correlations. C. Hankin and I. Siveroni (Eds.): SAS 2005, LNCS 3672, pp. 70­86, 2005. c Springer-Verlag Berlin Heidelberg 2005 #12;Memory Usage Verification for OO Programs 71 ­ Heap

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    SciTech Connect (OSTI)

    Not Available

    2014-09-01

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

  14. Conditions Affecting the Relationship between Power and Identity Verification in Power Imbalanced Dyads 

    E-Print Network [OSTI]

    Davis, Jennifer 1983-

    2012-12-10

    In the present study, I look at the relationship between power and identity verification and the conditions under which this relationship can be disrupted. Specifically, I look at the role of information in disrupting power differences within...

  15. POSTER: Secure Path Verification using Mobility-Differentiated ToA

    E-Print Network [OSTI]

    Lenders, Vincent

    POSTER: Secure Path Verification using Mobility-Differentiated ToA Matthias Schäfer Vincent Lenders@cs.uni-kl.de vincent.lenders@armasuisse.ch jschmitt@cs.uni-kl.de ABSTRACT In this poster, we generalize the problem

  16. technology offer Vienna University of Technology | Research and Transfer Support | Claudia Doubek

    E-Print Network [OSTI]

    Szmolyan, Peter

    technology offer Vienna University of Technology | Research and Transfer Support | Claudia Doubek. Researchers focused on low building costs, easy assembly and long service life. Investment costs as well as control and maintenance costs are extremely reduced in relation to state of the art expansion joints. Long

  17. Technology Commercialization Showcase 2008 Vehicle Technologies Program

    SciTech Connect (OSTI)

    Davis, Patrick B.

    2009-06-19

    Presentation illustrating various technology commercialization opportunities and unexploited investment gaps for the Vehicle Technologies Program.

  18. Life-cycle Assessment of Semiconductors

    E-Print Network [OSTI]

    Boyd, Sarah B.

    2009-01-01

    4 Life-cycle Assessment of CMOS Logic5 Life-cycle Assessment of Flash Memory6 Life-cycle Assessment of Dynamic Random Access Memory

  19. Evaluation of HEPA filter service life

    SciTech Connect (OSTI)

    Fretthold, J.K.; Stithem, A.R.

    1997-07-14

    Rocky Flats Environmental Technology Site (RFETS), has approximately 10,000 High Efficiency Particulate Air (HEPA) Filters installed in a variety of filter plenums. These ventilation/filtration plenum systems are used to control the release of airborne particulate contaminates to the environment during normal operations and potential accidents. This report summarizes the results of destructive and non-destructive tests on HEPA filters obtained from a wide variety of ages and service conditions. These tests were performed to determine an acceptable service life criteria for HEPA filters used at Rocky Flats Environmental Technology Site (RFETS). A total of 140 filters of various ages (1972 to 1996) and service history (new, aged unused, used) were tested. For the purpose of this report, filter age from manufacture date/initial test date to the current sample date was used, as opposed to the actual time a filter was installed in an operating system.

  20. Thermally activated technologies: Technology Roadmap

    SciTech Connect (OSTI)

    None, None

    2003-05-01

    The purpose of this Technology Roadmap is to outline a set of actions for government and industry to develop thermally activated technologies for converting America’s wasted heat resources into a reservoir of pollution-free energy for electric power, heating, cooling, refrigeration, and humidity control. Fuel flexibility is important. The actions also cover thermally activated technologies that use fossil fuels, biomass, and ultimately hydrogen, along with waste heat.

  1. sustainable technologies

    E-Print Network [OSTI]

    Zhang, Junshan

    : · realize continuous improvements in performance (efficiency), cost and manufacturability of PV technologies, transformative PV technologies that circumvent cost/performance trade-offs and maintain compatibility with P the growing demand for energy. Photovoltaics (PV) leverages one of the 20th century's greatest scientific

  2. Data Collection for the MASK Kiosk: WOz vs Prototype System A. Life, I. Saltery

    E-Print Network [OSTI]

    Data Collection for the MASK Kiosk: WOz vs Prototype System A. Life, I. Saltery Ergonomics Unit state-of-the-art speech technology. In this paperwe report on our efforts aimed at evaluating

  3. Self-esteem and life satisfaction of aged individuals with and without access to computer training 

    E-Print Network [OSTI]

    Brown, Cindy Ann

    2005-02-17

    Research indicates that today?s aging population may obtain various benefits from using computer technology. These benefits include increased self-esteem, decreased depression, increased life satisfaction, and decreased loneliness; however, few...

  4. Life-Cycle Impacts From Novel Thorium–Uranium-Fuelled Nuclear Energy Systems

    E-Print Network [OSTI]

    Ashley, S. F.; Fenner, R. A.; Nuttall, W. J.; Parks, Geoffrey T.

    2015-06-02

    is performed that considers the con- struction, operation, and decommissioning of each of the reactor technologies and all of the other associated facilities in the open nuclear fuel cycle. This includes the development of life-cycle analysis models...

  5. Comparison of Building Energy Efficiency and Life Span for Different Envelopes 

    E-Print Network [OSTI]

    Li, Z.; Li, D.; Li, L.; Zhang, G.; Liu, J.

    2006-01-01

    life and provide occupants a more comfortable indoor climate. At the same time, this heat preservation technology can ensure building energy efficiency and economy. It is reasonable to adopt the external heat preservation wall mode to make the building...

  6. From the Lab to the Showroom: How the Electric Car Came to Life...

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

    to Life October 17, 2011 - 11:02am Addthis An illustration of the 2011 Chevy Volt, whose lithium-ion battery is based on technology developed at Argonne National Laboratory. |...

  7. NREL: Technology Transfer - NREL's Battery Life Predictive Model...

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

    NREL 32696 Companies that rely on batteries for enhanced energy efficiency-including electric vehicle (EV) manufacturers, solar and wind energy generation companies, and...

  8. Life-Cycle Analysis of Transportation Fuels and Vehicle Technologies

    E-Print Network [OSTI]

    Bustamante, Fabián E.

    ;U.S. transportation energy production trends U.S. domestic oil and natural gas production continues gas ­ Tight oil (mainly shale oil) production accounts for 45% of total US oil production ­ U.S. net oil import accounts for 39.5% of its consumption Ethanol production was 13.3 billion gallons in 2013

  9. Encountering SenseCam: Personal Recording Technologies in Everyday Life

    E-Print Network [OSTI]

    through passive recording of images. Experiments were undertaken to ensure that the sensors would trigger the capture of an image at appropriate intervals (e.g., when transitioning between rooms in a house) [11

  10. Harmonizing Technological Innovation and End-of-Life Strategy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:FinancingPetroleum12,ExecutiveFinancing ProgramsDepartment of EnergyEnergy Harmonization

  11. A golden anniversary for space-based treaty verification

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

    Los Alamos space technology deployed on scientific satellites has helped scientists worldwide determine the elemental composition of the surface of the moon, including the...

  12. Critical technologies research: Opportunities for DOE

    SciTech Connect (OSTI)

    Not Available

    1992-12-01

    Recent studies have identified a number of critical technologies that are essential to the nation's defense, economic competitiveness, energy independence, and betterment of public health. The National Critical Technologies Panel (NCTP) has identified the following critical technology areas: Aeronautics and Surface Transportation; Biotechnology and Life Sciences; Energy and Environment; Information and Communications; Manufacturing; and Materials. Sponsored by the Department of Energy's Office of Energy Research (OER), the Critical Technologies Research Workshop was held in May 1992. Approximately 100 scientists, engineers, and managers from the national laboratories, industry, academia, and govemment participated. The objective of the Berkeley Workshop was to advance the role of the DOE multiprogram energy laboratories in critical technologies research by describing, defining, and illustrating research areas, opportunities, resources, and key decisions necessary to achieve national research goals. An agenda was developed that looked at DOE's capabilities and options for research in critical technologies and provided a forum for industry, academia, govemment, and the national laboratories to address: Critical technology research needs; existing research activities and resources; capabilities of the national laboratories; and opportunities for national laboratories, industries, and universities. The Workshop included plenary sessions in which presentations by technology and policy leaders set the context for further inquiry into critical technology issues and research opportunities. Separate sessions then focused on each of the following major areas of technology: Advanced materials; biotechnology and life sciences; energy and environment; information and communication; and manufacturing and transportation.

  13. Critical technologies research: Opportunities for DOE

    SciTech Connect (OSTI)

    Not Available

    1992-12-01

    Recent studies have identified a number of critical technologies that are essential to the nation`s defense, economic competitiveness, energy independence, and betterment of public health. The National Critical Technologies Panel (NCTP) has identified the following critical technology areas: Aeronautics and Surface Transportation; Biotechnology and Life Sciences; Energy and Environment; Information and Communications; Manufacturing; and Materials. Sponsored by the Department of Energy`s Office of Energy Research (OER), the Critical Technologies Research Workshop was held in May 1992. Approximately 100 scientists, engineers, and managers from the national laboratories, industry, academia, and govemment participated. The objective of the Berkeley Workshop was to advance the role of the DOE multiprogram energy laboratories in critical technologies research by describing, defining, and illustrating research areas, opportunities, resources, and key decisions necessary to achieve national research goals. An agenda was developed that looked at DOE`s capabilities and options for research in critical technologies and provided a forum for industry, academia, govemment, and the national laboratories to address: Critical technology research needs; existing research activities and resources; capabilities of the national laboratories; and opportunities for national laboratories, industries, and universities. The Workshop included plenary sessions in which presentations by technology and policy leaders set the context for further inquiry into critical technology issues and research opportunities. Separate sessions then focused on each of the following major areas of technology: Advanced materials; biotechnology and life sciences; energy and environment; information and communication; and manufacturing and transportation.

  14. Life cycle air quality impacts of conventional and alternative light-duty transportation in the

    E-Print Network [OSTI]

    Mlllet, Dylan B.

    Life cycle air quality impacts of conventional and alternative light-duty transportation biofuels, diesel, and compressed natural gas (CNG) in internal combustion engines; the use of electricity of hybrid EV technology. Our approach combines spatially, temporally, and chemically detailed life cycle

  15. Chip in a lab: Microfluidics for next generation life science Aaron M. Streets1,2

    E-Print Network [OSTI]

    Huang, Yanyi

    Chip in a lab: Microfluidics for next generation life science research Aaron M. Streets1 January 2013; published online 31 January 2013) Microfluidic circuits are characterized by fluidic measurements. Microfluidic technology has thus become a powerful tool in the life science research laboratory

  16. INTERSTATE WASTE TECHNOLOGIES THERMOSELECT TECHNOLOGY

    E-Print Network [OSTI]

    Columbia University

    1 INTERSTATE WASTE TECHNOLOGIES THERMOSELECT TECHNOLOGY AN OVERVIEW Presented to the DELAWARE SOLID WASTE MANAGEMENT TECHNICAL WORKING GROUP January 10, 2006 #12;2 INTERSTATE WASTE MANAGEMENT ALLIANCE and maintenance (30 years) ­ Will guarantee performance and Operation and Maintenance ­ Serves solid waste

  17. Review of Evaluation, Measurement and Verification Approaches Used to Estimate the Load Impacts and Effectiveness of Energy Efficiency Programs

    SciTech Connect (OSTI)

    none,

    2012-04-01

    Provides an overview of evaluation, measurement, and verification approaches used to estimate the load impacts and effectiveness of energy efficiency programs.

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

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

    Broader source: Energy.gov [DOE]

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

  20. Technology Validation

    Broader source: Energy.gov [DOE]

    To reduce solar technology risks, DOE and its partners evaluate the performance and reliability of novel photovoltaic (PV) hardware and systems through laboratory and field testing. The focus of...

  1. Cosmology from Cosmic Shear with DES Science Verification Data

    E-Print Network [OSTI]

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

    2015-01-01

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

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

    E-Print Network [OSTI]

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

    2015-01-01

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

  3. Cosmic Shear Measurements with DES Science Verification Data

    E-Print Network [OSTI]

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

    2015-01-01

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

  4. Cosmic Shear Measurements with DES Science Verification Data

    SciTech Connect (OSTI)

    Becker, M. R.

    2015-07-20

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

  5. Analog Video Authentication and Seal Verification Equipment Development

    SciTech Connect (OSTI)

    Gregory Lancaster

    2012-09-01

    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.

  6. Enrichment Assay Methods for a UF6 Cylinder Verification Station

    SciTech Connect (OSTI)

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

    2010-11-30

    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.

  7. Uncertainty Estimation Improves Energy Measurement and Verification Procedures

    SciTech Connect (OSTI)

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

    2014-05-14

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

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

    SciTech Connect (OSTI)

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

    2014-11-01

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

  9. Coiled tubing working life prediction

    SciTech Connect (OSTI)

    Wu, J.

    1995-12-31

    Failure of coiled tubing, due to the repeated bending and plastic deformation of coiled tubing on and off the reel and gooseneck, is of great concern in coiled tubing operations. This paper discusses the coiled tubing working life based on one of the coiled tubing life models published in the literature, and compares the results with other models. Certain agreements are found among these models. A group of curves is presented to illustrate the coiled tubing working life affected by coiled tubing size and wall thickness, internal pressure, yield strength, reel diameter, gooseneck radius, operation condition (corrosion) and butt-welded connection (stress concentration). The results show that coiled tubing life can be greatly increased by increasing CT wall thickness and CT strength, while the coiled tubing working life decreases under high internal pressure, corrosion, and butt-weld conditions. These curves can be easily used in estimating coiled tubing life for the field use.

  10. Technology Roadmap Analysis 2013: Assessing Automotive Technology...

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

    Technology Roadmap Analysis 2013: Assessing Automotive Technology R&D Relevant to DOE Power Electronics Cost Targets Technology Roadmap Analysis 2013: Assessing Automotive...

  11. ITL Bulletins are published by the Information Technology Laboratory

    E-Print Network [OSTI]

    Intrusion Detection Systems, July 2003 IT Security Metrics, August 2003 Information Technology Security Security Considerations in the Information System Development Life Cycle, December 2003 Computer Security Standard (FIPS) 199, Standards for Security Categorization of Federal Information and Information Systems

  12. Building Technologies Office Overview

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

    Roland Risser Director, Building Technologies Office Building Technologies Office Energy Efficiency Starts Here. 2 Building Technologies Office Integrated Approach: Improving...

  13. APractical Methodology for the Formal Verification of RISC Processors

    E-Print Network [OSTI]

    Tahar, Sofične

    and nuclear reactor control etc., where design errors could lead to loss of life and expensive property [79, pipeline data and pipeline control correctness. In the former, we show that the cumulative effect tasks. In addition, the pipeline control proof is constructive, in the sense that the conditions under

  14. Science and technology for industrial ecology

    SciTech Connect (OSTI)

    Gilmartin, T.J.; Allenby, B.R.

    1996-07-10

    Scientific and technological communities have a significant role to play and responsibility for the evolution of global sustainability (continuously improving quality of life into the indefinite future). Sustainability is not possible without a substantially improved science and technology basis for industrial ecology. Society needs data and understanding of complex ecological issues to govern itself in a sustainable manner. We should: support and develop multi-disciplinary programs which create the scientific basis for understanding natural and anthropogenic complex systems and for developing environmentally and economically efficient technology; demonstrate a systems-based approach to science and technology issues which is life-cycle comprehensive, integrates environmental considerations, and promotes conservation of natural resources; and encourage development of responsible, technically and scientifically valid, cost-effective environmental laws and practices.

  15. Nanotechnology for Life Sciences Vol. 4: Nanodevices for Life Sciences

    E-Print Network [OSTI]

    Hancock, William O.

    Nanotechnology for Life Sciences Vol. 4: Nanodevices for Life Sciences Protein-based nanotechnology such as semiconductors into functional materials.11,12 Another example of protein based nanotechnology is the push in nanotechnology18,19 and on applications of kinesin motors in microscale transport.4 Finally, there is a paralle

  16. MGMT 560: Management of Technology Professor Lyle Ungar

    E-Print Network [OSTI]

    Ungar, Lyle H.

    : incremental and disruptive. Product life cycles and dominant designs. The learning curve. Tech- noogy vision: Why good companies fail to make the leap. The whole product. 4. Hi Tech marketing Hi Tech marketing over the technology life cycle. 5. Managing Risk; Scenario planning Risk and exposure. R & D portfolio

  17. SUMO Technology For Peptides NOVEL METHODS FOR RAPID RECOMBINANT PEPTIDE

    E-Print Network [OSTI]

    Lebendiker, Mario

    staff of your company. If you are not the intended recipient, you are hereby notified that anySensors: Company Profile Founded in 1996, LifeSensors is a biotechnology company located 35 miles west of Philadelphia. LifeSensors technology platform is based on an important family of proteins called ubiquitin

  18. Verification of Shell GTL Fuel as CARB Alternative Diesel

    Broader source: Energy.gov [DOE]

    Presentation given at the 2007 Diesel Engine-Efficiency & Emissions Research Conference (DEER 2007). 13-16 August, 2007, Detroit, Michigan. Sponsored by the U.S. Department of Energy's (DOE) Office of FreedomCAR and Vehicle Technologies (OFCVT).

  19. New Prototype Safeguards Technology Offers Improved Confidence and Automation for Uranium Enrichment Facilities

    SciTech Connect (OSTI)

    Brim, Cornelia P.

    2013-04-01

    An important requirement for the international safeguards community is the ability to determine the enrichment level of uranium in gas centrifuge enrichment plants and nuclear fuel fabrication facilities. This is essential to ensure that countries with nuclear nonproliferation commitments, such as States Party to the Nuclear Nonproliferation Treaty, are adhering to their obligations. However, current technologies to verify the uranium enrichment level in gas centrifuge enrichment plants or nuclear fuel fabrication facilities are technically challenging and resource-intensive. NNSA’s Office of Nonproliferation and International Security (NIS) supports the development, testing, and evaluation of future systems that will strengthen and sustain U.S. safeguards and security capabilities—in this case, by automating the monitoring of uranium enrichment in the entire inventory of a fuel fabrication facility. One such system is HEVA—hybrid enrichment verification array. This prototype was developed to provide an automated, nondestructive assay verification technology for uranium hexafluoride (UF6) cylinders at enrichment plants.

  20. Plant maintenance and plant life extension issue, 2007

    SciTech Connect (OSTI)

    Agnihotri, Newal (ed.)

    2007-03-15

    The focus of the March-April issue is on plant maintenance and plant life extension. Major articles/reports in this issue include: Three proposed COLs expected in 2007, by Dale E. Klein, U.S. Nuclear Regulatory Commission; Delivering behaviors that our customers value, by Jack Allen, Westinghouse Electric Company; Facilitating high-level and fuel waste disposal technologies, by Malcolm Gray, IAEA, Austria; Plant life management and long-term operation, by Pal Kovacs, OECD-NEA, France; Measuring control rod position, by R. Taymanov, K. Sapozhnikova, I. Druzhinin, D.I. Mendeleyev, Institue for Metrology, Russia; and, 'Modernization' means higher safety, by Svetlana Genova, Kozluduy NPP plc, Bulgaria.