Sample records for verification sections address

  1. ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITH MTCONNECT

    E-Print Network [OSTI]

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

    2009-01-01T23:59:59.000Z

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

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

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

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

  3. Address:

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building TechnologiesS1!4T opAddress: ~~. . ~L~ -'7(J'",

  4. Verification study of thorium cross section in MVP calculation of thorium based fuel core using experimental data

    SciTech Connect (OSTI)

    Mai, V. T.; Fujii, T.; Wada, K.; Kitada, T. [Osaka Univ., 2-1, Yamadaoka, Suita-shi, Osaka 565-0871 (Japan); Takaki, N.; Yamaguchi, A.; Watanabe, H. [Tokai Univ., 4-1-1 Kitakaname, Hiratsuka-shi, Kanagawa, 259-1292 (Japan); Unesaki, H. [Kyoto Univ. Research Reactor Inst., Asahiro-nishi, Kumatori-cho, Sennan-gun, Osaka 590-0494 (Japan)

    2012-07-01T23:59:59.000Z

    Considering the importance of thorium data and concerning about the accuracy of Th-232 cross section library, a series of experiments of thorium critical core carried out at KUCA facility of Kyoto Univ. Research Reactor Inst. have been analyzed. The core was composed of pure thorium plates and 93% enriched uranium plates, solid polyethylene moderator with hydro to U-235 ratio of 140 and Th-232 to U-235 ratio of 15.2. Calculations of the effective multiplication factor, control rod worth, reactivity worth of Th plates have been conducted by MVP code using JENDL-4.0 library [1]. At the experiment site, after achieving the critical state with 51 fuel rods inserted inside the reactor, the measurements of the reactivity worth of control rod and thorium sample are carried out. By comparing with the experimental data, the calculation overestimates the effective multiplication factor about 0.90%. Reactivity worth of the control rods evaluation using MVP is acceptable with the maximum discrepancy about the statistical error of the measured data. The calculated results agree to the measurement ones within the difference range of 3.1% for the reactivity worth of one Th plate. From this investigation, further experiments and research on Th-232 cross section library need to be conducted to provide more reliable data for thorium based fuel core design and safety calculation. (authors)

  5. Verification of Allowable Stresses In ASME Section III Subsection NH For Grade 91 Steel & Alloy 800H

    SciTech Connect (OSTI)

    R. W. Swindeman; M. J. Swindeman; B. W. Roberts; B. E. Thurgood; D. L. Marriott

    2007-11-30T23:59:59.000Z

    The database for the creep-rupture of 9Cr-1Mo-V (Grade 91) steel was collected and reviewed to determine if it met the needs for recommending time-dependent strength values, S{sub t}, for coverage in ASME Section III Subsection NH (ASME III-NH) to 650 C (1200 F) and 600,000 hours. The accumulated database included over 300 tests for 1% total strain, nearly 400 tests for tertiary creep, and nearly 1700 tests to rupture. Procedures for analyzing creep and rupture data for ASME III-NH were reviewed and compared to the procedures used to develop the current allowable stress values for Gr 91 for ASME II-D. The criteria in ASME III-NH for estimating S{sub t} included the average strength for 1% total strain for times to 600,000 hours, 80% of the minimum strength for tertiary creep for times to 600,000 hours, and 67% of the minimum rupture strength values for times to 600,000 hours. Time-temperature-stress parametric formulations were selected to correlate the data and make predictions of the long-time strength. It was found that the stress corresponding to 1% total strain and the initiation of tertiary creep were not the controlling criteria over the temperature-time range of concern. It was found that small adjustments to the current values in III-NH could be introduced but that the existing values were conservative and could be retained. The existing database was found to be adequate to extend the coverage to 600,000 hours for temperatures below 650 C (1200 F).

  6. Verification and validation benchmarks.

    SciTech Connect (OSTI)

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01T23:59:59.000Z

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

  7. STATE OF CALIFORNIA CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING

    E-Print Network [OSTI]

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

  8. EPA -- Addressing Children's Health through Reviews Conducted...

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

    Addressing Children's Health through Reviews Conducted Pursuant to the National Environmental Policy Act and Section 309 of the Clean Air Act EPA -- Addressing Children's Health...

  9. Monitoring and verification R&D

    SciTech Connect (OSTI)

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

    2011-01-01T23:59:59.000Z

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

  10. TFE Verification Program

    SciTech Connect (OSTI)

    Not Available

    1993-05-01T23:59:59.000Z

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

  11. Verification Challenges at Low Numbers

    SciTech Connect (OSTI)

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

    2013-06-01T23:59:59.000Z

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

  12. Fuel Retrieval System Design Verification Report

    SciTech Connect (OSTI)

    GROTH, B.D.

    2000-04-11T23:59:59.000Z

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

  13. Verification and Validation

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

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

  14. Nuclear Data Verification and Standardization

    SciTech Connect (OSTI)

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

    2011-10-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

  16. Treaty Verification | ornl.gov

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

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

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

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

  19. University of Massachusetts Amherst Measurement & Verification Guidelines

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

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

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

    Energy Savers [EERE]

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

  1. Verification and Validation of Simulation Model

    E-Print Network [OSTI]

    Shihada, Basem

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

  2. Voltage verification unit

    DOE Patents [OSTI]

    Martin, Edward J. (Virginia Beach, VA)

    2008-01-15T23:59:59.000Z

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

  3. Conceptual design. Final report: TFE Verification Program

    SciTech Connect (OSTI)

    Not Available

    1994-03-01T23:59:59.000Z

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

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

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

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

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

    E-Print Network [OSTI]

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

  6. Electric Utility Measurement & Verification Program

    E-Print Network [OSTI]

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

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

  7. Quantum Money with Classical Verification

    E-Print Network [OSTI]

    Gavinsky, Dmitry

    2011-01-01T23:59:59.000Z

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

  8. Nuclear disarmament verification

    SciTech Connect (OSTI)

    DeVolpi, A.

    1993-12-31T23:59:59.000Z

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

  9. Environmental Technology Verification Program

    E-Print Network [OSTI]

    Environmental Technology Verification Program Quality Management Plan (QMP) for the ETV Materials Management and Remediation Center Version 1.0 #12;QUALITY MANAGEMENT PLAN (QMP) for the ETV MATERIALS MANAGEMENT AND REMEDIATION CENTER Version 1.0 (SIGNATURE ON FILE) Teri Richardson 3-13-09 EPA MMR CENTER

  10. Architecture AddressingModes

    E-Print Network [OSTI]

    Nguyen, Dat H.

    MIPS R2000 Architecture and Assembly (Part 1) 1. CPU Registers 2. Byte Order 3. AddressingModes 4­endian byte order 3 2 1 0 0 1 2 3 Or Byte number #12; AddressingModes . MIPS is a load/store architecture . RICS -- Load/Store architecture -- All instructions have equal length of 4 bytes -- Every register can

  11. Addressing Genetics Delivering Health

    E-Print Network [OSTI]

    Rambaut, Andrew

    Addressing Genetics Delivering Health A strategy for advancing the dissemination and application of genetics knowledge throughout our health professions Funded by Hilary Burton September 2003 Executive education of health workers q providing strategic overview of education programme q collaborating

  12. Quantum Money with Classical Verification

    E-Print Network [OSTI]

    Dmitry Gavinsky

    2012-03-15T23:59:59.000Z

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

  13. Verification of Parallel Garbage Collection by Abstract Model Checking

    E-Print Network [OSTI]

    Hagiya, Masami

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

  14. Verification and validation of COBRA-SFS transient analysis capability

    SciTech Connect (OSTI)

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

    1998-05-01T23:59:59.000Z

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

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

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

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

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

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

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

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

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

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

  18. Name * First Last Address Street Address Address Line 2 City State ...

    E-Print Network [OSTI]

    Name * First Last; Address. Street Address Address Line 2. City State / Province / Region Postal / Zip Code. United States, United Kingdom, Australia, Canada†...

  19. Converter performance TFE Verification Program. Final test report

    SciTech Connect (OSTI)

    Not Available

    1994-03-01T23:59:59.000Z

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

  20. Current address: Samuel Johnson

    E-Print Network [OSTI]

    Johnson, Samuel

    CV: E-mail : Homepage: Current address: Samuel Johnson samuel.johnson@imperial.ac.uk www. #12;Submitted work 1. The meaning of niche: Cause or consequence of food-web structure?, S. Johnson, V learning, S. Johnson, J. Marro, and J.J. Torres, PLoS ONE 8(1): e50276 (2013) 3. Enhancing neural network

  1. Moulinath Banerjee Work Address

    E-Print Network [OSTI]

    Banerjee, Moulinath

    .Stat.(Honors) 1995, in First Division with Distinction. Employment Associate Professor of Statistics, UniversityMoulinath Banerjee Work Address University of Michigan Department of Statistics 439, West Hall 1085 estimation, Statistical Methods in Astronomy, Biomedical studies and Epidemiology, Threshold and boundary

  2. Moulinath Banerjee Work Address

    E-Print Network [OSTI]

    Banerjee, Moulinath

    .Stat.(Honors) 1995, in First Division with Distinction. Employment Associate Professor of Statistics, University Methods in Non­standard Problems. Currently employed as Tenure-track Assistant Professor of StatisticsMoulinath Banerjee Work Address University of Michigan Department of Statistics 439, West Hall 1085

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

    SciTech Connect (OSTI)

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

    2006-09-28T23:59:59.000Z

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

  4. Learning Minimal Separating DFA's for Compositional Verification

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

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

    SciTech Connect (OSTI)

    Doyle, James E. [Los Alamos National Laboratory

    2012-06-12T23:59:59.000Z

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

  6. Addressing Big Data

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building TechnologiesS1!4T opAddress: ~~. . ~L~ -'7(J'",Big

  7. Software Modeling and Verification Professors

    E-Print Network [OSTI]

    √Ābrah√°m, Erika

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

  8. Generation of RTL verification input stimulus

    E-Print Network [OSTI]

    Selvarathinam, Anand Manivannan

    2001-01-01T23:59:59.000Z

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

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

  10. Software Verification and Testing Lecture Notes: Testing I

    E-Print Network [OSTI]

    Struth, Georg

    Software Verification and Testing Lecture Notes: Testing I #12;Motivation verification: · powerful · automated techniques rather limited testing: (as "poor man's verification") · can only detect presence mathematical skills 1 #12;Motivation verification vs testing: · verification used often in early stages

  11. CHRISTOPHER JOHN LOBB ADDRESS: Office

    E-Print Network [OSTI]

    Lathrop, Daniel P.

    CHRISTOPHER JOHN LOBB ADDRESS: Office: Center for Superconductivity Research Department of Physics. Proc. No. 58 (AIP, New York, 1980), p. 308. 7. C. J. Lobb and Keith R. Karasek, A Monte Carlo

  12. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    Not Available

    1993-06-01T23:59:59.000Z

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

  13. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    Not Available

    1993-06-01T23:59:59.000Z

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

  14. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    NONE

    1998-12-01T23:59:59.000Z

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

  15. Superior Energy Performance Measurement and Verification Protocol...

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

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

  16. Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

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

    2008-03-31T23:59:59.000Z

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

  17. Section CC

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

    C.2.1.9 GF0024 DOE will provide the Cross-Service Agreement with GSA that addresses preventive maintenance and repair services and reimbursement rates for GSA Fleet vehicles....

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

    Energy Savers [EERE]

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

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

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

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

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

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

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

  1. Developing an Evaluation Measurement and Verification Plan for...

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

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

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

  3. The monitoring and verification of nuclear weapons

    SciTech Connect (OSTI)

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

    2014-05-09T23:59:59.000Z

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

  4. Verification after Synthesis Alan Mishchenko Robert Brayton

    E-Print Network [OSTI]

    Brayton, Robert K.

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

  5. Quantum Money with Classical Verification Dmitry Gavinsky

    E-Print Network [OSTI]

    Gavinsky, Dmitry

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

  6. Technical Documentation and Verification for the

    E-Print Network [OSTI]

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

  7. BICYCLE URBANISM SYMPOSIUM KEYNOTE ADDRESS

    E-Print Network [OSTI]

    Hochberg, Michael

    for expanding their cycling networks, combined with a range of complementary programs such as bike sharing, bikeBICYCLE URBANISM SYMPOSIUM KEYNOTE ADDRESS Cycling to the Future: Lessons from Cities across the Globe In this talk, John Pucher documents the boom in cycling in both European and North American cities

  8. State of the Lab Address

    ScienceCinema (OSTI)

    King, Alex

    2013-03-01T23:59:59.000Z

    In his third-annual State of the Lab address, Ames Laboratory Director Alex King called the past year one of "quiet but strong progress" and called for Ames Laboratory to continue to build on its strengths while responding to changing expectations for energy research.

  9. Building Address Locations -Assumes entire

    E-Print Network [OSTI]

    Guenther, Frank

    Building Address Locations - Assumes entire building unless noted Designation Submit through* 560, 4 BU Crosstown Center 801 Massachusetts Ave Floor 1, 2 BMC BCD Building 800 Harrison Avenue BCD BMC Biosquare III 670 Albany Floors 2, 3, 6, 7 BMC Biosquare III 670 Albany Floors 1, 4, 5, 8 BU Building

  10. Final Report on Internet Addressable Lightswitch

    SciTech Connect (OSTI)

    Rubinstein, Francis; Pettler, Peter

    2001-08-27T23:59:59.000Z

    This report describes the work performed to develop and test a new switching system and communications network that is useful for economically switching lighting circuits in existing commercial buildings. The first section of the report provides the general background of the IBECS (Integrated Building Environmental Communications System) research and development work as well as the context for the development of the new switching system. The research and development effort that went into producing the first proof-of-concept (the IBECS Addressable Power Switch or APS) and the physical prototype of that concept is detailed in the second section. In the third section of the report, we detail the refined Powerline Carrier Based IBECS Title 24 Wall Switch system that evolved from the APS prototype. The refined system provided a path for installing IBECS switching technology in existing buildings that may not be already wired for light level switching control. The final section of the report describes the performance of the IBECS Title 24 Switch system as applied to a small demonstration in two offices at LBNL's Building 90. We learned that the new Powerline Carrier control systems (A-10 technology) that have evolved from the early X-10 systems have solved most of the noise problems that dogged the successful application of X-10 technologies in commercial buildings. We found that the new A-10 powerline carrier control technology can be reliable and effective for switching lighting circuits even in electrically noisy office environments like LBNL. Thus we successfully completed the task objectives by designing, building and demonstrating a new switching system that can provide multiple levels of light which can be triggered either from specially designed wall switches or from a digital communications network. By applying commercially available powerline carrier based technologies that communicate over the in-place lighting wiring system, this type of control can be economi cally installed even in existing buildings that were not wired for dual-level lighting.

  11. Addresses and Phone Numbers | NREL

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc Documentation RUCProductstwrmrAre the EffectsAcknowledgmentdynamics inforOfficeAdditiveAddresses

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

  13. November 2013 ANALYSIS OF RAW ACTIONS ADDRESSING RFS

    E-Print Network [OSTI]

    Lee, Jason R.

    environmental resource areas for the proposed RAW actions associated with RFS contamination described in SectionNovember 2013 5-1 CHAPTER 5 ANALYSIS OF RAW ACTIONS ADDRESSING RFS CONTAMINATION This chapter discusses the environmental setting, impacts, and mitigation measures for the 14 fully evaluated

  14. Addressing the workforce pipeline challenge

    SciTech Connect (OSTI)

    Leonard Bond; Kevin Kostelnik; Richard Holman

    2006-11-01T23:59:59.000Z

    A secure and affordable energy supply is essential for achieving U.S. national security, in continuing U.S. prosperity and in laying the foundations to enable future economic growth. To meet this goal the next generation energy workforce in the U.S., in particular those needed to support instrumentation, controls and advanced operations and maintenance, is a critical element. The workforce is aging and a new workforce pipeline, to support both current generation and new build has yet to be established. The paper reviews the challenges and some actions being taken to address this need.

  15. Addressing the workforce pipeline challenge

    SciTech Connect (OSTI)

    Bond, L.; Kostelnik, K.; Holman, R. [Idaho National Laboratory, P.O. Box 1625, Idaho Falls, ID 83415-3898 (United States)

    2006-07-01T23:59:59.000Z

    A secure and affordable energy supply is essential for achieving U.S. national security, in continuing U.S. prosperity and in laying the foundations to enable future economic growth. To meet this goal the next generation energy workforce in the U.S., in particular those needed to support instrumentation, controls and advanced operations and maintenance, is a critical element. The workforce is aging and a new workforce pipeline, to support both current generation and new build has yet to be established. The paper reviews the challenges and some actions being taken to address this need. (authors)

  16. Keynote Address | Department of Energy

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) " ,"ClickPipelinesProvedDecemberInitiatives Initiatives Through aEnergyLowJoelProcessDepartmentAddress

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

    SciTech Connect (OSTI)

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

    2001-08-22T23:59:59.000Z

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

  18. RENEWABLES PORTFOLIO STANDARD 2005 PROCUREMENT VERIFICATION

    E-Print Network [OSTI]

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

  19. Runtime verification of object lifetime specifications

    E-Print Network [OSTI]

    Benjamin, Zev (Zev A.)

    2009-01-01T23:59:59.000Z

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

  20. The Mechanized Verification of Garbage Collector Implementations

    E-Print Network [OSTI]

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

  1. Symbiosis: Addressing Biomass Production Challenges and Climate...

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

    Symbiosis: Addressing Biomass Production Challenges and Climate Change Symbiosis: Addressing Biomass Production Challenges and Climate Change This presentation was the opening...

  2. Recommendations to Address Power Reliability Concerns Raised...

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

    to Address Power Reliability Concerns Raised as a Result of Pending Environmental Regulations for Electric Generation Stations Recommendations to Address Power Reliability Concerns...

  3. Addressing Wind Turbine Tribological Challenges with Surface...

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

    Addressing Wind Turbine Tribological Challenges with Surface Engineering Presented by Gary Doll of the University of Akron at the Wind Turbine Tribology Seminar 2014. Addressing...

  4. BlackboardSectioningTool Course Sectioning The Sectioning Tool

    E-Print Network [OSTI]

    Bou-Zeid, Elie

    sectioning tool: Consult the online help provided within the sectioning tool Call the OIT Help Desk at (609 by those preferences, select Enable/Configure Student Preference Tool. Need help using the BlackboardBlackboardSectioningTool Course Sectioning 1 The Sectioning Tool The Sectioning Tool is a course

  5. Addressing Failures in Exascale Computing

    SciTech Connect (OSTI)

    Snir, Marc [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Wisniewski, Robert [Intel Corporation] [Intel Corporation; Abraham, Jacob [unknown] [unknown; Adve, Sarita [University of Illinois, Urbana-Champaign] [University of Illinois, Urbana-Champaign; Bagchi, Saurabh [Purdue University] [Purdue University; Balaji, Pavan [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Belak, J. [Lawrence Livermore National Laboratory (LLNL)] [Lawrence Livermore National Laboratory (LLNL); Bose, Pradip [IBM T. J. Watson Research Center] [IBM T. J. Watson Research Center; Cappello, Franck [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Carlson, Bill [unknown] [unknown; Chien, Andrew [University of Chicago] [University of Chicago; Coteus, Paul [IBM T. J. Watson Research Center] [IBM T. J. Watson Research Center; DeBardeleben, Nathan [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Diniz, Pedro [University of Southern California] [University of Southern California; Engelmann, Christian [ORNL] [ORNL; Erez, Mattan [University of Texas at Austin] [University of Texas at Austin; Fazzari, Saverio [Booz Allen Hamilton] [Booz Allen Hamilton; Geist, Al [ORNL] [ORNL; Gupta, Rinku [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Johnson, Fred [Science Applications International Corporation (SAIC), Oak Ridge, TN] [Science Applications International Corporation (SAIC), Oak Ridge, TN; Krishnamoorthy, Sriram [Pacific Northwest National Laboratory (PNNL)] [Pacific Northwest National Laboratory (PNNL); Leyffer, Sven [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Liberty, Dean [AMD] [AMD; Mitra, Subhasish [Stanford University] [Stanford University; Munson, Todd [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Schreiber, Rob [HP Labs] [HP Labs; Stearley, Jon [Sandia National Laboratories (SNL)] [Sandia National Laboratories (SNL); Van Hensbergen, Eric [ARM] [ARM

    2014-01-01T23:59:59.000Z

    We present here a report produced by a workshop on Addressing failures in exascale computing' held in Park City, Utah, 4-11 August 2012. The charter of this workshop was to establish a common taxonomy about resilience across all the levels in a computing system, discuss existing knowledge on resilience across the various hardware and software layers of an exascale system, and build on those results, examining potential solutions from both a hardware and software perspective and focusing on a combined approach. The workshop brought together participants with expertise in applications, system software, and hardware; they came from industry, government, and academia, and their interests ranged from theory to implementation. The combination allowed broad and comprehensive discussions and led to this document, which summarizes and builds on those discussions.

  6. Addressing failures in exascale computing

    SciTech Connect (OSTI)

    Snir, Marc; Wisniewski, Robert W.; Abraham, Jacob A.; Adve, Sarita; Bagchi, Saurabh; Balaji, Pavan; Belak, Jim; Bose, Pradip; Cappello, Franck; Carlson, William; Chien, Andrew A.; Coteus, Paul; Debardeleben, Nathan A.; Diniz, Pedro; Engelmann, Christian; Erez, Mattan; Saverio, Fazzari; Geist, Al; Gupta, Rinku; Johnson, Fred; Krishnamoorthy, Sriram; Leyffer, Sven; Liberty, Dean; Mitra, Subhasish; Munson, Todd; Schreiber, Robert; Stearly, Jon; Van Hensbergen, Eric

    2014-05-01T23:59:59.000Z

    We present here a report produced by a workshop on ďAddressing Failures in Exascale ComputingĒ held in Park City, Utah, August 4Ė11, 2012. The charter of this workshop was to establish a common taxonomy about resilience across all the levels in a computing system; discuss existing knowledge on resilience across the various hardware and software layers of an exascale system; and build on those results, examining potential solutions from both a hardware and software perspective and focusing on a combined approach. The workshop brought together participants with expertise in applications, system software, and hardware; they came from industry, government, and academia; and their interests ranged from theory to implementation. The combination allowed broad and comprehensive discussions and led to this document, which summarizes and builds on those discussions.

  7. Section J

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartment of Energy U.S. DepartmentCommitment for a Loan GuaranteeRECOVERYL-1 Section JM-1

  8. Section Number:

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartment of Energy U.S. DepartmentCommitment for a Loan GuaranteeRECOVERYL-1 Section JM-1

  9. SECTION J

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1 SECTION J

  10. SECTION J

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1 SECTION

  11. SECTION J

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1 SECTION

  12. SECTION J

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1K-1 SECTION

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

    SciTech Connect (OSTI)

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

    2003-12-01T23:59:59.000Z

    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.

  14. Visual inspection for CTBT verification

    SciTech Connect (OSTI)

    Hawkins, W.; Wohletz, K.

    1997-03-01T23:59:59.000Z

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

  15. A Tutorial on Text-Independent Speaker Verification

    E-Print Network [OSTI]

    Bimbot, Frederic

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

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

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

    E-Print Network [OSTI]

    Heinemeier, K.

    2005-01-01T23:59:59.000Z

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

  18. Plug-and-Play Architectural Design and Verification

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

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

  19. Active alignment/contact verification system

    DOE Patents [OSTI]

    Greenbaum, William M. (Modesto, CA)

    2000-01-01T23:59:59.000Z

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

  20. Measurement and Verification (M&V)

    E-Print Network [OSTI]

    Masuda, H

    2014-01-01T23:59:59.000Z

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

  1. Addressing the susceptibility of digital systems to electromagnetic interference

    SciTech Connect (OSTI)

    Ewing, P.D.; Korsah, K. [Oak Ridge National Lab., TN (US); Antonescu, C. [Nuclear Regulatory Commission, Rockville, MD (US). Office of Nuclear Regulatory Research

    1993-06-01T23:59:59.000Z

    This paper discusses the development of the technical basis for acceptance criteria applicable to the immunization of digital systems against electromagnetic interference (EMI). The work is sponsored by the US Nuclear Regulatory Commission and stems from the safety-related issues that need to be addressed as a result of the application of digital instrumentation and control systems in nuclear power plants. Designers of digital circuits are incorporating increasingly higher clock frequencies and lower logic level voltages, thereby leading to potentially greater susceptibility of spurious interference being misinterpreted as legitimate logic. Development of the technical basis for acceptance criteria to apply to these digital systems centers around establishing good engineering practices to ensure that sufficient levels of electromagnetic compatibility (EMC) are maintained between the nuclear power plant`s electronic and electromechanical systems. First, good EMC design and installation practices are needed to control the emissions from interference sources and thereby their impact on other nearby circuits and systems. Second, a verification and validation (V&V) program is needed to outline the EMI tests to be performed, the associated test methods to be followed, and adequate acceptance criteria to ensure that the circuit or system under test meets the recommended guidelines. V&V should be followed by periodic maintenance to assess whether the recommended EMI control practices continue to be adhered to as part of the routine operation of the nuclear power plant. By following these steps, the probability of encountering safety-related instrumentation susceptibility attributable to EMI will be greatly reduced.

  2. Addressing the susceptibility of digital systems to electromagnetic interference

    SciTech Connect (OSTI)

    Ewing, P.D.; Korsah, K. (Oak Ridge National Lab., TN (United States)); Antonescu, C. (Nuclear Regulatory Commission, Rockville, MD (United States). Office of Nuclear Regulatory Research)

    1993-01-01T23:59:59.000Z

    This paper discusses the development of the technical basis for acceptance criteria applicable to the immunization of digital systems against electromagnetic interference (EMI). The work is sponsored by the US Nuclear Regulatory Commission and stems from the safety-related issues that need to be addressed as a result of the application of digital instrumentation and control systems in nuclear power plants. Designers of digital circuits are incorporating increasingly higher clock frequencies and lower logic level voltages, thereby leading to potentially greater susceptibility of spurious interference being misinterpreted as legitimate logic. Development of the technical basis for acceptance criteria to apply to these digital systems centers around establishing good engineering practices to ensure that sufficient levels of electromagnetic compatibility (EMC) are maintained between the nuclear power plant's electronic and electromechanical systems. First, good EMC design and installation practices are needed to control the emissions from interference sources and thereby their impact on other nearby circuits and systems. Second, a verification and validation (V V) program is needed to outline the EMI tests to be performed, the associated test methods to be followed, and adequate acceptance criteria to ensure that the circuit or system under test meets the recommended guidelines. V V should be followed by periodic maintenance to assess whether the recommended EMI control practices continue to be adhered to as part of the routine operation of the nuclear power plant. By following these steps, the probability of encountering safety-related instrumentation susceptibility attributable to EMI will be greatly reduced.

  3. Formal Verification of SpecC Programs

    E-Print Network [OSTI]

    Saranl√Ĺ, Ulu√ß

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

  4. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

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

    2014-09-01T23:59:59.000Z

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

  5. EMERGING RENEWABLES PROGRAM SYSTEMS VERIFICATION REPORT

    E-Print Network [OSTI]

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

  6. EXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF

    E-Print Network [OSTI]

    Skogestad, Sigurd

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

  7. Hybrid Systems: From Verification to Falsification

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    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

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

  9. SAVCBS 2003 Specification and Verification of

    E-Print Network [OSTI]

    Leavens, Gary T.

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

  10. Compositional Algorithmic Verification of Software Product Lines

    E-Print Network [OSTI]

    Gurov, Dilian

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

  11. High-Resolution Fast-Neutron Spectrometry for Arms Control and Treaty Verification

    SciTech Connect (OSTI)

    David L. Chichester; James T. Johnson; Edward H. Seabury

    2012-07-01T23:59:59.000Z

    Many nondestructive nuclear analysis techniques have been developed to support the measurement needs of arms control and treaty verification, including gross photon and neutron counting, low- and high-resolution gamma spectrometry, time-correlated neutron measurements, and photon and neutron imaging. One notable measurement technique that has not been extensively studied to date for these applications is high-resolution fast-neutron spectrometry (HRFNS). Applied for arms control and treaty verification, HRFNS has the potential to serve as a complimentary measurement approach to these other techniques by providing a means to either qualitatively or quantitatively determine the composition and thickness of non-nuclear materials surrounding neutron-emitting materials. The technique uses the normally-occurring neutrons present in arms control and treaty verification objects of interest as an internal source of neutrons for performing active-interrogation transmission measurements. Most low-Z nuclei of interest for arms control and treaty verification, including 9Be, 12C, 14N, and 16O, possess fast-neutron resonance features in their absorption cross sections in the 0.5- to 5-MeV energy range. Measuring the selective removal of source neutrons over this energy range, assuming for example a fission-spectrum starting distribution, may be used to estimate the stoichiometric composition of intervening materials between the neutron source and detector. At a simpler level, determination of the emitted fast-neutron spectrum may be used for fingerprinting 'known' assemblies for later use in template-matching tests. As with photon spectrometry, automated analysis of fast-neutron spectra may be performed to support decision making and reporting systems protected behind information barriers. This paper will report recent work at Idaho National Laboratory to explore the feasibility of using HRFNS for arms control and treaty verification applications, including simulations and experiments, using fission-spectrum neutron sources to assess neutron transmission through composite low-Z attenuators.

  12. CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-22 Quality Insulation Installation (QII) -Insulation Stage Checklist (Page 1 of 3)

    E-Print Network [OSTI]

    CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-22 Quality Insulation Installation (QII) - Insulation Stage Checklist (Page 1 of 3) Site Address: Enforcement Agency: Permit Number: ____________ 2008 Residential Compliance Forms May 2012 All structural framing areas shall be insulated in a manner

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

    E-Print Network [OSTI]

    Fernandez, Thomas

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

  14. Addressing the needs of mobile users

    E-Print Network [OSTI]

    Sohn, Timothy Youngjin

    2008-01-01T23:59:59.000Z

    Based Localization Technology for Mobile Users . . . . . 3.1for designing future mobile technology. Methods There arefor ways future mobile technology might better address

  15. addresses: Topics by E-print Network

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

    equipped with a variable geometryshore vehicles. In marine diesel propulsion, the turbocharger, the engine, and the propeller operation* Corresponding author. E-mail address:...

  16. Section I. Summary of Project Activities Section I-A. 2008-2009 Project Summary

    E-Print Network [OSTI]

    Farritor, Shane

    Section I. Summary of Project Activities Section I-A. 2008-2009 Project Summary University year, we accomplished the following: · Established a dual career opportunity procedure vetted to address, communicate procedures for the new daycare facility, and to explore the potential

  17. LLNL`s partnership with selected US mines, for CTBT verification: A pictorial and some reflections

    SciTech Connect (OSTI)

    Heuze, F.E.

    1996-01-01T23:59:59.000Z

    The verification of an upcoming Comprehensive Test Ban Treaty (CTBT) will involve seismic monitoring and will provide for on-site inspections which may include drilling. Because of the fact that mining operations can send out strong seismic signals, many mining districts in the US and abroad may come under special scrutiny. The seismic signals can be generated by the use of large quantities of conventional explosives, by the collapse of underground workings, or by sudden energy release in the ground such as in rock bursts and coal bumps. These mining activities may be the cause of false alarms, but may also offer opportunities for evasive nuclear testing. So in preparing for future verification of a CTBT it becomes important to address the mining-related questions. For the United States, these are questions to be answered with respect to foreign mines. But there is a good amount of commonality in mining methods worldwide. Studies conducted at US mine sites can provide good analogs of activities that may be carried out for overseas CTBT verification, save for the expected logistical impediments.

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

    SciTech Connect (OSTI)

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

    1994-08-01T23:59:59.000Z

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

  19. KEYNOTE ADDRESS ECONOMIES IN TRANSITION: SOME ASPECTS

    E-Print Network [OSTI]

    couple of days, with my focus on transition economies and environmental management in this neighborhoodKEYNOTE ADDRESS ECONOMIES IN TRANSITION: SOME ASPECTS OF ENVIRONMENTAL POLICY Jeffrey Sachs. Tel: (617) 495-5999. Fax: (617) 495-0527. #12;2 Keynote Address Economies in Transition: Some Aspects

  20. NGSI: IAEA Verification of UF6 Cylinders

    SciTech Connect (OSTI)

    Curtis, Michael M.

    2012-06-05T23:59:59.000Z

    The International Atomic Energy Agency (IAEA) is often ignorant of the location of declared, uranium hexafluoride (UF6) cylinders following verification, because cylinders are not typically tracked onsite or off. This paper will assess various methods the IAEA uses to verify cylinder gross defects, and how the task could be ameliorated through the use of improved identification and monitoring. The assessment will be restricted to current verification methods together with one that has been applied on a trial 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.

  1. GRIMHX verification and validation action matrix summary

    SciTech Connect (OSTI)

    Trumble, E.F.

    1991-12-01T23:59:59.000Z

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

  2. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01T23:59:59.000Z

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

  3. Logic verification using recursive learning, ATPG and transformations

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Deng, Yue

    2012-07-16T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Christian Jansson

    2005-06-17T23:59:59.000Z

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

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

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

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

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

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

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

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

    Open Energy Info (EERE)

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

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

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

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

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

    E-Print Network [OSTI]

    Martin, T.; Khatami, H.

    2013-01-01T23:59:59.000Z

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

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

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

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

  12. NEMVP: North American energy measurement and verification protocol

    SciTech Connect (OSTI)

    NONE

    1996-03-01T23:59:59.000Z

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

  13. A golden anniversary for space-based treaty verification

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

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

  14. Major Address Patterns in Polish and How They Compare with Major Address Patterns in English

    E-Print Network [OSTI]

    Moszczak, Elzbieta

    1986-01-01T23:59:59.000Z

    The paper deals with some of the differences between Polish and English address patterns. It presents in table form the basic patterns of Polish pronominal and nominal address. It touches upon problems that learners of ...

  15. The Joint Owners' Group Program on MOV Periodic Verification

    SciTech Connect (OSTI)

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

    2002-07-01T23:59:59.000Z

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

  16. Verification of Probabilistic Real-time Systems Marta Kwiatkowska1

    E-Print Network [OSTI]

    Oxford, University of

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

  17. Modular Verification of Timed Circuits Using Automatic Abstraction

    E-Print Network [OSTI]

    Zheng, Hao

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

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

    E-Print Network [OSTI]

    in demonstrating the quality of safety-critical [1] systems such as nuclear power plants. We have used the VIS necessary to understand the full verification scenario accurately. Many nuclear engineers and verification and analysis, which can help nuclear engineers take full benefits of VIS without being overwhelmed

  19. History Effects and Verification Christian Skalka and Scott Smith

    E-Print Network [OSTI]

    Smith, Scott F.

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

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

    E-Print Network [OSTI]

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

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

  1. LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF

    E-Print Network [OSTI]

    Rathbun, Julie A.

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

  2. 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..................................................10 Summary and Findings for Integration of Imperceptible Structured Lighting and SIS's 3D Snapshot

  3. Power Grid Voltage Integrity Verification Department of ECE

    E-Print Network [OSTI]

    Najm, Farid N.

    Power Grid Voltage Integrity Verification Maha Nizam Department of ECE University of Toronto devgan@magma-da.com ABSTRACT Full-chip verification requires one to check if the power grid is safe, i.e., if the voltage drop on the grid does not exceed a cer- tain threshold. The traditional simulation-based solution

  4. Software Verification in the Google App-Engine Cloud

    E-Print Network [OSTI]

    Beyer, Dirk

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

  5. Optimal combination of data verification and materials accountancy

    SciTech Connect (OSTI)

    Beedgen, R.; Hafer, J.F.

    1982-01-01T23:59:59.000Z

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

  6. FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY

    E-Print Network [OSTI]

    Katz, Richard

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

  7. Core analysis workstation development and verification

    SciTech Connect (OSTI)

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

    1987-01-01T23:59:59.000Z

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

  8. PUC's New Evaluation, Measurement and Verification Framework

    E-Print Network [OSTI]

    Osterloh, P.

    2013-01-01T23:59:59.000Z

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

  9. NREL: Wind Research - Field Verification Project

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the Contributions andData andFleet Test andField Verification Project The mission of the

  10. SECTION 1 -CERTIFICATION BY AUTHORISED DEPARTMENTAL OFFICER

    E-Print Network [OSTI]

    Tobar, Michael

    SECTION 1 - CERTIFICATION BY AUTHORISED DEPARTMENTAL OFFICER Earnings Code Description Rate No Ext. Employee ID Surname Given Names Title Date of Birth (dd/mm/yy) Sex (tick one) male female Home Phone No. Postal Address (for group certificates, etc) Postcode Is an Employment Declaration Form

  11. Shared address collectives using counter mechanisms

    DOE Patents [OSTI]

    Blocksome, Michael; Dozsa, Gabor; Gooding, Thomas M; Heidelberger, Philip; Kumar, Sameer; Mamidala, Amith R; Miller, Douglas

    2014-02-18T23:59:59.000Z

    A shared address space on a compute node stores data received from a network and data to transmit to the network. The shared address space includes an application buffer that can be directly operated upon by a plurality of processes, for instance, running on different cores on the compute node. A shared counter is used for one or more of signaling arrival of the data across the plurality of processes running on the compute node, signaling completion of an operation performed by one or more of the plurality of processes, obtaining reservation slots by one or more of the plurality of processes, or combinations thereof.

  12. The Pronouns of Address of Simplicissimus

    E-Print Network [OSTI]

    Lehman, Harvey C.

    1913-06-01T23:59:59.000Z

    that the Pastor uses the third person in addressing him would be sufficient reason for Simplicius using the third person in reply* He does this in his reply on page 269, line 12, and lines 37 and 38. "Er sehe doch , so will ich ihm mit grosser Dank≠ barkeit.... The particular pronouns which we have found used in di≠ rect address in Simplicissimus are; du s thou, ihr s ye, er z he, sie z she, and sie ē they* The last three of these pronouns are of the third person and it is with these pronouns especially that we have...

  13. Address (Smart Grid Project) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 SouthWaterBrasil Jump to:Iowa ASHRAEAddis, LA) JumpAddress (Smart Grid

  14. Mapping virtual addresses to different physical addresses for value disambiguation for thread memory access requests

    DOE Patents [OSTI]

    Gala, Alan; Ohmacht, Martin

    2014-09-02T23:59:59.000Z

    A multiprocessor system includes nodes. Each node includes a data path that includes a core, a TLB, and a first level cache implementing disambiguation. The system also includes at least one second level cache and a main memory. For thread memory access requests, the core uses an address associated with an instruction format of the core. The first level cache uses an address format related to the size of the main memory plus an offset corresponding to hardware thread meta data. The second level cache uses a physical main memory address plus software thread meta data to store the memory access request. The second level cache accesses the main memory using the physical address with neither the offset nor the thread meta data after resolving speculation. In short, this system includes mapping of a virtual address to a different physical addresses for value disambiguation for different threads.

  15. Monitoring/Verification Using DMS: TATP Example

    SciTech Connect (OSTI)

    Kevin Kyle; Stephan Weeks

    2008-03-01T23:59:59.000Z

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

  16. E-Print Network 3.0 - address home address Sample Search Results

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

    different from current home address) CITY PROVSTATE POSTALZIP COUNTRY WORK PHONE HOME PHONE... Work Cell Other CURRENT ... Source: Collection: Engineering 9 New Member Renewing...

  17. Addressing Climate Change in Environmental Impact Analysis

    E-Print Network [OSTI]

    Minnesota, University of

    Addressing Climate Change in Environmental Impact Analysis 2010 CTS Research Conference Carissa ­! Environmental impact analysis methods and content ·! Next steps #12;Purpose ·! Explore the use of environmental ·! Federal and state policies govern environmental impact analysis ­!National Environmental Policy Act (NEPA

  18. Curriculum Vita of Moulinath Banerjee Work Address

    E-Print Network [OSTI]

    Banerjee, Moulinath

    Statistical Institute, Calcutta, India. B.Stat.(Honors) 1995, in First Division with Distinction. Employment. Currently employed as Associate Professor of Statistics, Columbia University, New York City. Jayanta KumarCurriculum Vita of Moulinath Banerjee Work Address University of Michigan Department of Statistics

  19. No. Course and web address Teacher email address 4201 Math Methods for Theoretical Physics sarben.sarkar@kcl.ac.uk

    E-Print Network [OSTI]

    Thompson, Samantha

    No. Course and web address Teacher email address 4201 Math Methods for Theoretical Physics sarben.sarkar

  20. Comment submitted by Traulsen regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

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

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

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

    Broader source: Energy.gov [DOE]

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

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

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

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

  6. NEUTRON MULTIPLICITY AND ACTIVE WELL NEUTRON COINCIDENCE VERIFICATION MEASUREMENTS PERFORMED FOR MARCH 2009 SEMI-ANNUAL DOE INVENTORY

    SciTech Connect (OSTI)

    Dewberry, R.; Ayers, J.; Tietze, F.; Klapper, K.

    2010-02-05T23:59:59.000Z

    The Analytical Development (AD) Section field nuclear measurement group performed six 'best available technique' verification measurements to satisfy a DOE requirement instituted for the March 2009 semi-annual inventory. The requirement of (1) yielded the need for SRNL Research Operations Department Material Control & Accountability (MC&A) group to measure the Pu content of five items and the highly enrich uranium (HEU) content of two. No 14Q-qualified measurement equipment was available to satisfy the requirement. The AD field nuclear group has routinely performed the required Confirmatory Measurements for the semi-annual inventories for fifteen years using sodium iodide and high purity germanium (HpGe) {gamma}-ray pulse height analysis nondestructive assay (NDA) instruments. With appropriate {gamma}-ray acquisition modeling, the HpGe spectrometers can be used to perform verification-type quantitative assay for Pu-isotopics and HEU content. The AD nuclear NDA group is widely experienced with this type of measurement and reports content for these species in requested process control, MC&A booking, and holdup measurements assays Site-wide. However none of the AD HpGe {gamma}-ray spectrometers have been 14Q-qualified, and the requirement of reference 1 specifically excluded a {gamma}-ray PHA measurement from those it would accept for the required verification measurements. The requirement of reference 1 was a new requirement for which the Savannah River National Laboratory (SRNL) Research Operations Department (ROD) MC&A group was unprepared. The criteria for exemption from verification were: (1) isotope content below 50 grams; (2) intrinsically tamper indicating or TID sealed items which contain a Category IV quantity of material; (3) assembled components; and (4) laboratory samples. Therefore all (SRNL) Material Balance Area (MBA) items with greater than 50 grams total Pu or greater than 50 grams HEU were subject to a verification measurement. The pass/fail criteria of reference 7 stated 'The facility will report measured values, book values, and statistical control limits for the selected items to DOE SR...', and 'The site/facility operator must develop, document, and maintain measurement methods for all nuclear material on inventory'. These new requirements exceeded SRNL's experience with prior semi-annual inventory expectations, but allowed the AD nuclear field measurement group to demonstrate its excellent adaptability and superior flexibility to respond to unpredicted expectations from the DOE customer. The requirements yielded five SRNL items subject to Pu verification and two SRNL items subject to HEU verification. These items are listed and described in Table 1.

  7. Enhancing Energy Infrastructure Resiliency and Addressing Vulnerabilities

    Broader source: Energy.gov [DOE]

    Quadrennial Energy Review Task Force Secretariat and Energy Policy and Systems Analysis Staff, U. S. Department of Energy (DOE) Public Meeting on ďEnhancing Resilience in Energy Infrastructure and Addressing VulnerabilitiesĒ On Friday, April 11, 2014, at 10 a.m. in room HVC-215 of the U.S. Capitol, the Department of Energy (DOE), acting as the Secretariat for the Quadrennial Energy Review Task Force, will hold a public meeting to discuss and receive comments on issues related to the Quadrennial Energy Review (QER). The meeting will focus on infrastructure vulnerabilities related to the electricity, natural gas and petroleum transmission, storage and distribution systems (TS&D). The meeting will consist of two facilitated panels of experts on identifying and addressing vulnerabilities within the nationís energy TS&D infrastructure. Following the panels, an opportunity will be provided for public comment via an open microphone session. The meeting will be livestreamed at energy.gov/live

  8. Property:Address | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy ResourcesLoadingPenobscot County, Maine:Plug PowerAddress Jump to: navigation, search This is a property

  9. Automated Verification of Practical Garbage Collectors

    E-Print Network [OSTI]

    Hawblitzel, Chris

    2010-01-01T23:59:59.000Z

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

  10. State of the University Address Harvey Perlman

    E-Print Network [OSTI]

    Farritor, Shane

    -section of disciplines. Through Cooperative Extension the university contributed to the wellbeing of farmers and ranchers recognition for its Robotics, GPS/GIS, and Entrepreneurship curricula. The Durham School of Architectural efficiency and safety of buildings. As a country we have more opportunities to save energy by making

  11. REQUEST FOR ALIEN INFORMATION PAYEE'S NAME, ADDRESS ABROAD, CITIZENSHIP AND IMMIGRATION INFORMATION

    E-Print Network [OSTI]

    Krovi, Venkat

    REQUEST FOR ALIEN INFORMATION PAYEE'S NAME, ADDRESS ABROAD, CITIZENSHIP AND IMMIGRATION INFORMATION BOX I am a lawful permanent resident of the United States or I hold an Alien Registration Receipt Card are a resident alien for tax purposes. Go to the "test results" section and check the "resident alien" box

  12. SciTech Connect: Verification of Allowable Stresses In ASME Section III

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administrationcontroller systemsBi (2) Sr (2) CawithMicrofluidicJournal Article: UnitarityValue

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

    E-Print Network [OSTI]

    David, Alexandre

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

  14. IT Licentiate theses Practical Verification of RealTime Systems

    E-Print Network [OSTI]

    David, Alexandre

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

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

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

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

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

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

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

  17. A Methodology for Automated Verification of Rosetta Specification Transformations

    E-Print Network [OSTI]

    Lohoefener, Jennifer Lee

    2011-04-11T23:59:59.000Z

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

  18. Process Abstraction in the Verification of Temporal Properties†

    E-Print Network [OSTI]

    Bruns, Glen R

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

  19. The Challenge for Arms Control Verification in the Post-New START World

    SciTech Connect (OSTI)

    Wuest, C R

    2012-05-24T23:59:59.000Z

    Nuclear weapon arms control treaty verification is a key aspect of any agreement between signatories to establish that the terms and conditions spelled out in the treaty are being met. Historically, arms control negotiations have focused more on the rules and protocols for reducing the numbers of warheads and delivery systems - sometimes resorting to complex and arcane procedures for counting forces - in an attempt to address perceived or real imbalances in a nation's strategic posture that could lead to instability. Verification procedures are generally defined in arms control treaties and supporting documents and tend to focus on technical means and measures designed to ensure that a country is following the terms of the treaty and that it is not liable to engage in deception or outright cheating in an attempt to circumvent the spirit and the letter of the agreement. As the Obama Administration implements the articles, terms, and conditions of the recently ratified and entered-into-force New START treaty, there are already efforts within and outside of government to move well below the specified New START levels of 1550 warheads, 700 deployed strategic delivery vehicles, and 800 deployed and nondeployed strategic launchers (Inter-Continental Ballistic Missile (ICBM) silos, Submarine-Launched Ballistic Missile (SLBM) tubes on submarines, and bombers). A number of articles and opinion pieces have appeared that advocate for significantly deeper cuts in the U.S. nuclear stockpile, with some suggesting that unilateral reductions on the part of the U.S. would help coax Russia and others to follow our lead. Papers and studies prepared for the U.S. Department of Defense and at the U.S. Air War College have also been published, suggesting that nuclear forces totaling no more than about 300 warheads would be sufficient to meet U.S. national security and deterrence needs. (Davis 2011, Schaub and Forsyth 2010) Recent articles by James M. Acton and others suggest that the prospects for maintaining U.S. security and minimizing the chances of nuclear war, while deliberately reducing stockpiles to a few hundred weapons, is possible but not without risk. While the question of the appropriate level of cuts to U.S. nuclear forces is being actively debated, a key issue continues to be whether verification procedures are strong enough to ensure that both the U.S. and Russia are fulfilling their obligations under the current New Start treaty and any future arms reduction treaties. A recent opinion piece by Henry Kissinger and Brent Scowcroft (2012) raised a number of issues with respect to governing a policy to enhance strategic stability, including: in deciding on force levels and lower numbers, verification is crucial. Particularly important is a determination of what level of uncertainty threatens the calculation of stability. At present, that level is well within the capabilities of the existing verification systems. We must be certain that projected levels maintain - and when possible, reinforce - that confidence. The strengths and weaknesses of the New START verification regime should inform and give rise to stronger regimes for future arms control agreements. These future arms control agreements will likely need to include other nuclear weapons states and so any verification regime will need to be acceptable to all parties. Currently, China is considered the most challenging party to include in any future arms control agreement and China's willingness to enter into verification regimes such as those implemented in New START may only be possible when it feels it has reached nuclear parity with the U.S. and Russia. Similarly, in keeping with its goals of reaching peer status with the U.S. and Russia, Frieman (2004) suggests that China would be more willing to accept internationally accepted and applied verification regimes rather than bilateral ones. The current verification protocols specified in the New START treaty are considered as the baseline case and are contrasted with possible alternative verification protocols that could be e

  20. TFE Verification Program. Semiannual report for the period ending March 31, 1993

    SciTech Connect (OSTI)

    Not Available

    1993-05-01T23:59:59.000Z

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

  1. ADDRESSABLE PRINTHEADS Addressable printhead structures were designed and fabricated on 3" Si wafers. Fig 1

    E-Print Network [OSTI]

    Pala, Nezih

    doping level and profile we ran simulations in Silvaco¬ģ ATHENA process simulation software. Considering for isolation Figure 1. 3D schematics of addressable printheads. #12;Figure 2 Sample output plot for Silvaco

  2. Verification and Validation of RADTRAN 5.5.

    SciTech Connect (OSTI)

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

    2005-02-01T23:59:59.000Z

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

  3. Enhanced verification test suite for physics simulation codes

    SciTech Connect (OSTI)

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

    2008-09-01T23:59:59.000Z

    This document discusses problems with which to augment, in quantity and in quality, the existing tri-laboratory suite of verification problems used by Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and Sandia National Laboratories (SNL). The purpose of verification analysis is demonstrate whether the numerical results of the discretization algorithms in physics and engineering simulation codes provide correct solutions of the corresponding continuum equations.

  4. Addressing the Crisis in Fundamental Physics

    E-Print Network [OSTI]

    Christopher W. Stubbs

    2007-12-18T23:59:59.000Z

    I present the case for fundamental physics experiments in space playing an important role in addressing the current "dark energy'' crisis. If cosmological observations continue to favor a value of the dark energy equation of state parameter w=-1, with no change over cosmic time, then we will have difficulty understanding this new fundamental physics. We will then face a very real risk of stagnation unless we detect some other experimental anomaly. The advantages of space-based experiments could prove invaluable in the search for the a more complete understanding of dark energy. This talk was delivered at the start of the Fundamental Physics Research in Space Workshop in May 2006.

  5. Dynamic address allocation protocols for Mobile ad hoc networks

    E-Print Network [OSTI]

    Patchipulusu, Praveena

    2001-01-01T23:59:59.000Z

    Address allocation is an important issue in Mobile ad hoc networks. This thesis proposes solutions to assign unique IP addresses to nodes participating in Mobile ad hoc networks and evaluates the proposed solutions. Address allocation protocols...

  6. Local Section News Tucson Section awards student

    E-Print Network [OSTI]

    Holliday, Vance T.

    in a serious and mature manner. Outstanding performance is determined by a review of the student chapter annual of its annual scholarship fundraiser program.The section raised $52,800 from more than 40 sponsors Energy and Sonoran Process Equipment. "Our scholarship sponsors know how much the industry needs mining

  7. Addressing the Voltage Fade Issue with Lithium-Manganese-Rich...

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

    Addressing the Voltage Fade Issue with Lithium-Manganese-Rich Oxide Cathode Materials Addressing the Voltage Fade Issue with Lithium-Manganese-Rich Oxide Cathode Materials 2013 DOE...

  8. DOE to Address Small Businesses Barriers in Government Contracting...

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

    to Address Small Businesses Barriers in Government Contracting at Waste Management Conference DOE to Address Small Businesses Barriers in Government Contracting at Waste Management...

  9. NERSC Organizational Changes to Better Address Evolving Data...

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

    NERSC Organizational Changes to Better Address Evolving Data Environment NERSC Implements Organizational Changes to Better Address Evolving Data Environment February 23, 2015...

  10. Protocol for Addressing Induced Seismicity Associated with Enhanced...

    Office of Environmental Management (EM)

    Protocol for Addressing Induced Seismicity Associated with Enhanced Geothermal Systems Protocol for Addressing Induced Seismicity Associated with Enhanced Geothermal Systems This...

  11. Energy Secretary Steven Chu to Address Montana Economic Development...

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

    Steven Chu to Address Montana Economic Development Summit Energy Secretary Steven Chu to Address Montana Economic Development Summit September 13, 2010 - 12:00am Addthis Washington...

  12. Recent Research to Address Technical Barriers to Increased Use...

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

    Recent Research to Address Technical Barriers to Increased Use of Biodiesel Recent Research to Address Technical Barriers to Increased Use of Biodiesel 2005 Diesel Engine Emissions...

  13. Assistant Secretary Patricia Hoffman to Deliver Keynote Address...

    Energy Savers [EERE]

    Patricia Hoffman to Deliver Keynote Address at IEEE PES Conference on Innovative Smart Grid Technologies Assistant Secretary Patricia Hoffman to Deliver Keynote Address at...

  14. ASHRAE draft regarding Smart Grid RFI: Addressing Policy and...

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

    ASHRAE draft regarding Smart Grid RFI: Addressing Policy and Logistical Challenges ASHRAE draft regarding Smart Grid RFI: Addressing Policy and Logistical Challenges The American...

  15. DOE Convenes Multi-stakeholder Process to Address Privacy for...

    Energy Savers [EERE]

    Convenes Multi-stakeholder Process to Address Privacy for Data Enabled by Smart Grid Technologies DOE Convenes Multi-stakeholder Process to Address Privacy for Data Enabled by...

  16. Progress Energy draft regarding Smart Grid RFI: Addressing Policy...

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

    Progress Energy draft regarding Smart Grid RFI: Addressing Policy and Logistical Challenges Progress Energy draft regarding Smart Grid RFI: Addressing Policy and Logistical...

  17. Okaloosa Gas District Smart Grid RFI: Addressing Policy and Logistical...

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

    Okaloosa Gas District Smart Grid RFI: Addressing Policy and Logistical Challenges to Smart Grid Implementation Okaloosa Gas District Smart Grid RFI: Addressing Policy and...

  18. Southern Company: DOE Smart Grid RFI Addressing Policy and Logistical...

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

    Southern Company: DOE Smart Grid RFI Addressing Policy and Logistical Challenges Southern Company: DOE Smart Grid RFI Addressing Policy and Logistical Challenges Southern Company:...

  19. Steffes Corporation Smart Grid RFI: Addressing Policy and Logistical...

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

    Steffes Corporation Smart Grid RFI: Addressing Policy and Logistical Challenges Steffes Corporation Smart Grid RFI: Addressing Policy and Logistical Challenges Steffes Corporation...

  20. Pepco Holdings, Inc. Smart Grid RFI: Addressing Policy and Logistical...

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

    Holdings, Inc. Smart Grid RFI: Addressing Policy and Logistical Challenges Pepco Holdings, Inc. Smart Grid RFI: Addressing Policy and Logistical Challenges Pepco Holdings, Inc....

  1. New York Independent System Operator, Smart Grid RFI: Addressing...

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

    York Independent System Operator, Smart Grid RFI: Addressing Policy and Logistical Challenges. New York Independent System Operator, Smart Grid RFI: Addressing Policy and...

  2. Natural Gas Industry Comments on Smart Grid RFI: Addressing Policy...

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

    Natural Gas Industry Comments on Smart Grid RFI: Addressing Policy and Logistical Challenges to Smart Grid Natural Gas Industry Comments on Smart Grid RFI: Addressing Policy and...

  3. Response to Request for Information titled "Addressing Policy...

    Energy Savers [EERE]

    to Request for Information titled "Addressing Policy and Logistical Challenges to Smart Grid Implementation" Response to Request for Information titled "Addressing Policy and...

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-06-12T23:59:59.000Z

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

  5. Optoelectronic switching of addressable molecular crossbar junctions

    E-Print Network [OSTI]

    J. C. Li

    2006-11-22T23:59:59.000Z

    This letter reports on the observation of optoelectronic switching in addressable molecular crossbar junctions fabricated using polymer stamp-printing method. The active medium in the junction is a molecular self-assembled monolayer softly sandwiched between gold electrodes. The molecular junctions are investigated through currentvoltage measurements at varied temperature (from 95 to 300 K) in high vacuum condition. The junctions show reversible optoelectronic switching with the highest on/off ratio of 3 orders of magnitude at 95 K. The switching behavior is independent of both optical wavelength and molecular structure, while it strongly depends on the temperature. Initial analysis indicates that the distinct binding nature of the molecule/electrode interfaces play a dominant role in the switching performance.

  6. ATHOS3 computer code verification: Volume 1, 2/3-scale test: Final report

    SciTech Connect (OSTI)

    Lee, A.Y.; Masiello, P.J.

    1988-06-01T23:59:59.000Z

    As part of an ATHOS3 code verification program as it relates to flow-induced tube vibration prediction, Westinghouse was contracted by the Steam Generator Project Office of EPRI in Project S-310-8, Part I to analyze the flow field in a Westinghouse 2/3 scale test model of the first pass of the preheat section of a Model D4 steam generator. The predicted velocities were to be compared with the test data obtained at midpoints between tube centers at tube Rows 49 (first row of tubes from feedwater entrance), 47, 45, and other locations. The tests were conducted with water at 60 psig and 100/degree/F. The tested water flow rate simulated the feedwater flow rate at full power conditions of a D4 steam generator. Analysis models in both cylindrical and Cartesian coordinates and different flow cell sizes were used in the code predictions. The measured total RMS forces on four front row tubes were also correlated with measured velocities at the four tubes. The results of the code verification with the test data are presented in this report.

  7. CTBT Integrated Verification System Evaluation Model

    SciTech Connect (OSTI)

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

    1997-10-01T23:59:59.000Z

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

  8. Measurement of electron neutrino CCQE-like cross-section in MINERvA

    E-Print Network [OSTI]

    Wolcott, Jeremy

    2015-01-01T23:59:59.000Z

    The electron-neutrino charged-current quasi-elastic (CCQE) cross-section on nuclei is an important input parameter to appearance-type neutrino oscillation experiments. Current experiments typically work from the muon neutrino cross-section and apply corrections from theoretical arguments to obtain a prediction for the electron neutrino cross-section, but to date there has been no experimental verification of the estimates for this channel at an energy scale appropriate to such experiments. We present a preliminary result from the MINERvA experiment on the first measurement of an exclusive reaction in few-GeV electron neutrino interactions, namely, the cross-section for a CCQE-like process. The result is given both as differential cross-sections vs. the electron energy, electron angle, and $Q^{2}$, as well as a total cross-section vs. neutrino energy.

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

    SciTech Connect (OSTI)

    Paul, J. N.; Chin, M. R.; Sjoden, G. E. [Nuclear and Radiological Engineering Program, George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, 770 State St, Atlanta, GA 30332-0745 (United States)

    2013-07-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Yang, Yun

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

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

    E-Print Network [OSTI]

    Li, Xin

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

  12. Software Verification and Validation Plan Activities, 2011, Project Number: N6423, SAPHIRE Version 8

    SciTech Connect (OSTI)

    Kurt G. Vedros; Curtis L. Smith

    2011-11-01T23:59:59.000Z

    The SV&V Plan experienced changes over the past year to bring it into the operational software life cycle of SAPHIRE 8 and to maintain its sections on design features. Peer review of the SVVP with the former IV&V members identified the need for the operational use of metrics as a tool for quality maintenance and improvement. New tests were added to the SVVP to verify the operation of the new design features incorporated into SAPHIRE 8. Other additions to the SVVP were the addition of software metrics and the PDR and CDR processes. Audit support was provided for the NRC Technical Manager and Project Manager for the NRC OIG Audit performed throughout 2011. The SVVP is considered to be an up to date reference and useful roadmap of verification and validation activities going forward.

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

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

    E-Print Network [OSTI]

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

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

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

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

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

    Broader source: Energy.gov [DOE]

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

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

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

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

    Broader source: Energy.gov [DOE]

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

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

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

    Broader source: Energy.gov [DOE]

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

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

    SciTech Connect (OSTI)

    E.N. Bailey

    2010-05-26T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    E.M. Harpenau

    2010-11-15T23:59:59.000Z

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

  7. Verification and validation of RADMODL Version 1.0

    SciTech Connect (OSTI)

    Kimball, K.D.

    1993-03-01T23:59:59.000Z

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

  8. A Zero Knowledge Protocol For Nuclear Warhead Verification

    SciTech Connect (OSTI)

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

    2014-03-14T23:59:59.000Z

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

  9. Bibliography for Verification and Validation in Computational Simulations

    SciTech Connect (OSTI)

    Oberkampf, W.L.

    1998-10-01T23:59:59.000Z

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

  10. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

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

  11. Programmatic methods for addressing contaminated volume uncertainties

    SciTech Connect (OSTI)

    Rieman, C.R.; Spector, H.L. [U.S. Army Corps of Engineers Buffalo District, Buffalo, NY (United States); Durham, L.A.; Johnson, R.L. [Argonne National Laboratory, Environmental Science Div., IL (United States)

    2007-07-01T23:59:59.000Z

    Accurate estimates of the volumes of contaminated soils or sediments are critical to effective program planning and to successfully designing and implementing remedial actions. Unfortunately, data available to support the pre-remedial design are often sparse and insufficient for accurately estimating contaminated soil volumes, resulting in significant uncertainty associated with these volume estimates. The uncertainty in the soil volume estimates significantly contributes to the uncertainty in the overall project cost estimates, especially since excavation and off-site disposal are the primary cost items in soil remedial action projects. The U.S. Army Corps of Engineers Buffalo District's experience has been that historical contaminated soil volume estimates developed under the Formerly Utilized Sites Remedial Action Program (FUSRAP) often underestimated the actual volume of subsurface contaminated soils requiring excavation during the course of a remedial activity. In response, the Buffalo District has adopted a variety of programmatic methods for addressing contaminated volume uncertainties. These include developing final status survey protocols prior to remedial design, explicitly estimating the uncertainty associated with volume estimates, investing in pre-design data collection to reduce volume uncertainties, and incorporating dynamic work strategies and real-time analytics in pre-design characterization and remediation activities. This paper describes some of these experiences in greater detail, drawing from the knowledge gained at Ashland 1, Ashland 2, Linde, and Rattlesnake Creek. In the case of Rattlesnake Creek, these approaches provided the Buffalo District with an accurate pre-design contaminated volume estimate and resulted in one of the first successful FUSRAP fixed-price remediation contracts for the Buffalo District. (authors)

  12. Name: ) Section: ' PID:

    E-Print Network [OSTI]

    MATH 173 ' Quiz 4 Thursday Sep. 23. Name: ) Section: ' PID: Solve the problem systematically and neatly and show all your work. 1.(3pts) Find the length of the†...

  13. Building, landscape and section

    E-Print Network [OSTI]

    Johnson, Daniel B. (Daniel Bryant)

    1992-01-01T23:59:59.000Z

    All buildings have in their section a relationship to the landscape on which they are sited. Therefore we as inhabitants of these buildings may or may not have a relationship with the landscape. It is the supposition of ...

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

    E-Print Network [OSTI]

    Leino, K. Rustan M.

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

  15. Verification for measurement-only blind quantum computing

    E-Print Network [OSTI]

    Tomoyuki Morimae

    2014-06-19T23:59:59.000Z

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

  16. Supporting the President's Arms Control and Nonproliferation Agenda: Transparency and Verification for Nuclear Arms Reductions

    SciTech Connect (OSTI)

    Doyle, James E [Los Alamos National Laboratory; Meek, Elizabeth [Los Alamos National Laboratory

    2009-01-01T23:59:59.000Z

    The President's arms control and nonproliferation agenda is still evolving and the details of initiatives supporting it remain undefined. This means that DOE, NNSA, NA-20, NA-24 and the national laboratories can help define the agenda, and the policies and the initiatives to support it. This will require effective internal and interagency coordination. The arms control and nonproliferation agenda is broad and includes the path-breaking goal of creating conditions for the elimination of nuclear weapons. Responsibility for various elements of the agenda will be widely scattered across the interagency. Therefore an interagency mapping exercise should be performed to identify the key points of engagement within NNSA and other agencies for creating effective policy coordination mechanisms. These can include informal networks, working groups, coordinating committees, interagency task forces, etc. It will be important for NA-20 and NA-24 to get a seat at the table and a functional role in many of these coordinating bodies. The arms control and nonproliferation agenda comprises both mature and developing policy initiatives. The more mature elements such as CTBT ratification and a follow-on strategic nuclear arms treaty with Russia have defined milestones. However, recent press reports indicate that even the START follow-on strategic arms pact that is planned to be complete by the end of 2009 may take significantly longer and be more expansive in scope. The Russians called for proposals to count non-deployed as well as deployed warheads. Other elements of the agenda such as FMCT, future bilateral nuclear arms reductions following a START follow-on treaty, nuclear posture changes, preparations for an international nuclear security summit, strengthened international safeguards and multilateral verification are in much earlier stages of development. For this reason any survey of arms control capabilities within the USG should be structured to address potential needs across the near-term (1-4) years and longer-term (5-10) years planning horizons. Some final observations include acknowledging the enduring nature of several key objectives on the Obama Administration's arms control and nonproliferation agenda. The CTBT, FMCT, bilateral nuclear arms reductions and strengthening the NPT have been sought by successive U.S. Administrations for nearly thirty years. Efforts towards negotiated arms control, although de-emphasized by the G.W. Bush Administration, have remained a pillar of U.S. national security strategy for decades and are likely to be of enduring if not increasing importance for decades to come. Therefore revitalization and expansion of USG capabilities in this area can be a positive legacy no matter what near-term arms control goals are achieved over the next four years. This is why it is important to reconstruct integrated bureaucratic, legislative, budgetary and diplomatic strategies to sustain the arms control and nonproliferation agenda. In this endeavor some past lessons must be taken to heart to avoid bureaucratic overkill and keep interagency policy-making and implementation structures lean and effective. On the Technical side a serious, sustained multilateral program to develop, down select and performance test nuclear weapons dismantlement verification technologies and procedures should be immediately initiated. In order to make this happen the United States and Russia should join with the UK and other interested states in creating a sustained, full-scale research and development program for verification at their respective nuc1ear weapons and defense establishments. The goals include development of effective technologies and procedures for: (1) Attribute measurement systems to certify nuclear warheads and military fissile materials; (2) Chain-of-custody methods to track items after they are authenticated and enter accountability; (3) Transportation monitoring; (4) Storage monitoring; (5) Fissile materials conversion verification. The remainder of this paper focuses on transparency and verification for nuclear arms a

  17. MACCS2 development and verification efforts

    SciTech Connect (OSTI)

    Young, M.; Chanin, D.

    1997-03-01T23:59:59.000Z

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

  18. Developing a monitoring and verification plan with reference to the Australian Otway CO2 pilot project

    SciTech Connect (OSTI)

    Dodds, K.; Daley, T.; Freifeld, B.; Urosevic, M.; Kepic, A.; Sharma, S.

    2009-05-01T23:59:59.000Z

    The Australian Cooperative Research Centre for Greenhouse Gas Technologies (CO2CRC) is currently injecting 100,000 tons of CO{sub 2} in a large-scale test of storage technology in a pilot project in southeastern Australia called the CO2CRC Otway Project. The Otway Basin, with its natural CO{sub 2} accumulations and many depleted gas fields, offers an appropriate site for such a pilot project. An 80% CO{sub 2} stream is produced from a well (Buttress) near the depleted gas reservoir (Naylor) used for storage (Figure 1). The goal of this project is to demonstrate that CO{sub 2} can be safely transported, stored underground, and its behavior tracked and monitored. The monitoring and verification framework has been developed to monitor for the presence and behavior of CO{sub 2} in the subsurface reservoir, near surface, and atmosphere. This monitoring framework addresses areas, identified by a rigorous risk assessment, to verify conformance to clearly identifiable performance criteria. These criteria have been agreed with the regulatory authorities to manage the project through all phases addressing responsibilities, liabilities, and to assure the public of safe storage.

  19. (Business/Store Name) (Business/Store Address)

    E-Print Network [OSTI]

    Maroncelli, Mark

    (Business/Store Name) (Business/Store Address) (City) (State) (Zip Code) (Business/Store Phone Number) (Business/Store Fax Number) (Business Description) (Business/Store Primary Contact) (Primary Contact E-mail address) (Business/Store Secondary Contact) (Secondary Contact E-mail Address) (Business

  20. Section I: Contract Clause

    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:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICESII SECTION

  1. Precise Dynamic Verification of Noninterference Gurvan Le Guernic

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  2. A STROKE BASED ALGORITHM FOR DYNAMIC SIGNATURE VERIFICATION

    E-Print Network [OSTI]

    Adler, Andy

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

  3. Exploring Reliability for Automatic Identity Verification with Statistical Shape Models

    E-Print Network [OSTI]

    Frangi, Alejandro

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

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

    SciTech Connect (OSTI)

    H. M. Sulloway

    2008-10-02T23:59:59.000Z

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

  5. Contracts for Model Execution Verification Eric Cariou1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  6. Getting Out of the Way Safety Verification without Compromise

    E-Print Network [OSTI]

    Sivilotti, Paul

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

  7. STATE OF CALIFORNIA LOW LEAKAGE AIR HANDLER VERIFICATION

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Miller, Barton P.

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

  11. 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

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

  12. Automated Verification of Practical Garbage Collectors Chris Hawblitzel

    E-Print Network [OSTI]

    Petrank, Erez

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

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

    E-Print Network [OSTI]

    De Giacomo, Giuseppe

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

  14. Neptunium flow-sheet verification at reprocessing plants

    SciTech Connect (OSTI)

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

    2007-07-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Fast Verification of Wind Turbine Power Curves: Summary of Project Results by: Cameron Brown ¬≠ s equation on high frequency wind turbine measurement data sampled at one sample per second or more. The aim's Nordtank wind turbine at the Ris√ł site, the practical application of this new method was tested

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

  17. Combining Tools for the Verification of FaultTolerant Systems

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

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

  18. 2012 -2013 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID

    E-Print Network [OSTI]

    Nelson, Tim

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

  19. 2013 -2014 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID

    E-Print Network [OSTI]

    Nelson, Tim

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

  20. Parameterized Specification and Verification of PLC Systems in Coq

    E-Print Network [OSTI]

    Boyer, Edmond

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

  1. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  2. Venus: Verification for Untrusted Cloud Storage Alexander Shraer

    E-Print Network [OSTI]

    Keidar, Idit

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

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

    E-Print Network [OSTI]

    Jawitz, James W.

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

  4. FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY

    E-Print Network [OSTI]

    Katz, Richard

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

  5. FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY

    E-Print Network [OSTI]

    Katz, Richard

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

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

    SciTech Connect (OSTI)

    Goldmann, L.H.

    1997-11-10T23:59:59.000Z

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

  7. Introduction Introduction Section 1

    E-Print Network [OSTI]

    of many people. These people share a love for the Deschutes, though they value the river in many different. The voices of many of people throughout the Deschutes subbasin were heard during the subbasin planningIntroduction Introduction Section 1 Now as in the past, The Deschutes River binds the people

  8. POLICY SECTIONS POLICY OFFICE

    E-Print Network [OSTI]

    Minnesota, University of

    POLICY SECTIONS POLICY OFFICE POLICIES FORMS PROCEDURES UNIVERSITY POLICY #12;guide to WRITING POLICIES Administrative policies align opera- tions, set behavior expectations across the University system and communicate policy roles and responsibilities. You, as the policy owner or writer, have the important task

  9. Guide to verification and validation of the SCALE-4 criticality safety software

    SciTech Connect (OSTI)

    Emmett, M.B.; Jordan, W.C.

    1996-12-01T23:59:59.000Z

    Whenever a decision is made to newly install the SCALE nuclear criticality safety software on a computer system, the user should run a set of verification and validation (V&V) test cases to demonstrate that the software is properly installed and functioning correctly. This report is intended to serve as a guide for this V&V in that it specifies test cases to run and gives expected results. The report describes the V&V that has been performed for the nuclear criticality safety software in a version of SCALE-4. The verification problems specified by the code developers have been run, and the results compare favorably with those in the SCALE 4.2 baseline. The results reported in this document are from the SCALE 4.2P version which was run on an IBM RS/6000 workstation. These results verify that the SCALE-4 nuclear criticality safety software has been correctly installed and is functioning properly. A validation has been performed for KENO V.a utilizing the CSAS25 criticality sequence and the SCALE 27-group cross-section library for {sup 233}U, {sup 235}U, and {sup 239}Pu fissile, systems in a broad range of geometries and fissile fuel forms. The experimental models used for the validation were taken from three previous validations of KENO V.a. A statistical analysis of the calculated results was used to determine the average calculational bias and a subcritical k{sub eff} criteria for each class of systems validated. Included the statistical analysis is a means of estimating the margin of subcriticality in k{sub eff}. This validation demonstrates that KENO V.a and the 27-group library may be used for nuclear criticality safety computations provided the system being analyzed falls within the range of the experiments used in the validation.

  10. Finance President's Council Section Page 6 Motion: 199610.30

    E-Print Network [OSTI]

    Bolch, Tobias

    Finance President's Council Section Page 6 Motion: 199610.30 UNIVERSITY OF NORTHERN BRITISH by the Finance Department. 1. Cheque Requisition Procedure Complete the Cheque Requisition form in full as indicated (form available from the Finance department). This includes the name of the payee, address, amount

  11. 2004 HYDROLOGY SECTION AWARD CITATION OF YORAM RUBIN

    E-Print Network [OSTI]

    Rubin, Yoram

    2004 HYDROLOGY SECTION AWARD CITATION OF YORAM RUBIN Yoram Rubin, Professor of Civil hydrology. Starting from 1987, Yoram has published a considerable body of important articles, primarily works have always addressed central problems of hydrologic modeling, on both fundamental and applied

  12. Addressing Biomass Supply Chain Challenges With AFEXô Technology

    Broader source: Energy.gov [DOE]

    Plenary IV: Advances in Bioenergy FeedstocksóFrom Field to Fuel Addressing Biomass Supply Chain Challenges With AFEXô Technology Allen Julian, Chief Business Officer, MBI

  13. Addressing the Voltage Fade Issue with Lithium-Manganese-Rich...

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

    Voltage Fade Issue with Lithium-Manganese-Rich Oxide Cathode Materials Addressing the Voltage Fade Issue with Lithium-Manganese-Rich Oxide Cathode Materials 2012 DOE Hydrogen and...

  14. Policy Agenda for Addressing Climate Change in Bangladesh: Copenhagen...

    Open Energy Info (EERE)

    and Beyond Jump to: navigation, search Name Policy Agenda for Addressing Climate Change in Bangladesh: Copenhagen and Beyond AgencyCompany Organization United Nations Environment...

  15. Energy Department Addresses Largest Gathering of Geothermal Energy...

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

    Resources Council (GRC) in Reno, Nevada-the industry's largest annual gathering of geothermal energy stakeholders in the nation. In his keynote address, Hollett discussed...

  16. Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________

    E-Print Network [OSTI]

    de Lijser, Peter

    and Economics on the ASI Board of Directors FY 13-14 Cell Phone: ( )_______-_________ Email Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________ Student ID

  17. Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________

    E-Print Network [OSTI]

    de Lijser, Peter

    Science and Mathematics on the ASI Board of Directors Cell Phone: ( )_______-_________ Email Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________ Student ID

  18. Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________

    E-Print Network [OSTI]

    de Lijser, Peter

    of Communications on the ASI Board of Directors Cell Phone: ( )_______-_________ Email Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________ Student ID

  19. Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________

    E-Print Network [OSTI]

    de Lijser, Peter

    of Education on the ASI Board of Directors Cell Phone: ( )_______-_________ Email Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________ Student ID

  20. Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________

    E-Print Network [OSTI]

    de Lijser, Peter

    Science Mathematics on the ASI Board of Directors FY 13-14 Cell Phone: ( )_______-_________ Email Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________ Student ID

  1. Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________

    E-Print Network [OSTI]

    de Lijser, Peter

    on the ASI Board of Directors FY 13-14 Cell Phone: ( )_______-_________ Email Address:_________________________________________________City:______________________Zip:__________ Home Phone: ( )_______-_________ Work Phone: ( )_______-_________ Student ID

  2. NAP Coalition Response to DOE RFI: Addressing Policy and Logistical...

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

    Challenges Reply Comments by the National Association of State Utility Consumer Advocates City Utilities of Springfield Missouri Comments on Smart Grid RFI: Addressing Policy and...

  3. address operational issues: Topics by E-print Network

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

    a silicon-based SET, conditional on its spin state, and then detecting this change electrically. The optical frequency addressing in high spectral resolution conquers the thermal...

  4. Recent Research to Address Technical Barriers to Increased Use...

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

    Research to Address Technical Barriers to Increased Use of Biodiesel Wendy Clark & Bob McCormick National Renewable Energy Laboratory Golden, Colorado August 23, 2005 What is...

  5. Smart Grid RFI: Addressing Policy and Logistical Challenges,...

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

    Challenges, Comments from the Edison Electric Institute Smart Grid RFI: Addressing Policy and Logistical Challenges, Comments from the Edison Electric Institute The Edison Electric...

  6. Addressing Policy and Logistical Challenges to smart grid Implementati...

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

    smart grid Implementation: eMeter Response to Department of Energy RFI Addressing Policy and Logistical Challenges to smart grid Implementation: eMeter Response to Department of...

  7. Smart Grid RFI: Addressing Policy and Logistical Challenges....

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

    Challenges. Comments of the Alliance to Save Energy. Smart Grid RFI: Addressing Policy and Logistical Challenges. Comments of the Alliance to Save Energy. The Alliance to Save...

  8. Addressing Policy and Logistical Challenges to Smart Grid Implementati...

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

    Smart Grid Implementation: Federal Register Notice Volume 75, No. 180 - Sep. 17, 2010 Addressing Policy and Logistical Challenges to Smart Grid Implementation: Federal Register...

  9. Addressing Policy and Logistical Challenges to Smart Grid Implementati...

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

    Smart Grid Implementation: Comments by the Office of the Ohio Consumers' Counsel Addressing Policy and Logistical Challenges to Smart Grid Implementation: Comments by the Office of...

  10. Africa - Technical Potential of Solar Energy to Address Energy...

    Open Energy Info (EERE)

    Africa - Technical Potential of Solar Energy to Address Energy Poverty and Avoid GHG Emissions Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Technical Potential of...

  11. Addressing Energy Demand through Demand Response: International Experiences and Practices

    E-Print Network [OSTI]

    Shen, Bo

    2013-01-01T23:59:59.000Z

    Addressing Energy Demand through Demand Response:both the avoided energy costs (and demand charges) as wellCoordination of Energy Efficiency and Demand Response,

  12. Moving North Texas Forward by Addressing Alternative Fuel Barriers...

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

    MOVING NORTH TEXAS FORWARD BY ADDRESSING ALTERANATIVE FUEL BARRIERS Presenter: Pamela Burns North Central Texas Council of Governments June 20, 2014 P.I. Mindy Mize Project ID...

  13. Experimental device-independent verification of quantum steering

    E-Print Network [OSTI]

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

    2014-08-07T23:59:59.000Z

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

  14. Specification and Verification of Context-dependent Services

    E-Print Network [OSTI]

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

    2011-01-01T23:59:59.000Z

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

  15. Math 550 (Section 1) University of South Carolina D. Meade Spring 1997

    E-Print Network [OSTI]

    Meade, Douglas B.

    Math 550 (Section 1) University of South Carolina D. Meade Spring 1997 Day One Questionnaire -- Math 550 (Spring 1997) ffl Personal Information Name Phone Number E­mail Address Major Year ffl

  16. Verification and Uncertainty Reduction of Amchitka Underground Nuclear Testing Models

    SciTech Connect (OSTI)

    Ahmed Hassan; Jenny Chapman

    2006-02-01T23:59:59.000Z

    The modeling of Amchitka underground nuclear tests conducted in 2002 is verified and uncertainty in model input parameters, as well as predictions, has been reduced using newly collected data obtained by the summer 2004 field expedition of CRESP. Newly collected data that pertain to the groundwater model include magnetotelluric (MT) surveys conducted on the island to determine the subsurface salinity and porosity structure of the subsurface, and bathymetric surveys to determine the bathymetric maps of the areas offshore from the Long Shot and Cannikin Sites. Analysis and interpretation of the MT data yielded information on the location of the transition zone, and porosity profiles showing porosity values decaying with depth. These new data sets are used to verify the original model in terms of model parameters, model structure, and model output verification. In addition, by using the new data along with the existing data (chemistry and head data), the uncertainty in model input and output is decreased by conditioning on all the available data. A Markov Chain Monte Carlo (MCMC) approach is adapted for developing new input parameter distributions conditioned on prior knowledge and new data. The MCMC approach is a form of Bayesian conditioning that is constructed in such a way that it produces samples of the model parameters that eventually converge to a stationary posterior distribution. The Bayesian MCMC approach enhances probabilistic assessment. Instead of simply propagating uncertainty forward from input parameters into model predictions (i.e., traditional Monte Carlo approach), MCMC propagates uncertainty backward from data onto parameters, and then forward from parameters into predictions. Comparisons between new data and the original model, and conditioning on all available data using MCMC method, yield the following results and conclusions: (1) Model structure is verified at Long Shot and Cannikin where the high-resolution bathymetric data collected by CRESP yield profiles matching those used to construct the Long Shot and Cannikin model cross sections in 2002. (2) Distributions of model input parameters (recharge, conductivity, and recharge-conductivity ratio) used in 2002 for the three sites are verified where the new data indicate distributions with narrower ranges (smaller uncertainty) but within the range employed in the 2002 model. (3) As a conservative approach, distribution of fracture porosity used in 2002 was deliberately skewed toward lower values. New CRESP data indicate that the selected porosity range was overly conservative. In addition, the range of porosity values obtained from the analysis of the MT data is found to generally be about three orders of magnitude lower than range of values used in the 2002 model, though the values themselves are much larger from the MT data. (4) Distributions of the flow model output (head distribution, salinity distribution, groundwater fluxes) resulting from the 2002 model for the three sites are verified where the new model output after conditioning on the data lie within the range of the 2002 model output. (5) Cannikin model output at location of well UAe-1 is not fully verified where the new model results for small salinity values are not fully enclosed by the uncertainty bounds of the original model output. (6) With the new porosities developed from the analysis of MT data, radionuclides require thousands of years to reach the seafloor. No breakthrough resulted for any of the three sites within the 2000 year model timeframe, despite ignoring all retardation mechanisms (sorption, radionuclide trapping in glass, matrix diffusion, and radioactive decay). (7) The no-breakthrough results verify the original model in the sense that this result lies within the uncertainty bounds of the 2002 model expressed as + 2 {sigma}{sub Q} and - 2 {sigma}{sub Q}. The lower bound, - 2 {sigma}{sub Q}, in the 2002 model gave negative values implying that the bound is essentially zero. The current results of no-breakthrough match this lower bound. (8) Si

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

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

    E-Print Network [OSTI]

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

    2010-02-08T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    M. J. Appel

    2006-08-10T23:59:59.000Z

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

  20. Code Verification of the HIGRAD Computational Fluid Dynamics Solver

    SciTech Connect (OSTI)

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

    2012-05-04T23:59:59.000Z

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

  1. Cost Effective Measurement and Verification at Fairchild AFB

    E-Print Network [OSTI]

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

    2003-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

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

  3. AHAM DOE Verification Test Agreement | Department of Energy

    Energy Savers [EERE]

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

  4. AHAM Letter Acknowledging DOE Letter on Verification Program | Department

    Energy Savers [EERE]

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

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

    SciTech Connect (OSTI)

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

    2013-03-01T23:59:59.000Z

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

  6. Section D - G

    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:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICES ANDPART

  7. Verification and Validation Strategy for LWRS Tools

    SciTech Connect (OSTI)

    Carl M. Stoots; Richard R. Schultz; Hans D. Gougar; Thomas K Larson; Michael Corradini; Laura Swiler; David Pointer; Jess Gehin

    2012-09-01T23:59:59.000Z

    One intension of the Department of Energy (DOE) Light Water Reactor Sustainability (LWRS) program is to create advanced computational tools for safety assessment that enable more accurate representation of a nuclear power plant safety margin. These tools are to be used to study the unique issues posed by lifetime extension and relicensing of the existing operating fleet of nuclear power plants well beyond their first license extension period. The extent to which new computational models / codes such as RELAP-7 can be used for reactor licensing / relicensing activities depends mainly upon the thoroughness with which they have been verified and validated (V&V). This document outlines the LWRS program strategy by which RELAP-7 code V&V planning is to be accomplished. From the perspective of developing and applying thermal-hydraulic and reactivity-specific models to reactor systems, the US Nuclear Regulatory Commission (NRC) Regulatory Guide 1.203 gives key guidance to numeric model developers and those tasked with the validation of numeric models. By creating Regulatory Guide 1.203 the NRC defined a framework for development, assessment, and approval of transient and accident analysis methods. As a result, this methodology is very relevant and is recommended as the path forward for RELAP-7 V&V. However, the unique issues posed by lifetime extension will require considerations in addition to those addressed in Regulatory Guide 1.203. Some of these include prioritization of which plants / designs should be studied first, coupling modern supporting experiments to the stringent needs of new high fidelity models / codes, and scaling of aging effects.

  8. Verification of sub-grid filtered drag models for gas-particle fluidized beds with immersed cylinder arrays

    SciTech Connect (OSTI)

    Sarkar, Avik; Sun, Xin; Sundaresan, Sankaran

    2014-03-01T23:59:59.000Z

    The accuracy of coarse-grid multiphase CFD simulations of fluidized beds may be improved via the inclusion of filtered constitutive models. In our previous study (Sarkar et al., Chem. Eng. Sci., 104, 399-412), we developed such a set of filtered drag relationships for beds with immersed arrays of cooling tubes. Verification of these filtered drag models is addressed in this work. Predictions from coarse-grid simulations with the sub-grid filtered corrections are compared against accurate, highly-resolved simulations of full-scale turbulent and bubbling fluidized beds. The filtered drag models offer a computationally efficient yet accurate alternative for obtaining macroscopic predictions, but the spatial resolution of meso-scale clustering heterogeneities is sacrificed.

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

    SciTech Connect (OSTI)

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

    2009-10-22T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    George L Mesina; David Aumiller; Francis Buschman

    2014-07-01T23:59:59.000Z

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

  11. Synonymous Address Compaction for Energy Reduction in Data TLB

    E-Print Network [OSTI]

    Lee, Hsien-Hsin "Sean"

    Synonymous Address Compaction for Energy Reduction in Data TLB Chinnakrishnan S. Ballapuram chinnak and Computer Engineering College of Computing Georgia Institute of Technology, Atlanta, GA 30332 ABSTRACT-cycle compaction of address translation requests in order to save energy in the data TLB. Our results show

  12. Scalable Address Allocation Protocol for Mobile Ad Hoc Networks

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Scalable Address Allocation Protocol for Mobile Ad Hoc Networks Yu Chen Google, UK chenyu in ad hoc networks. In our protocol, each node that has been assigned an address manages a disjoint of node's degree, regardless of the network size. I. INTRODUCTION A wireless mobile ad hoc network

  13. Keynote Address National Seminar on Alternative Energy Sources

    E-Print Network [OSTI]

    Banerjee, Rangan

    Keynote Address National Seminar on Alternative Energy Sources Prof. Rangan Banerjee Energy Systems that there is a real need for alternative energy sources. What do we understand by Alternative Energy Sources? In order Consumption 1997-98 Keynote address at Two days National Seminar on Alternative Energy Sources, 27-28 Aug

  14. Address for applications only: International School for Graduate Studies

    E-Print Network [OSTI]

    Pinnau, René

    of Birth Place of Birth Citizenship Male Female dd/mm/yy 3 CORRESPONDENCE ADDRESS (Address to which/ attested certificates and documents and officially certified/ attested German or English translations! Please do not send the originals of the Certificates! 5.1 School Education What is the highest level

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

    SciTech Connect (OSTI)

    Lewis, M.G.

    2003-08-21T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Mike Lewis

    2003-08-01T23:59:59.000Z

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

  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. INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT

    SciTech Connect (OSTI)

    W.C. Adams

    2010-05-24T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-02-10T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-07-21T23:59:59.000Z

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

  1. ADDRESS: STATE: ZIP: Please complete the appropriate section of this form along with your check made payable to UC Regents.

    E-Print Network [OSTI]

    Thomases, Becca

    @ucdavis.edu or telephone: (530) 752-5182 No tickets will be sent. You will receive a reminder via e-mail prior to the event

  2. Addressing challenges to sustainable development with innovative energy

    E-Print Network [OSTI]

    reforms could potentially transform developing country energy markets into favorable theaters for energy opportunities for achieving large energy savings in new and existing residential and commercial buildings; (2Addressing challenges to sustainable development with innovative energy technologies

  3. United Indigenous Voices Address Sustainability: Climate Change and Traditional Places

    Broader source: Energy.gov [DOE]

    At the First Stewards Symposium, over 300 industry and policy leaders from around the nation will discuss four main themes generated from the 2012 First Stewards Symposium that address issues...

  4. Y-12 Lease Summary Address* (Description) Square Footage Lease...

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

    Y-12 Lease Summary Address* (Description) Square Footage Lease Term Expiration Date Onsite Leases 602 Scarboro Rd (New Hope Center) 137,758 square feet Five years 05042012 301...

  5. RadixVM: Scalable address spaces for multithreaded applications

    E-Print Network [OSTI]

    Clements, Austin T.

    RadixVM is a new virtual memory system design that enables fully concurrent operations on shared address spaces for multithreaded processes on cache-coherent multicore computers. Today, most operating systems serialize ...

  6. Phi Beta Kappa Initiation Address Wednesday June 4, 2014

    E-Print Network [OSTI]

    California at Santa Cruz, University of

    Phi Beta Kappa Initiation Address Wednesday June 4, 2014 Good of the College of William and Mary (where, I understand, Phi Beta Kappa was founded), and also a Phi Beta Kappa member. So I got some insider information

  7. The State of the Ames Laboratory Address 2011

    ScienceCinema (OSTI)

    King, Alex

    2013-03-01T23:59:59.000Z

    Alex King, director of The Ames Laboratory, discusses the budget situation, improvements at Ames Lab and infrastructure improvements during the State of the Lab address on Tuesday, May 24, 2011.

  8. Keynote Address: Cristin Dorgelo, White House Office of Science...

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

    Cristin Dorgelo, White House Office of Science and Technology Policy Keynote Address: Cristin Dorgelo, White House Office of Science and Technology Policy May 21, 2014 2:20PM to...

  9. Keynote Address: Ali Zaidi, the White House Domestic Policy Council...

    Energy Savers [EERE]

    Ali Zaidi, the White House Domestic Policy Council Keynote Address: Ali Zaidi, the White House Domestic Policy Council May 21, 2014 2:05PM to 2:30PM PDT Pacific Ballroom Keynote...

  10. The State of the Ames Laboratory Address 2011

    SciTech Connect (OSTI)

    King, Alex

    2011-01-01T23:59:59.000Z

    Alex King, director of The Ames Laboratory, discusses the budget situation, improvements at Ames Lab and infrastructure improvements during the State of the Lab address on Tuesday, May 24, 2011.

  11. addressing health literacy: Topics by E-print Network

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

    Index 1 INCREASING K-12 HEALTH EDUCATION TO IMPROVE HEALTH LITERACY Addressing a National Health Care Problem by Exploring a Root Cause for Health Illiteracy CiteSeer Summary:...

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

    E-Print Network [OSTI]

    Yang, Guizhen

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

  13. SECTION 41 Table of Contents 41 San Poil Subbasin Inventory of Existing Programs Terrestrial ..............2

    E-Print Network [OSTI]

    41-1 SECTION 41 ­ Table of Contents 41 San Poil Subbasin Inventory of Existing Programs in management of fish and wildlife or their habitats is included in section 2.4.1, along with a description of these address urban planning/land use. #12;41-3 Okanogan County Codes Ten codes or parts of codes may affect

  14. Macroscopic cross section generation and application for coupled spatial kinetics and thermal hydraulics analysis with SAS-DIF3DK

    SciTech Connect (OSTI)

    Turski, R.B.; Morris, E.E.; Taiwo, T.A.; Cahalan, J.E.

    1997-08-01T23:59:59.000Z

    This paper discusses the importance of modeling the transient behavior of multigroup cross sections in the context of coupled reactor physics and thermal-hydraulic computations with the SAS-DIF3DK computer code. The MACOEF macroscopic cross section methodology is presented. Results from benchmark verification calculations with a continuous-energy Monte Carlo are reported. Analysis of the Chernobyl accident is made using correlated WIMS-D4M generated group constants with special emphasis placed on the impact of modeling assumptions on the progression of the accident simulation.

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

    SciTech Connect (OSTI)

    Richard Metcalf; Robert Bean

    2009-10-01T23:59:59.000Z

    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.

  16. DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION

    SciTech Connect (OSTI)

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

    2009-10-06T23:59:59.000Z

    International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the 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.

  17. A Runtime Verification Framework for Control System Simulation

    SciTech Connect (OSTI)

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

    2014-08-02T23:59:59.000Z

    n a standard workflow for the validation of a control system, the control system is implemented as an extension to a simulator. Such simulators are complex software systems, and engineers may unknowingly violate constraints a simulator places on extensions. As such, errors may be introduced in the implementation of either the control system or the simulator leading to invalid simulation results. This paper presents a novel runtime verification approach for verifying control system implementations within simulators. The major contribution of the approach is the two-tier specification process. In the first tier, engineers model constraints using a domain-specific language tailored to modeling a 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.

  18. Verification of hourly forecasts of wind turbine power output

    SciTech Connect (OSTI)

    Wegley, H.L.

    1984-08-01T23:59:59.000Z

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

  19. VERIFICATION TESTING AND DESIGN PROCEDURE FOR FRP GRID REINFORCED CONCRETE SLABS

    E-Print Network [OSTI]

    Bank, Lawrence C.

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

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

    E-Print Network [OSTI]

    Ulm, Universität

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

  1. Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Heller, Eric

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

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

    E-Print Network [OSTI]

    Guidelines for Participation in the ETV ESTE Verification Test of Lead Paint Test Kits Revised 09/24/2009 The following guidelines have been set to establish the eligibility of individual test kits for participation in the ETV ESTE verification test of lead paint test kits. Test kits must conform to the following guidelines

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

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

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

    E-Print Network [OSTI]

    Ross, Arun Abraham

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

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

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

    E-Print Network [OSTI]

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

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

  11. Independent verification of plutonium decontamination on Johnston Atoll (1992--1996)

    SciTech Connect (OSTI)

    Wilson-Nichols, M.J.; Wilson, J.E.; McDowell-Boyer, L.M.; Davidson, J.R.; Egidi, P.V.; Coleman, R.L.

    1998-05-01T23:59:59.000Z

    The Field Command, Defense Special Weapons Agency (FCDSWA) (formerly FCDNA) contracted Oak Ridge National Laboratory (ORNL) Environmental Technology Section (ETS) to conduct an independent verification (IV) of the Johnston Atoll (JA) Plutonium Decontamination Project by an interagency agreement with the US Department of Energy in 1992. The main island is contaminated with the transuranic elements plutonium and americium, and soil decontamination activities have been ongoing since 1984. FCDSWA has selected a remedy that employs a system of sorting contaminated particles from the coral/soil matrix, allowing uncontaminated soil to be reused. The objective of IV is to evaluate the effectiveness of remedial action. The IV contractor`s task is to determine whether the remedial action contractor has effectively reduced contamination to levels within established criteria and whether the supporting documentation describing the remedial action is adequate. ORNL conducted four interrelated tasks from 1992 through 1996 to accomplish the IV mission. This document is a compilation and summary of those activities, in addition to a comprehensive review of the history of the project.

  12. Guide to verification and validation of the SCALE-4 radiation shielding software

    SciTech Connect (OSTI)

    Broadhead, B.L.; Emmett, M.B.; Tang, J.S.

    1996-12-01T23:59:59.000Z

    Whenever a decision is made to newly install the SCALE radiation shielding software on a computer system, the user should run a set of verification and validation (V&V) test cases to demonstrate that the software is properly installed and functioning correctly. This report is intended to serve as a guide for this V&V in that it specifies test cases to run and gives expected results. The report describes the V&V that has been performed for the radiation shielding software in a version of SCALE-4. This report provides documentation of sample problems which are recommended for use in the V&V of the SCALE-4 system for all releases. The results reported in this document are from the SCALE-4.2P version which was run on an IBM RS/6000 work-station. These results verify that the SCALE-4 radiation shielding software has been correctly installed and is functioning properly. A set of problems for use by other shielding codes (e.g., MCNP, TWOTRAN, MORSE) performing similar V&V are discussed. A validation has been performed for XSDRNPM and MORSE-SGC6 utilizing SASI and SAS4 shielding sequences and the SCALE 27-18 group (27N-18COUPLE) cross-section library for typical nuclear reactor spent fuel sources and a variety of transport package geometries. The experimental models used for the validation were taken from two previous applications of the SASI and SAS4 methods.

  13. ICDF Complex Waste Profile and Verification Sample Guidance

    SciTech Connect (OSTI)

    W. M. Heileson

    2006-10-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    E. J. Farris and H. M. Sulloway

    2008-01-10T23:59:59.000Z

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

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

    DOE Patents [OSTI]

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

    2005-12-27T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    J. M. Capron

    2006-04-04T23:59:59.000Z

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

  17. Design verification and cold-flow modeling test report

    SciTech Connect (OSTI)

    Not Available

    1993-07-01T23:59:59.000Z

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

  18. Become an SEP Verification Body | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative FuelsBSCmemo.pdf BSCmemo.pdf BSCmemo.pdf More DocumentsEnergy ManagementVerification

  19. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    ERIKA N. BAILEY

    2012-02-29T23:59:59.000Z

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

  1. Review of Evaluation, Measurement and Verification Approaches Used to Estimate the Load Impacts and Effectiveness of Energy Efficiency Programs

    SciTech Connect (OSTI)

    Messenger, Mike; Bharvirkar, Ranjit; Golemboski, Bill; Goldman, Charles A.; Schiller, Steven R.

    2010-04-14T23:59:59.000Z

    Public and private funding for end-use energy efficiency actions is expected to increase significantly in the United States over the next decade. For example, Barbose et al (2009) estimate that spending on ratepayer-funded energy efficiency programs in the U.S. could increase from $3.1 billion in 2008 to $7.5 and 12.4 billion by 2020 under their medium and high scenarios. This increase in spending could yield annual electric energy savings ranging from 0.58% - 0.93% of total U.S. retail sales in 2020, up from 0.34% of retail sales in 2008. Interest in and support for energy efficiency has broadened among national and state policymakers. Prominent examples include {approx}$18 billion in new funding for energy efficiency programs (e.g., State Energy Program, Weatherization, and Energy Efficiency and Conservation Block Grants) in the 2009 American Recovery and Reinvestment Act (ARRA). Increased funding for energy efficiency should result in more benefits as well as more scrutiny of these results. As energy efficiency becomes a more prominent component of the U.S. national energy strategy and policies, assessing the effectiveness and energy saving impacts of energy efficiency programs is likely to become increasingly important for policymakers and private and public funders of efficiency actions. Thus, it is critical that evaluation, measurement, and verification (EM&V) is carried out effectively and efficiently, which implies that: (1) Effective program evaluation, measurement, and verification (EM&V) methodologies and tools are available to key stakeholders (e.g., regulatory agencies, program administrators, consumers, and evaluation consultants); and (2) Capacity (people and infrastructure resources) is available to conduct EM&V activities and report results in ways that support program improvement and provide data that reliably compares achieved results against goals and similar programs in other jurisdictions (benchmarking). The National Action Plan for Energy Efficiency (2007) presented commonly used definitions for EM&V in the context of energy efficiency programs: (1) Evaluation (E) - The performance of studies and activities aimed at determining the effects and effectiveness of EE programs; (2) Measurement and Verification (M&V) - Data collection, monitoring, and analysis associated with the calculation of gross energy and demand savings from individual measures, sites or projects. M&V can be a subset of program evaluation; and (3) Evaluation, Measurement, and Verification (EM&V) - This term is frequently seen in evaluation literature. EM&V is a catchall acronym for determining both the effectiveness of program designs and estimates of load impacts at the portfolio, program and project level. This report is a scoping study that assesses current practices and methods in the evaluation, measurement and verification (EM&V) of ratepayer-funded energy efficiency programs, with a focus on methods and practices currently used for determining whether projected (ex-ante) energy and demand savings have been achieved (ex-post). M&V practices for privately-funded energy efficiency projects (e.g., ESCO projects) or programs where the primary focus is greenhouse gas reductions were not part of the scope of this study. We identify and discuss key purposes and uses of current evaluations of end-use energy efficiency programs, methods used to evaluate these programs, processes used to determine those methods; and key issues that need to be addressed now and in the future, based on discussions with regulatory agencies, policymakers, program administrators, and evaluation practitioners in 14 states and national experts in the evaluation field. We also explore how EM&V may evolve in a future in which efficiency funding increases significantly, innovative mechanisms for rewarding program performance are adopted, the role of efficiency in greenhouse gas mitigation is more closely linked, and programs are increasingly funded from multiple sources often with multiple program administrators and in

  2. TRU waste certification and TRUPACT-2 payload verification

    SciTech Connect (OSTI)

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

    1990-01-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    BRIGGS, C.R.

    1998-11-12T23:59:59.000Z

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

  4. Wind versus Biofuels for Addressing Climate, Health, and Energy

    SciTech Connect (OSTI)

    Jacobson, Mark Z.

    2007-01-29T23:59:59.000Z

    The favored approach today for addressing global warming is to promote a variety of options: biofuels, wind, solar thermal, solar photovoltaic, geothermal, hydroelectric, and nuclear energy and to improve efficiency. However, by far, most emphasis has been on biofuels. It is shown here, though, that current-technology biofuels cannot address global warming and may slightly increase death and illness due to ozone-related air pollution. Future biofuels may theoretically slow global warming, but only temporarily and with the cost of increased air pollution mortality. In both cases, the land required renders biofuels an impractical solution. Recent measurements and statistical analyses of U.S. and world wind power carried out at Stanford University suggest that wind combined with other options can substantially address global warming, air pollution mortality, and energy needs simultaneously.

  5. Wind vs. Biofuels: Addressing Climate, Health and Energy

    SciTech Connect (OSTI)

    Professor Mark Jacobson

    2007-01-29T23:59:59.000Z

    The favored approach today for addressing global warming is to promote a variety of options: biofuels, wind, solar thermal, solar photovoltaic, geothermal, hydroelectric, and nuclear energy and to improve efficiency. However, by far, most emphasis has been on biofuels. It is shown here, though, that current-technology biofuels cannot address global warming and may slightly increase death and illness due to ozone-related air pollution. Future biofuels may theoretically slow global warming, but only temporarily and with the cost of increased air pollution mortality. In both cases, the land required renders biofuels an impractical solution. Recent measurements and statistical analyses of U.S. and world wind power carried out at Stanford University suggest that wind combined with other options can substantially address global warming, air pollution mortality, and energy needs simultaneously.

  6. SECTION J - TABLE OF CONTENTS

    National Nuclear Security Administration (NNSA)

    Arrangement Appendix Q Minimum Standards for Contractors' COI Plans (Replaced Mod 002) Appendix R RESERVED Appendix S Contracting Officer's Representative(s) Section J Page i...

  7. OPT Employment and Current Physical Address Reporting Office of International Programs

    E-Print Network [OSTI]

    OPT Employment and Current Physical Address Reporting Office of International Programs ____________________________________________________ Your current physical address with your current email address and telephone number Please update, such as any unemployment or changing employers or your current physical address. Send to isss

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

    SciTech Connect (OSTI)

    Luke, S J

    2011-12-20T23:59:59.000Z

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

  9. Address (Smart Grid Project) (Italy) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 SouthWaterBrasil Jump to:Iowa ASHRAEAddis, LA) Jump to:Vermont:Address

  10. Addressing Complexity In Laboratory Experiments- The Scaling Of Dilute

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 SouthWaterBrasil Jump to:Iowa ASHRAEAddis, LA) JumpAddress (Smart

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

    E-Print Network [OSTI]

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

  12. R&D for computational cognitive and social models : foundations for model evaluation through verification and validation (final LDRD report).

    SciTech Connect (OSTI)

    Slepoy, Alexander; Mitchell, Scott A.; Backus, George A.; McNamara, Laura A.; Trucano, Timothy Guy

    2008-09-01T23:59:59.000Z

    Sandia National Laboratories is investing in projects that aim to develop computational modeling and simulation applications that explore human cognitive and social phenomena. While some of these modeling and simulation projects are explicitly research oriented, others are intended to support or provide insight for people involved in high consequence decision-making. This raises the issue of how to evaluate computational modeling and simulation applications in both research and applied settings where human behavior is the focus of the model: when is a simulation 'good enough' for the goals its designers want to achieve? In this report, we discuss two years' worth of review and assessment of the ASC program's approach to computational model verification and validation, uncertainty quantification, and decision making. We present a framework that extends the principles of the ASC approach into the area of computational social and cognitive modeling and simulation. In doing so, we argue that the potential for evaluation is a function of how the modeling and simulation software will be used in a particular setting. In making this argument, we move from strict, engineering and physics oriented approaches to V&V to a broader project of model evaluation, which asserts that the systematic, rigorous, and transparent accumulation of evidence about a model's performance under conditions of uncertainty is a reasonable and necessary goal for model evaluation, regardless of discipline. How to achieve the accumulation of evidence in areas outside physics and engineering is a significant research challenge, but one that requires addressing as modeling and simulation tools move out of research laboratories and into the hands of decision makers. This report provides an assessment of our thinking on ASC Verification and Validation, and argues for further extending V&V research in the physical and engineering sciences toward a broader program of model evaluation in situations of high consequence decision-making.

  13. Addressing the Level of Florida's Electricity Prices Theodore Kury1

    E-Print Network [OSTI]

    Jawitz, James W.

    Addressing the Level of Florida's Electricity Prices Theodore Kury1 Public of electricity prices by state changes over time due to a number of factors: · Investment decisions ratepayers; · Electric utilities also buy on the spot market and prices can fluctuate quickly when

  14. Aligning Technology Solutions to Address Over-the-Horizon Threats

    E-Print Network [OSTI]

    Aligning Technology Solutions to Address Over-the-Horizon Threats As the world's geopolitical for the U.S. Government bridging the gap between policy development and technology implementation WHAT WE-the-horizon security threats and issues Analysis results to support U.S. policymakers and the science and technology

  15. JOHN KORMENDY ADDRESS AND TELEPHONE NUMBER: Department of Astronomy

    E-Print Network [OSTI]

    Kormendy, John

    VITA JOHN KORMENDY ADDRESS AND TELEPHONE NUMBER: Department of Astronomy University of Texas@astro.as.utexas.edu (email) EDUCATION: B. Sc. 1970, Honours Mathematics, Physics and Chemistry (Astronomy Division), University of Toronto Ph. D. 1976, Astronomy, California Institute of Technology, Pasadena, CA POSITIONS: Apr

  16. The Legacy of the Gettysburg Address, 1863-1965

    E-Print Network [OSTI]

    Peatman, Jared Elliott

    2011-10-21T23:59:59.000Z

    of the speech in 1863; its status during the semi-centennial in 1913 and during the construction of the Lincoln Memorial; the place it held during the world wars; and the transformation of the Address in the late 1950s and early 1960s marked by the confluence...

  17. Preferred mailiNg address Title (Mr/Ms/etc)

    E-Print Network [OSTI]

    Tobar, Michael

    payable to the university of Western australia Please debit my Amex Diners Cardholder's name Card number Banking Corporation Address: 109 St George's Terrace, Perth, Western Australia 6000 Account Name: The University of Western Australia ≠ Donations BSB: 036-054 Account Number: 285958 SWIFT Code: WPACAU2S Transfer

  18. Travel directions to the Sterrekundig Instituut Utrecht (SIU) Street Address

    E-Print Network [OSTI]

    Rutten, Rob

    Travel directions to the Sterrekundig Instituut Utrecht (SIU) Street Address Sterrekundig Instituut Utrecht Buijs Ballotlaboratorium Princetonplein 5 De Uithof Utrecht Telephone: 030­2535200 within Holland, a grocery store ("food market"), a large 24-hour Burger King, etc. Buy a paper railroad ticket to Utrecht

  19. Strategies to Address Global Warming Is Sundance Kid a Criminal?

    E-Print Network [OSTI]

    Hansen, James E.

    Strategies to Address Global Warming & Is Sundance Kid a Criminal? Jim Hansen In my opinion, it is still feasible to solve the global warming problem before we pass tipping points that would guarantee ppm yields global warming about 2¬įC (3.6¬įF) above the preindustrial level. Such a level of atmospheric

  20. Early Restoration Plan Repositories STATE LIBRARY ADDRESS CITY ZIP

    E-Print Network [OSTI]

    Calcasieu Parish Public Library Central Branch 301 W. Claude St. Lake Charles 70605 #12;STATE LIBRARYEarly Restoration Plan Repositories STATE LIBRARY ADDRESS CITY ZIP AL Dauphin Island Sea Laboratory. Walton 32548 FL Panama City Beach Public Library 125000 Hutchison Blvd Panama City Beach 32407 FL

  1. Argonne Director Eric Isaacs addresses the National Press Club

    ScienceCinema (OSTI)

    Eric Isaccs

    2010-01-08T23:59:59.000Z

    Argonne Director Eric Isaacs addresses the National Press Club on 9/15/2009. To build a national economy based on sustainable energy, the nation must first "reignite its innovation ecology," he said. Issacs makes the case for investing in science to secure America's future.

  2. Problems addressed in this course Teaching methodology, material, exams, contacts

    E-Print Network [OSTI]

    Wehenkel, Louis

    . The first look at a genome - Sequence analysis Bioinformatics - Lecture 1 Louis Wehenkel Department. The first look at a genome - Sequence analysis Problems addressed in this course Teaching methodology, material, exams, contacts Chapter 1. The first look at a genome - Sequence analysis Introduction

  3. Michael A. Santoro Title and Address: Contact Information

    E-Print Network [OSTI]

    Lin, Xiaodong

    of intellectual property, competitor information gathering, personal privacy law, and trade secrecy. ResearchMichael A. Santoro Title and Address: Contact Information: Professor Department of Management, Rutgers Flex Program MBA Program (2013) 2010 With Ronald J. Strauss, Best Paper in Ethics Award

  4. Cross sections and analyzing powers for the ,,p,n... reaction on 3 He at 200 MeV

    E-Print Network [OSTI]

    Maryland at College Park, University of

    , College Park, Maryland 20742 Received 31 December 1997 Double-differential cross sections and analyzing of Nuclear Physics, 31- 342 Krako¬īw, Poland. Present address: Los Alamos National Laboratory, Los Alamos, NM

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

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-05-08T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2009-04-29T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2009-02-17T23:59:59.000Z

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

  8. Battery Technology Life Verification Test Manual Revision 1

    SciTech Connect (OSTI)

    Jon P. Christophersen

    2012-12-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Pabian, Frank Vincent [Los Alamos National Laboratory

    2010-09-16T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

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

    1995-09-01T23:59:59.000Z

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

  11. Guidelines on Airflow and Refrigerant Charge Verification and Diagnostics

    Broader source: Energy.gov [DOE]

    This presentation was given at the Summer 2012 DOE Building America meeting on July 25, 2012, and addressed the question "HVAC proper installation energy savings: over-promising or under-delivering?"

  12. Plan for addressing issues relating to oil shale plant siting

    SciTech Connect (OSTI)

    Noridin, J. S.; Donovan, R.; Trudell, L.; Dean, J.; Blevins, A.; Harrington, L. W.; James, R.; Berdan, G.

    1987-09-01T23:59:59.000Z

    The Western Research Institute plan for addressing oil shale plant siting methodology calls for identifying the available resources such as oil shale, water, topography and transportation, and human resources. Restrictions on development are addressed: land ownership, land use, water rights, environment, socioeconomics, culture, health and safety, and other institutional restrictions. Descriptions of the technologies for development of oil shale resources are included. The impacts of oil shale development on the environment, socioeconomic structure, water availability, and other conditions are discussed. Finally, the Western Research Institute plan proposes to integrate these topics to develop a flow chart for oil shale plant siting. Western Research Institute has (1) identified relative topics for shale oil plant siting, (2) surveyed both published and unpublished information, and (3) identified data gaps and research needs. 910 refs., 3 figs., 30 tabs.

  13. Company Name Company Name Address Place Zip Product Website Region

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)Columbus

  14. NEW APPROACH TO ADDRESSING GAS GENERATION IN RADIOACTIVE MATERIAL PACKAGING

    SciTech Connect (OSTI)

    Watkins, R; Leduc, D; Askew, N

    2009-06-25T23:59:59.000Z

    Safety Analysis Reports for Packaging (SARP) document why the transportation of radioactive material is safe in Type A(F) and Type B shipping containers. The content evaluation of certain actinide materials require that the gas generation characteristics be addressed. Most packages used to transport actinides impose extremely restrictive limits on moisture content and oxide stabilization to control or prevent flammable gas generation. These requirements prevent some users from using a shipping container even though the material to be shipped is fully compliant with the remaining content envelope including isotopic distribution. To avoid these restrictions, gas generation issues have to be addressed on a case by case basis rather than a one size fits all approach. In addition, SARP applicants and review groups may not have the knowledge and experience with actinide chemistry and other factors affecting gas generation, which facility experts in actinide material processing have obtained in the last sixty years. This paper will address a proposal to create a Gas Generation Evaluation Committee to evaluate gas generation issues associated with Safety Analysis Reports for Packaging material contents. The committee charter could include reviews of both SARP approved contents and new contents not previously evaluated in a SARP.

  15. Verification of the CENTRM Module for Adaptation of the SCALE Code to NGNP Prismatic and PBR Core Designs

    SciTech Connect (OSTI)

    Ganapol, Barry; Maldonado, Ivan

    2014-01-23T23:59:59.000Z

    The generation of multigroup cross sections lies at the heart of the very high temperature reactor (VHTR) core design, whether the prismatic (block) or pebble-bed type. The design process, generally performed in three steps, is quite involved and its execution is crucial to proper reactor physics analyses. The primary purpose of this project is to develop the CENTRM cross-section processing module of the SCALE code package for application to prismatic or pebble-bed core designs. The team will include a detailed outline of the entire processing procedure for application of CENTRM in a final report complete with demonstration. In addition, they will conduct a thorough verification of the CENTRM code, which has yet to be performed. The tasks for this project are to: Thoroughly test the panel algorithm for neutron slowing down; Develop the panel algorithm for multi-materials; Establish a multigroup convergence 1D transport acceleration algorithm in the panel formalism; Verify CENTRM in 1D plane geometry; Create and test the corresponding transport/panel algorithm in spherical and cylindrical geometries; and, Apply the verified CENTRM code to current VHTR core design configurations for an infinite lattice, including assessing effectiveness of Dancoff corrections to simulate TRISO particle heterogeneity.

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

    E-Print Network [OSTI]

    Xu, Haiping

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

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

    Broader source: Energy.gov [DOE]

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

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

    E-Print Network [OSTI]

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

    2006-01-01T23:59:59.000Z

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

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

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

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

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

    DOE Patents [OSTI]

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

    2011-01-25T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Pace, Gordon J.

    are used to control all sorts of devices -- from washing machines and microwave ovens to braking systems is formidable. The formal verification of a five-line algorithm can easily run into pages of dense mathematical

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

    E-Print Network [OSTI]

    Bryant, Randal E.

    1 Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department Email: vishnup@ece.cmu.edu Email: alokj@cadence.com Email: randy.bryant@cs.cmu.edu Abstract This paper

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

    E-Print Network [OSTI]

    Bryant, Randal E.

    Verification of Floating-Point Adders ° Yirng-An Chen and Randal E. Bryant yachen+@cs.cmu.edu, bryant+@cs.cmu.edu Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, PA 15213 Abstract

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

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

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

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

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

    E-Print Network [OSTI]

    Groote, Jan Friso

    Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1, The Netherlands a.khabbaz.saberi@student.tue.nl, j.f.groote@tue.nl, s.keshishzadeh@tue.nl Abstract

  7. Robust audio-visual person verification using Web-camera video

    E-Print Network [OSTI]

    Schultz, Daniel (Daniel T.)

    2006-01-01T23:59:59.000Z

    This thesis examines the challenge of robust audio-visual person verification using data recorded in multiple environments with various lighting conditions, irregular visual backgrounds, and diverse background noise. ...

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Rhoades, Kirk Shawn

    2006-10-30T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Not Available

    2014-09-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Weaver, P.

    2008-03-17T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Migdall, Alan

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

  13. The independent verification process in decommissioning, decontamination, and reutilization activities - description, benefits, and lessons learned

    SciTech Connect (OSTI)

    Egidi, P.V.

    1997-06-01T23:59:59.000Z

    Oak Ridge National Laboratory Environmental Technology Section has been performing Independent Verification (IV) activities for U.S. DOE sites since 1986. DOE has successfully used IV in the Uranium Mill Tailings Remedial Action Program, Decontamination and Decommissioning projects, and Formerly Utilized Sites Remedial Action Projects/Surplus Facilities Management Program. Projects that have undergone IV range from small residential properties to large, industrial sites. The IV process provides a third-party review conducted by an independent organization. The purpose is to verify accuracy and completeness of contractor field measurements and final documentation, evaluate the credibility of procedures, and independently assess post-cleanup conditions versus decommissioning project plans and release criteria. Document reviews of plans, dose models, procedures, and reports are some IV activities undertaken. Independent measurements are also collected during field visits to confirm the contractor`s findings. Corrective actions for discrepancies are suggested if necessary. Finally, archival and reporting of the final site environmental conditions for project closeout and certification are completed. The IV contractor reports to DOE headquarters and acts as a quality assurance feedback mechanism. An IV also provides additional assurance that projects are planned, carried out, and documented properly. Decommissioning projects benefit from the IV process by: (1) cost and time savings from early identification of potential problems, (2) assurance that cleanup meets regulatory guidelines, and (3) technical reviews and consultation with experts in field instrumentation, sampling strategy, etc. Some lessons learned from the IV process include avoiding: (1) improper survey techniques, (2) reporting data in units not comparable with guideline values, (3) premature release of surfaces, (4) poor decommissioning project planning, (5) misapplication of release guidelines. 20 refs.

  14. SECTION 1: Registration Before you register

    E-Print Network [OSTI]

    Amin, S. Massoud

    ............................. 8 Special registration instructions Senior Citizen Education Program .....................................................................17 Name & address change updates....................................17 Privacy release

  15. SECTION 1: Registration Before you register

    E-Print Network [OSTI]

    Amin, S. Massoud

    ...............................8 Special registration instructions Senior Citizen Education Program......................................................................16 Name & address change updates....................................16 Privacy release

  16. LEGAL BUSINESS NAME AND DBA NAME (as applicable) PERSON OR SOLE PROPRIETOR -ENTER FULL NAME HERE (Last, First) (REQUIRED) PERMANENT BUSINESS Address-(number & Street or P.O. Box) (REQUIRED) PERMANENT REMITTANCE Address (if different from Business Address)

    E-Print Network [OSTI]

    California at Santa Cruz, University of

    LEGAL BUSINESS NAME AND DBA NAME (as applicable) PERSON OR SOLE PROPRIETOR -ENTER FULL NAME HERE (Last, First) (REQUIRED) PERMANENT BUSINESS Address- (number & Street or P.O. Box) (REQUIRED) PERMANENT REMITTANCE Address (if different from Business Address) (OPTIONAL) CAMPUS MAIL STOP (Complete ONLY after

  17. Content-addressable memory based enforcement of configurable policies

    SciTech Connect (OSTI)

    Berg, Michael J

    2014-05-06T23:59:59.000Z

    A monitoring device for monitoring transactions on a bus includes content-addressable memory ("CAM") and a response policy unit. The CAM includes an input coupled to receive a bus transaction tag based on bus traffic on the bus. The CAM stores data tags associated with rules of a security policy to compare the bus transaction tag to the data tags. The CAM generates an output signal indicating whether one or more matches occurred. The response policy unit is coupled to the CAM to receive the output signal from the CAM and to execute a policy action in response to the output signal.

  18. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdom Efficiency

  19. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdom EfficiencyLLC

  20. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdom EfficiencyLLCe

  1. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdom

  2. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdomvan den Berg A

  3. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdomvan den Berg

  4. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdomvan den BergAG

  5. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdomvan den

  6. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdomvan denAFS

  7. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United Kingdomvan

  8. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United KingdomvanPartners ANV

  9. Company Name Company Name Address Place Zip Sector Product Website

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy,(EC-LEDS)ColumbusDHeat Ltd United KingdomvanPartners

  10. Protocol for Addressing Induced Seismicity Associated with Enhanced Geothermal Systems

    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:Year in3.pdfEnergyDepartment ofOil'sofAppendix B,Protocol for Addressing Induced Seismicity

  11. Address (Smart Grid Project) (France) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 SouthWaterBrasil Jump to:Iowa ASHRAEAddis, LA) Jump to:Vermont:

  12. Address (Smart Grid Project) (SVEZIA) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 SouthWaterBrasil Jump to:Iowa ASHRAEAddis, LA) Jump

  13. Addressing Wind Turbine Tribological Challenges with Surface Engineering |

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building TechnologiesS1!4T opAddress: ~~. . ~L~

  14. Implementation Guide for Use in Addressing Unreviewed Safety Question Requirements

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

    2010-04-08T23:59:59.000Z

    This Guide, including its attachments, provides information to assist in the implementation of Title 10 Code of Federal Regulations (CFR) Section 830.203, ďUnreviewed Safety Question Process,Ē of the Nuclear Safety Management Rules for Category 1, 2, and 3 nuclear facilities owned or operated by the Department of Energy (DOE), including the National Nuclear Security Administration (NNSA). Cancels DOE G 424.1-1A. Admin Chg 1 dated 4-12-13.

  15. TomoTherapy MLC verification using exit detector data

    SciTech Connect (OSTI)

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

    2012-01-15T23:59:59.000Z

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

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

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

  17. Compensated individually addressable array technology for human breast imaging

    DOE Patents [OSTI]

    Lewis, D. Kent (San Francisco, CA)

    2003-01-01T23:59:59.000Z

    A method of forming broad bandwidth acoustic or microwave beams which encompass array design, array excitation, source signal preprocessing, and received signal postprocessing. This technique uses several different methods to achieve improvement over conventional array systems. These methods are: 1) individually addressable array elements; 2) digital-to-analog converters for the source signals; 3) inverse filtering from source precompensation; and 4) spectral extrapolation to expand the bandwidth of the received signals. The components of the system will be used as follows: 1) The individually addressable array allows scanning around and over an object, such as a human breast, without any moving parts. The elements of the array are broad bandwidth elements and efficient radiators, as well as detectors. 2) Digital-to-analog converters as the source signal generators allow virtually any radiated field to be created in the half-space in front of the array. 3) Preprocessing allows for corrections in the system, most notably in the response of the individual elements and in the ability to increase contrast and resolution of signal propagating through the medium under investigation. 4) Postprocessing allows the received broad bandwidth signals to be expanded in a process similar to analytic continuation. Used together, the system allows for compensation to create beams of any desired shape, control the wave fields generated to correct for medium differences, and improve contract and resolution in and through the medium.

  18. Practical Formal Verification of Diagnosability of Large Models

    E-Print Network [OSTI]

    Bonaventure, Olivier

    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 5.4.1 Failure Scenario 1: PV03 stuck closed . . . . . . . . . . . 11 5.4.2 Failure Scenario 6: SV of real plants. Section 3 describes how these plants are modeled, and how models can be sim- plified

  19. E-Print Network 3.0 - addressing cancer clusters Sample Search...

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

    addressing cancer clusters Search Powered by Explorit Topic List Advanced Search Sample search results for: addressing cancer clusters Page: << < 1 2 3 4 5 > >> 1 THE PUBLIC HEALTH...

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

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

    SciTech Connect (OSTI)

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

    2007-07-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-12-15T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-10-22T23:59:59.000Z

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

  6. Hazardous Materials Verification and Limited Characterization Report on Sodium and Caustic Residuals in Materials and Fuel Complex Facilities MFC-799/799A

    SciTech Connect (OSTI)

    Gary Mecham

    2010-08-01T23:59:59.000Z

    This report is a companion to the Facilities Condition and Hazard Assessment for Materials and Fuel Complex Sodium Processing Facilities MFC-799/799A and Nuclear Calibration Laboratory MFC-770C (referred to as the Facilities Condition and Hazards Assessment). This report specifically responds to the requirement of Section 9.2, Item 6, of the Facilities Condition and Hazards Assessment to provide an updated assessment and verification of the residual hazardous materials remaining in the Sodium Processing Facilities processing system. The hazardous materials of concern are sodium and sodium hydroxide (caustic). The information supplied in this report supports the end-point objectives identified in the Transition Plan for Multiple Facilities at the Materials and Fuels Complex, Advanced Test Reactor, Central Facilities Area, and Power Burst Facility, as well as the deactivation and decommissioning critical decision milestone 1, as specified in U.S. Department of Energy Guide 413.3-8, ďEnvironmental Management Cleanup Projects.Ē Using a tailored approach and based on information obtained through a combination of process knowledge, emergency management hazardous assessment documentation, and visual inspection, this report provides sufficient detail regarding the quantity of hazardous materials for the purposes of facility transfer; it also provides that further characterization/verification of these materials is unnecessary.

  7. Methodology for computational fluid dynamics code verification/validation

    SciTech Connect (OSTI)

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

    1995-07-01T23:59:59.000Z

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

  8. Uncertainty Estimation Improves Energy Measurement and Verification Procedures

    SciTech Connect (OSTI)

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

    2014-05-14T23:59:59.000Z

    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.

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

    International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are typically performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the facilityís entire 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.

  10. Cold fusion verification. Final report for period ending 1989

    SciTech Connect (OSTI)

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

    1991-03-01T23:59:59.000Z

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

  11. Technology verification phase. Dynamic isotope power system. Final report

    SciTech Connect (OSTI)

    Halsey, D.G.

    1982-03-10T23:59:59.000Z

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

  12. WASTE DISPOSAL SECTION CORNELL UNIVERSITY

    E-Print Network [OSTI]

    Pawlowski, Wojtek

    radioactive products as regular trash. All packages must be free of contamination, radiation symbols2/07 WASTE DISPOSAL SECTION CORNELL UNIVERSITY PROCEDURE for DISPOSAL of RADIOACTIVE MATERIALS This procedure has been developed to ensure the safety of those individuals who handle radioactive waste

  13. Environment Canada Industrial Programs Section

    E-Print Network [OSTI]

    #12;Environment Canada Industrial Programs Section Environmental Protection Guide for Best Management Practices for Process Water Management at Fish Processing Plants in British Columbia h~ NovaTec Consultants Inc. Environmental Engineers and Scientists September 1994 Project No: 1043.16 #12;DISCLAIMER

  14. A Formal Embedded Software Verification using Software Fault Tree Analysis

    E-Print Network [OSTI]

    -mail: jbyoo@konkuk.ac.kr Extended Abstract In developing embedded software such as nuclear reactor protection checking [4]. We used a prototype version of the KNICS RPS [5] in Korean nuclear power plants, but it may also be able to auto-populate address book changes. This is based on the use of an operating

  15. Implementation Guide for Use in Addressing Unreviewed Safety Question Requirements

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

    2010-04-08T23:59:59.000Z

    This Guide, including its attachments, provides information to assist in the implementation of Title 10 Code of Federal Regulations (CFR) Section 830.203, ďUnreviewed Safety Question Process,Ē of the Nuclear Safety Management Rules for Category 1, 2, and 3 nuclear facilities owned or operated by the Department of Energy (DOE), including the National Nuclear Security Administration (NNSA). Cancels DOE G 424.1-1A. Admin Chg 1 dated 4-12-13. Admin Chg 2, dated 6-12-13, cancels DOE G 424.1-1B Admin Chg 1.

  16. Western Wind Strategy: Addressing Critical Issues for Wind Deployment

    SciTech Connect (OSTI)

    Douglas Larson; Thomas Carr

    2012-03-30T23:59:59.000Z

    The goal of the Western Wind Strategy project was to help remove critical barriers to wind development in the Western Interconnection. The four stated objectives of this project were to: (1) identify the barriers, particularly barriers to the operational integration of renewables and barriers identified by load-serving entities (LSEs) that will be buying wind generation, (2) communicate the barriers to state officials, (3) create a collaborative process to address those barriers with the Western states, utilities and the renewable industry, and (4) provide a role model for other regions. The project has been on the forefront of identifying and informing state policy makers and utility regulators of critical issues related to wind energy and the integration of variable generation. The project has been a critical component in the efforts of states to push forward important reforms and innovations that will enable states to meet their renewable energy goals and lower the cost to consumers of integrating variable generation.

  17. California Fish and Game Code Section 86 | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin: EnergyBoston Areais3: Crystalline RockCaldera2California EndangeredCode Section

  18. Category:Regulatory Roadmap Overview Sections | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin: EnergyBostonFacilityCascadeJump to:Lists JumpRoadmapFlowcharts Jump to:Sections

  19. Experimental validation of lead cross sections for scale and MCNP

    SciTech Connect (OSTI)

    Henrikson, D.J.

    1995-12-01T23:59:59.000Z

    Moving spent nuclear fuel between facilities often requires the use of lead-shielded casks. Criticality safety that is based upon calculations requires experimental validation of the fuel matrix and lead cross section libraries. A series of critical experiments using a high-enriched uranium-aluminum fuel element with a variety of reflectors, including lead, has been identified. Twenty-one configurations were evaluated in this study. The fuel element was modelled for KENO V.a and MCNP 4a using various cross section sets. The experiments addressed in this report can be used to validate lead-reflected calculations. Factors influencing calculated k{sub eff} which require further study include diameters of styrofoam inserts and homogenization.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-03-19T23:59:59.000Z

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

  1. Remaining Sites Verification Package for the 100-C-9:1 Main Process Sewer Collection Line, Waste Site Reclassification Form 2004-012

    SciTech Connect (OSTI)

    L. M. Dittmer

    2007-06-11T23:59:59.000Z

    The 100-C-9:1 main process sewer pipeline, also known as the twin box culvert, was a dual reinforced process sewer that collected process effluent from the 183-C and 190-C water treatment facilities, discharging at the 132-C-2 Outfall. For remedial action purposes, the 100-C-9:1 waste site was subdivided into northern and southern sections. The 100-C-9:1 subsite has been remediated to achieve the remedial action objectives specified in the Remaining Sites ROD. The results of verification sampling show that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also demonstrate that residual contaminant concentrations are protective of groundwater and the Columbia River.

  2. Section I - FUNDING OPPORTUNITY DESCRIPTION

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartment of Energyof the Americas | Department ofofDeliveredSection 999: Annual

  3. The thermionic fuel element verification program: Technical accomplishments and goals

    SciTech Connect (OSTI)

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

    1993-01-01T23:59:59.000Z

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

  4. The EPRI/DOE Utility Wind Turbine Performance Verification Program

    SciTech Connect (OSTI)

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

    1997-01-01T23:59:59.000Z

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

  5. FY 2007-09 Project Selection, Section 10 1 Project ID: 1991-019-01

    E-Print Network [OSTI]

    FY 2007-09 Project Selection, Section 10 1 Project ID: 1991-019-01 Title: Hungry Horse Mitigation/Flathead Lake Confederated Salish and Kootenai Tribes A. Abstract This project was initiated in 1992 after NPCC annual funding since that time. This project specifically addresses the losses on the Flathead Indian

  6. SECTION 595 WRDA 1999, AS AMENDED IDAHO, MONTANA, RURAL NEVADA, NEW MEXICO,

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 595 ­ WRDA 1999, AS AMENDED IDAHO, MONTANA, RURAL NEVADA, NEW MEXICO, RURAL UTAH 102 of the Energy and Water Development Appropriations Act, 2006, Public Law 109-103. 15 July 2009 for Idaho, rural Nevada, and rural Utah. In addition, text was added at each location of Note 7 to address

  7. West Virginia University 1 In this section

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    West Virginia University 1 Admissions In this section: Application: · General Information · Robert

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

    E-Print Network [OSTI]

    Kumar, Ratnesh

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

  9. Independent Verification Survey of the Clean Coral Storage Pile at the Johnston Atoll Plutonium Contaminated Soil Remediation Project

    SciTech Connect (OSTI)

    Wilson-Nichols, M.J.; Egidi, P.V.; Roemer, E.K.; Schlosser, R.M.

    2000-09-01T23:59:59.000Z

    f I The Oak Ridge National Laboratory (ORNL) Environmental Technology Section conducted an independent verification (IV) survey of the clean storage pile at the Johnston Atoll Plutonium Contaminated Soil Remediation Project (JAPCSRP) from January 18-25, 1999. The goal of the JAPCSRP is to restore a 24-acre area that was contaminated with plutonium oxide particles during nuclear testing in the 1960s. The selected remedy was a soil sorting operation that combined radiological measurements and mining processes to identify and sequester plutonium-contaminated soil. The soil sorter operated from about 1990 to 1998. The remaining clean soil is stored on-site for planned beneficial use on Johnston Island. The clean storage pile currently consists of approximately 120,000 m3 of coral. ORNL conducted the survey according to a Sampling and Analysis Plan, which proposed to provide an IV of the clean pile by collecting a minimum number (99) of samples. The goal was to ascertain wi th 95% confidence whether 97% of the processed soil is less than or equal to the accepted guideline (500-Bq/kg or 13.5-pCi/g) total transuranic (TRU) activity.

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

    SciTech Connect (OSTI)

    MCGREW, D.L.

    1999-09-28T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Shao, Li

    1996-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

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

  13. Verification of plutonium content in spent fuel assemblies using neutron self-interrogation

    SciTech Connect (OSTI)

    Menlove, Howard O [Los Alamos National Laboratory; Menlove, Apencer H [Los Alamos National Laboratory; Tobin, Stephen J [Los Alamos National Laboratory

    2009-01-01T23:59:59.000Z

    The large amounts of plutonium in reactor spent fuel assemblies has led to increased research directed toward the measurement of the plutonium for safeguards verification. The high levels of fission product gamma-ray activity and curium neutron backgrounds have made the plutonium measurement difficult. We have developed a new technique that can directly measure both the {sup 235}U concentration and the plutonium fissile concentration using the intrinsic neutron emission fronl the curium in the fuel assembly. The passive neutron albedo reactivity (PNAR) method has been described previously where the curium neutrons are moderated in the surrounding water and reflect back into the fuel assembly to induce fissions in the fissile material in the assembly. The cadmium (Cd) ratio is used to separate the spontaneous fission source neutrons from the reflected thermal neutron fission reactions. This method can measure the sum of the {sup 235}U and the plutonium fissile mass, but not the separate components. Our new differential die-away self-interrogation method (DDSI) can be used to separate the {sup 235}U from the {sup 239}Pu. The method has been applied to both fuel rods and full assemblies. For fuel rods the epi-thermal neutron reflection method filters the reflected neutrons through thin Cd filters so that the reflected neutrons are from the epi-cadmium energy region. The neutron fission energy response in the epi-cadmium region is distinctly different for {sup 235}U and {sup 239}Pu. We are able to measure the difference between {sup 235}U and {sup 239}Pu by sampling the neutron induced fission rate as a function of time and multiplicity after the initial fission neutron is detected. We measure the neutron fission rate using list-mode data collection that stores the time correlations between all of the counts. The computer software can select from the data base the time correlations that include singles, doubles, and triples. The die-away time for the doubles distribution is distinctly different for {sup 235}U and {sup 239}Pu. The {sup 239}Pu has a higher fission cross-section in the epi-cadmium neutron region and larger induced fission moments than {sup 235}U, so the measured die-away time can provide the relative amounts of {sup 239}Pu and {sup 235}U. This paper will present the Monte Carlo simulations for the detector and sample configurations for both fuel pins and full fuel assemblies.

  14. Section H: Special Contract Requirements

    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:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICES

  15. SECTION J, APPENDIX B - PEP

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartmentNationalRestart of the Review of theOFFICE OF CIVIL to Mod 0099 datedMod 002; SECTION

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

    SciTech Connect (OSTI)

    NSTec Environmental Restoration

    2010-05-17T23:59:59.000Z

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

  17. Efficient speaker verification using Gaussian mixture model component clustering.

    SciTech Connect (OSTI)

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

    2012-04-01T23:59:59.000Z

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

  18. E-Print Network 3.0 - addressing medical coding Sample Search...

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

    Summer Camp Registration Form Child's Name Date of Birth Sex Summary: Phone Work or Cell Phone Address Address City, ST ZIP Code City, ST ZIP Code Medical Information... 's...

  19. E-Print Network 3.0 - air pollution address Sample Search Results

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

    address Search Powered by Explorit Topic List Advanced Search Sample search results for: air pollution address Page: << < 1 2 3 4 5 > >> 1 Daniel Poleschook Jr. and Ginger Gumm The...

  20. E-Print Network 3.0 - addressing health disparities Sample Search...

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

    SympoSium Summary: C: improving Quality and Achieving equity: Addressing Disparities in Health Care Keynote Speaker: Joseph r... of this multi-site component is to address health...

  1. E-Print Network 3.0 - address health disparities Sample Search...

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

    SympoSium Summary: C: improving Quality and Achieving equity: Addressing Disparities in Health Care Keynote Speaker: Joseph r... of this multi-site component is to address health...

  2. Comments of DRSG to DOE Smart Grid RFI: Addressing Policy and...

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

    DRSG to DOE Smart Grid RFI: Addressing Policy and Logistical Challenges Comments of DRSG to DOE Smart Grid RFI: Addressing Policy and Logistical Challenges In light of the fact...

  3. GridWise Alliance: Smart Grid RFI: Addressing Policy and Logistical...

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

    GridWise Alliance: Smart Grid RFI: Addressing Policy and Logistical Challenges GridWise Alliance: Smart Grid RFI: Addressing Policy and Logistical Challenges The GridWise Alliance...

  4. RedSeal Comments on "Smart Grid RFI: Addressing Policy and Logistical...

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

    RedSeal Comments on "Smart Grid RFI: Addressing Policy and Logistical Challenges. RedSeal Comments on "Smart Grid RFI: Addressing Policy and Logistical Challenges. RedSeal Comments...

  5. Automated verification of termination certificates Frederic Blanqui and Kim Quyen Ly

    E-Print Network [OSTI]

    Paris-Sud XI, Universitť de

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

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

    E-Print Network [OSTI]

    Austin, Mark

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

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

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

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

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

    E-Print Network [OSTI]

    Avrunin, George S.

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

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

    SciTech Connect (OSTI)

    M. J. Appel

    2007-01-22T23:59:59.000Z

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

  10. Verification of a VRF Heat Pump Computer Model in EnergyPlus

    SciTech Connect (OSTI)

    Nigusse, Bereket; Raustad, Richard

    2013-06-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Fernandez, Eduardo

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

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

    E-Print Network [OSTI]

    Chatzikokolakis, Kostas

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Navet, Nicolas

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

  16. Hard-and software implementation and verification of an Islanded House

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

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

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

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

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

    E-Print Network [OSTI]

    Boyer, Edmond

    Contributions `a la vīerification automatique de protocoles de groupes TH`ESE prīesentīee et soutenue groupe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3 Gestion de clefsīesumīe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.5 Impact des agents malhonn^etes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2

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

    E-Print Network [OSTI]

    Skogestad, Sigurd

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

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

    E-Print Network [OSTI]

    Skogestad, Sigurd

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