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


1

Tracers and Tracer Interpretation | Open Energy Information  

Open Energy Info (EERE)

Tracers and Tracer Interpretation Tracers and Tracer Interpretation Jump to: navigation, search Contents 1 Geothermal Lab Call Projects for Tracers and Tracer Interpretation 2 Geothermal ARRA Funded Projects for Tracers and Tracer Interpretation Geothermal Lab Call Projects for Tracers and Tracer Interpretation Loading map... {"format":"googlemaps3","type":"ROADMAP","types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"limit":200,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"\u2026

2

Tracer Verification of Trajectory Models  

Science Conference Proceedings (OSTI)

Perfluorocarbon tracer data collected during the Cross Appalachian Tracer Experiment (CAPTEX '83) are used to determine the accuracy of three trajectory models: an isentropic, an isobaric, and a dimensional sigma model. The root-mean-square ...

Philip L. Haagenson; Ying-Hwa Kuo; Marina Syumanich; Nelson L. Seaman

1987-03-01T23:59:59.000Z

3

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

SciTech Connect

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.

G. Michael Shook; Shannon L.; Allan Wylie

2004-01-01T23:59:59.000Z

4

Tracer Test Interpretation Methods for Reservior Properties  

DOE Green Energy (OSTI)

The purpose of this project is to develop tools that can be used to interpret tracer tests and obtain estimates of reservoir and operational parameters. These tools (mostly in the form of spreadsheet applications) can be used to optimize geothermal resource management.

Shook, George Michael

2001-08-01T23:59:59.000Z

5

Quantitative interpretation of tracer test data | Open Energy Information  

Open Energy Info (EERE)

Quantitative interpretation of tracer test data Quantitative interpretation of tracer test data Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Paper: Quantitative interpretation of tracer test data Abstract Geothermal reinjection is an important part of sustainable management of geothermal resources. Reinjection started out as a method of waste-water disposal, but is now also being used to counteract pressure draw-down and to extract more thermal energy from reservoir rocks. The possible cooling of production wells, or thermal breakthrough, is one of the main disadvantages associated with injection. To minimize this danger while maintaining the benefit from reinjection requires careful testing and research. Tracer testing, which is used to study flow-paths and quantify fluid-flow in hydrological systems, is probably the most important tool for

6

A toolkit for groundwater mean residence time interpretation with gaseous tracers  

Science Conference Proceedings (OSTI)

An analytical Excel-based toolkit called Gas-Tracer-Interpretation (GTI) was developed for determining mean residence time (MRT) of groundwater samples and for validating conceptual model assumptions. This novel data interpretation toolkit improves data ... Keywords: Environmental tracer, Environmental tracers concentrations in water, Groundwater dating, Lumped-parameter modeling, Water age

Pablo Fernando Dávila, Christoph Külls, Markus Weiler

2013-12-01T23:59:59.000Z

7

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

Science Conference Proceedings (OSTI)

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

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

2000-08-01T23:59:59.000Z

8

Summary Verification Measures and Their Interpretation for Ensemble Forecasts  

Science Conference Proceedings (OSTI)

Ensemble prediction systems produce forecasts that represent the probability distribution of a continuous forecast variable. Most often, the verification problem is simplified by transforming the ensemble forecast into probability forecasts for ...

A. Allen Bradley; Stuart S. Schwartz

2011-09-01T23:59:59.000Z

9

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

SciTech Connect

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.

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

2000-08-01T23:59:59.000Z

10

USE OF PERFLUOROCARBON TRACER (PFT) TECHNOLOGY FOR SUBSURFACE BARRIER INTEGRITY VERIFICATION AT THE WALDO TEST SITE.  

SciTech Connect

Testing of perfluorocarbon gas tracers (PFT) on a subsurface barrier with known flaws was conducted at the Waldo Test Site operated by Science and Engineering Associates, Inc (SEA). The tests involved the use of five unique PFTs with a different tracer injected along the interior of each wall of the barrier. A fifth tracer was injected exterior to the barrier to examine the validity of diffusion controlled transport of the PFTs. The PFTs were injected for three days at a nominal flow rate of 15 cm{sup 3}/min and concentrations in the range of a few hundred ppm. Approximately 65 liters of air laced with tracer was injected for each tracer. The tracers were able to accurately detect the presence of the engineered flaws. Two flaws were detected on the north and east walls, and one flaw was detected on the south and west walls. In addition, one non-engineered flaw at the seam between the north and east walls was also detected. The use of multiple tracers provided independent confirmation of the flaws and permitted a distinction between tracers arriving at a monitoring port after being released from a nearby flaw and non-engineered flaws. The PFTs detected the smallest flaw, 0.5 inches in diameter. Visual inspection of the data showed excellent agreement with the known flaw locations and the relative size of the flaws was accurately estimated. Simultaneous with the PFT tests, SEA conducted tests with another gas tracer sulfur hexafluoride (SF{sub 6}).

SULLIVAN,T.

1999-06-01T23:59:59.000Z

11

Using Thermally Degrading, Partitioning and Nonreactive Tracers...  

Open Energy Info (EERE)

Type Topic 2 Tracers and Tracer Interpretation Project Description The goal of this project is to provide integrated tracer and tracer interpretation tools to facilitate this...

12

Interpretation of Measured Tracer Concentration Fluctuations Using a Sinusoidal Meandering Plume Model  

Science Conference Proceedings (OSTI)

Simultaneous instantaneous concentration and wind velocity fluctuations were measured 100 to 752 m downwind of a point source release of SF6 tracer during two field studies conducted amid rolling wheat fields and at a flat desert site in eastern ...

Holly Peterson; Brian Lamb; David Stock

1990-12-01T23:59:59.000Z

13

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

Science Conference Proceedings (OSTI)

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

Reimus, Paul W. [Los Alamos National Laboratory

2012-06-26T23:59:59.000Z

14

Preliminary Interpretation of a Radionuclide and Colloid Tracer Test in a Granodiorite Shear Zone at the Grimsel Test Site, Switzerland  

Science Conference Proceedings (OSTI)

In February and March 2012, a tracer test involving the injection of a radionuclide-colloid cocktail was conducted in the MI shear zone at the Grimsel Test Site, Switzerland, as part of the Colloids Formation and Migration (CFM) project. The colloids were derived from FEBEX bentonite, which is mined in Spain and is being considered as a potential waste package backfill in a Spanish nuclear waste repository. The tracer test, designated test 12-02 (second test in 2012), involved the injection of the tracer cocktail into borehole CFM 06.002i2 and extraction from the Pinkel surface packer at the main access tunnel wall approximately 6.1 m from the injection interval. The test configuration is depicted in Figure 1. This configuration has been used in several conservative tracer tests and two colloid-homologue tracer tests since 2007, and it is will be employed in an upcoming test involving the emplacement of a radionuclide-doped bentonite plug into CFM 06.002i2 to evaluate the swelling and erosion of the bentonite and the transport of bentonite colloids and radionuclides from the source to the extraction point at the tunnel wall. Interpretive analyses of several of the previous tracer tests, from 09-01 through 12-02 were provided in two previous Used Fuel Disposition Program milestone reports (Arnold et al., 2011; Kersting et al., 2012). However, only the data for the conservative tracer Amino-G Acid was previously analyzed from test 12-02 because the other tracer data from this test were not available at the time. This report documents the first attempt to quantitatively analyze the radionuclide and colloid breakthrough curves from CFM test 12-02. This report was originally intended to also include an experimental assessment of colloid-facilitated transport of uranium by bentonite colloids in the Grimsel system, but this assessment was not conducted because it was reported by German collaborators at the Karlsruhe Institute of Technology (KIT) that neither uranium nor neptunium adsorbed appreciably to FEBEX bentonite colloids in Grimsel groundwater (Huber et al., 2011). The Grimsel groundwater has a relatively high pH of {approx}9, so the lack of uranium and neptunium adsorption to clay is not surprising given the tendency for these actinides to form very stable negative or neutrally-charged uranyl- or calcium-uranyl-carbonate complexes at these pH, particularly in a water that is effectively saturated with respect to calcite. It was also observed in testing conducted at LANL earlier in 2012 that uranium did not adsorb measurably to Grimsel granodiorite in a synthetic Grimsel groundwater at pH {approx}8.5 (Kersting et al., 2012). Thus, the planned experimental work was not pursued because all the available information clearly pointed to an expected result that uranium transport would not be facilitated by clay colloids in the Grimsel system.

Reimus, Paul W. [Los Alamos National Laboratory

2012-08-30T23:59:59.000Z

15

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.  

Science Conference Proceedings (OSTI)

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.

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

2002-02-24T23:59:59.000Z

16

Tracer dating and ocean ventilation  

E-Print Network (OSTI)

The interpretation of transient tracer observations depends on dif•cult to obtain information on the evolution in time of the tracer boundary conditions and interior distributions. Recent studies have attempted to circumvent this problem by making use of a derived quantity, age, based on the simultaneous distribution of two complementary tracers, such as tritium and its daughter, helium 3. The age is defined with reference to the surface such that the boundary condition takes on a constant value of zero. We use a two-dimensional model to explore the circumstances under which such a combination of conservation equations for two complementary tracers can lead to a cancellation of the time derivative terms. An interesting aspect of this approach is that mixing can serve as a source or sink of tracer based age. We define an idealized "ventilation age tracer " that is conservative with respect to mixing, and we explore how its behavior compares with that of the tracer-based ages over a range of advective and diffusive parameters. 1.

G. Thiele; J. L. Sarmiento

1990-01-01T23:59:59.000Z

17

Biological tracer method  

DOE Patents (OSTI)

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.

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

1998-09-15T23:59:59.000Z

18

Biological tracer method  

DOE Patents (OSTI)

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.

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

1998-01-01T23:59:59.000Z

19

Tracer Testing | Open Energy Information  

Open Energy Info (EERE)

Tracer Testing Tracer Testing Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Exploration Technique: Tracer Testing Details Activities (9) Areas (5) Regions (0) NEPA(0) Exploration Technique Information Exploration Group: Downhole Techniques Exploration Sub Group: Well Testing Techniques Parent Exploration Technique: Well Testing Techniques Information Provided by Technique Lithology: Stratigraphic/Structural: Fracture zones and formation permeability Hydrological: Flow rates, flow direction, hydrologic connections, storativity Thermal: Dictionary.png Tracer Testing: A method based on injecting chemical tracers into the reservoir and monitoring how long it takes and where those tracers travel. The purpose is to model subsurface hydrothermal flow characteristics.

20

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

Science Conference Proceedings (OSTI)

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.

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

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


21

Advancing Reactive Tracer Methods for Measuring Thermal Evolution in CO2-  

Open Energy Info (EERE)

Advancing Reactive Tracer Methods for Measuring Thermal Evolution in CO2- Advancing Reactive Tracer Methods for Measuring Thermal Evolution in CO2- and Water-Based Geothermal Reservoirs Geothermal Lab Call Project Jump to: navigation, search Last modified on July 22, 2011. Project Title Advancing Reactive Tracer Methods for Measuring Thermal Evolution in CO2- and Water-Based Geothermal Reservoirs Project Type / Topic 1 Laboratory Call for Submission of Applications for Research, Development and Analysis of Geothermal Technologies Project Type / Topic 2 Tracers and Tracer Interpretation Project Description The concepts and theory behind the use of heat-sensitive tracers to study the thermal evolution of geothermal reservoirs was developed in the late 1980's under the Hot Dry Rock Project. Those studies described-conceptually and mathematically-the application of reactive tracers to tracking thermal fronts and to reservoir sizing. Later mathematical treatments focused on application of a single reactive tracer test to recover the temperature profile of a single streamtube. Previous tracer work has mainly focused on identifying conservative tracers. In these studies, chemicals that degraded at reservoir temperatures were discarded. Benzoic acids and dicarboxylic acids, which were found by Adams to degrade, may be useful as reactive tracers. Organic esters and amide tracers that undergo hydrolysis have been investigated and their use as reactive tracers appears feasible over a temperature range of 100ºC to 275ºC. However their reaction rates are pH dependent and sorption reactions have not been evaluated. While reactive tracer parameters have been measured in the lab, reactive tracers have not been extensively tested in the field. Thus, while reactive tracers appear to be a promising means of monitoring the thermal evolution of a geothermal reservoir, the concept has yet to be tested at the scale necessary for successful implementation, and tools for analyzing results of such tracer tests under the non-ideal conditions of an actual geothermal system have yet to be developed.

22

Obtaining Velocities from Tracer Distributions  

Science Conference Proceedings (OSTI)

A simple advective-diffusive system with uniform, horizontal flow in a channel and fixed boundary concentrations of two tracers is analyzed for the tracer concentrations in the interior. The deduced concentrations are then treated as given ...

Manuel E. Fiadeiro; George Veronis

1984-11-01T23:59:59.000Z

23

Verification of Scientific Simulations via Hypothesis-Driven Comparative and Quantitative Visualization  

Science Conference Proceedings (OSTI)

This article presents a visualization-assisted process that verifies scientific-simulation codes. Code verification is necessary because scientists require accurate predictions to interpret data confidently. This verification process integrates iterative hypothesis verification with comparative, feature, and quantitative visualization. Following this process can help identify differences in cosmological and oceanographic simulations.

Ahrens, James P [ORNL; Heitmann, Katrin [ORNL; Petersen, Mark R [ORNL; Woodring, Jonathan [Los Alamos National Laboratory (LANL); Williams, Sean [Los Alamos National Laboratory (LANL); Fasel, Patricia [Los Alamos National Laboratory (LANL); Ahrens, Christine [Los Alamos National Laboratory (LANL); Hsu, Chung-Hsing [ORNL; Geveci, Berk [ORNL

2010-11-01T23:59:59.000Z

24

On Ocean Transport Diagnostics: The Idealized Age Tracer and the Age Spectrum  

Science Conference Proceedings (OSTI)

The idealized age tracer is commonly used to diagnose transport in ocean models and to help interpret ocean measurements. In most studies only the steady-state distribution, the result of many centuries of model integration, has been presented ...

Timothy M. Hall; Thomas W. N. Haine

2002-06-01T23:59:59.000Z

25

Verification of Adaptive Systems  

SciTech Connect

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.

Pullum, Laura L [ORNL; Cui, Xiaohui [New York Institute of Technology (NYIT); Vassev, Emil [Lero – The Irish Software Engineering Research Centre; Hinchey, Mike [Lero – The Irish Software Engineering Research Centre; Rouff, Christopher [Lockheed Martin Corporation; Buskens, Richard [Lockheed Martin Corporation

2012-01-01T23:59:59.000Z

26

Tracer Diffusion Databases for ICME  

Science Conference Proceedings (OSTI)

... of a large repository of stable isotopes that can be utilized for tracer diffusion .... Lattice Dynamics and Thermodynamics of Lithium Battery Materials LiMPO4 ...

27

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

Science Conference Proceedings (OSTI)

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.

Akhil Datta-Gupta

2003-08-01T23:59:59.000Z

28

Tracer Recovery and Mixing from Two Geothermal Injection-Backflow Studies |  

Open Energy Info (EERE)

Tracer Recovery and Mixing from Two Geothermal Injection-Backflow Studies Tracer Recovery and Mixing from Two Geothermal Injection-Backflow Studies Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Conference Proceedings: Tracer Recovery and Mixing from Two Geothermal Injection-Backflow Studies Details Activities (2) Areas (2) Regions (0) Abstract: Injection-backflow tracer testing on a single well is not a commonly used procedure for geothermal reservoir evaluation, and, consequently, there is little published information on the character or interpretation of tracer recovery curves. Two field experiments were conducted to develop chemical tracer procedures for use with injection-backflow testing, one on the fracture-permeability Raft River reservoir and the other on the matrix-permeability East Mesa reservoir. Results from tests conducted with incremental increases in the injection

29

ORISE: Independent verification  

NLE Websites -- All DOE Office Websites (Extended Search)

Independent verification Independent verification ORISE techinician performs environmental scanning The Oak Ridge Institute for Science and Education (ORISE) performs independent environmental assessments and verification to determine the effectiveness of radiological cleanup at decontamination and decommissioning (D&D) projects across the United States. Since 1980, ORISE has performed independent verification at more than 500 sites in 42 states and the District of Columbia. As the primary independent verification contractor for all U.S. Department of Energy (DOE) cleanup projects and the only verification contractor for the U.S. Nuclear Regulatory Commission (NRC), we validate that soil, water and structures are within established state and federal release criteria, and can be safely designated for public use.

30

BNL | Tracer Technology Group | BNL  

NLE Websites -- All DOE Office Websites (Extended Search)

Tracer Technology Group Tracer Technology Group Tracer Technology Image The Tracer Technology Group (TTG) developed the use of perfluorocarbon tracers (PFTs) as tools for studying long range atmospheric transport and dispersion in the early 1980s.We are world leaders in the use of PFTs for solving diverse research and engineering problems in the atmospheric sciences, the energy production and utility industries, and building characterization. The unique capabilities of the TTG are derived from our analytical expertise, infrastructure, and experience. We have developed PFT analytical methods that have detection limits at the femtogram level. We can measure global background levels of PFTS at the parts per quadrillion levels. Our scientists and technical staff have extensive experience in

31

Definition: Tracer Testing | Open Energy Information  

Open Energy Info (EERE)

Jump to: navigation, search Dictionary.png Tracer Testing A method based on injecting chemical tracers into the reservoir and monitoring how long it takes and where those tracers...

32

Treaty Verification | ornl.gov  

NLE Websites -- All DOE Office Websites (Extended Search)

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

33

Tracer airflow measurement system (TRAMS)  

DOE Patents (OSTI)

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.

Wang, Duo (Albany, CA)

2007-04-24T23:59:59.000Z

34

Gas tracer composition and method  

SciTech Connect

The invention provides a method for tagging methane by adding thereto one or more of the tracer compounds sulfur hexafluoride and chloropentafluoroethane. The methane being tagged is normally being stored in underground storage fields to provide identity and proof of ownership of the gas. The two tracer compounds are readily detectable at very low concentrations by electron capture gas chromatography apparatus which can be made portable and thus suitable for use in the field.

Malcosky, N. D.; Koziar, G.

1985-11-05T23:59:59.000Z

35

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

Open Energy Info (EERE)

Tracer Test Using Ethanol as a Two-Phase Tracer and 2-Naphthalene Tracer 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 GEOTHERMAL ENERGYGeothermal Home Conference Proceedings: A Tracer Test Using Ethanol as a Two-Phase Tracer and 2-Naphthalene Sulfonate as a Liquid-Phase Tracer at the Coso Geothermal Field Details Activities (1) Areas (1) Regions (0) Abstract: A tracer test was conducted at the Coso geothermal field in order to characterize the flow patterns of fluid injected into well 68-20RD. A conservative liquid phase tracer, 2-naphthalene sulfonate, and a two-phase tracer, ethanol, were injected into well 68-20RD. Surrounding production wells were sampled over the subsequent 125 days and analyzed for the two tracers. The liquid-phase tracer showed negligible returns, whereas the

36

Modular data structure verification  

E-Print Network (OSTI)

This dissertation describes an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my ...

Kuncak, Viktor (Viktor Jaroslav), 1977-

2007-01-01T23:59:59.000Z

37

Automated deduction for verification  

Science Conference Proceedings (OSTI)

Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beginning. Satisfiability solvers for propositional and first-order logic significantly automate the task ...

Natarajan Shankar

2009-10-01T23:59:59.000Z

38

Monitoring, verification, and accounting  

NLE Websites -- All DOE Office Websites (Extended Search)

verification, and accounting (MVA) activities are underway verification, and accounting (MVA) activities are underway to ensure the injected CO 2 remains in the geologic formation. The first plant has been capturing CO 2 since December 2012, while the second plant completed construction in February and began carbon capture operations in March. Both units are now operating at full capacity. More than 222,000 tons of CO 2 have been captured and provided for storage

39

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

Open Energy Info (EERE)

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

40

Diagnostic Implications of the Reactivity of Fluorescence Tracers  

SciTech Connect

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.

Sick, V; Westbrook, C

2008-07-14T23:59:59.000Z

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


41

Gas Bubbles as Oceanographic Tracers  

Science Conference Proceedings (OSTI)

Air bubbles can be used as oceanographic tracers that indicate the strength of a downwelling current by which they are subducted. In a tidal front in the Fraser Estuary, British Columbia, Canada, vertical currents of up to 0.70 m s?1 subduct ...

Burkard Baschek; David M. Farmer

2010-01-01T23:59:59.000Z

42

A hypercube Ray-tracer  

Science Conference Proceedings (OSTI)

We describe a hypercube ray-tracing program for rendering computer graphics. For small models, which fit in the memory of a single processor, the ray-tracer uses a scattered decomposition of pixels to balance the load, and achieves a very high efficiency. ...

J. Salmon; J. Goldsmith

1989-01-01T23:59:59.000Z

43

International Comparison of Product Certification and Verification...  

NLE Websites -- All DOE Office Websites (Extended Search)

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

44

Tracer dispersion in the turbulent convective layer  

Science Conference Proceedings (OSTI)

Experimental results for passive tracer dispersion in the turbulent surface layer under convective conditions are presented. In this case, the dispersion of tracer particles is determined by the interplay of two mechanisms: buoyancy and advection. ...

Alex Skvortsov; Milan Jamriska; Timothy C. DuBois

45

Meteorological Tracer Techniques for Parameterizing Atmospheric Dispersion  

Science Conference Proceedings (OSTI)

Although tracer materials have been used in atmospheric dispersion studies for decades, basic information about meteorological tracer techniques is scattered among a number of different sources. This paper attempts to pull together this ...

Warren B. Johnson

1983-05-01T23:59:59.000Z

46

Propagation of Tracer Signals in Boundary Currents  

Science Conference Proceedings (OSTI)

The propagation of a range of tracer signals in a simple model of the deep western boundary current is examined. Analytical expressions are derived in certain limits for the transit-time distributions and the propagation times (tracer ages) of ...

Darryn W. Waugh; Timothy M. Hall

2005-09-01T23:59:59.000Z

47

Can Paleoceanographic Tracers Constrain Meridional Circulation Rates?  

Science Conference Proceedings (OSTI)

The ability of paleoceanographic tracers to constrain rates of transport is examined using an inverse method to combine idealized observations with a geostrophic model. Considered are the spatial distribution, accuracy, and types of tracers ...

Peter Huybers; Geoffrey Gebbie; Olivier Marchal

2007-02-01T23:59:59.000Z

48

Quantum Money with Classical Verification  

E-Print Network (OSTI)

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

Gavinsky, Dmitry

2011-01-01T23:59:59.000Z

49

Verification and validation benchmarks.  

SciTech Connect

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

Oberkampf, William Louis; Trucano, Timothy Guy

2007-02-01T23:59:59.000Z

50

Multiple-tracer gas analyzer  

SciTech Connect

A multi-gas tracer system has been designed, built, and used on an explosively fractured oil shale rubble bed. This paper deals exclusively with the hardware, software, and overall operation of the tracer system. This system is a field portable, self-contained unit, which utilizes a mass spectrometer for gas analysis. The unit has a 20 channel sample port capability and is controlled by a desk top computer. The system is configured to provide a dynamic sensitivity range of up to six orders of magnitude. A roots blower is manifolded to the unit to provide continuous flow in all sample lines. The continuous flow process allows representative samples as well as decreasing the time between each measurement. Typical multiplex cycle time to evaluate four unique gases is approximately 12 seconds.

Uhl, J.E.

1982-01-01T23:59:59.000Z

51

Analysis of an interwell tracer test in a depleted heavy oilreservoir  

SciTech Connect

This paper presents field data and analyses of an interwell tracer test conducted in the Niitsu oil field which is a fully depleted heavy oil reservoir of unconsolidated sand formation. The purpose of the tracer test is to diagnose reservoir heterogeneity at a location where a micellar/ polymer field test is planned. Water containing a chemical tracer was injected at a constant rate into an injector surrounded by three production wells. Effluent analyses showed very early breakthrough of injected water at two of the producing wells, no tracer, however, was detected at the third producer thoughout the test period. In addition, tracer production profiles at two wells after breakthrough differed much from each other. These test results suggest a strong areal heterogeneity of the tested formation. An appropriate analytical model was used to obtain a preliminary interpretation of the results. A modified three-dimensional black oil model developed to simulate polymer flood process was then utilized for analyzing the data in more detail. The model treats tracer solution as a fourth component, and can also account for adsorption of tracer.

Ohno, K.; Horne, R.N.; Nanba, T.

1985-03-01T23:59:59.000Z

52

Development of Models to Simulate Tracer Behavior in Enhanced Geothermal Systems  

DOE Green Energy (OSTI)

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.

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

2010-06-01T23:59:59.000Z

53

Three-Dimensional Bayesian Geostatistical Aquifer Characterization at the Hanford 300 Area using Tracer Test Data  

SciTech Connect

Tracer testing under natural or forced gradient flow holds the potential to provide useful information for characterizing subsurface properties, through monitoring, modeling and interpretation of the tracer plume migration in an aquifer. Non-reactive tracer experiments were conducted at the Hanford 300 Area, along with constant-rate injection tests and electromagnetic borehole flowmeter (EBF) profiling. A Bayesian data assimilation technique, the method of anchored distributions (MAD) [Rubin et al., 2010], was applied to assimilate the experimental tracer test data with the other types of data and to infer the three-dimensional heterogeneous structure of the hydraulic conductivity in the saturated zone of the Hanford formation. In this study, the Bayesian prior information on the underlying random hydraulic conductivity field was obtained from previous field characterization efforts using the constant-rate injection tests and the EBF data. The posterior distribution of the conductivity field was obtained by further conditioning the field on the temporal moments of tracer breakthrough curves at various observation wells. MAD was implemented with the massively-parallel three-dimensional flow and transport code PFLOTRAN to cope with the highly transient flow boundary conditions at the site and to meet the computational demands of MAD. A synthetic study proved that the proposed method could effectively invert tracer test data to capture the essential spatial heterogeneity of the three-dimensional hydraulic conductivity field. Application of MAD to actual field data shows that the hydrogeological model, when conditioned on the tracer test data, can reproduce the tracer transport behavior better than the field characterized without the tracer test data. This study successfully demonstrates that MAD can sequentially assimilate multi-scale multi-type field data through a consistent Bayesian framework.

Chen, Xingyuan; Murakami, Haruko; Hahn, Melanie S.; Hammond, Glenn E.; Rockhold, Mark L.; Zachara, John M.; Rubin, Yoram

2012-06-01T23:59:59.000Z

54

TFE Verification Program  

DOE Green Energy (OSTI)

The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a TFE suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TF Verification Program builds directly on the technology and data base developed in the 1960s and 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern. The general logic and strategy of the program to achieve its objectives is shown on Fig. 1-1. Five prior programs form the basis for the TFE Verification Program: (1) AEC/NASA program of the 1960s and early 1970; (2) SP-100 concept development program;(3) SP-100 thermionic technology program; (4) Thermionic irradiations program in TRIGA in FY-86; (5) and Thermionic Technology Program in 1986 and 1987. 18 refs., 64 figs., 43 tabs.

Not Available

1990-03-01T23:59:59.000Z

55

Petroleum characterization by perfluorocarbon tracers  

SciTech Connect

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.

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

56

Quantum Money with Classical Verification  

E-Print Network (OSTI)

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

Dmitry Gavinsky

2011-09-02T23:59:59.000Z

57

Doublet Tracer Testing in Klamath Falls, Oregon  

DOE Green Energy (OSTI)

A tracer test was carried out in a geothermal doublet system to study the injection behavior of a developed reservoir known to be fractured. The doublet produces about 320 gpm of 160 F water that is used for space heating and then injected; the wells are spaced 250 ft apart. Tracer breakthrough was observed in 2 hours and 45 minutes in the production well, indicating fracture flow. However, the tracer concentrations were low and indicated porous media flow; the tracers mixed with a reservoir volume much larger than a fracture.

Gudmundsson, J.S.; Johnson, S.E.; Horne, R.N.; Jackson, P.B.; Culver, G.G.

1983-12-15T23:59:59.000Z

58

Automatic Verification of String Manipulating ProgramsOverview Outline Overview Symbolic String Verification Composite Verification References  

E-Print Network (OSTI)

Is it Vulnerable? We investigate string verification problem and present an automata-based approach for automatic verification of string manipulating programs based on symbolic string analysis. String analysis plays an important role in the security area. For instance, one can detect various web vulnerabilities like SQL Command Injection and Cross Site Scripting (XSS) attacks. Fang Yu, UCSB Automatic Verification of String Manipulating ProgramsOutline

Fang Yu; Cs Guest Leture

2009-01-01T23:59:59.000Z

59

Analytic solutions of tracer transport in fractured rock associated with precipitation-dissolution reactions  

DOE Green Energy (OSTI)

Precipitation-dissolution reactions are important for a number of applications such as isotopic tracer transport in the subsurface. Analytical solutions have been developed for tracer transport in both single-fracture and multiple-fracture systems associated with these reactions under transient and steady-state transport conditions. These solutions also take into account advective transport in fractures and molecular diffusion in the rock matrix. For studying distributions of disturbed tracer concentration (the difference between actual concentration and its equilibrium value), effects of precipitation-dissolution reactions are mathematically equivalent to a 'decay' process with a decay constant proportional to the corresponding bulk reaction rate. This important feature significantly simplifies the derivation procedure by taking advantage of the existence of analytical solutions for tracer transport associated with radioactive decay in fractured rock. It is also useful for interpreting tracer breakthrough curves, because the impact of a decay process is relatively easy to analyze. Several illustrative examples are presented, which show that the results are sensitive to fracture spacing, matrix diffusion coefficient (fracture surface area), and bulk reaction rate (or 'decay' constant), indicating that the relevant flow and transport parameters may be estimated by analyzing tracer signals.

Liu, H.H.; Mukhopadhyay, S.; Spycher, N.; Kennedy, B.

2011-03-15T23:59:59.000Z

60

Analysis of an interwell tracer test in a depleted heavy-oil reservoir  

SciTech Connect

This paper presents field data and analyses of an interwell tracer test conducted in the Niitsu oil field, which is a fully depleted heavy-oil reservoir of unconsolidated sand formation. Water containing a chemical tracer was injected at a constant rate into an injector surrounded by three production wells. Effluent analyses showed very early breakthrough of injected water at two of the producing wells. The test results suggest a strong areal heterogeneity of the tested formation. An appropriate analytic model was used to obtain a preliminary interpretation of the results. A modified three-dimensional (3D) black-oil model developed to simulate th polymer flood process was then used for analyzing the data in more detail. The model treats tracer solution as a fourth component and can also account for adsorption of tracer. Simulation efforts were concentrated on matching the breakthrough times and tracer profiles after breakthrough. Through both the analytic and the simulation work, the reservoir is characterized by a highly heterogeneous distribution of horizontal permeability, a thin layer of high permeability, and a natural waterdrive that cause a preferential flow trend in a direction toward one producer. The authors conclude that the interwell tracer test is an effective tool for evaluating reservoir heterogeneities and a quantitative analysis of test data is done with the polymer option of a black-oil simulator.

Ohno, K.; Nanba, T.; Horne, R.N.

1987-12-01T23:59:59.000Z

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


61

Webinar - Software Verification & Validation? - 2012-08-04  

Science Conference Proceedings (OSTI)

Webinar - Software Verification & Validation [1200]. Purpose: Webinar - Software Verification & Validation [1200]. At the ...

2013-06-03T23:59:59.000Z

62

Security and Verification Provable cryptography  

E-Print Network (OSTI)

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

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

63

Microseismic Tracer Particles for Hydraulic Fracturing  

NLE Websites -- All DOE Office Websites (Extended Search)

Microseismic Tracer Particles for Hydraulic Fracturing Microseismic Tracer Particles for Hydraulic Fracturing Microseismic Tracer Particles for Hydraulic Fracturing Scientists at Los Alamos National Laboratory have developed a method by which microseismic events can be discriminated/detected that correspond to only the portion of the hydraulic fracture that contains the proppant material and can be expected to be conductive to the flow of oil and gas. July 3, 2013 Microseismic Tracer Particles for Hydraulic Fracturing Figure 1: A graph of ionic conductivity as a function of temperature for the anti-perovskite Li3OCl. Available for thumbnail of Feynman Center (505) 665-9090 Email Microseismic Tracer Particles for Hydraulic Fracturing Applications: Oil and gas production Geophysical exploration Benefits: Tracks the disposition of material in a hydraulic fracturing

64

ETV Joint Verification Statement  

E-Print Network (OSTI)

Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environmental protection by substantially accelerating the acceptance and use of improved and cost-effective technologies. ETV seeks to achieve this goal by providing high-quality, peer-reviewed data on technology performance to those involved in the design, distribution, financing, permitting, purchase, and use of environmental technologies. ETV works in partnership with recognized standards and testing organizations and stakeholder groups consisting of regulators, buyers, and vendor organizations, with the full participation of individual technology developers. The program evaluates the performance of innovative technologies by developing test plans that are responsive to the needs of stakeholders, conducting field or laboratory tests (as appropriate), collecting and analyzing data, and preparing peer-reviewed reports. All evaluations are conducted in accordance with rigorous quality assurance protocols to ensure that data of known and adequate quality are generated and that the results are defensible.

unknown authors

1999-01-01T23:59:59.000Z

65

Microsoft PowerPoint - Tracer plume detection-LANL(Fessenden...  

NLE Websites -- All DOE Office Websites (Extended Search)

Artificially introduced or naturally present All tracers will partition into liquid and gas phases -T,P, Depth Dependent Information Gathered from Tracers (1)Reservoir volume...

66

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

NLE Websites -- All DOE Office Websites (Extended Search)

Experiments to Evaluate and Implement Passive Tracer Gas Methods to Measure Ventilation Rates in Homes Title Experiments to Evaluate and Implement Passive Tracer Gas Methods to...

67

Experimental Determination of Tracer Dispersivity in Fractures  

DOE Green Energy (OSTI)

Reinjection of waste hot water is commonly practiced in most geothermal fields, primarily as a means of disposal. Surface discharge of these waste waters is usually unacceptable due to the resulting thermal and chemical pollution. Although reinjection can help to main reservoir pressure and fluid volume, in some cases a decrease in reservoir productivity has been observed. This is caused by rapid flow of the reinjected water through fractures connecting the injector and producers. As a result, the water is not sufficiently heated by the reservoir rock, and a reduction in enthalpy of the produced fluids is seen. Tracer tests have proven to be valuable to reservoir engineers for the design of a successful reinjection program. By injecting a slug of tracer and studying the discharge of surrounding producing wells, an understanding of the fracture network within a reservoir can be provided. In order to quantify the results of a tracer test, a model that accurately describes the mechanisms of tracer transport is necessary. One such mechanism, dispersion, is like a smearing out of a tracer concentration due to the velocity gradients over the cross section of flow. If a dispersion coefficient can be determined from tracer test data, the fracture width can be estimated. The purpose of this project was to design and construct an apparatus to study the dispersion of a chemical tracer in flow through a fracture.

Gilardi, J.; Horns, R.N.

1985-01-22T23:59:59.000Z

68

Tracer Developments: Results of Experimental Studies  

DOE Green Energy (OSTI)

Tracers can be used to monitor the movement of groundwaters and geothermal fluids and they can be used as a reference to quantify changes in fluid chemistry as a result of injection. Despite their potential importance to the geothermal operator, very few tracers are presently available and of those that are, little is known about their stability or behavior at the elevated temperatures that typify resources capable of electric power generation. During the past two years the University of Utah Research Institute has been involved in tracer research and testing, largely through the DOE Injection Research Program. The purpose of this paper is to summarize the results of these laboratory and field investigations.

Adams, M.C.; Ahn, J.H.; Bentley, H.; Moore, J.N.; Veggeberg, S.

1986-01-21T23:59:59.000Z

69

Identification and characterization of conservative organic tracers for use as hydrologic tracers for the Yucca Mountain Site characterization study; Progress report, April 1, 1993--June 30, 1993  

Science Conference Proceedings (OSTI)

This report is in two parts one for the fluorinated benzoic acids and one for the fluorinated aliphatic acids. The assumptions made in the report regarding the amount of tracer that will be used, dilution of the tracer during the test and the length of exposure (if any) to individuals drinking the water were made by the authors. These assumptions must really come from the USGS hydrologists in charge of the c-well tracer testing program. Accurate estimates of dilution of the tracer during the test are also important because of solubility limitations of some of the tracers. Three of the difluorobenzoic acids have relatively low solubilities and may not be usable if the dilution estimates are large. The toxicologist that reviewed the document agreed with our conclusion that the fluorinated benzoic and toluic acids do not represent a health hazard if used under the conditions as outlined in the report. We are currently testing 15 of these compounds, and if even if three difluorobenzoic acids cannot be used because of solubility limitations we will still have 12 tracers. The toxicologist felt that the aliphatic fluorinated acids potentially present more of a health risk than the aromatic. This assessment was based on the fact of a known allergic response to halothane anesthetic. This risk, although minimal, is known and he felt that was enough reason to recommend against their use. The authors feel that the toxicologists interpretation of this risk was overly conservative, however, we will not go against his recommendation at this time for the following reasons. First, without the aliphatic compounds we still have 12 to 15 fluorinated aromatic acids which, should be enough for the c-well tests. Second, to get a permit to use aliphatic compounds would undoubtedly require a hearing which could be quite lengthy.

Dombrowski, T.; Stetzenbach, K.

1993-08-01T23:59:59.000Z

70

Scoring Rules for Forecast Verification  

Science Conference Proceedings (OSTI)

The problem of probabilistic forecast verification is approached from a theoretical point of view starting from three basic desiderata: additivity, exclusive dependence on physical observations (“locality”), and strictly proper behavior. By ...

Riccardo Benedetti

2010-01-01T23:59:59.000Z

71

Wavelets and Field Forecast Verification  

Science Conference Proceedings (OSTI)

Current field forecast verification measures are inadequate, primarily because they compress the comparison between two complex spatial field processes into one number. Discrete wavelet transforms (DWTs) applied to analysis and contemporaneous ...

William M. Briggs; Richard A. Levine

1997-06-01T23:59:59.000Z

72

Runtime verification: the application perspective  

Science Conference Proceedings (OSTI)

In the past decade, Runtime Verification (RV) has gained much focus, from both the research community and practitioners. Roughly speaking, RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems' executions and ...

Yliès Falcone; Lenore D. Zuck

2012-10-01T23:59:59.000Z

73

Determining Velocities and Mixing Coefficients from Tracers  

Science Conference Proceedings (OSTI)

The effort to determine oceanic velocities from tracer distributions relies on a knowledge of the effects of mixing. However, the macroscopic diffusion coefficient, K, is generally not known and must be calculated along with the velocity. The ...

Jae Hak Lee; George Veronis

1989-04-01T23:59:59.000Z

74

Tracer Leakage from Modeled Agulhas Rings  

Science Conference Proceedings (OSTI)

In a numerical, isopycnal, ocean model the mixing is investigated with the environment of two idealized Agulhas rings, one that splits, and one that remains coherent. The evolution of a passive tracer, initially contained within the rings, shows ...

L. de Steur; P. J. van Leeuwen; S. S. Drijfhout

2004-06-01T23:59:59.000Z

75

When Are Eddy Tracer Fluxes Directed Downgradient?  

Science Conference Proceedings (OSTI)

The mechanisms controlling the direction of eddy tracer fluxes are examined using eddy-resolving isopycnic experiments for a cyclic zonal channel. Eddy fluxes are directed downgradient on average when either (i) there is a Lagrangian increase in ...

Chris Wilson; Richard G. Williams

2006-02-01T23:59:59.000Z

76

Tracers and Potential Vorticities in Ocean Dynamics  

Science Conference Proceedings (OSTI)

The Ertel potential vorticity theorem for stratified viscous fluids in a rotating system is analyzed herein. A set of “tracers,” that is, materially conserved scalar quantities, and the corresponding Ertel potential vorticities are used to obtain ...

Michael V. Kurgansky; Giorgio Budillon; Ettore Salusti

2002-12-01T23:59:59.000Z

77

Modeling teleological interpretation  

Science Conference Proceedings (OSTI)

The paper presents a model of teleological interpretation of statutory legal rules as well as an example of the genuine law case, which has been modeled with use of established methodology. Keywords: argumentation, reasoning, teleological interpretation

Tomasz Zurek, Micha? Araszkiewicz

2013-06-01T23:59:59.000Z

78

Using Biofuel Tracers to Study Alternative Combustion Regimes  

E-Print Network (OSTI)

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

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

2006-01-01T23:59:59.000Z

79

Data Acquisition Interpretation  

E-Print Network (OSTI)

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

Oldenburg, Douglas W.

80

Complementation in abstract interpretation  

Science Conference Proceedings (OSTI)

Reduced product of abstract domains is a rather well-known operation for domain composition in abstract interpretation. In this article, we study its inverse operation, introducing a notion of domain complementation in abstract interpretation. Complementation ... Keywords: abstract domain, abstract interpretation, closure operator, complementation, functional and logic programming, program analysis

Agostino Cortesi; Gilberto Filé; Francesco Ranzato; Roberto Giacobazzi; Catuscia Palamidessi

1997-01-01T23:59:59.000Z

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


81

AHAM DOE Verification Test Agreement | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

DOE Verification Test Agreement AHAM DOE Verification Test Agreement This letter is to inform AHAM that DOE is adopting a new policy regarding DOE ENERGY STAR verification testing...

82

Code verification by static analysis: a mathematical programming ...  

E-Print Network (OSTI)

Code verification by static analysis: a mathematical ... One of the most important verification techniques is static code analysis by abstract ...... verif-instances.zip.

83

Analysis of tracer and thermal transients during reinjection  

DOE Green Energy (OSTI)

This work studied tracer and thermal transients during reinjection in geothermal reserviors and developed a new technique which combines the results from interwell tracer tests and thermal injection-backflow tests to estimate the thermal breakthrough times. Tracer tests are essential to determine the degree of connectivity between the injection wells and the producing wells. To analyze the tracer return profiles quantitatively, we employed three mathematical models namely, the convection-dispersion (CD) model, matrix diffusion (MD) model, and the Avodnin (AD) model, which were developed to study tracer and heat transport in a single vertical fracture. We considered three types of tracer tests namely, interwell tracer tests without recirculation, interwell tracer tests with recirculation, and injection-backflow tracer tests. To estimate the model parameters, we used a nonlinear regression program to match tracer return profiles to the solutions.

Kocabas, I.

1989-10-01T23:59:59.000Z

84

Thermal Stability of Chelated Indium Activable Tracers  

SciTech Connect

The thermal stability of indium tracer chelated with organic ligands ethylenediaminetetraacetic acid (EDTA) and nitrilotriacetic acid (NTA) was measured for reservoir temperatures of 150, 200, and 240 C. Measurements of the soluble indium concentration was made as a function of time by neutron activation analysis. From the data, approximate thermal decomposition rates were estimated. At 150 C, both chelated tracers were stable over the experimental period of 20 days. At 200 C, the InEDTA concentration remained constant for 16 days, after which the thermal decomposition occurred at a measured rate constant of k = 0.09 d{sup -1}. The thermal decomposition of InNTA at 200 C showed a first order reaction with a measured rate constant of k = 0.16 d{sup -1}. At 240 C, both indium chelated tracers showed rapid decomposition with rate constants greater than 1.8 d{sup -1}. The data indicate that for geothermal reservoir with temperatures up to about 200 C, indium chelated tracers can be used effectively for transit times of at least 20 days. These experiments were run without reservoir rock media, and do not account for concomitant loss of indium tracer by adsorption processes.

Chrysikopoulos, Costas; Kruger, Paul

1986-01-21T23:59:59.000Z

85

Data Interpretation Fundamentals  

Science Conference Proceedings (OSTI)

... Unable to make Q ? K comparison Page 7. JM Butler Data Interpretation Fundamentals ... Doctrine or Dogma (why?) – A fundamental law of ...

2013-08-30T23:59:59.000Z

86

A New Verification Score for Public Forecasts  

Science Conference Proceedings (OSTI)

CREF, a new verification score for public forecasts, is introduced. This verification score rewards a forecaster who forecasts a rare event accurately. CREF was used to verify local forecasts at the Weather Service Forecast Office (WSFO) in ...

Dean P. Gulezian

1981-02-01T23:59:59.000Z

87

Forecast verification: Its Complexity and Dimensionality  

Science Conference Proceedings (OSTI)

Two fundamental characteristics of forecast verification problems—complexity and dimensionality—are described. To develop quantitative definitions of these characteristics, a general framework for the problem of absolute verification (AV) is ...

Allan H. Murphy

1991-07-01T23:59:59.000Z

88

Scientific Verification of Deterministic River Stage Forecasts  

Science Conference Proceedings (OSTI)

One element of a complete verification system is the ability to determine why forecasts behave as they do. This paper describes and demonstrates an operationally feasible method for conducting this type of diagnostic verification analysis. ...

Edwin Welles; Soroosh Sorooshian

2009-04-01T23:59:59.000Z

89

RENEWABLES PORTFOLIO STANDARD 2006 PROCUREMENT VERIFICATION  

E-Print Network (OSTI)

California Energy Commission DRAFT STAFF REPORT RENEWABLES PORTFOLIO STANDARD 2007 PROCUREMENT VERIFICATION RPS 2007 Verification Report APRIL 2011 CEC3002011002SD #12;CALIFORNIA ENERGY COMMISSION Gina Executive Director DISCLAIMER Staff members of the California Energy Commission prepared this report

90

Verification and validation of simulation models  

Science Conference Proceedings (OSTI)

In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate verification and validation to the model development process are presented; ...

Robert G. Sargent

2009-12-01T23:59:59.000Z

91

Enhanced Oil Recovery: Aqueous Flow Tracer Measurement  

SciTech Connect

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.

Joseph Rovani; John Schabron

2009-02-01T23:59:59.000Z

92

Guidelines for the Monitoring, Evaluation, Reporting, Verification...  

NLE Websites -- All DOE Office Websites (Extended Search)

Evaluation, Reporting, Verification, and Certification of Forestry Projects for Climate Change Mitigation Title Guidelines for the Monitoring, Evaluation, Reporting,...

93

Lessons Learned from Independent Verification Activities | Department...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

control after the property has been demonstrated to meet the Department's stringent radiation protection requirements. Lessons Learned from Independent Verification...

94

Nuclear Verification | National Nuclear Security Administration  

National Nuclear Security Administration (NNSA)

Verification | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our...

95

K Basins Field Verification Program  

SciTech Connect

The Field Verification Program establishes a uniform and systematic process to ensure that technical information depicted on selected engineering drawings accurately reflects the actual existing physical configuration. This document defines the Field Verification Program necessary to perform the field walkdown and inspection process that identifies the physical configuration of the systems required to support the mission objectives of K Basins. This program is intended to provide an accurate accounting of the actual field configuration by documenting the as-found information on a controlled drawing.

Booth, H.W.

1994-12-02T23:59:59.000Z

96

Geologic flow characterization using tracer techniques  

DOE Green Energy (OSTI)

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.

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

1981-04-01T23:59:59.000Z

97

A 3-D hydrodynamic dispersion model for modeling tracer transport in Geothermal Reservoirs  

E-Print Network (OSTI)

diffusion of a tracer or a radionuclide. This new module ofsimulate processes of tracer/radionuclide transport using ana) a tracer or a radionuclide is present and transported

Wu, Yu-Shu; Pruess, Karsten

1998-01-01T23:59:59.000Z

98

Fingerprint verification using statistical descriptors  

Science Conference Proceedings (OSTI)

The importance of high precision matching in fingerprint cannot be over-emphasized. This paper presents a novel fingerprint verification algorithm which improves matching accuracy by overcoming the shortcomings of poor image quality. The proposed method ... Keywords: Biometrics, Fingerprint, Reliability, Singular point, Statistical analysis

Mohammed S. Khalil; Dzulkifli Mohamad; Muhammad Khurram Khan; Qais Al-Nuzaili

2010-07-01T23:59:59.000Z

99

Eulerian Simulation of Tracer Distribution during CAPTEX  

Science Conference Proceedings (OSTI)

We compared observed and model-simulated surface concentration on a spatial wale of 1100 km and a temporal scale of 36 h. The Eulerian tracer model calculated advection by the mean winds and gradient transport for subgrid-scale turbulent ...

Richard A. Brost; Philip L. Haagenson; Ying-Hwa Kuo

1988-05-01T23:59:59.000Z

100

Carbon Storage Monitoring, Verification and Accounting Research |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Monitoring, Verification and Accounting Research Monitoring, Verification and Accounting Research Carbon Storage Monitoring, Verification and Accounting Research Reliable and cost-effective monitoring, verification and accounting (MVA) techniques are an important part of making geologic sequestration a safe, effective, and acceptable method for greenhouse gas control. MVA of geologic storage sites is expected to serve several purposes, including addressing safety and environmental concerns; inventory verification; project and national accounting of greenhouse gas emissions reductions at geologic storage sites; and evaluating potential regional, national, and international greenhouse gas reduction goals. The goal of our program area is to develop and demonstrate a broad portfolio of technologies, applications, and accounting requirements that

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


101

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

Open Energy Info (EERE)

Tracer Testing At Coso Geothermal Area (2006) Tracer Testing At Coso Geothermal Area (2006) Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Exploration Activity: Tracer Testing At Coso Geothermal Area (2006) Exploration Activity Details Location Coso Geothermal Area Exploration Technique Tracer Testing Activity Date 2006 Usefulness useful DOE-funding Unknown Exploration Basis To characterize the flow patterns of fluid injected into well 68-20RD. Notes A conservative liquid phase tracer, 2-naphthalene sulfonate, and a two-phase tracer, ethanol, were injected into well 68-20RD. Surrounding production wells were sampled over the subsequent 125 days and analyzed for the two tracers. The results demonstrate the efficacy of the simultaneous use of liquid-phase and two-phase tracers in fluid-depleted geothermal

102

A Method of Evaluating Atmospheric Models Using Tracer Measurements  

Science Conference Proceedings (OSTI)

The authors have developed a method that uses tracer measurements as the basis for comparing and evaluating wind fields. An important advantage of the method is that the wind fields are evaluated from the tracer measurements without introducing ...

Darko Kora?in; James Frye; Vlad Isakov

2000-02-01T23:59:59.000Z

103

Constraining North Atlantic circulation with transient tracer observations  

E-Print Network (OSTI)

The capability of transient tracers to constrain the ocean circulation in the North Atlantic is explored. Study of an idealized tracer shows that inferences of circulation properties from transient state distributions are ...

Li, Xingwen, 1968-

2003-01-01T23:59:59.000Z

104

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

SciTech Connect

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.

Akhil Datta-Gupta

2006-12-31T23:59:59.000Z

105

A Continuous Fast-Response Dual-Tracer Analyzer for Halogenated Atmospheric Tracer Studies  

Science Conference Proceedings (OSTI)

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

James P. Rydock; Brian K. Lamb

1994-10-01T23:59:59.000Z

106

Fermilab - Prairie Interpretive Trail  

NLE Websites -- All DOE Office Websites (Extended Search)

Prairie Interpretive Trail In some areas of the Midwest, among them Fermilab, efforts have begun to retrieve some of the awesome beauty of the native tallgrass prairies, as well as...

107

Making abstract interpretations complete  

Science Conference Proceedings (OSTI)

Completeness is an ideal, although uncommon, feature of abstract interpretations, formalizing the intuition that, relatively to the properties encoded by the underlying abstract domains, there is no loss of information accumulated in abstract computations. ...

Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari

2000-03-01T23:59:59.000Z

108

Monitoring and Commissioning Verification Algorithms for CHP Systems  

Science Conference Proceedings (OSTI)

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

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

2008-03-31T23:59:59.000Z

109

Verification and transparency in future arms control  

Science Conference Proceedings (OSTI)

Verification`s importance has changed dramatically over time, although it always has been in the forefront of arms control. The goals and measures of verification and the criteria for success have changed with the times as well, reflecting such factors as the centrality of the prospective agreement to East-West relations during the Cold War, the state of relations between the United States and the Soviet Union, and the technologies available for monitoring. Verification`s role may be declining in the post-Cold War period. The prospects for such a development will depend, first and foremost, on the high costs of traditional arms control, especially those associated with requirements for verification. Moreover, the growing interest in informal, or non-negotiated arms control does not allow for verification provisions by the very nature of these arrangements. Multilateral agreements are also becoming more prominent and argue against highly effective verification measures, in part because of fears of promoting proliferation by opening sensitive facilities to inspectors from potential proliferant states. As a result, it is likely that transparency and confidence-building measures will achieve greater prominence, both as supplements to and substitutes for traditional verification. Such measures are not panaceas and do not offer all that we came to expect from verification during the Cold war. But they may be the best possible means to deal with current problems of arms reductions and restraints at acceptable levels of expenditure.

Pilat, J.F.

1996-09-01T23:59:59.000Z

110

Electric Utility Measurement & Verification Program  

E-Print Network (OSTI)

BC Hydro is an electric utility with a service area covering over 95% of the province of British Columbia in Canada. Power Smart is BC Hydro’s demand-side-management (DSM) division. Power Smart develops, operates and manages various DSM programs for residential, commercial and industrial customers. The Measurement and Verification (M&V) of applicable Power Smart Industrial projects is the process of verifying the results of the implementation of energy conservation measures (ECMs) at industrial customer facilities. Power Smart M&V activities are based on the International Performance Measurement & Verification Protocol (IPMVP); a consensus document produced with the international support of industry and government. This paper discusses BC Hydro’s M&V program and the M&V results from industrial projects. Several case history studies will also be reviewed. The case studies reviewed involve aeration motor speed controls upgrade, steam turbine controls upgrade and natural gas liquid pump speed controls upgrade.

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

2007-05-01T23:59:59.000Z

111

Some thoughts on model verification  

DOE Green Energy (OSTI)

The most powerful attribute of numerical models for simulating fluid flow in partially saturated fractured media is that they can handle arbitrarily complex problems in terms of geometry, heterogeneity and forcing functions. In contrast, analytical solutions can be only obtained for relatively simple problems. Therefore, the very power of the numerical models that is to be exploited is unnecessarily abridged if the numerical method is viewed merely as a tool for approximately solving the partial differential equation. A broader definition of verification is needed in order to exploit the power and generality of numerical models. In the ultimate, verification should be dictated by axiomatic testability. The development of self-verifying numerical models is a challenge that deserves pursuit.

Narasimhan, T.N.

1987-02-01T23:59:59.000Z

112

Experimental verification of quantum computations  

E-Print Network (OSTI)

Quantum computers are expected to offer substantial speedups over their classical counterparts and to solve problems that are intractable for classical computers. Beyond such practical significance, the concept of quantum computation opens up new fundamental questions, among them the issue whether or not quantum computations can be certified by entities that are inherently unable to compute the results themselves. Here we present the first experimental verification of quantum computations. We show, in theory and in experiment, how a verifier with minimal quantum resources can test a significantly more powerful quantum computer. The new verification protocol introduced in this work utilizes the framework of blind quantum computing and is independent of the experimental quantum-computation platform used. In our scheme, the verifier is only required to generate single qubits and transmit them to the quantum computer. We experimentally demonstrate this protocol using four photonic qubits and show how the verifier can test the computer's ability to perform measurement-based quantum computations.

Stefanie Barz; Joseph F. Fitzsimons; Elham Kashefi; Philip Walther

2013-08-30T23:59:59.000Z

113

Tracer Testing at Dixie Valley, Nevada, Using Pyrene Tetrasulfonate Amino  

Open Energy Info (EERE)

Tracer Testing at Dixie Valley, Nevada, Using Pyrene Tetrasulfonate Amino Tracer Testing at Dixie Valley, Nevada, Using Pyrene Tetrasulfonate Amino G, and Fluorescein Jump to: navigation, search OpenEI Reference LibraryAdd to library Journal Article: Tracer Testing at Dixie Valley, Nevada, Using Pyrene Tetrasulfonate Amino G, and Fluorescein Abstract A series of four tracer tests was recently conducted at the Dixie Valley, Nevada, geothermal reservoir in order to determine fluid-flow processes and to evaluate candidate tracers for use in hydrothermal systems. These tests have resulted in the first successful use of the compounds amino G and pyrenetetrasulfonate as tracers in a geothermal reservoir. The tracer candidates were subjected to simulated hydrothermal conditions in laboratory reactors at temperatures as high as 300°C in order to determine

114

Passive Tracer Gas Methods to Measure  

NLE Websites -- All DOE Office Websites (Extended Search)

Experiments to Evaluate and Implement Experiments to Evaluate and Implement Passive Tracer Gas Methods to Measure Ventilation Rates in Homes Melissa Lunden, David Faulkner, Elizabeth Heredia, Sebastian Cohn, Darryl Dickerhoff, Federico Noris, Jennifer Logue, Toshifumi Hotchi, Brett Singer and Max H. Sherman Environmental Energy Technologies Division October 2012 LBNL-5984E 2 Disclaimer: This document was prepared as an account of work sponsored by the United States

115

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

DOE Green Energy (OSTI)

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.

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

2011-07-01T23:59:59.000Z

116

Input apparatus for dynamic signature verification systems  

DOE Patents (OSTI)

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

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

1978-01-01T23:59:59.000Z

117

Formal verification in a commercial setting  

Science Conference Proceedings (OSTI)

This tutorial addresses the following questions:¿ why do formal verification?¿ who is doing it today?¿ what are they doing?¿ how are they doing it?¿ what about the future?

R. P. Kurshan

1997-06-01T23:59:59.000Z

118

Compliance Verification Paths for Residential and Commercial...  

NLE Websites -- All DOE Office Websites (Extended Search)

Verification Paths for Residential and Commercial Energy Codes Conformity assessment is a term used to describe the processes followed to demonstrate that a product, service,...

119

Acceptance sampling methods for sample results verification  

SciTech Connect

This report proposes a statistical sampling method for use during the sample results verification portion of the validation of data packages. In particular, this method was derived specifically for the validation of data packages for metals target analyte analysis performed under United States Environmental Protection Agency Contract Laboratory Program protocols, where sample results verification can be quite time consuming. The purpose of such a statistical method is to provide options in addition to the ``all or nothing`` options that currently exist for sample results verification. The proposed method allows the amount of data validated during the sample results verification process to be based on a balance between risks and the cost of inspection.

Jesse, C.A.

1993-06-01T23:59:59.000Z

120

NETL: Carbon Storage - Monitoring, Verification, and Accounting...  

NLE Websites -- All DOE Office Websites (Extended Search)

MVA Carbon Storage Monitoring, Verification, and Accounting (MVA) Focus Area An MVA program is designed to confirm permanent storage of carbon dioxide (CO2) in geologic formations...

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


121

Energy Efficiency Measurement & Verification in South Africa  

NLE Websites -- All DOE Office Websites (Extended Search)

Contacts Media Contacts Energy Efficiency Measurement & Verification in South Africa Speaker(s): Xiaohua Xia Date: December 17, 2012 - 12:00pm Location: 90-3122 Seminar...

122

National Energy Efficiency Evaluation, Measurement and Verification...  

NLE Websites -- All DOE Office Websites (Extended Search)

65E ERNEST ORLANDO LAWRENCE BERKELEY NATIONAL LABORATORY National Energy Efficiency Evaluation, Measurement and Verification (EM&V) Standard: Scoping Study of Issues and...

123

National Energy Efficiency Evaluation, Measurement and Verification...  

NLE Websites -- All DOE Office Websites (Extended Search)

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

124

Efficient formal verification of bounds of linear programs  

Science Conference Proceedings (OSTI)

One of the challenging problems in the formalization of mathematics is a formal verification of numerical computations. Many theorems rely on numerical results, the verification of which is necessary for producing complete formal proofs. The formal verification ...

Alexey Solovyev; Thomas C. Hales

2011-07-01T23:59:59.000Z

125

Hydrologic Verification: A Call for Action and Collaboration  

Science Conference Proceedings (OSTI)

Traditionally, little attention has been focused on the systematic verification of operational hydrologic forecasts. This paper summarizes the results of forecast verification from 15 river basins in the United States. The verification scores for ...

Edwin Welles; Soroosh Sorooshian; Gary Carter; Billy Olsen

2007-04-01T23:59:59.000Z

126

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

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

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

127

The Office of Nuclear Verification | National Nuclear Security...  

NLE Websites -- All DOE Office Websites (Extended Search)

at NNSA Blog The Office of Nuclear Verification Home > About Us > Our Programs > Nonproliferation > Nonproliferation & International Security > The Office of Nuclear Verification...

128

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

Open Energy Info (EERE)

Tracer Testing At Coso Geothermal Area (1993) Tracer Testing At Coso Geothermal Area (1993) Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Exploration Activity: Tracer Testing At Coso Geothermal Area (1993) Exploration Activity Details Location Coso Geothermal Area Exploration Technique Tracer Testing Activity Date 1993 Usefulness useful DOE-funding Unknown Exploration Basis To determine the steam and water mass flow rate Notes The method involves precisely metered injection of liquid and vapor phase tracers into the two-phase production pipeline and concurrent sampling of each phase downstream of the injection point. Subsequent chemical analysis of the steam and water samples for tracer content enables the calculation of mass flowrate for each phase given the known mass injection rates of

129

Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave |  

Open Energy Info (EERE)

Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave Author Andreas Kucha Published Publisher Not Provided, 2012 DOI Not Provided Check for DOI availability: http://crossref.org Online Internet link for Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave Citation Andreas Kucha. Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave [Internet]. 2012. [cited 2013/10/17]. Available from: http://www.agw.kit.edu/english/blauhoele_cave.php Retrieved from "http://en.openei.org/w/index.php?title=Hydrogeology_of_the_Blautopf_spring_-_Tracer_tests_in_Blauhohle_cave&oldid=688895"

130

Tracer populations in the local group  

E-Print Network (OSTI)

, in good agreement with previous work. I go on to develop a set of tracer mass estimators that build on previous work which make use of actual (and not projected) distance and proper motion data, reflecting the amount and quality of data now available to us... ages range from 1-10 Gyr; the scale height of the population increases with age from 200 kpc to around 700 kpc and the metallicity decreases with age to around 20% solar. The typical content of this disk population are A stars, planetary nebulae...

Watkins, Laura Louise

2011-04-19T23:59:59.000Z

131

Measurements of waste tank passive ventilation rates using tracer gases  

Science Conference Proceedings (OSTI)

This report presents the results of ventilation rate studies of eight passively ventilated high-level radioactive waste tanks using tracer gases. Head space ventilation rates were determined for Tanks A-101, AX-102, AX-103, BY-105, C-107, S-102, U-103, and U-105 using sulfur hexafluoride (SF{sub 6}) and/or helium (He) as tracer gases. Passive ventilation rates are needed for the resolution of several key safety issues. These safety issues are associated with the rates of flammable gas production and ventilation, the rates at which organic salt-nitrate salt mixtures dry out, and the estimation of organic solvent waste surface areas. This tracer gas study involves injecting a tracer gas into the tank headspace and measuring its concentration at different times to establish the rate at which the tracer is removed by ventilation. Tracer gas injection and sample collection were performed by SGN Eurisys Service Corporation and/or Lockheed Martin Hanford Corporation, Characterization Project Operations. Headspace samples were analyzed for He and SF{sub 6} by Pacific Northwest National Laboratory (PNNL). The tracer gas method was first demonstrated on Tank S-102. Tests were conducted on Tank S-102 to verify that the tracer gas was uniformly distributed throughout the tank headspace before baseline samples were collected, and that mixing was sufficiently vigorous to maintain an approximately uniform distribution of tracer gas in the headspace during the course of the study. Headspace samples, collected from a location about 4 in away from the injection point and 15, 30, and 60 minutes after the injection of He and SF{sub 6}, indicated that both tracer gases were rapidly mixed. The samples were found to have the same concentration of tracer gases after 1 hour as after 24 hours, suggesting that mixing of the tracer gas was essentially complete within 1 hour.

Huckaby, J.L.; Olsen, K.B.; Sklarew, D.S.; Evans, J.C.; Remund, K.M.

1997-09-01T23:59:59.000Z

132

Formal verification of practical MPI programs  

Science Conference Proceedings (OSTI)

This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI/C source code, executing its interleavings ... Keywords: distributed programming, dynamic partial order reduction, message passing interface, model checking, mpi

Anh Vo; Sarvani Vakkalanka; Michael DeLisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur

2009-02-01T23:59:59.000Z

133

Advancing Reactive Tracer Methods for Measuring Thermal Evolution...  

Open Energy Info (EERE)

History Facebook icon Twitter icon Advancing Reactive Tracer Methods for Measuring Thermal Evolution in CO2- and Water-Based Geothermal Reservoirs Geothermal Lab Call Project...

134

Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle...  

Open Energy Info (EERE)

2012 DOI Not Provided Check for DOI availability: http:crossref.org Online Internet link for Hydrogeology of the Blautopf spring - Tracer tests in Blauhohle cave...

135

Preferred methods of analysis for chemical tracers in moderate...  

Open Energy Info (EERE)

Preferred methods of analysis for chemical tracers in moderate- and high-temperature geothermal environments Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Report:...

136

Tracer Testing At Raft River Geothermal Area (1984) | Open Energy...  

Open Energy Info (EERE)

L.; Yorgason, K. R.; Moore, J. N. (1 December 1984) Preferred methods of analysis for chemical tracers in moderate- and high-temperature geothermal environments Retrieved from...

137

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

Open Energy Info (EERE)

L.; Yorgason, K. R.; Moore, J. N. (1 December 1984) Preferred methods of analysis for chemical tracers in moderate- and high-temperature geothermal environments Retrieved from...

138

Development of a Set of Inherent Particulate and Gas Tracers...  

NLE Websites -- All DOE Office Websites (Extended Search)

of results to the number and quality of tracer elements and if new (interfering) sources are detected. * Determine primary and secondary PM 2.5 contributions from power...

139

TRACER DETECTION TECHNOLOGY CORP. PRODUCTS AND SERVICES FOR CORPORATE...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

TRACER DETECTION TECHNOLOGY CORP. PRODUCTS AND SERVICES FOR CORPORATE AND GOVERNMENT SECURITY 3463 MAGIC DRIVE, SUITE T-19 SAN ANTONIO, TX 78229 March 29, 2009 Office of the...

140

NUMERICAL VERIFICATION OF EQUILIBRIUM CHEMISTRY  

SciTech Connect

A numerical tool is in an advanced state of development to compute the equilibrium compositions of phases and their proportions in multi-component systems of importance to the nuclear industry. The resulting software is being conceived for direct integration into large multi-physics fuel performance codes, particularly for providing boundary conditions in heat and mass transport modules. However, any numerical errors produced in equilibrium chemistry computations will be propagated in subsequent heat and mass transport calculations, thus falsely predicting nuclear fuel behaviour. The necessity for a reliable method to numerically verify chemical equilibrium computations is emphasized by the requirement to handle the very large number of elements necessary to capture the entire fission product inventory. A simple, reliable and comprehensive numerical verification method is presented which can be invoked by any equilibrium chemistry solver for quality assurance purposes.

Piro, Markus [Royal Military College of Canada; Lewis, Brent [Royal Military College of Canada; Thompson, Dr. William T. [Royal Military College of Canada; Simunovic, Srdjan [ORNL; Besmann, Theodore M [ORNL

2010-01-01T23:59:59.000Z

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


141

Hierarchical Verification for Increasing Performance in Reliable Processors  

Science Conference Proceedings (OSTI)

Dynamic verification using the checker processor introduces severe degradation in performance unless the checker is as fast as the main processor core. Without widening the checker's bandwidth, we propose an active verification management (AVM) approach ... Keywords: Active verification management, Correctness non-critically, Fault tolerance, Filter checker, Hierarchical verification, Performance

Joonhyuk Yoo; Manoj Franklin

2008-06-01T23:59:59.000Z

142

Secure position verification for wireless sensor networks in noisy channels  

Science Conference Proceedings (OSTI)

Position verification in wireless sensor networks (WSNs) is quite tricky in presence of attackers (malicious sensor nodes), who try to break the verification protocol by reporting their incorrect positions (locations) during the verification stage. In ... Keywords: 3? limit, distance estimation, distributed protocol, location verification, quantiles, wireless networks

Partha Sarathi Mandal; Anil K. Ghosh

2011-07-01T23:59:59.000Z

143

National Biomedical Tracer Facility. Project definition study  

Science Conference Proceedings (OSTI)

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.

Schafer, R.

1995-02-14T23:59:59.000Z

144

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

Open Energy Info (EERE)

Tracer Testing At East Mesa Geothermal Area (1983) Tracer Testing At East Mesa Geothermal Area (1983) Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Exploration Activity: Tracer Testing At East Mesa Geothermal Area (1983) Exploration Activity Details Location East Mesa Geothermal Area Exploration Technique Tracer Testing Activity Date 1983 Usefulness not indicated DOE-funding Unknown Notes Two field experiments were conducted to develop chemical tracer procedures for use with injection-backflow testing, one on the fracture-permeability Raft River reservoir and the other on the matrix-permeability East Mesa reservoir. Results from tests conducted with incremental increases in the injection volume at both East Mesa and Raft River suggests that, for both reservoirs, permeability remained uniform with increasing distance from the

145

Analysis of Passive Tracer Transport as Modeled by an Atmospheric General Circulation Model  

Science Conference Proceedings (OSTI)

Tracers without feedback on the atmosphere are used to probe tropospheric transport. Such passive tracers are considered for two important anthropogenic sources, Europe and eastern North America. The linearity of passive tracer continuity allows ...

Mark Holzer

1999-06-01T23:59:59.000Z

146

Improve MWD data interpretation  

Science Conference Proceedings (OSTI)

This article reports that measurement-while-drilling (MWD) technology is being used today in a broad range of real-time drilling applications. In its infancy, MWD was limited to providing directional survey and steering information. Today, the addition of formation sensors (resistivity, gamma) and drilling efficiency sensors (WOB, torque) has made MWD a much more useful drilling decision tool. In the process, the desirability of combining downhole MWD data with powerful analytical software and interpretive techniques has been recognized by both operators and service companies. However, the usual form in which MWD and wellsite analytical capabilities are combined leaves much to be desired. The most common approach is to incorporate MWD with large-scale computerized mud logging (CML) systems. Essentially, MWD decoding and display equipment is added to existing full-blown CML surface units.

Santley, D.J.; Ardrey, W.E.

1987-01-01T23:59:59.000Z

147

spanish/english interpretation (SEI)  

E-Print Network (OSTI)

in the courts, in state agencies, and in the medical evaluation system of workers compensation. 2011/2012 SF as a Spanish/English interpreter in the courts, in state agencies, and in the medical evaluation system Interpreter examinations are mandated for employment in courts and state agencies. Once an interpreter passes

148

NREL: Wind Research - Field Verification Project  

NLE Websites -- All DOE Office Websites (Extended Search)

Field Verification Project Field Verification Project The mission of the Field Verification Project (FVP) was to enable U.S. industry to complete the research, testing, and field verification needed to fully develop advanced wind energy technologies that lead the world in cost-effectiveness and reliability. The project, completed in 2003, included cost-shared research with industry partners to lead to the development of advanced technology wind turbines and support for projects that verify performance of wind turbine technologies in actual operational applications. FVP provided small wind turbine (<=100 kW) manufacturers with opportunities to operate and monitor their turbines under a range of distributed power applications and environments throughout the United States. This experience helped U.S. companies validate and improve the

149

Measurement and Verification for Demand Response  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Measurement and Verification for Measurement and Verification for Demand Response Prepared for the National Forum on the National Action Plan on Demand Response: Measurement and Verification Working Group AUTHORS: Miriam L. Goldberg & G. Kennedy Agnew-DNV KEMA Energy and Sustainability National Forum of the National Action Plan on Demand Response Measurement and Verification for Demand Response was developed to fulfill part of the Implementation Proposal for The National Action Plan on Demand Response, a report to Congress jointly issued by the U.S. Department of Energy (DOE) and the Federal Energy Regulatory Commission (FERC) in June 2011. Part of that implementation proposal called for a "National Forum" on demand response to be conducted by DOE and FERC. Given that demand response has matured, DOE and FERC decided that a "virtual" project

150

Measurement and Verification | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Measurement and Verification Measurement and Verification Measurement and Verification October 16, 2013 - 4:43pm Addthis Photo of a man with a clipboard and measuring tools standing in front of an open energy panel box. A National Park Service energy manager checks an energy management system at the Zion National Park Visitor Center. Measurement and verification (M&V) play a vital role in renewable energy projects. M&V verifies verify that renewable energy technologies successfully meet the energy generation or savings requirements as specified by the agency and the system design. Federal sustainable building guidelines require M&V systems for sustainable building projects and the use of M&V data for benchmarking systems. However, these systems deliver value well beyond regulatory compliance.

151

Hierarchical layout verification for submicron designs  

Science Conference Proceedings (OSTI)

In this paper we present the program HEXDRC for hierarchical circuit extraction and design rule check. The main problem for hierarchical layout verification is to handle interactions between different cells effectively. The kind of interactions however ...

W. Meier

1990-03-01T23:59:59.000Z

152

Automatic verification of competitive stochastic systems  

Science Conference Proceedings (OSTI)

We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate ...

Taolue Chen; Vojt?ch Forejt; Marta Kwiatkowska; David Parker; Aistis Simaitis

2012-03-01T23:59:59.000Z

153

Runtime verification of object lifetime specifications  

E-Print Network (OSTI)

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

Benjamin, Zev (Zev A.)

2009-01-01T23:59:59.000Z

154

Seismic design verification of LMFBR structures  

SciTech Connect

The report provides an assessment of the seismic design verification procedures currently used for nuclear power plant structures, a comparison of dynamic test methods available, and conclusions and recommendations for future LMFB structures.

1977-07-01T23:59:59.000Z

155

The Severe Hazards Analysis and Verification Experiment  

Science Conference Proceedings (OSTI)

During the springs and summers of 2006 through 2008, scientists from the National Severe Storms Laboratory and students from the University of Oklahoma have conducted an enhanced severe-storm verification effort. The primary goal for the Severe ...

Kiel L. Ortega; Travis M. Smith; Kevin L. Manross; Angelyn G. Kolodziej; Kevin A. Scharfenberg; Arthur Witt; Jonathan J. Gourley

2009-10-01T23:59:59.000Z

156

A relational framework for bounded program verification  

E-Print Network (OSTI)

All software verification techniques, from theorem proving to testing, share the common goal of establishing a program's correctness with both (1) a high degree of confidence and (2) a low cost to the user, two criteria ...

Dennis, Gregory D. (Gregory David), 1980-

2009-01-01T23:59:59.000Z

157

Intercomparison of Spatial Forecast Verification Methods  

Science Conference Proceedings (OSTI)

Advancements in weather forecast models and their enhanced resolution have led to substantially improved and more realistic-appearing forecasts for some variables. However, traditional verification scores often indicate poor performance because ...

Eric Gilleland; David Ahijevych; Barbara G. Brown; Barbara Casati; Elizabeth E. Ebert

2009-10-01T23:59:59.000Z

158

A General Framework for Forecast Verification  

Science Conference Proceedings (OSTI)

A general framework for forecast verification based on the joint distribution of forecasts and observations is described. For further elaboration of the framework, two factorizations of the joint distribution are investigated: 1) the calibration-...

Allan H. Murphy; Robert L. Winkler

1987-07-01T23:59:59.000Z

159

Lessons Learned from Independent Verification Activities  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Demonstration Demonstration Oak Ridge Institute for Science and Education - Independent Verification Lessons Learned IV - performed at nine DOE sites from 2004 to 2008 Page 1 of 2 Oak Ridge Institute for Science and Education Multiple Sites Lessons Learned from Independent Verification Activities Challenge The Department of Energy clears property from radiological control after the property has been demonstrated to meet the Department's stringent radiation protection requirements. Radiological surveys are used to demonstrate compliance with the requirements. Independent verification (IV) activities are conducted by an independent third party as a quality check on radiological surveys procedures and practices. The Oak Ridge Institute for Science and Education (ORISE) performs independent verification for the Department. In this lessons learned report, ORISE summarizes their

160

Tracer Testing At Jemez Pueblo Area (DOE GTP) | Open Energy Informatio...  

Open Energy Info (EERE)

Tracer Testing At Jemez Pueblo Area (DOE GTP) Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Exploration Activity: Tracer Testing At Jemez Pueblo Area (DOE GTP)...

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


161

Formal Verification of Safety Automation Logic Designs  

E-Print Network (OSTI)

In safety critical processes, especially in nuclear power plants, the new digitalized automation (I&C) systems have brought out new needs for safety evaluation. The programmable digital logic controllers can perform complicated control tasks and, thus, their comprehensive verification against safety requirements is a difficult task. Model checking is a promising approach that enables complete verification of a logic design when a finite state machine model of the control logic is available. The paper describes the use of model checking for the verification of an arc protection system and summarizes experiences of utilizing model checking in automation design and verification. For the verification of the arc protection system, it was necessary to model the overall design of the system and its operation environment. The environment model could be kept relatively simple while covering the essential behaviour of the environment. The results show that it is possible to reliably verify the presence of a desired or the absence of an undesired behaviour of the system. The possibility of complete verification makes model checking different from simulation based testing where only selected schemes can be simulated and one can never be sure that all the possible sequences are examined.

Janne Valkonen; Matti Koskimies; Kim Björkman; Keijo Heljanko; Ilkka Niemelä; Jari J. Hämäläinen

2009-01-01T23:59:59.000Z

162

Tracer Gas Transport under Mixed Convection Conditions in an Experimental  

NLE Websites -- All DOE Office Websites (Extended Search)

Tracer Gas Transport under Mixed Convection Conditions in an Experimental Tracer Gas Transport under Mixed Convection Conditions in an Experimental Atrium: Comparison Between Experiments and CFD Predictions Title Tracer Gas Transport under Mixed Convection Conditions in an Experimental Atrium: Comparison Between Experiments and CFD Predictions Publication Type Journal Article Year of Publication 2006 Authors Jayaraman, Buvaneswari, Elizabeth U. Finlayson, Michael D. Sohn, Tracy L. Thatcher, Phillip N. Price, Emily E. Wood, Richard G. Sextro, and Ashok J. Gadgil Journal Atmospheric Environment Volume 40 Start Page Chapter Pagination 5236-5250 Keywords airflow and pollutant transport group, atria, indoor airflow and pollutant transport, indoor environment department, indoor pollutant dispersion, mixed convection, turbulence model

163

Some design considerations for the proposed Dixie Valley tracer test  

DOE Green Energy (OSTI)

A tracer test for the Dixie Valley, Nevada, geothermal resource is planned for the summer of 1988, in order to study the fluid flow paths that will develop under typical operating conditions. During the test six production wells will provide the power plant with steam sufficient for generation of 60 MWe, requiring fluid production at a rate of approximately 600 kg/sec. Up to 75% by mass of the extracted fluid will be reinjected into the reservoir, using four injection wells. Tracer will be added to the injected fluid for a twenty-minute period, and subsequently the produced fluid will be monitored for the tracer. 5 refs., 9 figs., 5 tabs.

Doughty, C.; Bodvarsson, G.S.

1988-06-01T23:59:59.000Z

164

Completing the automated verification of a small hypervisor - assembler code verification  

Science Conference Proceedings (OSTI)

In [1] the almost complete formal verification of a small hypervisor with the automated C code verifier VCC [2] was reported: the correctness of the C portions of the hypervisor and of the guest simulation was established; the verification of the assembler ...

Wolfgang Paul; Sabine Schmaltz; Andrey Shadrin

2012-10-01T23:59:59.000Z

165

National Biomedical Tracer Facility: Project definition study  

SciTech Connect

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.

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

166

Monitoring and verification R&D  

SciTech Connect

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

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

2011-01-01T23:59:59.000Z

167

Geographic Information Systems- Tools For Geotherm Exploration, Tracers  

Open Energy Info (EERE)

Systems- Tools For Geotherm Exploration, Tracers Systems- Tools For Geotherm Exploration, Tracers Data Analysis, And Enhanced Data Distribution, Visualization, And Management Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Conference Paper: Geographic Information Systems- Tools For Geotherm Exploration, Tracers Data Analysis, And Enhanced Data Distribution, Visualization, And Management Details Activities (4) Areas (3) Regions (0) Abstract: Geographic information systems (GIS) are an underused resource that can help the geothermal industry in exploration, tracer analysis, infrastructure management, and the general distribution and use of data. GIS systems are highly customizable to specific user needs and can use entire corporate data sets through a visual interface. This paper briefly documents the use of GIS in specific examples of geothermal research at the

168

Tracking thermal fronts with temperature-sensitive, chemically reactive tracers  

DOE Green Energy (OSTI)

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.

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

1987-01-01T23:59:59.000Z

169

The Dispersion of Atmospheric Tracers in Nocturnal Drainage Flows  

Science Conference Proceedings (OSTI)

This paper summarizes the results of a series of perfluorocarbon tracer experiments that were carried out in the Brush Creek Valley in western Colorado under the auspices of the Atmospheric Studies in Complex Terrain (ASCOT) program. The results ...

Paul H. Gudiksen; Donald L. Shearer

1989-07-01T23:59:59.000Z

170

Tracer Advection Using Dynamic Grid Adaptation and MM5  

Science Conference Proceedings (OSTI)

A dynamic grid adaptation (DGA) technique is used to numerically simulate tracer transport at meso- and regional scales. A gridpoint redistribution scheme is designed to maximize heuristic characteristics of a “good” grid. The advective solver ...

John P. Iselin; William J. Gutowski; Joseph M. Prusa

2005-01-01T23:59:59.000Z

171

A Study of Tracer Distribution Parameter Estimation from Sparse Samples  

Science Conference Proceedings (OSTI)

How do design parameters such as the spacing of sampling stations affect the quality of information obtained from atmospheric dispersion experiments? In large-scale experiments such as the Cross-Appalachian Tracer Experiment (CAPTEX) and the ...

J. Z. Holland

1991-01-01T23:59:59.000Z

172

Diagnosis of Subtropical Humidity Dynamics Using Tracers of Last Saturation  

Science Conference Proceedings (OSTI)

A technique for diagnosing the mechanisms that control the humidity in a general circulation model (GCM) or observationally derived meteorological analysis dataset is presented. The technique involves defining a large number of tracers, each of ...

Joseph Galewsky; Adam Sobel; Isaac Held

2005-09-01T23:59:59.000Z

173

Atmospheric Dispersion and Tracer Ventilation in a Deep Mountain Valley  

Science Conference Proceedings (OSTI)

During September and October 1984, a major meteorological and tracer study was conducted in Colorado's Brush Creek valley. The characteristics of atmospheric dispersion during the nighttime and morning transition periods are discussed in this ...

K. Jerry Allwine

1993-06-01T23:59:59.000Z

174

An Automated Sequential Syringe Sampler for Atmospheric Tracer Studies  

Science Conference Proceedings (OSTI)

The design of an improved sampler for the automatic collection of air samples during atmospheric halogenated tracer experiments is described. In this approach, each sample is collected in a small volume (20 to 150 ml) syringe using a rack and ...

Joseph P. Krasnec; David E. Demaray; Brian Lamb; Richard Benner

1984-12-01T23:59:59.000Z

175

Can a Tracer Field Be Inverted for Velocity?  

Science Conference Proceedings (OSTI)

Determining flow fields and mixing rates from chemical tracer distributions is a challenging and important oceanographic problem. Thus the conclusion, that solutions obtained for underdetermined systems were “devoid of physical content”, drawn by ...

Carl Wunsch

1985-11-01T23:59:59.000Z

176

Morning Transition Tracer Experiments in a Deep Narrow Valley  

Science Conference Proceedings (OSTI)

Three sulfur hexafluoride atmospheric tracer experiments were conducted during the post-sunrise temperature inversion breakup period in the deep, narrow Brush Creek Valley of Colorado. Experiments were conducted under clear, undisturbed weather ...

C. David Whiteman

1989-07-01T23:59:59.000Z

177

Lagrangian Transport Calculations Using UARS Data. Part I. Passive Tracers  

Science Conference Proceedings (OSTI)

The transport of passive tracers observed by the Upper Atmosphere Research Satellite is simulated using computed three-dimensional trajectories of ? 100 000 air parcels initialized on a stratosphere grid, with horizontal winds provided by the ...

G.L. Manney; R.W. Zurek; W.A. Lahoz; R.S. Harwood; J.C. Gille; J.B. Kumer; J.L. Mergenthaler; A.E. Roche; A. O'Neill; R. Swinbank; J.W. Waters

1995-09-01T23:59:59.000Z

178

Ventilation Rates Estimated from Tracers in the Presence of Mixing  

Science Conference Proceedings (OSTI)

The intimate relationship among ventilation, transit-time distributions, and transient tracer budgets is analyzed. To characterize the advective–diffusive transport from the mixed layer to the interior ocean in terms of flux we employ a ...

Timothy M. Hall; Thomas W. N. Haine; Darryn W. Waugh; Mark Holzer; Francesca Terenzi; Deborah A. LeBel

2007-11-01T23:59:59.000Z

179

Transport of Passive Tracers in Baroclinic Wave Life Cycles  

Science Conference Proceedings (OSTI)

The transport of passive tracers in idealized baroclinic wave life cycles is studied using output from the National Center for Atmospheric Research Community Climate Model (CCM2). Two life cycles, LCn and LCs, are simulated, starting with ...

Elizabeth M. Stone; William J. Randel; John L. Stanford

1999-05-01T23:59:59.000Z

180

Preferred methods of analysis for chemical tracers in moderate- and  

Open Energy Info (EERE)

Preferred methods of analysis for chemical tracers in moderate- and Preferred methods of analysis for chemical tracers in moderate- and high-temperature geothermal environments Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Report: Preferred methods of analysis for chemical tracers in moderate- and high-temperature geothermal environments Details Activities (2) Areas (2) Regions (0) Abstract: This report describes the sampling and analytical techniques used for tracer analysis in the Raft River and East Mesa field tests. The collection procedures and sample preservation techniques, analytical methods and possible sources of contamination or error are discussed in detail. Author(s): Kroneman, R. L.; Yorgason, K. R.; Moore, J. N. Published: DOE Information Bridge, 12/1/1984 Document Number: Unavailable DOI: 10.2172/5121460

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


181

Results of Repeat Tracer Tests at Ohaaki, NZ  

DOE Green Energy (OSTI)

During 20 years of tracer testing at Ohaaki a number of wells have been used more than once as tracer injection sites. In studying the various responses obtained it has been necessary to consider variations in the experimental test conditions before making comparisons which relate to field conditions. Some very significant changes have occurred in the field hydrology in recent years and water flow speeds as high as those encountered at Wairakei have been demonstrated.

McCabe, W.J.; Clotworthy, A.W.; Morris, C.

1995-01-01T23:59:59.000Z

182

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

Science Conference Proceedings (OSTI)

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.

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

2012-01-01T23:59:59.000Z

183

Field verification of CO{sub 2} Foam. Final report  

Science Conference Proceedings (OSTI)

The East Vacuum Grayburg/San Andres Unit (EVGSAU), operated by Phillips Petroleum Company, was the site selected for a comprehensive evaluation of the use of foam for improving the effectiveness of a CO{sub 2} flood. This project, entitled {open_quotes}Field Verification of CO{sub 2-}Foam,{close_quotes} was jointly funded by the EVGSAU working interest owners, the U.S. Department of Energy (DOE), and the State of New Mexico. The DOE provided $2 million or approximately 34% of the total project costs, the EVGSAU provided $2.46 million, the State of New Mexico contributed approximately $1.2 million, and about $103,000 of other industrial funds were used. The Petroleum Recovery Research Center (PRRC), a division of the New Mexico Institute of Mining and Technology, provided laboratory and research support for the project. A joint project advisory team composed of technical representatives from several major oil companies provided input, review, and guidance for the project. The project, which began in 1989, had a scheduled duration of four years, but the DOE granted a no-cost extension to the end of March 1995 for the purpose of continued project evaluation. A field test of the CO{sub 2}-foam has been successfully conducted, and preliminary results are promising. Response in the foam injection well has been as anticipated, and an offset producing well experienced a positive oil response as a result of the foam test. Based on the favorable results observed in the foam injection test, a second foam test was conducted. The monitoring program included analysis of injectivity data, pressure falloff tests, observation well logs, interwell tracer response, production logs, history of production rates, and changes in gas-oil ratio. This report presents an overview of the project and provides results of the laboratory work, simulation studies, and field tests.

Martin, F.D.; Heller, J.P.; Weiss, W.W. [and others

1996-02-01T23:59:59.000Z

184

Field verification of CO{sub 2} foam. Final report  

Science Conference Proceedings (OSTI)

The East Vacuum Grayburg/San Andres Unit (EVGSAU), operated by Phillips Petroleum Company, was the site selected for a comprehensive evaluation of the use of foam for improving the effectiveness of a CO{sub 2} flood. This project, entitled ``Field Verification of CO{sub 2}-Foam,`` was jointly funded by the EVGSAU working interest owners, the US Department of Energy (DOE), and the State of New Mexico. The DOE provided $2 million or approximately 34% of the total project costs, the EVGSAU provided $2.46 million, the State of New Mexico contributed approximately $1.2 million, and about $103,000 of other industrial funds were used. The Petroleum Recovery Research Center (PRRC), a division of the New Mexico Institute of Mining and Technology, provided laboratory and research support for the project. A joint project advisory team composed of technical representatives from several major oil companies provided input, review, and guidance for the project. The project, which began in 1989, had a scheduled duration of four years, but the DOE granted a no-cost extension to the end of March 1995 for the purpose of continued project evaluation. A field test of the CO{sub 2}-foam has been successfully conducted, and preliminary results are promising. Response in the foam injection well has been as anticipated, and an offset producing well experienced a positive oil response as a result of the foam test. Based on the favorable results observed in the foam injection test, a second foam test was conducted. The monitoring program included analysis of injectivity data, pressure falloff tests, observation well logs, interwell tracer response, production logs, history of production rates, and changes in gas-oil ratio. This report presents an overview of the project and provides results of the laboratory work, simulation studies, and field tests.

Martin, F.D.; Heller, J.P.; Weiss, W.W. [and others

1995-06-01T23:59:59.000Z

185

NREL: Wind Research - Regional Field Verification  

NLE Websites -- All DOE Office Websites (Extended Search)

Field Verification Field Verification The Regional Field Verification (RFV) project, completed in 2007, focused on regional issues and opportunities and tested turbines to gain operational knowledge that could be applied nationwide. The RFV objectives were to: Support industry needs for gaining initial field operation experience with small wind turbines, and verify the performance, reliability, maintainability, and cost of small wind turbines in diverse applications. Expand opportunities for wind energy in new regions of the United States by tailoring projects to meet unique regional requirements, and document and communicate the experience from these projects for the benefit of others in the wind power development community and rural utilities. Through a competitive solicitation in 2001-2002, NREL selected one

186

Vehicle Modeling and Verification of CNG-Powered Transit Buses  

E-Print Network (OSTI)

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

Hedrick, J. K.; Ni, A.

2004-01-01T23:59:59.000Z

187

Generalized Exponential Markov and Model Output Statistics: A Comparative Verification  

Science Conference Proceedings (OSTI)

We performed a comparative verification of Model Output Statistics (MOS) against Generalized Exponential Markov (GEM), a single station forecasting technique which uses only the surface observation and climatology as input. The verification was ...

Thomas J. Perrone; Robert G. Miller

1985-09-01T23:59:59.000Z

188

Exploration of small enrollment speaker verification on handheld devices  

E-Print Network (OSTI)

This thesis explores the problem of robust speaker verification for handheld devices under the context of extremely limited training data. Although speaker verification technology is an area of great promise for security ...

Woo, Ram H. (Ram Han)

2005-01-01T23:59:59.000Z

189

Electric Power Research Institute Utility Wind Turbine Verification Program  

Science Conference Proceedings (OSTI)

This report provides an overview of the DOE EPRI Wind Turbine Verification Program (TVP) and the Turbine Verification and Technology Transfer Projects funded by the program between 1994 and 2004.

2008-12-22T23:59:59.000Z

190

A Tutorial on Text-Independent Speaker Verification  

E-Print Network (OSTI)

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

Bimbot, Frederic

191

2013-09-18: Handbook 130 -- Price Verification  

Science Conference Proceedings (OSTI)

Handbook 130 - Price Verification. Purpose: This 2-day seminar is designed so that participants will be able to understand ...

2013-10-23T23:59:59.000Z

192

2013-08-27: Handbook 130 -- Price Verification  

Science Conference Proceedings (OSTI)

Handbook 130 - Price Verification. Purpose: This 2-day seminar is designed so that participants will be able to understand ...

2013-08-26T23:59:59.000Z

193

Speaker verification under degraded condition: a perceptual study  

Science Conference Proceedings (OSTI)

This study analyzes the effect of degradation on human and automatic speaker verification (SV) tasks. The perceptual test is conducted by the subjects having knowledge about speaker verification. An automatic SV system is developed using the Mel-frequency ... Keywords: Degraded condition, Human vs automatic, Speaker information, Speaker verification

Gayadhar Pradhan; S. R. Prasanna

2011-12-01T23:59:59.000Z

194

A tutorial on text-independent speaker verification  

Science Conference Proceedings (OSTI)

This paper presents an overview of a state-of-the-art text-independent speaker verification system. First, an introduction proposes a modular scheme of the training and test phases of a speaker verification system. Then, the most commonly speech parameterization ... Keywords: Gaussian mixture modeling, cepstral analysis, speaker verification, text-independent

Frédéric Bimbot; Jean-François Bonastre; Corinne Fredouille; Guillaume Gravier; Ivan Magrin-Chagnolleau; Sylvain Meignier; Teva Merlin; Javier Ortega-García; Dijana Petrovska-Delacrétaz; Douglas A. Reynolds

2004-01-01T23:59:59.000Z

195

TRACER: an EXCEL workbook to calculate mean residence time in groundwater by use of tracers CFC-11, CFC-12 and tritium  

Science Conference Proceedings (OSTI)

An EXCEL workbook is presented for calculating the mean residence time of groundwater based on the environmental tracers, tritium, CFC-11 and CFC-12. The program TRACER is written in Visual Basic for Application language and uses piston, exponential, ... Keywords: environmental tracer, exit-age distribution, exponential model, piston flow, turnover time

Serdar Bayari

2002-06-01T23:59:59.000Z

196

The Interpretation of Quantum Mechanics  

E-Print Network (OSTI)

In this paper, we demonstrate how the interpretation of quantum mechanics due to Land\\'e resolves the Schr\\"odinger cat paradox and disposes of the problem of wave function collapse.

H. V. Mweene

2004-11-09T23:59:59.000Z

197

Natural organic compounds as tracers for biomass combustion in aerosols  

SciTech Connect

Biomass combustion is an important primary source of carbonaceous particles in the global atmosphere. Although various molecular markers have already been proposed for this process, additional specific organic tracers need to be characterized. The injection of natural product organic tracers to smoke occurs primarily by direct volatilization/steam stripping and by thermal alteration based on combustion temperature. The degree of alteration increases as the burn temperature rises and the moisture content of the fuel decreases. Although the molecular composition of organic matter in smoke particles is highly variable, the molecular structures of the tracers are generally source specific. The homologous compound series and biomarkers present in smoke particles are derived directly from plant wax, gum and resin by volatilization and secondarily from pyrolysis of biopolymers, wax, gum and resin. The complexity of the organic components of smoke aerosol is illustrated with examples from controlled burns of temperate and tropical biomass fuels. Burning of biomass from temperate regions (i.e., conifers) yields characteristic tracers from diterpenoids as well as phenolics and other oxygenated species, which are recognizable in urban airsheds. The major organic components of smoke particles from tropical biomass are straight-chain, aliphatic and oxygenated compounds and triterpenoids. The precursor-to-product approach of organic geochemistry can be applied successfully to provide tracers for studying smoke plume chemistry and dispersion.

Simoneit, B.R.T. [Brookhaven National Lab., Upton, NY (United States)]|[Oregon State Univ., Corvallis, OR (United States). Coll. of Oceanic and Atmospheric Sciences; Abas, M.R. bin [Brookhaven National Lab., Upton, NY (United States)]|[Univ. of Malaya, Kuala Lumpur (Malaysia); Cass, G.R. [Brookhaven National Lab., Upton, NY (United States)]|[California Inst. of Tech., Pasadena, CA (United States). Environmental Engineering Science Dept.; Rogge, W.F. [Brookhaven National Lab., Upton, NY (United States)]|[Florida International Univ., University Park, FL (United States). Dept. of Civil and Environmental Engineering; Mazurek, M.A. [Brookhaven National Lab., Upton, NY (United States); Standley, L.J. [Academy of Natural Sciences, Avondale, PA (United States). Stroud Water Research Center; Hildemann, L.M. [Stanford Univ., CA (United States). Dept. of Civil Engineering

1995-08-01T23:59:59.000Z

198

Taximeter verification using imprecise data from GPS  

Science Conference Proceedings (OSTI)

Until recently, local governments in Spain were using machines with rolling cylinders for testing and verification of taximeters. However, the tyres condition can lead to errors in the process and the mechanical construction of the test equipment is ... Keywords: Fuzzy fitness function, GPS, Genetic fuzzy systems, Metrology, Vague data

José Villar; Adolfo Otero; José Otero; Luciano Sánchez

2009-03-01T23:59:59.000Z

199

Verification Techniques for System-Level Design  

Science Conference Proceedings (OSTI)

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been ... Keywords: Circuits, Electricity, Microelectronics

Masahiro Fujita; Indradeep Ghosh; Mukul Prasad

2007-10-01T23:59:59.000Z

200

Gait verification using knee acceleration signals  

Science Conference Proceedings (OSTI)

A novel gait recognition method for biometric applications is proposed. The approach has the following distinct features. First, gait patterns are determined via knee acceleration signals, circumventing difficulties associated with conventional vision-based ... Keywords: Biometrics, Gait analysis, Identity verification, Physiological signal processing

L. W. Hang; C. Y. Hong; C. W. Yen; D. J. Chang; M. L. Nagurka

2011-11-01T23:59:59.000Z

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


201

Pattern Language Verification in Model Driven Design  

Science Conference Proceedings (OSTI)

This paper addresses the problem of verifying the application of a Pattern Language in a design that is built based upon the patterns of the language in a model-driven approach. We propose a process named Pattern Language Verifier (PLV) which consists ... Keywords: Model Driven Engineering, Pattern Language Verification

Bahman Zamani, Greg Butler

2013-07-01T23:59:59.000Z

202

Towards Integrated Verification of Timed Transition Models  

Science Conference Proceedings (OSTI)

This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling Environment (TAME) has been modified to provide a formal model for Time Transition ... Keywords: PVS, Real-time, SAL, equivalence verification, model reduction, model-checking, theorem proving

Mark Lawford; Vera Pantelic; Hong Zhang

2006-04-01T23:59:59.000Z

203

Automatic verification for interactive graphical programs  

Science Conference Proceedings (OSTI)

Modern software applications come with interactive graphical displays. In the past, verification efforts for such programs have usually ignored the I/O aspects of programs and focused instead on their core functionality. This approach leaves open the ... Keywords: ACL2, Dracula, interactive graphical programs

Carl Eastlund; Matthias Felleisen

2009-05-01T23:59:59.000Z

204

Handling Global Conditions in Parameterized System Verification  

Science Conference Proceedings (OSTI)

We consider symbolic verification for a class of parameterized systems, where a system consists of a linear array of processes, and where an action of a process may in general be guarded by both local conditions restricting the state of the process about ...

Parosh Aziz Abdulla; Ahmed Bouajjani; Bengt Jonsson; Marcus Nilsson

1999-07-01T23:59:59.000Z

205

Uncertainty and Inference for Verification Measures  

Science Conference Proceedings (OSTI)

When a forecast is assessed, a single value for a verification measure is often quoted. This is of limited use, as it needs to be complemented by some idea of the uncertainty associated with the value. If this uncertainty can be quantified, it is ...

Ian T. Jolliffe

2007-06-01T23:59:59.000Z

206

The Office of Nuclear Verification | National Nuclear Security  

National Nuclear Security Administration (NNSA)

Nuclear Verification | National Nuclear Security Nuclear Verification | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our Infrastructure Continuing Management Reform Countering Nuclear Terrorism About Us Our Programs Our History Who We Are Our Leadership Our Locations Budget Our Operations Media Room Congressional Testimony Fact Sheets Newsletters Press Releases Speeches Events Social Media Video Gallery Photo Gallery NNSA Archive Federal Employment Apply for Our Jobs Our Jobs Working at NNSA Blog The Office of Nuclear Verification Home > About Us > Our Programs > Nonproliferation > Nonproliferation & International Security > The Office of Nuclear Verification The Office of Nuclear Verification

207

UN-REDD Workshop: Monitoring, Assessment and Verification | Open Energy  

Open Energy Info (EERE)

UN-REDD Workshop: Monitoring, Assessment and Verification UN-REDD Workshop: Monitoring, Assessment and Verification Jump to: navigation, search Tool Summary LAUNCH TOOL Name: UN-REDD Workshop: Monitoring, Assessment and Verification Agency/Company /Organization: United Nations Environment Programme, Food and Agriculture Organization of the United Nations, United Nations Development Programme Sector: Land Focus Area: Forestry Topics: GHG inventory, Policies/deployment programs, Resource assessment Resource Type: Workshop Website: www.un-redd.org/UNREDDProgramme/InternationalSupport/MeasurementReport UN-REDD Workshop: Monitoring, Assessment and Verification Screenshot References: UN-REDD Workshop: Monitoring, Assessment and Verification[1] Background "The specific objectives of the workshop were to develop a roadmap with

208

The AdaptiV Approach to Verification of Adaptive Systems  

SciTech Connect

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.

Rouff, Christopher [Lockheed Martin Corporation; Buskens, Richard [Lockheed Martin Corporation; Pullum, Laura L [ORNL; Cui, Xiaohui [ORNL; Hinchey, Mike [Lero – The Irish Software Engineering Research Centre

2012-01-01T23:59:59.000Z

209

Monitoring, Verification and Reporting: Improving Compliance Within Energy  

Open Energy Info (EERE)

Monitoring, Verification and Reporting: Improving Compliance Within Energy Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Jump to: navigation, search Tool Summary Name: Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Agency/Company /Organization: International Energy Agency Sector: Energy Focus Area: Energy Efficiency Topics: GHG inventory, Policies/deployment programs Resource Type: Guide/manual Website: www.iea.org/papers/pathways/monitoring.pdf Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Screenshot References: Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs[1] This document includes: A brief overview of MVE in the context of S&L programmes.

210

Thermal stabilities of aromatic acids as geothermal tracers  

Science Conference Proceedings (OSTI)

This paper reports that thirty-nine aromatic acids were tested for their suitability as geothermal tracers. The parameters of the experiments included temperatures up to 300[degrees]C for periods of up to one month in fluids of various salinities, the presence of absence of rocks, and atmospheric levels of molecular oxygen. Of the compounds tested, at least 24 are suitable as tracers in a moderate-temperature geothermal environment while 5 may be used at temperatures as high as 300[degrees]C. The compounds displayed no adsorption on the rocks used in the tests. Some of the compounds were used successfully in a major tracer test at the Dixie Valley, Nevada geothermal system.

Adams, M.C.; Moore, J.N.; Fabry, L.G.; Ahn, J.H. (Utah Univ. Research Inst., Salt Lake City, UT (United States))

1992-06-01T23:59:59.000Z

211

Tracer Testing At Raft River Geothermal Area (1983) | Open Energy  

Open Energy Info (EERE)

3) 3) Exploration Activity Details Location Raft River Geothermal Area Exploration Technique Tracer Testing Activity Date 1983 Usefulness not indicated DOE-funding Unknown Exploration Basis To develop chemical tracing procedures for geothermal areas. Notes Two field experiments were conducted to develop chemical tracer procedures for use with injection-backflow testing, one on the fracture-permeability Raft River reservoir and the other on the matrix-permeability East Mesa reservoir. Results from tests conducted with incremental increases in the injection volume at both East Mesa and Raft River suggests that, for both reservoirs, permeability remained uniform with increasing distance from the well bore. Increased mixing during quiescent periods, between injection and

212

Interwell tracer analyses of a hydraulically fractured granitic geothermal reservoir  

DOE Green Energy (OSTI)

Field experiments using fluorescent dye and radioactive tracers (Br{sup 82} and I{sup 131}) have been employed to characterize a hot, low-matrix permeability, hydraulically-fractured granitic reservoir at depths of 2440 to 2960 m (8000 to 9700 ft). Tracer profiles and residence time distributions have been used to delineate changes in the fracture system, particularly in diagnosing pathological flow patterns and in identifying new injection and production zones. The effectiveness of one- and two-dimensional theoretical dispersion models utilizing single and multiple porous, fractured zones with velocity and formation dependent effects are discussed with respect to actual field data.

Tester, J.W.; Potter, R.M.; Bivins, R.L.

1979-01-01T23:59:59.000Z

213

Preliminary assessment of halogenated alkanes as vapor-phase tracers  

DOE Green Energy (OSTI)

New tracers are needed to evaluate the efficiency of injection strategies in vapor-dominated environments. One group of compounds that seems to meet the requirements for vapor-phase tracing are the halogenated alkanes (HCFCs). HCFCs are generally nontoxic, and extrapolation of tabulated thermodynamic data indicate that they will be thermally stable and nonreactive in a geothermal environment. The solubilities and stabilities of these compounds, which form several homologous series, vary according to the substituent ratios of fluorine, chlorine, and hydrogen. Laboratory and field tests that will further define the suitability of HCFCs as vapor-phase tracers are under way.

Adams, Michael C.; Moore, Joseph N.; Hirtz, Paul

1991-01-01T23:59:59.000Z

214

Sequence-based abstract interpretation of Prolog  

Science Conference Proceedings (OSTI)

Abstract interpretation is a general methodology for systematic development of program analyses. An abstract interpretation framework is centered around a parametrized non-standard semantics that can be instantiated by various domains to approximate ... Keywords: Prolog, abstract interpretation, static analysis

Baudouin Le Charlier; Sabina Rossi; Pascal Van Hentenryck

2002-01-01T23:59:59.000Z

215

NGSI: IAEA Verification of UF6 Cylinders  

Science Conference Proceedings (OSTI)

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

Curtis, Michael M.

2012-06-05T23:59:59.000Z

216

GRIMHX verification and validation action matrix summary  

Science Conference Proceedings (OSTI)

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

Trumble, E.F.

1991-12-01T23:59:59.000Z

217

Conceptual design. Final report: TFE Verification Program  

DOE Green Energy (OSTI)

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

Not Available

1994-03-01T23:59:59.000Z

218

Using a combination of two models in tracer simulations  

Science Conference Proceedings (OSTI)

The use of a combination of two models, a Lagrangian meso-scale model and a long-range transport Eulerian model, in a model for studying the air pollution caused by a single but strong emission source is discussed. It is explained why it is worthwhile ... Keywords: Accidental releases, Advection, Animation, Chernobyl, Diffusion, ETEX, Tracer models, Visualization

J. Brandt; T. Mikkelsen; S. Thykier-Nielsen; Z. Zlatev

1996-05-01T23:59:59.000Z

219

Tracer testing at Soultz-sous-Forts (France) using naphthalene  

E-Print Network (OSTI)

: · EPS1 fully cored exploration · GPK-1 preliminary injection tests · GPK-3 injection well · GPK-2 and future GPK-4 production wells 3.6 km continuous logs: Caliper, Spectral GR, UBI (5100m) #12;EHDRA-2 (July 2000) > Water injection · 26,800 m3 of fresh water and 1,000 m3 of heavy brine > Tracer

220

Solving Underdetermined Tracer Inverse Problems by Spatial Smoothing and Cross Validation  

Science Conference Proceedings (OSTI)

Tracer conservation equations may be inverted to determine the flow field and macroscopic diffusion coefficients from known tracer distributions. An underdetermined system leads to an infinite number of possible solutions. The solution that is ...

Peter C. McIntosh; George Veronis

1993-04-01T23:59:59.000Z

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


221

Dispersion of Perfluorocarbon Tracers within the Salt Lake Valley during VTMX 2000  

Science Conference Proceedings (OSTI)

Six perfluorocarbon tracer experiments were conducted in Salt Lake City, Utah, during October 2000 as part of the Vertical Transport and Mixing (VTMX) field campaign. Four tracers were released at different sites to obtain information on ...

Jerome D. Fast; K. Jerry Allwine; Russell N. Dietz; Kirk L. Clawson; Joel C. Torcolini

2006-06-01T23:59:59.000Z

222

Relationships between Tracer Ages and Potential Vorticity in Unsteady Wind-Driven Circulations  

Science Conference Proceedings (OSTI)

The relationships between different tracer ages and between tracer age and potential vorticity are examined by simulating barotropic double-gyre circulations. The unsteady model flow crudely represents aspects of the midlatitude, middepth ocean ...

Hong Zhang; Thomas W. N. Haine; Darryn W. Waugh

2005-11-01T23:59:59.000Z

223

Effective Eddy Diffusivities Inferred from a Point Release Tracer in an Eddy-Resolving Ocean Model  

Science Conference Proceedings (OSTI)

This study uses tracer experiments in a global eddy-resolving ocean model to examine two diagnostic methods for inferring effective eddy isopycnic diffusivity from point release tracers. The first method is based on the growth rate of the area ...

Mei-Man Lee; A. J. George Nurser; Andrew C. Coward; Beverly A. de Cuevas

2009-04-01T23:59:59.000Z

224

The Roles of Langmuir Circulations in the Dispersion of Surface Tracers  

Science Conference Proceedings (OSTI)

A hierarchy of theoretical and numerical models for the dispersion of discrete floating tracers on lakes and oceans is presented. Central to these models is the role of Langmuir circulations, which concentrate tracers into narrow windrows this ...

Alan J. Faller; Stephen J. Auer

1988-08-01T23:59:59.000Z

225

Numerical Simulations of Airflows and Tracer Transport in the Southwestern United States  

Science Conference Proceedings (OSTI)

Project MOHAVE (Measurement of Haze and Visual Effects) produced a unique set of tracer data over the southwestern United States. During the summer of 1992, a perfluorocarbon tracer gas was released from the Mohave Power Project (MPP), a large ...

Tetsuji Yamada

2000-03-01T23:59:59.000Z

226

Thermal Monitoring Approaches for Energy Savings Verification  

E-Print Network (OSTI)

This paper reviews and summarizes techniques for monitoring thermal energy flows for the purpose of verifying energy savings in industrial and large institutional energy conservation projects. Approaches for monitoring hot and chilled water, steam, steam condensate and boiler feedwater in large facilities are described. Insights gained and lessons learned through the actual in-field installation of thermal monitoring equipment for energy savings verification purposes at over 100 sites at various locations throughout the United States are presented.

McBride, J. R.; Bohmer, C. J.; Lippman, R. H.; Zern, M. J.

1996-04-01T23:59:59.000Z

227

Interpreting Remote Sensing NOx Measurements  

E-Print Network (OSTI)

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

Denver, University of

228

Formal interpreters for diagram notations  

Science Conference Proceedings (OSTI)

The article proposes an approach for defining extensible and flexible formal interpreters for diagram notations with significant dynamic semantics. More precisely, it addresses semi-formal diagram notations that have precisely-defined syntax, but informally ... Keywords: Semi-formal notations, graph transformation, high-level Petri nets, semantics

Luciano Baresi; Mauro Pezzè

2005-01-01T23:59:59.000Z

229

Spatial interpretations of preposition "at"  

Science Conference Proceedings (OSTI)

The current keyword- and substring matches-based retrieval methods most search engines rely on to answer spatial queries ignore the more specific interpretations of spatial relations. Moreover, the use of the general preposition "at" in natural language ... Keywords: natural language processing, spatial reasoning and analysis, uncertainty, user-generated spatial content

Maria Vasardani; Stephan Winter; Kai-Florian Richter; Lesley Stirling; Daniela Richter

2012-11-01T23:59:59.000Z

230

Chemical tracer test at the Dixie Valley geothermal field, Nevada. Geothermal Reservoir Technology research program  

DOE Green Energy (OSTI)

In the injection test described, chemical tracers established the fluid flow between one injection well and one production well. Measured tracer concentrations, calculated flow rates, sampling schedules, and the daily events of the tracer test are documented. This experiment was designed to test the application of organic tracers, to further refine the predictive capability of the reservoir model, and to improve the effectiveness of Oxbow`s injection strategy.

Adams, M.C.; Moore, J.N. [Utah Univ. Research Inst., Salt Lake City, UT (United States); Benoit, W.R. [Oxbow Geothermal Corp., Reno, NV (United States); Doughty, C.; Bodvarsson, G.S. [Lawrence Berkeley Lab., CA (United States)

1993-10-01T23:59:59.000Z

231

Secure Position Verification for Wireless Sensor Networks in Noisy Channels  

E-Print Network (OSTI)

Position verification in wireless sensor networks (WSNs) is quite tricky in presence of attackers (malicious sensor nodes), who try to break the verification protocol by reporting their incorrect positions (locations) during the verification stage. In the literature of WSNs, most of the existing methods of position verification have used trusted verifiers, which are in fact vulnerable to attacks by malicious nodes. They also depend on some distance estimation techniques, which are not accurate in noisy channels (mediums). In this article, we propose a secure position verification scheme for WSNs in noisy channels without relying on any trusted entities. Our verification scheme detects and filters out all malicious nodes from the network with very high probability.

Mandal, Partha Sarathi

2011-01-01T23:59:59.000Z

232

Measurement and Verification of Low Income Energy Efficiency Programs in  

Open Energy Info (EERE)

Measurement and Verification of Low Income Energy Efficiency Programs in Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Focus Area: Energy Efficiency Topics: Socio-Economic Website: www.eceee.org/conference_proceedings/eceee/2009/Panel_3/3.049/ Equivalent URI: cleanenergysolutions.org/content/measurement-and-verification-low-inco Language: English Policies: "Regulations,Financial Incentives" is not in the list of possible values (Deployment Programs, Financial Incentives, Regulations) for this property. Regulations: Feebates This report presents results from Brazilian electric utilities evaluation

233

A golden anniversary for space-based treaty verification  

NLE Websites -- All DOE Office Websites (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...

234

Measurement and Verification of Low Income Energy Efficiency...  

Open Energy Info (EERE)

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

235

Volunteer to conduct free verifications for K-12 schools and...  

NLE Websites -- All DOE Office Websites (Extended Search)

Volunteer to conduct free verifications for K-12 schools and worship facilities Secondary menu join us About us Press room Contact Us Portfolio Manager Login Facility owners and...

236

Review of the Implementation Verification Rev iew Processes at...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities May 2011 September 2011 Office of Safety and Emergency Management...

237

Example Measurement & Verification Plan for a Super ESPC Project  

Energy.gov (U.S. Department of Energy (DOE))

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

238

Event:Technical Workshop: Measurement, Reporting and Verification...  

Open Energy Info (EERE)

Technical Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation Jump to: navigation, search Calendar.png Technical Workshop: Measurement,...

239

Evaluation, Measurement, and Verification (EM&V) of Residential...  

NLE Websites -- All DOE Office Websites (Extended Search)

Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Programs: Issues and Recommendations Title Evaluation, Measurement, and...

240

Review of the Pantex Plant Implementation Verification Review...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

of the Pantex Plant Implementation Verification Review Processes February 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of...

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


241

Microsoft Word - Interpretive Guidance FINAL  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

June 2, 2011 June 2, 2011 INTERPRETIVE GUIDANCE ON THE REQUIREMENTS OF 10 C.F.R. § 205.322 This guidance is intended to clarify the Department of Energy (DOE)'s interpretation of 10 C.F.R. § 205.322, which sets forth the contents of an application for a Presidential permit issued by DOE under Executive Order (E.O.) 10485, as amended by E.O. 12038. Anyone seeking to construct, operate, maintain, or connect an electric transmission facility crossing the borders of the United States must first obtain a Presidential permit. Section 205.322 requires that an application for a Presidential permit provide, among other things: a) "Information regarding the applicant" (e.g., name, contact information, foreign government ownership or contractual relationships);

242

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-MECH-23 Verification of High EER Equipment (Page 1 of 1)  

E-Print Network (OSTI)

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-MECH-23 Verification of High EER 2009 Verification of High EER Equipment Procedures for verification of High EER Equipment are described. 1 System Name or Identification/Tag 2 System Location or Area Served 3 Certified EER Rating

243

Appendix: Conjectures concerning proof, design, and verification.  

SciTech Connect

This article focuses on an esoteric but practical use of automated reasoning that may indeed be new to many, especially those concerned primarily with verification of both hardware and software. Specifically, featured are a discussion and some methodology for taking an existing design -- of a circuit, a chip, a program, or the like--and refining and improving it in various ways. Although the methodology is general and does not require the use of a specific program, McCune's program OTTER does offer what is needed. OTTER has played and continues to play the key role in my research, and an interested person can gain access to this program in various ways, not the least of which is through the included CD-ROM in [3]. When success occurs, the result is a new design that may require fewer components, avoid the use of certain costly components, offer more reliability and ease of verification, and, perhaps most important, be more efficient in the contexts of speed and heat generation. Although the author has minimal experience in circuit design, circuit validation, program synthesis, program verification, and similar concerns, (at the encouragement of colleagues based on successes to be cited) he presents materials that might indeed be of substantial interest to manufacturers and programmers. He writes this article in part prompted by the recent activities of chip designers that include Intel and AMD, activities heavily emphasizing the proving of theorems. As for his research that appears to the author to be relevant, he has made an intense and most profitable study of finding proofs that are shorter [2,3], some that avoid the use of various types of term, some that are far less complex than previously known, and the like. Those results suggest to me a strong possible connection between more appealing proofs (in mathematics and in logic) and enhanced and improved design of both hardware and software. Here the author explores diverse conjectures that elucidate some of the possibly fruitful connections.

Wos, L.

2000-05-31T23:59:59.000Z

244

Innovative techniques for the description of reservoir heterogeneity using tracers. Final report, October 1992--December 1993  

SciTech Connect

This is the final report of a three year research project on the use of tracers for reservoir characterization. The objective of this research was to develop advanced, innovative techniques for the description of reservoir characteristics using both single-well backflow and interwell tracer tests. (1) The authors implemented and validated tracer modeling features in a compositional simulator (UTCOMP). (2) They developed and applied a new single well tracer test for estimating reservoir heterogeneity. (3) They developed and applied a new single well tracer test for estimating reservoir wettability in-situ. (4) They developed a new, simple and efficient method to analyze two well tracer tests based upon type curve matching and illustrated its use with actual field tracer data. (5) They developed a new method for deriving an integrated reservoir description based upon combinatorial optimization schemes. (6) They developed a new, interwell tracer test for reservoir heterogeneity called vertical tracer profiling (VTP) and demonstrated its advantages over conventional interwell tracer testing. (7) They developed a simple and easy analytical method to estimate swept pore volume from interwell tracer data and showed both the theoretical basis for this method and its practical utility. (8) They made numerous enhancements to our compositional reservoir simulator such as including the full permeability tensor, adding faster solvers, improving its speed and robustness and making it easier to use (better I/0) for tracer simulation problems. (9) They applied the enhanced version of UTCOMP to the analysis of interwell tracer data using perfluorocarbons at Elks Hill Naval Petroleum Reserve. All of these accomplishments taken together have significantly improved the state of reservoir tracer technology and have demonstrated that it is a far more powerful and useful tool for quantitative reservoir characterization than previously realized or practiced by the industry.

Pope, G.A.; Sepehrnoori, K.; Delshad, M.; Ferreira, L.; Gupta, A.; Maroongroge, V.

1994-11-01T23:59:59.000Z

245

Characteristic formulae for the verification of imperative programs  

Science Conference Proceedings (OSTI)

In previous work, we introduced an approach to program verification based on characteristic formulae. The approach consists of generating a higher-order logic formula from the source code of a program. This characteristic formula is constructed in such ... Keywords: characteristic formula, interactive verification, total correctness

Arthur Charguéraud

2011-09-01T23:59:59.000Z

246

Probabilistic Fusion of Sorted Score Sequences for Robust Speaker Verification  

E-Print Network (OSTI)

Probabilistic Fusion of Sorted Score Sequences for Robust Speaker Verification Ming-Cheung Cheung1 Engineering, Princeton University, USA Abstract. Fusion techniques have been widely used in multi-dependent fusion al- gorithm for speaker verification. The algorithm is data-dependent in that the fusion weights

Mak, Man-Wai

247

Formal verification of compiler transformations on polychronous equations  

Science Conference Proceedings (OSTI)

In this paper, adopting the translation validation approach, we present a formal verification process to prove the correctness of compiler transformations on systems of polychronous equations. We encode the source programs and the transformations with ... Keywords: formal verification, multi-clocked synchronous programs, polychronous model, translation validation, validated compiler

Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard

2012-06-01T23:59:59.000Z

248

Certification and verification for calmac flat plate solar collector  

DOE Green Energy (OSTI)

This document contains information used in the certification and verification of the Calmac Flat Plate Collector. Contained are such items as test procedures and results, information on materials used, Installation, Operation, and Maintenance Manuals, and other information pertaining to the verification and certification.

Not Available

1978-01-27T23:59:59.000Z

249

Towards the compositional verification of real-time UML designs  

Science Conference Proceedings (OSTI)

Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem ... Keywords: embedded systems, object constraint language (OCL), pattern, real-time, unified modelling language (UML)

Holger Giese; Matthias Tichy; Sven Burmester; Wilhelm Schäfer; Stephan Flake

2003-09-01T23:59:59.000Z

250

Modeling and Verification of Reactive Systems using Rebeca  

Science Conference Proceedings (OSTI)

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. ... Keywords: actor model, compositional verification, model checking, property preserving abstraction, reactive systems

Marjan Sirjani; Ali Movaghar; Amin Shali; Frank S. de Boer

2004-12-01T23:59:59.000Z

251

Integrity verification of cloud-hosted data analytics computations  

Science Conference Proceedings (OSTI)

In this position paper, we present efficient and practical integrity verification techniques that check whether the untrusted cloud has returned correct result of outsourced data analytics computations. We consider the computation of summation form that ... Keywords: cloud analytics as a service, cloud computing, integrity verification, machine learning

Hui (Wendy) Wang

2012-08-01T23:59:59.000Z

252

Challenge benchmarks for verification of real-time programs  

Science Conference Proceedings (OSTI)

Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. Unfortunately, it is nearly impossible to find representative ... Keywords: java, real-time, verification

Tomas Kalibera; Pavel Parizek; Ghaith Haddad; Gary T. Leavens; Jan Vitek

2010-01-01T23:59:59.000Z

253

High-performance verification of large concurrent systems  

E-Print Network (OSTI)

High-performance verification of large concurrent systems Elbie taKrpska Ph.D. Thesis VU University Systems Ph.D. Thesis Elzbieta Krepska VU University Amsterdam, 2012 #12;This research was funded by the VU. #12;VRIJE UNIVERSITEIT TOWARDS BIG BIOLOGY: HIGH-PERFORMANCE VERIFICATION OF LARGE CONCURRENT SYSTEMS

Bal, Henri E.

254

Mismatch modeling and compensation for robust speaker verification  

Science Conference Proceedings (OSTI)

In this study, primary channel mismatch scenario between enrollment and test conditions in a speaker verification task are analyzed and modeled. A novel Gaussian mixture modeling with a universal background model (GMM-UBM) frame based compensation model ... Keywords: Eigenchannel, Factor analysis, Mismatch compensation, Speaker verification

Yun Lei; John H. L. Hansen

2011-02-01T23:59:59.000Z

255

Microfluidic Investigation of Tracer Dye Diffusion in Alumina Nanofluids  

E-Print Network (OSTI)

Nanofluids, a new class of fluids engineered by suspending nanometer-sized particles in a host liquid, are offered as a new strategy in order to improve heat and mass transfer efficiency. My research was motivated by previous exciting studies 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. Under conditions matching previously reported studies, strong complexation interactions between the dye and nanoparticles at the interface between fluid streams was observed. When the tracer dye and surfactant were carefully chosen to minimize the collective effects of the interactions, no significant change in tracer dye diffusivity was observed in the presence of nanoparticles. Next, adapting tracer dyes for studies involving colloidal nanomaterials was explored. Addition of these charged tracers poses a myriad of challenges because of their propensity to disrupt the delicate balance among physicochemical interactions governing suspension stability. Here it was shown how important it is to select the compatible combinations of dye, nanoparticle, and stabilizing surfactant to overcome these limitations in low volume fraction (< 1 vol%) aqueous suspensions of Al2O3 nanoparticles. A microfluidic system was applied as a stability probe that unexpectedly revealed how rapid aggregation could be readily triggered in the presence of local chemical gradients. Suspension stability was also assessed in conjunction with coordinated measurements of zeta potential, steady shear viscosity and bulk thermal conductivity. These studies also guided our efforts to prepare new refrigerant formulations containing dispersed nanomaterials, including graphene nanosheets, carbon nanotubes and metal oxide and nitride. The influence of key parameters such as particle type, size and volume fraction on the suspension's thermal conductivity was investigated using a standard protocol. Our findings showed that thermal conductivity values of carbon nanotube and graphene nanosheet suspensions were higher than TiO2 nanoparticles, despite some nanoparticles with large particle sizes provided noticeable thermal conductivity enhancements. Significantly, the graphene containing suspensions uniquely matched the thermal conductivity enhancements attained in nanotube suspensions without accompanying viscosity, thus making them an attractive new coolant for demanding applications such as electronics and reactor cooling.

Ozturk, Serdar 1979-

2012-12-01T23:59:59.000Z

256

Surveillance Guide - OPS 9.10 Independent Verification  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

INDEPENDENT VERIFICATION INDEPENDENT VERIFICATION 1.0 Objective The objective of this surveillance is to evaluate the conduct of selected independent verification activities. This surveillance provides a basis for evaluating the effectiveness of the contractor's independent verifications programs and for establishing compliance with DOE requirements. 2.0 References 2.1 DOE 5480.19, Conduct of Operations Requirements for DOE Facilities 2.2 DOE-STD-1036-93, Guide to Good Practices for Independent Verification 3.0 Requirements Implemented This surveillance is conducted to implement requirements of the Functions, Responsibilities and Authorities Manual, Section 20, Operations, FRAM #s 4253, 4258, and 4261. These requirements are drawn from DOE 5480.19.

257

CRAD, Implementation Verification Review - July 20, 2011 | Department of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Implementation Verification Review - July 20, 2011 Implementation Verification Review - July 20, 2011 CRAD, Implementation Verification Review - July 20, 2011 July 20, 2011 Implementation Verification Review of Safety Basis Hazard Controls (HSS CRAD 45-39, Rev. 1) The Implementation Verification Review (IVR) inspection will evaluate the effectiveness of processes for independently verifying and re-verifying implementation of the safety basis hazard controls at the site's nuclear facilities and associated site office oversight methodology. The inspection will consist of an evaluation of the procedures and processes that establish the IVR or similar process, as well as an evaluation of IVR or similar processes implementation and oversight. Review of implementation at a site may include any or all of the following activities:

258

Approaches to verification of two-dimensional water quality models  

DOE Green Energy (OSTI)

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

Butkus, S.R. (Tennessee Valley Authority, Chattanooga, TN (USA). Water Quality Dept.)

1990-11-01T23:59:59.000Z

259

Monitoring/Verification using DMS: TATP Example  

Science Conference Proceedings (OSTI)

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

Stephan Weeks, Kevin Kyle, Manuel Manard

2008-05-30T23:59:59.000Z

260

Verification and validation for induction heating  

SciTech Connect

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

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

2008-01-01T23:59:59.000Z

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


261

DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS  

Science Conference Proceedings (OSTI)

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

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

2009-07-01T23:59:59.000Z

262

Scatterometer Data Interpretation: Measurement Space and Inversion  

Science Conference Proceedings (OSTI)

The geophysical interpretation of the radar measurements from the ERS-1 scatterometer, called ?0, is considered. An important tool in the interpretation of the data is the visualization of the triplets of radar backscatter in measurement space. ...

Ad Stoffelen; David Anderson

1997-12-01T23:59:59.000Z

263

Quantum Theory Event-Probability Interpretation  

Science Conference Proceedings (OSTI)

In this article the propagation of pointlike event probabilities in space is considered. New interpretation of Quantum Theory is formulated.

Quznetsov, Gunn [Chelyabinsk State University, Chelyabinsk, Ural (Russian Federation)

2011-03-28T23:59:59.000Z

264

Interpreting the C-metric  

E-Print Network (OSTI)

The basic properties of the C-metric are well known. It describes a pair of causally separated black holes which accelerate in opposite directions under the action of forces represented by conical singularities. However, these properties can be demonstrated much more transparently by making use of recently developed coordinate systems for which the metric functions have a simple factor structure. These enable us to obtain explicit Kruskal-Szekeres-type extensions through the horizons and construct two-dimensional conformal Penrose diagrams. We then combine these into a three-dimensional picture which illustrates the global causal structure of the space-time outside the black hole horizons. Using both the weak field limit and some invariant quantities, we give a direct physical interpretation of the parameters which appear in the new form of the metric. For completeness, relations to other familiar coordinate systems are also discussed.

J. B. Griffiths; P. Krtous; J. Podolsky

2006-09-15T23:59:59.000Z

265

Comparison of Two Interpretations of Josephson Effect  

E-Print Network (OSTI)

This paper puts forward an interpretation of the Josephson effect based on the Alternative Theory of Superconductivity (ATS). A comparison of ATS- and BCS-based interpretations is provided. It is demonstrated that the ATS-based interpretation, unlike that based on BCS theory, does not require a revision of fundamentals of quantum physics.

I. M. Yurin

2008-08-02T23:59:59.000Z

266

QUALITATIVE INTERPRETATION OF GALAXY SPECTRA  

Science Conference Proceedings (OSTI)

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.

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

267

Microsoft PowerPoint - Tracer plume detection-LANL(Fessenden).ppt  

NLE Websites -- All DOE Office Websites (Extended Search)

Tracer Testing of Plume Movement Tracer Testing of Plume Movement Julianna Fessenden and Paul Reimus, Los Alamos National Laboratory Plume modeling (atmosphere, reservoir, groundwater) Purpose of Tracing Plumes Monitor species of interest within reservoir Monitor species of interest outside reservoir Monitor Flow paths Capture zones Monitor Breaches Extent of movement Desirable Tracer Characteristics (1) Inexpensive (measurement, analytical) (2) Low detection limits, no analytical interferences (3) Quick, easy to sample and measure (4) Non toxic, readily permitted (5) Both sorbing/non-sorbing tracer use Perflorocarbon Tracer deployment NETL facilities Classes of Tracers (1) Gas Phase (2) Liquid Phase (3) Organic, inorganic, aqueous (4) Conservative/nonreacting (5) Reactive with mineral surfaces or soluble in non-carrier phase

268

Verification Checklist Home Address: City: State: Zip:  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Indoor airPLUS Version 1 (Rev. 01) Verification Checklist Home Address: City: State: Zip: Section Requirements (Refer to full Indoor airPLUS Construction Specifications for details) Must Correct Builder Verified Rater Verified N/A Note: The Rev. 01 checklist has been modified to reflect only the additional Indoor airPLUS requirements and their corresponding section numbers that must be met after completing the ENERGY STAR checklists. ENERGY STAR remains a prerequisite for Indoor airPLUS certification. ENERGY STAR V3 Checklists Thermal Enclosure System Rater Checklist completed. o o Water Management System Builder Checklist completed. o o HVAC System Quality Installation Contractor Checklist completed. o o HVAC System Quality Installation Rater Checklist completed. o o

269

The Role of science in treaty verification  

SciTech Connect

Technologically advanced nations are currently applying more science to treaty verification than ever before. Satellites gather a multitude of information relating to proliferation concerns using thermal imaging analysis, nuclear radiation measurements, and optical and radio frequency signals detection. Ground stations gather complementary signals such as seismic events and radioactive emissions. Export controls in many countries attempt to intercept materials and technical means that could be used for nuclear proliferation. Never the less, we have witnessed a plethora of nuclear proliferation episodes, that were undetected (or were belatedly detected) by these technologies - the Indian nuclear tests in 1998, the Libyan nuclear buildup, the Iranian enrichment program and the North Korea nuclear weapons program are some prime examples. In this talk we will discuss some of the technologies used for proliferation detection. In particular, we will note some of the issues relating to nuclear materials control agreements that epitomize political difficulties as they impact the implementation of science and technology.

Gavron, A. I. (Avigdor I.)

2004-01-01T23:59:59.000Z

270

Supplement No. 2 to the FUSRAP Summary Protocol – Verification and Certification Protocol  

Energy.gov (U.S. Department of Energy (DOE))

Supplement No. 2 to the FUSRAP Summary Protocol – Verification and Certification Protocol (November 1985, Rev. 1)

271

BUSpec: A framework for generation of verification aids for standard bus protocol specifications  

Science Conference Proceedings (OSTI)

A typical verification intellectual property (VIP) of a bus protocol such as ARM advanced micro-controller bus architecture (AMBA) or PCI consists of a set of assertions and associated verification aids such as test-benches, design-ware models and coverage ... Keywords: Assertion-based verification, Bus functional models, Protocol validation, Verification intellectual property

Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti

2007-04-01T23:59:59.000Z

272

A dynamic assertion-based verification platform for validation of UML designs  

Science Conference Proceedings (OSTI)

Capacity limitations continue to impede widespread adoption of formal property verification in the design validation ow of software and hardware systems. The more popular choice (at least in the hardware domain) has been dynamic property verification ... Keywords: UML, assertion checking, dynamic property verification, software verification

A. Banerjee; S. Ray; P. Dasgupta; P. P. Chakrabarti; S. Ramesh; P. Vignesh; V. Ganesan

2012-01-01T23:59:59.000Z

273

COMPARISON OF THREE TRACER TESTS AT THE RAFT RIVER GEOTHERMAL SITE  

DOE Green Energy (OSTI)

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.

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

2011-02-01T23:59:59.000Z

274

Status Report on REC Verification, Tracking and Associated Issues  

NLE Websites -- All DOE Office Websites (Extended Search)

REC REC Verification, Tracking Systems and Associated Issues DOE Workshop on REC Markets and Challenges September 11, 2007 Meredith Wingate Director of Clean Energy Policy Design and Implementation Center for Resource Solutions Main Points * Think National - Verification issues are getting more complicated with the intersection of RECs and emissions markets - Market needs more rigorous verification * More coordination is needed Role of Tracking Systems * Primary tool for implementing state RPS programs * Produce data for environmental disclosure programs * Facilitate REC transactions Certificate-based Tracking Programs * ERCOT RECs Program (2001) * NEPOOL GIS (2002) * WI RRC Program (2003-2007) * PJM GATS (2005) * NJ SRECS (2005) * WREGIS (2007) * M-RETS (2007) * New York State (2008?)

275

Reviewing Measurement and Verification Plans for Federal ESPC Projects  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Reviewing Measurement & Verification Plans Reviewing Measurement & Verification Plans for Federal ESPC Projects February 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at www.eere.energy.gov/femp/financing/ . [Headers and footers only revised 12/08] Reviewing M&V Plans Contents REVIEWING MEASUREMENT AND VERIFICATION PLANS FOR FEDERAL ESPC PROJECTS ............................................................................................................ 1 STEP 1 - PREPARE CUSTOM REPORT AND CHECKLIST FROM TEMPLATE .......................... 1

276

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

Open Energy Info (EERE)

USE OF NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE CONDITIONS IN THE COSO EGS PROJECT Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Conference Proceedings: USE...

277

Rapid measurements and mapping of tracer gas concentrations in a large indoor space  

E-Print Network (OSTI)

Measurements of tracer gas dispersion are useful as a meansvisualization measurements of gas dispersion in large indoorcharacteristics of the gas dispersion. Figure 4 shows the

Fischer, M.L.

2008-01-01T23:59:59.000Z

278

Inert and Reacting Tracers for Reservoir Sizing in Fractured, Hot Dry Rock Systems  

SciTech Connect

Flow characterization and volumetric sizing techniques using tracers in fractured hot dry rock reservoirs are discussed. Statistical methods for analyzing the residence time distribution (RTD) are presented. Tracer modal volumes and RTD shape are correlated with reservoir performance parameters such as active heat transfer area and dispersion levels. Chemically reactive tracers are proposed for mapping advance rates of cooled regions in HDR reservoirs, providing early warning of thermal drawdown. Important reaction rate parameters are identified for screening potential tracers. Current laboratory research and field work is reviewed.

Tester, J.W.; Robinson, B.A.; Ferguson, J.H.

1986-01-21T23:59:59.000Z

279

Single well tracer method to evaluate enhanced recovery  

DOE Patents (OSTI)

Data useful to evaluate the effectiveness of or to design an enhanced recovery process (the recovery process involving mobilizing and moving hydrocarbons through a hydrocarbon-bearing subterranean formation from an injection well to a production well by injecting a mobilizing fluid into the injection well) are obtained by a process which comprises sequentially: determining hydrocarbon saturation in the formation in a volume in the formation near a well bore penetrating the formation, injecting sufficient of the mobilizing fluid to mobilize and move hydrocarbons from a volume in the formation near the well bore penetrating the formation, and determining by the single well tracer method a hydrocarbon saturation profile in a volume from which hydrocarbons are moved. The single well tracer method employed is disclosed by U.S. Pat. No. 3,623,842. The process is useful to evaluate surfactant floods, water floods, polymer floods, CO.sub.2 floods, caustic floods, micellar floods, and the like in the reservoir in much less time at greatly reduced costs, compared to conventional multi-well pilot test.

Sheely, Jr., Clyde Q. (Ponca City, OK); Baldwin, Jr., David E. (Ponca City, OK)

1978-01-01T23:59:59.000Z

280

Estimation of tracer diffusion coefficients of ions in aqueous solution  

DOE Green Energy (OSTI)

Equations are given for estimating tracer diffusion coefficients D/sub i//sup 0/ of ions at infinite dilution in terms of limiting ionic conductances ..lambda../sub i//sup 0/. Also given are generalized Nernst-Hartley equations for binary and multicomponent diffusion coefficients D/sup 0/ and D/sub ij//sup 0/, respectively, at infinite dilution. Data, estimates, and correlations for ..lambda../sub i//sup 0/ at 25/sup 0/C and other temperatures are discussed. Estimated values of ..lambda../sub i//sup 0/ are tabulated from 0-300/sup 0/C for ions of waste isolation interest and for ions of economic interest in geothermal brines. Estimates of their tracer diffusion coefficients at infinite dilution are tabulated. A rule of thumb, good to a factor of 2, is presented. Very limited data (available only at 25/sup 0/C) indicate that D/sub i//D/sub i//sup 0/ generally declines as the concentration of salt or supporting electrolyte increases. 6 figures, 2 tables.

Miller, D.G.

1982-09-07T23:59:59.000Z

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


281

V-073: IBM Tivoli Federated Identity Manager Signature Verification Flaw  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

3: IBM Tivoli Federated Identity Manager Signature Verification 3: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes V-073: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes January 21, 2013 - 12:15am Addthis PROBLEM: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes PLATFORM: Tivoli Federated Identity Manager versions 6.2.0, 6.2.1, 6.2.2 ABSTRACT: A vulnerability was reported in IBM Tivoli Federated Identity Manager. REFERENCE LINKS: IBM Security Bulletin: 1615744 SecurityTracker Alert ID: 1028011 CVE-2012-6359 IMPACT ASSESSMENT: Medium DISCUSSION: The system does not check that all attributes have been signed. A remote user with the ability to conduct a man-in-the-middle attack can modify

282

Measurement & Verification with Green Button Data | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Measurement & Verification with Green Button Data Measurement & Verification with Green Button Data Measurement & Verification with Green Button Data April 13, 2012 - 4:15pm Addthis Shankar Earni Program Manager at Lawrence Berkeley National Laboratory Measurement and verification (M&V) focuses on ensuring that the savings from energy efficiency projects are being realized with a certain degree of confidence. M&V involves understanding how energy savings arebeing realized from a project; designing a cost-effective assessment strategy that addresses how to ensure the savings can be measured; and implementing the designed strategy by gathering the key data followed by analysis and reporting of the actual savings. In some cases, data from the Green Button program can be used to assess the energy savings from new efficiency

283

Skill Scores and Correlation Coefficients in Model Verification  

Science Conference Proceedings (OSTI)

Attributes of the anomaly correlation coefficient, as a model verification measure, are investigated by exploiting a recently developed method of decomposing skill scores into other measures of performance. A mean square error skill score based ...

Allan H. Murphy; Edward S. Epstein

1989-03-01T23:59:59.000Z

284

Clock independent timing verification of level-sensitive latches  

Science Conference Proceedings (OSTI)

This paper presents a method to automatically handle level-sensitive latches in timing analysis/verification. Timing specifications, including delays and timing constraints, are automatically generated for the cells in the design. The generated timing ...

Robert Tjärnström

1991-02-01T23:59:59.000Z

285

A Simplification of a Real-Time Verification Problem  

E-Print Network (OSTI)

We revisit the problem of real-time verification with dense dynamics using timeout and calendar based models and simplify this to a finite state verification problem. To overcome the complexity of verification of real-time systems with dense dynamics, Dutertre and Sorea, proposed timeout and calender based transition systems to model the behavior of real-time systems and verified safety properties using k-induction in association with bounded model checking. In this work, we introduce a specification formalism for these models in terms of Timeout Transition Diagrams and capture their behavior in terms of semantics of Timed Transition Systems. Further, we discuss a technique, which reduces the problem of verification of qualitative temporal properties on infinite state space of (a large fragment of) these timeout and calender based transition systems into that on clockless finite state models through a two-step process comprising of digitization and canonical finitary reduction. This technique enables us to ve...

Saha, Indranil; Roy, Suman; 10.1007/978-3-540-75596-8_21

2010-01-01T23:59:59.000Z

286

A lightweight specification language for bounded program verification  

E-Print Network (OSTI)

This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool ...

Yessenov, Kuat T

2009-01-01T23:59:59.000Z

287

Distributions-Oriented Verification of Ensemble Streamflow Predictions  

Science Conference Proceedings (OSTI)

Ensemble streamflow prediction systems produce forecasts in the form of a conditional probability distribution for a continuous forecast variable. A distributions-oriented approach is presented for verification of these probability distribution ...

A. Allen Bradley; Stuart S. Schwartz; Tempei Hashino

2004-06-01T23:59:59.000Z

288

Neighborhood Verification: A Strategy for Rewarding Close Forecasts  

Science Conference Proceedings (OSTI)

High-resolution forecasts may be quite useful even when they do not match the observations exactly. Neighborhood verification is a strategy for evaluating the “closeness” of the forecast to the observations within space–time neighborhoods rather ...

Elizabeth E. Ebert

2009-12-01T23:59:59.000Z

289

Scenario based performance optimisation in face verification using smart cards  

Science Conference Proceedings (OSTI)

We discuss the effect of an optimisation strategy to be applied to image data in a smart card based face verification system. Accordingly, we propose a system architecture considering the trade-off between performance versus the improvement of memory ...

Thirimachos Bourlai; Kieron Messer; Josef Kittler

2005-07-01T23:59:59.000Z

290

Verification of the Origins of Rotation in Tornadoes Experiment: VORTEX  

Science Conference Proceedings (OSTI)

This paper describes the Verification of the Origins of Rotation in Tornadoes Experiment planned for 1994 and 1995 to evaluate a set of hypotheses pertaining to tornadogenesis and tornado dynamics. Observations of state variables will be obtained ...

Erik N. Rasmussen; Jerry M. Straka; Robert Davies-Jones; Charles A. Doswell III; Frederick H. Carr; Michael D. Eilts; Donald R. MacGorman

1994-06-01T23:59:59.000Z

291

Explicitly Accounting for Observation Error in Categorical Verification of Forecasts  

Science Conference Proceedings (OSTI)

Given an accurate representation of errors in observations it is possible to remove the effect of those errors from categorical verification scores. The errors in the observations are treated as additive white noise that is statistically ...

Neill E. Bowler

2006-06-01T23:59:59.000Z

292

Event Order Abstraction for Parametric Real-Time System Verification  

E-Print Network (OSTI)

We present a new abstraction technique, event order abstraction (EOA), for parametric safety verification of real-time systems in which ``correct orderings of events'' needed for system correctness are maintained by timing ...

Umeno, Shinya

2008-07-28T23:59:59.000Z

293

Induction-based gate-level verification of multipliers  

Science Conference Proceedings (OSTI)

We propose a method based on unrolling the inductive definition of binary number multiplication to verify gate-level implementations of multipliers. The induction steps successively reduce the size of the multiplier under verification. Through induction, ...

Ying Tsai Chang; Kwang Ting Tim Cheng

2001-11-01T23:59:59.000Z

294

A Generic Forecast Verification Framework for Administrative Purposes  

Science Conference Proceedings (OSTI)

There are numerous reasons for calculating forecast verification scores, and considerable attention has been given to designing and analyzing the properties of scores that can be used for scientific purposes. Much less attention has been given to ...

Simon J. Mason; Andreas P. Weigel

2009-01-01T23:59:59.000Z

295

Speaker verification in noisy environment using missing feature approach  

Science Conference Proceedings (OSTI)

In order to handle speech signals corrupted by noise in speaker verification and provide robustness to systems, this paper evaluates the use of missing feature (MF) approach with a novel combination of techniques. A mask estimation based on spectral ...

Dayana Ribas; Jesús A. Villalba; Eduardo Lleida; José R. Calvo

2010-11-01T23:59:59.000Z

296

Spent Nuclear Fuel (SNF) Project Design Verification and Validation Process  

SciTech Connect

This document provides a description of design verification and validation activities implemented by the Spent Nuclear Fuel (SNF) Project. During the execution of early design verification, a management assessment (Bergman, 1999) and external assessments on configuration management (Augustenburg, 1999) and testing (Loscoe, 2000) were conducted and identified potential uncertainties in the verification process. This led the SNF Chief Engineer to implement corrective actions to improve process and design products. This included Design Verification Reports (DVRs) for each subproject, validation assessments for testing, and verification of the safety function of systems and components identified in the Safety Equipment List to ensure that the design outputs were compliant with the SNF Technical Requirements. Although some activities are still in progress, the results of the DVR and associated validation assessments indicate that Project requirements for design verification are being effectively implemented. These results have been documented in subproject-specific technical documents (Table 2). Identified punch-list items are being dispositioned by the Project. As these remaining items are closed, the technical reports (Table 2) will be revised and reissued to document the results of this work.

OLGUIN, L.J.

2000-09-25T23:59:59.000Z

297

Integrated safety management system verification: Volume 1  

SciTech Connect

Department of Energy (DOE) Policy (P) 450.4, Safety Management System Policy, commits to institutionalizing an Integrated Safety Management System (ISMS) throughout the DOE complex. The DOE Acquisition Regulations (DEAR 48 CFR 970) requires contractors to manage and perform work in accordance with a documented Integrated Safety Management System. The Manager, Richland Operations Office (RL), initiated a combined Phase 1 and Phase 2 Integrated Safety Management Verification review to confirm that PNNL had successfully submitted a description of their ISMS and had implemented ISMS within the laboratory facilities and processes. A combined review was directed by the Manager, RL, based upon the progress PNNL had made in the implementation of ISM. This report documents the results of the review conducted to verify: (1) that the PNNL integrated safety management system description and enabling documents and processes conform to the guidance provided by the Manager, RL; (2) that corporate policy is implemented by line managers; (3) that PNNL has provided tailored direction to the facility management; and (4) the Manager, RL, has documented processes that integrate their safety activities and oversight with those of PNNL. The general conduct of the review was consistent with the direction provided by the Under Secretary`s Draft Safety Management System Review and Approval Protocol. The purpose of this review was to provide the Manager, RL, with a recommendation to the adequacy of the ISMS description of the Pacific Northwest Laboratory based upon compliance with the requirements of 49 CFR 970.5204(-2 and -78); and, to provide an evaluation of the extent and maturity of ISMS implementation within the Laboratory. Further, this review was intended to provide a model for other DOE Laboratories. In an effort to reduce the time and travel costs associated with ISM verification the team agreed to conduct preliminary training and orientation electronically and by phone. These activities are normally conducted during a pre-visit trip to the site. The Team recommends approval of the Integrated Safety Management System Description subject to the resolution of the Areas of Concerns noted here.

Christensen, R.F.

1998-08-12T23:59:59.000Z

298

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

Open Energy Info (EERE)

potential of the island, is described. The aeromagnetic map represents a basic data set useful for the interpretation of subsurface geology. An in situ magnetic...

299

Nuclear Safety Technical Positions/Interpretations  

NLE Websites -- All DOE Office Websites (Extended Search)

(OPI) responsible for the development, interpretation, and revision of a number of DOE directives. Technical Positions to directives issued by Nuclear and Facility Safety...

300

Working with Interpreters | National Nuclear Security Administration  

National Nuclear Security Administration (NNSA)

with Interpreters Home > About Us > Our Programs > Defense Programs > Future Science & Technology Programs > Office of Advanced Simulation and Computing Institutional Research...

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


301

High-power I-V curve tracer employing a capacitive load  

SciTech Connect

A portable, photovoltaic voltage versus current curve tracer is discussed. The curve tracer employs a capacitive load to provide automatic sweeping of the array voltage. The unit is capable of measuring arrays up to 10 kW, but is similar and lighter than a conventional 2.5-kW dissipative load.

Warner, T.H.; Cox, C.H. III

1981-01-01T23:59:59.000Z

302

Saline tracer visualized with three-dimensional electrical resistivity tomography: Field-scale spatial moment analysis  

E-Print Network (OSTI)

) was used to monitor the migration of a saline tracer in a two-well pumping-injection experiment conducted of the bulk media changes as the tracer migrates from the pumping to the injection well. The local Figure 2 as in (c) a photograph of the site (not aligned to schematics). ERT wells are labeled A-D. Injection

Singha, Kamini

303

High-performance high-resolution semi-Lagrangian tracer transport on a sphere  

Science Conference Proceedings (OSTI)

Current climate models have a limited ability to increase spatial resolution because numerical stability requires the time step to decrease. We describe a semi-Lagrangian method for tracer transport that is stable for arbitrary Courant numbers, and we ... Keywords: Cubed sphere, High resolution, High-performance computing, Semi-Lagrangian, Spherical geometry, Tracer transport

J. B. White, III; J. J. Dongarra

2011-07-01T23:59:59.000Z

304

Baroclinic Flow and Transient-Tracer Fields in the Canary–Cape Verde Basin  

Science Conference Proceedings (OSTI)

Simulated transient-tracer distributions (tritium, 3H3, freons) on the isopycnal horizons ?0=26.5 and 26.8 kg m?3 are presented for the East Atlantic, 10° ?40°N. Tracer transport is modeled by employing a baroclinic flow field based on empirical ...

Gerhard Thiele; Wolfgang Roether; Peter Schlosser; Reinhard Kuntz; Gerold Siedler; Lothar Stramma

1986-05-01T23:59:59.000Z

305

Feasibility of perfluorocarbon tracers (PFTs) in atmospheric source-receptor experiments  

SciTech Connect

A brief description of the perfluorocarbon tracer (PFT) system, which includes the tracers and the release equipment, the air samplers and the analyzers, is presented along with details on the research needs to provide a viable system for MATEX-scenario experiments. The present family of 2 viable PFTs needs to be increased to 5 to 6. Given the present precision of the analysis system, a one year long tracer experiment consisting of 4 hour releases every 60 hours from 5 different sites would require nearly 150 metric tons of PFTs at a cost of $15,000,000. Shortcomings in the programmable sampler include the pump, the sampling sequence control flexibility, data storage and retrieval, and the lack of remote communication capability; sampler adsorbent studies are also needed. The analytical system, including the catalyst processing bed, the chromatography column resolution, and the linearity of the detector, is in need of significant improvement. A higher resolution analysis system could significantly reduce analysis time but, more importantly, reduce tracer requirements more than 10-fold, for a cost savings potential of more than $13,000,000. A model is presented to demonstrate the feasibility of tracer material balances. Assessment of earlier long-range tracer experiments indicates the need for possibly 400 ground sampling sites requiring $8 to $14 million worth of samplers for a one-year tracer experiment. As many as six aircraft would be needed to conduct airborne model validation and material balance studies for each tracer plume.

Dietz, R.N.; Senum, G.I.

1984-03-01T23:59:59.000Z

306

The Advection of High-Resolution Tracers by Low-Resolution Winds  

Science Conference Proceedings (OSTI)

The usefulness of any simulation of atmospheric tracers using low-resolution winds relies on both the dominance of large spatial scales in the strain and time dependence that results in a cascade in tracer scales. Here, a quantitative study on ...

John Methven; Brian Hoskins

1999-09-01T23:59:59.000Z

307

Highly enriched multiply-labeled stable isotopic compounds as atmospheric tracers  

DOE Patents (OSTI)

Compounds multiply-labeled with stable isotopes and highly enriched in these isotopes are readily capable of detection in tracer experiments involving high dilutions. Thus, for example, /sup 13/C/sup 18/O/sub 2/ provides a useful tracer for following atmospheric pol lution produced as a result of fossil fuel burning. (Official Gazette)

Goldblatt, M.; McInteer, B.B.

1974-01-29T23:59:59.000Z

308

Rates and Mechanisms of Water Mass Transformation in the Labrador Sea as Inferred from Tracer Observations  

Science Conference Proceedings (OSTI)

Time series of hydrographic and transient tracer (3H and 3He) observations from the central Labrador Sea collected between 1991 and 1996 are presented to document the complex changes in the tracer fields as a result of variations in convective ...

Samar Khatiwala; Peter Schlosser; Martin Visbeck

2002-02-01T23:59:59.000Z

309

Battery Technology Life Verification Testing and Analysis  

DOE Green Energy (OSTI)

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

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

2007-12-01T23:59:59.000Z

310

Integrated safety management system verification: Volume 2  

Science Conference Proceedings (OSTI)

Department of Energy (DOE) Policy (P) 450.4, Safety Management System Policy, commits to institutionalization of an Integrated Safety Management System (ISMS) throughout the DOE complex. The DOE Acquisition Regulations (DEAR, 48 CFR 970) requires contractors to manage and perform work in accordance with a documented Integrated Safety Management System (ISMS). Guidance and expectations have been provided to PNNL by incorporation into the operating contract (Contract DE-ACM-76FL0 1830) and by letter. The contract requires that the contractor submit a description of their ISMS for approval by DOE. PNNL submitted their proposed Safety Management System Description for approval on November 25,1997. RL tentatively approved acceptance of the description pursuant to a favorable recommendation from this review. The Integrated Safety Management System Verification is a review of the adequacy of the ISMS description in fulfilling the requirements of the DEAR and the DOE Policy. The purpose of this review is to provide the Richland Operations Office Manager with a recommendation for approval of the ISMS description of the Pacific Northwest Laboratory based upon compliance with the requirements of 49 CFR 970.5204(-2 and -78); and to verify the extent and maturity of ISMS implementation within the Laboratory. Further the review will provide a model for other DOE laboratories managed by the Office of Assistant Secretary for Energy Research.

Christensen, R.F.

1998-08-10T23:59:59.000Z

311

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

Open Energy Info (EERE)

Coso Geothermal Area (2004) Coso Geothermal Area (2004) Exploration Activity Details Location Coso Geothermal Area Exploration Technique Tracer Testing Activity Date 2004 Usefulness not indicated DOE-funding Unknown Exploration Basis To determine the EGS potential of the Coso Geothermal Field Notes A dramatic decrease in the ratio of chloride to boron was observed in the liquid discharge of a well proposed for EGS development. The decrease appears to be related to the transformation of some feed zones in the well from liquid-dominated to vapor-dominated. High concentrations of boron are transported to the wellbore in the steam, where it fractionates to the liquid phase flowing in from liquid-dominated feed zones. The high-boron steam is created when the reservoir liquid in some of the feed zones boils

312

Tracer Testing at Dixie Valley, Nevada, Using 2-Naphthalene Sulfonate and  

Open Energy Info (EERE)

Tracer Testing at Dixie Valley, Nevada, Using 2-Naphthalene Sulfonate and Tracer Testing at Dixie Valley, Nevada, Using 2-Naphthalene Sulfonate and 2,7-Naphthalene Disulfonate Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Paper: Tracer Testing at Dixie Valley, Nevada, Using 2-Naphthalene Sulfonate and 2,7-Naphthalene Disulfonate Abstract The decay kinetics of the candidate tracers 2-naphthalene sulfonate and 2,7-naphthalenedisulfonate was studied under laboratory conditionsthat simulate a hydrothermal environment, withneither compound exhibiting any decay after oneweek at 330�C. These data indicate that thesecompounds are more thermally stable than any of thepreviously studied polyaromatic sulfonates. Both ofthe tracer candidates were successfully tested in afield study at the Dixie Valley, Nevada, geothermalreservoir. In addition to

313

Using Biofuel Tracers to Study Alternative Combustion Regimes  

SciTech Connect

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.

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

2006-02-14T23:59:59.000Z

314

Probability in modal interpretations of quantum mechanics  

E-Print Network (OSTI)

Probability in modal interpretations of quantum mechanics Dennis Dieks Institute for the History interpretations have the ambition to construe quantum mechanics as an ob- jective, man-independent description of physical reality. Their second leading idea is probabilism: quantum mechanics does not completely fix

Seevinck, Michiel

315

Interpretation of drill cuttings from geothermal wells  

DOE Green Energy (OSTI)

Problems in interpreting drill cuttings, as opposed to drill cores, and methods to solve these problems are outlined. The following are covered: identification of lithology; recognition of faults and fractures; interpretation of hydrothermal alteration; geochemistry; sample collection; sample preparple examination; and sample storage. (MHR)

Hulen, J.B.; Sibbett, B.S.

1981-06-01T23:59:59.000Z

316

Improving abstract interpretations by combining domains  

Science Conference Proceedings (OSTI)

This article considers static analysis based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains provide more information potentially than obtained by the independent analyses. However, ... Keywords: abstract interpretation, logic programming, program analysis

Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria García de la Banda; Manuel Hermenegildo

1995-01-01T23:59:59.000Z

317

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

SciTech Connect

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

P.C. Weaver

2008-06-12T23:59:59.000Z

318

Field verification program for small wind turbines  

DOE Green Energy (OSTI)

In 1999 Windward Engineering (Windward) was awarded a Cooperative Agreement under the Field Verification Program with the Department of Energy (DOE) to install two Whisper H40 wind turbines, one at the NREL National Wind Technology Center (NWTC) and one at a test site near Spanish Fork, Utah. After installation, the turbine at the NWTC was to be operated, maintained, and monitored by NREL while the turbine in Spanish Fork was to be administered by Windward. Under this award DOE and Windward defined the primary objectives of the project as follows: (1) Determine and demonstrate the reliability and energy production of a furling wind turbine at a site where furling will be a very frequent event and extreme gusts can be expected during the duration of the tests. (2) Make engineering measurements and conduct limited computer modeling of the furling behavior to improve the industry understanding of the mechanics and nature of furling. We believe the project has achieved these objectives. The turbine has operated for approximately three and a half years. We have collected detailed engineering data approximately 75 percent of that time. Some of these data were used in an ADAMS model validation that highlighted the accuracies and inaccuracies of the computer modeling for a passively furling wind turbine. We also presented three papers at the American Wind Energy Association (AWEA) Windpower conferences in 2001, 2002, and 2003. These papers addressed the following three topics: (a) general overview of the project [1], (b) furling operation during extreme wind events [2], and (c) extrapolation of extreme (design) loads [3]. We believe these papers have given new insight into the mechanics and nature of furling and have set the stage for future research. In this final report we will highlight some of the more interesting aspects of the project as well as summarize the data for the entire project. We will also present information on the installation of the turbines as well as the findings from the post-test inspection of the turbine.

Windward Engineering, LLC

2003-11-30T23:59:59.000Z

319

Commissioning/ verification : Daylighting The New York Times Building  

NLE Websites -- All DOE Office Websites (Extended Search)

Commissioning/ verification Commissioning/ verification Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and Shade Controls Lighting Controls Visualizing daylight Commissioning/ verification Demand response Mainstream solutions Post-occupancy evaluation Publications Sponsors Project team Commissioning/ verification The construction cycle of the building life cycle is the time when the design intent is translated into a physical reality. Given novel integrated systems with which contractors (vendors, installers, commissioning (Cx) agents, etc.) do not have much experience, there is a risk that carefully laid plans will go amiss. To insure that the automated shading and daylighting control systems were installed and operating as intended, the manufacturers, LBNL, and the Times Company developed procedures to commission and verify system performance. With verification data resulting from these procedures, the Times Company possessed the unique capability to measure and compare performance to design intent then discuss and tune system performance with the manufacturer prior to closure of the work scope and occupancy of the building.

320

Effect of room air recirculation delay on the decay rate of tracer gas  

NLE Websites -- All DOE Office Websites (Extended Search)

Effect of room air recirculation delay on the decay rate of tracer gas Effect of room air recirculation delay on the decay rate of tracer gas concentration Title Effect of room air recirculation delay on the decay rate of tracer gas concentration Publication Type Journal Article Year of Publication 2007 Authors Lorenzetti, David M., Astrid H. Kristoffersen, and Ashok J. Gadgil Journal Indoor Air Pagination 7 Keywords recirculating ventilation, tracer decay rate Abstract Tracer gas measurements are used to estimate the flow rate of fresh air into a room or building. These methods commonly account for the decay of tracer gas concentration as the result of ventilation air supply and infiltration, using a well-mixed model of the space. Some researchers also have considered the effect of leakage in the ventilation ductwork. This paper considers the effect of recirculation through ventilation ducts on the calculated fresh air supply rate. Transport delay in the ducts can significantly alter the time evolution of tracer concentration, and hence alter the estimated air change rate.

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


321

Effect of room air recirculation delay on the decay rate of tracer gas  

NLE Websites -- All DOE Office Websites (Extended Search)

Effect of room air recirculation delay on the decay rate of tracer gas Effect of room air recirculation delay on the decay rate of tracer gas Title Effect of room air recirculation delay on the decay rate of tracer gas Publication Type Conference Proceedings Year of Publication 2004 Authors Kristoffersen, Astrid H., Ashok J. Gadgil, and David M. Lorenzetti Conference Name 9th International Conference on Air Distribution in Rooms - RoomVent 2004, Pagination pp 6 Date Published September 5-8, 2 Conference Location Coimbra, Portugal Abstract Tracer gas measurements are commonly used to estimate the fresh air exchange rate in a room or building. Published tracer decay methods account for fresh air supply, infiltration, and leaks in ductwork. However, the time delay associated with a ventilation system recirculating tracer back to the room also affects the decay rate. We present an analytical study of tracer gas decay in a well-mixed, mechanically-ventilated room with recirculation. The analysis shows that failing to account for delays can lead to under- or over-estimates of the fresh air supply, depending on whether the decay rate calculation includes the duct volume

322

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

SciTech Connect

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.

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

2005-10-01T23:59:59.000Z

323

Greatly Enhanced Detectability of Geothermal Tracers Through Laser-Induced Fluorescence  

DOE Green Energy (OSTI)

WE have successfully completed a four-year R and D project to greatly reduce the detection limit of fluorescent tracers through the use of emerging laser-excitation, optical fiber, and CCD-spectroscopy technologies. Whereas the efforts over the first two years were directed at demonstrating a reduction in the detection limit of fluorescent compounds by a factor of 100 and at identifying several new fluorescein-derived tracer candidates, our recent efforts were focused primarily on the field demonstration of new tracers having detection limits in the low parts-per-quadrillion range. During the summer of 2001, we initiated field tests at the Dixie Valley, Nevada and at the Beowawe, Nevada geothermal fields using very small quantities of the fluorescein-derivative 6-carboxyfluorescein. Subsequently, we succeeded in measuring sub-part-per-trillion quantities of that candidate tracer at both the Beowawe and Dixie Valley geothermal reservoirs-using approximately 530 g of tracer at each setting. Our studies indicate that we could have observed a breakthrough using only 0.53 g of 6-carboxyfluorescein. This represents a reduction by a factor of 170,000 below the mass of tracer used in a previous tracer test at Beowawe.

Peter Rose; Joel Harris; Phaedra Kilbourn; James Kleimeyer; Troy Carter

2002-10-30T23:59:59.000Z

324

Predictive value of tracer studies for /sup 131/I treatment in hyperthyroid cats  

SciTech Connect

In 76 cats with hyperthyroidism, peak thyroidal radioiodine (/sup 131/I) uptakes and effective half-lives were determined after administration of tracer and therapeutic activities of /sup 131/I. In 6 additional hyperthyroid cats, only peak thyroidal uptakes after administration of tracer and therapeutic activities of /sup 131/I were determined. Good correlation was found between peak thyroidal uptakes of tracer and therapeutic /sup 131/I; however, only fair correlation was observed between effective half-lives. In 79% of the cats, the effective half-life for therapeutic /sup 131/I was longer than that for tracer /sup 131/I. After administration of therapeutic activity of /sup 131/I, monoexponential and biphasic decay curves were observed in 51 and 16 cats, respectively. Using therapeutic kinetic data, radiation doses to the thyroid gland were calculated retrospectively on the basis of 2 methods for determining the activity of /sup 131/I administered: (1) actual administration of tracer-compensated activity and (2) hypothetic administration of uniform activity (3 mCi). Because of the good predictive ability of tracer kinetic data for the therapeutic kinetic data, the tracer-compensated radiation doses came significantly (P = 0.008) closer to the therapeutic goal than did the uniform-activity doses. In addition, the use of tracer kinetic information reduced the extent of the tendency for consistently high uniform-activity doses. A manual method for acquiring tracer kinetic data was developed and was an acceptable alternative to computerized techniques. Adoption of this method gives individuals and institutions with limited finances the opportunity to characterize the iodine kinetics in cats before proceeding with administration of therapeutic activities of /sup 131/I.

Broome, M.R.; Turrel, J.M.; Hays, M.T.

1988-02-01T23:59:59.000Z

325

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

Science Conference Proceedings (OSTI)

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.

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

326

Working with Interpreters | National Nuclear Security Administration  

National Nuclear Security Administration (NNSA)

Working with Interpreters | National Nuclear Security Administration Working with Interpreters | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our Infrastructure Continuing Management Reform Countering Nuclear Terrorism About Us Our Programs Our History Who We Are Our Leadership Our Locations Budget Our Operations Media Room Congressional Testimony Fact Sheets Newsletters Press Releases Speeches Events Social Media Video Gallery Photo Gallery NNSA Archive Federal Employment Apply for Our Jobs Our Jobs Working at NNSA Blog The National Nuclear Security Administration Working with Interpreters Home > About Us > Our Programs > Defense Programs > Future Science & Technology Programs > Office of Advanced Simulation and Computing and

327

Novel Application of Single-Well Tracer Tests to Evaluate Hydraulic Stimulation Effectiveness  

SciTech Connect

This paper presents a graphical method by which one can identify the number of fractures and their permeability distribution in the near-well region from single-well tracer tests. The method is an extension of tracer analysis methods developed previously to estimate flow geometry and relies on caluclating the relative fluid velocity from F-__ plots. A number of numerical examples show that high flow zones (fractures) are readily identified from the derivatives of an F-___ curve. The method can be used in evaluating well stimulation efforts by conducting a tracer test before and after the stimulation and comparing the velocity distributions.

G. M. Shook; Gopi Nalla

2005-09-01T23:59:59.000Z

328

The NPE gas tracer test and the development of on-site inspection techniques  

SciTech Connect

Tracer gases emplaced in or near the detonation cavity of the 1-kiloton NonProliferation Event required 1.5 and 13.5 months for sulfur hexaflouride and helium-3, respectively, to reach the surface of Rainier Mesa from an emplacement depth of 400 meters. The sites that first produced tracer gases are those located in known faults and fractures. Numerical modeling suggests that transport to the surface is accomplished within this time frame through atmospheric pumping along high permeability pathways such as fractures. The difference in travel time between the two tracers is due to differences in gas diffusivity and can also be explained by our numerical modeling.

Carrigan, C.; Heinle, R.; Zucca, J.J.

1995-04-13T23:59:59.000Z

329

CRAD, Verification and Validation of Facilities Procedures Assessment Plan  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Verification and Validation of Facilities Procedures Verification and Validation of Facilities Procedures Assessment Plan CRAD, Verification and Validation of Facilities Procedures Assessment Plan Performance Objective: The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that the facility is operated within its design bases. Criteria: Operations procedures should be written to provide specific direction for operating systems and equipment during normal and postulated abnormal and emergency conditions. (DOE O 5480.19 A) Operations procedures should provide appropriate direction to ensure that the facility is operated within its design bases and should be effectively used to support safe operations of the facility. (DOE O

330

Energy Efficiency Measurement & Verification in South Africa  

NLE Websites -- All DOE Office Websites (Extended Search)

Energy Efficiency Measurement & Verification in South Africa Energy Efficiency Measurement & Verification in South Africa Speaker(s): Xiaohua Xia Date: December 17, 2012 - 12:00pm Location: 90-3122 Seminar Host/Point of Contact: Stephane de la Rue du Can Measurement and verification (M&V) is the process of using measurements to reliably determine actual saving created within an individual facility by an energy management program. This talk will describe the basics of M&V, and introduce how M&V is conducted in the Republic of South Africa. Topics covered include the history of M&V in South Africa, the business structure, and the Eskom-led M&V protocols and guidelines of M&V. The talk will also present how the M&V profession is governed and regulated by the national professional body, the national standard (the first in the world), and a

331

Sandia National Laboratories: Advanced Simulation Computing: Verification &  

NLE Websites -- All DOE Office Websites (Extended Search)

Verification & Validation Verification & Validation high-fidelity simulations The Verification and Validation (V&V) program conducts two major activities at Sandia. The first is to perform assessments and studies that quantify confidence in Advanced Simulation and Computing (ASC) calculation results. The second activity develops and improves V&V and uncertainty quantification methods, metrics, and standards. Assessments This project area conducts studies and assessments for Sandia's engineering simulation focus areas (outlined below). These assessments quantify the prediction uncertainty of the engineering codes as they apply to applications in the four focus areas. Safety and Security This area focuses on engineering codes as they apply to nuclear weapon. External load prediction capability includes mechanical (impact, pressure,)

332

Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Nonaqueous-Phase Liquid Characterization and Post-Remediation Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Proceedings of the Fourth International Conference on Remediation of Chlorinated and Recalcitrant Compounds. May 2004, Monterey, California. Charles Tabor, Randall Juhlin, Paul Darr, Julian Caballero, Joseph Daniel, David Ingle Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling More Documents & Publications Steam and ET-DSP Combined for DNAPL Remediation: Full-Scale Site Restoration at Young - Rainey STAR Center Project Overview: Successful Field-Scale In Situ Thermal NAPL Remediation Successful Field-Scale In Situ Thermal NAPL Remediation at the Young - Rainey STAR Center

333

Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Nonaqueous-Phase Liquid Characterization and Post-Remediation Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Proceedings of the Fourth International Conference on Remediation of Chlorinated and Recalcitrant Compounds. May 2004, Monterey, California. Charles Tabor, Randall Juhlin, Paul Darr, Julian Caballero, Joseph Daniel, David Ingle Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling More Documents & Publications Project Overview: Successful Field-Scale In Situ Thermal NAPL Remediation Successful Field-Scale In Situ Thermal NAPL Remediation at the Young - Rainey STAR Center Steam and ET-DSP Combined for DNAPL Remediation: Full-Scale Site Restoration at Young - Rainey STAR Center

334

Verification and validation of RADMODL Version 1.0  

Science Conference Proceedings (OSTI)

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

Kimball, K.D.

1993-03-01T23:59:59.000Z

335

Bibliography for Verification and Validation in Computational Simulations  

Science Conference Proceedings (OSTI)

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

Oberkampf, W.L.

1998-10-01T23:59:59.000Z

336

Converter performance TFE Verification Program. Final test report  

DOE Green Energy (OSTI)

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

Not Available

1994-03-01T23:59:59.000Z

337

Event:Technical Workshop: Measurement, Reporting and Verification (MRV):  

Open Energy Info (EERE)

Workshop: Measurement, Reporting and Verification (MRV): Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation Jump to: navigation, search Calendar.png Technical Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation: on 2012/06/26 "The workshop will deal with MRV issues relevant to negotiators and practitioners from Partnership member countries and aims at contributing to an in-depth understanding of key aspects critical to the implementation of MRV-systems in developing countries. The workshop will focus on the "how" of implementing MRV-systems in a pragmatic, sustainable and cost-efficient way while taking advantage of existing structures and experiences. Thus the event wants to move beyond the political discussions

338

A C-based RTL design verification methodology for complex microprocessor  

Science Conference Proceedings (OSTI)

As the complexity of high-performance microprocessor increases,functional verification becomes more and more difficultand RTL simulation emerges as the bottleneck of thedesign cycle.In this paper, we suggest C language-based designand verification methodology ...

Joon-Seo Yim; Yoon-Ho Hwang; Chang-Jae Park; Hoon Choi; Woo-Seung Yang; Hun-Seung Oh; In-Cheol Park; Chong-Min Kyung

1997-06-01T23:59:59.000Z

339

Hi-Lite: the convergence of compiler technology and program verification  

Science Conference Proceedings (OSTI)

Formal program verification tools check that a program correctly implements its specification. Existing specification languages for well-known programming languages (Ada, C, Java, C#) have been developed independently from the programming language to ... Keywords: compiler technology, formal verification, testing

Johannes Kanig; Edmond Schonberg; Claire Dross

2012-12-01T23:59:59.000Z

340

Theorem Proving: Not an Esoteric Diversion, but the Unifying Framework for Industrial Verification  

E-Print Network (OSTI)

The effectiveness of hardware verification techniques has increased markedly in the past decade. As hardware verification techniques become increasingly powerful the idea of transitioning verification technology to industry can be taken seriously. Nevertheless, powerful decision procedures that can completely automate the verification of certain types of hardware, whether they are BDD based model-checkers [10] or automatic microprocessor verification tools [4], cannot be adequate on their own for industrial hardware verification. However, a high-level, general-purpose theorem prover with specific capabilities can provide an overall framework in which these tools can be embedded and in which they can then be effectively used for industrial hardware verification. 1 Introduction The effectiveness of hardware verification techniques has increased markedly in the past decade. These techniques span a spectrum from automatic techniques to interactive theorem proving techniques. At one end o...

D. A. Cyrluk; M. K. Srivas

1995-01-01T23:59:59.000Z

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


341

Subjective Verification of Numerical Models as a Component of a Broader Interaction between Research and Operations  

Science Conference Proceedings (OSTI)

Systematic subjective verification of precipitation forecasts from two numerical models is presented and discussed. The subjective verification effort was carried out as part of the 2001 Spring Program, a seven-week collaborative experiment ...

John S. Kain; Michael E. Baldwin; Paul R. Janish; Steven J. Weiss; Michael P. Kay; Gregory W. Carbin

2003-10-01T23:59:59.000Z

342

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification  

E-Print Network (OSTI)

This report describes experimental results for a set of benchmarks on program verification. It compares the capabilities of CPBVP "Constraint Programming framework for Bounded Program Verification" [4] with the following frameworks: ESC/Java, CBMC, Blast, EUREKA and Why.

Collavizza, Hélène; Van Hentenryck, Pascal

2008-01-01T23:59:59.000Z

343

A Comparison of Measures-Oriented and Distributions-Oriented Approaches to Forecast Verification  

Science Conference Proceedings (OSTI)

The authors have carried out verification of 590 12–24-h high-temperature forecasts from numerical guidance products and human forecasters for Oklahoma City, Oklahoma, using both a measures-oriented verification scheme and a distributions-...

Harold E. Brooks; Charles A. Doswell III

1996-09-01T23:59:59.000Z

344

Runtime verification of service-oriented systems: a well-rounded survey  

Science Conference Proceedings (OSTI)

Dynamic nature of Service-Oriented Systems SOSs has made conventional verification techniques such as testing, model checking and theorem proving ineffective. As a result, many studies have been dedicated to verification of SOS. In this survey, we first ...

Reza Babaee; Seyed Morteza Babamir

2013-08-01T23:59:59.000Z

345

MACCS2 development and verification efforts  

SciTech Connect

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

Young, M.; Chanin, D.

1997-03-01T23:59:59.000Z

346

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

DOE Green Energy (OSTI)

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

E.M. Harpenau

2010-11-15T23:59:59.000Z

347

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

SciTech Connect

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

E.N. Bailey

2010-05-26T23:59:59.000Z

348

Field Verification of Distributed Renewable Generation, Volume 1: Renewable Energy Field Test Concepts  

Science Conference Proceedings (OSTI)

This report describes field verification of distributed renewable generation and focuses on renewable energy field test concepts.

2003-03-25T23:59:59.000Z

349

Climate Change in California: Trends, Interpretation, Simulations...  

NLE Websites -- All DOE Office Websites (Extended Search)

in California: Trends, Interpretation, Simulations and Impacts Speaker(s): Philip B. Duffy Date: May 19, 2006 - 12:00pm Location: Bldg. 90 This talk will discuss some of my recent...

350

General Counsel Legal Interpretation Regarding Medical Removal...  

NLE Websites -- All DOE Office Websites (Extended Search)

Word - Part 850 Interpretation to be posted on GC Website with date 8 16 2012 More Documents & Publications Audit Report: IG-0783 Audit Report: IG-0737 Audit Report: IG-0726...

351

Improving abstract interpretations by combining domains  

Science Conference Proceedings (OSTI)

In this paper we consider static analyses based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains potentially provide more information than obtainable by performing the independent abstract ...

M. Codish; A. Mulkers; M. Bruynooghe; M. García de la Banda; M. Hermenegildo

1993-08-01T23:59:59.000Z

352

Structure and Interpretation of Computer Programs  

E-Print Network (OSTI)

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

Abelson, Harold

1983-07-01T23:59:59.000Z

353

Formal hardware specification languages for protocol compliance verification  

Science Conference Proceedings (OSTI)

The advent of the system-on-chip and intellectual property hardware design paradigms makes protocol compliance verification increasingly important to the success of a project. One of the central tools in any verification project is the modeling language, ... Keywords: Esterel, Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Java, Lava, Live Sequence Charts, Message Sequence Charts, Objective VHDL, OpenVera, Property Specification Language, SpecC, Specification and Description Language, Statecharts, SystemC, SystemVerilog, The Unified Modeling Language, e, hardware monitors, timing diagrams

Annette Bunker; Ganesh Gopalakrishnan; Sally A. Mckee

2004-01-01T23:59:59.000Z

354

GASEOUS CO ABUNDANCE-AN EVOLUTIONARY TRACER FOR MOLECULAR CLOUDS  

SciTech Connect

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.

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

355

Certification and verification for Northrup Model NSC-01-0732 Fresnel lens concentrating solar collector  

DOE Green Energy (OSTI)

The certification and verification of the Northrup Model NSC-01-0732 Fresnel lens tracking solar collector are presented. A certification statement is included with signatures and a separate report on the structural analysis of the collector system. System verification against the Interim Performance Criteria are indicated by matrices with verification discussion, analysis, and enclosed test results.

Not Available

1979-03-01T23:59:59.000Z

356

9:00 Opening and Welcome (Exactum Building Auditorium) Session 1: User-oriented Verification  

E-Print Network (OSTI)

of user-orientation in verification 9:50 1.2 Clive Wilson: Do key performance targets work? 10:10 1.3 Tressa Fowler: Wind forecast verification 10:30 1.4 Robert Maisha: UM model and Kalman Filter forecast verification at SAWS

Chair Pertti Nurmi

2009-01-01T23:59:59.000Z

357

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies  

Science Conference Proceedings (OSTI)

Testing and verification are two activities which have the same objective: to ensure software dependability. In the Java context, the Java Modelling Language (JML) has been proposed as specification language. It can be used both for verification and ... Keywords: JML, Java, Software dependability, Testing, Verification

Lydie Du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet

2010-12-01T23:59:59.000Z

358

Review: Formal verification of analog and mixed signal designs: A survey  

Science Conference Proceedings (OSTI)

Analog and mixed signal (AMS) designs are an important part of embedded systems that link digital designs to the analog world. Due to challenges associated with its verification process, AMS designs require a considerable portion of the total design ... Keywords: Analog and mixed signal design verification, Formal verification, Survey

Mohamed H. Zaki; Sofiène Tahar; Guy Bois

2008-12-01T23:59:59.000Z

359

Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based  

E-Print Network (OSTI)

Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Programs Efficiency Action Network. 2012. Evaluation, Measurement, and Verification (EM&V) of Residential Behavior

360

Identification and characterization of conservative organic tracers for use as hydrologic tracers for the Yucca Mountain site characterization study. Final report  

Science Conference Proceedings (OSTI)

Extensive tracer testing is expected to take place at the C-well complex in the Nevada Test Site as part of the Yucca Mountain Site Characterization Project. The C-well complex consists of one pumping well, C3, and two injection wells, C1 and C2 into which tracer will be introduced. The goal of this research was to provide USGS with numerous tracers to completed these tests. Several classes of fluorinated organic acids have been evaluated. These include numerous isomers of fluorinated benzoic acids, cinnamic acids, and salicylic acids. Also several derivatives of 2-hydroxy nicotinic acid (pyridone) have been tested. The stability of these compounds was determined using batch and column tests. Ames testing (mutagenicity/carcinogenicity) was conducted on the fluorinated benzoic acids and a literature review of toxicity of the fluorobenzoates and three perfluoro aliphatic acids was prepared. Solubilities were measured and method development work was performed to optimize the detection of these compounds. A Quality Assurance (QA) Program was developed under existing DOE and USGS guidelines. The program includes QA procedures and technical standard operating procedures. A tracer test, using sodium iodide, was performed at the C-well complex. HRC chemists performed analyses on site, to provide real time data for the USGS hydrologists and in the laboratories at UNLV. Over 2,500 analyses were performed. This report provides the results of the laboratory experiments and literature reviews used to evaluate the potential tracers and reports on the results of the iodide C-well tracer test.

Stetzenbach, K.; Farnham, I.

1996-06-01T23:59:59.000Z

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


361

A Modified Tracer Selection and Tracking Procedure to Derive Winds Using Water Vapor Imagers  

Science Conference Proceedings (OSTI)

The remotely sensed upper-tropospheric water vapor wind information has been of increasing interest for operational meteorology. A new tracer selection based on a local image anomaly and tracking procedure, itself based on Nash–Sutcliffe model ...

S. K. Deb; C. M. Kishtawal; P. K. Pal; P. C. Joshi

2008-12-01T23:59:59.000Z

362

Evaluation of Lagrangian Particle Dispersion Models with Measurements from Controlled Tracer Releases  

Science Conference Proceedings (OSTI)

Three widely used Lagrangian Particle Dispersion Models (LPDMs), HYSPLIT, STILT and FLEXPART are evaluated with measurements from the controlled tracer release experiments CAPTEX and ANATEX. The LPDMs are run forward in time driven by identical ...

Jennifer Hegarty; Roland R. Draxler; Ariel F. Stein; Jerome Brioude; Marikate Mountain; Janusz Eluszkiewicz; Thomas Nehrkorn; Fong Ngan; Arlyn Andrews

363

The Bolus Velocity in the Stochastic Theory of Ocean Turbulent Tracer Transport  

Science Conference Proceedings (OSTI)

A stochastic theory of tracer transport in compressible turbulence has recently been developed and then applied to the ocean case because stratified flow in isopycnal coordinates is analogous to compressible flow with the isopycnal layer ...

John K. Dukowicz; Richard J. Greatbatch

1999-09-01T23:59:59.000Z

364

The use of tracers to analyze the effects of reinjection into fractured geothermal reservoirs  

DOE Green Energy (OSTI)

This paper discusses the use of tracers as a reservoir engineering tool in fractured geothermal reservoirs. The principle concern in injecting cooler spent fluids into a fractured reservoir is that the fluids may move through high permeability channels and return to the production wells after contacting a relatively small volume of rock. As a consequence of this rapid transport, the fluids will be only partially reheated and after a short period time will effectively mine the heat from the limited volume of rock. The production wells will then experience a rapid and premature reduction in thermal output. Tracers can be used to infer the existence of high mobility conduits between injection and production wells and to monitor chemical changes of an injected fluid. Since tracer arrival precedes thermal breakthrough, tracer tests are a very useful forecasting tool.

Horne, R.N.; Johns, R.A.; Adams, M.C.; Moore, J.N.; Stiger, S.G.

1987-01-01T23:59:59.000Z

365

Adjoint-Based Estimation of Eddy-Induced Tracer Mixing Parameters in the Global Ocean  

Science Conference Proceedings (OSTI)

Using the German Estimating the Circulation and Climate of the Ocean (GECCO) synthesis framework, four separate eddy tracer mixing coefficients are adjusted jointly with external forcing fields, such as to reduce a global misfit between the model ...

Chuanyu Liu; Armin Köhl; Detlef Stammer

2012-07-01T23:59:59.000Z

366

Sensitivity of the Global Ocean Circulation to Parameterizations of Mesoscale Tracer Transports  

Science Conference Proceedings (OSTI)

The isopycnal transport parameterization of Gent and Mc Williams has been implemented in the GFDL ocean general circulation model, replacing the physically unjustifiable horizontal mixing of tracers. The effects of this parameterization are ...

Gokhan Danabasoglu; James C. Mc Williams

1995-12-01T23:59:59.000Z

367

The Influence of Eddies on Tracer Transport in the Abyssal Ocean  

Science Conference Proceedings (OSTI)

Tracer transport mechanisms in a deep western boundary current (DWBC) are explored using a three-layer, eddy-resolving quasigeostrophic model. The model is forced with a steady, sinusoidal wind stress. The effects of the wind stress, coupled with ...

Carol Ladd; Lu Anne Thompson

1998-09-01T23:59:59.000Z

368

Transport of a Power Plant Tracer Plume over Grand Canyon National Park  

Science Conference Proceedings (OSTI)

Meteorological and air-quality data, as well as surface tracer concentration values, were collected during 1990 to assess the impacts of Navajo Generating Station (NGS) emissions on Grand Canyon National Park (GCNP) air quality. These data have ...

Jun Chen; Robert Bornstein; Charles G. Lindsey

1999-08-01T23:59:59.000Z

369

Truncation Effects on Estimated Parameters of Tracer Distributions Sampled on Finite Domains  

Science Conference Proceedings (OSTI)

Methods are presented and demonstrated for compensating for the apparent effect of truncation of the sampled crosswind distribution of a tracer, at either or both boundaries of a surface sampling grid downwind from the point of release. Errors ...

J. Z. Holland

1988-03-01T23:59:59.000Z

370

Simulation of Tracer Concentration Data in the Brush Creek Drainage Flow Using an Integrated Puff Model  

Science Conference Proceedings (OSTI)

During the 1984 ASCOT field study in Brush Creek Valley, two perfluorocarbon tracers were released into the nocturnal drainage flow at two different heights. The resulting surface concentrations were sampled at 90 sites, and vertical ...

K. Shankar Rao; Richard M. Eckman; Rayford P. Hosker Jr.

1989-07-01T23:59:59.000Z

371

High-Resolution Stratospheric Tracer Fields Reconstructed with Lagrangian Techniques: A Comparative Analysis of Predictive Skill  

Science Conference Proceedings (OSTI)

Numerical experiments and statistical analyses are conducted to determine the skill of different Lagrangian techniques for the construction of tracer distributions. High-resolution potential vorticity (PV) maps are calculated from simulations of ...

R. Dragani; G. Redaelli; G. Visconti; A. Mariotti; V. Rudakov; A. R. MacKenzie; L. Stefanutti

2002-06-01T23:59:59.000Z

372

The Adjoint of the Semi-Lagrangian Treatment of the Passive Tracer Equation  

Science Conference Proceedings (OSTI)

A semi-Lagrangian treatment of the 1D passive tracer equation using prescribed piecewise-continuous interpolating functions is considered. Whether the process of localizing the upstream position affects the adjoint counterpart of the associated ...

M. Tanguay; S. Polavarapu

1999-04-01T23:59:59.000Z

373

Atmospheric Dispersion from Elevated Sources in an Urban Area: Comparison between Tracer Experiments and Model Calculations  

Science Conference Proceedings (OSTI)

Atmospheric dispersion experiments were carried out in the Copenhagen area under neutral and unstable conditions. The tracer sulphurhexafluoride was released without buoyancy from a tower at a height of 115 m and then collected at ground-level ...

Sven-Erik Gryning; Erik Lyck

1984-04-01T23:59:59.000Z

374

Analysis of Tracer Data Collected during the SCCCAMP 1985 Intensive Measurement Periods  

Science Conference Proceedings (OSTI)

This paper contains an analysis of data obtained from measurements of the concentration of tracer gases released during the four intensive measurement periods of the 1985 South-Central Coast Cooperative Air Monitoring Program (SCCCAMP). These ...

David G. Strimaitis; Gary E. Moore; Sharon G. Douglas

1991-05-01T23:59:59.000Z

375

Lagrangian Particle Simulation of Tracer Dispersion in the Lee of a Schematic Two-Dimensional Hill  

Science Conference Proceedings (OSTI)

Spray, a 3D Lagrangian particle model for the simulation of complex flow dispersion, is presented. Its performance is tested against the Environmental Protection Agency wind tunnel concentration distribution of passive tracer released from ...

G. Tinarelli; D. Anfossi; G. Brusasca; E. Ferrero; U. Giostra; M. G. Morselli; J. Moussafir; F. Trombetti; F. Tampieri

1994-06-01T23:59:59.000Z

376

Tracer Transport in Deep Convective Updrafts: Plume Ensemble versus Bulk Formulations  

Science Conference Proceedings (OSTI)

Two widely used approaches for parameterizing tracer transport based on convective mass fluxes are the plume ensemble formulation (PEF) and the bulk formulation (BF). Here the behavior of these two is contrasted for the specific case in which the ...

Mark G. Lawrence; Philip J. Rasch

2005-08-01T23:59:59.000Z

377

Vertical Tracer Concentration Profiles Measured during the Joint Urban 2003 Dispersion Study  

Science Conference Proceedings (OSTI)

An atmospheric tracer dispersion study known as Joint Urban 2003 was conducted in Oklahoma City, Oklahoma, during July of 2003. As part of this field program, vertical concentration profiles were measured at approximately 1 km from the downtown ...

Julia E. Flaherty; Brian Lamb; K. Jerry Allwine; Eugene Allwine

2007-12-01T23:59:59.000Z

378

Wintertime Dispersion in a Mountainous Basin at Roanoke, Virginia: Tracer Study  

Science Conference Proceedings (OSTI)

During January 1989, five nighttime SF6 tracer experiments were conducted in Roanoke, Virginia. The experiments were designed to help identify and understand the dispersion characteristics of a basin atmosphere during winter stagnation ...

K. Jerry Allwine; Brian K. Lamb; Robert Eskridge

1992-11-01T23:59:59.000Z

379

Use of a Large Crane for Wind and Tracer Profiles in an Urban Setting  

Science Conference Proceedings (OSTI)

Although measured vertical profiles of wind, turbulence, and tracer concentrations are critical for understanding the urban boundary layer, it is problematic to field a sounding system or a tall structure to support anemometers in a densely ...

Frank J. Gouveia; Martin J. Leach; Joseph H. Shinn; William E. Ralph

2007-10-01T23:59:59.000Z

380

Eddy Resolution versus Eddy Diffusion in a Double Gyre GCM. Part II: Mixing of Passive Tracers  

Science Conference Proceedings (OSTI)

The parameterization of the effect of the unresolved scales of motion on a passive tracer field in large-scale numerical ocean models is analyzed through a combination of Lagrangian and Eulerian velocities. The primitive equation isopycnal model ...

Horacio A. Figueroa

1994-02-01T23:59:59.000Z

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


381

Dispersion of a Passive Tracer in Buoyancy- and Shear-Driven Boundary Layers  

Science Conference Proceedings (OSTI)

By means of finescale modeling [large-eddy simulation (LES)], the combined effect of thermal and mechanical forcing on the dispersion of a plume in a convective boundary layer is investigated. Dispersion of a passive tracer is studied in various ...

Alessandro Dosio; Jordi Vilà-Guerau de Arellano; Albert A. M. Holtslag; Peter J. H. Builtjes

2003-08-01T23:59:59.000Z

382

The Advection–Diffusion Problem for Stratospheric Flow. Part II: Probability Distribution Function of Tracer Gradients  

Science Conference Proceedings (OSTI)

This paper is a continuation of the study of the advection–diffusion problem for stratospheric flow, and deals with the probability distribution function (PDF) of gradients of a freely decaying passive tracer. Theoretical arguments are reviewed ...

Yongyun Hu; Raymond T. Pierrehumbert

2002-10-01T23:59:59.000Z

383

Design and Validation of an Offline Oceanic Tracer Transport Model for a Carbon Cycle Study  

Science Conference Proceedings (OSTI)

An offline passive tracer transport model with self-operating diagnostic-mode vertical mixing and horizontal diffusion parameterizations is used with assimilated ocean currents to find the chlorofluorocarbon (CFC-11) cycle in oceans. This model ...

Vinu Valsala; Shamil Maksyutov; Ikeda Motoyoshi

2008-06-01T23:59:59.000Z

384

Sensitivity of the Ventilation Process in the North Pacific to Eddy-Induced Tracer Transport  

Science Conference Proceedings (OSTI)

A coarse-resolution isopycnal model coupled with a bulk mixed layer model is used to examine the effect of isopycnal thickness diffusion, which parameterizes the subgrid-scale eddy-induced tracer transport, on ventilation of the North Pacific ...

Takahiro Endoh; Yanli Jia; Kelvin J. Richards

2006-10-01T23:59:59.000Z

385

Graphical Analysis of PET Data Applied to Reversible and Irreversible Tracers  

SciTech Connect

Graphical analysis refers to the transformation of multiple time measurements of plasma and tissue uptake data into a linear plot, the slope of which is related to the number of available tracer binding sites. This type of analysis allows easy comparisons among experiments. No particular model structure is assumed, however it is assumed that the tracer is given by bolus injection and that both tissue uptake and the plasma concentration of unchanged tracer are monitored following tracer injection. The requirement of plasma measurements can be eliminated in some cases when a reference region is available. There are two categories of graphical methods which apply to two general types of ligands--those which bind reversibly during the scanning procedure and those which are irreversible or trapped during the time of the scanning procedure.

Logan, Jean

1999-11-18T23:59:59.000Z

386

A Tracer-Contour Inverse Method for Estimating Ocean Circulation and Mixing  

Science Conference Proceedings (OSTI)

A method is developed for estimating the along-isopycnal and vertical mixing coefficients (K and D) and the absolute velocity from time-averaged hydrographic data. The method focuses directly on transports down tracer gradients on isopycnals. ...

Jan D. Zika; Trevor J. McDougall; Bernadette M. Sloyan

2010-01-01T23:59:59.000Z

387

Collection of Water Samples from an Autonomous Underwater Vehicle for Tracer Analysis  

Science Conference Proceedings (OSTI)

A compact water sampler rated to full ocean depth has been deployed from an autonomous underwater vehicle (AUV) to enable oceanographic tracer measurements. Techniques developed to allow the instrument to collect up to 49 samples of sufficient ...

Paul A. Dodd; Martin R. Price; Karen J. Heywood; Miles Pebody

2006-12-01T23:59:59.000Z

388

Fossil Fuel Emission Verification Modeling at LLNL  

SciTech Connect

We have an established project at LLNL to develop the tools needed to constrain fossil fuel carbon dioxide emissions using measurements of the carbon-14 isotope in atmospheric samples. In Figure 1 we show the fossil fuel plumes from Los Angeles and San Francisco for two different weather patterns. Obviously, a measurement made at any given location is going to depend on the weather leading up to the measurement. Thus, in order to determine the GHG emissions from some region using in situ measurements of those GHGs, we use state-of-the-art global and regional atmospheric chemistry-transport codes to simulate the plumes: the LLNL-IMPACT model (Rotman et al., 2004) and the WRFCHEM community code (http://www.wrf-model.org/index.php). Both codes can use observed (aka assimilated) meteorology in order to recreate the actual transport that occurred. The measured concentration of each tracer at a particular spatio-temporal location is a linear combination of the plumes from each region at that location (for non-reactive species). The challenge is to calculate the emission strengths for each region that fit the observed concentrations. In general this is difficult because there are errors in the measurements and modeling of the plumes. We solve this inversion problem using the strategy illustrated in Figure 2. The Bayesian Inference step combines the a priori estimates of the emissions, and their uncertainty, for each region with the results of the observations, and their uncertainty, and an ensemble of model predicted plumes for each region, and their uncertainty. The result is the mathematical best estimate of the emissions and their errors. In the case of non-linearities, or if we are using a statistical sampling technique such as a Markov Chain Monte Carlo technique, then the process is iterated until it converges (ie reaches stationarity). For the Bayesian inference we can use both a direct inversion capability, which is fast but requires assumptions of linearity and Gaussianity of errors, or one of several statistical sampling techniques, which are computationally slower but do not require either linearity or Gaussianity (Chow, et al., 2008; Delle Monache, et al., 2008). The emission regions we are using are based on the air-basins defined by the California Air Resources Board (CARB), see Figure 3. The only difference is that we have joined some of the smaller air basins together. The results of a test using 4 days of simulated observations using our ensemble retrieval system are shown in Figure 3 (right). The main source of the variation between the different model configurations arises from the uncertainty in the atmospheric boundary layer parameterization in the WRF model. We are currently developing a capability to constrain the boundary layer height in our carbon-14 work either by weighting the ensemble member results by the accuracy of their boundary layer height (using commercial aircraft observations), or as part of the retrieval process using an ensemble Kalman filter (EnKF) capability.

Cameron-Smith, P; Kosovic, B; Guilderson, T; Monache, L D; Bergmann, D

2009-08-06T23:59:59.000Z

389

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

E-Print Network (OSTI)

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.

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

2010-09-20T23:59:59.000Z

390

Utility of Bromide and Heat Tracers for Aquifer Characterization Affected by Highly Transient Flow Conditions  

SciTech Connect

A tracer test using both bromide and heat tracers conducted at the Integrated Field Research Challenge site in Hanford 300 Area (300A), Washington, provided an instrument for evaluating the utility of bromide and heat tracers for aquifer characterization. The bromide tracer data were critical to improving the calibration of the flow model complicated by the highly dynamic nature of the flow field. However, most bromide concentrations were obtained from fully screened observation wells, lacking depth-specific resolution for vertical characterization. On the other hand, depth-specific temperature data were relatively simple and inexpensive to acquire. However, temperature-driven fluid density effects influenced heat plume movement. Moreover, the temperature data contained “noise” caused by heating during fluid injection and sampling events. Using the hydraulic conductivity distribution obtained from the calibration of the bromide transport model, the temperature depth profiles and arrival times of temperature peaks simulated by the heat transport model were in reasonable agreement with observations. This suggested that heat can be used as a cost-effective proxy for solute tracers for calibration of the hydraulic conductivity distribution, especially in the vertical direction. However, a heat tracer test must be carefully designed and executed to minimize fluid density effects and sources of noise in temperature data. A sensitivity analysis also revealed that heat transport was most sensitive to hydraulic conductivity and porosity, less sensitive to thermal distribution factor, and least sensitive to thermal dispersion and heat conduction. This indicated that the hydraulic conductivity remains the primary calibration parameter for heat transport.

Ma, Rui; Zheng, Chunmiao; Zachara, John M.; Tonkin, Matthew J.

2012-08-29T23:59:59.000Z

391

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

SciTech Connect

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.

Allwine, K Jerry; Flaherty, Julia E.

2006-08-09T23:59:59.000Z

392

Tracer test analysis of the Klamath Falls geothermal resource: a comparison of models  

DOE Green Energy (OSTI)

Two tracer tests on doublet systems in a fractured geothermal system were carried out in Klamath Falls, Oregon. The purpose of the tests were to obtain data which would lead to information about the reservoir and to test the applicability of current tracer flow models. The results show rapid breakthrough times and indicate fracture flow with vigorous mixing of injector fluid before production of same. This leads to the idea that thermal breakthrough is not directly related to tracer breakthrough in the Klamath Union doublet system. There has been no long-term enthalpy loss from exploiting the resource for 40 years. In order to reduce the data, models were developed to analyze the results. Along with a porous media flow model two mathematical models developed to analyze fractured geothermal systems are used to help decipher the various tracer return curves. The flow of tracers in doublet systems was investigated. A mathematical description is used for tracer flow through fractures as a function of time and various nonlinear parameters which can be found using a curve fitting technique. This allows the reservoir to be qualitatively defined. These models fit the data well, but point to the fact that future improvement needs to be considered for a clearer and more quantitative understanding of fractured geothermal systems. 22 refs., 32 figs., 11 tabs.

Johnson, S.E.

1984-06-01T23:59:59.000Z

393

Integrated Framework toward a Closed Loop Measurement and Verification  

NLE Websites -- All DOE Office Websites (Extended Search)

Integrated Framework toward a Closed Loop Measurement and Verification Integrated Framework toward a Closed Loop Measurement and Verification Approach Title Integrated Framework toward a Closed Loop Measurement and Verification Approach Publication Type Conference Proceedings Year of Publication 2011 Authors Earni, Shankar, Philip Coleman, and Mark D. Sanders Conference Name ACEEE Summer Study on Energy Efficiency in Industry Volume 1 Pagination 68-79 Date Published 1/2011 Abstract This study reviews a sample set of measurement and verification (M&V) plans from federal ESPC projects to understand and assess the overall status of M&V practices. The review identifies some of the key issues that need to be addressed to improve the rigor and transparency of M&V practices. To mitigate some of the identified M&V issues, this work also reviews existing M&V protocols, guidelines and other pertinent literature to identify strategies that can augment traditional M&V approaches. The authors provide a framework to identify ways to integrate M&V and commissioning activities into the ESPC process, combining M&V activities and advanced meter data into a monitoring-based commissioning approach that reduces the uncertainty of savings while ensuring their persistence.

394

Department of Computing CSP||B modelling for railway verification  

E-Print Network (OSTI)

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

Doran, Simon J.

395

Verification of temporal scheduling constraints in clinical practice guidelines  

Science Conference Proceedings (OSTI)

The computerization of clinical practice guidelines is a significant scientific challenge for the medical informatics community. One frequently reported factor hindering this objective is the existence of deficiencies within guideline knowledge. In this ... Keywords: Clinical practice guidelines, Medical plan management, Temporal constraint satisfaction, Verification

Georg Duftschmid; Silvia Miksch; Walter Gall

2002-06-01T23:59:59.000Z

396

On Automatic Authenticity Verification of Printed Security Documents  

Science Conference Proceedings (OSTI)

This paper presents a pioneering effort to involve machine in checking document authenticity. A particular class of security documents has been considered for the present experiment. Bank cheques, several kinds of tickets like lottery tickets, air tickets, ... Keywords: authenticity verification, security document, forensic document examination, bank cheques

Utpal Garain; Biswajit Halder

2008-12-01T23:59:59.000Z

397

Object Oriented Verification Kernels for Secure Java Applications  

Science Conference Proceedings (OSTI)

This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g. in a Mor E-Commerce scenario. When trying to verify such programs, thousands of Java classes ...

Holger Grandy; Kurt Stenzel; Wolfgang Reif

2005-09-01T23:59:59.000Z

398

ProMoVer: modular verification of temporal safety properties  

Science Conference Proceedings (OSTI)

This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations. Modularity at the procedure-level ...

Siavash Soleimanifard; Dilian Gurov; Marieke Huisman

2011-11-01T23:59:59.000Z

399

Specification and Runtime Verification of Java Card Programs  

Science Conference Proceedings (OSTI)

Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to ... Keywords: Compiler, JCML, JML, Java Card, Runtime Verification

Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto

2009-07-01T23:59:59.000Z

400

Markov and fuzzy models for written language verification  

Science Conference Proceedings (OSTI)

This paper presents a computational algorithm for machine classification of written languages using the Markov chain-based method for building language models and the fuzzy set theory-based normalization method to verify language. For a language document, ... Keywords: Markov chain, fuzzy normalization method, written language verification

Dat T. Tran; Tuan D. Pham

2005-06-01T23:59:59.000Z

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


401

An integrated verification environment for JML: architecture and early results  

Science Conference Proceedings (OSTI)

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, ... Keywords: Eclipse, JML4, integrated verification environment, java modeling language

Patrice Chalin; Perry R. James; George Karabotsos

2007-09-01T23:59:59.000Z

402

Modified Segmental Histogram Equalization for robust speaker verification  

Science Conference Proceedings (OSTI)

It is well known that when there is an acoustic mismatch between the speech obtained during training and testing the accuracy of speaker recognition systems drastically deteriorates. In this paper we propose Modified Segmental Histogram Equalization ... Keywords: Histogram Equalization, Mismatched conditions, NIST 2000, Speaker verification

Marshalleno Skosan; Daniel Mashao

2006-04-01T23:59:59.000Z

403

Project W-320, WRSS PCP: Procedure implementation verification  

SciTech Connect

This document provides verification that the methodology for the safe retrieval of high-heat waste from Tank 241-C-106 as specified in the WRSS Process Control Plan HNF-SD-PCP-013, Revision 1, has been adequately implemented into the Tank Waste Remediation System (TWRS) operational procedures. Tank 241-C-106 is listed on the High Heat Load Watch List.

Bailey, J.W.

1998-07-25T23:59:59.000Z

404

Biometric verification/identification based on hands natural layout  

Science Conference Proceedings (OSTI)

In this paper, a hand biometric system for verification and recognition purposes is presented. The method is based on three keys. Firstly, the system is based on using a Natural Reference System (NRS) defined on the hand's natural layout. Consequently, ... Keywords: Biometric systems, Hand geometry, Invariant features, Security, Similarity

Miguel Adán; Antonio Adán; Andrés S. Vázquez; Roberto Torres

2008-04-01T23:59:59.000Z

405

Verification of clear-air turbulence forecasts June 2002, KNMI  

E-Print Network (OSTI)

to increase potential energy. Under these conditions turbulence will increase in intensity until different weather conditions. It often occurs in relatively clear skies and is then referred to as clear-airVerification of clear-air turbulence forecasts A. Overeem June 2002, KNMI Technisch rapport #12

Stoffelen, Ad

406

Fast Verification of Wind Turbine Power Summary of Project Results  

E-Print Network (OSTI)

a wind turbine's design phase, the power curve can be predicted using analytical techniques such as Blade using a single cup anemometer at the wind turbine's hub height and it is assumed that this measurementFast Verification of Wind Turbine Power Curves: Summary of Project Results by: Cameron Brown ­ s

407

Roadmap for enhanced languages and methods to aid verification  

Science Conference Proceedings (OSTI)

This roadmap describes ways that researchers in four areas---specification languages, program generation, correctness by construction, and programming languages---might help further the goal of verified software. It also describes what advances the "verified ... Keywords: annotations, correctness by construction, program generation, programming languages, specification languages, tools, verification, verified software grand challenge

Gary T. Leavens; Jean-Raymond Abrial; Don Batory; Michael Butler; Alessandro Coglio; Kathi Fisler; Eric Hehner; Cliff Jones; Dale Miller; Simon Peyton-Jones; Murali Sitaraman; Douglas R. Smith; Aaron Stump

2006-10-01T23:59:59.000Z

408

Hybrid systems modeling and verification with DEVS (WIP)  

Science Conference Proceedings (OSTI)

Hybrid systems (where continuous and discrete phenomena interact) are found in many natural and artificial systems. An important example, real-time embedded systems usually include discrete-event controllers interacting with a continuous plant. Verifying ... Keywords: DEVS, hybrid systems verification, quantized state systems QSS, timed automata

Hesham Saadawi, Gabriel Wainer

2013-04-01T23:59:59.000Z

409

A semi-analytical model for heat and mass transfer in geothermal reservoirs to estimate fracture surface-are-to-volume ratios and thermal breakthrough using thermally-decaying and diffusing tracers  

SciTech Connect

A semi-analytical model was developed to conduct rapid scoping calculations of responses of thermally degrading and diffusing tracers in multi-well tracer tests in enhanced geothermal systems (EGS). The model is based on an existing Laplace transform inversion model for solute transport in dual-porosity media. The heat- and mass-transfer calculations are decoupled and conducted sequentially, taking advantage of the fact that heat transfer between fractures and the rock matrix is much more rapid than mass transfer and therefore mass transfer will effectively occur in a locally isothermal system (although the system will be nonisothermal along fracture flow pathways, which is accounted for by discretizing the flow pathways into multiple segments that have different temperature histories). The model takes advantage of the analogies between heat and mass transfer, solving the same governing equations with k{sub m}/({rho}C{sub p}){sub w} being substituted for {phi}D{sub m} in the equation for fracture transport and k{sub m}/({rho}C{sub p}){sub m} being subsituted for D{sub m} in the equation for matrix transport; where k = thermal conductivity (cal/cm-s-K), {rho} = density (g/cm{sup 3}), C{sub p} = heat capacity (at constant pressure) (cal/g-K), {phi} = matrix porosity, and D = tracer diffusion coefficient (cm{sup 2}/s), with the subscripts w and m referring to water and matrix, respectively. A significant advantage of the model is that it executes in a fraction of second on a single-CPU personal computer, making it very amenable for parameter estimation algorithms that involve repeated runs to find global minima. The combined thermal-mass transport model was used to evaluate the ability to estimate when thermal breakthrough would occur in a multi-well EGS configuration using thermally degrading tracers. Calculations were conducted to evaluate the range of values of Arrhenius parameters, A and E{sub {alpha}} (pre-exponential factor, 1/s, and activation energy, cal/mol) required to obtain interpretable responses of thermally-degrading tracers that decay according to the rate constant k{sub d} = Ae{sup -E{sub {alpha}}/RT}, where k{sub d} = decay rate constant (1/s), R = ideal gas constant (1.987 cal/mol-K), and T = absolute temperature (K). It is shown that there are relatively narrow ranges of A and E{sub {alpha}} that will result in readily interpretable tracer responses for any given combination of ambient reservoir temperature and working fluid residence time in a reservoir. The combined model was also used to simulate the responses of conservative tracers with different diffusion coefficients as a way of estimating fracture surface-area-to-volume ratios (SA/V) in multi-well EGS systems. This method takes advantage of the fact that the differences in breakthrough curves of tracers with different matrix diffusion coefficients are a function of SA/V. The model accounts for differences in diffusion coefficients as a function of temperature so that tracer responses obtained at different times can be used to obtain consistent estimates of SA/V as the reservoir cools down. Some single-well applications of this approach are simulated with a numerical model to demonstrate the potential to evaluate the effectiveness of EGS stimulations before a second well is drilled.

Reimus, Paul W [Los Alamos National Laboratory

2010-12-08T23:59:59.000Z

410

Interpretation in Quantum Physics as Hidden Curriculum  

E-Print Network (OSTI)

Prior research has demonstrated how the realist perspectives of classical physics students can translate into specific beliefs about quantum phenomena when taking an introductory modern physics course. Student beliefs regarding the interpretation of quantum mechanics often vary by context, and are most often in alignment with instructional goals in topic areas where instructors are explicit in promoting a particular perspective. Moreover, students are more likely to maintain realist perspectives in topic areas where instructors are less explicit in addressing interpretive themes, thereby making such issues part of a hidden curriculum. We discuss various approaches to addressing student perspectives and interpretive themes in a modern physics course, and explore the associated impacts on student thinking.

Charles Baily; Noah D. Finkelstein

2011-08-26T23:59:59.000Z

411

Interpretation in Quantum Physics as Hidden Curriculum  

E-Print Network (OSTI)

Prior research has demonstrated how the realist perspectives of classical physics students can translate into specific beliefs about quantum phenomena when taking an introductory modern physics course. Student beliefs regarding the interpretation of quantum mechanics often vary by context, and are most often in alignment with instructional goals in topic areas where instructors are explicit in promoting a particular perspective. Moreover, students are more likely to maintain realist perspectives in topic areas where instructors are less explicit in addressing interpretive themes, thereby making such issues part of a hidden curriculum. We discuss various approaches to addressing student perspectives and interpretive themes in a modern physics course, and explore the associated impacts on student thinking.

Baily, Charles

2011-01-01T23:59:59.000Z

412

Geophysics III. Geologic interpretation of seismic data  

SciTech Connect

During the past two decades, the technology of geophysics has exploded. At the same time, the petroleum industry has been forced to look for more and more subtle traps in more and more difficult terrain. The choice of papers in this geophysics reprint volume reflects this evolution. The papers were chosen to help geologists, not geophysicists, enhance their knowledge of geophysics. Math-intensive papers were excluded because those papers are relatively esoteric and have limited applicability for most geologists. This volume concentrates on geologic interpretation of seismic data interpretation. Each of the 21 papers were abstracted and indexed for the U.S. Department of Energy's Energy Data Base.

Beaumont, E.A.; Foster, N.H. (comps.)

1989-01-01T23:59:59.000Z

413

Geothermal well log interpretation midterm report  

DOE Green Energy (OSTI)

Reservoir types are defined according to fluid phase and temperature, lithology, geologic province, pore geometry, and salinity and fluid chemistry. Improvements are needed in lithology and porosity definition, fracture detection, and thermal evaluation for more accurate interpretation. Further efforts are directed toward improving diagnostic techniques for relating rock characteristics and log response, developing petrophysical models for geothermal systems, and developing thermal evaluation techniques. The Geothermal Well Log Interpretation study and report has concentrated only on hydrothermal geothermal reservoirs. Other geothermal reservoirs (hot dry rock, geopressured, etc.) are not considered.

Sanyal, S.K.; Wells, L.E.; Bickham, R.E.

1979-02-01T23:59:59.000Z

414

Structural interpretation of the Coso geothermal field. Summary...  

Open Energy Info (EERE)

interpretation of the Coso geothermal field. Summary report, October 1986-August 1987 Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Report: Structural interpretation...

415

Interpretation of strange hadron production at LHC  

E-Print Network (OSTI)

We extend the SHM analysis of hadron production results showing here consistency with the increased experimental data set, stability of the fit with regard to inclusion of finite resonance widths and 2-star hyperon resonances. We present new results on strangeness yield as a function of centrality and present their interpretation in terms of QGP inspired model of strangeness abundance in the hadronizing fireball.

Michal Petrá?; Jean Letessier; Vojt?ch Petrá?ek; Johann Rafelski

2013-09-25T23:59:59.000Z

416

Denotational abstract interpretation of logic programs  

Science Conference Proceedings (OSTI)

Logic-programming languages are based on a principle of separation “logic” and “control.”. This means that they can be given simple model-theoretic semantics without regard to any particular execution mechanism (or proof procedure, ... Keywords: Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis

Kim Marriott; Harald Søndergaard; Neil D. Jones

1994-05-01T23:59:59.000Z

417

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

Science Conference Proceedings (OSTI)

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.

Reimus, Paul W [Los Alamos National Laboratory

2011-01-21T23:59:59.000Z

418

Single well surfactant test to evaluate surfactant floods using multi tracer method  

DOE Patents (OSTI)

Data useful for evaluating the effectiveness of or designing an enhanced recovery process said process involving mobilizing and moving hydrocarbons through a hydrocarbon bearing subterranean formation from an injection well to a production well by injecting a mobilizing fluid into the injection well, comprising (a) determining hydrocarbon saturation in a volume in the formation near a well bore penetrating formation, (b) injecting sufficient mobilizing fluid to mobilize and move hydrocarbons from a volume in the formation near the well bore, and (c) determining the hydrocarbon saturation in a volume including at least a part of the volume of (b) by an improved single well surfactant method comprising injecting 2 or more slugs of water containing the primary tracer separated by water slugs containing no primary tracer. Alternatively, the plurality of ester tracers can be injected in a single slug said tracers penetrating varying distances into the formation wherein the esters have different partition coefficients and essentially equal reaction times. The single well tracer method employed is disclosed in U.S. Pat. No. 3,623,842. This method designated the single well surfactant test (SWST) is useful for evaluating the effect of surfactant floods, polymer floods, carbon dioxide floods, micellar floods, caustic floods and the like in subterranean formations in much less time and at much reduced cost compared to conventional multiwell pilot tests.

Sheely, Clyde Q. (Ponca City, OK)

1979-01-01T23:59:59.000Z

419

Heat as a Tracer to Examine Hydraulic Conductance Near the Russian River Bank Filtration Facility, Sonoma County, CA  

E-Print Network (OSTI)

to examine streambed hydraulic conductance near the Russianas a tracer to determine the hydraulic conductance of themodel requires that key hydraulic parameters be identified,

Constantz, Jim; Su, Grace; Hatch, Christine

2004-01-01T23:59:59.000Z

420

VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES  

Office of Legacy Management (LM)

~ *-,-' .r_~, ~ *-,-' .r_~, VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES BUILDING 513-519 NEW YORK, NEW YORK Prepared by W. C. Adams Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Institute for Science and Education Oak Ridge, Tennessee 37831-0117 Prepared for the Office of Environmental Restoration U.S. Department of Energy FINAL REPORT JUNE 1994 This report is based on work performed under contract number DE-AC05-760R00033 with the U.S. Department of Energy. Baker arId Wi,,iMI Wsrchouwl-Vcrification June 28, ,994 - ,I I_ ..I .- VERIFICATION SURVEY OF THE BAKER AND W ILLIAMS WAREHOUSES BUILDING 513-519 NEW YORK, NEW YORK Prepared by: ' J .,,,~ ' . W . C. Adams, Project Leader Date: Environmental Survey and Site Assessment Program

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


421

NETL: Methane Hydrates - DOE/NETL Projects - Verification Of Capillary  

NLE Websites -- All DOE Office Websites (Extended Search)

Verification Of Capillary Pressure Functions And Relative Permeability Equations For Modeling Gas Production From Gas Hydrates Last Reviewed 12/12/2013 Verification Of Capillary Pressure Functions And Relative Permeability Equations For Modeling Gas Production From Gas Hydrates Last Reviewed 12/12/2013 DE-FE0009927 Goal The goal of this project is to verify and validate the capillary pressure functions and relative permeability equations that are frequently used in hydrate numerical simulators. In order to achieve this goal, numerical simulation using a network model will be used to suggest fitting parameters, modify existing equations or, if necessary, develop new equations for better simulation results. Performers Wayne State University, Detroit, MI 48202-3622 Background Numerical simulation is used to estimate and predict long-term behavior of hydrate-bearing sediments during gas production [Kurihara et al., 2008;

422

Microsoft Word - S0191800 - Gunnison Verification Monitoring Report 0906.doc  

Office of Legacy Management (LM)

6 6 Office of Legacy Management DOE M/1305-2006 -L Work Performed Under DOE Contract No. for the U.S. Department of Energy Office of Legacy Management. DE-AC01-02GJ79491 Approved for public release; distribution is unlimited. Office of Legacy Management Office of Legacy Management Office of Legacy Management U.S. Department of Energy S0191800 DOE-LM/1305-2006 Office of Legacy Management Verification Monitoring Report for the Gunnison, Colorado, Processing Site September 2006 Work Performed by S.M. Stoller Corporation under DOE Contract No. DE-AC01-02GJ79491 for the U.S. Department of Energy Office of Legacy Management, Grand Junction, Colorado U.S. Department of Energy 2006 Verification Monitoring Report-Gunnison, Colorado, Processing Site September 2006 Doc. No. S0191800

423

ENERGY STAR Test Procedures and Verification | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

ENERGY STAR » ENERGY STAR Test ENERGY STAR » ENERGY STAR Test Procedures and Verification ENERGY STAR Test Procedures and Verification The Department of Energy (DOE) is the lead agency in the development and revision of all test procedures for products in the ENERGY STAR® program, including those products that are also subject to DOE's Energy Conservation Standards program. As specifications are updated and new products or metrics are added to the ENERGY STAR program, DOE is responsible for developing and revising methods, responding to stakeholder comments, and answering any testing-related questions that arise as a result of the procedures being utilized. To simplify the process for interested parties, more information on the test procedure development for ENERGY STAR products can be found on each of

424

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols  

E-Print Network (OSTI)

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.

Delzanno, Giorgio; Zavattaro, Gianluigi; 10.4204/EPTCS.60.4

2011-01-01T23:59:59.000Z

425

SEEC- Regional Energy Baselines and Measurement and Verification Protocols  

E-Print Network (OSTI)

The Southern Energy Efficiency Center (SEEC) was established to substantially increase the deployment of high-performance “beyond-code” buildings across the southern region of the U.S, funded by the U.S. Department of Energy (DOE) Building Technologies Program and is administered by the National Energy Technology Laboratory. During its first 18-month phase, to address efficiency goals of states, utilities, and various energy-efficiency programs; project efforts include defining the baseline energy patterns within the project region and the measurement and verification (M&V) protocols for use in determining the efficiency improvements SEEC, state and USDOE efforts with respect to that baseline. This work is defined under the SEEC Subtask 3.1 Define Regional Baselines and Measurement & Verification Protocols. This report presents preliminary deliverables of this subtask developed and documented by the Energy Systems Laboratory (ESL) for use by the SEEC member state region.

Kim, H.; Haberl, J. S.; Verdict, M.

2009-03-01T23:59:59.000Z

426

Analytical Benchmark Test Set for Criticality Code Verification  

Science Conference Proceedings (OSTI)

A number of published numerical solutions to analytic eigenvalue (k{sub eff}) and eigenfunction equations are summarized for the purpose of creating a criticality verification benchmark test set. The 75-problem test set allows the user to verify the correctness of a criticality code for infinite medium and simple geometries in one- and two-energy groups, one- and two-media, and both isotropic and anisotropic neutron scattering. The problem specifications will produce both k{sub eff} = 1 and the quoted k{sub {infinity}} to at least five decimal places. Additional uses of the test set for code verification are also discussed. A list of 45 references and an appendix with k{sub {infinity}} derivations is also included.

Avneet Sood; D. K. Parsons; R. A. Forster

1999-07-01T23:59:59.000Z

427

Fueled emitter final test report TFE Verification Program  

DOE Green Energy (OSTI)

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

Not Available

1994-07-01T23:59:59.000Z

428

Directed Search for the Verification of Communication Protocols  

E-Print Network (OSTI)

There is a need for formal methods to verify correctness of software and hardware systems. Automated verification techniques basically explore the state space of a system in order to establish whether or not it behaves correctly. The main drawback of such methods is the state explosion problem. The size of the state space can grow exponentially in the number of components of the system, especially in asynchronous concurrent systems. In early stages of system development, errors are likely to appear. As a matter of fact, in practice, automated verification has been shown to be more successful in finding errors in systems than in proving correctness. Usually, one applies reachability algorithms like depth-first, and breadth-first search for this purpose. Breadth-first search is, in general, not memory-efficient, but offers shortest counterexamples. On the other hand, depth-first search is more memory-efficient, but delivers suboptimal counterexamples. We propose and analyze the use of...

Alberto Lluch Lafuente; Dekan Prof; Erstgutachter Prof; Dr. Thomas Ottmann; Dr. Thomas Ottmann; Zweitgutachter Prof; Dr. Stefan Leue

2003-01-01T23:59:59.000Z

429

Oak Ridge Associated VERIFICATION SURVEY Universities OF THE  

Office of Legacy Management (LM)

ORAU 89/K-79 ORAU 89/K-79 Prepared by ERIFICATION Oak Ridge Associated VERIFICATION SURVEY Universities OF THE Drepared of SHIPPINGPORT ATOMIC POWER STATION Facility and Site Decommissioning SHIPPINGPORT, PENNSYLVANIA I Projects U.S. Department R LANDIS ot Energy M. R. LANDIS ot Energy Environmental Survey and Site Assessment Program Energy/Environment Systems Division FINAL REPORT .i~ ~~ . ~NOVEMBER 1989 .Ii_- ORAU 89/K-79 VERIFICATION SURVEY OF THE SHIPPINGPORT ATOMIC POWER STATION SHIPPINGPORT, PENNSYLVANIA Prepared by M. R. Landis Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Associated Universities 3*P~~~ ~~Oak Ridge, Tennessee 37831-0117 U~~~~~~~~1 ~Project Staff S. F. Barnett F. A. Payne J. D. Berger J. L. Payne G. R. Foltz E. A. Powell

430

Slicing Concurrent Real-Time System Specifications for Verification  

E-Print Network (OSTI)

The high-level specification language CSP-OZ-DC has been shown to be well-suited for modelling and analysing industrially relevant concurrent real-time systems. It allows us to model each of the most important functional aspects such as control flow, data, and real-time requirements in adequate notations, maintaining a common semantic foundation for subsequent verification. Slicing on the other hand has become an established technique to complement the fight against state space explosion during verification which inherently accompanies increasing system complexity. In this paper, we exploit the special structure of CSP-OZ-DC specifications by extending the dependence graph—which usually serves as a basis for slicing—with several new types of dependencies, including timing dependencies derived from the specification’s DC part. Based on this we show how to compute a specification slice and prove correctness of our approach.

Ingo Brückner

2007-01-01T23:59:59.000Z

431

AHAM Letter Acknowledging DOE Letter on Verification Program  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

26, 2013 26, 2013 By E-Mail Ms. Kathleen B. Hogan Deputy Assistant Secretary for Energy Efficiency Energy Efficiency and Renewable Energy U.S. Department of Energy 1000 Independence Avenue, SW Washington, DC 20585-0121 Dear Ms. Hogan: I am writing regarding your letter dated April 26, 2013, in which the U.S. Department of Energy (DOE or the Department) adopted a new policy regarding DOE ENERGY STAR verification

432

Combining CSP and B for Specification and Property Verification  

E-Print Network (OSTI)

Abstract. ProB is a model checking tool for the B Method. In this paper we present an extension of ProB that supports checking of specifications written in a combination of CSP and B. We explain how the notations are combined semantically and give an overview of the implementation of the combination. We illustrate the benefit that appropriate use of CSP, in conjunction with our tool, gives to B developments both for specification and for verification purposes.

Michael Butler; Michael Leuschel

2005-01-01T23:59:59.000Z

433

Handbook for Verification and Validation of Digital Systems  

Science Conference Proceedings (OSTI)

With the increasing use of digital instrumentation and control systems in power plants, utilities must determine the dependability and predictability of such systems and their software. This updated handbook provides a comprehensive guide to help utilities understand the verification and validation (V&V) process. The handbook presents a graded approach to select convenient V&V methods, develop a V&V plan, generate necessary documentation, and conduct appropriate V&V activities.

1998-12-15T23:59:59.000Z

434

Code Verification of the HIGRAD Computational Fluid Dynamics Solver  

DOE Green Energy (OSTI)

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

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

2012-05-04T23:59:59.000Z

435

Verification and validation guidelines for high integrity systems. Volume 1  

SciTech Connect

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

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

1995-03-01T23:59:59.000Z

436

USE OF NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE CONDITIONS IN THE  

Open Energy Info (EERE)

NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE CONDITIONS IN THE NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE CONDITIONS IN THE COSO EGS PROJECT Jump to: navigation, search GEOTHERMAL ENERGYGeothermal Home Conference Proceedings: USE OF NATURALLY-OCCURRING TRACERS TO MONITOR TWO-PHASE CONDITIONS IN THE COSO EGS PROJECT Details Activities (1) Areas (1) Regions (0) Abstract: A dramatic decrease in the ratio of chloride to boron was observed in the liquid discharge of a well proposed for EGS development in the Coso geothermal field. The decrease appears to be related to the transformation of some feed zones in the well from liquid-dominated to vapor-dominated. High concentrations of boron are transported to the wellbore in the steam, where it fractionates to the liquid phase flowing in from liquid-dominated feed zones. The high-boron steam is created when the

437

The use of air as a natural tracer infractured hydrothermal systems, Los Azufres, Mexico, case study  

DOE Green Energy (OSTI)

Injection of atmospheric air mixed with cold water has been occurring since 1982 at the Los Azufres geothermal field. Several chemical and thermodynamical evidences show that air injection into this fractured hydrothermal system could be considered as a long term natural tracer test. Nitrogen and Argon separated from the air mixture migrate, under the action of the induced injection-extraction gradient, from reinjection sectors to production zones following preferential paths closely related to high permeability conduits. A coarse numerical estimation of the average permeability tensor existing at Tejamaniles, the southern sector, explains the unsuccessful recovery of the artificial tracer tests performed in past years: the anisotropic nature of the fractured volcanic rock would demand considerably quantities of tracer in order to be detected at the producing wells, especially when fluid extraction was low. At the same time concentrations of calcium, cesium, chloride, potassium, rubidium and sodium, are increasing in the liquid produced by the oldest wells of this field's sector.

Mario Cesar Sudrez Arriaga; Hector Gutierrez Puente, Josefina Moreno Ochoa

1991-01-01T23:59:59.000Z

438

Kinetics of fluorescein decay and its application as a geothermal tracer  

Science Conference Proceedings (OSTI)

This paper reports on fluorescent which is a dye used to trace the path of injected fluids through geothermal reservoirs. The authors have measured its thermal stability at temperatures up to 300{degrees} C in hydrothermal autoclaves at various fluid compositions, pHs, and oxygen concentrations. The results of these experiments indicate that fluorescein will decay less than 10% during a one month tracer test in geothermal reservoirs with temperatures below 210{degrees} C. For tracer test involving longer times and/or higher temperatures, the activation parameters presented in this study can be used to correct for thermal decay. These parameters were applied to a tracer test conducted at the Dixie Valley, Nevada geothermal system to correct for the thermal decay of fluorescein and to deduce the effective temperature of the injection-production flow path.

Adams, M.C.; Davis, J. (Univ. of Utah Research Inst., Salt Lake City, UT (US))

1991-01-01T23:59:59.000Z

439

Enthalpy and mass flowrate measurements for two-phase geothermal production by Tracer dilution techniques  

Science Conference Proceedings (OSTI)

A new technique has been developed for the measurement of steam mass flowrate, water mass flowrate and total enthalpy of two-phase fluids produced from geothermal wells. The method involves precisely metered injection of liquid and vapor phase tracers into the two-phase production pipeline and concurrent sampling of each phase downstream of the injection point. Subsequent chemical analysis of the steam and water samples for tracer content enables the calculation of mass flowrate for each phase given the known mass injection rates of tracer. This technique has now been used extensively at the Coso geothermal project, owned and operated by California Energy Company. Initial validation of the method was performed at the Roosevelt Hot Springs geothermal project on wells producing to individual production separators equipped with orificeplate flowmeters for each phase.

Hirtz, Paul; Lovekin, Jim; Copp, John; Buck, Cliff; Adams, Mike

1993-01-28T23:59:59.000Z

440

NREL: PVWatts - How to Interpret PVWatts Results  

NLE Websites -- All DOE Office Websites (Extended Search)

Interpret PVWatts(tm) Results Interpret PVWatts(tm) Results The monthly and yearly energy production estimates are modeled using the selected photovoltaic (PV) system parameters and weather data that are typical or representative of long-term averages. For reference or comparison with local information, the solar radiation values modeled for the PV array are included in the performance results. Because weather patterns vary from year to year, the values in the tables are better indicators of long-term performance than of performance for a particular month or year. PV performance is largely proportional to the solar radiation received, which may vary from the long-term average by 30% monthly and 10% yearly. Solar radiation variance for a specific location can be evaluated by examining the tables in the Solar Radiation Data Manual

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


441

Automatic Interpretation of Human Head Movements  

E-Print Network (OSTI)

This paper describes a complete face tracking system that interprets human head movements in real time. The system combines motion analysis with reliable and efficient object recognition strategies. It classifies head movements as "yes" (nodding head), "no" (shaking head) or "nothing" (still head). The system's skill allows contactless man-machine interaction, thus giving access to a number of new applications. 1 Introduction As industrialization proceeds, the importance of interactions between man and machine increases rapidly. Information flow from machine to man has become comfortable and direct in recent years due to tremendous progresses in computer graphics. Information flow from man to machine, on the other hand, is still on a low level. It is restricted to moving mice, pressing buttons, and typing character sequences on a keyboard. Automatic interpretation of gestures and facial expressions could reduce this imbalance and is therefore of central interrest for current and futu...

Bichsel Pentland; M. Bichsel; A. P. Pentland

1993-01-01T23:59:59.000Z

442

Single-well tracer methods for hydrogeologic evaluation of target aquifers  

DOE Green Energy (OSTI)

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.

Hall, S.H.

1994-11-01T23:59:59.000Z

443

Physical Interpretations of Nilpotent Quantum Mechanics  

E-Print Network (OSTI)

Nilpotent quantum mechanics provides a powerful method of making efficient calculations. More importantly, however, it provides insights into a number of fundamental physical problems through its use of a dual vector space and its explicit construction of vacuum. Physical interpretation of the nilpotent formalism is discussed with respect to boson and baryon structures, the mass-gap problem, zitterbewgung, Berry phase, renormalization, and related issues.

Peter Rowlands

2010-04-09T23:59:59.000Z

444

Regional interpretation of Kansas aeromagnetic data  

DOE Green Energy (OSTI)

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.

Yarger, H.L.

1982-01-01T23:59:59.000Z

445

Practical aspects of dynamic verification of extensometers; Part 1 -- The concepts  

SciTech Connect

Material property studies frequently require the measurement of load and strain. Accurate measurement of both parameters is essential. Methods for accurate static calibration and verification of load transducers and extensometers are well established. More recently, standard practices have been developed for the dynamic calibration of load transducers. Still in its infancy is a standard method for dynamic verification of extensometers. Dynamic verification introduces a wide range of new issues. These encompass not only the transducer but also the conditioning electronics and actual test machine. Static calibration permits the elimination of nearly all dynamics, whereas dynamic verification must be done in the presence of these dynamic effects. This paper outlines the various concepts that need to be understood when performing the dynamic verification of an extensometer. Problems related to computer aided verification are emphasized, issues of aliasing and resolution in particular.

Albright, F.J.; Annala, J. (MTS Systems Corp., Eden Prairie, MN (United States))

1994-01-01T23:59:59.000Z

446

Wind Turbine Verification Project Experience: 1999: U.S. Department of Energy - EPRI Wind Turbine Verification Program  

Science Conference Proceedings (OSTI)

EPRI and the U.S. Department of Energy (DOE) initiated the Turbine Verification Program (TVP) in 1992 to evaluate prototype advanced wind turbines and to provide a bridge from development programs to commercial purchases. This report provides an overview and comparisons of site and operating experiences at the seven TVP projects in Ft. Davis, Texas; Searsburg, Vermont; Kotzebue, Alaska; Glenmore, Wisconsin; Algona, Iowa; Springview, Nebraska; and Big Spring, Texas. The lessons learned throughout the prog...

2000-12-12T23:59:59.000Z

447

Intelligent Collection Environment for an Interpretation System  

SciTech Connect

An Intelligent Collection Environment for a data interpretation system is described. The environment accepts two inputs: A data model and a number between 0.0 and 1.0. The data model is as simple as a single word or as complex as a multi-level/multidimensional model. The number between 0.0 and 1.0 is a control knob to indicate the user's desire to allow loose matching of the data (things are ambiguous and unknown) versus strict matching of the data (things are precise and known). The environment produces a set of possible interpretations, a set of requirements to further strengthen or to differentiate a particular subset of the possible interpretation from the others, a set of inconsistencies, and a logic map that graphically shows the lines of reasoning used to derive the above output. The environment is comprised of a knowledge editor, model explorer, expertise server, and the World Wide Web. The Knowledge Editor is used by a subject matter expert to define Linguistic Types, Term Sets, detailed explanations, and dynamically created URI's, and to create rule bases using a straight forward hyper matrix representation. The Model Explorer allows rapid construction and browsing of multi-level models. A multi-level model is a model whose elements may also be models themselves. The Expertise Server is an inference engine used to interpret the data submitted. It incorporates a semantic network knowledge representation, an assumption based truth maintenance system, and a fuzzy logic calculus. It can be extended by employing any classifier (e.g. statistical/neural networks) of complex data types. The World Wide Web is an unstructured data space accessed by the URI's supplied as part of the output of the environment. By recognizing the input data model as a query, the environment serves as a deductive search engine. Applications include (but are not limited to) interpretation of geophysical phenomena, a navigation aid for very large web sites, monitoring of computer or sensor networks, customer support, trouble shooting, and searching complex digital libraries (e.g. genome libraries).

Maurer, W J

2001-07-19T23:59:59.000Z

448

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

SciTech Connect

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

P.C. Weaver

2010-02-10T23:59:59.000Z

449

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

SciTech Connect

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

W.C. Adams

2010-05-24T23:59:59.000Z

450

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

Science Conference Proceedings (OSTI)

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

W.C. Adams

2010-07-21T23:59:59.000Z

451

The Dispersion of Tracer Plumes in Mountainous Regions in Central Arizona: Comparisons between Observations and Modeling Results  

Science Conference Proceedings (OSTI)

A three-dimensional, time-dependent, nested-grid model is used to calculate the targeting of tracer or Seeding material over complex terrain in northern Arizona. Good agreement with measurements of SF6 tracer is reported in three case studies. ...

Roelof T. Bruintjes; Terry L. Clark; William D. Hall

1995-04-01T23:59:59.000Z

452

Tracer Conservation for Three-Dimensional, Finite-Element, Free-Surface, Ocean Modeling on Moving Prismatic Meshes  

Science Conference Proceedings (OSTI)

Large-scale free-surface ocean models designed to run over climatic time scales are required to globally conserve the volume and any tracer up to machine precision. In addition, local consistency is critical and requires that the discrete tracer ...

Laurent White; Vincent Legat; Eric Deleersnijder

2008-02-01T23:59:59.000Z

453

Southeast Geyers Cooperative Tracer Evaluation and Testing Program for the Purpose of Estimating The Efficiency of Injection  

DOE Green Energy (OSTI)

The Southeast Geysers Cooperative Tracer Evaluation Program has been a joint project located in the SE part of the Geysers geothermal field, in Lake and Sonoma Counties, California. A new generation of environmentally benign vapor-phase tracers has been used to estimate the varying degrees to which injectate is being recovered following the significant increase of injected volumes within the Southeast Geysers.

J.L. (Bill) Smith

2001-02-12T23:59:59.000Z

454

Geophysics II. Tools for seismic interpretation  

SciTech Connect

During the past two decades, the technology of geophysics has exploded. At the same time, the petroleum industry has been forced to look for more and more subtle traps in more and more difficult terrain. The choice of papers in this geophysics reprint volume reflects this evolution. The papers were chosen to help geologists, not geophysicists, enhance their knowledge of geophysics. Math-intensive papers were excluded because those papers are relatively esoteric and have limited applicability for most geologists. This volume concentrates on tools for seismic data interpretation. Each of the 25 papers were abstracted and indexed for the U.S. Department of Energy's Energy Data Base.

Beaumont, E.A.; Foster, N.H. (comps.)

1989-01-01T23:59:59.000Z

455

Ocean Skeletal Structures Hypotheses and Interpretation  

E-Print Network (OSTI)

In this paper we discuss hypotheses on formation of ocean skeletal structures. These structures entered the ocean together with atmospheric precipitation and were assembled from fragments of skeletal structures present in clouds. We base interpretation of this phenomenon on surface tension forces between fundamental tubular blocks of the investigated structures that may also occur beneath the ocean surface. A capillary model is presented to explain formation of a network of interacting tubes. Data about the nature of ocean skeletal structures can be instrumental in modeling many processes associated with physics of the ocean.

Rantsev-Kartinov, V A

2010-01-01T23:59:59.000Z

456

Ocean Skeletal Structures Hypotheses and Interpretation  

E-Print Network (OSTI)

In this paper we discuss hypotheses on formation of ocean skeletal structures. These structures entered the ocean together with atmospheric precipitation and were assembled from fragments of skeletal structures present in clouds. We base interpretation of this phenomenon on surface tension forces between fundamental tubular blocks of the investigated structures that may also occur beneath the ocean surface. A capillary model is presented to explain formation of a network of interacting tubes. Data about the nature of ocean skeletal structures can be instrumental in modeling many processes associated with physics of the ocean.

V. A. Rantsev-Kartinov; C. G. Parigger

2010-04-20T23:59:59.000Z

457

Geothermal well log interpretation. Progress report  

DOE Green Energy (OSTI)

Progress is presented on the following tasks: review of the state-of-the-art, classification of geothermal reservoir types, data acquisition, problem definition and directions for solution, and refinement of existing interpretation techniques and development of new ones. Computerized literature searches were conducted. The classification system defines five major characteristics which will qualify a potential reservoir. A catalog lists well logs currently available for study. Rock and fluid parameters needed for reservoir studies are listed. A list of matrix characteristics for rocks and minerals is given. (MHR)

Not Available

1978-01-01T23:59:59.000Z

458

Three-Dimensional Tracer Structure and Behavior as Simulated in Two Ozone Precursor Experiments  

Science Conference Proceedings (OSTI)

The GFDL 11-level general circulation/tracer model is used for two experiments designed to prepare the way for a self-consistent model of atmospheric ozone. The first experiment invokes a very simple condition at the top model level, an ...

J. D. Mahlman; H. Levy; W. J. Moxim

1980-03-01T23:59:59.000Z

459

The Obduction of Equatorial 13°C Water in the Pacific Identified by a Simulated Passive Tracer  

Science Conference Proceedings (OSTI)

The obduction of equatorial 13°C Water in the Pacific is investigated using a simulated passive tracer of the Consortium for Estimating the Circulation and Climate of the Ocean (ECCO). The result shows that the 13°C Water initialized in the ...

Tangdong Qu; Shan Gao; Ichiro Fukumori; Rana A. Fine; Eric J. Lindstrom

2010-10-01T23:59:59.000Z

460

Assimilation of Stratospheric Chemical Tracer Observations Using a Kalman Filter. Part I: Formulation  

Science Conference Proceedings (OSTI)

The first part of this two-part article describes the formulation of a Kalman filter system for assimilating limb-sounding observations of stratospheric chemical constituents into a tracer transport model. The system is based on a two-dimensional ...

Richard Ménard; Stephen E. Cohn; Lang-Ping Chang; Peter M. Lyster

2000-08-01T23:59:59.000Z

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


461

A Wavelet-Based Reduced Rank Kalman Filter for Assimilation of Stratospheric Chemical Tracer Observations  

Science Conference Proceedings (OSTI)

A suboptimal Kalman filter system that evolves error covariances in terms of a truncated set of wavelet coefficients has been developed for the assimilation of chemical tracer observations of CH4. The truncation is carried out in such a way that ...

Ludovic Auger; Andrew V. Tangborn

2004-05-01T23:59:59.000Z

462

On parameterization of the inverse problem for estimating aquifer properties using tracer data  

E-Print Network (OSTI)

for estimating aquifer properties using tracer data, Water Resour. Res., 48, W06535, doi:10.1029/2011WR011203. 1. However, the calibration of distributed ground- water models based on limited measurements is generally or smoothing in the property of interest, to make underdetermined inverse problems well posed [Yeh, 1986

Hubbard, Susan

463

Hydrogeophysical tracking of three-dimensional tracer migration: The concept and application of apparent  

E-Print Network (OSTI)

conductivity and water content [e.g., Binley et al., 2002; Yeh et al., 2002], and has been successfully used, Water Resour. Res., 42, W06422, doi:10.1029/2005WR004568. 1. Introduction [2] We use cross the geophysical parameter values measured in the field to properties such as water content or tracer concentration

Singha, Kamini

464

Using chemical tracers in hillslope soils to estimate the importance of chemical denudation under  

E-Print Network (OSTI)

Using chemical tracers in hillslope soils to estimate the importance of chemical denudation under mass. The model includes both sediment transport and chemical denudation. A simplified two-phase model is developed; the two phases are a chemically immobile phase, which has far lower solubility than the bulk soil

465

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

Science Conference Proceedings (OSTI)

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.

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

2010-10-01T23:59:59.000Z

466

Preferred methods of analysis for chemical tracers in moderate- and high-temperature geothermal environments  

DOE Green Energy (OSTI)

This report describes the sampling and analytical techniques used for tracer analysis in the Raft River and East Mesa field tests. The collection procedures and sample preservation techniques, analytical methods and possible sources of contamination or error are discussed in detail. 6 refs.

Kroneman, R.L.; Yorgason, K.R.; Moore, J.N.

1984-12-01T23:59:59.000Z

467

SF6-3He Tracer Release Experiment: A New Method of  

E-Print Network (OSTI)

. Gas Transfer Velocities. In addition to the longitudinal dispersion coefficient, gas transferSF6-3He Tracer Release Experiment: A New Method of Determining Longitudinal Dispersion Coefficients, Columbia University, Palisades, New York 10964 Longitudinal dispersion coefficients have been determined

Clark, Jordan

468

Lagrangian and Tracer Evolution in the Vicinity of an Unstable Jet  

Science Conference Proceedings (OSTI)

The dynamics of Lagrangian particles and tracers in the vicinity of a baroclinically unstable zonal jet are investigated in a simple two-layer model with an initially quiescent lower layer. The presence of a growing wave induces a particle drift ...

Emmanuel Boss; Lu Anne Thompson

1999-02-01T23:59:59.000Z

469

Use of Passive Tracers as a Diagnostic Tool in Coupled Model Simulations—Northern Hemisphere  

Science Conference Proceedings (OSTI)

This study focuses on the uptake of a passive idealized tracer in the Northern Hemisphere oceans from two coupled ocean–atmosphere simulations: a standard horizontal diffusion case and the second case including the Gent and McWilliams (GM) eddy ...

Siobhan P. O'Farrell

2002-03-01T23:59:59.000Z

470

Quantification of the Lateral Boundary Forcing of a Regional Climate Model Using an Aging Tracer  

Science Conference Proceedings (OSTI)

The present work introduces a new and useful tool to quantify the lateral boundary forcing of a regional climate model (RCM). This tool, an aging tracer, computes the time the air parcels spend inside the limited-area domain of an RCM. The aging ...

Philippe Lucas-Picher; Daniel Caya; Sébastien Biner; René Laprise

2008-12-01T23:59:59.000Z

471

Locating of leaks in water-cooled generator stator bars using perfluorocarbon tracers  

SciTech Connect

Water cooled stator bars in power plant generators often fail during the maintenance cycle due to water leakage. After the hydrogen pressure in the generator shell has been released water can leak through cracks in the copper and through the insulation. Leaking bars, but not the leaks themselves, are detected with so-called ``hi-pot`` (high potential) tests where direct electrical current is applied to the stator bar windings. A study initiated by ConEd and Brookhaven`s Tracer Technology Center to explore the cause of these leakage problems to determine if the failures originate in the manufacturing process or are created in service by phase related torque stresses. To this purpose bars that had failed the hi-pot test were investigated first with the insulation in place and then stripped to the bare copper. The bars were pressurized with gases containing perfluorocarbon tracers and the magnitude and location of the leaks was detected by using tracers technology principles and instruments such as the ``double source`` method and the Dual Trap Analyzer. In the second part of the project the windings within a generator were tested in-situ for leaks during an outage using tracer principles. Recommendations are given suggesting the shut down of stator bar cooling water before hydrogen bleeding during outages and a revision of the current vent flow rate. The new standard should establish a reasonable leak rate for the stator bar windings proper and exclude leakage of pump seals and connections. Testing during the maintenance cycle in generators should include routine tracer leak detection following the hi-pot test.

Loss, W.M.; Dietz, R.N.

1991-09-01T23:59:59.000Z

472

Locating of leaks in water-cooled generator stator bars using perfluorocarbon tracers  

SciTech Connect

Water cooled stator bars in power plant generators often fail during the maintenance cycle due to water leakage. After the hydrogen pressure in the generator shell has been released water can leak through cracks in the copper and through the insulation. Leaking bars, but not the leaks themselves, are detected with so-called hi-pot'' (high potential) tests where direct electrical current is applied to the stator bar windings. A study initiated by ConEd and Brookhaven's Tracer Technology Center to explore the cause of these leakage problems to determine if the failures originate in the manufacturing process or are created in service by phase related torque stresses. To this purpose bars that had failed the hi-pot test were investigated first with the insulation in place and then stripped to the bare copper. The bars were pressurized with gases containing perfluorocarbon tracers and the magnitude and location of the leaks was detected by using tracers technology principles and instruments such as the double source'' method and the Dual Trap Analyzer. In the second part of the project the windings within a generator were tested in-situ for leaks during an outage using tracer principles. Recommendations are given suggesting the shut down of stator bar cooling water before hydrogen bleeding during outages and a revision of the current vent flow rate. The new standard should establish a reasonable leak rate for the stator bar windings proper and exclude leakage of pump seals and connections. Testing during the maintenance cycle in generators should include routine tracer leak detection following the hi-pot test.

Loss, W.M.; Dietz, R.N.

1991-09-01T23:59:59.000Z

473

Introduction to Measurement & Verification for DOE Super ESPC Projects  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Introduction to M&V Introduction to M&V Introduction to Measurement & Verification for DOE Super ESPC Projects June 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at http://www1.eere.energy.gov/femp/financing/superespcs_mvresources.html. Introduction to M&V Contents WHY MEASURE AND VERIFY? .................................................................................... 1 OVERVIEW OF M&V ...................................................................................................... 1

474

ICDF Complex Waste Profile and Verification Sample Guidance  

Science Conference Proceedings (OSTI)

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

W. M. Heileson

2006-10-01T23:59:59.000Z

475

Application of Forecast Verification Science to Operational River Forecasting in the U.S. National Weather Service  

Science Conference Proceedings (OSTI)

Forecast verification in operational hydrology has been very limited to date, mainly due to the complexity of verifying both forcing input forecasts and hydrologic forecasts on multiple space–time scales. However, forecast verification needs to ...

Julie Demargne; Mary Mullusky; Kevin Werner; Thomas Adams; Scott Lindsey; Noreen Schwein; William Marosi; Edwin Welles

2009-06-01T23:59:59.000Z

476

Review of the Y-1-12 Implementation Verification Review Processes, June 2012  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Y-12 Implementation Verification Review Y-12 Implementation Verification Review Processes May 2011 June 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy i Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope ...................................................................................................................................................... 1

477

Review of the Y-1-12 Implementation Verification Review Processes, June 2012  

NLE Websites -- All DOE Office Websites (Extended Search)

Y-12 Implementation Verification Review Y-12 Implementation Verification Review Processes May 2011 June 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy i Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope ...................................................................................................................................................... 1

478

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics  

Science Conference Proceedings (OSTI)

Java+ITP is an experimental tool for the verification of properties of a sequential imperative subset of the Java language. It is based on an algebraic continuation passing style (CPS) semantics of this fragment as an equational theory in Maude. It supports ... Keywords: Hoare logic, Java, algebraic semantics, program verification

Ralf Sasse; José Meseguer

2007-07-01T23:59:59.000Z

479

Comments for A Conference on Verification in the 21st Century  

SciTech Connect

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

Doyle, James E. [Los Alamos National Laboratory

2012-06-12T23:59:59.000Z

480

Spatial clearance verification using 3D laser range scanner and augmented reality  

Science Conference Proceedings (OSTI)

A spatial clearance verification system for supporting nuclear power plant dismantling work was developed and evaluated by a subjective evaluation. The system employs a three-dimensional laser range scanner to obtain threedimensional surface models of ... Keywords: augmented reality, decommissioning, laser range scanner, nuclear power plants, spatial clearance verification

Hirotake Ishii; Shuhei Aoyama; Yoshihito Ono; Weida Yan; Hiroshi Shimoda; Masanori Izumi

2011-07-01T23:59:59.000Z

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


481

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation  

Science Conference Proceedings (OSTI)

Many applications (such as system and user monitoring, runtime verification, diagnosis, observation-based decision making, intention recognition) all require to detect the occurrence of an event in a system, which entails the ability to observe the system. ... Keywords: 68Q17, 68U99, 68W25, Complexity, Event detection, Logic programming, Runtime verification, Temporal logic

Marco Alberti; Pierangelo Dell'Acqua; Luís Moniz Pereira

2011-07-01T23:59:59.000Z

482

Using position extrema points to capture shape in on-line handwritten signature verification  

Science Conference Proceedings (OSTI)

There is considerable interest in authentication based on handwritten signature verification (HSV) because of the long-standing tradition of its use in many common authentication tasks. HSV may be considered superior to many other biometric authentication ... Keywords: Authentication, Biometrics, Handwritten signature verification

G. K. Gupta; R. C. Joyce

2007-10-01T23:59:59.000Z

483

An invariant-based approach to the verification of asynchronous parameterized networks  

Science Conference Proceedings (OSTI)

A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number of homogeneous processes. To cope with this problem we combine ... Keywords: Asynchronous networks, Induction, Invariant generation, Model checking, Program verification, Simulation

Igor V. Konnov; Vladimir A. Zakharov

2010-11-01T23:59:59.000Z

484

Writer-independent off-line signature verification using surroundedness feature  

Science Conference Proceedings (OSTI)

The paper presents a novel set of features based on surroundedness property of a signature (image in binary form) for off-line signature verification. The proposed feature set describes the shape of a signature in terms of spatial distribution of black ... Keywords: Feature selection, Shape, Signature verification, Surroundedness, Texture

Rajesh Kumar; J. D. Sharma; Bhabatosh Chanda

2012-02-01T23:59:59.000Z

485

Verification & validation by docking: a case study of agent-based models of Anopheles gambiae  

Science Conference Proceedings (OSTI)

In this paper, using the technique of docking, we perform verification & validation (V&V) of agent-based simulation models that simulate the life cycle of Anopheles gambiae, the primary vector for malaria transmission. Working with one ... Keywords: Anopheles gambiae, docking, malaria epidemiology, verification & validation

S. M. Niaz Arifin; Gregory J. Davis; Ying Zhou

2010-07-01T23:59:59.000Z

486

A CSP-based framework for the specification, verification, and implementation of adaptive systems  

Science Conference Proceedings (OSTI)

The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass ... Keywords: adaptive systems, csp, modeling, verification

Björn Bartels; Moritz Kleine

2011-05-01T23:59:59.000Z

487

A novel verification technique to uncover out-of-order DUV behaviors  

Science Conference Proceedings (OSTI)

Post-partitioning verification has to deal with abstract data, implementation artifacts, and the order of events may not be preserved in the DUV due to the concurrency treatment in the golden model. Existing techniques are limited either by the use of ... Keywords: bipartite graphs, white-box verification

Gabriel Marcilio; Luiz C. V. Santos; Bruno Albertini; Sandro Rigo

2009-07-01T23:59:59.000Z

488

Dosimetric Verification of IMRT Treatment Plans Using an Electronic Portal Imaging Device  

Science Conference Proceedings (OSTI)

This paper presents the procedures and results of dosimetric verification using an Electronic Portal Imaging Device as a tool for pre-treatment dosimetry in IMRT technique at the Greater Poland Cancer Centre in Poznan, Poland. The evaluation of dosimetric verification for various organ, during a 2 year period is given.

Kruszyna, Marta [Department of Physics, Adam Mickiewicz University in Poznan, Umultowska 85 St., 61-614 Poznan and Department of Medical Physics, Grater Poland Cancer Centre in Poznan, Garbary 15 St, 61-866 Poznan (Poland)

2010-01-05T23:59:59.000Z

489

Comparison of results of two dye-tracer tests at the Chestnut Ridge Security Pits, Y-12 Plant, Oak Ridge, Tennessee  

SciTech Connect

Personnel from Martin Marietta Energy Systems, Inc. (Energy Systems) manage a closed hazardous waste disposal unit the Chestnut Ridge Security Pits (CRSP), located on the crest of Chestnut Ridge near the Y-12 Plant, Oak Ridge, Tennessee. To investigate the discharge of groundwater from CRSP to springs and streams located along the flanks and base of Chestnut Ridge, an initial dye-tracer study was conducted during 1990. A hydraulic connection was inferred to exist between the injection well (GW-178) on Chestnut Ridge and several sites to the east-northeast, east, and southeast of CRSP. A second dye-tracer study was conducted in 1992 to verify the results of the initial test and identify additional discharge points that are active during wet-weather conditions. No definitive evidence for the presence of dye was identified at any of the 35 locations monitored during the second dye study. Although interpretations of the initial dye test suggest a hydraulic connection with several sites and CRSP, reevaluation of the spectrofluorescence data from this test suggests that dye may not have been detected during the initial test. A combination of relatively high analytical detection limits during the initial test, and high natural background interference spectral peaks observed during the second test, suggest that high natural background emission spectra near the wavelength of the dye used during the initial test may have caused the apparently high reported concentrations. The results of these two tests do not preclude that a hydraulic connection exists; dye may be present in concentrations below the analytical detection limits or has yet to emerge from the groundwater system. The dye injection well is not completed within any significant karst features. Dye migration therefore, may be within a diffuse, slow-flow portion of the aquifer, at least in the immediate vicinity of the source well.

Goldstrand, P.M. [Oak Ridge National Lab., TN (United States); Haas, J. [EIC Laboratories, Norwood, MA (United States)

1994-01-01T23:59:59.000Z

490

Interpretation and its Others (with R.A.W. Rhodes)  

E-Print Network (OSTI)

Organizations, London: Sage. Wendt, A. (1999) Social Theoryas in for example Gerring 1999, Wendt 1999). An interpretive

Bevir, Mark

2005-01-01T23:59:59.000Z

491

DNA Analyst Training on Mixture Interpretation Webcast Now ...  

Science Conference Proceedings (OSTI)

... webcast to participants across the country. ... threshold affect data analysis, interpretation, conclusions ... Please note that certificates of participation ...

2013-04-29T23:59:59.000Z

492

Nuclear Resonance Fluorescence for Material Verification in Dismantlement  

Science Conference Proceedings (OSTI)

Nuclear resonance fluorescence (NRF) is a well-established physical process that provides an isotope-specific signature that can be exploited for isotopic detection and characterization of samples. Pacific Northwest National Laboratory has been investigating possible applications of NRF for national security. Of the investigated applications, the verification of material in the dismantlement process is the most promising. Through a combination of benchmarking measurements and radiation transport modeling, we have shown that NRF techniques with existing bremsstrahlung photon sources and a modest detection system can be used to detect highly enriched uranium in the quantities and time limits relevant to the dismantlement process. Issues such as orientation, placement and material geometry do not significantly impact the sensitivity of the technique. We have also investigated how shielding of the uranium would be observed through non-NRF processes to enable the accurate assay of the material. This paper will discuss our findings on how NRF and photon-interrogation techniques may be applied to the material verification in the dismantlement process.

Warren, Glen A.; Detwiler, Rebecca S.

2011-10-01T23:59:59.000Z

493

Technology: Machine and its interpretation in architecture  

E-Print Network (OSTI)

The objective of this study is to develop a comprehensive theory for the relationship between architecture and technology and to examine the interpretation of technology when it is applied to architecture. In architecture, 'art and craft' and 'doing and saying (presentation)' are closely interwoven. It is sensitive to the external environment in nature, and its boundary has been actively changed. The nineteenth century brought the sudden alteration of culture with the collaboration between science and its applied means or knowledge - "technology". Subsequently, in the twentieth century, the new culture has transformed our normal life style and we can perceive the development of civilization sensuously. The machine as a product of industrial civilization and the symbol of technology has generated new meanings and tradition in tune with this historical trend. Therefore, this study will center on the concept 'technology', which is one of the conspicuous factors in the formation of modern architecture, and it will investigate the relationship between technology and architecture.

Kim, Ju Hong

2002-01-01T23:59:59.000Z

494

Interpreted C , Object Oriented Tcl, What next?  

E-Print Network (OSTI)

Tcl[1] is an interpreted high level language suitable for scripts, small scale systems, prototypes and embedding in larger applications. C++ is a powerful compiled language that provides support for object oriented programming and is suitable for building large complex systems. But what if you could move from C++ to Tcl and back again with the ease of an object reference and a dynamically bound function? This paper describes an extension to Tcl, or an extension to C++ depending on your perspective, that makes it possible to: O use object oriented programming concepts in Tcl O inherit from C++ classes (with dynamic binding of methods) in Tcl O instantiate C++ classes from Tcl O invoke methods upon C++ objects from Tcl O delete C++ objects from Tcl O pass Tcl objects to C++ for method invocation and deletion. The name of this extension (Tcl++ was rejected) is Object Tcl. 1 Introduction Tcl was originally designed to be embedded in larger applications, implemented ...

Dean Sheehan

1995-01-01T23:59:59.000Z

495

Generalised Kundt waves and their physical interpretation  

E-Print Network (OSTI)

We present the complete family of space-times with a non-expanding, shear-free, twist-free, geodesic principal null congruence (Kundt waves) that are of algebraic type III and for which the cosmological constant ($\\Lambda_c$) is non-zero. The possible presence of an aligned pure radiation field is also assumed. These space-times generalise the known vacuum solutions of type N with arbitrary $\\Lambda_c$ and type III with $\\Lambda_c=0$. It is shown that there are two, one and three distinct classes of solutions when $\\Lambda_c$ is respectively zero, positive and negative. The wave surfaces are plane, spherical or hyperboloidal in Minkowski, de Sitter or anti-de Sitter backgrounds respectively, and the structure of the family of wave surfaces in the background space-time is described. The weak singularities which occur in these space-times are interpreted in terms of envelopes of the wave surfaces.

J. B. Griffiths; P. Docherty; J. Podolsky

2003-10-16T23:59:59.000Z