Sample records for tracer interpretation verification

  1. Tracers and Tracer Interpretation | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga, Indiana (Utility Company) Jump to:TownTownerOpenEnergyG,Tracers and

  2. Tracers and Tracer Testing: Design, Implementation, Tracer Selection, and Interpretation Methods

    SciTech Connect (OSTI)

    G. Michael Shook; Shannon L.; Allan Wylie

    2004-01-01T23:59:59.000Z

    Conducting a successful tracer test requires adhering to a set of steps. The steps include identifying appropriate and achievable test goals, identifying tracers with the appropriate properties, and implementing the test as designed. When these steps are taken correctly, a host of tracer test analysis methods are available to the practitioner. This report discusses the individual steps required for a successful tracer test and presents methods for analysis. The report is an overview of tracer technology; the Suggested Reading section offers references to the specifics of test design and interpretation.

  3. Quantitative interpretation of tracer test data | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I GeothermalPotentialBiopowerSolidGenerationMethod Jump to:ThisPublicPutnamQuail Valley, California:tracer

  4. Recover Act: Verification of Geothermal Tracer Methods in Highly Constrained Field Experiments

    SciTech Connect (OSTI)

    Becker, Matthew

    2014-05-16T23:59:59.000Z

    The prediction of the geothermal system efficiency is strong linked to the character of the flow system that connects injector and producer wells. If water flow develops channels or “short circuiting” between injection and extraction wells thermal sweep is poor and much of the reservoir is left untapped. The purpose of this project was to understand how channelized flow develops in fracture geothermal reservoirs and how it can be measured in the field. We explored two methods of assessing channelization: hydraulic connectivity tests and tracer tests. These methods were tested at a field site using two verification methods: ground penetrating radar (GPR) images of saline tracer and heat transfer measurements using distributed temperature sensing (DTS). The field site for these studies was the Altona Flat Fractured Rock Research Site located in northeastern New York State. Altona Flat Rock is an experimental site considered a geologic analog for some geothermal reservoirs given its low matrix porosity. Because soil overburden is thin, it provided unique access to saturated bedrock fractures and the ability image using GPR which does not effectively penetrate most soils. Five boreholes were drilled in a “five spot” pattern covering 100 m2 and hydraulically isolated in a single bedding plane fracture. This simple system allowed a complete characterization of the fracture. Nine small diameter boreholes were drilled from the surface to just above the fracture to allow the measurement of heat transfer between the fracture and the rock matrix. The focus of the hydraulic investigation was periodic hydraulic testing. In such tests, rather than pumping or injection in a well at a constant rate, flow is varied to produce an oscillating pressure signal. This pressure signal is sensed in other wells and the attenuation and phase lag between the source and receptor is an indication of hydraulic connection. We found that these tests were much more effective than constant pumping tests in identifying a poorly connected well. As a result, we were able to predict which well pairs would demonstrate channelized flow. The focus of the tracer investigation was multi-ionic tests. In multi-ionic tests several ionic tracers are injected simultaneously and the detected in a nearby pumping well. The time history of concentration, or breakthrough curve, will show a separation of the tracers. Anionic tracers travel with the water but cationic tracer undergo chemical exchange with cations on the surface of the rock. The degree of separation is indicative of the surface area exposed to the tracer. Consequently, flow channelization will tend to decrease the separation in the breakthrough. Estimation of specific surface area (the ration of fracture surface area to formation volume) is performed through matching the breakthrough curve with a transport model. We found that the tracer estimates of surface area were confirmed the prediction of channelized flow between well pairs produced by the periodic hydraulic tests. To confirm that the hydraulic and tracer tests were correctly predicting channelize flow, we imaged the flow field using surface GPR. Saline water was injected between the well pairs which produced a change in the amplitude and phase of the reflected radar signal. A map was produced of the migration of saline tracer from these tests which qualitatively confirmed the flow channelization predicted by the hydraulic and tracer tests. The resolution of the GPR was insufficient to quantitatively estimate swept surface area, however. Surface GPR is not applicable in typical geothermal fields because the penetration depths do not exceed 10’s of meters. Nevertheless, the method of using of phase to measure electrical conductivity and the assessment of antennae polarization represent a significant advancement in the field of surface GPR. The effect of flow character on fracture / rock thermal exchange was evaluated using heated water as a tracer. Water elevated 30 degrees C above the formation water was circulated between two wells pairs. One

  5. USING PERFLUOROCARBON TRACERS FOR VERIFICATION OF CAP AND COVER SYSTEMS PERFORMANCE.

    SciTech Connect (OSTI)

    HEISER,J.; SULLIVAN,T.

    2001-11-01T23:59:59.000Z

    The Department of Energy (DOE) Environmental Management (EM) office has committed itself to an accelerated cleanup of its national facilities. The goal is to have much of the DOE legacy waste sites remediated by 2006. This includes closure of several sites (e.g., Rocky Flats and Fernald). With the increased focus on accelerated cleanup, there has been considerable concern about long-term stewardship issues in general, and verification and long-term monitoring (LTM) of caps and covers, in particular. Cap and cover systems (covers) are vital remedial options that will be extensively used in meeting these 2006 cleanup goals. Every buried waste site within the DOE complex will require some form of cover system. These covers are expected to last from 100 to 1000 years or more. The stakeholders can be expected to focus on system durability and sustained performance. DOE EM has set up a national committee of experts to develop a long-term capping (LTC) guidance document. Covers are subject to subsidence, erosion, desiccation, animal intrusion, plant root infiltration, etc., all of which will affect the overall performance of the cover. Very little is available in terms of long-term monitoring other than downstream groundwater or surface water monitoring. By its very nature, this can only indicate that failure of the cover system has already occurred and contaminants have been transported away from the site. This is unacceptable. Methods that indicate early cover failure (prior to contaminant release) or predict approaching cover failure are needed. The LTC committee has identified predictive monitoring technologies as a high priority need for DOE, both for new covers as well as existing covers. The same committee identified a Brookhaven National Laboratory (BNL) technology as one approach that may be capable of meeting the requirements for LTM. The Environmental Research and Technology Division (ERTD) at BNL developed a novel methodology for verifying and monitoring subsurface barriers (1,2). The technology uses perfluorocarbon tracers (PFTs) to determine flaws (e.g., holes or cracks) and high permeability areas in subsurface barriers. Gaseous tracers are injected on one side of the barrier and searched for on the opposite side of the barrier. The sampling grid, concentration, and time of arrival of the tracer(s) on the opposite side are used to determine the size and location of flaws and relative permeability of the barrier. In addition, there are multiple tracers available, which allows different tracers to be injected in different quadrants of the barrier. This yields additional information on transport phenomena of the barrier.

  6. Interpretations of Tracer Tests Performed in the Culebra Dolomite at the Waste Isolation Pilot Plant Site

    SciTech Connect (OSTI)

    MEIGS,LUCY C.; BEAUHEIM,RICHARD L.; JONES,TOYA L.

    2000-08-01T23:59:59.000Z

    This report provides (1) an overview of all tracer testing conducted in the Culebra Dolomite Member of the Rustler Formation at the Waste Isolation Pilot Plant (WPP) site, (2) a detailed description of the important information about the 1995-96 tracer tests and the current interpretations of the data, and (3) a summary of the knowledge gained to date through tracer testing in the Culebra. Tracer tests have been used to identify transport processes occurring within the Culebra and quantify relevant parameters for use in performance assessment of the WIPP. The data, especially those from the tests performed in 1995-96, provide valuable insight into transport processes within the Culebra. Interpretations of the tracer tests in combination with geologic information, hydraulic-test information, and laboratory studies have resulted in a greatly improved conceptual model of transport processes within the Culebra. At locations where the transmissivity of the Culebra is low (< 4 x 10{sup -6} m{sup 2}/s), we conceptualize the Culebra as a single-porosity medium in which advection occurs largely through the primary porosity of the dolomite matrix. At locations where the transmissivity of the Culebra is high (> 4 x 10{sup -6} m{sup 2}/s), we conceptualize the Culebra as a heterogeneous, layered, fractured medium in which advection occurs largely through fractures and solutes diffuse between fractures and matrix at multiple rates. The variations in diffusion rate can be attributed to both variations in fracture spacing (or the spacing of advective pathways) and matrix heterogeneity. Flow and transport appear to be concentrated in the lower Culebra. At all locations, diffusion is the dominant transport process in the portions of the matrix that tracer does not access by flow.

  7. Interpretation of Colloid-Homologue Tracer Test 10-03, Including Comparisons to Test 10-01

    SciTech Connect (OSTI)

    Reimus, Paul W. [Los Alamos National Laboratory

    2012-06-26T23:59:59.000Z

    This presentation covers the interpretations of colloid-homologue tracer test 10-03 conducted at the Grimsel Test Site, Switzerland, in 2010. It also provides a comparison of the interpreted test results with those of tracer test 10-01, which was conducted in the same fracture flow system and using the same tracers than test 10-03, but at a higher extraction flow rate. A method of correcting for apparent uranine degradation in test 10-03 is presented. Conclusions are: (1) Uranine degradation occurred in test 10-03, but not in 10-01; (2) Uranine correction based on apparent degradation rate in injection loop in test 11-02 seems reasonable when applied to data from test 10-03; (3) Colloid breakthrough curves quite similar in the two tests with similar recoveries relative to uranine (after correction); and (4) Much slower apparent desorption of homologues in test 10-03 than in 10-01 (any effect of residual homologues from test 10-01 in test 10-03?).

  8. Interpreting Energy and Tracer Spectra of Upper-Ocean Turbulence in the Submesoscale Range (1–200 km)

    E-Print Network [OSTI]

    Ferrari, Raffaele

    Submesoscale (1–200 km) wavenumber spectra of kinetic and potential energy and tracer variance are obtained from in situ observations in the Gulf Stream region and in the eastern subtropical North Pacific. In the Gulf ...

  9. Core follow calculation with the nTRACER numerical reactor and verification using power reactor measurement data

    SciTech Connect (OSTI)

    Jung, Y. S.; Joo, H. G. [Seoul National University, 1 Gwanak-ro, Gwanak-gu, Seoul (Korea, Republic of); Yoon, J. I. [KEPCO Nuclear Fuel, 1047 Daedukdae-ro, Yuseong-gu, Daejeon (Korea, Republic of)

    2013-07-01T23:59:59.000Z

    The nTRACER direct whole core transport code employing the planar MOC solution based 3-D calculation method, the subgroup method for resonance treatment, the Krylov matrix exponential method for depletion, and a subchannel thermal/hydraulic calculation solver was developed for practical high-fidelity simulation of power reactors. Its accuracy and performance is verified by comparing with the measurement data obtained for three pressurized water reactor cores. It is demonstrated that accurate and detailed multi-physic simulation of power reactors is practically realizable without any prior calculations or adjustments. (authors)

  10. PROOF OF CONCEPT TEST OF A UNIQUE GASEOUS PERFLUROCARBON TRACER SYSTEM FOR VERIFICATION AND LONG TERM MONITORING OF CAPS AND COVER SYSTEMS CONDUCTED AT THE SAVANNAH RIVER SITE BENTONITE MAT TEST FACILITY.

    SciTech Connect (OSTI)

    HEISER,J.; SULLIVAN,T.; SERRATO,M.

    2002-02-24T23:59:59.000Z

    Engineered covers have been placed on top of buried/subsurface wastes to minimize water infiltration and therefore, release of hazardous contaminants. In order for the cover to protect the environment it must remain free of holes and breaches throughout its service life. Covers are subject to subsidence, erosion, animal intrusion, plant root infiltration, etc., all of which will affect the overall performance of the cover. The U.S. Department of Energy Environmental Management (DOE-EM) Program 2006 Accelerated Cleanup Plan is pushing for rapid closure of many of the DOE facilities. This will require a great number of new cover systems. Some of these new covers are expected to maintain their performance for periods of up to 1000 years. Long-term stewardship will require monitoring/verification of cover performance over the course of the designed lifetime. In addition, many existing covers are approaching the end of their design life and will need validation of current performance (if continued use is desired) or replacement (if degraded). The need for a reliable method of verification and long-term monitoring is readily apparent. Currently, failure is detected through monitoring wells downstream of the waste site. This is too late as the contaminants have already left the disposal area. The proposed approach is the use of gaseous Perfluorocarbon tracers (PFT) to verify and monitor cover performance. It is believed that PFTs will provide a technology that can verify a cover meets all performance objectives upon installation, be capable of predicting changes in cover performance and failure (defined as contaminants leaving the site) before it happens, and be cost-effective in supporting stewardship needs. The PFTs are injected beneath the cover and air samples taken above (either air samples or soil gas samples) at the top of the cover. The location, concentrations, and time of arrival of the tracer(s) provide a direct measure of cover performance. PFT technology can be used as a non-invasive method (if injection ports are emplaced prior to cover emplacement) on new covers or a minimally invasive method on existing covers. PFT verification will be useful at all buried waste sites using a cover system (e.g., treated or untreated chemical waste landfills) including DOE, commercial, and private sector sites. This paper discusses the initial field trial of the PFT cover monitoring system performed at the Savannah River Site (SRS) in FY01. The experiments provided a successful proof-of-principle test of the PFT technology in monitoring caps and covers. An injection and sampling array was installed in the Bentomat test cap at the SRS Caps Test Facility. This system contained 6 feet of sandy soil beneath a 1/2 inch geosynthetic clay liner covered by an HDPE liner which was covered by 2 feet of clayey top soil. PFTs were injected into the sandy soil though a pre-existing system of access pipes below the cap and soil gas samples were taken on top of the cap. Mid-way into the injection period a series of 1 1/2 inch holes were punched into the cap (through the geomembrane) to provide a positive breach in the cap. Data will be presented that shows the initial cap was fairly tight and leak free and that the artificially induced leaks were detectable within two hours of occurrence.

  11. Time-scales of passive tracers in the ocean with paleoapplications

    E-Print Network [OSTI]

    Siberlin, Charlotte

    2010-01-01T23:59:59.000Z

    Quantifying time-responses of the ocean to passive and active tracers is critical when interpreting paleodata from sediment cores. Surface-injected tracers are not spreading instantaneously or uniformly throughout the ...

  12. DESCRIPTION OF HETEROGENEOUS USING PRESSURE AND TRACER DATA

    E-Print Network [OSTI]

    Stanford University

    DESCRIPTION OF HETEROGENEOUS RESERVOIRS USING PRESSURE AND TRACER DATA A DISSERTATION SUBMITTED of characterizing areally heterogeneous reservoirs through the interpretation of pressure data and tracer data for the selected reservoir model, increases the tolerance to noise in the data, increases the confidence

  13. Novel Multi-dimensional Tracers for Geothermal Inter-wall Diagnostics

    Broader source: Energy.gov [DOE]

    DOE Geothermal Peer Review 2010 - Presentation. The objective of this project is to develop a matrix of the smart geothermal tracer and its interpretation tools.

  14. Biological tracer method

    DOE Patents [OSTI]

    Strong-Gunderson, J.M.; Palumbo, A.V.

    1998-09-15T23:59:59.000Z

    The present invention is a biological tracer method for characterizing the movement of a material through a medium, comprising the steps of: introducing a biological tracer comprising a microorganism having ice nucleating activity into a medium; collecting at least one sample of the medium from a point removed from the introduction point; and analyzing the sample for the presence of the biological tracer. The present invention is also a method for using a biological tracer as a label for material identification by introducing a biological tracer having ice nucleating activity into a material, collecting a sample of a portion of the labelled material and analyzing the sample for the presence of the biological tracer. 2 figs.

  15. Biological tracer method

    DOE Patents [OSTI]

    Strong-Gunderson, Janet M. (Ten Mile, TN); Palumbo, Anthony V. (Oak Ridge, TN)

    1998-01-01T23:59:59.000Z

    The present invention is a biological tracer method for characterizing the movement of a material through a medium, comprising the steps of: introducing a biological tracer comprising a microorganism having ice nucleating activity into a medium; collecting at least one sample of the medium from a point removed from the introduction point; and analyzing the sample for the presence of the biological tracer. The present invention is also a method for using a biological tracer as a label for material identification by introducing a biological tracer having ice nucleating activity into a material, collecting a sample of a portion of the labelled material and analyzing the sample for the presence of the biological tracer.

  16. Using Thermally-Degrading, Partitioning, and Nonreactive Tracers to Determine Temperature Distribution and Fracture/Heat Transfer Surface Area in Geothermal Reservoirs

    Broader source: Energy.gov [DOE]

    DOE Geothermal Peer Review 2010 - Project Summary. The goal of this project is to provide integrated tracer and tracer interpretation tools to facilitate quantitative characterization of temperature distributions and surface area available for heat transfer in EGS.

  17. Development of Models to Simulate Tracer Tests for Characterization of Enhanced Geothermal Systems

    SciTech Connect (OSTI)

    Williams, Mark D.; Reimus, Paul; Vermeul, Vincent R.; Rose, Peter; Dean, Cynthia A.; Watson, Tom B.; Newell, D.; Leecaster, Kevin; Brauser, Eric

    2013-05-01T23:59:59.000Z

    A recent report found that power and heat produced from enhanced (or engineered) geothermal systems (EGSs) could have a major impact on the U.S energy production capability while having a minimal impact on the environment. EGS resources differ from high-grade hydrothermal resources in that they lack sufficient temperature distribution, permeability/porosity, fluid saturation, or recharge of reservoir fluids. Therefore, quantitative characterization of temperature distributions and the surface area available for heat transfer in EGS is necessary for the design and commercial development of the geothermal energy of a potential EGS site. The goal of this project is to provide integrated tracer and tracer interpretation tools to facilitate this characterization. This project was initially focused on tracer development with the application of perfluorinated tracer (PFT) compounds, non-reactive tracers used in numerous applications from atmospheric transport to underground leak detection, to geothermal systems, and evaluation of encapsulated PFTs that would release tracers at targeted reservoir temperatures. After the 2011 midyear review and subsequent discussions with the U.S. Department of Energy Geothermal Technology Program (GTP), emphasis was shifted to interpretive tool development, testing, and validation. Subsurface modeling capabilities are an important component of this project for both the design of suitable tracers and the interpretation of data from in situ tracer tests, be they single- or multi-well tests. The purpose of this report is to describe the results of the tracer and model development for simulating and conducting tracer tests for characterizing EGS parameters.

  18. Introduction Verification

    E-Print Network [OSTI]

    Kuhn, Matthew R.

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

  19. Verification of Geothermal Tracer Methods in Highly Constrained...

    Open Energy Info (EERE)

    The heat exchange between hot water injected into the fracture and the relatively cool rock is measured using a fiber optic distributed temperature sensor which will produce...

  20. Verification of Geothermal Tracer Methods in Highly Constrained Field

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga,planning methodologiesVenkataraya Fibres PvtVerdi

  1. AN INTEGRATED APPROACH TO CHARACTERIZING BYPASSED OIL IN HETEROGENEOUS AND FRACTURED RESERVOIRS USING PARTITIONING TRACERS

    SciTech Connect (OSTI)

    Akhil Datta-Gupta

    2003-08-01T23:59:59.000Z

    We explore the use of efficient streamline-based simulation approaches for modeling partitioning interwell tracer tests in hydrocarbon reservoirs. Specifically, we utilize the unique features of streamline models to develop an efficient approach for interpretation and history matching of field tracer response. A critical aspect here is the underdetermined and highly ill-posed nature of the associated inverse problems. We have adopted an integrated approach whereby we combine data from multiple sources to minimize the uncertainty and non-uniqueness in the interpreted results. For partitioning interwell tracer tests, these are primarily the distribution of reservoir permeability and oil saturation distribution. A novel approach to multiscale data integration using Markov Random Fields (MRF) has been developed to integrate static data sources from the reservoir such as core, well log and 3-D seismic data. We have also explored the use of a finite difference reservoir simulator, UTCHEM, for field-scale design and optimization of partitioning interwell tracer tests. The finite-difference model allows us to include detailed physics associated with reactive tracer transport, particularly those related with transverse and cross-streamline mechanisms. We have investigated the potential use of downhole tracer samplers and also the use of natural tracers for the design of partitioning tracer tests. Finally, the behavior of partitioning tracer tests in fractured reservoirs is investigated using a dual-porosity finite-difference model.

  2. Design for manufacturability Design verification

    E-Print Network [OSTI]

    Patel, Chintan

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

  3. Innovative techniques for the description of reservoir heterogeneity using tracers. Second technical annual progress report, October 1991--September 1992

    SciTech Connect (OSTI)

    Pope, G.A.; Sepehrnoori, K.

    1992-12-31T23:59:59.000Z

    This second annual report on innovative uses of tracers for reservoir characterization contains four sections each describing a novel use of oilfield tracers. The first section describes and illustrates the use of a new single-well tracer test to estimate wettability. This test consists of the injection of brine containing tracers followed by oil containing tracers, a shut-in period to allow some of the tracers to react, and then production of the tracers. The inclusion of the oil injection slug with tracers is unique to this test, and this is what makes the test work. We adapted our chemical simulator, UTCHEM, to enable us to study this tracer method and made an extensive simulation study to evaluate the effects of wettability based upon characteristic curves for relative permeability and capillary pressure for differing wetting states typical of oil reservoirs. The second section of this report describes a new method for analyzing interwell tracer data based upon a type-curve approach. Theoretical frequency response functions were used to build type curves of ``transfer function`` and ``phase spectrum`` that have dimensionless heterogeneity index as a parameter to characterize a stochastic permeability field. We illustrate this method by analyzing field tracer data. The third section of this report describes a new theory for interpreting interwell tracer data in terms of channeling and dispersive behavior for reservoirs. Once again, a stochastic approach to reservoir description is taken. The fourth section of this report describes our simulation of perfluorocarbon gas tracers. This new tracer technology developed at Brookhaven National Laboratory is being tested at the Elk Hills Naval Petroleum Reserve No. 1 in California. We report preliminary simulations made of these tracers in one of the oil reservoirs under evaluation with these tracers in this field. Our compostional simulator (UTCOMP) was used for this simulation study.

  4. Tracer airflow measurement system (TRAMS)

    DOE Patents [OSTI]

    Wang, Duo (Albany, CA)

    2007-04-24T23:59:59.000Z

    A method and apparatus for measuring fluid flow in a duct is disclosed. The invention uses a novel high velocity tracer injector system, an optional insertable folding mixing fan for homogenizing the tracer within the duct bulk fluid flow, and a perforated hose sampling system. A preferred embodiment uses CO.sub.2 as a tracer gas for measuring air flow in commercial and/or residential ducts. In extant commercial buildings, ducts not readily accessible by hanging ceilings may be drilled with readily plugged small diameter holes to allow for injection, optional mixing where desired using a novel insertable foldable mixing fan, and sampling hose.

  5. Programming Interpreter

    E-Print Network [OSTI]

    Carette, Jacques

    of command interpreters: -- Mouse­based window and menu system -- Command line interpreter (called a shell --- Concurrent System Design 3.16 18 Command­Line Arguments in C #include // args.c int main(int argc; } . argv contains the whole command line . char * argv[] can be used as an array with argc elements

  6. Integrated Approach to Use Natural Chemical and Isotopic Tracers to Estimate Fracture Spacing and Surface Area in EGS Systems

    Broader source: Energy.gov [DOE]

    DOE Geothermal Peer Review 2010 - Presentation. This objective of this project is to develop an innovative approach to estimate fracture surface area and spacing through interpretation of signals of natural chemical and isotopic tracers.

  7. Diagnostic Implications of the Reactivity of Fluorescence Tracers

    SciTech Connect (OSTI)

    Sick, V; Westbrook, C

    2008-07-14T23:59:59.000Z

    Measurements of fuel concentration distributions with planar laser induced fluorescence of tracer molecules that are added to a base fuel are commonly used in combustion research and development. It usually is assumed that the tracer concentration follows the parent fuel concentration if physical properties such as those determining evaporation are matched. As an example to address this general issue a computational study of combustion of biacetyl/iso-octane mixtures was performed to investigate how well the concentration of biacetyl represents the concentration of iso-octane. For premixed mixture conditions with flame propagation the spatial concentration profiles of the two species in the flame front are separated by 110 {micro}m at 1 bar and by 11 {micro}m at 10 bar. For practical applications this spatial separation is insignificantly small. However, for conditions that mimic ignition and combustion in diesel and HCCI-like operation the differences in tracer and fuel concentration can be significant, exceeding hundreds of percent. At low initial temperature biacetyl was found to be more stable whereas at higher temperature (>1000K) iso-octane is more stable. Similar findings were obtained for a multi-component fuel comprised of iso-octane, n-heptane, methylcyclohexane, and toluene. It may be assumed that similar differences can exist for other tracer/fuel combinations. Caution has therefore to be applied when interpreting PLIF measurements in homogeneous reaction conditions such as in HCCI engine studies.

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

  9. Development of Models to Simulate Tracer Behavior in Enhanced Geothermal Systems

    SciTech Connect (OSTI)

    Williams, Mark D.; Vermeul, Vincent R.; Reimus, P. W.; Newell, D.; Watson, Tom B.

    2010-06-01T23:59:59.000Z

    A recent report found that power and heat produced from engineered (or enhanced) geothermal systems (EGSs) could have a major impact on the United States while incurring minimal environmental impacts. EGS resources differ from high-grade hydrothermal resources in that they lack sufficient temperature distributions, permeability/porosity, fluid saturation, or recharge of reservoir fluids. Therefore, quantitative characterization of temperature distributions and the surface area available for heat transfer in EGS is necessary for commercial development of geothermal energy. The goal of this project is to provide integrated tracer and tracer interpretation tools to facilitate this characterization. Modeling capabilities are being developed as part of this project to support laboratory and field testing to characterize engineered geothermal systems in single- and multi-well tests using tracers. The objective of this report is to describe the simulation plan and the status of model development for simulating tracer tests for characterizing EGS.

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

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

    Office of Environmental Management (EM)

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

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

  13. Verification of RADTRAN

    SciTech Connect (OSTI)

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

    1995-12-31T23:59:59.000Z

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

  14. 5, 58415874, 2005 Ozone/tracer

    E-Print Network [OSTI]

    Boyer, Edmond

    ACPD 5, 5841­5874, 2005 Ozone/tracer relations in the polar vortex R. M¨uller et al. Title Page Discussions Impact of mixing and chemical change on ozone-tracer relations in the polar vortex R. M¨uller 1 Commons License. 5841 #12;ACPD 5, 5841­5874, 2005 Ozone/tracer relations in the polar vortex R. M¨uller et

  15. Petroleum characterization by perfluorocarbon tracers

    SciTech Connect (OSTI)

    Senum, G.I.; Fajer, R.W. (Brookhaven National Lab., Upton, NY (United States)); Harris, B.R. Jr. (USDOE Naval Petroleum Reserves in California, Tupman, CA (United States)); DeRose, W.E. (Bechtel Petroleum Operations, Inc., Tupman, CA (United States)); Ottaviani, W.L. (Chevron U.S.A., Inc., Bakersfield, CA (United States))

    1992-02-01T23:59:59.000Z

    Perfluorocarbon tracers (PFTs), a class of six compounds, were used to help characterize the Shallow Oil Zone (SOZ) reservoir at the Naval Petroleum Reserve in California (NPRC) at Elk Hills. The SOZ reservoir is undergoing a pilot gas injection program to assess the technical feasibility and economic viability of injecting gas into the SOZ for improved oil recovery. PFTs were utilized in the pilot gas injection to qualitatively assess the extent of the pilot gas injection so as to determine the degree of gas containment within the SOZ reservoir.

  16. Tracer Testing | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga, Indiana (Utility Company) Jump to:TownTownerOpenEnergyG, andTracer

  17. A Tracer Test Using Ethanol as a Two-Phase Tracer and 2-Naphthalene...

    Open Energy Info (EERE)

    Test Using Ethanol as a Two-Phase Tracer and 2-Naphthalene Sulfonate as a Liquid-Phase Tracer at the Coso Geothermal Field Jump to: navigation, search OpenEI Reference LibraryAdd...

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

    E-Print Network [OSTI]

    Encrenaz-Tiphène, Emmanuelle

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

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

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

  1. MULTIVESSEL BATCH DISTILLATION EXPERIMENTAL VERIFICATION

    E-Print Network [OSTI]

    Skogestad, Sigurd

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

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

  3. Advancing reactive tracer methods for measuring thermal evolution...

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

    ability to accurately detect reservoir characteristics including fluid pathways, dynamics, residence time, etc." - 4.1.5.1-Barrier J: "Inadequate tracers andor tracer...

  4. Unraveling DPF Degradation using Chemical Tracers and Opportunities...

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

    Unraveling DPF Degradation using Chemical Tracers and Opportunities for Extending Filter Life Unraveling DPF Degradation using Chemical Tracers and Opportunities for Extending...

  5. Novel Multidimensional Tracers for Geothermal Inter-Well Diagnostics...

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

    of Tracers to Characterize Fractures in Engineered Geothermal Systems Advancing reactive tracer methods for measuring thermal evolution in CO2-and water-based geothermal reservoirs...

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

    SciTech Connect (OSTI)

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

    1986-12-01T23:59:59.000Z

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

  8. Environmental Technology Verification Program

    E-Print Network [OSTI]

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

  9. Using Biofuel Tracers to Study Alternative Combustion Regimes

    E-Print Network [OSTI]

    Mack, John Hunter; Flowers, Daniel L.; Buchholz, Bruce A.; Dibble, Robert W.

    2006-01-01T23:59:59.000Z

    Section B (NIMB) Using Biofuel Tracers to Study Alternativeinjection. We investigate biofuel HCCI combustion, and use

  10. On Incremental Quantitative Verification for Probabilistic Systems

    E-Print Network [OSTI]

    Oxford, University of

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

  11. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

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

  12. Enhanced Oil Recovery: Aqueous Flow Tracer Measurement

    SciTech Connect (OSTI)

    Joseph Rovani; John Schabron

    2009-02-01T23:59:59.000Z

    A low detection limit analytical method was developed to measure a suite of benzoic acid and fluorinated benzoic acid compounds intended for use as tracers for enhanced oil recovery operations. Although the new high performance liquid chromatography separation successfully measured the tracers in an aqueous matrix at low part per billion levels, the low detection limits could not be achieved in oil field water due to interference problems with the hydrocarbon-saturated water using the system's UV detector. Commercial instrument vendors were contacted in an effort to determine if mass spectrometry could be used as an alternate detection technique. The results of their work demonstrate that low part per billion analysis of the tracer compounds in oil field water could be achieved using ultra performance liquid chromatography mass spectrometry.

  13. Security and Verification Provable cryptography

    E-Print Network [OSTI]

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

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

  14. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15T23:59:59.000Z

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

  15. Geologic flow characterization using tracer techniques

    SciTech Connect (OSTI)

    Klett, R. D.; Tyner, C. E.; Hertel, Jr., E. S.

    1981-04-01T23:59:59.000Z

    A new tracer flow-test system has been developed for in situ characterization of geologic formations. This report describes two sets of test equipment: one portable and one for testing in deep formations. Equations are derived for in situ detector calibration, raw data reduction, and flow logging. Data analysis techniques are presented for computing porosity and permeability in unconfined isotropic media, and porosity, permeability and fracture characteristics in media with confined or unconfined two-dimensional flow. The effects of tracer pulse spreading due to divergence, dispersion, and porous formations are also included.

  16. Method of dispersing particulate aerosol tracer

    DOE Patents [OSTI]

    O'Holleran, Thomas P. (Belleville, MI)

    1988-01-01T23:59:59.000Z

    A particulate aerosol tracer which comprises a particulate carrier of sheet silicate composition having a particle size up to one micron, and a cationic dopant chemically absorbed in solid solution in the carrier. The carrier is preferably selected from the group consisting of natural mineral clays such as bentonite, and the dopant is selected from the group consisting of rare earth elements and transition elements. The tracers are dispersed by forming an aqueous salt solution with the dopant present as cations, dispersing the carriers in the solution, and then atomizing the solution under heat sufficient to superheat the solution droplets at a level sufficient to prevent reagglomeration of the carrier particles.

  17. ORISE: Independent verification

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated CodesTransparencyDOE ProjectCrisisIndependent verification ORISE

  18. Model Verification and Validation

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1 SECTION A.Model Verification and Validation Engineering

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

  20. Data Acquisition Interpretation

    E-Print Network [OSTI]

    Oldenburg, Douglas W.

    Data Acquisition Inversion Interpretation Discussion Virgin River DCIP Report Justin Granek1 1 Report #12;Data Acquisition Inversion Interpretation Discussion Outline 1 Data Acquisition Location Survey Specications 2 Inversion Data Errors DCIP2D DCIP3D 3 Interpretation Correlations Snowbird Tectonic

  1. Informal Report USE OF PERFLUOROCARBON TRACER (PFT) TECHNOLOGY

    E-Print Network [OSTI]

    BNL-66726 Informal Report USE OF PERFLUOROCARBON TRACER (PFT) TECHNOLOGY FOR SUBSURFACE BARRIER and concentrations in the range of a few hundred ppm. Approximately 65 liters of air laced with tracer was injected

  2. An Integrated Approach to Characterizing Bypassed Oil in Heterogeneous and Fractured Reservoirs Using Partitioning Tracers

    SciTech Connect (OSTI)

    Akhil Datta-Gupta

    2006-12-31T23:59:59.000Z

    We explore the use of efficient streamline-based simulation approaches for modeling partitioning interwell tracer tests in hydrocarbon reservoirs. Specifically, we utilize the unique features of streamline models to develop an efficient approach for interpretation and history matching of field tracer response. A critical aspect here is the underdetermined and highly ill-posed nature of the associated inverse problems. We have investigated the relative merits of the traditional history matching ('amplitude inversion') and a novel travel time inversion in terms of robustness of the method and convergence behavior of the solution. We show that the traditional amplitude inversion is orders of magnitude more non-linear and the solution here is likely to get trapped in local minimum, leading to inadequate history match. The proposed travel time inversion is shown to be extremely efficient and robust for practical field applications. The streamline approach is generalized to model water injection in naturally fractured reservoirs through the use of a dual media approach. The fractures and matrix are treated as separate continua that are connected through a transfer function, as in conventional finite difference simulators for modeling fractured systems. A detailed comparison with a commercial finite difference simulator shows very good agreement. Furthermore, an examination of the scaling behavior of the computation time indicates that the streamline approach is likely to result in significant savings for large-scale field applications. We also propose a novel approach to history matching finite-difference models that combines the advantage of the streamline models with the versatility of finite-difference simulation. In our approach, we utilize the streamline-derived sensitivities to facilitate history matching during finite-difference simulation. The use of finite-difference model allows us to account for detailed process physics and compressibility effects. The approach is very fast and avoids much of the subjective judgments and time-consuming trial-and-errors associated with manual history matching. We demonstrate the power and utility of our approach using a synthetic example and two field examples. We have also explored the use of a finite difference reservoir simulator, UTCHEM, for field-scale design and optimization of partitioning interwell tracer tests. The finite-difference model allows us to include detailed physics associated with reactive tracer transport, particularly those related with transverse and cross-streamline mechanisms. We have investigated the potential use of downhole tracer samplers and also the use of natural tracers for the design of partitioning tracer tests. Finally, we discuss several alternative ways of using partitioning interwell tracer tests (PITTs) in oil fields for the calculation of oil saturation, swept pore volume and sweep efficiency, and assess the accuracy of such tests under a variety of reservoir conditions.

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

  4. Chelated Indium Activable Tracers for Geothermal Reservoirs

    E-Print Network [OSTI]

    Stanford University

    Center (SLAC), for providing the califclmiurh-252 neutron source. Appreciation is extended to Lew, rock size, and temperature on the tracer adsoqjtion and ther- mal degradation. The rock employed for these measurements was gragwacke, a prek valent rock type at The Geysers, California geothermal field. The re

  5. Automated Verification of Quantum Protocols using MCMAS

    E-Print Network [OSTI]

    F. Belardinelli; P. Gonzalez; A. Lomuscio

    2012-07-04T23:59:59.000Z

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

  6. A continuous fast-response dual-tracer analyzer for halogenated atmospheric tracer studies

    SciTech Connect (OSTI)

    Rydock, J.P.; Lamb, B.K. [Washington State Univ., Pullman, WA (United States)] [Washington State Univ., Pullman, WA (United States)

    1994-10-01T23:59:59.000Z

    An apparatus for the simultaneous measurement of two tracers, sulfur hexafluoride (SF6) and a perfluorocarbon compound, is introduced. The new instrument is a modification of a commercially available fast-response, continuous analyzer for single halogenated atmospheric tracer studies. A two-channel flow system was implemented consisting of an alumina cartridge in one channel and a glass beads cartridge of equal flow resistance in the second channel. The alumina passes only sulfur hexafluoride, while the glass beads pass both SF6 and the perfluoroarbon tracer. The SF6 is quantified directly from the electron capture detector (ECD) signal in the alumina channel, and the perfluorocarbon concentration is obtained from the difference of the ECD responses in the two channels. The dual-tracer analyzer is field portable for mobile operations or fixed-location monitoring, has a response time of 1.2 s, and has limits of detection of about 15 pptv for SF6 and 10 pptv for perfluoro-methylcyclohexane, which was the principal perfluorocarbon tracer used in this study. The present instrument configuration, which requires periodic purging of the adsorbent trap, can obtain continuous measurements for a 10-15-min segment in every half hour of operation. Dual-tracer data from a field demonstration test are presented.

  7. Runtime verification for stochastic systems

    E-Print Network [OSTI]

    Wilcox, Cristina M

    2010-01-01T23:59:59.000Z

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

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

  9. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

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

  10. Advancing Reactive Tracer Methods for Measurement of Thermal Evolution in Geothermal Reservoirs: Final Report

    SciTech Connect (OSTI)

    Mitchell A. Plummer; Carl D. Palmer; Earl D. Mattson; Laurence C. Hull; George D. Redden

    2011-07-01T23:59:59.000Z

    The injection of cold fluids into engineered geothermal system (EGS) and conventional geothermal reservoirs may be done to help extract heat from the subsurface or to maintain pressures within the reservoir (e.g., Rose et al., 2001). As these injected fluids move along fractures, they acquire heat from the rock matrix and remove it from the reservoir as they are extracted to the surface. A consequence of such injection is the migration of a cold-fluid front through the reservoir (Figure 1) that could eventually reach the production well and result in the lowering of the temperature of the produced fluids (thermal breakthrough). Efficient operation of an EGS as well as conventional geothermal systems involving cold-fluid injection requires accurate and timely information about thermal depletion of the reservoir in response to operation. In particular, accurate predictions of the time to thermal breakthrough and subsequent rate of thermal drawdown are necessary for reservoir management, design of fracture stimulation and well drilling programs, and forecasting of economic return. A potential method for estimating migration of a cold front between an injection well and a production well is through application of reactive tracer tests, using chemical whose rate of degradation is dependent on the reservoir temperature between the two wells (e.g., Robinson 1985). With repeated tests, the rate of migration of the thermal front can be determined, and the time to thermal breakthrough calculated. While the basic theory behind the concept of thermal tracers has been understood for some time, effective application of the method has yet to be demonstrated. This report describes results of a study that used several methods to investigate application of reactive tracers to monitoring the thermal evolution of a geothermal reservoir. These methods included (1) mathematical investigation of the sensitivity of known and hypothetical reactive tracers, (2) laboratory testing of novel tracers that would improve method sensitivity, (3) development of a software tool for design and interpretation of reactive tracer tests and (4) field testing of the reactive tracer temperature monitoring concept.

  11. Asian Tracer Experiment and Atmospheric Modeling (TEAM) Project: Draft Field Work Plan for the Asian Long-Range Tracer Experiment

    SciTech Connect (OSTI)

    Allwine, K Jerry; Flaherty, Julia E.

    2007-08-01T23:59:59.000Z

    This report provides an experimental plan for a proposed Asian long-range tracer study as part of the international Tracer Experiment and Atmospheric Modeling (TEAM) Project. The TEAM partners are China, Japan, South Korea and the United States. Optimal times of year to conduct the study, meteorological measurements needed, proposed tracer release locations, proposed tracer sampling locations and the proposed durations of tracer releases and subsequent sampling are given. Also given are the activities necessary to prepare for the study and the schedule for completing the preparation activities leading to conducting the actual field operations. This report is intended to provide the TEAM members with the information necessary for planning and conducting the Asian long-range tracer study. The experimental plan is proposed, at this time, to describe the efforts necessary to conduct the Asian long-range tracer study, and the plan will undoubtedly be revised and refined as the planning goes forward over the next year.

  12. INTERPRETATION OF TRACER SURFACE DIFFUSION EXPERIMENTS ON UO2 ROLES OF GAS AND SOLID TRANSPORT PROCESSES

    E-Print Network [OSTI]

    Olander, D.R.

    2013-01-01T23:59:59.000Z

    hydrogen. This extrapolation was made using Eq [2) and the values of the trans- port properties (hydrogen in the MK experiment means that the UO is probably not stoichiometric. That this transport property

  13. Interpretation, Analysis and Design of Inter-well Tracer Tests in Naturally Fractured Reservoirs

    E-Print Network [OSTI]

    Alramadhan, Aymen Abduljalil

    2013-08-19T23:59:59.000Z

    of normalized net swept volumes (Sherrod 1012) ............... 69 Figure 4.8 Distribution of normalized net swept volumes (Sherrod 2118) ............... 69 Figure 4.9 Distribution of normalized net swept volumes (Sherrod 2325) ............... 70 Figure 4... for ?Sherrod 701? ................................ 74 Figure 4.19 Normalized swept volume map for ?Sherrod 1301? ............................... 75 Figure 4.20 Normalized swept volume map for ?Sherrod 1012? .............................. 75 Figure 4...

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

  15. Technical challenges for dismantlement verification

    SciTech Connect (OSTI)

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

    1997-11-01T23:59:59.000Z

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

  16. Tracers and Exploration Technologies | 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 DataDepartment of Energy Your Density Isn'tOriginEducationVideoStrategic|Industrial Sector,DepartmentFebruary 19,TopProcess |Town o5Tracers

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

    E-Print Network [OSTI]

    Jouannaud, Jean-Pierre

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

  18. atmospheric tracer experiments: Topics by E-print Network

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

    112 6.1. Meteorological conditions 112 6.2. Roughness length 6 Uncertainties in gas exchange parameterization during the SAGE dual-tracer experiment Geosciences Websites...

  19. abdominal tracer activity: Topics by E-print Network

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

    the curvature of the tracer affects its translational and rotational motion in an active environment. We find that even very small amounts of curvature are sufficient for the...

  20. Advancing Reactive Tracer Methods for Measuring Thermal Evolution...

    Open Energy Info (EERE)

    Advancing Reactive Tracer Methods for Measuring Thermal Evolution in CO2- and Water-Based Geothermal Reservoirs Geothermal Lab Call Project Jump to: navigation, search Last...

  1. Using Thermally-Degrading, Partitioning, and Nonreactive Tracers...

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

    surface area to volume ratios in fractured rock groundwater systems - differential tracer transport has also been used by Brookhaven National Laboratory (BNL) and others in oil...

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

  3. Multispecies Reactive Tracer Test in a Sand and

    E-Print Network [OSTI]

    Multispecies Reactive Tracer Test in a Sand and Gravel Aquifer, Cape Cod, Massachusetts United;Multispecies Reactive Tracer Test in a Sand and Gravel Aquifer, Cape Cod, Massachusetts Part 2 Transport- effectiveness for prevention and control of pollution to air, land, water, and subsurface resources; protection

  4. Methods and systems using encapsulated tracers and chemicals for reservoir interrogation and manipulation

    DOE Patents [OSTI]

    Roberts, Jeffery; Aines, Roger D; Duoss, Eric B; Spadaccini, Christopher M

    2014-11-04T23:59:59.000Z

    An apparatus, method, and system of reservoir interrogation. A tracer is encapsulating in a receptacle. The receptacle containing the tracer is injected into the reservoir. The tracer is analyzed for reservoir interrogation.

  5. National Biomedical Tracer Facility. Project definition study

    SciTech Connect (OSTI)

    Schafer, R.

    1995-02-14T23:59:59.000Z

    We request a $25 million government-guaranteed, interest-free loan to be repaid over a 30-year period for construction and initial operations of a cyclotron-based National Biomedical Tracer Facility (NBTF) in North Central Texas. The NBTF will be co-located with a linear accelerator-based commercial radioisotope production facility, funded by the private sector at approximately $28 million. In addition, research radioisotope production by the NBTF will be coordinated through an association with an existing U.S. nuclear reactor center that will produce research and commercial radioisotopes through neutron reactions. The combined facilities will provide the full range of technology for radioisotope production and research: fast neutrons, thermal neutrons, and particle beams (H{sup -}, H{sup +}, and D{sup +}). The proposed NBTF facility includes an 80 MeV, 1 mA H{sup -} cyclotron that will produce proton-induced (neutron deficient) research isotopes.

  6. Introduction of the Development ofIntroduction of the Development of New PET TracersNew PET Tracers

    E-Print Network [OSTI]

    Introduction of the Development ofIntroduction of the Development of New PET TracersNew PET Tracers The Center for Translational Neuroimaging KunKun--EekEek KilKil #12;Principles of PET-1 PET: Positron Emission Tomography #12;Principles of PET-2 Cyclotron Scanner #12;Principles of PET-3 0 0.01 0.02 0.03 0

  7. Functional Verification through Operation Diagnostics

    E-Print Network [OSTI]

    Burgoyne, B.

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

  8. Interpreting Deer Harvest Records.

    E-Print Network [OSTI]

    Guynn, Dwight E.

    1984-01-01T23:59:59.000Z

    I Texas A&M versity System Agricultural Extension Service Zerle L. Carpenter. Director College Station B-1486 People Helping People Interpreting Deer Harvest Records LIB ARY Dwight f. Guynn* JUN 11 1985 Deer harvest records... and adequacy of the har vest . The minimum data to collect from deer harvests are: ages, weights, body conditions and measurements of antler size. The data should be grouped according to age categories and ana lyzed separately for bucks and does . This pub...

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

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

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

    Paulsson, Johan

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

  13. EMERGING RENEWABLES PROGRAM SYSTEMS VERIFICATION REPORT

    E-Print Network [OSTI]

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

  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. Verification and Validation of Facilities Procedures Assessment...

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

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

  16. DOE Zero Energy Ready Home Verification...

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

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

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

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

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

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

    Office of Environmental Management (EM)

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

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

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

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

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

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

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

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

  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. Measurement and Verification Plan and Savings Calculations Methods...

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

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

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

  5. National Biomedical Tracer Facility: Project definition study

    SciTech Connect (OSTI)

    Heaton, R.; Peterson, E. [Los Alamos National Lab., NM (United States); Smith, P. [Smith (P.A.) Concepts and Designs (United States)

    1995-05-31T23:59:59.000Z

    The Los Alamos National Laboratory is an ideal institution and New Mexico is an ideal location for siting the National Biomedical Tracer Facility (NBTF). The essence of the Los Alamos proposal is the development of two complementary irradiation facilities that combined with our existing radiochemical processing hot cell facilities and waste handling and disposal facilities provide a low cost alternative to other proposals that seek to satisfy the objectives of the NBTF. We propose the construction of a 30 MeV cyclotron facility at the site of the radiochemical facilities, and the construction of a 100 MeV target station at LAMPF to satisfy the requirements and objectives of the NBTF. We do not require any modifications to our existing radiochemical processing hot cell facilities or our waste treatment and disposal facilities to accomplish the objectives of the NBTF. The total capital cost for the facility defined by the project definition study is $15.2 M. This cost estimate includes $9.9 M for the cyclotron and associated facility, $2.0 M for the 100 MeV target station at LAMPF, and $3.3 M for design.

  6. Mass spectral characterization of petroleum dyes, tracers, and additives

    SciTech Connect (OSTI)

    Youngless, T.L.; Swansiger, J.T.; Danner, D.A.; Greco, M.

    1985-08-01T23:59:59.000Z

    Petroleum dyes, additives, and tracers are important for identifying gasolines in spill and contamination problems. High-resolution mass spectrometry (HRMS) was used for the characterization of 21 commercial petroleum dyes. Many contained common chromophores, typically azo or anthraquinone groups, and often differed only in their degree of alkyl substitution. Few dyes were pure and typically contained several chromogens with homologous series of substituents. A separation method was developed to concentrate the polar fractions containing the additives. Subsequent characterization of the polar fraction by GC/MS showed distinct differences between different gasolines. Various colorless tracers were evaluated in terms of detectability, soil adsorption, and cost. Many tracers exhibited soil adsorption and interferences which limited their detectability. Alcohols in the C8-C10 range were found to be the most suitable tracers with GC/MS detection limits of 1 ppm. 22 references, 4 figures, 3 tables.

  7. Tracer-dilution method indicates flowrate through compressor

    SciTech Connect (OSTI)

    Lagus, P.L.; Flanagan, B.S. (Lagus Applied Technology Inc., San Diego, CA (US)); Peterson, M.E. (Tennessee Gas Pipeline Co., Middleton, TN (US)); Clowney, S.L. (Tenneco Gas, Houston, TX (US))

    1991-02-25T23:59:59.000Z

    A technique for measuring compressor flowrate through an operating natural-gas centrifugal compressor has been tested and found to have a precisions approaching {plus minus}1.5%. The technique employs constant-flow tracer dilution. Testing demonstrated that use of a critical-flow nozzle to inject a constant, known flow of tracer into a flowing natural-gas stream is feasible. Effects of potential pulsation on a tracer flow measurement appear to be eliminated by this technique. With experimental and operational streamlining, the constant-flow tracer dilution technique is capable of being used to measure the flowrate through operating centrifugal compressors with sufficient precisions and accuracy to allow compressor operating characteristics to be determined. This technique is especially useful in situations in which an orifice-flow measurement cannot be performed because of physical space limits or economic considerations.

  8. Quantum Dot Tracers for Use in Engineered Geothermal Systems

    Broader source: Energy.gov [DOE]

    DOE Geothermal Peer Review 2010 - Presentation. Project objective: To develop and demonstrate a new class of tracers?semiconductor nanoparticles(quantum dots)?that offer great promise for use in characterizing fracture networks in EGS reservoirs.

  9. Tracking thermal fronts with temperature-sensitive, chemically reactive tracers

    SciTech Connect (OSTI)

    Robinson, B.A.; Birdsell, S.A.

    1987-01-01T23:59:59.000Z

    Los Alamos is developing tracer techniques using reactive chemicals to track thermal fronts in fractured geothermal reservoirs. If a nonadsorbing tracer flowing from the injection to production well chemically reacts, its reaction rate will be a strong function of temperature. Thus the extent of chemical reaction will be greatest early in the lifetime of the system, and less as the thermal front progresses from the injection to production well. Early laboratory experiments identified tracers with chemical kinetics suitable for reservoirs in the temperature range of 75 to 100/sup 0/C. Recent kinetics studies have focused on the kinetics of hydrolysis of derivatives of bromobenzene. This class of reactions can be used in reservoirs ranging in temperature from 150 to 275/sup 0/C, which is of greater interest to the geothermal industry. Future studies will include laboratory adsorption experiments to identify possibly unwanted adsorption on granite, development of sensitive analytical techniques, and a field demonstration of the reactive tracer concept.

  10. Microfluidic Investigation of Tracer Dye Diffusion in Alumina Nanofluids 

    E-Print Network [OSTI]

    Ozturk, Serdar 1979-

    2012-10-05T23:59:59.000Z

    on enhanced mass diffusion and the possibility of tailoring mass transport by direct manipulation of molecular diffusion. Therefore, a microfluidic approach capable of directly probing tracer diffusion between nanoparticle-laden fluid streams was developed...

  11. Inverse modeling of partitioning interwell tracer tests: A streamline approach

    E-Print Network [OSTI]

    Datta-Gupta, Akhil

    computations, inverse modeling 1. Introduction [2] It is recognized that the presence of nonaqueous phaseInverse modeling of partitioning interwell tracer tests: A streamline approach Akhil Datta orders of magnitude. INDEX TERMS: 1832 Hydrology: Groundwater transport; 1829 Hydrology: Groundwater

  12. A Tracer Test Using Ethanol as a Two-Phase Tracer and 2-Naphthalene

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-fTriWildcat 1 WindtheEnergySulfonate as a Liquid-Phase Tracer at the Coso

  13. The feasibility of ethyl iodide as an atmospheric tracer

    E-Print Network [OSTI]

    Everett, Joe Vincent

    1976-01-01T23:59:59.000Z

    of Advisory Committee: Dr. R. D. Neff Interest in atmospheric diffusion has been heightened within the last decade by the increasing concern of air pollution and the possibility of radiation hazards intro- duced into the air from nuclear facilities.... Gaseous tracers provide an excellent means of measuring concentration levels at various points downwind of a facility. However, for long range stud cs, ve y low detectable levels are needed. Many problems encountered with tracers for use in long range...

  14. Resuspension rates from aged inert-tracer sources

    SciTech Connect (OSTI)

    Sehmel, G.A.

    1982-11-01T23:59:59.000Z

    Wind-caused particle resuspension rates were investigated with molybdenum tracers at two circular resuspension sites in the Hanford area. The tracer particles were calcium molybdate. The radii of each circular tracer-source area were 22.9 m and 29.9 m respectively for tracer deposited on 2 October 1973 and 29 May 1979. Resuspension rates were investigated by sampling resuspended tracer with air sampling equipment mounted as a function of height on a centrally located sampling tower at each site. Sampling equipment was operated as a function of wind speed increments in order to investigate resuspension rates, wind speed dependencies of resuspension rates, and for subsequent comparisons of resuspension rate changes as a function of time for constant wind speed ranges. Experimental results are reported for measurements over several years. Resuspension rates ranged from about 10/sup -13/ to 10/sup -6/ fraction of the tracer source resuspended per second. Resuspension rates tended to increase with increasing wind speed. At one investigation site, resuspension rates were nearly constant, except for seasonal variations, for a four-year time period. Resuspension rates appear higher in the autumn than in the spring and summer.

  15. HYDROGEL TRACER BEADS: THE DEVELOPMENT, MODIFICATION, AND TESTING OF AN INNOVATIVE TRACER FOR BETTER UNDERSTANDING LNAPL TRANSPORT IN KARST AQUIFERS

    SciTech Connect (OSTI)

    Amanda Laskoskie, Harry M. Edenborn, and Dorothy J. Vesper

    2012-01-01T23:59:59.000Z

    The goal of this specific research task is to develop proxy tracers that mimic contaminant movement to better understand and predict contaminant fate and transport in karst aquifers. Hydrogel tracer beads are transported as a separate phase than water and can used as a proxy tracer to mimic the transport of non-aqueous phase liquids (NAPL). They can be constructed with different densities, sizes & chemical attributes. This poster describes the creation and optimization of the beads and the field testing of buoyant beads, including sampling, tracer analysis, and quantitative analysis. The buoyant beads are transported ahead of the dissolved solutes, suggesting that light NAPL (LNAPL) transport in karst may occur faster than predicted from traditional tracing techniques. The hydrogel beads were successful in illustrating this enhanced transport.

  16. Formal Specification and Verification of Concurrent

    E-Print Network [OSTI]

    Berry, Daniel M.

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

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

  18. Department of Computer Science AUTOMATIC VERIFICATION OF

    E-Print Network [OSTI]

    Oxford, University of

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

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

  20. A Verification Platform System on Chip

    E-Print Network [OSTI]

    Melham, Tom

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

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

  2. ABSTRACT INTERPRETATION AND PARTITION REFINEMENT

    E-Print Network [OSTI]

    Dams, Dennis

    van de graad van doctor aan de Technische Universiteit Eindhoven, op gezag van de Rector Magnificus. ­ Eindhoven : Eindhoven University of Technology. ­ Ill. Thesis Technische Universiteit Eindhoven verification / model checking Copyright c fl 1996 by Dennis Dams Eindhoven University of Technology, P.O. Box

  3. Term-Level Verification of a Pipelined CISC Microprocessor

    E-Print Network [OSTI]

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

  4. TermLevel Verification of a Pipelined CISC Microprocessor

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Beyer, Dirk

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

  6. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

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

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

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

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

  8. Utilizing rare earth elements as tracers in high TDS reservoir brines in CCS applications

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

    McLing, Travis; Smith, William; Smith, Robert

    2014-01-01T23:59:59.000Z

    In this paper we report the result of research associated with the testing of a procedures necessary for utilizing natural occurring trace elements, specifically the Rare Earth Elements (REE) as geochemical tracers in Carbon Capture and Storage (CCS) applications. Trace elements, particularly REE may be well suited to serve as in situ tracers for monitoring geochemical conditions and the migration of CO?-charged waters within CCS storage systems. We have been conducting studies to determine the efficacy of using REE as a tracer and characterization tool in the laboratory, at a CCS analogue site in Soda Springs, Idaho, and at amore »proposed CCS reservoir at the Rock Springs Uplift, Wyoming. Results from field and laboratory studies have been encouraging and show that REE may be an effective tracer in CCS systems and overlying aquifers. In recent years, a series of studies using REE as a natural groundwater tracer have been conducted successfully at various locations around the globe. Additionally, REE and other trace elements have been successfully used as in situ tracers to describe the evolution of deep sedimentary Basins. Our goal has been to establish naturally occurring REE as a useful monitoring measuring and verification (MMV) tool in CCS research because formation brine chemistry will be particularly sensitive to changes in local equilibrium caused by the addition of large volumes of CO?. Because brine within CCS target formations will have been in chemical equilibrium with the host rocks for millions of years, the addition of large volumes of CO? will cause reactions in the formation that will drive changes to the brine chemistry due to the pH change caused by the formation of carbonic acid. This CO? driven change in formation fluid chemistry will have a major impact on water rock reaction equilibrium in the formation, which will impart a change in the REE fingerprint of the brine that can measured and be used to monitor in situ reservoir conditions. Our research has shown that the REE signature imparted to the formation fluid by the introduction of CO? to the formation, can be measured and tracked as part of an MMV program. Additionally, this REE fingerprint may serve as an ideal tracer for fluid migration, both within the CCS target formation, and should formation fluids migrate into overlying aquifers. However application of REE and other trace elements to CCS system is complicated by the high salt content of the brines contained within the target formations. In the United States by regulation, in order for a geologic reservoir to be considered suitable for carbon storage, it must contain formation brine with total dissolved solids (TDS) > 10,000 ppm, and in most cases formation brines have TDS well in excess of that threshold. The high salinity of these brines creates analytical problems for elemental analysis, including element interference with trace metals in Inductively Coupled Plasma Mass Spectroscopy (ICP-MS) (i.e. element mass overlap due to oxide or plasma phenomenon). Additionally, instruments like the ICP-MS that are sensitive enough to measure trace elements down to the parts per trillion level are quickly oversaturated when water TDS exceeds much more than 1,000 ppm. Normally this problem is dealt with through dilution of the sample, bringing the water chemistry into the instruments working range. However, dilution is not an option when analyzing these formation brines for trace metals, because trace elements, specifically the REE, which occur in aqueous solutions at the parts per trillion levels. Any dilution of the sample would make REE detection impossible. Therefore, the ability to use trace metals as in situ natural tracers in high TDS brines environments requires the development of methods for pre-concentrating trace elements, while reducing the salinity and associated elemental interference such that the brines can be routinely analyzed by standard ICP-MS methods. As part of the Big Sky Carbon Sequestration Project the INL-CAES has developed a rapid, easy to use proces

  9. Spectral analysis for evaluation of myocardial tracers for medical imaging

    SciTech Connect (OSTI)

    Huesman, Ronald H.; Reutter, Bryan W.; Marshall, Robert C.

    2000-10-11T23:59:59.000Z

    Kinetic analysis of dynamic tracer data is performed with the goal of evaluating myocardial radiotracers for cardiac nuclear medicine imaging. Data from experiments utilizing the isolated rabbit heart model are acquired by sampling the venous blood after introduction of a tracer of interest and a reference tracer. We have taken the approach that the kinetics are properly characterized by an impulse response function which describes the difference between the reference molecule (which does not leave the vasculature) and the molecule of interest which is transported across the capillary boundary and is made available to the cell. Using this formalism we can model the appearance of the tracer of interest in the venous output of the heart as a convolution of the appearance of the reference tracer with the impulse response. In this work we parameterize the impulse response function as the sum of a large number of exponential functions whose predetermined decay constants form a spectrum, and each is required only to have a nonnegative coefficient. This approach, called spectral analysis, has the advantage that it allows conventional compartmental analysis without prior knowledge of the number of compartments which the physiology may require or which the data will support.

  10. verification

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA Approved:AdministrationAnalysisDarby/%2A en NGSI Safeguards by Design

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

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

  13. CX-001732: Categorical Exclusion Determination

    Broader source: Energy.gov [DOE]

    Tracers and Tracer Interpretation: Verification of Geothermal Tracer Methods in Highly Constrained Field ExperimentsCX(s) Applied: B3.1, A9Date: 03/30/2010Location(s): CaliforniaOffice(s): Energy Efficiency and Renewable Energy, Golden Field Office

  14. 36Cl as a tracer in geothermal systems- Example from Valles Caldera...

    Open Energy Info (EERE)

    Cl as a tracer in geothermal systems- Example from Valles Caldera, New Mexico Jump to: navigation, search OpenEI Reference LibraryAdd to library Journal Article: 36Cl as a tracer...

  15. Stochastic Joint Inversion for Integrated Data Interpretation...

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

    Stochastic Joint Inversion for Integrated Data Interpretation in Geothermal Exploration Stochastic Joint Inversion for Integrated Data Interpretation in Geothermal Exploration...

  16. Feasibility of a Perfluorocarbon tracer based network to support Monitoring, Verification, and Accounting of Sequestered CO2

    E-Print Network [OSTI]

    Johnson, Peter D.

    , New York, 11073-5000 *S Supporting Information ABSTRACT: Carbon capture and sequestration (CCS emissions from fossil fuel based energy production through carbon capture and sequestration (CCS). CCS energy based economy. The Department of Energy (DOE) target leak rate for sequestration reservoirs is 1

  17. Calibration of hydraulic and tracer tests in fractured media

    E-Print Network [OSTI]

    Politècnica de Catalunya, Universitat

    Calibration of hydraulic and tracer tests in fractured media represented by a DFN Model L. D. Donado, X. Sanchez-Vila, E. Ruiz* & F. J. Elorza** * Enviros Spain S.L. ** UPM #12;Fractured Media Water flows through fractures (matrix basically impervious ­ though relevant to transport) Fractures at all

  18. Analysis of Tracer Dispersion During a Prescribed Forest Burn

    E-Print Network [OSTI]

    Collins, Gary S.

    . Additionally, a sulfur hexafluoride (SF6) tracer dispersion test was conducted by releasing SF6 from a line source within the burn and measuring SF6 concentrations at the supertower. Supertower Instrumentation (TGAPS) connected to a CO2 closed path Licor LI-6262 and a SF6 detector (7 inlet locations) ·Cambell CSAT

  19. Preliminary Investigation of Tracer Gas Reaeration Method for Shallow Bays

    E-Print Network [OSTI]

    Baker, Sarah H.; Holley, Edward R.

    apparently the first tests to be performed using the tracer gas technique in bays. As a result, the emphasis was on the development of techniques rather than on obtaining data. It appears that workable techniques have been developed, but they now need...

  20. Diss. ETH Nr. 10714 Helium und Tritium als Tracer fr

    E-Print Network [OSTI]

    Aeschbach-Hertig, Werner

    Diss. ETH Nr. 10714 Helium und Tritium als Tracer für physikalische Prozesse in Seen ABHANDLUNG zur Zürich 1994 #12;Kurzfassung ix Kurzfassung Der radioaktive Zerfall von 3H (Tritium) zu 3He mit einer Fluide aus dem Erdinnern. Helium und Tritium werden massenspektrometrisch analysiert. Im Rahmen dieser Ar

  1. THE EFFECT OF TRANSVERSE MIXING ON TRACER DISPERSION

    E-Print Network [OSTI]

    Stanford University

    Hardware Data Acquisition And Analysis Software Experimental Procedure Analysis Procedure Results: Taylor. The theoretical response for linear Taylor dispersion was matched to the data to determine the non-linear Of Tracer Valve Constant-pressure Reservoir Design Schematic Drawing Of Electrode Circuit Results: Run 16

  2. Tracer studies of sheet flow in the Florida Everglades David T. Ho,1,2

    E-Print Network [OSTI]

    Ho, David

    Tracer Release Experiment (EverTREx), two SF6 tracer releases were conducted to measure sheet flow. [5] EverTREx represents the first application of sulfur hexafluoride (SF6) in a shallow-water vegetated environ- ment. SF6, a gas tracer that has been applied previously in investigations of transport

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

  4. Peircean Interpretation of Postmodern Architecture

    E-Print Network [OSTI]

    Takahashi, Iwao

    2013-12-11T23:59:59.000Z

    and his logic. The research applies current Peircean scholars' development including 'Peircean Algebraic Logic' by Robert W. Burch to develop a conceptual model to frame Peircean interpretation. The multiple-case study (four architects with eight...

  5. SOIL TEST INTERPRETATIONS RECOMMENDATIONS HANDBOOK

    E-Print Network [OSTI]

    Noble, James S.

    1 SOIL TEST INTERPRETATIONS AND RECOMMENDATIONS HANDBOOK Originally written 1983 By Daryl D..................................................20 SOIL ACIDITY AND LIMESTONE...............................................27 EXCHANGEABLE MAGNESIUM No. Page No. I. Nitrogen rate adjustments based upon soil texture, organic matter, and time of major

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

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

    Office of Environmental Management (EM)

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

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

    E-Print Network [OSTI]

    Zee, Karen K

    2010-01-01T23:59:59.000Z

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

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

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

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

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

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

    E-Print Network [OSTI]

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

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

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

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

  16. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect (OSTI)

    YANOCHKO, R.M.

    2000-01-27T23:59:59.000Z

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

  17. Software Verification and Testing Lecture Notes: Testing I

    E-Print Network [OSTI]

    Struth, Georg

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

  18. Competition on Software Verification University of Passau, Germany

    E-Print Network [OSTI]

    Beyer, Dirk

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

  19. Applied Verification: The Ptolemy Approach Chihhong Patrick Cheng

    E-Print Network [OSTI]

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

  20. MODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

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

  3. JOURNAL OF GEOPHYSICAL RESEARCH, VOL. ???, XXXX, DOI:10.1029/, What is the skill of ocean tracers in reducing uncertainties

    E-Print Network [OSTI]

    Haran, Murali

    in current Earth system models and (ii) imperfect knowledge of model parameters. Ocean tracers observa- tions

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

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

  6. SOCIAL SECURITY NUMBER AND NAME VERIFICATION

    E-Print Network [OSTI]

    Amin, S. Massoud

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

  7. SOCIAL SECURITY NUMBER AND NAME VERIFICATION

    E-Print Network [OSTI]

    Amin, S. Massoud

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

  8. Machine Learning for Signature Verification Harish Srinivasan

    E-Print Network [OSTI]

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

  9. Formal Verification of Hybrid Systems Rajeev Alur

    E-Print Network [OSTI]

    Alur, Rajeev

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

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

  11. Aeromagnetic Survey And Interpretation, Ascention Island, South...

    Open Energy Info (EERE)

    Interpretation, Ascention Island, South Atlantic Ocean Jump to: navigation, search OpenEI Reference LibraryAdd to library Journal Article: Aeromagnetic Survey And Interpretation,...

  12. Command Language Interpreters February 1993

    E-Print Network [OSTI]

    California at San Diego, University of

    MDS Command Language Interpreters Reference Manual February 1993 Software Version: MDS 5.2 VAX.S.A. The following are trademarks of Digitial Equipment Corporation: CDD DECnet VAX DATATRIEVE DECUS VAXcluster DEC MicroVAX VAX Information Architecture DEC/CMS MicroVMS VMS DEC/MMS Rdb/VMS VT IDL (Interactive Data

  13. Interpreting Remote Sensing NOx Measurements

    E-Print Network [OSTI]

    Denver, University of

    Interpreting Remote Sensing NOx Measurements Robert Slott, Consultant, Donald Stedman and Saj tailpipe emissions (HC, CO, NOx) are changing with time hUse remote sensing hMeasurements in at least 4 of the year at each location hUniform QC/QA and data reporting Paper # 2001-01-3640 #12;Remote Sensing

  14. Reservoir characterization based on tracer response and rank analysis of production and injection rates

    SciTech Connect (OSTI)

    Refunjol, B.T. [Lagoven, S.A., Pdvsa (Venezuela); Lake, L.W. [Univ. of Texas, Austin, TX (United States)

    1997-08-01T23:59:59.000Z

    Quantification of the spatial distribution of properties is important for many reservoir-engineering applications. But, before applying any reservoir-characterization technique, the type of problem to be tackled and the information available should be analyzed. This is important because difficulties arise in reservoirs where production records are the only information for analysis. This paper presents the results of a practical technique to determine preferential flow trends in a reservoir. The technique is a combination of reservoir geology, tracer data, and Spearman rank correlation coefficient analysis. The Spearman analysis, in particular, will prove to be important because it appears to be insightful and uses injection/production data that are prevalent in circumstances where other data are nonexistent. The technique is applied to the North Buck Draw field, Campbell County, Wyoming. This work provides guidelines to assess information about reservoir continuity in interwell regions from widely available measurements of production and injection rates at existing wells. The information gained from the application of this technique can contribute to both the daily reservoir management and the future design, control, and interpretation of subsequent projects in the reservoir, without the need for additional data.

  15. COMPARISON OF THREE TRACER TESTS AT THE RAFT RIVER GEOTHERMAL SITE

    SciTech Connect (OSTI)

    Earl D Mattson; Mitchell Plummer; Carl Palmer; Larry Hull; Samantha Miller; Randy Nye

    2011-02-01T23:59:59.000Z

    Three conservative tracer tests have been conducted through the Bridge Fault fracture zone at the Raft River Geothermal (RRG) site. All three tests were conducted between injection well RRG-5 and production wells RRG-1 (790 m distance) and RRG-4 (740 m distance). The injection well is used during the summer months to provide pressure support to the production wells. The first test was conducted in 2008 using 136 kg of fluorescein tracer. Two additional tracers were injected in 2010. The first 2010 tracer injected was 100 kg fluorescein disodium hydrate salt on June, 21. The second tracer (100 kg 2,6-naphthalene disulfonic acid sodium salt) was injected one month later on July 21. Sampling of the two productions wells is still being performed to obtain the tail end of the second 2010 tracer test. Tracer concentrations were measured using HPLC with a fluorescence detector. Results for the 2008 test, suggest 80% tracer recover at the two production wells. Of the tracer recovered, 85% of tracer mass was recovered in well RRG-4 indicating a greater flow pathway connection between injection well and RRG-4 than RRG-1. Fluorescein tracer results appear to be similar between the 2008 and 2010 tests for well RRG-4 with peak concentrations arriving approximately 20 days after injection despite the differences between the injection rates for the two tests (~950 gpm to 475 gpm) between the 2008 and 2010. The two 2010 tracer tests will be compared to determine if the results support the hypothesis that rock contraction along the flow pathway due to the 55 oC cooler water injection alters the flow through the ~140 oC reservoir.

  16. Modular Interpreted Systems: A Preliminary Report

    E-Print Network [OSTI]

    Zachmann, Gabriel

    Zachmann (Computer Graphics) #12;Modular Interpreted Systems: A Preliminary Report Wojciech Jamroga1

  17. Use of tracers in materials-holdup study

    SciTech Connect (OSTI)

    Pillay, K.K.S.

    1983-01-01T23:59:59.000Z

    Holdup measurements of special nuclear materials in large processing facilities offer considerable challenges to conventional nondestructive-assay techniques. The use of judiciously chosen radioactive tracers offer a unique method of overcoming this difficulty. Three examples involving the use of /sup 46/Sc and fission products from activated uranium in large-scale experimental studies of uranium holdup are discussed. A justification for the method and its advantages along with examples of successful applications of this technique for large-sale experimental studies are presented.

  18. Tracer Testing At Coso Geothermal Area (1993) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f <MaintainedInformationThePtyTown Hall MeetingTracer Testing

  19. Tracer Testing At Coso Geothermal Area (2004) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f <MaintainedInformationThePtyTown Hall MeetingTracer TestingTesting

  20. Tracer Testing At Coso Geothermal Area (2006) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f <MaintainedInformationThePtyTown Hall MeetingTracer

  1. Tracer Testing At East Mesa Geothermal Area (1983) | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f <MaintainedInformationThePtyTown Hall MeetingTracerInformation

  2. Tracer Testing At East Mesa Geothermal Area (1984) | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f <MaintainedInformationThePtyTown Hall MeetingTracerInformation

  3. An Analytical Solution for Slug-Tracer Tests in Fractured Reservoirs

    E-Print Network [OSTI]

    Shan, Chao; Pruess, Karsten

    2005-01-01T23:59:59.000Z

    Tracer Tests in Fractured Reservoirs Chao Shan and Karstenof chemicals or heat in fractured reservoirs is stronglyin a water-saturated fractured reservoir. The solution shows

  4. Steam tracer experiment at the Hoe Creek No. 3 underground coal gasification field test

    SciTech Connect (OSTI)

    Thorsness, C.B.

    1980-11-26T23:59:59.000Z

    Water plays an important role in in-situ coal gasification. To better understand this role, we conducted a steam tracer test during the later stages of the Hoe Creek No. 3 underground coal gasification field test. Deuterium oxide was used as the tracer. This report describes the tracer test and the analysis of the data obtained. The analysis indicates that at Hoe Creek the injected steam interacts with a large volume of water as it passes through the underground system. We hypothesize that this water is undergoing continual reflux in the underground system, resulting in a tracer response typical of a well-stirred tank.

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

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

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

  8. Finite Model Finding for Parameterized Verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2010-01-01T23:59:59.000Z

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

  9. Inversion of Hydrological Tracer Test Data Using TomogrpahicConstraints

    SciTech Connect (OSTI)

    Linde, Niklas; Finsterle, Stefan; Hubbard, Susan

    2004-11-11T23:59:59.000Z

    A reasonable description of the hydraulic conductivity structure is a prerequisite for modeling contaminant transport. However, formulations of hydrogeological inverse problems utilizing hydrogeological data only often fail to reliably resolve features at a resolution required for accurately predicting transport. Incorporation of geophysical data into the inverse problem offers the potential to increase this resolution. In this study, we invert hydrological tracer test data using the shape and relative magnitude variations derived from geophysical tomographic data to regionalize a hydrogeological inverse problem in order to estimate the hydraulic conductivity structure. Our approach does not require that the petrophysical relationship be known a-priori, but that it is linear and stationary within each geophysical anomaly. However, tomograms are imperfect models of geophysical properties and geophysical properties are not necessarily strongly linked to hydraulic conductivity. Therefore, we focus on synthetic examples where the correlation between radar velocity and hydraulic conductivity, as well as the geophysical data acquisition errors, are varied in order to assess what aspects of the hydraulic conductivity structure we can expect to resolve under different conditions. The results indicate that regularization of the tracer inversion procedure using geophysical data improves estimates of hydraulic conductivity. We find that even under conditions of corrupted geophysical data, we can accurately estimate the effective hydraulic conductivity and areas of high and low hydraulic conductivity. However, given imperfect geophysical data, our results suggest that we cannot expect accurate estimates of the variability of the hydraulic conductivity structure.

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

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

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

  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. Introduction to Measurement and Verification for DOE Super ESPC...

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

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

  15. Measurement and Verification for Federal Energy Savings Performance Contracts

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Pierre, Laurence

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

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

    Office of Environmental Management (EM)

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

  8. Identification and characterization of conservative organic tracers for use as hydrologic tracers for the Yucca Mountain Site Characterization Study; Progress report, January 1, 1991--June 30, 1991

    SciTech Connect (OSTI)

    Stetzenbach, K.J.

    1991-12-31T23:59:59.000Z

    Studies continue on the use of organic acids as tracers in hydrology studies of Yucca Mountain. Work performed during this time period has been concentrated in three main areas: the familiarization with, and optimization of, the LC-MS hardware and data system; the initial development of soil column test procedures, which are used for evaluation of both the columns themselves and the tracer compounds; and continuation of the batch sorption and degradation studies for the potential tracers. All three of these tasks will continue, as the addition of new tracer compounds, analytical information, and equipment will necessitate further evaluation of existing methods and procedures. Also included in this report is the final report on an information system.

  9. SENSITIVITY OF A REACTIVE-TRACER BASED ESTIMATE OF THERMAL BREAKTHROUGH IN AN EGS TO PROPERTIES OF THE RESERVOIR AND TRACER

    SciTech Connect (OSTI)

    Mitchell A. Plummer; Carl D. Palmer; Laurence C. Hull; Earl D. Mattson

    2010-02-01T23:59:59.000Z

    Reactive tracers have long been considered a possible means of measuring thermal drawdown in a geothermal system, before significant cooling occurs at the extraction well. Here, we examine the sensitivity of the proposed method to reservoir cooling and demonstrate that while the sensitivity of the method as generally proposed is low, it may be practical under certain conditions. Our analyses suggest that modifications to that method, where practical, could provide much greater sensitivity. In particular, if the reaction can be quenched before maximum temperature is reached, the sensitivity is greatly enhanced. Push-pull tracer tests conducted at the injection well demonstrate similar advantages. Other alternatives, such as combinations of tracers, and tracers with parallel or chain decay behavior may offer similar advantages.

  10. Technical safety requirements control level verification

    SciTech Connect (OSTI)

    STEWART, J.L.

    1999-05-21T23:59:59.000Z

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

  11. A coupled isotope tracer method to characterize input water to lakes

    E-Print Network [OSTI]

    Edwards, Thomas W.D.

    of input waters after accounting for the effects of secondary evaporative isotopic enrichment. As shownA coupled isotope tracer method to characterize input water to lakes Yi Yi a,*, Bronwyn E. Brock in revised form 7 November 2007; accepted 9 November 2007 KEYWORDS Water isotope tracers; Isotope hydrology

  12. ADVANCES IN ATMOSPHERIC SCIENCES, VOL. 25, NO. 5, 2008, 805814 Diagnosing Ocean Tracer Transport from Sellafield

    E-Print Network [OSTI]

    Drange, Helge

    2 Bjerknes Centre for Climate Research, Bergen, Norway 3 Nansen-Zhu International Research Centre of biogeochemi- cal tracers influencing the oceanic carbon cycle are just two examples of where such information tracer concentration from idealized pulse releases from the British nuclear fuel reprocessing plants

  13. First Tracer Test After Circulation in Desert Peak 27-15

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

    Rose, Peter

    Following the successful stimulation of Desert Peak target EGS well 27-15, a circulation test was initiated by injecting a conservative tracer (1,5-nds) in combination with a reactive tracer (7-amino-1,3-naphthalene disulfonate). The closest production well 74-21 was monitored over the subsequent several months.

  14. Heat as a tracer to determine streambed water exchanges Jim Constantz1

    E-Print Network [OSTI]

    Heat as a tracer to determine streambed water exchanges Jim Constantz1 Received 13 March 2008 of heat as a tracer of shallow groundwater movement and describes current temperature-based approaches relying on traditional observation wells, and remote sensing and other large-scale advanced temperature

  15. Tracer Methods for Characterizing Fracture Stimulation in Engineered Geothermal Systems (EGS)

    Broader source: Energy.gov [DOE]

    Project objectives: identify tracers with sorption properties favorable for EGS applications; apply reversibly sorbing tracers to determine the fracture-matrix interface area available for heat transfer; and; explore the feasibility of obtaining fracture-matrix interface area from non-isothermal; single-well injection-withdrawal (SWIW) tests.

  16. First Tracer Test After Circulation in Desert Peak 27-15

    SciTech Connect (OSTI)

    Rose, Peter

    2013-11-16T23:59:59.000Z

    Following the successful stimulation of Desert Peak target EGS well 27-15, a circulation test was initiated by injecting a conservative tracer (1,5-nds) in combination with a reactive tracer (7-amino-1,3-naphthalene disulfonate). The closest production well 74-21 was monitored over the subsequent several months.

  17. Experiments to Evaluate and Implement Passive Tracer Gas Methods to Measure

    E-Print Network [OSTI]

    1 Experiments to Evaluate and Implement Passive Tracer Gas Methods to Measure Ventilation Rates the concentrations of pollutants emitted by indoor sources and brings in pollutants from the outdoors. The air gas techniques. One method involves either real-time injections of tracer gases or real

  18. TRACER ANALYSIS IN A FRACTURED GEO'MERMAL RESERVOIR: FIELD RESULTS FROM WAIRAKEI, NEW ZEALAND

    E-Print Network [OSTI]

    Stanford University

    TRACER ANALYSIS IN A FRACTURED GEO'MERMAL RESERVOIR: FIELD RESULTS FROM WAIRAKEI, NEW ZEALAND . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 -V- #12;Chapter I INTRODUCTION Interwell tracers have been used extensively in oil reservoirs to detect reservoir heterogeneities. High permeability production zones can channel a disproportionate

  19. Numerical study of the diapycnal flow through a tidal front with passive tracers

    E-Print Network [OSTI]

    Dong, Changming "Charles"

    . This qualitatively agrees with a recent field experiment using a dye tracer on Georges Bank. Additional experiments are performed to investigate the sensitivity of the tracer dispersion to the tidal phase and the location, the previous studies indicated Eulerian cross-front mean circu- lation maybe is in a multiple-cell structure

  20. SOURCES AND EFFECTS OF MINING-RELATED AND NATURAL ACID ROCK DRAINAGE QUANTIFIED USING TRACER

    E-Print Network [OSTI]

    Ryan, Joe

    SOURCES AND EFFECTS OF MINING-RELATED AND NATURAL ACID ROCK DRAINAGE QUANTIFIED USING TRACER, and Architectural Engineering 2006 #12;ii This thesis entitled: Sources and Effects of Mining-Related and Natural Acid Rock Drainage Quantified Using Tracer Dilution, Coal Creek Watershed, Gunnison County, Colorado

  1. Slew-rate dependence of tracer magnetization response in magnetic particle imaging

    SciTech Connect (OSTI)

    Shah, Saqlain A.; Krishnan, K. M., E-mail: kannanmk@uw.edu [Materials Science and Engineering, University of Washington, Seattle, Washington 98195 (United States); Ferguson, R. M. [LodeSpin Labs, P.O. Box 95632, Seattle, Washington 98145 (United States)

    2014-10-28T23:59:59.000Z

    Magnetic Particle Imaging (MPI) is a new biomedical imaging technique that produces real-time, high-resolution tomographic images of superparamagnetic iron oxide nanoparticle tracers. Currently, 25?kHz and 20?mT/?{sub 0} excitation fields are common in MPI, but lower field amplitudes may be necessary for patient safety in future designs. Here, we address fundamental questions about MPI tracer magnetization dynamics and predict tracer performance in future scanners that employ new combinations of excitation field amplitude (H{sub o}) and frequency (?). Using an optimized, monodisperse MPI tracer, we studied how several combinations of drive field frequencies and amplitudes affect the tracer's response, using Magnetic Particle Spectrometry and AC hysteresis, for drive field conditions at 15.5, 26, and 40.2?kHz, with field amplitudes ranging from 7 to 52?mT/?{sub 0}. For both fluid and immobilized nanoparticle samples, we determined that magnetic response was dominated by Néel reversal. Furthermore, we observed that the peak slew-rate (?H{sub o}) determined the tracer magnetic response. Smaller amplitudes provided correspondingly smaller field of view, sometimes resulting in excitation of minor hysteresis loops. Changing the drive field conditions but keeping the peak slew-rate constant kept the tracer response almost the same. Higher peak slew-rates led to reduced maximum signal intensity and greater coercivity in the tracer response. Our experimental results were in reasonable agreement with Stoner-Wohlfarth model based theories.

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

    Broader source: Energy.gov [DOE]

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

  3. Interpretation of the Cosmological Metric

    E-Print Network [OSTI]

    Richard J. Cook; M. Shane Burns

    2008-09-03T23:59:59.000Z

    The cosmological Robertson-Walker metric of general relativity is often said to have the consequences that (1) the recessional velocity $v$ of a galaxy at proper distance $\\ell$ obeys the Hubble law $v=H\\ell$, and therefore galaxies at sufficiently great distance $\\ell$ are receding faster than the speed of light $c$; (2) faster than light recession does not violate special relativity theory because the latter is not applicable to the cosmological problem, and because ``space itself is receding'' faster than $c$ at great distance, and it is velocity relative to local space that is limited by $c$, not the velocity of distant objects relative to nearby ones; (3) we can see galaxies receding faster than the speed of light; and (4) the cosmological redshift is not a Doppler shift, but is due to a stretching of photon wavelength during propagation in an expanding universe. We present a particular Robertson-Walker metric (an empty universe metric) for which a coordinate transformation shows that none of these interpretation necessarily holds. The resulting paradoxes of interpretation lead to a deeper understanding of the meaning of the cosmological metric.

  4. Qualitative interpretation of galaxy spectra

    E-Print Network [OSTI]

    Almeida, J Sanchez; Terlevich, E; Fernandes, R Cid; Morales-Luis, A B

    2012-01-01T23:59:59.000Z

    We describe a simple step-by-step guide to qualitative interpretation of galaxy spectra. Rather than an alternative to existing automated tools, it is put forward as an instrument for quick-look analysis, and for gaining physical insight when interpreting the outputs provided by automated tools. Though the recipe is of general application, it was developed for understanding the nature of the Automatic Spectroscopic K-means based (ASK) template spectra. They resulted from the classification of all the galaxy spectra in the Sloan Digital Sky Survey data release 7 (SDSS-DR7), thus being a comprehensive representation of the galaxy spectra in the local universe. Using the recipe, we give a description of the properties of the gas and the stars that characterize the ASK classes, from those corresponding to passively evolving galaxies, to HII galaxies undergoing a galaxy-wide starburst. The qualitative analysis is found to be in excellent agreement with quantitative analyses of the same spectra. A number of byprodu...

  5. An Analytical Solution for Slug-Tracer Tests in FracturedReservoirs

    SciTech Connect (OSTI)

    Shan, Chao; Pruess, Karsten

    2005-03-02T23:59:59.000Z

    The transport of chemicals or heat in fractured reservoirs is strongly affected by the fracture-matrix interfacial area. In a vapor-dominated geothermal reservoir, this area can be estimated by inert gas tracer tests, where gas diffusion between the fracture and matrix causes the tracer breakthrough curve (BTC) to have a long tail determined by the interfacial area. For water-saturated conditions, recent studies suggest that sorbing solute tracers can also generate strong tails in BTCs that may allow a determination of the fracture-matrix interfacial area. To theoretically explore such a useful phenomenon, this paper develops an analytical solution for BTCs in slug-tracer tests in a water-saturated fractured reservoir. The solution shows that increased sorption should have the same effect on BTCs as an increase of the diffusion coefficient. The solution is useful for understanding transport mechanisms, verifying numerical codes, and for identifying appropriate chemicals as tracers for the characterization of fractured reservoirs.

  6. L\\'evy Fluctuations and Tracer Diffusion in Dilute Suspensions of Algae and Bacteria

    E-Print Network [OSTI]

    Zaid, Irwin M; Yeomans, Julia M

    2010-01-01T23:59:59.000Z

    Swimming microorganisms rely on effective mixing strategies to achieve efficient nutrient influx. Recent experiments, probing the mixing capability of unicellular biflagellates, revealed that passive tracer particles exhibit anomalous non-Gaussian diffusion when immersed in a dilute suspension of self-motile Chlamydomonas reinhardtii algae. Qualitatively, this observation can be explained by the fact that the algae induce a fluid flow that may occasionally accelerate the colloidal tracers to relatively large velocities. A satisfactory quantitative theory of enhanced mixing in dilute active suspensions, however, is lacking at present. In particular, it is unclear how non-Gaussian signatures in the tracers' position distribution are linked to the self-propulsion mechanism of a microorganism. Here, we develop a systematic theoretical description of anomalous tracer diffusion in active suspensions, based on a simplified tracer-swimmer interaction model that captures the typical distance scaling of a microswimmer'...

  7. Curvature Induced Activation of a Passive Tracer in an Active Bath

    E-Print Network [OSTI]

    S. A. Mallory; C. Valeriani; A. Cacciuto

    2014-09-25T23:59:59.000Z

    We use numerical simulations to study the motion of a large asymmetric tracer immersed in a low density suspension of self-propelled nanoparticles in two dimensions. Specifically, we analyze how the curvature of the tracer affects its translational and rotational motion in an active environment. We find that even very small amounts of curvature are sufficient for the active bath to impart directed motion to the tracer which results in its effective activation. We propose simple scaling arguments to characterize this induced activity in terms of the curvature of the tracer and the strength of the self-propelling force. Our results suggest new ways of controlling the transport properties of passive tracers in an active medium by carefully tailoring their geometry.

  8. Using Biofuel Tracers to Study Alternative Combustion Regimes

    SciTech Connect (OSTI)

    Mack, J H; Flowers, D L; Buchholz, B A; Dibble, R W

    2006-02-14T23:59:59.000Z

    Interest in the use of alternative fuels and combustion regimes is increasing as the price of petroleum climbs. The inherently higher efficiency of Diesel engines has led to increased adoption of Diesels in Europe, capturing approximately 40% of the new passenger car market. Unfortunately, lower CO{sub 2} emissions are countered with higher nitrogen oxides (NOx) and particulate matter (PM) emissions, and higher noise. Noise and PM have traditionally been the obstacles toward consumer acceptance of Diesel passenger cars in North America, while NOx (a key component in photochemical smog) has been more of an engineering challenge. Diesels are lean burning (combustion with excess oxygen) and reducing NOx to N2 in an oxygen rich environment is difficult. Adding oxygenated compounds to the fuel helps reduce PM emissions, but relying on fuel alone to reduce PM is unrealistic. Keeping peak combustion temperature below 1700 K prevents NOx formation. Altering the combustion regime to burn at temperatures below the NOx threshold and accept a wide variety of fuels seems like a promising alternative for future engines. Homogeneous Charge Compression Ignition (HCCI) is a possible solution. Fuel and air are well mixed prior to intake into a cylinder (homogeneous charge) and ignition occurs by compression of the fuel-air mixture by the piston. HCCI is rapid and relatively cool, producing little NOx and PM. Unfortunately, it is hard to control since HCCI is initiated by temperature and pressure instead of a spark or direct fuel injection. We investigate biofuel HCCI combustion, and use intrinsically labeled biofuels as tracers of HCCI combustion. Data from tracer experiments are used to validate combustion modeling.

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

  10. Evaluating Verification and Validation Methods in Knowledge Engineering

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

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

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

    E-Print Network [OSTI]

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

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

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

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

  17. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  18. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Gleeson, Joseph G.

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

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

  3. Comparison of SF6 and Fluorescein as Tracers for Measuring Transport Processes in a Large Tidal River

    E-Print Network [OSTI]

    Ho, David

    Comparison of SF6 and Fluorescein as Tracers for Measuring Transport Processes in a Large Tidal SF6 as tracers of advection and longitudinal dispersion from a dual tracer release experiment of SF6 were injected into the Hudson River at an averaged depth of 9.5 m, 1 m above the bottom, near

  4. FeCycle: Attempting an iron biogeochemical budget from a mesoscale SF6 tracer experiment in unperturbed low iron waters

    E-Print Network [OSTI]

    Wilhelm, Steven W.

    FeCycle: Attempting an iron biogeochemical budget from a mesoscale SF6 tracer experiment to ocean physics. In summer 2003 we conducted FeCycle, a 10-day mesoscale tracer release in HNLC waters SE biogeochemical budget from a mesoscale SF6 tracer experiment in unperturbed low iron waters, Global Biogeochem

  5. QUALITATIVE INTERPRETATION OF GALAXY SPECTRA

    SciTech Connect (OSTI)

    Sanchez Almeida, J.; Morales-Luis, A. B. [Instituto de Astrofisica de Canarias, E-38205 La Laguna, Tenerife (Spain); Terlevich, R.; Terlevich, E. [Instituto Nacional de Astrofisica, Optica y Electronica, Tonantzintla, Puebla (Mexico); Cid Fernandes, R., E-mail: jos@iac.es, E-mail: abml@iac.es, E-mail: rjt@ast.cam.ac.uk, E-mail: eterlevi@inaoep.mx, E-mail: cid@astro.ufsc.br [Departamento de Fisica-CFM, Universidade Federal de Santa Catarina, P.O. Box 476, 88040-900 Florianopolis, SC (Brazil)

    2012-09-10T23:59:59.000Z

    We describe a simple step-by-step guide to qualitative interpretation of galaxy spectra. Rather than an alternative to existing automated tools, it is put forward as an instrument for quick-look analysis and for gaining physical insight when interpreting the outputs provided by automated tools. Though the recipe is for general application, it was developed for understanding the nature of the Automatic Spectroscopic K-means-based (ASK) template spectra. They resulted from the classification of all the galaxy spectra in the Sloan Digital Sky Survey data release 7, thus being a comprehensive representation of the galaxy spectra in the local universe. Using the recipe, we give a description of the properties of the gas and the stars that characterize the ASK classes, from those corresponding to passively evolving galaxies, to H II galaxies undergoing a galaxy-wide starburst. The qualitative analysis is found to be in excellent agreement with quantitative analyses of the same spectra. We compare the mean ages of the stellar populations with those inferred using the code STARLIGHT. We also examine the estimated gas-phase metallicity with the metallicities obtained using electron-temperature-based methods. A number of byproducts follow from the analysis. There is a tight correlation between the age of the stellar population and the metallicity of the gas, which is stronger than the correlations between galaxy mass and stellar age, and galaxy mass and gas metallicity. The galaxy spectra are known to follow a one-dimensional sequence, and we identify the luminosity-weighted mean stellar age as the affine parameter that describes the sequence. All ASK classes happen to have a significant fraction of old stars, although spectrum-wise they are outshined by the youngest populations. Old stars are metal-rich or metal-poor depending on whether they reside in passive galaxies or in star-forming galaxies.

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

  7. Headquarters Employment Verification | Department of Energy

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov.Energy02.pdf7 OPAM Flash2011-37 OPAMResourceEmployment Verification Headquarters

  8. THE NEW YORK CITY URBAN DISPERSION PROGRAM MARCH 2005 FIELD STUDY: TRACER METHODS AND RESULTS.

    SciTech Connect (OSTI)

    WATSON, T.B.; HEISER, J.; KALB, P.; DIETZ, R.N.; WILKE, R.; WIESER, R.; VIGNATO, G.

    2005-10-01T23:59:59.000Z

    The Urban Dispersion Program March 2005 Field Study tracer releases, sampling, and analytical methods are described in detail. There were two days where tracer releases and sampling were conducted. A total of 16.0 g of six tracers were released during the first test day or Intensive Observation Period (IOP) 1 and 15.7 g during IOP 2. Three types of sampling instruments were used in this study. Sequential air samplers, or SAS, collected six-minute samples, while Brookhaven atmospheric tracer samplers (BATS) and personal air samplers (PAS) collected thirty-minute samples. There were a total of 1300 samples resulting from the two IOPs. Confidence limits in the sampling and analysis method were 20% as determined from 100 duplicate samples. The sample recovery rate was 84%. The integrally averaged 6-minute samples were compared to the 30-minute samples. The agreement was found to be good in most cases. The validity of using a background tracer to calculate sample volumes was examined and also found to have a confidence level of 20%. Methods for improving sampling and analysis are discussed. The data described in this report are available as Excel files. An additional Excel file of quality assured tracer data for use in model validation efforts is also available. The file consists of extensively quality assured BATS tracer data with background concentrations subtracted.

  9. Analysis of Injection-Backflow Tracer Tests in Fractured Geothermal Reservoirs

    SciTech Connect (OSTI)

    Kocabas, I.; Horne, R.N.

    1987-01-20T23:59:59.000Z

    Tracer tests have been an important technique for determining the flow and reservoir characteristics in various rock matrix systems. While the interwell tracer tests are aimed at the characterization of the regions between the wells, single-well injection-backflow tracer tests may be useful tools of preliminary evaluation, before implementing long term interwell tracer tests. This work is concerned with the quantitative evaluation of the tracer return profiles obtained from single well injection-backflow tracer tests. First, two mathematical models of tracer transport through fractures, have been reviewed. These two models are based on two different principles: Taylor Dispersion along the fracture and simultaneous diffusion in and out of the adjacent matrix. Then the governing equations for the transport during the injection-backflow tests have been solved. Finally the results were applied to field data obtained from Raft River and East Mesa geothermal fields. In order to determine the values of the parameters of the models that define the transport mechanisms through fractures a non-linear optimization technique was employed. 26 refs., 10 figs.

  10. Photoacoustic infrared spectroscopy for conducting gas tracer tests and measuring water saturations in landfills

    SciTech Connect (OSTI)

    Jung, Yoojin; Han, Byunghyun; Mostafid, M. Erfan; Chiu, Pei [Department of Civil and Environmental Engineering, University of Delaware, Newark, DE 19716 (United States); Yazdani, Ramin [Yolo County Planning and Public Works Department, Division of Integrated Waste Management, Yolo County, 44090 County Rd. 28H, Woodland, CA 95776 (United States); Imhoff, Paul T., E-mail: imhoff@udel.edu [Department of Civil and Environmental Engineering, University of Delaware, Newark, DE 19716 (United States)

    2012-02-15T23:59:59.000Z

    Highlights: Black-Right-Pointing-Pointer Photoacoustic infrared spectroscopy tested for measuring tracer gas in landfills. Black-Right-Pointing-Pointer Measurement errors for tracer gases were 1-3% in landfill gas. Black-Right-Pointing-Pointer Background signals from landfill gas result in elevated limits of detection. Black-Right-Pointing-Pointer Technique is much less expensive and easier to use than GC. - Abstract: Gas tracer tests can be used to determine gas flow patterns within landfills, quantify volatile contaminant residence time, and measure water within refuse. While gas chromatography (GC) has been traditionally used to analyze gas tracers in refuse, photoacoustic spectroscopy (PAS) might allow real-time measurements with reduced personnel costs and greater mobility and ease of use. Laboratory and field experiments were conducted to evaluate the efficacy of PAS for conducting gas tracer tests in landfills. Two tracer gases, difluoromethane (DFM) and sulfur hexafluoride (SF{sub 6}), were measured with a commercial PAS instrument. Relative measurement errors were invariant with tracer concentration but influenced by background gas: errors were 1-3% in landfill gas but 4-5% in air. Two partitioning gas tracer tests were conducted in an aerobic landfill, and limits of detection (LODs) were 3-4 times larger for DFM with PAS versus GC due to temporal changes in background signals. While higher LODs can be compensated by injecting larger tracer mass, changes in background signals increased the uncertainty in measured water saturations by up to 25% over comparable GC methods. PAS has distinct advantages over GC with respect to personnel costs and ease of use, although for field applications GC analyses of select samples are recommended to quantify instrument interferences.

  11. THE BROOKHAVEN NATIONAL LABORATORY PERFLUOROCARBON TRACER TECHNOLOGY: A PROVEN AND COST EFFECTIVE METHOD TO VERIFY INTEGRITY AND MONITOR LONG TERM PERFORMANCE OF WALLS, FLOORS, CAPS, AND COVER SYSTEMS.

    SciTech Connect (OSTI)

    HEISER, J.; SULLIVAN, T.

    2002-03-11T23:59:59.000Z

    Currently, containment system failures are detected by monitoring wells downstream of the waste site. Clearly this approach is inefficient, as the contaminants will have migrated from the disposal area before they are detected. Methods that indicate early cover failure (prior to contaminant release) or predict impending cover failure are needed. The Brookhaven National Laboratory (BNL) Perfluorocarbon Tracer (PFT) technology can measure performance changes and integrity losses as the cover ages. This allows early detection of cover failure or pending failure so that repair or replacement can be made before contaminants leave the disposal cell. The PFT technology has been successfully applied to four subsurface barrier problems, one leak detection problem from underground ducts, and one surface cover problem. Testing has demonstrated that the PFTs are capable of accurately detecting and locating leaks down to fractions of an inch. The PFT technology has several advantages over competing approaches. The ability to simultaneously use multiple PFTs separates it from other gas tracer technologies. Using multiple tracers provides independent confirmation of flaw location, helps to clearly define transport pathways, and can be used for confirmatory testing (e.g., repeat the test using a new tracer). The PFT tests provide a direct measure of flaws in a barrier, whereas other measurements (pressure, moisture content, temperature, subsidence) provide indirect measures that need interpretation. The focus of the six PFT demonstrations has been on engineering aspects of the technology with the intent of finding if a flaw existed in the barrier. Work remains to be done on the scientific basis for this technology. This includes determining PFT diffusion rates through various materials (soils and barrier) as a function of moisture content, determining the effects of barometric pumping on PFT flow for cover systems, and determining wind effects on side slopes of cover systems and their impact on PFT performance. It also includes application of models to assist in the design of the monitoring system and the interpretation of the data. The set of demonstrations was performed on small sites (< 1/4 acre). Future work also needs to consider scaling issues to develop and design optimal techniques for delivery and monitoring of the PFTs.

  12. DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS

    SciTech Connect (OSTI)

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

    2009-07-01T23:59:59.000Z

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

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

  14. Monitoring/Verification using DMS: TATP Example

    SciTech Connect (OSTI)

    Stephan Weeks, Kevin Kyle, Manuel Manard

    2008-05-30T23:59:59.000Z

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

  15. Tracers for monitoring the activity of sodium/glucose cotransporters in health and disease

    DOE Patents [OSTI]

    Wright, Ernest M; Barrio, Jorge R; Hirayama, Bruce A; Kepe, Vladimir

    2014-09-30T23:59:59.000Z

    Radiolabeled tracers for sodium/glucose cotransporters (SGLTs), their synthesis, and their use are provided. The tracers are methyl or ethyl pyranosides having an equatorial hydroxyl group at carbon-2 and a C 1 preferred conformation, radiolabeled with .sup.18F, .sup.123I, or .sup.124I, or free hexoses radiolabeled with .sup.18F, .sup.123I, or .sup.124. Also provided are in vivo and in vitro techniques for using these and other tracers as analytical and diagnostic tools to study glucose transport, in health and disease, and to evaluate therapeutic interventions.

  16. New Multi-functional Diagnostic Method with Tracer-encapsulated Pellet Injection on LHD

    SciTech Connect (OSTI)

    Sudo, S. [National Institute for Fusion Science, Toki, Gifu 509-5292 (Japan); Graduate Univ. Advanced Studies, Hayama 240-0193 (Japan); Tamura, N.; Sato, K.; Matsubara, A.; Inagaki, S.; Goncharov, P.R.; Ozaki, T. [National Institute for Fusion Science, Toki, Gifu 509-5292 (Japan); Kalinina, D.V. [Graduate Univ. Advanced Studies, Hayama 240-0193 (Japan); Stutman, D.; Finkenthal, M. [Johns Hopkins University, Baltimore, MD 21218 (United States)

    2005-05-27T23:59:59.000Z

    The Tracer-Encapsulated Solid PELlet (TESPEL) injection is one of the simplest new ideas to study the impurity confinement and other plasma properties. The special features of this method are: (a) local deposition inside the plasma, (b) precise knowledge of the deposited tracer amount, (c) wide selection of tracer materials. The achievements of the multi-functional diagnostics using TESPEL injection on LHD are to measure: (a) impurity transport properties, (b) heat diffusivity, (c) particle flow features in and out of the magnetic island, and (d) fast neutral particle fluxes.

  17. Final report of the second dye-tracer test at the Chesnut Ridge Security Pits, Y-12 Plant, Oak Ridge, Tennessee

    SciTech Connect (OSTI)

    NONE

    1992-11-01T23:59:59.000Z

    Martin Marietta Energy Systems, Inc. (Energy Systems) manages a closed hazardous waste disposal unit, Chestnut Ridge Security Pits (CRSP), in the form of two trenches and several auger-holes, located on top of the eastern portion of Chestnut Ridge at the Department of Energy (DOE) Oak Ridge Y-12 Plant in Tennessee. The groundwater monitoring system for the unit presently consists of a network of upgradient and downgradient monitor wells. To investigate the discharge of groundwater to springs and streams, Energy Systems, through Geraghty and Miller, Inc., conducted an initial dye-tracer study during the driest part of 1990. The dye was detected at some of the monitoring sites, but verification was necessary due to the proximity of some sites to extraneous dye sources. Based on the results of the initial study, Energy Systems recommended to the Tennessee Department of Environment and Conservation (TDEC) in the 1990 Groundwater Quality Assessment Report (GWQAR) (HSW 1991) for the CRSP that a second dye-tracer study be conducted during the wet weather season. The procedures and materials were reviewed, and a field inspection of the monitoring sites was performed in the fall of 1991. The actual test commenced during the first week of February 1992 with a 4-week baseline monitoring period to determine the inherent variability of the emission spectra within the wavelength range characteristic of Rhodamine WT (RWT) and Fluorescent Brightener 28 (FB28) or similar naturally occuring compounds within in the aquifer. This is commonly referred as background in discussion of minimum detectable levels of dyes. On March 13, RWT and FB28 were injected; weekly monitoring began with the collection of the first set of detectors on March 19. The test was originally scheduled to conclude after 12 weeks but was extended to 18 weeks when no definitive results were obtained.

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

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

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

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

    E-Print Network [OSTI]

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

  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. Compositional Reactive Semantics of SystemC and Verification with RuleBase

    E-Print Network [OSTI]

    Gupta, Rajesh

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

  4. Environmental Tracers for Determining Water Resource Vulnerability to Climate Change

    SciTech Connect (OSTI)

    Singleton, M

    2009-07-08T23:59:59.000Z

    Predicted changes in the climate will have profound impacts on water availability in the Western US, but large uncertainties exist in our ability to predict how natural and engineered hydrological systems will respond. Most predictions suggest that the impacts of climate change on California water resources are likely to include a decrease in the percentage of precipitation that falls as snow, earlier onset of snow-pack melting, and an increase in the number of rain on snow events. These processes will require changes in infrastructure for water storage and flood control, since much of our current water supply system is built around the storage of winter precipitation as mountain snow pack. Alpine aquifers play a critical role by storing and releasing snowmelt as baseflow to streams long after seasonal precipitation and the disappearance of the snow pack, and in this manner significantly impact the stream flow that drives our water distribution systems. Mountain groundwater recharge and, in particular, the contribution of snowmelt to recharge and baseflow, has been identified as a potentially significant effect missing from current climate change impact studies. The goal of this work is to understand the behavior of critical hydrologic systems, with an emphasis on providing ground truth for next generation models of climate-water system interactions by implementing LLNL capabilities in environmental tracer and isotopic science. We are using noble gas concentrations and multiple isotopic tracers ({sup 3}H/{sup 3}He, {sup 35}S, {sup 222}Rn, {sup 2}H/{sup 1}H, {sup 18}O/{sup 16}O, and {sup 13}C/{sup 12}C) in groundwater and stream water in a small alpine catchment to (1) provide a snapshot of temperature, altitude, and physical processes at the time of recharge, (2) determine subsurface residence times (over time scales ranging from months to decades) of different groundwater age components, and (3) deconvolve the contribution of these different groundwater components to alpine stream baseflow. This research is showing that groundwater in alpine areas spends between a few years to several decades in the saturated zone below the surface, before feeding into streams or being pumped for use. This lag time may act to reduce the impact on water resources from extreme wet or dry years. Furthermore, our measurements show that the temperature of water when it reaches the water table during recharge is 4 to 9 degrees higher than would be expected for direct influx of snowmelt, and that recharge likely occurs over diffuse vegetated areas, rather than along exposed rock faces and fractures. These discoveries have implications for how alpine basins will respond to climate effects that lead to more rain than snow and earlier snow pack melting.

  5. Assessing the Montevideo Interpretation of Quantum Mechanics

    E-Print Network [OSTI]

    Jeremy Butterfield

    2014-06-17T23:59:59.000Z

    This paper gives a philosophical assessment of the Montevideo interpretation of quantum theory, advocated by Gambini, Pullin and co-authors. This interpretation has the merit of linking its proposal about how to solve the measurement problem to the search for quantum gravity: namely by suggesting that quantum gravity makes for fundamental limitations on the accuracy of clocks, which imply a type of decoherence that "collapses the wave-packet". I begin (Section 2) by sketching the topics of decoherence, and quantum clocks, on which the interpretation depends. Then I expound the interpretation, from a philosopher's perspective (Sections 3, 4 and 5). Finally, in Section 6, I argue that the interpretation, at least as developed so far, is best seen as a form of the Everett interpretation: namely with an effective or approximate branching, that is induced by environmental decoherence of the familiar kind, and by the Montevideans' "temporal decoherence".

  6. Chemical tracers of episodic accretion in low-mass protostars

    E-Print Network [OSTI]

    Visser, Ruud; Jorgensen, Jes K

    2015-01-01T23:59:59.000Z

    Aims: Accretion rates in low-mass protostars can be highly variable in time. Each accretion burst is accompanied by a temporary increase in luminosity, heating up the circumstellar envelope and altering the chemical composition of the gas and dust. This paper aims to study such chemical effects and discusses the feasibility of using molecular spectroscopy as a tracer of episodic accretion rates and timescales. Methods: We simulate a strong accretion burst in a diverse sample of 25 spherical envelope models by increasing the luminosity to 100 times the observed value. Using a comprehensive gas-grain network, we follow the chemical evolution during the burst and for up to 10^5 yr after the system returns to quiescence. The resulting abundance profiles are fed into a line radiative transfer code to simulate rotational spectra of C18O, HCO+, H13CO+, and N2H+ at a series of time steps. We compare these spectra to observations taken from the literature and to previously unpublished data of HCO+ and N2H+ 6-5 from th...

  7. Tracer diffusion at low temperature in kinetically constrained models

    E-Print Network [OSTI]

    Oriane Blondel

    2015-05-15T23:59:59.000Z

    We describe the motion of a tracer in an environment given by a kinetically constrained spin model (KCSM) at equilibrium. We check convergence of its trajectory properly rescaled to a Brownian motion and positivity of the diffusion coefficient $D$ as soon as the spectral gap of the environment is positive (which coincides with the ergodicity region under general conditions). Then we study the asymptotic behavior of $D$ when the density $1-q$ of the environment goes to $1$ in two classes of KCSM. For noncooperative models, the diffusion coefficient $D$ scales like a power of $q$, with an exponent that we compute explicitly. In the case of the Fredrickson-Andersen one-spin facilitated model, this proves a prediction made in Jung, Garrahan and Chandler [Phys. Rev. E 69 (2004) 061205]. For the East model, instead we prove that the diffusion coefficient is comparable to the spectral gap, which goes to zero faster than any power of $q$. This result contradicts the prediction of physicists (Jung, Garrahan and Chandler [Phys. Rev. E 69 (2004) 061205; J. Chem. Phys. 123 (2005) 084509]), based on numerical simulations, that suggested $D\\sim \\operatorname {gap}^{\\xi}$ with $\\xi<1$.

  8. GASEOUS CO ABUNDANCE-AN EVOLUTIONARY TRACER FOR MOLECULAR CLOUDS

    SciTech Connect (OSTI)

    Liu Tie; Wu Yuefang; Zhang Huawei, E-mail: liutiepku@gmail.com, E-mail: ywu@pku.edu.cn [Department of Astronomy, Peking University, Beijing 100871 (China)

    2013-09-20T23:59:59.000Z

    Planck cold clumps are among the most promising objects to investigate the initial conditions of the evolution of molecular clouds. In this work, by combing the dust emission data from the survey of the Planck satellite with the molecular data of {sup 12}CO/{sup 13}CO/C{sup 18}O (1-0) lines from observations with the Purple Mountain Observatory 13.7 m telescope, we investigate the CO abundance, CO depletion, and CO-to-H{sub 2} conversion factor of 674 clumps in the early cold cores sample. The median and mean values of the CO abundance are 0.89 Multiplication-Sign 10{sup -4} and 1.28 Multiplication-Sign 10{sup -4}, respectively. The mean and median of CO depletion factor are 1.7 and 0.9, respectively. The median value of X{sub CO-to-H{sub 2}} for the whole sample is 2.8 Multiplication-Sign 10{sup 20} cm{sup -2} K{sup -1} km{sup -1} s. The CO abundance, CO depletion factor, and CO-to-H{sub 2} conversion factor are strongly (anti-)correlated to other physical parameters (e.g., dust temperature, dust emissivity spectral index, column density, volume density, and luminosity-to-mass ratio). To conclude, the gaseous CO abundance can be used as an evolutionary tracer for molecular clouds.

  9. Image Hashes as Templates for Verification

    SciTech Connect (OSTI)

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

    2012-07-17T23:59:59.000Z

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

  10. Measurement of the odor impact of a waste deposit using the SF6-tracer method

    SciTech Connect (OSTI)

    Roetzer, H.; Muehldorf, V.; Riesing, J.

    1994-12-01T23:59:59.000Z

    Landfill gas emitted from a waste disposal often causes odor nuisance in the vicinity. To verify that the odor concentrations were below these limit values, the odor contributions of different sources had to be distinguished. A tracer method was applied to measure the odor impact of the sanitary landfill to its environment. The emitted landfill gas was labelled with the tracer gas SF6. The tracer gas was parted to even amounts and released through ten special nozzles equally distributed over the surface of the landfill. In the area around the landfill the concentration of the tracer gas was measured by collecting air samples and analyzing them with a gas chromatograph with an electron capture detector. Fifteen air sampling units were used to collect eight consecutive air samples at each selected point. These measurements gave the relation between the emission of landfill gas and the resulting concentrations in ambient air.

  11. Dynamic Reservoir Characterization Of Naturally Fractured Reservoirs From An Inter-Well Tracer Test

    E-Print Network [OSTI]

    Kilicaslan, Ufuk

    2013-12-03T23:59:59.000Z

    After field redevelopment in the Sherrod Unit of the Spraberry Trend Area, an inter-well tracer test was conducted at the field scale in order to understand the fracture system, which forms preferential flow paths for better management...

  12. Author's personal copy Thorium-234 as a tracer of spatial, temporal and vertical variability

    E-Print Network [OSTI]

    Buesseler, Ken

    Author's personal copy Thorium-234 as a tracer of spatial, temporal and vertical variability 2009 Accepted 6 April 2009 Available online 16 April 2009 Keywords: Thorium-234 Particle flux Sediment

  13. Radium isotopes as tracers of coastal circulation pathways in the Mid-Atlantic Blight

    E-Print Network [OSTI]

    Rasmussen, Linda L

    2003-01-01T23:59:59.000Z

    Pathways of exchange between the shelf and slope in the Mid-Atlantic Bight were investigated using a combination of radiochemical tracer and hydrographic measurements. The motivation was to provide evidence of transport ...

  14. USE OF NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE CONDITIONS...

    Open Energy Info (EERE)

    IN THE COSO EGS PROJECT Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Proceedings: USE OF NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE...

  15. Inversion of tracer test data using tomographic constraints Niklas Linde,1,2

    E-Print Network [OSTI]

    Hubbard, Susan

    Inversion of tracer test data using tomographic constraints Niklas Linde,1,2 Stefan Finsterle,3 be limited to field sites where this condition is partially or fully satisfied. Citation: Linde, N., S

  16. Tracer Gas as a Practical Field Diagnostic Tool for Assessing Duct System Leaks

    E-Print Network [OSTI]

    Cummings, J. B.

    1989-01-01T23:59:59.000Z

    A methodology is presented for using tracer gas testing to detect and quantify duct leakage in homes. Since air is invisible, leakage of air from duct systems often remains undetected. Smoke sticks used in conjunction with blower doors are excellent...

  17. CHEMICAL TRACER RETENTION IN POROUS MEDIA Submitted to the Department of Petroleum Engineering

    E-Print Network [OSTI]

    Stanford University

    * CHEMICAL TRACER RETENTION IN POROUS MEDIA A Report Submitted to the Department of Petroleum Engineering of Stanford University in Fulfillment of the Requirement for the Degree of Master of Science

  18. General Counsel Legal Interpretation Regarding Medical Removal...

    Energy Savers [EERE]

    Regarding Medical Removal Protection Benefits Pursuant to 10 CFR Part 850, Chronic Beryllium Disease Prevention Program General Counsel Legal Interpretation Regarding Medical...

  19. DISPLAYING AND INTERPRETING FLUID INCLUSION STRATIGRAPHY ANALYSES...

    Open Energy Info (EERE)

    ANALYSES ON MUDLOG GRAPHS Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Proceedings: DISPLAYING AND INTERPRETING FLUID INCLUSION STRATIGRAPHY...

  20. AERIAL PHOTO INTERPRETATION NATIONAL INVENTORY OF LANDSCAPES

    E-Print Network [OSTI]

    MANUAL FOR AERIAL PHOTO INTERPRETATION IN THE NATIONAL INVENTORY OF LANDSCAPES IN SWEDEN NILS YEAR.................................................................................................. 10 2.1.4 Information for directed field inventories

  1. Mineralogic Interpretation Of Hymap Hyperspectral Data, Dixie...

    Open Energy Info (EERE)

    Mineralogic Interpretation Of Hymap Hyperspectral Data, Dixie Valley, Nevada, USA-Initial Results Jump to: navigation, search OpenEI Reference LibraryAdd to library Journal...

  2. Glass mixing theory and tracer study results from the SF-10 run

    SciTech Connect (OSTI)

    Bowman, B.W.; Routt, K.R.

    1988-08-01T23:59:59.000Z

    A general, partial differential equation governing glass mixing in the Slurry Fed Ceramic Melter (SFCM) was derived and a solution obtained based upon certain simplifying assumptions. Tracer studies were then conducted in the SFCM during the SF-10 run to test the theory and characterize glass mixing in this melter. Analysis of the tracer data shows that glass mixing in the SFCM can be explained by use of a model of two, well-mixed tanks in series.

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

  4. Urban Dispersion Program MSG05 Field Study: Summary of Tracer and Meteorological Measurements

    SciTech Connect (OSTI)

    Allwine, K Jerry; Flaherty, Julia E.

    2006-08-09T23:59:59.000Z

    The Urban Dispersion Program is a multi-year project, funded by the U.S. Department of Homeland Security, to better understand the flow and dispersion of airborne contaminants through and around the deep street canyons of New York City. The first tracer and meteorological field study was a limited study conducted during March 2005 near the Madison Square Garden in midtown Manhattan. Six safe, inert, gaseous perfluorocarbon tracers were released simultaneously at five street-level locations during two experimental days. In addition to collecting tracer data, meteorological data were also collected. Brookhaven National Laboratory conducted the bulk of the tracer and meteorological field efforts with Pacific Northwest National Laboratory and Stevens Institute of Technology assisting by measuring the vertical profile of winds. The Environmental Protection Agency worked with Brookhaven National Laboratory in accomplishing the personal exposure component of the study. This report presents some results from this analysis. In general, different release locations showed vastly different plume footprints for tracer materials, and the situation was made very complex with upwind and/or crosswind transport of tracer near street-level for the different release locations. Overall wind speeds and directions upwind and over the city were generally constant throughout each of the two experimental periods.

  5. Lévy Fluctuations and Tracer Diffusion in Dilute Suspensions of Algae and Bacteria

    E-Print Network [OSTI]

    Irwin M. Zaid; Jörn Dunkel; Julia M. Yeomans

    2010-09-20T23:59:59.000Z

    Swimming microorganisms rely on effective mixing strategies to achieve efficient nutrient influx. Recent experiments, probing the mixing capability of unicellular biflagellates, revealed that passive tracer particles exhibit anomalous non-Gaussian diffusion when immersed in a dilute suspension of self-motile Chlamydomonas reinhardtii algae. Qualitatively, this observation can be explained by the fact that the algae induce a fluid flow that may occasionally accelerate the colloidal tracers to relatively large velocities. A satisfactory quantitative theory of enhanced mixing in dilute active suspensions, however, is lacking at present. In particular, it is unclear how non-Gaussian signatures in the tracers' position distribution are linked to the self-propulsion mechanism of a microorganism. Here, we develop a systematic theoretical description of anomalous tracer diffusion in active suspensions, based on a simplified tracer-swimmer interaction model that captures the typical distance scaling of a microswimmer's flow field. We show that the experimentally observed non-Gaussian tails are generic and arise due to a combination of truncated L\\'evy statistics for the velocity field and algebraically decaying time correlations in the fluid. Our analytical considerations are illustrated through extensive simulations, implemented on graphics processing units to achieve the large sample sizes required for analyzing the tails of the tracer distributions.

  6. Patient position verification using small IMRT fields

    SciTech Connect (OSTI)

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

    2006-07-15T23:59:59.000Z

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

  12. DRAFT Measurement & Verification Guidelines Version 4.0

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

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

    E-Print Network [OSTI]

    Southampton, University of

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

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

  17. An Environment for Empirical Data Interpretation

    E-Print Network [OSTI]

    Bruegge, Bernd

    An Environment for Empirical Data Interpretation Gudrun J. Klinker Cambridge Research Lab, Digital, such as biomedical imaging, robotics, seismic data analysis, and wood classification. Current visualization systems exploration and interpretation tools which can be adapted to the requirements of different applications

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

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

  20. A robot manipulator calibration procedure with experimental verification

    E-Print Network [OSTI]

    Padavala, Satya Srinivas

    1988-01-01T23:59:59.000Z

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

  1. Become an SEP Verification Body | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels DataEnergyDepartmentWind SitingVerification Body Become an SEP Verification

  2. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect (OSTI)

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

    2011-02-15T23:59:59.000Z

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

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

  4. Patient Positioning Based on a Radioactive Tracer Implanted in Patients With Localized Prostate Cancer: A Performance and Safety Evaluation

    SciTech Connect (OSTI)

    Kruijf, Willy J.M. de, E-mail: kruijf.de.w@bvi.nl [Institute Verbeeten, Tilburg (Netherlands); Verstraete, Jan [Department of Radiation Oncology, Leuven Cancer Institute, University Hospitals Leuven, Leuven (Belgium)] [Department of Radiation Oncology, Leuven Cancer Institute, University Hospitals Leuven, Leuven (Belgium); Neustadter, David [Navotek Medical Ltd, Yokneam (Israel)] [Navotek Medical Ltd, Yokneam (Israel); Corn, Benjamin W. [Tel Aviv Medical Center, Tel Aviv (Israel)] [Tel Aviv Medical Center, Tel Aviv (Israel); Hol, Sandra; Venselaar, Jack L.M. [Institute Verbeeten, Tilburg (Netherlands)] [Institute Verbeeten, Tilburg (Netherlands); Davits, Rob J.; Wijsman, Bart P. [TweeSteden Hospital, Tilburg (Netherlands)] [TweeSteden Hospital, Tilburg (Netherlands); Van den Bergh, Laura; Budiharto, Tom [Department of Radiation Oncology, Leuven Cancer Institute, University Hospitals Leuven, Leuven (Belgium)] [Department of Radiation Oncology, Leuven Cancer Institute, University Hospitals Leuven, Leuven (Belgium); Oyen, Raymond [Department of Radiology, University Hospitals Leuven, Leuven (Belgium)] [Department of Radiology, University Hospitals Leuven, Leuven (Belgium); Haustermans, Karin [Department of Radiation Oncology, Leuven Cancer Institute, University Hospitals Leuven, Leuven (Belgium)] [Department of Radiation Oncology, Leuven Cancer Institute, University Hospitals Leuven, Leuven (Belgium); Poortmans, Philip M.P. [Institute Verbeeten, Tilburg (Netherlands)] [Institute Verbeeten, Tilburg (Netherlands)

    2013-02-01T23:59:59.000Z

    Purpose: To evaluate the performance and safety of a radiation therapy positioning system (RealEye) based on tracking a radioactive marker (Tracer) implanted in patients with localized prostate cancer. Methods and Materials: We performed a single-arm multi-institutional trial in 20 patients. The iridium-192 ({sup 192}Ir)-containing Tracer was implanted in the patient together with 4 standard gold seed fiducials. Patient prostate-related symptoms were evaluated with the International Prostate Symptom Score (IPSS) questionnaire. Computed tomography (CT) was performed for treatment planning, during treatment, and after treatment to evaluate the migration stability of the Tracer. At 5 treatment sessions, cone beam CT was performed to test the positioning accuracy of the RealEye. Results: The Tracer was successfully implanted in all patients. No device or procedure-related adverse events occurred. Changes in IPSS scores were limited. The difference between the mean change in Tracer-fiducial distance and the mean change in fiducial-fiducial distance was -0.39 mm (95% confidence interval [CI] upper boundary, -0.22 mm). The adjusted mean difference between Tracer position according to RealEye and the Tracer position on the CBCT for all patients was 1.34 mm (95% CI upper boundary, 1.41 mm). Conclusions: Implantation of the Tracer is feasible and safe. Migration stability of the Tracer is good. Prostate patients can be positioned and monitored accurately by using RealEye.

  5. Advancing reactive tracer methods for measuring thermal evolution in CO2-and water-based geothermal reservoirs

    Broader source: Energy.gov [DOE]

    DOE Geothermal Peer Review 2010 - Presentation. This project aims to develop reactive tracer method for monitoring thermal drawdown in enhanced geothermal systems.

  6. Results of injection and tracer tests in Olkaria north east field in Kenya

    SciTech Connect (OSTI)

    Karingithi, C.W. [Kenya Power Company Ltd., Naivasha (Kenya)

    1995-12-31T23:59:59.000Z

    Tracer and injection tests were performed in the Olkaria North East Field with the objective to reduce uncertainty in the engineering design and to determine the suitability of well OW-704 as a re-injection well for the waste brine from the steam field during production. An organic dye (sodium fluorescein) was injected into well OW-704 as a slug. The tracer returns were observed in well OW-M2 which is 580 m deep, 620 m from well OW-704 and well OW-716 which is 900 m from well OW-704. The other wells on discharge, OW-714, and OW-725 did not show any tracer returns. However, other chemical constituents suggested., that well OW-716 experienced a chemical breakthrough earlier than OW-M2. Tracer return velocities of 0.31 m/hr and 1.3 m/hr were observed. Results of the tracer and injection tests indicate that OW-704 may be used as a re-injection well provided a close monitoring program is put in place.

  7. Laboratory testing and modeling to evaluate perfluorocarbon compounds as tracers in geothermal systems

    SciTech Connect (OSTI)

    Reimus, Paul W [Los Alamos National Laboratory

    2011-01-21T23:59:59.000Z

    The thermal stability and adsorption characteristics of three perfluorinated hydrocarbon compounds were evaluated under geothermal conditions to determine the potential to use these compounds as conservative or thermally-degrading tracers in Engineered (or Enhanced) Geothermal Systems (EGS). The three compounds tested were perfluorodimethyl-cyclobutane (PDCB), perfluoromethylcyclohexane (PMCH), and perfluorotrimethylcyclohexane (PTCH), which are collectively referred to as perfluorinated tracers, or PFTs. Two sets of duplicate tests were conducted in batch mode in gold-bag reactors, with one pair of reactors charged with a synthetic geothermal brine containing the PFTs and a second pair was charged with the brine-PFT mixture plus a mineral assemblage chosen to be representative of activated fractures in an EGS reservoir. A fifth reactor was charged with deionized water containing the three PFTs. The experiments were conducted at {approx}100 bar, with temperatures ranging from 230 C to 300 C. Semi-analytical and numerical modeling was also conducted to show how the PFTs could be used in conjunction with other tracers to interrogate surface area to volume ratios and temperature profiles in EGS reservoirs. Both single-well and cross-hole tracer tests are simulated to illustrate how different suites of tracers could be used to accomplish these objectives. The single-well tests are especially attractive for EGS applications because they allow the effectiveness of a stimulation to be evaluated without drilling a second well.

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

  9. Battery Technology Life Verification Testing and Analysis

    SciTech Connect (OSTI)

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

    2007-12-01T23:59:59.000Z

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

  10. Understanding correlation coefficients in treaty verification. Revised

    SciTech Connect (OSTI)

    DeVolpi, A.

    1993-02-01T23:59:59.000Z

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

  11. Generating and interpreting referring expressions in context

    E-Print Network [OSTI]

    Smith, Dustin Arthur

    2013-01-01T23:59:59.000Z

    Referring expressions with vague and ambiguous modifiers, such as "a quick visit" and "the big meeting," are difficult for computers to interpret because their meanings are defined in part by context. For the hearer to ...

  12. Structure and Interpretation of Computer Programs

    E-Print Network [OSTI]

    Abelson, Harold

    1983-07-01T23:59:59.000Z

    "The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in Electrical ...

  13. On the Scientific Status of Interpretive Inquiry 

    E-Print Network [OSTI]

    Sosenko, Filip

    2007-01-01T23:59:59.000Z

    interpretive inquiry meets the requirements of this definition. The structure of my thesis follows this definition in that what is discussed is the three substantial elements of it - theory, research method, and professional quality control. In relation...

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

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

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

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

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

    E-Print Network [OSTI]

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

  17. Single-well tracer methods for hydrogeologic evaluation of target aquifers

    SciTech Connect (OSTI)

    Hall, S.H.

    1994-11-01T23:59:59.000Z

    Designing an efficient well field for an aquifer thermal energy storage (ATES) project requires measuring local groundwater flow parameters as well as estimating horizontal and vertical inhomogeneity. Effective porosity determines the volume of aquifer needed to store a given volume of heated or chilled water. Ground-water flow velocity governs the migration of the thermal plume, and dispersion and heat exchange along the flow path reduces the thermal intensity of the recovered plume. Stratigraphic variations in the aquifer will affect plume dispersion, may bias the apparent rate of migration of the plume, and can prevent efficient hydraulic communication between wells. Single-well tracer methods using a conservative flow tracer such as bromide, along with pumping tests and water-level measurements, provide a rapid and cost-effective means for estimating flow parameters. A drift-and-pumpback tracer test yields effective porosity and flow velocity. Point-dilution tracer testing, using new instrumentation for downhole tracer measurement and a new method for calibrating the point-dilution test itself, yields depth-discrete hydraulic conductivity as it is affected by stratigraphy, and can be used to estimate well transmissivity. Experience in conducting both drift-and-pumpback and point-dilution tests at three different test sites has yielded important information that highlights both the power and the limitations of the single-well tracer methods. These sites are the University of Alabama Student Recreation Center (UASRC) ATES well field and the VA Medical Center (VA) ATES well field, both located in Tuscaloosa, Alabama, and the Hanford bioremediation test site north of Richland, Washington.

  18. Monitoring/Verification using DMS: TATP Example

    SciTech Connect (OSTI)

    Stephan Weeks; Kevin Kyle

    2008-03-01T23:59:59.000Z

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

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

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

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

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

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

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

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

    Broader source: Energy.gov [DOE]

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Ryan, Mark

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

    E-Print Network [OSTI]

    Mostowski, Wojciech

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

  20. Correction to ``Stratospheric CO2 isotopic anomalies and SF6 and CFC tracer concentrations in the Arctic

    E-Print Network [OSTI]

    Alexander, Becky

    Correction to ``Stratospheric CO2 isotopic anomalies and SF6 and CFC tracer concentrations anomalies and SF6 and CFC tracer concentrations in the Arctic polar vortex'' [Alexander et al., 2001 of the approx- imate mean SF6 ages versus Á17 O (diamonds) and d18 O (circles). References Alexander, B., M. K

  1. Ventilation of the deep ocean constrained with tracer observations and implications for radiocarbon estimates of ideal mean age

    E-Print Network [OSTI]

    Khatiwala, Samar

    Ventilation of the deep ocean constrained with tracer observations and implications for radiocarbon: ocean ventilation tracers ideal mean age radiocarbon age Green function inverse modeling Ocean ventilation is the process that transports water and climatically important trace gases such as carbon dioxide

  2. Characterizing the Hydrology of Shallow Floodplain Lakes in the Slave River Delta, NWT, Canada, Using Water Isotope Tracers

    E-Print Network [OSTI]

    Edwards, Thomas W.D.

    , all delta lakes underwent heavy-isotope enrichment due to evaporation, although lakes flooded, Using Water Isotope Tracers Bronwyn E. Brock*{ Brent B. Wolfe*{ and Thomas W. D. Edwards* *Department using water isotope tracers and total suspended sediment (TSS) analyses. A suite of 41 lakes from three

  3. GeneTracer: Gene Sequence Analysis of Disease Mutations VAST 2010 Mini Challenge 3 Award: Excellent Process Explanation

    E-Print Network [OSTI]

    Stasko, John T.

    GeneTracer: Gene Sequence Analysis of Disease Mutations VAST 2010 Mini Challenge 3 Award: ExcellentTracer, developed for the VAST 2010 genetic sequence mini challenge, visualizes gene sequences of cur- rent outbreaks and native sequences along with disease character- istics. We successfully used Gene

  4. Finite countermodels for safety verification of parameterized tree systems

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01T23:59:59.000Z

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

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

  6. Tracer studies of pathways and rates of meltwater transport through Arctic summer sea ice

    E-Print Network [OSTI]

    Eicken, Hajo

    Tracer studies of pathways and rates of meltwater transport through Arctic summer sea ice H. Eicken) program's field site in the northern Chukchi Sea, snow and ice meltwater flow was found to have a strong impact on the heat and mass balance of sea ice during the summer of 1998. Pathways and rates of meltwater

  7. Tracer Study of Mixing and Transport in the Upper Hudson River

    E-Print Network [OSTI]

    Ho, David

    ; Peter Schlosser2 ; and David T. Ho3 Abstract: In October 2001, 0.2 mol of SF6 was injected reduce longitudinal dispersion below the value expected in a natural channel with the same discharge. SF6, and gas exchange in a river by means of a deliberately released tracer, sulfur hexafluoride SF6

  8. New Tracers Identify Hydraulic Fracturing Fluids and Accidental Releases from Oil and Gas Operations

    E-Print Network [OSTI]

    Jackson, Robert B.

    New Tracers Identify Hydraulic Fracturing Fluids and Accidental Releases from Oil and Gas produced waters sampled from conventional oil and gas wells. We posit that boron isotope geochemistry can tool is validated by examining the composition of effluent discharge from an oil and gas brine

  9. Assessment of the detection abilities of monitoring networks for passive tracers at local and regional scales

    E-Print Network [OSTI]

    Mallet, Vivien

    -field studies involve measurement sensors placed within 30 km of nuclear power plants, whether at fixed to power plant locations. They have been carried out at several spatial scales, from local to global: nearAssessment of the detection abilities of monitoring networks for passive tracers at local

  10. Physical causes and modeling challenges of anomalous diffusion of sediment tracers

    E-Print Network [OSTI]

    Physical causes and modeling challenges of anomalous diffusion of sediment tracers Douglas] #12;Velocity autocorrelation: Controlled by inertia 0.1 1 Dispersion: inertial at short time particles spend much more time at rest than in motion. Stochastic modeling approach: Direct solution of f

  11. 6.7 GHZ METHANOL MASERS: PROPERTIES, ASSOCIATIONS AND TRACERS OF GALACTIC

    E-Print Network [OSTI]

    Richardson Jr., James E.

    6.7 GHZ METHANOL MASERS: PROPERTIES, ASSOCIATIONS AND TRACERS OF GALACTIC STRUCTURE A Dissertation Jagadheep Dhanasekara Pandian ALL RIGHTS RESERVED #12;6.7 GHZ METHANOL MASERS: PROPERTIES, ASSOCIATIONS transition of methanol is the strongest of methanol masers, and is the second strongest maser transition ever

  12. Seasonal Variation in Monthly Average Air Change Rates Using Passive Tracer Gas Measurements

    E-Print Network [OSTI]

    Hansen, René Rydhof

    of indoor air pollution sources. Concurrently, great efforts are made to make buildings energy efficient 1970s, while less attention has been paid to IAQ. Insufficient venting of indoor air pollutantsSeasonal Variation in Monthly Average Air Change Rates Using Passive Tracer Gas Measurements Marie

  13. Isotopic Tracer Studies of Reaction Pathways for Propane Oxidative Dehydrogenation on Molybdenum Oxide Catalysts

    E-Print Network [OSTI]

    Iglesia, Enrique

    Isotopic Tracer Studies of Reaction Pathways for Propane Oxidative Dehydrogenation on Molybdenum of propane over ZrO2-supported MoOx catalysts. Competitive reactions of C3H6 and CH3 13 CH2CH3 showed combustion of propene, or by direct combustion of propane. A mixture of C3H8 and C3D8 undergoes oxidative

  14. Tracer transport in the presence of steady zonal jets in a forced and viscous barotropic model

    E-Print Network [OSTI]

    Collier, Jonathan Craig

    2000-01-01T23:59:59.000Z

    Tracers released into a barotropic fluid which was not subject to the beta-effect were seen to disperse according to the classical laws given by G.I. Taylor in 1921. In the short-time limit, the average total displacement was proportional...

  15. TRACER AND DARCY-BASED IDENTIFICATION OF SUBSURFACE FLOW, BUKIT TIMAH FOREST,

    E-Print Network [OSTI]

    Chappell, Nick A

    that catchment or even slope scale simulation using parameters of the Darcy-Buckingham-Richards equation, the validity of the Richards equation (or the Darcy- Buckingham equation in its steady-state form) at slopeTRACER AND DARCY-BASED IDENTIFICATION OF SUBSURFACE FLOW, BUKIT TIMAH FOREST, SINGAPORE M

  16. TRACER: A Trace Replay Tool to Evaluate Energy-Efficiency of Mass Storage Systems

    E-Print Network [OSTI]

    Qin, Xiao

    TRACER: A Trace Replay Tool to Evaluate Energy-Efficiency of Mass Storage Systems Zhuo Liu1 , Fei of accurately evaluating energy-efficient storage systems and objectively comparing a wide range of energy RAID5 enterprise disk array. Our experiments demonstrate that energy-efficient mass storage systems can

  17. Fracture Model, Ground Displacements and Tracer Observations: Fruitland Coals, San Juan Basin, New Mexico,

    E-Print Network [OSTI]

    Wilson, Thomas H.

    that the coal reservoirs consist of six separate coal beds rather than three. Perfluorocarbon tracer monitoring the site consist of two coal beds, each separated by a shale parting. This observation indicates will improve our understanding of Fruitland coal reservoirs; help develop more effective strategies to enhance

  18. Globally synchronous ice core volcanic tracers and abrupt cooling during the last glacial period

    E-Print Network [OSTI]

    Price, P. Buford

    Globally synchronous ice core volcanic tracers and abrupt cooling during the last glacial period R ash layers determined by remote optical borehole logging and core assays. We find that the Antarctic. These globally coincident volcanics were associated with abrupt cooling, often simultaneous with onsets or sudden

  19. ADVANCING REACTIVE TRACER METHODS FOR MONITORING THERMAL DRAWDOWN IN GEOTHERMAL ENHANCED GEOTHERMAL RESERVOIRS

    SciTech Connect (OSTI)

    Mitchell A. Plummer; Carl D. Palmer; Earl D. Mattson; George D. Redden; Laurence C. Hull

    2010-10-01T23:59:59.000Z

    Reactive tracers have long been considered a possible means of measuring thermal drawdown in a geothermal system, before significant cooling occurs at the extraction well. Here, we examine the sensitivity of the proposed method to evaluate reservoir cooling and demonstrate that while the sensitivity of the method as generally proposed is low, it may be practical under certain conditions.

  20. Small-scale mixing, large-scale advection and stratospheric tracer distributions

    E-Print Network [OSTI]

    Vanneste, Jacques

    , United Kingdom. Email: J.Vanneste@ed.ac.uk #12;The vertical mixing of tracers in the stratosphere distributions which are demonstrated using numerical simulations based on observed stratospheric winds. Specif in the turbulent-energy input, three-dimensional turbulence is confined within patches that are lo- calized

  1. Iodine as a tracer of organic material: 129 I results from gas hydrate

    E-Print Network [OSTI]

    Fehn, Udo

    Iodine as a tracer of organic material: 129 I results from gas hydrate systems and fore arc fluids of this system, investigations of gas hydrates from the Peru Margin (ODP 201, Site 1230) and of fluids collected for these fluids. The results are in good agreement with earlier investigations of gas hydrate systems at Blake

  2. INTERPRETATION OF A HYDRAULIC FRACTURING EXPERIMENT, MONTICELLO, SOUTH CAROLINA

    E-Print Network [OSTI]

    Narasimhan, T.N.

    2014-01-01T23:59:59.000Z

    Letters INTERPRETATION OF A HYDRAULIC FRACTURING EXPERIMENT,12091 INTERPRETATION OF A HYDRAULIC FRACTURING EXPERIMENT,transient data from a hydraulic fracturing experiment have

  3. A New Interpretation of the Scanning Tunneling Microscope Image...

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

    Interpretation of the Scanning Tunneling Microscope Image of Graphite. A New Interpretation of the Scanning Tunneling Microscope Image of Graphite. Abstract: In this work,...

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

  5. Evidence of Multi-Process Matrix Diffusion in a Single Fracturefrom a Field Tracer Test

    SciTech Connect (OSTI)

    Zhou, Quanlin; Liu, Hui-Hai; Bodvarsson, Gudmundur; Molz, Fred J.

    2005-06-11T23:59:59.000Z

    Compared to values inferred from laboratory tests on matrix cores, many field tracer tests in fractured rock have shown enhanced matrix diffusion coefficient values (obtained using a single-process matrix-diffusion model with a homogeneous matrix diffusion coefficient). To investigate this phenomenon, a conceptual model of multi-process matrix diffusion in a single-fracture system was developed. In this model, three matrix diffusion processes of different diffusion rates were assumed to coexist: (1) diffusion into stagnant water and infilling materials within fractures, (2) diffusion into a degraded matrix zone, and (3) further diffusion into an intact matrix zone. The validity of the conceptual model was then demonstrated by analyzing a unique tracer test conducted using a long-time constant-concentration injection. The tracer-test analysis was conducted using a numerical model capable of tracking the multiple matrix-diffusion processes. The analysis showed that in the degraded zone, a diffusion process with an enhanced diffusion rate controlled the steep rising limb and decay-like falling limb in the observed breakthrough curve, whereas in the intact matrix zone, a process involving a lower diffusion rate affected the long-term middle platform of slowly increasing tracer concentration. The different matrix-diffusion-coefficient values revealed from the field tracer test are consistent with the variability of matrix diffusion coefficient measured for rock cores with different degrees of fracture coating at the same site. By comparing to the matrix diffusion coefficient calibrated using single-process matrix diffusion, we demonstrated that this multi-process matrix diffusion may contribute to the enhanced matrix-diffusion-coefficient values for single-fracture systems at the field scale.

  6. Abstract Interpretation and Object-oriented Programming

    E-Print Network [OSTI]

    Cortesi, Tino

    and logic programming, have been in the past a very fertile test bed for the development of sophisticated abstract domains and specialized fix- point algorithms. On the other hand, when looking overshadow the great potentialities of abstract interpretation on the mainstream programming platforms where

  7. Combinatorially interpreting generalized Stirling John Engbers

    E-Print Network [OSTI]

    Galvin, David

    Combinatorially interpreting generalized Stirling numbers John Engbers David Galvin Justin Hilyard to as the Stirling numbers (of the second kind) of w. The nomenclature comes from the fact that when w = (xD)n, we have Sw(k) = n k , the ordinary Stirling number of the second kind. Explicit expressions for

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

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

  13. CLOSED OPERATION OF MULTIVESSEL BATCH DISTILLATION -EXPERIMENTAL VERIFICATION

    E-Print Network [OSTI]

    Skogestad, Sigurd

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

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

  15. Verification of Soundness and Other Properties of Business Processes

    E-Print Network [OSTI]

    Sidorova, Natalia

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

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

    E-Print Network [OSTI]

    Mousavi, Mohammad

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

  18. Software Verification for Weak Memory via Program Transformation

    E-Print Network [OSTI]

    Kröning, Daniel

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

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

  20. 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

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

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

    E-Print Network [OSTI]

    Stone, A. Douglas

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

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

    E-Print Network [OSTI]

    Olsson, Ron

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

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

    E-Print Network [OSTI]

    Simpson, Alex

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

  4. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

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

    SciTech Connect (OSTI)

    W. S. Thompson

    2006-12-28T23:59:59.000Z

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

  7. Verification of Function Block Diagram through Verilog Translation

    E-Print Network [OSTI]

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

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

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

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

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

  10. Automated Verification of Model Transformations in the Automotive Industry

    E-Print Network [OSTI]

    Cordy, James R.

    Automated Verification of Model Transformations in the Automotive Industry Gehan M. K. Selim1] transformation developed for the automotive industry [29]. More specifically, we check the correctness reported on such industrial expe- riences by discussing the effects of MDD and the issues that still need

  11. Towards automatic verification of ladder logic Bohumir Zoubek

    E-Print Network [OSTI]

    Oxford, University of

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

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

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

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

  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. MEASUREMENT SENSITIVITY AND ACCURACY VERIFICATION FOR AN ANTENNA MEASUREMENT SYSTEM

    E-Print Network [OSTI]

    Arakaki, Dean Y.

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

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

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

  1. Overview of SIMS-Based Experimental Studies of Tracer Diffusion in Solids and Application to Mg Self-Diffusion

    SciTech Connect (OSTI)

    Kulkarni, Nagraj S [ORNL; Warmack, Robert J Bruce [ORNL; Radhakrishnan, Balasubramaniam [ORNL; HunterJr., Jerry [Virginia Polytechnic Institute and State University; Sohn, Yong Ho [University of Central Florida; Coffey, Kevin [University of Central Florida; Murch, Prof. Graeme [University of Newcastle, NSW, Australia; Belova, Irina [University of Newcastle, NSW, Australia

    2014-01-01T23:59:59.000Z

    Tracer diffusivities provide the most fundamental information on diffusion in materials and are the foundation of robust diffusion databases. Compared to traditional radiotracer techniques that utilize radioactive isotopes, the secondary ion mass spectrometry (SIMS) based thin-film technique for tracer diffusion is based on the use of enriched stable isotopes that can be accurately profiled using SIMS. Experimental procedures & techniques that are utilized for the measurement of tracer diffusion coefficients are presented for pure magnesium, which presents some unique challenges due to the ease of oxidation. The development of a modified Shewmon-Rhines diffusion capsule for annealing Mg and an ultra-high vacuum (UHV) system for sputter deposition of Mg isotopes are discussed. Optimized conditions for accurate SIMS depth profiling in polycrystalline Mg are provided. An automated procedure for the correction of heat-up and cool-down times during tracer diffusion annealing is discussed. The non-linear fitting of a SIMS depth profile data using the thin film Gaussian solution to obtain the tracer diffusivity along with the background tracer concentration and tracer film thickness is discussed. An Arrhenius fit of the Mg self-diffusion data obtained using the low-temperature SIMS measurements from this study and the high-temperature radiotracer measurements of Shewmon and Rhines (1954) was found to be a good representation of both types of diffusion data that cover a broad range of temperatures between 250 - 627 C (523 900 K).

  2. A Study Plan for Determining Recharge Rates at the Hanford Site Using Environmental Tracers

    SciTech Connect (OSTI)

    Murphy,, E. M.; Szecsody,, J. E.; Phillips,, S. J.

    1991-02-01T23:59:59.000Z

    This report presents a study plan tor estimating recharge at the Hanford Site using environmental tracers. Past operations at the Hanford Site have led to both soil and groundwater contamination, and recharge is one of the primary mechanisms for transporting contaminants through the vadose zone and into the groundwater. The prediction of contaminant movement or transport is one aspect of performance assessment and an important step in the remedial investigation/feasibility study (RI/FS) process. In the past, recharge has been characterized by collecting lysimeter data. Although lysimeters can generate important and reliable data, their limitations include 1) fixed location, 2) fixed sediment contents, 3) edge effects, 4) low rates, and 5) relatively short duration of measurement. These limitations impact the ability to characterize the spatial distribution of recharge at the Hanford Site, and thus the ability to predict contaminant movement in the vadose zone. An alternative to using fixed lysimeters for determining recharge rates in the vadose zone is to use environmental tracers. Tracers that have been used to study water movement in the vadose zone include total chloride, {sup 36}CI, {sup 3}H, and {sup 2}H/{sup 18}O. Atmospheric levels of {sup 36}CI and {sup 3}H increased during nuclear bomb testing in the Pacific, and the resulting "bomb pulse" or peak concentration can be measured in the soil profile. Locally, past operations at the Hanford Site have resu~ed in the atmospheric release of numerous chemical and isotopic tracers, including nitrate, {sup 129}I, and {sup 99}Tc. The radionuclides, in particular, reached a well-defined atmospheric peak in 1945. Atmospheric releases of {sup 129}I and {sup 99}Tc were greatly reduced by mid-1946, but nitrogen oxides continued to be released from the uranium separations facilities. As a result, the nitrate concentrations probably peaked in the mid-1950s, when the greatest number of separations facilities were operating. Seven study sites on the Hanford Site have been selected, in two primary soil types that are believed to represent the extremes in recharge, the Quincy sand and the Warden silt loam. An additional background study site upwind of the Hanford facilities has been chosen at the Yakima Firing Center. Study sites at Hanford were chosen close to micrometeorology stations on downwind transects from the operational facilities. Initial testing will be done on sites that lack perennial vegetation. Six tracer techniques (total chlortde, {sup 36}Cl, {sup 3}H, nitrate, {sup 129}I, and {sup 99}Tc) will be tested on at least one site in the Quincy sand, one site in the Warden si~ loam, and the background site, to determine which combination of tracers wortks best for a given soil type. In subsequent years, additional sites will be investigated to determine the effect of vegetation on recharge estimates and on the performance of individual tracers. The use of environmental tracers is perhaps the only cost-effective method for estimating the spatial vartability of recharge at a site as large as Hanford. The tracer techniques used at Hanford have wide applicability at other and sites operated by the U.S. Department of Energy as well as at low-level radioactive waste disposal sites.

  3. Pilot-scale boiler study of sulfur hexafluoride and emissions of CO, CO sub 2 , O sub 2 , and unburned hydrocarbons as surrogates for verification of hazardous waste destruction removal efficiency. Final report, October 1986-June 1988

    SciTech Connect (OSTI)

    Proctor, C.L.; Fournier, D.L.; Hopmeier, M.; Roychoudhury, S.

    1989-06-01T23:59:59.000Z

    The use of sulfur hexafluoride (SF6) as a tracer and emissions of CO, CO{sub 2}, O{sub 2} and unburned hydrocarbons as surrogates for verification of hazardous-waste destruction removal efficiency (DRE) is discussed. These measurements were made in a pilot-scale firetube boiler facility and in a natural gas fired steam plant boiler. The data indicates that toluene, methyl ethyl ketone, and isopropanol are well-suited for destruction in a firetube boiler environment. Trichloroethylene and monochlorobenzene required auxillary fuel to maintain stable combustion. SF6 DRE was significantly lower than waste DREs for all runs. It also tracked waste DREs in most runs. Reduced waste and SF6 DREs were accompanied by lower emissions of CO{sub 2} and by increased emissions of O{sub 2} and total unburned hydrocarbons (TUHC). DREs tended to fall with increased CO concentration depicted by a few data points.

  4. Interpreting Power Anisotropy Measurements in Plasma Turbulence

    E-Print Network [OSTI]

    Chen, C H K; Horbury, T S; Schekochihin, A A

    2009-01-01T23:59:59.000Z

    A relationship between power anisotropy and wavevector anisotropy in turbulent fluctuations is derived. This can be used to interpret plasma turbulence measurements, for example in the solar wind. If fluctuations are anisotropic in shape then the ion gyroscale break point in spectra in the directions parallel and perpendicular to the magnetic field would not occur at the same frequency, and similarly for the electron gyroscale break point. This is an important consideration when interpreting solar wind observations in terms of anisotropic turbulence theories. Model magnetic field power spectra are presented assuming a cascade of critically balanced Alfven waves in the inertial range and kinetic Alfven waves in the dissipation range. The variation of power anisotropy with scale is compared to existing solar wind measurements and the similarities and differences are discussed.

  5. Measuring and interpreting charge dependent anisotropic flow

    E-Print Network [OSTI]

    Sergei A. Voloshin; Ronald Belmont

    2014-08-04T23:59:59.000Z

    The Chiral Magnetic Wave (CMW) [1] predicts a dependence of the positive and negative particle elliptic flow on the event charge asymmetry. Such a dependence has been observed by the STAR Collaboration [2]. However, it is rather difficult to interpret the results of this measurement, as well as to perform cross-experiment comparisons, due to the dependence of the observable on experimental inefficiencies and the kinematic acceptance used to determine the net asymmetry. We propose another observable that is free from these deficiencies. It also provides possibilities for differential measurements clarifying the interpretation of the results. We use this new observable to study the effect of the local charge conservation that can mimic the effect of the CMW in charge dependent flow measurements.

  6. Regional interpretation of Kansas aeromagnetic data

    SciTech Connect (OSTI)

    Yarger, H.L.

    1982-01-01T23:59:59.000Z

    The aeromagnetic mapping techniques used in a regional aeromagnetic survey of the state are documented and a qualitative regional interpretation of the magnetic basement is presented. Geothermal gradients measured and data from oil well records indicate that geothermal resources in Kansas are of a low-grade nature. However, considerable variation in the gradient is noted statewide within the upper 500 meters of the sedimentary section; this suggests the feasibility of using groundwater for space heating by means of heat pumps.

  7. Seismic interpretation of the Wind River Mountains

    E-Print Network [OSTI]

    Van Voorhis, David

    1982-01-01T23:59:59.000Z

    SEISMIC INTERPBETATICN OF THE BIND RIVER MOUNTAINS A Thesis DAVID VAN VOORHIS Submitted to the Graduate College of Texas ACM University in partial fulfillment of the requirement for the degree of MASTER OF SCIENCE Auqust 'l982 Majcr Subject...: Geophysics SEISNIC INTERFRETATION OF THE HIND RIVER NOUNTAINS A Thes is by DAVID VAN VOORBIS Approved as to style and content by: (Chairman cf. Committee) (N em ber } m (Head of Department) August l 982 ABSTRACT Seismic Interpretation of the Wind...

  8. Abstract Interpretation from a Topological Perspective

    E-Print Network [OSTI]

    Schmidt, David A.

    , then c C such that c U also. (A Scott-open U is like an interval, (c, +], on the real line.) x f f(x) f to abstract interpretation: Cousots' -topology for a.i. [Cousot2 78] defines a Scott-like topology #12;For Galois connection, P() , A, for f : P() P(), an abstract function, f : A A, is sound iff f

  9. Simultaneous Measurement of Tracer and Interdiffusion Coefficients: An Isotopic Phenomenological Diffusion Formalism for the Binary Alloy

    SciTech Connect (OSTI)

    Belova, Irina [University of Newcastle, NSW, Australia; Kulkarni, Nagraj S [ORNL; Sohn, Yong Ho [University of Central Florida; Murch, Prof. Graeme [University of Newcastle, NSW, Australia

    2013-01-01T23:59:59.000Z

    In this paper, a new development of the classic Onsager phenomenological formalism is derived using relations based on linear response theory. The development concerns the correct description of the fluxes of the atomic isotopes. The resulting expressions in the laboratory frame are surprisingly simple and consist of terms coming from the standard interdiffusion expressions and from Fick s first law where the tracer diffusion coefficient is involved thus providing a better understanding of the relationship between the two approaches - Fick s first law and the Onsager phenomenological formalism. From an experimental application perspective, the new development is applied to the binary alloy case. The formalism provides the means to obtain the interdiffusion coefficient and tracer diffusion coefficients simultaneously from analysis of the interdiffusion concentration profiles in a single experiment.

  10. Hillslope Hydrological Processes in a Costa Rican Rainforest: Water Supply Partitioning Using Isotope Tracers

    E-Print Network [OSTI]

    DuMont, Andrea Lyn

    2014-04-24T23:59:59.000Z

    Blancas Hydroelectric Project, and for improved predictions in similar, ungauged watersheds (ICE 2002). Study Watershed The study watershed is located in San Juan de Peñas Blancas, east of the Cordillera de Tilarán mountain range backing up... peaks. These goals were accomplished by supplementing hydraulic and physical data already available at the site with use of isotope tracers. Methods Study Site The 2.2 ha watershed used in this research is located in Peñas Blancas, Costa Rica...

  11. Inversion of field-scale partitioning tracer response for characterizing oil saturation distribution: a streamline approach

    E-Print Network [OSTI]

    Iliassov, Pavel Alexandrovich

    2000-01-01T23:59:59.000Z

    INVERSION OF FIELD-SCALE PARTITIONING TRACER RESPONSE FOR CHARACTERIZING OIL SATURATION DISTRIBUTION: A STREAMLINE APPROACH A Thesis by PAVEL ALEXANDROVICH ILIASSOV Submitted to the Office of Graduate Studies of Texas A&M University... A Thesis by PAVEL ALEXANDROVICH ILIASSOV Submitted to Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Approved as to style and content by: c 4- Akhil Datta-Gupta (Chair of Committee...

  12. ELIXYS - a fully automated, three-reactor high-pressure radiosynthesizer for development and routine production of diverse PET tracers.

    E-Print Network [OSTI]

    2013-01-01T23:59:59.000Z

    cancer treatment with PET/CT: does it make a difference? Jfor decentralized production of PET tracers. In Positronprobes FMAU, FHBG, and FHPG as PET imaging agents for HSV1-

  13. Thorium-234 as a tracer of spatial, temporal and vertical variability in particle flux in the North Pacific

    E-Print Network [OSTI]

    Siegel, David A.

    Thorium-234 as a tracer of spatial, temporal and vertical variability in particle flux in the North Available online 16 April 2009 Keywords: Thorium-234 Particle flux Sediment trap Scavenging North Pacific

  14. Retention of Tracer Gas from Instantaneous Releases of SF6 in an Urban Environment

    SciTech Connect (OSTI)

    Doran, J. C.; Allwine, K Jerry; Clawson, Kirk L.; Carter, Roger G.

    2006-01-01T23:59:59.000Z

    Data from a series of instantaneous releases of SF6 tracer during the Joint Urban 2003 study in Oklahoma City have been analyzed to determine characteristic retention times for puffs in an urban environment. Results from nine real-time tracer detectors with a time response of 0.5 seconds were used in the analysis. Distances from the source ranged from less than 200 m to over 1 km. For each individual intensive operating period (IOP), the detector locations were adjusted so that, given the expected wind directions during the releases, the detectors would lie generally downwind of the release point. As a result, building characteristics upwind of the detectors varied from one IOP to the next. Animations of the tracer concentrations show clear evidence of channeling along street canyons approximately parallel to the prevailing wind directions, trapping in street canyons perpendicular to the flow, and other complex circulation patterns. Retention times for individual puffs ranged from a few minutes to over 20 minutes, with a strong mode in the distribution around 11 minutes. There was surprisingly little correlation with wind speed or direction. Comparisons with simple puff models are presented.

  15. Field studies of streamflow generation using natural and injected tracers on Bickford and Walker Branch Watersheds

    SciTech Connect (OSTI)

    Genereux, D.; Hemond, H. [Massachusetts Inst. of Tech., Cambridge, MA (United States). Dept. of Civil Engineering; Mulholland, P. [Oak Ridge National Lab., TN (United States)

    1992-05-01T23:59:59.000Z

    Field studies of streamflow generation were undertaken on two forested watersheds, the West Road subcatchment of Bickford Watershed in central Massachusetts and the West Fork of Walker Branch Watershed in eastern Tennessee. A major component of the research was development of a two-stage methodology for the use of naturally-occurring {sup 222}Rn as a tracer. The first of the two stages was solving a mass-balance equation for {sup 222}Rn around a stream reach of interest in order to calculate Rn{sub q}, the {sup 222}Rn content of the lateral inflow to the reach; a conservative tracer (chloride) and a volatile tracer (propane) were injected into the study stream to account for lateral inflow to, and volatilization from, the study reach. The second stage involved quantitative comparison of Rn{sub q} to the measured {sup 222}Rn concentrations of different subsurface waters in order to assess how important these waters were in contributing lateral inflow to the stream reach.

  16. Filtering a statistically exactly solvable test model for turbulent tracers from partial observations

    SciTech Connect (OSTI)

    Gershgorin, B., E-mail: borisg@cims.nyu.ed [Department of Mathematics and Center for Atmosphere and Ocean Science, Courant Institute of Mathematical Sciences, New York University, NY 10012 (United States); Majda, A.J. [Department of Mathematics and Center for Atmosphere and Ocean Science, Courant Institute of Mathematical Sciences, New York University, NY 10012 (United States)

    2011-02-20T23:59:59.000Z

    A statistically exactly solvable model for passive tracers is introduced as a test model for the authors' Nonlinear Extended Kalman Filter (NEKF) as well as other filtering algorithms. The model involves a Gaussian velocity field and a passive tracer governed by the advection-diffusion equation with an imposed mean gradient. The model has direct relevance to engineering problems such as the spread of pollutants in the air or contaminants in the water as well as climate change problems concerning the transport of greenhouse gases such as carbon dioxide with strongly intermittent probability distributions consistent with the actual observations of the atmosphere. One of the attractive properties of the model is the existence of the exact statistical solution. In particular, this unique feature of the model provides an opportunity to design and test fast and efficient algorithms for real-time data assimilation based on rigorous mathematical theory for a turbulence model problem with many active spatiotemporal scales. Here, we extensively study the performance of the NEKF which uses the exact first and second order nonlinear statistics without any approximations due to linearization. The role of partial and sparse observations, the frequency of observations and the observation noise strength in recovering the true signal, its spectrum, and fat tail probability distribution are the central issues discussed here. The results of our study provide useful guidelines for filtering realistic turbulent systems with passive tracers through partial observations.

  17. Tracer measurements during long-term circulation of the Rosemanowes HDR geothermal system

    SciTech Connect (OSTI)

    Kwakwa, K.A.

    1988-01-01T23:59:59.000Z

    Circulation experiments have been in operation for over two years in the artificially stimulated hot dry rock (HDR) doublet of the Camborne School of Mines (CSM) research facility in Cornwall, England. During that period tracer tests have been run at intervals using inert and reactive compounds. Initially, the results of the inert tracer investigations showed that the active volume (indicated by modal and median volumes) of the circulating system was dormant. Then, after a period of sustained oscillation, notable increases in active volume were observed which depended on both the subsequent flow rate changes and circulation time. these dynamic changes had almost reached optimum values when a downhole pump was introduced in the production well. The drawdown in the production well caused a reduction of the modal volume, whilst the median volume remained almost the same. Since then, the active volume has remained unchanged and irresponsive to circulation time and flow rate. The results of the reactive tracer tests confirm increasing chemical reaction with increasing circulation time and correlate qualitatively with the opening of newer and hotter pathways within the reservoir. However, repeated production logs throughout the circulation have identified flow paths that have depleted thermally; a discrepancy that can be explained by the geometry of the system and the preferential downward reservoir growth.

  18. Semianalytical Solutions of Radioactive or Reactive Tracer Transport in Layered Fractured Media

    SciTech Connect (OSTI)

    G.J. Moridis; G. S. Bodvarsson

    2001-10-01T23:59:59.000Z

    In this paper, semianalytical solutions are developed for the problem of transport of radioactive or reactive tracers (solutes or colloids) through a layered system of heterogeneous fractured media with misaligned fractures. The tracer transport equations in the matrix account for (a) diffusion, (b) surface diffusion (for solutes only), (c) mass transfer between the mobile and immobile water fractions, (d) linear kinetic or equilibrium physical, chemical, or combined solute sorption or colloid filtration, and (e) radioactive decay or first order chemical reactions. Any number of radioactive decay daughter products (or products of a linear, first-order reaction chain) can be tracked. The tracer-transport equations in the fractures account for the same processes, in addition to advection and hydrodynamic dispersion. Additionally, the colloid transport equations account for straining and velocity adjustments related to the colloidal size. The solutions, which are analytical in the Laplace space, are numerically inverted to provide the solution in time and can accommodate any number of fractured and/or porous layers. The solutions are verified using analytical solutions for limiting cases of solute and colloid transport through fractured and porous media. The effect of important parameters on the transport of {sup 3}H, {sup 237}Np and {sup 239}Pu (and its daughters) is investigated in several test problems involving layered geological systems of varying complexity. {sup 239}Pu colloid transport problems in multilayered systems indicate significant colloid accumulations at straining interfaces but much faster transport of the colloid than the corresponding strongly sorbing solute species.

  19. Uncertainties in Air Exchange using Continuous-Injection, Long-Term Sampling Tracer-Gas Methods

    SciTech Connect (OSTI)

    Sherman, Max H.; Walker, Iain S.; Lunden, Melissa M.

    2013-12-01T23:59:59.000Z

    The PerFluorocarbon Tracer (PFT) method is a low-cost approach commonly used for measuring air exchange in buildings using tracer gases. It is a specific application of the more general Continuous-Injection, Long-Term Sampling (CILTS) method. The technique is widely used but there has been little work on understanding the uncertainties (both precision and bias) associated with its use, particularly given that it is typically deployed by untrained or lightly trained people to minimize experimental costs. In this article we will conduct a first-principles error analysis to estimate the uncertainties and then compare that analysis to CILTS measurements that were over-sampled, through the use of multiple tracers and emitter and sampler distribution patterns, in three houses. We find that the CILTS method can have an overall uncertainty of 10-15percent in ideal circumstances, but that even in highly controlled field experiments done by trained experimenters expected uncertainties are about 20percent. In addition, there are many field conditions (such as open windows) where CILTS is not likely to provide any quantitative data. Even avoiding the worst situations of assumption violations CILTS should be considered as having a something like a ?factor of two? uncertainty for the broad field trials that it is typically used in. We provide guidance on how to deploy CILTS and design the experiment to minimize uncertainties.

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

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

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

    E-Print Network [OSTI]

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

    2009-01-01T23:59:59.000Z

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

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

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

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

  6. An on-line human signature verification system

    E-Print Network [OSTI]

    Simsek, Burc A

    2000-01-01T23:59:59.000Z

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

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

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

    SciTech Connect (OSTI)

    J. M. Capron and K. A. Anselm

    2008-02-21T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    M. J. Appel

    2006-09-12T23:59:59.000Z

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

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

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

    SciTech Connect (OSTI)

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

    1995-03-01T23:59:59.000Z

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

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

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

    National Nuclear Security Administration (NNSA)

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

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

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

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

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

    E-Print Network [OSTI]

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

    2015-01-01T23:59:59.000Z

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

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

  20. Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes

    E-Print Network [OSTI]

    Moeller, Ralf

    Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes Sofia be formally derived using abduction over domain knowledge represented in an ontology. The approach uses rules, and formalizes the multimedia interpretation process using a combined abduction and deduction

  1. Interactive Seismic Interpretation with Piecewise Global Energy Minimization

    E-Print Network [OSTI]

    Interactive Seismic Interpretation with Piecewise Global Energy Minimization Thomas H¨ollt King and horizons. However, seismic interpretation and horizon tracing is a difficult and error-prone task, often starts with creating a model of the subsurface structures, the seismic interpretation. A seismic

  2. Finding hydrocarbons in the classroom using "free" seismic interpretation software

    E-Print Network [OSTI]

    Finding hydrocarbons in the classroom using "free" seismic interpretation software WAYNE D Technological Univer- sity, we recently introduced a new course in seismic processing and interpretation of this paper is to pro- vide details of the class assignment in seismic interpretation, and to encourage

  3. The Individual and Collective Token Interpretations of Petri Nets

    E-Print Network [OSTI]

    Pratt, Vaughan

    The Individual and Collective Token Interpretations of Petri Nets Rob van Glabbeek National ICT@cs.stanford.edu Abstract. Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I propose a new firing

  4. The Individual and Collective Token Interpretations of Petri Nets

    E-Print Network [OSTI]

    Pratt, Vaughan

    The Individual and Collective Token Interpretations of Petri Nets@cs.stanford.edu Abstract. Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I propose

  5. Kinetic analysis of 18F-fluorodihydrorotenone as a deposited myocardial flow tracer: Comparison to thallium-201.

    SciTech Connect (OSTI)

    Marshall, Robert C.; Powers-Risius, Patricia; Reutter, Bryan W.; O'Neil, James P.; La Belle, Michael; Huesman, Ronald H.; VanBrocklin, Henry F.

    2004-03-01T23:59:59.000Z

    The goal of this investigation was to assess the accuracy of 18F-fluorodihydrorotenone (18F-FDHR) as a new deposited myocardial flow tracer and compare the results to those for 201Tl. Methods. The kinetics of these flow tracers were evaluated in 22 isolated, erythrocyte- and albumin-perfused rabbit hearts over a flow range encountered in patients. The two flow tracers plus a vascular reference tracer (131I-albumin) were introduced as a bolus through a port just above the aortic cannula. Myocardial extraction, retention, washout, and uptake parameters were computed from the venous outflow curves using the multiple indicator dilution technique and spectral analysis. Results. The mean initial extraction fractions of 18F-FDHR (0.85 +- 0.07) and 201Tl (0.87 +- 0.05) were not significantly different, although the initial extraction fraction for 18F-FDHR declined with flow (P < 0.0001), whereas the initial extraction fraction of 201Tl did not. Washout of 201Tl was faster (P < 0.001) and more affected by flow (P < 0.05) than 18F-FDHR washout. Except for initial extraction fraction, 18F-FDHR retention was greater (P < 0.001) and less affected by flow (P < 0.05) than 201Tl retention. Reflecting its superior retention, net uptake of 18F-FDHR was better correlated with flow than 201Tl uptake at both one and fifteen minutes after tracer introduction (P < 0.0001 for both comparisons). Conclusion. The superior correlation of 18F-FDHR uptake with flow indicates that it is a better flow tracer than 201Tl in the isolated rabbit heart. Compared to the other currently available positron-emitting flow tracers (82Rb, 13N-ammonia, and 15O-water), 18F-FDHR has the potential of providing excellent image resolution without the need for an on-site cyclotron.

  6. The shadow interpretation versus quantum paradoxes

    E-Print Network [OSTI]

    Leffler, Warren

    2009-01-01T23:59:59.000Z

    This paper explores the consequences of denying the "emptiness of paths not taken," EPNT, premise of Bernstein, Greenberger, Horne, and Zeilinger (BGHZ) in their paper titled, Bell theorem without inequalities.[ ] Carrying out the negation of EPNT leads to the concept of a "shadow stream." Streams are essentially particle implementations of the paths in Feynman path-integrals, resulting in a simple and consistent extension of the standard axioms for quantum mechanics. The construct provides elegant resolutions of single- and multi-particle interference paradoxes. Moreover, combining the argument of this paper with that of BGHZ shows that there are just two choices for quantum foundations: interpretations closely similar to the present one or those that harbor instantaneous action at a distance.

  7. Spinless Quantum Field Theory and Interpretation

    E-Print Network [OSTI]

    Dong-Sheng Wang

    2013-03-07T23:59:59.000Z

    Quantum field theory is mostly known as the most advanced and well-developed theory in physics, which combines quantum mechanics and special relativity consistently. In this work, we study the spinless quantum field theory, namely the Klein-Gordon equation, and we find that there exists a Dirac form of this equation which predicts the existence of spinless fermion. For its understanding, we start from the interpretation of quantum field based on the concept of quantum scope, we also extract new meanings of wave-particle duality and quantum statistics. The existence of spinless fermion is consistent with spin-statistics theorem and also supersymmetry, and it leads to several new kinds of interactions among elementary particles. Our work contributes to the study of spinless quantum field theory and could have implications for the case of higher spin.

  8. Trip Report for the 2005 Sino-American SF6 Tracer Experiment

    SciTech Connect (OSTI)

    Bradley, M M; Sullivan, T J; Keating II, G A; Leach, M J

    2005-09-07T23:59:59.000Z

    The Chinese Institute for Radiation Protection (CIRP) conducted an SF6 atmospheric tracer experiment in July 2005 in the vicinity of the Qinshan Nuclear Power Company complex on the coast of the East China Sea. The experiment was partially sponsored by the US Department of Energy National Nuclear Security Administration, under the NA-23 International Emergency Management and Cooperation Program. NA-23 sent a delegation of five scientists to observe the experiment; four of the observers were from Lawrence Livermore National Laboratory (LLNL) and one was from the Japan Atomic Energy Research Institute (JAERI). CIRP's cooperation with the US-Japanese delegation was excellent, and the project was very successful from the international cooperation perspective. Although the experiment was modest in scope, it may provide one or more data sets that can be used for international dispersion model validation and intercomparison projects. Several areas for procedural improvements were noted by the US and Japanese observers, and a more concise measure of the experiment's scientific value will be available after CIRP completes and delivers the database of the experiment results by the end of the fiscal year. The consensus recommendation of the observers is that CIRP and DOE/NNSA NA-23 build on the experience and personal contacts gained during the experiment to plan and conduct an even more effective experiment in the future, perhaps as early as next year (2006). If the decision is made to conduct a follow-on experiment, we strongly recommend that the LLNL and JAERI representatives work cooperatively with CIRP throughout the entire planning phase of the experiment. As discussed in Section V, a 2006 China tracer experiment could serve as a springboard to a 2007 long-range international tracer experiment involving South Korea.

  9. Results of injection and tracer tests in Olkaria East Geothermal Field

    SciTech Connect (OSTI)

    Ambusso, Willis J.

    1994-01-20T23:59:59.000Z

    This paper presents results of a six month Injection and Tracer test done in Olkaria East Geothermal Field The Injection tests show that commencement of injection prior to onset of large drawdown in the reservoir leads to greater sustenance of well production and can reduce well cycling which is a common feature of wells in Olkaria East Field. For cases where injection is started after some drawdown has occurred in the reservoir, injection while leading to improvement of well output can also lead to increase in well cycling which is a non desirable side effect. Tracer tests reveal slow rate of fluid migration (< 5 m/hr). However estimates of the cumulative tracer returns over the period of injection is at least 31% which is large and reveals the danger of late time thermal drawdown and possible loss of production. It is shown in the discussion that the two sets of results are consistent with a reservoir where high permeability occurs along contact surfaces which act as horizontal "fractures" while the formations between the "fractures" have low permeability. This type of fracture system will lead to channeled flow of injected fluid and therefore greater thermal depletion along the fractures while formations further from the fracture would still be at higher temperature. In an attempt to try and achieve a more uniform thermal depletion in the reservoir, it is proposed that continuous injection be done for short periods (~2 years) and this be followed by recovery periods of the nearly the same length of time before resumption of injection again.

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

    E-Print Network [OSTI]

    Marconi, Sara

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

  11. An automated tracer dispersal system for snow accumulation and saltation transport investigations

    E-Print Network [OSTI]

    Ratzlaff, Kenneth L.; Braaten, David A.

    1998-02-01T23:59:59.000Z

    and disperses at fixed time intervals an aero- sol of colored glass microspheres which gravitationally settle onto the snow surface to act as a time marker and tracer. Primary design considerations for this instrumentation are manageable size and weight of all... the outlet port. When assembled, the inlet and outlet port tubing extends 1.9 and 0.6 cm, respectively, into each chamber, and a high pressure seal is maintained using 8.9 cm diameter buna o-rings. III. RESULTS AND DISCUSSION Each microsphere generator...

  12. Quantum Dot Tracers for Use in Engineered Geothermal | 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 DataDepartment of Energy Your Density Isn'tOrigin of ContaminationHubs+18, 2012 Qualified Energy ConservationDepartmentQuantum Dot Tracers

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

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

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

    E-Print Network [OSTI]

    Smart, William

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

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

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

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

    E-Print Network [OSTI]

    Young, R. Michael

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

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

    E-Print Network [OSTI]

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

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

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

    E-Print Network [OSTI]

    Sen, Alper

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

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

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Austin, Mark

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

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

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

    E-Print Network [OSTI]

    Leucker, Martin

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

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

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Pasareanu, Corina

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Murray, Richard M.

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

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

    E-Print Network [OSTI]

    Murray, Richard M.

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

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

    E-Print Network [OSTI]

    van der Aalst, Wil

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

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

    E-Print Network [OSTI]

    Young, R. Michael

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

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

    E-Print Network [OSTI]

    Kalla, Priyank

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

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

  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. Nocturnal Low-Level Jet in a Mountain Basin Complex. Part II: Transport and Diffusion of Tracer under Stable Conditions

    SciTech Connect (OSTI)

    Darby, Lisa S.; Allwine, K Jerry; Banta, Robert M.

    2006-05-01T23:59:59.000Z

    Differences in nighttime transport and diffusion of sulfur hexafluoride (SF6) tracer in an urban complex-terrain setting (Salt Lake City, Utah) are investigated using surface and Dopplerlidar wind data, and large-scale surface pressure differences. Interacting scales of motion, as studied through the URBAN 2000 field program combined with the Vertical Transport and Mixing Experiment (VTMX), explained the differences in the tracer behavior during three separate Intensive Operating Periods (IOPs). With an emphasis on nighttime stable boundary layer conditions, these field programs were designed to study flow features responsible for the nighttime transport of airborne substances. This transport has implications for air quality, homeland security, and emergency response issues if the airborne substances are hazardous. The important flow features investigated included thermally forced canyon and slope flows and a low-level jet (LLJ) that dominated the basin-scale winds when the surface pressure gradient was weak. The presence of thermally forced flows contributed to the complexity and hindered the predictability of the tracer motion within and beyond the city. When organized thermally forced flows were present, the tracer tended to stay closer to the city for longer periods of time, even though a strong basin-scale LLJ did develop. When thermally forced flows were short-lived or absent, the basin-scale low-level jet dominated the wind field and enhanced the transport of tracer material out of the city.

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

    E-Print Network [OSTI]

    Mazzotti, Frank

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

  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. Guaranteed Verification of Finite Element Solutions of Heat Conduction

    E-Print Network [OSTI]

    Wang, Delin

    2012-07-16T23:59:59.000Z

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

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

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

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

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

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

    E-Print Network [OSTI]

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

    2011-01-01T23:59:59.000Z

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

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

  8. Reactor physics verification of the MCNP6 unstructured mesh capability

    SciTech Connect (OSTI)

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

    2013-07-01T23:59:59.000Z

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

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

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

    SciTech Connect (OSTI)

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

    2014-09-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

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

  12. Potential method for measurement of CO2 leakage from underground sequestration fields using radioactive tracers

    SciTech Connect (OSTI)

    Bachelor, Paula P.; McIntyre, Justin I.; Amonette, James E.; Hayes, James C.; Milbrath, Brian D.; Saripalli, Prasad

    2008-07-01T23:59:59.000Z

    Reduction of anthropogenic carbon dioxide (CO2) release to the environment is a pressing challenge that should be addressed to avert the potential devastating effects of global warming. Within the United States, the most abundant sources of CO2 emissions are those generate from coal- or gas-fired power plants; one method to control CO2 emissions is to sequester it in deep underground geological formations. From integrated assessment models the overall leakage rates from these storage locations must be less than 0.1% of stored volume per year for long-term control. The ability to detect and characterize nascent leaks, in conjunction with subsequent remediation efforts, will significantly decrease the amount of CO2 released back into the environment. Because potential leakage pathways are not necessarily known a priori, onsite monitoring must be performed; the monitoring region in the vicinity of a CO2 injection well may be as large as 100 km2, which represents the estimated size of a supercritical CO2 bubble that would form under typical injection scenarios. By spiking the injected CO2 with a radiological or stable isotope tracer, it will be possible to detect ground leaks from the sequestered CO2 using fewer sampling stations, with greater accuracy than would be possible using simple CO2 sensors. The relative merits of various sorbent materials, radiological and stable isotope tracers, detection methods and potential interferences will be discussed.

  13. REAL-TIME TRACER MONITORING OF RESERVOIR STIMULATION PROCEDURES VIA ELECTRONIC WIRELINE AND TELEMETRY DATA TRANSMISSION

    SciTech Connect (OSTI)

    George L. Scott III

    2005-01-01T23:59:59.000Z

    Finalized Phase 2-3 project work has field-proven two separate real-time reservoir processes that were co-developed via funding by the National Energy Technology Laboratory (NETL). Both technologies are presently patented in the United States and select foreign markets; a downhole-commingled reservoir stimulation procedure and a real-time tracer-logged fracturing diagnostic system. Phase 2 and early Phase 3 project work included the research, development and well testing of a U.S. patented gamma tracer fracturing diagnostic system. This stimulation logging process was successfully field-demonstrated; real-time tracer measurement of fracture height while fracturing was accomplished and proven technically possible. However, after the initial well tests, there were several licensing issues that developed between service providers that restricted and minimized Realtimezone's (RTZ) ability to field-test the real-time gamma diagnostic system as was originally outlined for this project. Said restrictions were encountered after when one major provider agreed to license their gamma logging tools to another. Both of these companies previously promised contributory support toward Realtimezone's DE-FC26-99FT40129 project work, however, actual support was less than desired when newly-licensed wireline gamma logging tools from one company were converted by the other from electric wireline into slickline, batter-powered ''memory'' tools for post-stimulation logging purposes. Unfortunately, the converted post-fracture measurement memory tools have no applications in experimentally monitoring real-time movement of tracers in the reservoir concurrent with the fracturing treatment. RTZ subsequently worked with other tracer gamma-logging tool companies for basic gamma logging services, but with lessened results due to lack of multiple-isotope detection capability. In addition to real-time logging system development and well testing, final Phase 2 and Phase 3 project work included the development of a real-time reservoir stimulation procedure, which was successfully field-demonstrated and is presently patented in the U.S. and select foreign countries, including Venezuela, Brazil and Canada. Said patents are co-owned by RTZ and the National Energy Technology Lab (NETL). In 2002, Realtimezone and the NETL licensed said patents to Halliburton Energy Services (HES). Additional licensing agreements (LA) are anticipated with other service industry companies in 2005. Final Phase 3 work has led to commercial applications of the real-time reservoir stimulation procedure. Four successfully downhole-mixed well tests were conducted with commercially expected production results. The most recent, fourth field test was a downhole-mixed stimulated well completed in June, 2004, which currently produces 11 BOPD with 90 barrels of water per day. Conducted Phase 2 and Phase 3 field-test work to date has resulted in the fine-tuning of a real-time enhanced stimulation system that will significantly increase future petroleum well recoveries in the United States and foreign petroleum fields, both onshore and offshore, and in vertical and horizontal wells.

  14. Measurement and verification for solar water heating performance contracts

    SciTech Connect (OSTI)

    Walker, A.; Azerbegi, R.J.

    1999-07-01T23:59:59.000Z

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

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

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

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

  18. The Top Mass: Interpretation and Theoretical Uncertainties

    E-Print Network [OSTI]

    André H. Hoang

    2014-12-11T23:59:59.000Z

    Currently the most precise LHC measurements of the top quark mass are determinations of the top quark mass parameter of Monte-Carlo (MC) event generators reaching uncertainties of well below $1$ GeV. However, there is an additional theoretical problem when using the MC top mass $m_t^{\\rm MC}$ as an input for theoretical predictions, because a rigorous relation of $m_t^{\\rm MC}$ to a renormalized field theory mass is, at the very strict level, absent. In this talk I show how - nevertheless - some concrete statements on $m_t^{\\rm MC}$ can be deduced assuming that the MC generator behaves like a rigorous first principles QCD calculator for the observables that are used for the analyses. I give simple conceptual arguments showing that in this context $m_t^{\\rm MC}$ can be interpreted like the mass of a heavy-light top meson, and that there is a conversion relation to field theory top quark masses that requires a non-perturbative input. The situation is in analogy to B physics where a similar relation exists between experimental B meson masses and field theory bottom masses. The relation gives a prescription how to use $m_t^{\\rm MC}$ as an input for theoretical predictions in perturbative QCD. The outcome is that at this time an additional uncertainty of about $1$ GeV has to be accounted for. I discuss limitations of the arguments I give and possible ways to test them, or even to improve the current situation.

  19. INTERPRETATION OF GRAVITY SURVEYS IN GRASS AND BUENA VISTA VALLEYS, NEVADA

    E-Print Network [OSTI]

    Goldstein, N.E.

    2011-01-01T23:59:59.000Z

    resistivity, and seismic interpretations along selectedboth gra- vity and seismic interpretations at several pointsvery well with the seismic interpretation obtained by means

  20. INTERPRETATION OF GRAVITY SURVEYS IN GRASS AND BUENA VISTA VALLEYS, NEVADA

    E-Print Network [OSTI]

    Goldstein, N.E.

    2011-01-01T23:59:59.000Z

    resistivity, and seismic interpretations along selectedboth gra- vity and seismic interpretations at several pointsValley. Gravity and seismic interpretations also give The