National Library of Energy BETA

Sample records for tracer interpretation verification

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

    Open Energy Info (EERE)

    wells, much of the reservoir is left untapped. Artificial tracers added to the injected water are used to estimate the potential for short circuiting in geothermal reservoirs,...

  2. Verification of flow processes in soils with combined sprinkling and dye tracer experiments

    E-Print Network [OSTI]

    Weiler, Markus

    1 Verification of flow processes in soils with combined sprinkling and dye tracer experiments. Water flow in soils is influenced by macropores, by the heterogeneity of the soil matrix, and by the exchange of water between macropores and the soil matrix (interaction). The degree of interaction

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

    SciTech Connect (OSTI)

    Becker, Matthew W.

    2014-05-16

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

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

    SciTech Connect (OSTI)

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

    2000-08-01

    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.

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

    SciTech Connect (OSTI)

    Reimus, Paul W.

    2012-06-26

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

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

    SciTech Connect (OSTI)

    Reimus, Paul W.

    2012-08-30

    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.

  7. Tracers and Tracer Interpretation | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-EnhancingEt Al., 2013)OpenEnergy FacilitiesInformationTown700testing in

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

    Open Energy Info (EERE)

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

  9. Tracers for Characterizing Enhanced Geothermal Systems

    SciTech Connect (OSTI)

    Karen Wright; George Redden; Carl D. Palmer; Harry Rollins; Mark Stone; Mason Harrup; Laurence C. Hull

    2010-02-01

    Information about the times of thermal breakthrough and subsequent rates of thermal drawdown in enhanced geothermal systems (EGS) is necessary for reservoir management, designing fracture stimulation and well drilling programs, and forecasting economic return. Thermal breakthrough in heterogeneous porous media can be estimated using conservative tracers and assumptions about heat transfer rates; however, tracers that undergo temperature-dependent changes can provide more detailed information about the thermal profile along the flow path through the reservoir. To be effectively applied, the thermal reaction rates of such temperature sensitive traces must be well characterized for the range of conditions that exist in geothermal systems. Reactive tracers proposed in the literature include benzoic and carboxylic acids (Adams) and organic esters and amides (Robinson et al.); however, the practical temperature range over which these tracers can be applied (100-275°C) is somewhat limited. Further, for organic esters and amides, little is known about their sorption to the reservoir matrix and how such reactions impact data interpretation. Another approach involves tracers where the reference condition is internal to the tracer itself. Two examples are: 1) racemization of polymeric amino acids, and 2) mineral thermoluminescence. In these cases internal ratios of states are measured rather than extents of degradation and mass loss. Racemization of poly-L-lactic acid (for example) is temperature sensitive and therefore can be used as a temperature-recording tracer depending on the rates of racemization and stability of the amino acids. Heat-induced quenching of thermoluminescence of pre-irradiated LiF can also be used. To protect the tracers from alterations (extraneous reactions, dissolution) in geothermal environments we are encapsulating the tracers in core-shell colloidal structures that will subsequently be tested for their ability to be transported and to protect the tracers from incidental reactions. We review the criteria for practical reactive tracers, which serves as the basis for experimental testing and characterization and can be used to identify other potential candidate tracers. We will also discuss the information obtainable from individual tracers, which has implications for using multiple tracers to obtain information about the thermal history of a reservoir. We will provide an update on our progress for conducting proof-of-principle tests for reactive tracers in the Raft River geothermal system.

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    SciTech Connect (OSTI)

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

    2013-05-01

    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.

  13. Dispersion of Passive Tracers in the Surfzone

    E-Print Network [OSTI]

    Fedderson, Falk; Guza, Robert T.

    2007-01-01

    Dispersion of passive tracers in the surfzone Feddersen andThe dispersion of passive tracers, such as pollutants, in

  14. Verification of Geothermal Tracer Methods in Highly Constrained Field

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-EnhancingEt Al.,Turin, NewArkansas: EnergyVentnor City, NewVerdi EnergyExperiments

  15. Verification Testing Test Driven Development Testing with JUnit Verification

    E-Print Network [OSTI]

    Peters, Dennis

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

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

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource HistoryPotentialRuralUtilityScalePVGeneration JumpPublic Utility DistrictQuail Valley,

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

    SciTech Connect (OSTI)

    Pope, G.A.; Sepehrnoori, K.

    1992-12-31

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

  18. Tracer airflow measurement system (TRAMS)

    DOE Patents [OSTI]

    Wang, Duo (Albany, CA)

    2007-04-24

    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.

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

    Broader source: Energy.gov [DOE]

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

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

    Open Energy Info (EERE)

    A 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 OpenEI Reference...

  1. ORISE: Independent verification

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

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

  2. Orc Verification Jayadev Misra

    E-Print Network [OSTI]

    Misra, Jayadev

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

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

    SciTech Connect (OSTI)

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

    2010-06-01

    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.

  4. Voltage verification unit

    DOE Patents [OSTI]

    Martin, Edward J. (Virginia Beach, VA)

    2008-01-15

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

  5. Marine Chemistry special issue: The renaissance of radium isotopic tracers in marine processes studies

    E-Print Network [OSTI]

    by the Marine Environment Laboratories, International Atomic Energy Agency (IAEA-MEL). There were 26Editorial Marine Chemistry special issue: The renaissance of radium isotopic tracers in marine interpretation and modeling of radium measurements in marine systems as well as perspectives on special

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

    E-Print Network [OSTI]

    Encrenaz-Tiphène, Emmanuelle

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

  7. 5, 58415874, 2005 Ozone/tracer

    E-Print Network [OSTI]

    Boyer, Edmond

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

  8. Petroleum characterization by perfluorocarbon tracers

    SciTech Connect (OSTI)

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

    1992-02-01

    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.

  9. Verification and validation benchmarks.

    SciTech Connect (OSTI)

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01

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

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

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

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

  11. Tracer Methods for Characterizing Fracture Stimulation in Enhanced...

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

    Tracer Methods for Characterizing Fracture Stimulation in Enhanced Geothermal Systems (EGS); 2010 Geothermal Technology Program Peer Review Report Tracer Methods for Characterizing...

  12. Tracer Methods for Characterizing Fracture Creation in Enhanced...

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

    Tracer Methods for Characterizing Fracture Creation in Enhanced Geothermal Systems; 2010 Geothermal Technology Program Peer Review Report Tracer Methods for Characterizing Fracture...

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

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

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

  14. Hot scatterers and tracers for the transfer of heat in collisional dynamics

    E-Print Network [OSTI]

    Raphael Lefevere; Lorenzo Zambotti

    2009-03-31

    We introduce stochastic models for the transport of heat in systems described by local collisional dynamics. The dynamics consists of tracer particles moving through an array of hot scatterers describing the effect of heat baths at fixed temperatures. Those models have the structure of Markov renewal processes. We study their ergodic properties in details and provide a useful formula for the cumulant generating function of the time integrated energy current. We observe that out of thermal equilibrium, the generating function is not analytic. When the set of temperatures of the scatterers is fixed by the condition that in average no energy is exchanged between the scatterers and the system, different behaviours may arise. When the tracer particles are allowed to travel freely through the whole array of scatterers, the temperature profile is linear. If the particles are locked in between scatterers, the temperature profile becomes nonlinear. In both cases, the thermal conductivity is interpreted as a frequency of collision between tracers and scatterers.

  15. Using Biofuel Tracers to Study Alternative Combustion Regimes

    E-Print Network [OSTI]

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

    2006-01-01

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

  16. On Incremental Quantitative Verification for Probabilistic Systems

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    2014-01-01

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

  18. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15

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

  19. Model Verification and Validation

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

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

  20. Enhanced Oil Recovery: Aqueous Flow Tracer Measurement

    SciTech Connect (OSTI)

    Joseph Rovani; John Schabron

    2009-02-01

    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.

  1. Data Acquisition Interpretation

    E-Print Network [OSTI]

    Oldenburg, Douglas W.

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

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

    SciTech Connect (OSTI)

    Akhil Datta-Gupta

    2006-12-31

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

  3. Diagnosis of Ocean Mesoscale Eddy Tracer Fluxes

    E-Print Network [OSTI]

    Fox-Kemper, Baylor

    Diagnosis of Ocean Mesoscale Eddy Tracer Fluxes Baylor Fox-Kemper U. Colorado-Boulder, with Scott - 10,000 km, yrs->centuries) => resolved · Mesoscale variability (10 - 100 km, mo -> yrs) => resolved) => parameterized Boundary Layer Models Mesoscale resolving models Climate models Submesoscale variability Coupling

  4. Validation of Geothermal Tracer Methods in Highly Constrained Field Experiments

    Broader source: Energy.gov [DOE]

    DOE Geothermal Peer Review 2010 - Project Summary. This project will test smartdiffusive tracers for measuring heat exchange.

  5. Runtime verification for stochastic systems

    E-Print Network [OSTI]

    Wilcox, Cristina M

    2010-01-01

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

  6. Design for manufacturability Design verification

    E-Print Network [OSTI]

    Patel, Chintan

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

  7. USING LIDAR TO MEASURE PERFLUOROCARBON TRACERS FOR THE VERIFICATION AND MONITORING

    E-Print Network [OSTI]

    and pilot-scale indoor experiments using an a continuous wave, line-tunable infrared CO2 laser were used region Using a pilot-scale lidar system in a 40 m indoor hallway air concentrations of PMCH were

  8. Passive Tracer Dispersion with Random or Periodic Source \\Lambda

    E-Print Network [OSTI]

    Passive Tracer Dispersion with Random or Periodic Source \\Lambda Jinqiao Duan Clemson University sources on the pattern formation and long­time behavior of concentration pro­ files of passive tracers Introduction The dispersion of passive tracers (or passive scalars) occur in various geo­ physical

  9. Passive Tracer Dispersion with Random or Periodic Source

    E-Print Network [OSTI]

    Passive Tracer Dispersion with Random or Periodic Source Jinqiao Duan Clemson University sources on the pattern formation and long-time behavior of concentration pro- #12;les of passive tracers #12;1 Introduction The dispersion of passive tracers (or passive scalars) occur in various geo

  10. Tracers and Exploration Technologies | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCEDInstallers/ContractorsPhotovoltaicsState ofSavings forTitle XVIIofTracers and Exploration

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

    Open Energy Info (EERE)

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

  12. Technical challenges for dismantlement verification

    SciTech Connect (OSTI)

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

    1997-11-01

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

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

    E-Print Network [OSTI]

    Jouannaud, Jean-Pierre

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

  14. Symbolic Verification of Timed Asynchronous Hardware Protocols

    E-Print Network [OSTI]

    Stevens, Ken

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

  15. Incremental Power Grid Verification ECE Department

    E-Print Network [OSTI]

    Najm, Farid N.

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

  16. Category:Tracer Testing | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmentalBowerbank,CammackFLIR Jump to:RAPID Roadmap ContactRockEuropeTelluricTracer Testing

  17. Tracer Testing at Dixie Valley, Nevada, Using Pyrene Tetrasulfonate...

    Open Energy Info (EERE)

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

  18. Validation of Geothermal Tracer Methods in Highly Constrained...

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

    reactive tracer methods for measuring thermal evolution in CO2-and water-based geothermal reservoirs Fracture Evolution Following a Hydraulic Stimulation within an EGS Reservoir...

  19. Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

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

    2008-03-31

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

  20. Use of Tracers to Characterize Fractures in Engineered Geothermal Systems

    Broader source: Energy.gov [DOE]

    Project Objectives: Measure interwell fracture surface area and fracture spacing using sorbing tracers; measure fracture surface areas adjacent to a single geothermal well using tracers and injection/backflow techniques; design, fabricate and test a downhole instrument for measuring fracture flow following a hydraulic stimulation experiment.

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

    DOE Patents [OSTI]

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

    2014-11-04

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

  2. Following the flow: tracer particles in astrophysical fluid simulations

    E-Print Network [OSTI]

    Genel, Shy; Nelson, Dylan; Sijacki, Debora; Springel, Volker; Hernquist, Lars

    2013-01-01

    We present two independent numerical schemes for passive tracer particles in the hydrodynamical moving-mesh code Arepo, and compare their performance for various problems, from simple tests to cosmological simulations. The purpose of tracer particles is to allow the flow to be followed in a Lagrangian way, reliably tracing the evolution of the fluid. Such tracer particles can subsequently measure any local instantaneous fluid property, thereby recording the thermodynamical history of individual fluid parcels. We begin by discussing "velocity field tracers", which are advected according to the local velocity field of the fluid, and which have been commonly used in the literature. We find that such tracers do not in general follow the mass flow correctly, particularly in complex flows, and explain why this is the case. This weakness of the method can result in orders-of-magnitude biases in simulations of driven turbulence and in cosmological simulations of structure formation, rendering the velocity field trace...

  3. Functional Heads and Interpretation 

    E-Print Network [OSTI]

    Adger, David

    on interpretation is a subsidiary concern.The argument of the thesis goes as follows: firstly, reference must be made to both an independently projecting functional head Agr and to a level of discourse representation in order to adequately analyse the phenomenon...

  4. Interpretation Intelligent Systems Laboratory

    E-Print Network [OSTI]

    Ward, Koren

    1 TENS Text Interpretation Intelligent Systems Laboratory University of Wollongong TENS Text and delivering the text data to the user by electrically stimulating the fingers. Intelligent Systems Laboratory ­ University of Wollongong #12;2 The TENS Unit Intelligent Systems Laboratory ­ University of Wollongong

  5. Nuclear Data Verification and Standardization

    SciTech Connect (OSTI)

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

    2011-10-01

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

  6. National Biomedical Tracer Facility. Project definition study

    SciTech Connect (OSTI)

    Schafer, R.

    1995-02-14

    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.

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  8. An on-line human signature verification system 

    E-Print Network [OSTI]

    Simsek, Burc A

    2000-01-01

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

  9. Verification and Validation of Hybrid Systems

    E-Print Network [OSTI]

    Jin, Xiaoqing

    2013-01-01

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

  10. Input apparatus for dynamic signature verification systems

    DOE Patents [OSTI]

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

    1978-01-01

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

  11. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    NONE

    1998-12-01

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

  12. Alternative Breaks Emergency Contact & Verification of Medical

    E-Print Network [OSTI]

    Tipple, Brett

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

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

    Office of Scientific and Technical Information (OSTI)

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

  14. Fast 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

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

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

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

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

  16. Numerical Verification of Bounce Harmonic Resonances in Neoclassical

    Office of Scientific and Technical Information (OSTI)

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

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

    E-Print Network [OSTI]

    Mountziaris, T. J.

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

  18. Interpreting Deer Harvest Records. 

    E-Print Network [OSTI]

    Guynn, Dwight E.

    1984-01-01

    Agricultural Extension Service Zerle L. Carpenter. Director College Station B-1486 People Helping People Interpreting Deer Harvest Records LIB ARY Dwight f. Guynn* JUN 11 1985 Deer harvest records are extremely important to proper deer herd man... to collect from deer harvests are: ages, weights, body conditions and measurements of antler size. The data should be grouped according to age categories and ana lyzed separately for bucks and does . This pub lication describes types of calculations...

  19. The monitoring and verification of nuclear weapons

    SciTech Connect (OSTI)

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

    2014-05-09

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

  20. Weak lensing by galaxy troughs in DES Science Verification data

    E-Print Network [OSTI]

    Gruen, D; Amara, A; Bacon, D; Bonnett, C; Hartley, W; Jain, B; Jarvis, M; Kacprzak, T; Krause, E; Mana, A; Rozo, E; Rykoff, E S; Seitz, S; Sheldon, E; Troxel, M A; Vikram, V; Abbott, T; Abdalla, F B; Allam, S; Armstrong, R; Banerji, M; Bauer, A H; Becker, M R; Benoit-Levy, A; Bernstein, G M; Bernstein, R A; Bertin, E; Bridle, S L; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Carretero, J; Crocce, M; Cunha, C E; D'Andrea, C B; da Costa, L N; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Doel, P; Eifler, T F; Neto, A Fausti; Fernandez, E; Flaugher, B; Fosalba, P; Frieman, J; Gerdes, D W; Gruendl, R A; Gutierrez, G; Honscheid, K; James, D J; Kuehn, K; Kuropatkin, N; Lahav, O; Li, T S; Lima, M; Maia, M A G; March, M; Martini, P; Melchior, P; Miller, C J; Miquel, R; Mohr, J J; Nord, B; Ogando, R; Plazas, A A; Reil, K; Romer, A K; Roodman, A; Sako, M; Sanchez, E; Scarpine, V; Schubnell, M; Sevilla-Noarbe, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Thomas, D; Walker, A R; Wechsler, R H; Weller, J; Zhang, Y; Zuntz, J

    2015-01-01

    We measure the weak lensing shear around galaxy troughs, i.e. the radial alignment of background galaxies relative to underdensities in projections of the foreground galaxy field over a wide range of redshift in Science Verification data from the Dark Energy Survey. Our detection of the shear signal is highly significant (10 to 15sigma for the smallest angular scales) for troughs with the redshift range z in [0.2,0.5] of the projected galaxy field and angular diameters of 10'...1{\\deg}. These measurements probe the connection between the galaxy, matter density, and convergence fields. By assuming galaxies are biased tracers of the matter density with Poissonian noise, we find agreement of our measurements with predictions in a fiducial LambdaCDM model. The prediction for the lensing signal on large trough scales is virtually independent of the details of the underlying model for the connection of galaxies and matter. Our comparison of the shear around troughs with that around cylinders with large galaxy count...

  1. Interpretation of extragalactic jets

    SciTech Connect (OSTI)

    Norman, M.L.

    1985-01-01

    The nature of extragalatic radio jets is modeled. The basic hypothesis of these models is that extragalatic jets are outflows of matter which can be described within the framework of fluid dynamics and that the outflows are essentially continuous. The discussion is limited to the interpretation of large-scale (i.e., kiloparsec-scale) jets. The central problem is to infer the physical parameters of the jets from observed distributions of total and polarized intensity and angle of polarization as a function of frequency. 60 refs., 6 figs.

  2. Quantum Dot Tracers for Use in Engineered Geothermal Systems

    Broader source: Energy.gov [DOE]

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

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

    E-Print Network [OSTI]

    Baker, Sarah H.; Holley, Edward R.

    1987-01-01

    Accurate estimates of surface exchange rates for volatile pollutants in bays are needed to allow predictions of pollutant movement and retention time. The same types of estimates can be used to calculate reaeration rates. The tracer gas technique...

  4. Microfluidic Investigation of Tracer Dye Diffusion in Alumina Nanofluids 

    E-Print Network [OSTI]

    Ozturk, Serdar 1979-

    2012-10-05

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

  5. Tracer advection by steady groundwater flow in a stratified aquifer

    SciTech Connect (OSTI)

    Sposito, Garrison; Weeks, Scott W.

    1997-01-02

    The perfectly stratified aquifer has often been investigated as a simple, tractable model for exploring new theoretical issues in subsurface hydrology. Adopting this approach, we show that steady groundwater flows in the perfectly stratified aquifer are always confined to a set of nonintersecting permanent surfaces, on which both streamlines and vorticity lines lie. This foliation of the flow domain exists as well for steady groundwater flows in any isotropic, spatially heterogeneous aquifer. In the present model example it is a direct consequence of the existence of a stream function, we then demonstrate that tracer plume advection by steady groundwater flow in a perfectly stratified aquifer is never ergodic, regardless of the initial size of the tracer plume. This nonergodicity, which holds also for tracer advection in any isotropic, spatially heterogeneous aquifer, implies that stochastic theories of purely advective tracer plume movement err in assuming ergodic behavior to simplify probabilistic calculations of plume spatial concentration moments.

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

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAand Dalton JumpProgram |RecentSulfonate as a Liquid-Phase Tracer at the

  7. Resuspension rates from aged inert-tracer sources

    SciTech Connect (OSTI)

    Sehmel, G.A.

    1982-11-01

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

  8. About density functional theory interpretation

    E-Print Network [OSTI]

    Kirill Koshelev

    2015-05-28

    Two forms of relativistic density functional are derived from Dirac equation. Based on their structure analysis model of split electron is proposed. In this model electric charge and mass of electron behave like two point-like particles. It is shown that two electrons obeying this model cannot occupy the same quantum state. Empirical verification of the model is discussed.

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

    SciTech Connect (OSTI)

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

    2012-01-01

    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.

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

    E-Print Network [OSTI]

    Beyer, Dirk

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

  11. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

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

  12. AN INVESTIGATION INTO SUBSPACE RAPID SPEAKER ADAPTATION FOR VERIFICATION

    E-Print Network [OSTI]

    Chen, Tsuhan

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

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

    E-Print Network [OSTI]

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

  14. verification

    National Nuclear Security Administration (NNSA)

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

  15. verification

    National Nuclear Security Administration (NNSA)

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

  16. Interpretation of Helioseismic Traveltimes

    E-Print Network [OSTI]

    Burston, Raymond; Birch, Aaron C

    2015-01-01

    Time-distance helioseismology uses cross-covariances of wave motions on the solar surface to determine the travel times of wave packets moving from one surface location to another. We review the methodology to interpret travel-time measurements in terms of small, localized perturbations to a horizontally homogeneous reference solar model. Using the first Born approximation, we derive and compute 3D travel-time sensitivity (Fr\\'echet) kernels for perturbations in sound-speed, density, pressure, and vector flows. While kernels for sound speed and flows had been computed previously, here we extend the calculation to kernels for density and pressure, hence providing a complete description of the effects of solar dynamics and structure on travel times. We treat three thermodynamic quantities as independent and do not assume hydrostatic equilibrium. We present a convenient approach to computing damped Green's functions using a normal-mode summation. The Green's function must be computed on a wavenumber grid that ha...

  17. Modeling the dynamics of a tracer particle in an elastic active gel

    E-Print Network [OSTI]

    E. Ben Isaac; É. Fodor; P. Visco; F. van Wijland; N. S. Gov

    2015-07-03

    The internal dynamics of active gels, both in artificial (in-vitro) model systems and inside the cytoskeleton of living cells, has been extensively studied by experiments of recent years. These dynamics are probed using tracer particles embedded in the network of biopolymers together with molecular motors, and distinct non-thermal behavior is observed. We present a theoretical model of the dynamics of a trapped active particle, which allows us to quantify the deviations from equilibrium behavior, using both analytic and numerical calculations. We map the different regimes of dynamics in this system, and highlight the different manifestations of activity: breakdown of the virial theorem and equipartition, different elasticity-dependent "effective temperatures" and distinct non-Gaussian distributions. Our results shed light on puzzling observations in active gel experiments, and provide physical interpretation of existing observations, as well as predictions for future studies.

  18. Modeling the dynamics of a tracer particle in an elastic active gel

    E-Print Network [OSTI]

    Isaac, E Ben; Visco, P; van Wijland, F; Gov, N S

    2015-01-01

    The internal dynamics of active gels, both in artificial (in-vitro) model systems and inside the cytoskeleton of living cells, has been extensively studied by experiments of recent years. These dynamics are probed using tracer particles embedded in the network of biopolymers together with molecular motors, and distinct non-thermal behavior is observed. We present a theoretical model of the dynamics of a trapped active particle, which allows us to quantify the deviations from equilibrium behavior, using both analytic and numerical calculations. We map the different regimes of dynamics in this system, and highlight the different manifestations of activity: breakdown of the virial theorem and equipartition, different elasticity-dependent "effective temperatures" and distinct non-Gaussian distributions. Our results shed light on puzzling observations in active gel experiments, and provide physical interpretation of existing observations, as well as predictions for future studies.

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

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

    McLing, Travis; Smith, William; Smith, Robert

    2014-12-31

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

  20. Proof Planning for Automating Hardware Verification 

    E-Print Network [OSTI]

    Cantu-Ortiz, Francisco Javier

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

  1. Correct Hardware Design and Verification Methods

    E-Print Network [OSTI]

    Margaria, T.; Melham, T.F.

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

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

    E-Print Network [OSTI]

    Memon, Atif M.

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

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

    E-Print Network [OSTI]

    Belli, Fevzi

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

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

    E-Print Network [OSTI]

    Johnson, Peter D.

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

  5. Monitoring and verification R&D

    SciTech Connect (OSTI)

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

    2011-01-01

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

  6. CX-001732: Categorical Exclusion Determination

    Broader source: Energy.gov [DOE]

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

  7. COS: A new tracer to constrain photosynthetic CO2 fluxes

    E-Print Network [OSTI]

    Einat, Aharonov

    COS: A new tracer to constrain photosynthetic CO2 fluxes Dan Yakir1, Max Berkelhammer2, Hulin Chen2 COS (110-190) Indirect CS2, DMS (149-330) Unknown (~600) Stratosphere COSàSO2 OH uptake (82-110) Global COS Budget (Gg S a-1; Kettle et al., 2002; Montzka et al., 2007; Berry et al., 2013 ) Mean

  8. THE EFFECT OF TRANSVERSE MIXING ON TRACER DISPERSION

    E-Print Network [OSTI]

    Stanford University

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

  9. Analysis of Tracer Dispersion During a Prescribed Forest Burn

    E-Print Network [OSTI]

    Collins, Gary S.

    to manage global warming (Wiedinmyer, 2010) As land managers consider increased burning, air quality our understanding of pollutant emission rates associated with prescribed forest burns. Methods Site tracer and pollutant dispersion patterns. Modeling The WindTrax stochastic particle dispersion model

  10. Calibration of hydraulic and tracer tests in fractured media

    E-Print Network [OSTI]

    Politècnica de Catalunya, Universitat

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

  11. Dispersivity estimates from a tracer experiment in a sandy aquifer

    SciTech Connect (OSTI)

    Mallants, D.; Espino, A.; Van Hoorick, M.; Feyen, J.; Vandenberghe, N.; Loy, W.

    2000-04-01

    The success or failure of transport models in predicting the migration of a contaminant plume is ground water depends to a large extent on the quality of flow and transport parameters used. In this study, the authors investigate the spatial variability in the tracer velocity and dispersivity in a shallow sandy aquifer in northern Belgium. Based on hydraulic conductivity measurements on cores sampled along a vertical profile, the aquifer was found to be mildly heterogeneous, i.e., with the variance of the log-transformed conductivity K, {sigma}{sup 2}{sub lnK}, equal to 0.22. By means of a natural gradient tracer experiment, transport of a chloride tracer was investigated in a three-dimensional network of multilevel point samplers (MLS). Least squares fitting of a two-dimensional transport model to the individual breakthrough curves resulted in an average longitudinal dispersivity that was 10 times larger than the transverse dispersivity. The results further showed the existence of a dispersion-scale effect whereby the depth-averaged longitudinal dispersivity increases with increasing travel distance. The average longitudinal dispersivity corresponding to a travel distance of 10 m was equal to 0.2 m. The authors finally show that theoretical expressions for the macroscopic dispersivity tensor, which require input on hydraulic conductivity heterogeneity, could be used here to approximate the observed dispersive behavior. These conceptually simple models are useful to estimate macroscopic dispersivities when no tracer data are available.

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

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

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

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

    E-Print Network [OSTI]

    Hedrick, J. K.; Ni, A.

    2004-01-01

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

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

    E-Print Network [OSTI]

    Wang, Peng

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

  16. Logic verification using recursive learning, ATPG and transformations 

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

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

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

    E-Print Network [OSTI]

    Zee, Karen K

    2010-01-01

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

  20. High upwind concentrations observed during an upslope tracer event

    SciTech Connect (OSTI)

    Ciolek, J.T. Jr.

    1993-10-01

    In February of 1991 the Rocky Flats Plant conducted twelve tracer experiments to validate an emergency response dispersion model known as the Terrain-Responsive Atmospheric Code (TRAC) (Hodgin 1985). Experimenters released 140 to 260 kilograms of inert tracer gas (sulfur hexafloride) from the plant over an 11 hour period. During each release, one hundred and sixty-five samples, most of which formed concentric rings of 8 and 16 km radius from the plant, recorded cumulative hourly concentrations of the tracer at one meter above ground level (AGL). Figure 1 contains a depiction of the sampler location, the terrain, and the meteorological stations available within the tracer study area. Brown (1991) describes the experimental setup in more detail. The subject of this paper is an event that occurred early in the fifth experiment, on February 9, 1991. In this experiment, tracer material released from 13:00 to 17:00 LST appeared both downwind and upwind of the source, with the highest concentrations upwind. During the fifth experiment, high pressure in Utah produced mostly sunny skis around Rocky Flats. For most of the day, one could find moderate (5 to 10 ms{sup {minus}1}) northerly (from the North) flow within the 700 to 500 mb level of the atmosphere (approximately 3000 to 5500 meters above Mean Sea Level (MSL)). Synoptic scale motions were isolated enough from the surface layer and heating was great enough to produce a 1 km deep upslope flow (flow from the East to the West) by late afternoon. The winds reversed and became downslope at approximately 17:30 LST.

  1. AN ADVANCED BINARY ENCODED MATRIX REPRESENTATION FOR RULEBASE VERIFICATION

    E-Print Network [OSTI]

    Coenen, Frans

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

  2. Almost Periodic Passive Tracer Dispersion \\Lambda Hongjun Gao 1 , Jinqiao Duan 2 and Xinchu Fu 3

    E-Print Network [OSTI]

    Almost Periodic Passive Tracer Dispersion \\Lambda Hongjun Gao 1 , Jinqiao Duan 2 and Xinchu Fu 3 1 the impact of external sources on the pat­ tern formation of concentration profiles of passive tracers Science Foundation Grant DMS­ 9704345 and the UK EPSRC Grant GR/M36335. 1 #12; Key words: Passive tracer

  3. Passive tracer patchiness and particle trajectory stability in incompressible two-dimensional flows

    E-Print Network [OSTI]

    Olascoaga, Maria Josefina

    Passive tracer patchiness and particle trajectory stability in incompressible two-dimensional flows in Geophysics (2003) 1:1­8 Nonlinear Processes in Geophysics c European Geophysical Society 2003 Passive tracer." This leads to patchiness in the evolution of passive tracer distribu- tions. Also, it is argued

  4. Passive tracer reconstruction as a least-squares problem with a semi-Lagrangian constraint

    E-Print Network [OSTI]

    deYoung, Brad

    Passive tracer reconstruction as a least-squares problem with a semi-Lagrangian constraint-dimensional, nonstationary, passive tracer field in the ocean with open boundaries and a known velocity field. The observations, spatial smoothing terms and passive tracer conservation equation were included as weak

  5. Numerical simulations of radon as an in situ partitioning tracer for quantifying NAPL

    E-Print Network [OSTI]

    Semprini, Lewis

    Numerical simulations of radon as an in situ partitioning tracer for quantifying NAPL contamination­pull partitioning tracer tests using radon-222 to quantify non- aqueous phase liquid contamination. J. Contam. Hydrol. 58, 129­146] of push­pull tests using radon as a naturally occurring partitioning tracer

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

    E-Print Network [OSTI]

    Ryan, Joe

    SOURCES AND EFFECTS OF MINING-RELATED AND NATURAL ACID ROCK DRAINAGE QUANTIFIED USING TRACER Acid Rock Drainage Quantified Using Tracer Dilution, Coal Creek Watershed, Gunnison County, Colorado of Mining-Related and Natural Acid Drainage Quantified Using Tracer Dilution, Coal Creek Watershed, Gunnison

  7. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect (OSTI)

    YANOCHKO, R.M.

    2000-01-27

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

  8. MODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  9. Applied Verification: The Ptolemy Approach Chihhong Patrick Cheng

    E-Print Network [OSTI]

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

  10. Competition on Software Verification University of Passau, Germany

    E-Print Network [OSTI]

    Beyer, Dirk

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

  11. AUTOMATED REGRESSION TESTING AND VERIFICATION OF COMPLEX CODE

    E-Print Network [OSTI]

    Roychoudhury, Abhik

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

  12. LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF

    E-Print Network [OSTI]

    Rathbun, Julie A.

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

  13. Power Grid Voltage Integrity Verification Department of ECE

    E-Print Network [OSTI]

    Najm, Farid N.

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

  14. Incremental Partitioning-Based Vectorless Power Grid Verification

    E-Print Network [OSTI]

    Najm, Farid N.

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

  15. Fuel Retrieval System Design Verification Report

    SciTech Connect (OSTI)

    GROTH, B.D.

    2000-04-11

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

  16. SOIL TEST INTERPRETATIONS RECOMMENDATIONS HANDBOOK

    E-Print Network [OSTI]

    Noble, James S.

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

  17. Automatic verification of DEVS models Gabriel Wainer

    E-Print Network [OSTI]

    Wainer, Gabriel

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

  18. Indexed Predicate Discovery for Unbounded System Verification

    E-Print Network [OSTI]

    Bryant, Randal E.

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

  19. Time-Bounded Verification Joel Ouaknine1

    E-Print Network [OSTI]

    Worrell, James

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

  20. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

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

  1. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

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

  2. Distributed Runtime Verification of JADE Multiagent Systems

    E-Print Network [OSTI]

    Mascardi, Viviana

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

  3. Automatic Verification of Multiqueue Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

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

  4. Hybrid Systems: From Verification to Falsification

    E-Print Network [OSTI]

    Kavraki, Lydia E.

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

  5. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

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

    2014-09-01

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

  6. 1 Verification Techniques software testing: search bugs

    E-Print Network [OSTI]

    Verschelde, Jan

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

  7. Advances in Quantitative Verification for Ubiquitous Computing

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    Haran, Murali

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

  9. Interpreting Remote Sensing NOx Measurements

    E-Print Network [OSTI]

    Denver, University of

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

  10. DNA Mixture Interpretation & Statistical Analysis

    E-Print Network [OSTI]

    of Standards and Technology Gaithersburg, Maryland John M. Butler CIB Forensic Science Center Training Seminar Mixture Workshop This workshop is for analysts, technical reviewers and technical leaders performing) National recommendations of the technical UK DNA working group on mixture interpretation for the NDNAD

  11. Finite Model Finding for Parameterized Verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2010-01-01

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

  12. NGSI: IAEA Verification of UF6 Cylinders

    SciTech Connect (OSTI)

    Curtis, Michael M.

    2012-06-05

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

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

    SciTech Connect (OSTI)

    Refunjol, B.T.; Lake, L.W.

    1997-08-01

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

  14. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01

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

  15. Final Progress Report for Project Entitled: Quantum Dot Tracers for Use in Engineered Geothermal Systems

    SciTech Connect (OSTI)

    Rose, Peter; Bartl, Michael; Reimus, Paul; Williams, Mark; Mella, Mike

    2015-09-12

    The objective of this project was to develop and demonstrate a new class of tracers that offer great promise for use in characterizing fracture networks in EGS reservoirs. From laboratory synthesis and testing through numerical modeling and field demonstrations, we have demonstrated the amazing versatility and applicability of quantum dot tracers. This report summarizes the results of four years of research into the design, synthesis, and characterization of semiconductor nanocrystals (quantum dots) for use as geothermal tracers.

  16. The spiral arms of the Milky Way: The relative location of each different arm tracer within a typical spiral arm width

    SciTech Connect (OSTI)

    Vallée, Jacques P., E-mail: jacques.vallee@nrc-cnrc.gc.ca [National Research Council Canada, National Science Infrastructure portfolio, Herzberg Astronomy and Astrophysics, 5071 West Saanich Road, Victoria, B.C., V9E 2E7 (Canada)

    2014-07-01

    From the Sun's location in the Galactic disk, different arm tracers (CO, H I, hot dust, etc.) have been employed to locate a tangent to each spiral arm. Using all various and different observed spiral arm tracers (as published elsewhere), we embark on a new goal, namely the statistical analysis of these published data (data mining) to statistically compute the mean location of each spiral arm tracer. We show for a typical arm cross-cut, a separation of 400 pc between the mid-arm and the dust lane (at the inner edge of the arm, toward the Galactic center). Are some arms major and others minor? Separating arms into two sets, as suggested by some, we find the same arm widths between the two sets. Our interpretation is that we live in a multiple (four-arm) spiral (logarithmic) pattern (around a pitch angle of 12°) for the stars and gas in the Milky Way, with a sizable interarm separation (around 3 kpc) at the Sun's location and the same arm width for each arm (near 400 pc from mid-arm to dust lane).

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

    E-Print Network [OSTI]

    Elkind, Edith

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

  18. Development of Atmospheric Tracer Methods To Measure Methane Emissions from Natural Gas Facilities and Urban Areas

    E-Print Network [OSTI]

    1995-01-01

    an urban area is used with crosswind integrated tracerCWI,) and the average crosswind concen- tration of methane (directly, and the crosswind average methane concentration

  19. Peircean Interpretation of Postmodern Architecture 

    E-Print Network [OSTI]

    Takahashi, Iwao

    2013-12-11

    Peirce’s semeiotic and logic. I received his intellectual guidance, Peircean Algebraic Logic (PAL) that clarified my theory development of Peircean interpretation of architecture. My knowledge of American Pragmatism was developed by the guidance of Dr... thankful to my wife Brenda Takahashi who supported me during my research. vii NOMENCLATURE CMPL Conceptual Model of Peircean Logic CP Cartesian Product PAL Peircean Algebraic Logic QL Quantificational Logic viii TABLE...

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

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

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

  1. NEMVP: North American energy measurement and verification protocol

    SciTech Connect (OSTI)

    1996-03-01

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

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

    Open Energy Info (EERE)

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

  3. Verification Method for SSI Problems with Extended Parameter Ranges

    Broader source: Energy.gov [DOE]

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

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

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

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

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

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

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

  6. Inversion of Hydrological Tracer Test Data Using TomogrpahicConstraints

    SciTech Connect (OSTI)

    Linde, Niklas; Finsterle, Stefan; Hubbard, Susan

    2004-11-11

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

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

    SciTech Connect (OSTI)

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

    2010-02-01

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

  8. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  10. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

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

  11. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

  14. Analytic Verification at NASA A View from the Trenches

    E-Print Network [OSTI]

    Jipsen, Peter

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

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

    E-Print Network [OSTI]

    Stevens, Ken

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

  16. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    Fainekos, Georgios E.

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

  17. Automatic Verification of Multi-queue Discrete Timed Automata

    E-Print Network [OSTI]

    Dang, Zhe

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

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

    E-Print Network [OSTI]

    Aloul, Fadi

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

  19. Roadmap for Enhanced Languages and Methods to Aid Verification

    E-Print Network [OSTI]

    Miller, Dale

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

  20. Efficient RC Power Grid Verification Using Node Elimination

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

  2. Software Verification in the Google App-Engine Cloud

    E-Print Network [OSTI]

    Beyer, Dirk

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

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

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

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

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

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

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

  5. Timing verification of automotive communication architecture using quantile estimation

    E-Print Network [OSTI]

    Navet, Nicolas

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

  6. Automated Verification of Model Transformations in the Automotive Industry

    E-Print Network [OSTI]

    Cordy, James R.

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

  7. Dispersion of passive tracers in closed basins: Beyond the diffusion coefficient

    E-Print Network [OSTI]

    Cencini, Massimo

    Dispersion of passive tracers in closed basins: Beyond the diffusion coefficient V. Artale ENEA, 00185 Roma, Italy Received 25 April 1997; accepted 10 July 1997 We investigate the spreading of passive of diffusion and transport of passive tracers in a given velocity field has both theoretical and prac- tical

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

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

    Rose, Peter

    2013-11-16

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

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

    Broader source: Energy.gov [DOE]

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

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

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

    Rose, Peter

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

  11. SYNTHESIS OF DIVERSE TRACERS ON EWOD MICRODEVICE FOR POSITRON EMISSION TOMOGRAPHY (PET)

    E-Print Network [OSTI]

    , spatial, and temporal measurement of biochemical processes. Applications of PET include studying disease-labeled PET tracers with electrowetting-on-dielectric (EWOD) technology [3],[4], the digital microfluidicSYNTHESIS OF DIVERSE TRACERS ON EWOD MICRODEVICE FOR POSITRON EMISSION TOMOGRAPHY (PET) S. Chen1

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

    E-Print Network [OSTI]

    Drange, Helge

    applications thereof, idealized releases of passive tracers from the nuclear fuel reprocessing plants are considered; the former being representative of the actual historical discharges from the reprocessing plants tracer concentration from idealized pulse releases from the British nuclear fuel reprocessing plants

  13. Nuclear Verification | National Nuclear Security Administration

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

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

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

    SciTech Connect (OSTI)

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

    1990-11-01

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

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

    E-Print Network [OSTI]

    Zaid, Irwin M; Yeomans, Julia M

    2010-01-01

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

  16. PARSING AND INTERPRETING COMPARATIVES Marmy Rayner

    E-Print Network [OSTI]

    PARSING AND INTERPRETING COMPARATIVES Marmy Rayner SICS Box 1263, S-164 28 KISTA Sweden Amelie interpretation. The current paper is a shortened version of (Rayner & Banks 88) ("the full paper"), which we

  17. Heat, 10B-Enriched Boric Acid, and Bromide as Recycled Groundwater Tracers for Managed Aquifer Recharge: Case Study

    E-Print Network [OSTI]

    Clark, J F

    2015-01-01

    water tracer. ” Ground Water, Bassett, R. L. (1990). “ Atemperature sensing. ” Ground Water, 51(5), 670–678. Becker,acid as recycled ground- water tracers for managed aquifer

  18. Interpretive Approaches to British Government and Politics

    E-Print Network [OSTI]

    Bevir, Mark

    2006-01-01

    and actions of many political actors. They can range fromactors. Nonetheless, there is a family of interpretive approaches to political

  19. AERIAL PHOTO INTERPRETATION NATIONAL INVENTORY OF LANDSCAPES

    E-Print Network [OSTI]

    MANUAL FOR AERIAL PHOTO INTERPRETATION IN THE NATIONAL INVENTORY OF LANDSCAPES IN SWEDEN NILS YEAR for aerial photo interpretation 1 www-nils.slu.se SLU, Department of Forest Resource Management and Geomatics. 901 83 Umeå, Sweden #12;NILS ­ manual for aerial photo interpretation 2 Table of contents 1 About NILS

  20. Image structure analysis for seismic interpretation Proefschrift

    E-Print Network [OSTI]

    van Vliet, Lucas J.

    Image structure analysis for seismic interpretation Proefschrift ter verkrijging van de graad van . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Traditional interpretation of 3-D seismic data . . . . . . . . . . . . . . . . 2 1.2 Improving the efficiency of the interpretation process . . . . . . . . . . . . 4 1.2.1 Structure enhancement for horizon

  1. DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS

    SciTech Connect (OSTI)

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

    2009-07-01

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

  2. Verification and validation for induction heating

    SciTech Connect (OSTI)

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

    2008-01-01

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

  3. QUALITATIVE INTERPRETATION OF GALAXY SPECTRA

    SciTech Connect (OSTI)

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

    2012-09-10

    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.

  4. An SF6 Tracer Study of the Flow Dynamics in the Stockton Deep Water Ship Channel: Implications

    E-Print Network [OSTI]

    Ho, David

    An SF6 Tracer Study of the Flow Dynamics in the Stockton Deep Water Ship Channel: Implications6) tracer release experi- ment was conducted in the Stockton Deep Water Ship Channel (DWSC. Keywords Dissolved oxygen . Sacramento­San Joaquin delta . Stockton deep water ship channel . SF6 . Tracer

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

    E-Print Network [OSTI]

    Wilhelm, Steven W.

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

  6. Passive tracers in a general circulation model of the Southern Ocean I. G. Stevens, D. P. Stevens

    E-Print Network [OSTI]

    Stevens, David

    Passive tracers in a general circulation model of the Southern Ocean I. G. Stevens, D. P. Stevens: 22 January 1999 / Accepted: 12 February 1999 Abstract. Passive tracers are used in an o-line version and provide information on the inter-ocean exchange of water masses. The use of passive tracers allows

  7. Compositional Reactive Semantics of SystemC and Verification with RuleBase

    E-Print Network [OSTI]

    Gupta, Rajesh

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Carbunar, Bogdan

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

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

    SciTech Connect (OSTI)

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

    2005-10-01

    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.

  15. Predictions of tracer transport in interwell tracer tests at the C-Hole complex. Yucca Mountain site characterization project report milestone 4077

    SciTech Connect (OSTI)

    Reimus, P.W.

    1996-09-01

    This report presents predictions of tracer transport in interwell tracer tests that are to be conducted at the C-Hole complex at the Nevada Test Site on behalf of the Yucca Mountain Site Characterization Project. The predictions are used to make specific recommendations about the manner in which the tracer test should be conducted to best satisfy the needs of the Project. The objective of he tracer tests is to study flow and species transport under saturated conditions in the fractured tuffs near Yucca Mountain, Nevada, the site of a potential high-level nuclear waste repository. The potential repository will be located in the unsaturated zone within Yucca Mountain. The saturated zone beneath and around the mountain represents the final barrier to transport to the accessible environment that radionuclides will encounter if they breach the engineered barriers within the repository and the barriers to flow and transport provided by the unsaturated zone. Background information on the C-Holes is provided in Section 1.1, and the planned tracer testing program is discussed in Section 1.2.

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

    DOE Patents [OSTI]

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

    2014-09-30

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

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

    SciTech Connect (OSTI)

    Singleton, M

    2009-07-08

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

  18. Patient position verification using small IMRT fields

    SciTech Connect (OSTI)

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

    2006-07-15

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

  19. Atmospheric and soil-gas monitoring for surface leakage at the San Juan Basin CO{sub 2} pilot test site at Pump Canyon New Mexico, using perfluorocarbon tracers, CO{sub 2} soil-gas flux and soil-gas hydrocarbons

    SciTech Connect (OSTI)

    Wells, Arthur W.; Diehl, J. Rodney; Strazisar, Brian R.; Wilson, Thomas; H Stanko, Dennis C.

    2012-05-01

    Near-surface monitoring and subsurface characterization activities were undertaken in collaboration with the Southwest Regional Carbon Sequestration Partnership on their San Juan Basin coal-bed methane pilot test site near Navajo City, New Mexico. Nearly 18,407 short tons (1.670 × 107 kg) of CO{sub 2} were injected into 3 seams of the Fruitland coal between July 2008 and April 2009. Between September 18 and October 30, 2008, two additions of approximately 20 L each of perfluorocarbon (PFC) tracers were mixed with the CO{sub 2} at the injection wellhead. PFC tracers in soil-gas and in the atmosphere were monitored over a period of 2 years using a rectangular array of permanent installations. Additional monitors were placed near existing well bores and at other locations of potential leakage identified during the pre-injection site survey. Monitoring was conducted using sorbent containing tubes to collect any released PFC tracer from soil-gas or the atmosphere. Near-surface monitoring activities also included CO{sub 2} surface flux and carbon isotopes, soil-gas hydrocarbon levels, and electrical conductivity in the soil. The value of the PFC tracers was demonstrated when a significant leakage event was detected near an offset production well. Subsurface characterization activities, including 3D seismic interpretation and attribute analysis, were conducted to evaluate reservoir integrity and the potential that leakage of injected CO{sub 2} might occur. Leakage from the injection reservoir was not detected. PFC tracers made breakthroughs at 2 of 3 offset wells which were not otherwise directly observable in produced gases containing 20–30% CO{sub 2}. These results have aided reservoir geophysical and simulation investigations to track the underground movement of CO{sub 2}. 3D seismic analysis provided a possible interpretation for the order of appearance of tracers at production wells.

  20. The paleoclassical interpretation of quantum theory

    E-Print Network [OSTI]

    I. Schmelzer

    2015-06-30

    This interpretation establishes a completely classical ontology -- only the classical trajectory in configuration space -- and interprets the wave function as describing incomplete information (in form of a probability flow) about this trajectory. This combines basic ideas of de Broglie-Bohm theory and Nelsonian stochastics about the trajectory with a Bayesian interpretation of the wave function. Various objections are considered and discussed. In particular a regularity principle for the zeros of the wave function allows to meet the Wallstrom objection.

  1. Collapse challenge for interpretations of quantum mechanics

    E-Print Network [OSTI]

    Arnold Neumaier

    2005-05-23

    The collapse challenge for interpretations of quantum mechanics is to build from first principles and your preferred interpretation a complete, observer-free quantum model of the described experiment (involving a photon and two screens), together with a formal analysis that completely explains the experimental result. The challenge is explained in detail, and discussed in the light of the Copenhagen interpretation and the decoherence setting.

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

    E-Print Network [OSTI]

    Leino, K. Rustan M.

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

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

    E-Print Network [OSTI]

    Yin, Baolin

    1984-01-01

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

  4. Seventh International Workshop on Specification and Verification of

    E-Print Network [OSTI]

    Leavens, Gary T.

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

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

    SciTech Connect (OSTI)

    J. M. Capron

    2005-11-07

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

  6. Experiments in Automating Hardware Verification using Inductive Proof Planning 

    E-Print Network [OSTI]

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

    1996-01-01

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

  7. Discriminating semi-continuous HMM for speaker verification 

    E-Print Network [OSTI]

    Forsyth, Mark; Jack, Mervyn A

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

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

    Energy Savers [EERE]

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

  9. Evaluation of Kernal Methods for Speaker Verification and Identification 

    E-Print Network [OSTI]

    Wan, Vincent; Renals, Steve

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

  10. Tensor anisotropy as a tracer of cosmic voids

    E-Print Network [OSTI]

    Bustamante, Sebastian

    2015-01-01

    We present a new method to find voids in cosmological simulations based on the tidal and the velocity shear tensors definitions of the cosmic web. We use the fractional anisotropy (FA) computed from the eigenvalues of each web scheme as a void tracer. We identify voids using a watershed transform based on the local minima of the FA field without making any assumption on the shape or structure of the voids. We test the method on the Bolshoi simulation and report on the abundance and radial averaged profiles for the density, velocity and fractional anisotropy. We find that voids in the velocity shear web are smaller than voids in the tidal web, with a particular overabundance of very small voids in the inner region of filaments/sheets. We classify voids as subcompensated/overcompansated depending on the absence/presence of an overdense matter ridge in their density profile, finding that close to $65\\%$ and $35\\%$ of the total population are classified into each category, respectively. Finally, we find evidence ...

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

    E-Print Network [OSTI]

    Visser, Ruud; Jorgensen, Jes K

    2015-01-01

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

  12. Tracer diffusion in compacted, water-saturated bentonite

    SciTech Connect (OSTI)

    Bourg, Ian C.; Sposito, Garrison; Bourg, Alain C.M.

    2005-08-04

    Compacted Na-bentonite clay barriers, widely used in theisolation of solid-waste landfills and other contaminated sites, havebeen proposed for a similar use in the disposal of high-level radioactivewaste. Molecular diffusion through the pore space in these barriers playsa key role in their performance, thus motivating recent measurements ofthe apparent diffusion coefficient tensor of water tracers in compacted,water-saturated Na-bentonites. In the present study, we introduce aconceptual model in which the pore space of water-saturated bentonite isdivided into 'macropore' and 'interlayer nanopore' compartments. Withthis model we determine quantitatively the relative contributions ofpore-network geometry (expressed as a geometric factor) and of thediffusive behavior of water molecules near montmorillonite basal surfaces(expressed as a contristivity factor) to the apparent diffusioncoefficient tensor. Our model predicts, in agreement with experiment,that the mean principal value of the apparent diffusion coefficienttensor follows a single relationship when plotted against the partialmontmorillonite dry density (mass of montmorillonite per combined volumeof montmorillonite and pore space). Using a single fitted parameter, themean principal geometric factor, our model successfully describes thisrelationship for a broad range of bentonite-water system, from dilute gelto highly-compacted bentonite with 80 percent of its pore water ininterlayer nanopores.

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

    SciTech Connect (OSTI)

    Stetzenbach, K.; Farnham, I.

    1996-06-01

    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.

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

    E-Print Network [OSTI]

    Shyu, Mei-Ling

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

  15. Investigating Procedural Expression and Interpretation in Videogames

    E-Print Network [OSTI]

    Treanor, Mike

    2013-01-01

    s visual static assets relate to the game’s mechanics tomechanics might be interpreted as metaphors for how the static

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

    Energy Savers [EERE]

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

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

    Open Energy Info (EERE)

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

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

    E-Print Network [OSTI]

    Rasmussen, Linda L

    2003-01-01

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

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

    E-Print Network [OSTI]

    Ratzlaff, Kenneth L.; Braaten, David A.

    1998-02-01

    . This instrument consists of an ultralow power timing system, a pneumatic system, and microsphere generators to periodically disperse a tracer of colored glass microspheres onto the snow surface. Snow sampling must be conducted before melting occurs, and subsequent...

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

    E-Print Network [OSTI]

    Iliassov, Pavel Alexandrovich

    2000-01-01

    Identifying distribution of remaining oil in the reservoir is vital for evaluation of existing waterflood, design of tertiary recovery projects, and location of infill drilling candidates. In recent years, partitioning interwell tracer tests (PITT...

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

    E-Print Network [OSTI]

    Buesseler, Ken

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

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

    E-Print Network [OSTI]

    Kilicaslan, Ufuk

    2013-12-03

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

  3. High-resolution quantification of groundwater flux using a heat tracer: laboratory sandbox tests

    E-Print Network [OSTI]

    Konetchy, Brant Evan

    2014-12-31

    and groundwater flux. In this work, we constructed a sandbox to simulate a sand aquifer and performed a series of heat tracer tests under different flow rates. By analyzing the temperature responses among different tests, we developed a quantitative temperature...

  4. 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 OpenEI Reference LibraryAdd to library Conference...

  5. The entrainment and homogenization of tracers within the cyclonic gulf stream recirculation gyre

    E-Print Network [OSTI]

    Pickart, Robert S

    1987-01-01

    The various distributions of tracer associated with the Northern Recirculation Gyre of the Gulf Stream (NRG) are studied to try to obtain information about the flow. An advective-diffusive numerical model is implemented ...

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

    E-Print Network [OSTI]

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

    2010-09-20

    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.

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

    SciTech Connect (OSTI)

    Allwine, K Jerry; Flaherty, Julia E.

    2006-08-09

    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.

  8. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect (OSTI)

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

    2011-02-15

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

  9. An Environment for Empirical Data Interpretation

    E-Print Network [OSTI]

    Bruegge, Bernd

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

  10. Enhanced Verification Test Suite for Physics Simulation Codes

    SciTech Connect (OSTI)

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

    2008-10-10

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

  11. Real World Interpretations of Quantum Theory

    E-Print Network [OSTI]

    Adrian Kent

    2011-11-03

    I propose a new class of interpretations, {\\it real world interpretations}, of the quantum theory of closed systems. These interpretations postulate a preferred factorization of Hilbert space and preferred projective measurements on one factor. They give a mathematical characterisation of the different possible worlds arising in an evolving closed quantum system, in which each possible world corresponds to a (generally mixed) evolving quantum state. In a realistic model, the states corresponding to different worlds should be expected to tend towards orthogonality as different possible quasiclassical structures emerge or as measurement-like interactions produce different classical outcomes. However, as the worlds have a precise mathematical definition, real world interpretations need no definition of quasiclassicality, measurement, or other concepts whose imprecision is problematic in other interpretational approaches. It is natural to postulate that precisely one world is chosen randomly, using the natural probability distribution, as the world realised in Nature, and that this world's mathematical characterisation is a complete description of reality.

  12. The function of interpretation as perceived by park visitors and interpreters 

    E-Print Network [OSTI]

    Silvy, Valeen Adams

    1977-01-01

    . . . . . . . . . . . . 1 A comparison of perception stat. ement means and visitor/interpreter by reasons for attending programs. 79 81 CHAPTER I INTRODUCTION Interpretation is a communication process used by resource managers to inform the visitor about a resource.... The availability of regularly scheduled programs provided ample opportunity to study interpretation within the system. The need to study personal contact interpretive programs limited the general availability of programs for study, but adequate numbers were...

  13. Identification and characterization of conservative organic tracers for use as hydrologic tracers for the Yucca Mountain site characterization study. Progress report, October 1, 1994--December 31, 1994

    SciTech Connect (OSTI)

    Stetzenbach, K.; Farnham, I.

    1994-12-31

    The bromide anion has been used extensively as a tracer for mapping the flow of groundwater. It has proven to be both a safe and reliable groundwater tracer. The goal in this study is to find several tracing compounds with characteristics similar to the bromide anion to be used in multiple well tracing tests. Four groups of fluorinated organic acids were selected as candidates for groundwater tracers. These groups include fluorinated benzoic acids (FBA), fluorinated salicylic acids (FSA), fluorinated toluic acids (FTA), and fluorinated cinnamic acids (FCA). These compounds have been shown to move readily with the flow of water and do not adsorb to soil. They are also non-toxic. In this study, the retention of the fluorinated organic acids on to a soil column is compared to that of the bromide ion. The time required for the elution of each analyte from the soil column is measured using a UV-Vis detector. The soils consist of the light, medium, and dark tuffs used in the batch study. The work performed during this quarter consists of the continuation of the batch studies for the fluorinated benzoic acids and column studies for several potential tracer compounds.

  14. Battery Technology Life Verification Testing and Analysis

    SciTech Connect (OSTI)

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

    2007-12-01

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

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

    SciTech Connect (OSTI)

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

    2006-09-28

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

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

    SciTech Connect (OSTI)

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

    2013-07-01

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

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

    E-Print Network [OSTI]

    Schiller, Steven R.

    2011-01-01

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

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

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

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

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

    Broader source: Energy.gov [DOE]

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

  20. Thermal single-well injection-withdrawal tracer tests for determining fracture-matrix heat transfer area

    E-Print Network [OSTI]

    Pruess, K.

    2011-01-01

    Stimulations at the European EGS Site Soultz-sous-Forêts,Dual-Tracer Spikings during EGS Creation in Northern Germanenhanced geothermal systems (EGS) in rocks with insufficient

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

    SciTech Connect (OSTI)

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

    2013-02-01

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

  2. Technology: Machine and its interpretation in architecture 

    E-Print Network [OSTI]

    Kim, Ju Hong

    2002-01-01

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

  3. A defense of Deleuze's interpretation of Nietzsche 

    E-Print Network [OSTI]

    Stagoll, Clifford Scott

    1995-01-01

    Publication of Gilles Deleuze's interpretative text Nietzsche and Philosophy was accompanied by a resurgence of interest in the work of Friedrich Nietzsche, and its themes were taken up by "New Nietzscheans" such as Foucault and Lyotard...

  4. Generating and interpreting referring expressions in context

    E-Print Network [OSTI]

    Smith, Dustin Arthur

    2013-01-01

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

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

    SciTech Connect (OSTI)

    Reimus, Paul W [Los Alamos National Laboratory

    2011-01-21

    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.

  6. On a realistic interpretation of quantum mechanics

    E-Print Network [OSTI]

    Arnold Neumaier

    1999-08-22

    The best mathematical arguments against a realistic interpretation of quantum mechanics - that gives definite but partially unknown values to all observables - are analysed and shown to be based on reasoning that is not compelling. This opens the door for an interpretation that, while respecting the indeterministic nature of quantum mechanics, allows to speak of definite values for all observables at any time that are, however, only partially measurable. The analysis also suggests new ways to test the foundations of quantum theory.

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

    SciTech Connect (OSTI)

    E.M. Harpenau

    2010-11-15

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

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

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

    E-Print Network [OSTI]

    Chow, Paul

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

  17. A Zero Knowledge Protocol For Nuclear Warhead Verification

    SciTech Connect (OSTI)

    Glaser, Alexander; Goldston, Robert J.

    2014-03-14

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

  18. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

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

    2014-01-01

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Mostowski, Wojciech

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

    E-Print Network [OSTI]

    Ryan, Mark

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  4. ISIS 9.0 | Enrollment Verification 1 Created: 02.12.13

    E-Print Network [OSTI]

    Capogna, Luca

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

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

    E-Print Network [OSTI]

    Xie, Fei

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

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

    E-Print Network [OSTI]

    Jee, Eunkyoung

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

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

    E-Print Network [OSTI]

    Wang, Jia

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

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

    E-Print Network [OSTI]

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

  10. Results of Chemical Analyses for Alcove 8/Niche 3 Tracer Studies

    SciTech Connect (OSTI)

    Daniels, Jeanette

    2006-02-23

    This is the final report detailing the analyses performed under ORD-FY04-011 "Chemical Analyses for Alcove 8/Niche 3 Tracer Studies." The work was performed under the University and Community College System of Nevada (UCCSN) and the Department of Energy (DOE) Cooperative Agreement Number DE-FC28-04RW12232. This task provided method development and analytical support for the Alcove 8/Niche 3 Tracer Studies in the Exploratory Studies Facility (ESF). Concentrations of tracers, as well as major anions and cations, were reported for samples provided by Lawrence Berkeley National Laboratory (LBNL) and the US Geological Survey (USGS). Samples were analyzed using High Performance Liquid Chromatography (HPLC) and Ion Chromatography (IC). Samples were analyzed and controlled according to Implementing Procedures (IP's) written and approved in accordance with the Office of Civilian Radioactive Waste Management (OCRWM) approved Nevada System of Higher Education (NSHE) Quality Assurance Program.

  11. Finite countermodels for safety verification of parameterized tree systems

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01

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

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

    SciTech Connect (OSTI)

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

    2012-06-01

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

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

    SciTech Connect (OSTI)

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

    2012-06-01

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

  14. MACCS2 development and verification efforts

    SciTech Connect (OSTI)

    Young, M.; Chanin, D.

    1997-03-01

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

  15. Interpretation in Quantum Physics as Hidden Curriculum

    E-Print Network [OSTI]

    Baily, Charles

    2011-01-01

    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.

  16. Interpretation in Quantum Physics as Hidden Curriculum

    E-Print Network [OSTI]

    Charles Baily; Noah D. Finkelstein

    2011-08-26

    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.

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

    E-Print Network [OSTI]

    Kalla, Priyank

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

  18. VERIFICATION AND DIAGNOSIS OF TESTING PREORDER 4.1. Introduction

    E-Print Network [OSTI]

    von Bochmann, Gregor

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

  19. Texture Classification and Verification Using Bispectral Estimates at All

    E-Print Network [OSTI]

    Sidorov, Nikita

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

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

    E-Print Network [OSTI]

    Torino, Università di

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Simpson, Alex

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

  3. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

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

  5. BRNS Workshop Verification of Digital and Hybrid Systems

    E-Print Network [OSTI]

    Shyamasundar, R.K.

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

  6. NASA/TP2004213015 Formal Verification of a Conflict

    E-Print Network [OSTI]

    Muñoz, César A.

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

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

    E-Print Network [OSTI]

    Olsson, Ron

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

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

    E-Print Network [OSTI]

    Stevens, Ken

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

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

    E-Print Network [OSTI]

    Wettlaufer, John S.

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

  10. Compiler Correctness and Implementation Verification: The Verifix Approach

    E-Print Network [OSTI]

    Pfeifer, Holger

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

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

    E-Print Network [OSTI]

    Dang, Zhe

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

  12. Verification in Loosely Synchronous QueueConnected Discrete Timed Automata ?

    E-Print Network [OSTI]

    Dang, Zhe

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

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

    E-Print Network [OSTI]

    Dang, Zhe

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

  14. ForPeerReview Verification of Mountain Weather Information Service

    E-Print Network [OSTI]

    Birch, Cathryn

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

  15. Project W-030 flammable gas verification monitoring test

    SciTech Connect (OSTI)

    BARKER, S.A.

    1999-02-24

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

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

    E-Print Network [OSTI]

    Budny, Robert

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

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

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

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

  18. APPENDIX A: VERIFICATION CODES A1.0 MODFLOW2000

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

    H. M. Sulloway

    2008-10-02

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

  2. Verification of Cryptographic Protocols Implemented in Java Card

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  3. Early Power Grid Verification Under Circuit Current Uncertainties

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

  5. MAINTENANCE, UPGRADE AND VERIFICATION OF OPERATIONAL FORECASTS OF

    E-Print Network [OSTI]

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

  6. 2015.06.04-06 Verification Techniques for COTSq

    E-Print Network [OSTI]

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

  7. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

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

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

    E-Print Network [OSTI]

    Doran, Simon J.

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

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

    E-Print Network [OSTI]

    Joshi, Rajeev

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

  10. Interpretation of electromagnetic soundings in the Raft River...

    Open Energy Info (EERE)

    Interpretation of electromagnetic soundings in the Raft River geothermal area, Idaho Jump to: navigation, search OpenEI Reference LibraryAdd to library Report: Interpretation of...

  11. Laboratory Study Supporting the Interpretation of Solar Dynamics...

    Office of Scientific and Technical Information (OSTI)

    Laboratory Study Supporting the Interpretation of Solar Dynamics Observatory data Citation Details In-Document Search Title: Laboratory Study Supporting the Interpretation of Solar...

  12. Interpretation of ageostrophic winds and implications for jet stream maintenance

    E-Print Network [OSTI]

    Wirosoetisno, Djoko

    Interpretation of ageostrophic winds and implications for jet stream maintenance Article Published Version Blackburn, M. (1985) Interpretation of ageostrophic winds and implications for jet stream

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

    E-Print Network [OSTI]

    Narasimhan, T.N.

    2014-01-01

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

  14. Carbon-13 Labeled Polymers: An Alternative Tracer for Depth Profiling of Polymer Films and

    E-Print Network [OSTI]

    Carbon-13 Labeled Polymers: An Alternative Tracer for Depth Profiling of Polymer Films profiling of polymer films and multilayers using secondary ion mass spectrometry (SIMS). Deuterium substitution has traditionally been used in depth profiling of polymers but can affect the phase behavior

  15. Controls on soil methane fluxes: Tests of biophysical mechanisms using stable isotope tracers

    E-Print Network [OSTI]

    Controls on soil methane fluxes: Tests of biophysical mechanisms using stable isotope tracers November 2006; published 4 May 2007. [1] Understanding factors that control methane exchange between soils-scale variations in soil methane emissions: (1) consumption of methane by methanotrophic bacteria, (2) quantity

  16. Using chemical tracers in hillslope soils to estimate the importance of chemical denudation under

    E-Print Network [OSTI]

    Mudd, Simon Marius

    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

  17. Argon as a Tracer of Cross-Isopycnal Mixing in the Thermocline CARA C. HENNING

    E-Print Network [OSTI]

    Argon as a Tracer of Cross-Isopycnal Mixing in the Thermocline CARA C. HENNING University (Kelley and Van Scoy 1999), and observations of temperature or velocity microstructure measurements (e 1999), there is a consensus that the local cross-isopycnal diffusivity is on the order of 1­3 ( 10 5 m2

  18. Plumbing the Depths: Testing Natural Tracers of Subsurface CO2 Origin and

    E-Print Network [OSTI]

    Gilfillan, Stuart

    to be added to the CO2 at the time of injec- tion. This will marginally increase the cost of storagePlumbing the Depths: Testing Natural Tracers of Subsurface CO2 Origin and Migration, Utah Mark storage of fluid CO2 in porous subsurface rock will re- quire the ability to track, and identify

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

    E-Print Network [OSTI]

    Jackson, Robert B.

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

  20. Enhanced tracer transport by the spiral defect chaos state of a convecting fluid

    E-Print Network [OSTI]

    K. -H. Chiam; M. C. Cross; H. S. Greenside; P. F. Fischer

    2004-09-23

    To understand how spatiotemporal chaos may modify material transport, we use direct numerical simulations of the three-dimensional Boussinesq equations and of an advection-diffusion equation to study the transport of a passive tracer by the spiral defect chaos state of a convecting fluid. The simulations show that the transport is diffusive and is enhanced by the spatiotemporal chaos. The enhancement in tracer diffusivity follows two regimes. For large Peclet numbers (that is, small molecular diffusivities of the tracer), we find that the enhancement is proportional to the Peclet number. For small Peclet numbers, the enhancement is proportional to the square root of the Peclet number. We explain the presence of these two regimes in terms of how the local transport depends on the local wave numbers of the convection rolls. For large Peclet numbers, we further find that defects cause the tracer diffusivity to be enhanced locally in the direction orthogonal to the local wave vector but suppressed in the direction of the local wave vector.

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

    E-Print Network [OSTI]

    Iglesia, Enrique

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

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

    E-Print Network [OSTI]

    Richardson Jr., James E.

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

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

    E-Print Network [OSTI]

    Hansen, René Rydhof

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

  4. Chaotic Mixing of Tracer and Vorticity by Modulated Traveling Rossby Waves

    E-Print Network [OSTI]

    ,-- even though the physics of the present case is very different. We have produced two independent of subtler aspects of the mixing. It is shown the chaotic advection produces very nonlocal mixing which cannot be represented by eddy diffusivity. Also, the power spectrum of the tracer field is found to be k

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

    E-Print Network [OSTI]

    Collier, Jonathan Craig

    2000-01-01

    to the time since release, and in the long-time limit, to the square root of the time. Tracers released into a fluid which was anisotropic and contained steady zonal jets, exhibited an inhibition of meridional excursion. However, the length scale associated...

  6. Analysis of Pollutant and Tracer Dispersion During a Prescribed Forest Burn

    E-Print Network [OSTI]

    Collins, Gary S.

    Analysis of Pollutant and Tracer Dispersion During a Prescribed Forest Burn Y. Wu1, G. Allwine1, X the potential for catastrophic wildfires and to improve the health of forests, however, emissions of pollutants from prescribed fires contribute to local and regional air quality issues and health impacts. Emissions

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

    E-Print Network [OSTI]

    Qin, Xiao

    TRACER: A Trace Replay Tool to Evaluate Energy-Efficiency of Mass Storage Systems Zhuo Liu1 , Fei for Optoelectronics 1 Key Laboratory of Data Storage Systems,Ministry of Education of China 1 School of Computer Sci://www.eng.auburn.edu/xqin * Corresponding Author: wufei@hust.edu.cn Abstract--Improving energy efficiency of mass storage systems has become

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

    SciTech Connect (OSTI)

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

    2010-10-01

    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.

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

    E-Print Network [OSTI]

    Cummings, J. B.

    1989-01-01

    diagnostic tools for detecting and locating leaks in the air distribution system. The tracer gas tests described are a good complement to these tools in the detection, location, and measurement of duct leakage. Testing for house infiltration once with the air...

  10. Abstract interpretation from a denotational semantics

    E-Print Network [OSTI]

    Schmidt, David A.

    (x) if x pos? A: abstractly interpret input domain Int by Sign = {neg, zero, pos, any}: readSign(x) x = succ(x) if (filterNeg(x): x = negate (x)) (filterNonNeg(x): x = succ(x)) fi writeSign(x) where succ (pos) = pos succ (zero) = pos succ

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

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

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

    1991-02-01

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

  13. Interpreting Power Anisotropy Measurements in Plasma Turbulence

    E-Print Network [OSTI]

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

    2009-01-01

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

  14. Physical Interpretations of Nilpotent Quantum Mechanics

    E-Print Network [OSTI]

    Peter Rowlands

    2010-04-09

    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.

  15. Internal and External Logics of Abstract Interpretations

    E-Print Network [OSTI]

    Schmidt, David A.

    := succ(x) write(x) Q: Is output pos? A: abstractly interpret Int by Sign = {neg, zero, pos, any, none} pos zero none any neg P(Int) Sign Standard, collecting inter- pretation: f : P(Int) P(Int): isPos: isPos (pos) = pos isPos (neg) = none isPos (any) = pos, etc. succ (pos) = pos succ (zero) = pos succ

  16. Extracting program logics from abstract interpretations

    E-Print Network [OSTI]

    Schmidt, David A.

    Int(x) if x>0 : x:= pred(x) x:= succ(x) writeInt(x) Q: Is output pos? A: abstractly interpret domain Int by Sign = {neg, zero, pos, any}: readSign(x) if isPos(x): x:= pred (x) x:= succ(x) writeSign(x) where succ (pos) = pos succ (zero) = pos succ (neg) = any succ (any) = any and pred (neg) = neg pred (zero) = neg

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

    SciTech Connect (OSTI)

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

    1999-04-14

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

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

    SciTech Connect (OSTI)

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

    1999-07-01

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

  19. Code Verification of the HIGRAD Computational Fluid Dynamics Solver

    SciTech Connect (OSTI)

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

    2012-05-04

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

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

    SciTech Connect (OSTI)

    M. J. Appel

    2006-09-12

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

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

    SciTech Connect (OSTI)

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

    2013-03-01

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

  2. Assignment 5 Verification of ANSI-C with PVS

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

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

    SciTech Connect (OSTI)

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

    2009-10-22

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

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

    SciTech Connect (OSTI)

    George L Mesina; David Aumiller; Francis Buschman

    2014-07-01

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

  5. Constraining ultra large-scale cosmology with multiple tracers in optical and radio surveys

    E-Print Network [OSTI]

    Alonso, David

    2015-01-01

    Multiple tracers of the cosmic density field, with different bias, number and luminosity evolution, can be used to measure the large-scale properties of the Universe. We show how an optimal combination of tracers can be used to detect general-relativistic effects in the observed density of sources. We forecast for the detectability of these effects, as well as measurements of primordial non-Gaussianity and large-scale lensing magnification with current and upcoming large-scale structure experiments. In particular we quantify the significance of these detections in the short term with experiments such as the Dark Energy Survey (DES), and in the long term with the Large Synoptic Survey Telescope (LSST) and the Square Kilometre Array (SKA). We review the main observational challenges that must be overcome to carry out these measurements.

  6. Appraisal of transport and deformation in shale reservoirs using natural noble gas tracers

    SciTech Connect (OSTI)

    Heath, Jason E.; Kuhlman, Kristopher L.; Robinson, David G.; Bauer, Stephen J.; Gardner, William Payton

    2015-09-01

    This report presents efforts to develop the use of in situ naturally-occurring noble gas tracers to evaluate transport mechanisms and deformation in shale hydrocarbon reservoirs. Noble gases are promising as shale reservoir diagnostic tools due to their sensitivity of transport to: shale pore structure; phase partitioning between groundwater, liquid, and gaseous hydrocarbons; and deformation from hydraulic fracturing. Approximately 1.5-year time-series of wellhead fluid samples were collected from two hydraulically-fractured wells. The noble gas compositions and isotopes suggest a strong signature of atmospheric contribution to the noble gases that mix with deep, old reservoir fluids. Complex mixing and transport of fracturing fluid and reservoir fluids occurs during production. Real-time laboratory measurements were performed on triaxially-deforming shale samples to link deformation behavior, transport, and gas tracer signatures. Finally, we present improved methods for production forecasts that borrow statistical strength from production data of nearby wells to reduce uncertainty in the forecasts.

  7. Quantitative measurement of binary liquid distributions using multiple-tracer x-ray fluorescence and radiography

    SciTech Connect (OSTI)

    Halls, Benjamin R.; Meyer, Terrence R.; Kastengren, Alan L.

    2015-01-01

    The complex geometry and large index-of-refraction gradients that occur near the point of impingement of binary liquid jets present a challenging environment for optical interrogation. A simultaneous quadruple-tracer x-ray fluorescence and line-of-sight radiography technique is proposed as a means of distinguishing and quantifying individual liquid component distributions prior to, during, and after jet impact. Two different pairs of fluorescence tracers are seeded into each liquid stream to maximize their attenuation ratio for reabsorption correction and differentiation of the two fluids during mixing. This approach for instantaneous correction of x-ray fluorescence reabsorption is compared with a more time-intensive approach of using stereographic reconstruction of x-ray attenuation along multiple lines of sight. The proposed methodology addresses the need for a quantitative measurement technique capable of interrogating optically complex, near-field liquid distributions in many mixing systems of practical interest involving two or more liquid streams.

  8. Quantitative measurement of binary liquid distributions using multiple-tracer x-ray fluorescence and radiography

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

    Halls, Benjamin R.; Meyer, Terrence R.; Kastengren, Alan L.

    2015-01-23

    The complex geometry and large index-of-refraction gradients that occur near the point of impingement of binary liquid jets present a challenging environment for optical interrogation. A simultaneous quadruple-tracer x-ray fluorescence and line-of-sight radiography technique is proposed as a means of distinguishing and quantifying individual liquid component distributions prior to, during, and after jet impact. Two different pairs of fluorescence tracers are seeded into each liquid stream to maximize their attenuation ratio for reabsorption correction and differentiation of the two fluids during mixing. This approach for instantaneous correction of x-ray fluorescence reabsorption is compared with a more time-intensive approach of usingmore »stereographic reconstruction of x-ray attenuation along multiple lines of sight. The proposed methodology addresses the need for a quantitative measurement technique capable of interrogating optically complex, near-field liquid distributions in many mixing systems of practical interest involving two or more liquid streams.« less

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

    Office of Environmental Management (EM)

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-05-24

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-07-21

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

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

    Office of Scientific and Technical Information (OSTI)

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

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

    Office of Scientific and Technical Information (OSTI)

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

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

    E-Print Network [OSTI]

    Leavens, Gary T.

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

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

    E-Print Network [OSTI]

    Myers, Chris J.

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

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

    E-Print Network [OSTI]

    Avrunin, George S.

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    2002-01-01

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

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

    E-Print Network [OSTI]

    Hofmann, Hans A.

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

  20. Flux Measurements of Volatile Organic Compounds from an Urban Tower Platform in Houston, Texas: Trends and Tracers 

    E-Print Network [OSTI]

    Hale, Martin C

    2014-05-08

    and traffic counts except during variable working hours. To assign measured fluxes to local sources, we tested a bulk flux footprint model (Kormann and Meixner model) designed for uniform emission surface areas in this urban, heterogeneous landscape. Tracer...

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

    E-Print Network [OSTI]

    Siegel, David A.

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

  2. A Modified Tracer-Gas-Concentration Decay Method for Ventilation Rate Measurements in Large, Long, and Narrow Spaces

    E-Print Network [OSTI]

    Chen, Qingyan "Yan"

    obtained by the CO2-concentration decay method. However, this method requires a large amount of tracer method for ventilation rate measurements in large, long, and narrow spaces," Indoor and Built Environment

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

    SciTech Connect (OSTI)

    G.J. Moridis; G. S. Bodvarsson

    2001-10-01

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

  4. Heat as a Tracer to Examine Hydraulic Conductance Near the RussianRiver Bank Filtration Facility, Sonoma County, CA

    SciTech Connect (OSTI)

    Constantz, Jim; Su, Grace; Hatch, Christine

    2004-08-01

    Both the measurement of temperature and the simulation of heat and water transport have benefited from significant recent advances in data acquisition and computer resources. This has afforded the opportunity for routine use of heat as a tracer in a variety of hydrological regimes. Heat is particularly well suited for investigations of stream/groundwater exchanges. Dynamic temperature patterns between the stream and underlying sediments are typical, due to large stream surface area to volume ratios relative to other surface water bodies. Heat is a naturally occurring tracer, free from (real or perceived) issues of contamination associated with use of chemical tracers in stream environments. The use of heat as a tracer relies on the measurement of temperature gradients, and temperature is an extremely robust parameter to monitor. Temperature data is immediately available as opposed to chemical tracers, which often require significant laboratory analysis. In this work, we report on the progress in the use of heat as a tracer to determine the hydraulic conductance of the streambed along the middle reaches of the Russian River, located west of Santa Rosa, CA. The general hydrological setting is described and the unique matter in which the water resources are managed in an environment of increasing population, a rapid shift to agricultural crops requiring more irrigation, and a series of fishery related mandates.

  5. 100-NR-2 Apatite Treatability Test: Fall 2010 Tracer Infiltration Test (White Paper)

    SciTech Connect (OSTI)

    Vermeul, Vincent R.; Fritz, Brad G.; Fruchter, Jonathan S.; Greenwood, William J.; Johnson, Timothy C.; Horner, Jacob A.; Strickland, Christopher E.; Szecsody, James E.; Williams, Mark D.

    2011-04-14

    The primary objectives of the tracer infiltration test were to 1) determine whether field-scale hydraulic properties for the compacted roadbed materials and underlying Hanford fm. sediments comprising the zone of water table fluctuation beneath the site are consistent with estimates based laboratory-scale measurements on core samples and 2) characterize wetting front advancement and distribution of soil moisture achieved for the selected application rate. These primary objectives were met. The test successfully demonstrated that 1) the remaining 2 to 3 ft of compacted roadbed material below the infiltration gallery does not limit infiltration rates to levels that would be expected to eliminate near surface application as a viable amendment delivery approach and 2) the combined aqueous and geophysical monitoring approaches employed at this site, with some operational adjustments based on lessons learned, provides an effective means of assessing wetting front advancement and the distribution of soil moisture achieved for a given solution application. Reasonably good agreement between predicted and observed tracer and moisture front advancement rates was observed. During the first tracer infiltration test, which used a solution application rate of 0.7 cm/hr, tracer arrivals were observed at the water table (10 to 12 ft below the bottom of the infiltration gallery) after approximately 5 days, for an advancement rate of approximately 2 ft/day. This advancement rate is generally consistent with pre-test modeling results that predicted tracer arrival at the water table after approximately 5 days (see Figure 8, bottom left panel). This agreement indicates that hydraulic property values specified in the model for the compacted roadbed materials and underlying Hanford formation sediments, which were based on laboratory-scale measurements, are reasonable estimates of actual field-scale conditions. Additional work is needed to develop a working relationship between resistivity change and the associated change in moisture content so that 4D images of moisture content change can be generated. Results from this field test will be available for any future Ca-citrate-PO4 amendment infiltration tests, which would be designed to evaluate the efficacy of using near surface application of amendments to form apatite mineral phases in the upper portion of the zone of water table fluctuation.

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

  7. The Working Alliance and the Use of Interpreters

    E-Print Network [OSTI]

    Ebersole, Judy Lee

    2011-05-31

    This dissertation compared working alliance with and without interpreters and examined factors that may impact the development of the working alliance when an interpreter is used. The setting was a Midwestern public school district where social...

  8. Semantic Interpretation Using KL-ONE 1 Norman K. Sondheimer

    E-Print Network [OSTI]

    &Webber 80a, Bobrow&Webber 80b] on semantic interpretation using KL-ONE to represent knowledge. The approach

  9. DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION

    SciTech Connect (OSTI)

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

    2009-10-06

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

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

    E-Print Network [OSTI]

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

  11. Interactive Seismic Interpretation with Piecewise Global Energy Minimization

    E-Print Network [OSTI]

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

  12. Seismic Reflection Interpretation Geology 556/764 Fall 2015

    E-Print Network [OSTI]

    Seismic Reflection Interpretation Geology 556/764 Fall 2015 This course is for graduate students seismic interpretation. (3 Credit Hours) EWS 201, 1:15 pm - 4:15 pm Tuesday Instructor: Jim Kellogg (7-4501) E-mail: kellogg@sc.edu Goals and Content of Course: Students will learn seismic interpretation

  13. A Runtime Verification Framework for Control System Simulation

    SciTech Connect (OSTI)

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

    2014-08-02

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

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

    E-Print Network [OSTI]

    Cortes, Corinna

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

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

    E-Print Network [OSTI]

    Calvanese, Diego

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

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

    E-Print Network [OSTI]

    Leucker, Martin

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

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

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

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Austin, Mark

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

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

    E-Print Network [OSTI]

    Hilley, George

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

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

    E-Print Network [OSTI]

    Ciesielski, Maciej

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

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

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

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

    E-Print Network [OSTI]

    Theobald, Michael

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

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

    E-Print Network [OSTI]

    Xu, Haiping

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

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

    E-Print Network [OSTI]

    Barak, Boaz

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Chronopoulos, Anthony T.

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

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Najm, Farid N.

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

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

    E-Print Network [OSTI]

    Belaïd, Abdel

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

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

    E-Print Network [OSTI]

    Griffin, David

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

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

    E-Print Network [OSTI]

    Pace, Gordon J.

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

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

    E-Print Network [OSTI]

    Chen, Chaur-Chin

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

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

    E-Print Network [OSTI]

    Gupta, Gopal

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

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

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

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

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

    SciTech Connect (OSTI)

    Doyle, James E.

    2012-06-12

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

  4. Reactor physics verification of the MCNP6 unstructured mesh capability

    SciTech Connect (OSTI)

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

    2013-07-01

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

  5. ICDF Complex Waste Profile and Verification Sample Guidance

    SciTech Connect (OSTI)

    W. M. Heileson

    2006-10-01

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

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

    SciTech Connect (OSTI)

    J. M. Capron

    2006-04-04

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

  7. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01

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

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

    DOE Patents [OSTI]

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

    2005-12-27

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

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

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

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

  10. The shadow interpretation versus quantum paradoxes

    E-Print Network [OSTI]

    Leffler, Warren

    2009-01-01

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

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

    E-Print Network [OSTI]

    Henzinger, Thomas A.

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

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

    E-Print Network [OSTI]

    Cheng, Albert M. K.

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

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

    SciTech Connect (OSTI)

    ERIKA N. BAILEY

    2012-02-29

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

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

    SciTech Connect (OSTI)

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

    2014-09-01

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

  15. Using {sup 222}Rn as a tracer of geophysical processes in underground environments

    SciTech Connect (OSTI)

    Lacerda, T.; Anjos, R. M.; Silva, A. A. R. da; Yoshimura, E. M.

    2014-11-11

    Radon levels in two old mines in San Luis, Argentina, are reported and analyzed. These mines are today used for touristic visitation. Our goal was to assess the potential use of such radioactive noble gas as tracer of geological processes in underground environments. CR-39 nuclear track detectors were used during the winter and summer seasons. The findings show that the significant radon concentrations reported in this environment are subject to large seasonal modulations, due to the strong dependence of natural ventilation on the variations of outside temperature. The results also indicate that radon pattern distribution appear as a good method to localize unknown ducts, fissures or secondary tunnels in subterranean environments.

  16. Analysis of volatile phase transport in soils using natural radon gas as a tracer

    SciTech Connect (OSTI)

    Chen, C.; Thomas, D.M.

    1992-12-31

    We have conducted a field study of soil gas transport processes using radon gas as a naturally occurring tracer. The .experiment monitored soil gas radon activity, soil moisture, and soil temperature at three depths in the shallow soil column; barometric pressure, rainfall and wind speed were monitored at the soil surface. Linear and multiple regression analysis of the data sets has shown that the gas phase radon activities under natural environmental conditions are influenced by soil moisture content, barometric pressure variations, soil temperature and soil structure. The effect of wind speed on subsurface radon activities under our field conditions has not been demonstrated.

  17. Analysis of volatile phase transport in soils using natural radon gas as a tracer

    SciTech Connect (OSTI)

    Chen, C.; Thomas, D.M.

    1992-01-01

    We have conducted a field study of soil gas transport processes using radon gas as a naturally occurring tracer. The .experiment monitored soil gas radon activity, soil moisture, and soil temperature at three depths in the shallow soil column; barometric pressure, rainfall and wind speed were monitored at the soil surface. Linear and multiple regression analysis of the data sets has shown that the gas phase radon activities under natural environmental conditions are influenced by soil moisture content, barometric pressure variations, soil temperature and soil structure. The effect of wind speed on subsurface radon activities under our field conditions has not been demonstrated.

  18. Neutron spectrometry for UF6 enrichment verification in storage cylinders

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

    Mengesha, Wondwosen; Kiff, Scott D.

    2015-01-29

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

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

    E-Print Network [OSTI]

    American Society for Testing and Materials. Philadelphia

    2011-01-01

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

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

    SciTech Connect (OSTI)

    Luke, S J

    2011-12-20

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

  1. Quantum Residual Correlation: Interpreting through State Merging

    E-Print Network [OSTI]

    Indranil Chakrabarty; Abhishek Deshpande; Sourav Chatterjee

    2015-03-03

    In this brief report we revisit the concept of "quantum dissension", which was introduced as a natural extension of quantum discord for three qubit system. Here we bring in new expression for quantum dissensions and more interestingly we name one such expression as \\textit{residual correlation}. The basic objective behind the introduction of such a quantity is to capture the extra amount of correlation generated by doing measurement in a correlated system from a situation where we do not bring in a correlated system in the measurement process. Apart from this we also present an operational interpretation of this correlation in context of state merging. Remarkably, we find that for three qubit system if one discards relevant prior information, the change in the cost of state merging ( merging the quantum information of two parties into one) is captured by the \\textit{residual correlation}. In addition to that we found that this quantity can be negative for mixed states. This indeed opens up a new dimension in the tripartite scenario where we can observe situations where there is a decrease in the cost of state merging on discarding relevant prior information. We claim that this result establishes a re conceptualization of information processing tasks in tripartite situations where we can use suitable measurement and states to bring down the cost of the protocol.

  2. An alternative interpretation for cosmic ray peaks

    E-Print Network [OSTI]

    Kim, Doojin

    2015-01-01

    We propose an alternative mechanism based upon dark matter (DM) interpretation for anomalous peak signatures in cosmic ray measurements, assuming an extended dark sector with two DM species. This is contrasted with previous effort to explain various line-like cosmic-ray excesses in the context of DM models where the relevant DM candidate directly annihilates into Standard Model (SM) particles. The heavier DM is assumed to annihilate to an on-shell intermediate state. As the simplest choice, it decays directly into the lighter DM along with an unstable particle which in turn decays to a pair of SM states corresponding to the interesting cosmic anomaly. We show that a sharp continuum energy peak can be readily generated under the proposed DM scenario, depending on dark sector particle mass spectra. Remarkably, such a peak is robustly identified as half the mass of the unstable particle. Furthermore, other underlying mass parameters are analytically related to the shape of energy spectrum. We apply this idea to ...

  3. DIVE in the cosmic web: voids with Delaunay Triangulation from discrete matter tracer distributions

    E-Print Network [OSTI]

    Zhao, Cheng; Liang, Yu; Kitaura, Francisco-Shu; Chuang, Chia-Hsun

    2015-01-01

    We present a novel parameter-free cosmological void finder (\\textsc{dive}, Delaunay TrIangulation Void findEr) based on Delaunay Triangulation (DT), which efficiently computes the empty spheres constrained by a discrete set of tracers. We define the spheres as DT voids, and describe their properties, including an universal density profile together with an intrinsic scatter. We apply this technique on 100 halo catalogues with volumes of 2.5\\,$h^{-1}$Gpc side each, with a bias and number density similar to the BOSS CMASS Luminous Red Galaxies, performed with the \\textsc{patchy} code. Our results show that there are two main species of DT voids, which can be characterised by the radius: they have different responses to halo redshift space distortions, to number density of tracers, and reside in different dark matter environments. Based on dynamical arguments using the tidal field tensor, we demonstrate that large DT voids are hosted in expanding regions, whereas the haloes used to construct them reside in collap...

  4. A cubic matrix-fracture geometry model for radial tracer flow in naturally fractured reservoirs

    SciTech Connect (OSTI)

    Jetzabeth Ramirez-Sabag; Fernando Samaniego V.

    1992-01-01

    This study presents a general solution for the radial flow of tracers in naturally fractured reservoirs, with cubic blocks matrix-fracture geometry. Continuous and finite step injection of chemical and radioactive tracers are considered. The reservoir is treated as being composed of two regions: a mobile where dispersion and convection take place and a stagnant where only diffusion and adsorption are allowed. Radioactive decay is considered in both regions. The model of this study is thoroughly compared under proper simplified conditions to those previously presented in the literature. The coupled matrix to fracture solution in the Laplace space is numerically inverted by means of the Crump algorithm. A detailed validation of the model with respect to solutions previously presented and/or simplified physical conditions solutions (i.e., homogeneous case) or limit solutions (i.e., naturally fractured nearly homogeneous) was carried out. The influence of the three of the main dimensionless parameters that enter into the solution was carefully investigated. A comparison of results for three different naturally fractured systems, vertical fractures (linear flow), horizontal fractures (radial flow) and the cubic geometry model of this study, is presented.

  5. A Really Good Hammer: Quantification of Mass Transfer Using Perfluorocarbon Tracers (475th Brookhaven Lecture)

    SciTech Connect (OSTI)

    Watson, Tom

    2012-02-15

    Brookhaven Lab’s perfluorocarbon tracer (PFT) technology can be viewed as a hammer looking for nails. But, according to Tom Watson, leader of the Lab’s Tracer Technology Group in the Environmental Research and Technology Division (ERTD), “It’s a really good hammer!” The colorless, odorless and safe gases have a number of research uses, from modeling how airborne contaminants might move through urban canyons to help first responders plan their response to potential terrorist attacks and accidents to locating leaks in underground gas pipes. Their extremely low background level — detectable at one part per quadrillion — allows their transport to be easily tracked. Lab researchers used PFTs during the 2005 Urban Dispersion Program field studies in New York City, gathering data to help improve models of how a gas or chemical release might move around Manhattan’s tall buildings and canyons. Closer to home, scientists also used PFTs to make ventilation measurements in Bldg. 400 on the Lab site to provide data to test air flow models used in determining the effects of passive and active air exchange on the levels of indoor and outdoor air pollution, and to determine the effects of an accidental or intentional release of hazardous substances in or around buildings.

  6. A Spreadsheet Program for Two-Well Tracer Test Data Analysis

    SciTech Connect (OSTI)

    Tang, Guoping [ORNL; Watson, David [ORNL; Parker, Jack C. [University of Tennessee, Knoxville (UTK); Brooks, Scott C [ORNL

    2011-01-01

    Two-well tracer tests are often conducted to investigate subsurface solute transport in the field. Analyzing breakthrough curves in extraction and monitoring wells using numerical methods is nontrivial due to highly nonuniform flow conditions. We extended approximate analytical solutions for the advection-dispersion equation for an injection-extraction well doublet in a homogeneous confined aquifer under steady-state flow conditions for equal injection and extraction rates with no transverse dispersion and negligible ambient flow, and implemented the solutions in Microsoft Excel using Visual Basic for Application (VBA). Functions were implemented to calculate concentrations in extraction and monitoring wells at any location due to a step or pulse injection. Type curves for a step injection were compared with those calculated by numerically integrating the solution for a pulse injection. The results from the two approaches are similar when the dispersivity is small. As the dispersivity increases, the latter was found to be more accurate but requires more computing time. The code was verified by comparing the results with published-type curves and applied to analyze data from the literature. The method can be used as a first approximation for two-well tracer test design and data analysis, and to check accuracy of numerical solutions. The code and example files are publicly available.

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

    SciTech Connect (OSTI)

    Erickson, S A

    2001-10-15

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

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

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01

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

  9. INTERPRETATION OF GRAVITY SURVEYS IN GRASS AND BUENA VISTA VALLEYS, NEVADA

    E-Print Network [OSTI]

    Goldstein, N.E.

    2011-01-01

    resistivity, and seismic interpretations along selectedboth gra- vity and seismic interpretations at several pointsvery well with the seismic interpretation obtained by means

  10. INTERPRETATION OF GRAVITY SURVEYS IN GRASS AND BUENA VISTA VALLEYS, NEVADA

    E-Print Network [OSTI]

    Goldstein, N.E.

    2011-01-01

    resistivity, and seismic interpretations along selectedboth gra- vity and seismic interpretations at several pointsValley. Gravity and seismic interpretations also give The

  11. Geologic interpretation of gravity and magnetic data in the Salida...

    Open Energy Info (EERE)

    Geologic interpretation of gravity and magnetic data in the Salida region, Colorado Jump to: navigation, search OpenEI Reference LibraryAdd to library Report: Geologic...

  12. Physical Interpretation of the 26 Dimensions of Bosonic String Theory

    E-Print Network [OSTI]

    Frank D. Smith Jr

    2002-07-15

    The 26 dimensions of Closed Unoriented Bosonic String Theory are interpreted as the 26 dimensions of the traceless Jordan algebra J3(O)o of 3x3 Octonionic matrices, with each of the 3 Octonionic dimenisons of J3(O)o having the following physical interpretation: 4-dimensional physical spacetime plus 4-dimensional internal symmetry space; 8 first-generation fermion particles; 8 first-generation fermion anti-particles. This interpretation is consistent with interpreting the strings as World Lines of the Worlds of Many-Worlds Quantum Theory and the 26 dimensions as the degrees of freedom of the Worlds of the Many-Worlds.

  13. Sensitivity of the interpretation of the experimental ion thermal...

    Office of Scientific and Technical Information (OSTI)

    thermal diffusivity to the determination of the ion conductive heat flux A moments equation formalism for the interpretation of the experimental ion thermal diffusivity from...

  14. Mixture Interpretation Discussion CE User's Group J.M. Butler

    E-Print Network [OSTI]

    workbook with worked examples · Considering flow charts to aid mixture interpretation · Have discussed of Forensic Genetics · An international organization responsible for

  15. Fluid Inclusion Stratigraphy Interpretation of New Wells in the...

    Open Energy Info (EERE)

    Fluid Inclusion Stratigraphy Interpretation of New Wells in the Coso Geothermal Field Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Paper: Fluid...

  16. Fluid Inclusion Stratigraphy: Interpretation of New Wells in...

    Open Energy Info (EERE)

    Fluid Inclusion Stratigraphy: Interpretation of New Wells in the Coso Geothermal Field Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Proceedings:...

  17. Interpretation of chemical analyses of waters collected from...

    Open Energy Info (EERE)

    Interpretation of chemical analyses of waters collected from two geothermal wells at Coso, California Jump to: navigation, search OpenEI Reference LibraryAdd to library Journal...

  18. An Information Theoretic Location Verification System for Wireless Networks

    E-Print Network [OSTI]

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

    2012-01-01

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

  19. Pulsar Magnetic Field Oscillation Model and Verification Method

    E-Print Network [OSTI]

    Zhu-Xing Liang; Yi Liang

    2014-05-06

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

  20. Shell Element Verification & Regression Problems for DYNA3D

    SciTech Connect (OSTI)

    Zywicz, E

    2008-02-01

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

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

    SciTech Connect (OSTI)

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

    2014-05-09

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

  2. Battery Technology Life Verification Test Manual Revision 1

    SciTech Connect (OSTI)

    Jon P. Christophersen

    2012-12-01

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

  3. ITOUGH2 V3.2 verification and validation report

    SciTech Connect (OSTI)

    Finsterle, S.

    1998-06-01

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

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

    SciTech Connect (OSTI)

    Pabian, Frank Vincent [Los Alamos National Laboratory

    2010-09-16

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

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

    SciTech Connect (OSTI)

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

    2004-09-29

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

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

    E-Print Network [OSTI]

    Ouaknine, Joël

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

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

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

    Weaver, P.

    2008-03-17

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

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

    DOE Patents [OSTI]

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

    2011-01-25

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

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

    E-Print Network [OSTI]

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

    2010-01-01

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

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

    Broader source: Energy.gov [DOE]

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

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

    E-Print Network [OSTI]

    Ortiz, Jorge Jose

    2013-01-01

    Functionality and Metadata 6.1 Verification through Sensorinformation such as the metadata of sensors. The labels “A-of SBS using the sensor metadata (i.e. device types and

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

    E-Print Network [OSTI]

    Ortiz, Jorge Jose

    2013-01-01

    associated metadata for each sensor in the building. TheseMetadata Verification through Sensor Data Every system that manages data in the buildingAND METADATA Building Todai KETI No. Sensors No. Types

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

    SciTech Connect (OSTI)

    Edwards, T.B.

    2000-03-22

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

  15. Application of functional learning to ATPG and design verification for combinational circuits 

    E-Print Network [OSTI]

    Mukherjee, Rajarshim

    1994-01-01

    to detect faults and in detecting redundant faults. Learning techniques have also been effectively applied to the problem of design verification for combinational circuits. This paper presents Functional Learning, a new method of learning, based...

  16. Memory Usage Verification for OO Programs Wei-Ngan Chin1,2

    E-Print Network [OSTI]

    Rinard, Martin

    to precisely capture these correlations. C. Hankin and I. Siveroni (Eds.): SAS 2005, LNCS 3672, pp. 70­86, 2005. c Springer-Verlag Berlin Heidelberg 2005 #12;Memory Usage Verification for OO Programs 71 ­ Heap

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    SciTech Connect (OSTI)

    Not Available

    2014-09-01

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

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

    E-Print Network [OSTI]

    Stewart, Scott

    2013-06-03

    support future U.S. verification missions. A technology employing pulses of high-energy photons from an electron linear accelerator is one technique under consideration. High-energy photons are advantageous as an interrogation source because they penetrate...

  1. Conditions Affecting the Relationship between Power and Identity Verification in Power Imbalanced Dyads 

    E-Print Network [OSTI]

    Davis, Jennifer 1983-

    2012-12-10

    In the present study, I look at the relationship between power and identity verification and the conditions under which this relationship can be disrupted. Specifically, I look at the role of information in disrupting power differences within...

  2. POSTER: Secure Path Verification using Mobility-Differentiated ToA

    E-Print Network [OSTI]

    Lenders, Vincent

    POSTER: Secure Path Verification using Mobility-Differentiated ToA Matthias Schäfer Vincent Lenders@cs.uni-kl.de vincent.lenders@armasuisse.ch jschmitt@cs.uni-kl.de ABSTRACT In this poster, we generalize the problem

  3. The time course of discourse priming in the interpretation of conceptual combinations 

    E-Print Network [OSTI]

    Sappington, Randy Earl

    2006-10-30

    that express an interpretation that is more consistent with the interpreter?s existing knowledge of the constituent concepts are more strongly activated and, thus, lead people to a default interpretation for the phrase. To test relations, Gagn? and her...

  4. 3-D Interpretation of Sewer Circular Structures Marina Kolesnik,

    E-Print Network [OSTI]

    Kolesnik, Marina

    3-D Interpretation of Sewer Circular Structures Marina Kolesnik, Institute for Autonomous interpretation of images taken in a sewer by a robot-inspector is presented. Modern sewers made of concrete sections. These pipe ends and joints provide regular marks on the sewer images and can be used for their 3

  5. HOMOGENEOUS 1-BASED STRUCTURES AND INTERPRETABILITY IN RANDOM STRUCTURES

    E-Print Network [OSTI]

    Djordjevic, Vera

    HOMOGENEOUS 1-BASED STRUCTURES AND INTERPRETABILITY IN RANDOM STRUCTURES VERA KOPONEN Abstract. Let -structure which is homogeneous, simple and 1- based. The rst main result says that if M is, in addition, primitive, then it is strongly interpretable in a random structure. The second main result, which

  6. Expressive Visualization and Rapid Interpretation of Seismic Volumes

    E-Print Network [OSTI]

    Expressive Visualization and Rapid Interpretation of Seismic Volumes Daniel Patel Thesis, Christopher Giertsen, John Thurmond, Eduard Gr¨oller The Seismic Analyzer: Interpreting and Illustrating 2D of Seismic Data Published in: Vision, Modelling and Visualization (VMV) 2007 Authors: Daniel Patel

  7. A posteriori soundness for non-deterministic abstract interpretations

    E-Print Network [OSTI]

    Might, Matt

    . In abstract interpretation, speed and precision are a function of the abstract allocation policy. By abstract://www.ccs.neu.edu/~pete/ Abstract. An abstract interpretation's resource-allocation policy (e.g., one heap summary node per allocation site) largely determines both its speed and precision. Historically, context has driven allocation

  8. The Emergence and Interpretation of Probability in Bohmian Mechanics1

    E-Print Network [OSTI]

    Callender, Craig

    The Emergence and Interpretation of Probability in Bohmian Mechanics1 The Bohm interpretation of quantum mechanics is capable of illustrating, by itself, virtually every philosophical and foundational comes in many forms, both stochastic and deterministic. The other reason is that quantum mechanics

  9. ARTIFICIAL INTELLIGENCE 121 Interpreting Pictures of Polyhedral Scenes*

    E-Print Network [OSTI]

    Mackworth, Alan K.

    ARTIFICIAL INTELLIGENCE 121 Interpreting Pictures of Polyhedral Scenes* A. K. Mackworth Laboratory of predetermined interpretations of particular categories of picture junctions and corners. 1. Introduction One way to capture the meaning of pictures is to investigate the relationship between two domains: the picture

  10. Automated analysis and interpretation of long-term

    E-Print Network [OSTI]

    Maher, Robert C.

    Automated analysis and interpretation of long-term soundscape audio recordings Robert C. Maher Electrical and Computer Engineering Montana State University - Bozeman #12;Outline · Introduction · Long · Interpretation and presentation is difficult due to extreme length of the data · What is needed: ­ Automated

  11. Interpretation of storage field well casing surface potentials

    SciTech Connect (OSTI)

    Dabkowski, J.

    1987-01-01

    The shape of a well casing-to-soil potential gradient surface profile is influenced by many variables. Hence, the interpretation of such field data can be difficult. The paper illustrates how such factors as layered ground resistivity, polarization potential variations with depth, and external interference affect the profiles and, therefore, the interpretation of field data.

  12. 90Sr liquid scintillation urine analysis utilizing different approaches for tracer recovery.

    SciTech Connect (OSTI)

    Piraner, Olga [Centers for Disease Control and Prevention, Atlanta, GA; Preston, Rose T. [Sandia Staffing Alliance, LLC, Albuquerque, NM; Shanks, Sonoya Toyoko; Jones, Robert [Centers for Disease Control and Prevention, Atlanta, GA

    2010-08-01

    90Sr is one of the isotopes most commonly produced by nuclear fission. This medium lived isotope presents serious challenges to radiation workers, the environment, and following a nuclear event, the general public. Methods of identifying this nuclide have been in existence for a number of years (e.g. Horwitz, E.P. [1], Maxwell, S.L.[2], EPA 905.0 [3]) which are time consuming, requiring a month or more for full analysis. This time frame is unacceptable in the present security environment. It is therefore important to have a dependable and rapid method for the determination of Sr. The purposes of this study are to reduce analysis time to less than half a day by utilizing a single method of radiation measurement while continuing to yield precise results. This paper presents findings on three methods that can meet this criteria; (1) stable Sr carrier, (2) 85Sr by gamma spectroscopy, and (3) 85Sr by LSC. Two methods of analyzing and calculating the 85Sr tracer recovery were investigated (gamma spectroscopy and a low energy window-Sr85LEBAB by LSC) as well as the use of two different types of Sr tracer (85Sr and stable Sr carrier). Three separate stock blank urine samples were spiked with various activity levels of 239Pu, 137Cs, 90Sr /90Y to determine the effectiveness of the Eichrome Sr-spec%C2%AE resin 2mL extractive columns. The objective was to compare the recoveries of 85Sr versus a stable strontium carrier, attempt to compare the rate at which samples can be processed by evaluating evaporation, neutralization, and removing the use of another instrument (gamma spectrometer) by using the LSC spectrometer to obtain 85Sr recovery. It was found that when using a calibration curve comprised of a different cocktail and a non-optimum discriminator setting reasonable results (bias of %C2%B1 25%) were achieved. The results from spiked samples containing 85Sr demonstrated that a higher recovery is obtained when using gamma spectroscopy (89-95%) than when using the LEB window from LSC (120-470%). The high recovery for 85Sr by LSC analysis may be due to the interference/cross talk from the alpha region since alpha counts were observed in all sample sets. After further investigation it was determined that the alpha counts were due to 239Pu breakthrough on the Sr-spec%C2%AE column. This requires further development to purify the Sr before an accurate tracer recovery determination can be made. Sample preparation times varied and ranged from 4-6 hours depending on the specific sample preparation process. The results from the spiked samples containing stable strontium nitrate Sr(NO3)2 carrier demonstrate that gravimetric analysis yields the most consistent high recoveries (97-101%) when evaporation is carefully performed. Since this method did not have a variation on the tracer recovery method, the samples were counted in 1) LEB/Alpha/Beta mode optimized for Sr-90, 2) DPM for Sr-90, and 3) general LEB/Alpha/Beta mode. The results (from the known) ranged from 79-104%, 107-177%, and 85-89% for 1, 2, and 3 respectively. Counting the prepared samples in a generic low energy beta/alpha/beta protocol yielded more accurate and consistent results and also yielded the shortest sample preparation turn-around-time of 3.5 hours.

  13. Passive tracer in a flow corresponding to a two dimensional stochastic Navier Stokes equations

    E-Print Network [OSTI]

    Tomasz Komorowski; Szymon Peszat; Tomasz Szarek

    2012-04-26

    In this paper we prove the law of large numbers and central limit theorem for trajectories of a particle carried by a two dimensional Eulerian velocity field. The field is given by a solution of a stochastic Navier--Stokes system with a non-degenerate noise. The spectral gap property, with respect to Wasserstein metric, for such a system has been shown in [9]. In the present paper we show that a similar property holds for the environment process corresponding to the Lagrangian observations of the velocity. In consequence we conclude the law of large numbers and the central limit theorem for the tracer. The proof of the central limit theorem relies on the martingale approximation of the trajectory process.

  14. Rocky Flats 1990--91 winter validation tracer study: Volume 1

    SciTech Connect (OSTI)

    Brown, K.J.

    1991-10-01

    During the winter of 1990--91, North American Weather Consultants (NAWC) and its subcontractor, ABB Environmental Services (ABBES), conducted a Winter Validation Study (WVS) for EG&G Rocky Flats involving 12 separate tracer experiments conducted between February 3 and February 19, 1991. Six experiments were conducted during nighttime hours and four experiments were conducted during daytime hours. In addition, there was one day/night and one night/day transitional experiment conducted. The primary purpose of the WVS was to gather data to further the approval process for the Terrain Responsive Atmospheric Code (TRAC). TRAC is an atmospheric dispersion model developed and operated at the Department of Energy`s (DOE`s) Rocky Flats Plant (RFP) north of Denver, Colorado. A secondary objective was to gather data that will serve to validate the TRAC model physics.

  15. Green River air quality model development: meteorological and tracer data, July/August 1982 field study in Brush Valley, Colorado

    SciTech Connect (OSTI)

    Whiteman, C.D.; Lee, R.N.; Orgill, M.M.; Zak, B.D.

    1984-06-01

    Meteorological and atmospheric tracer studies were conducted during a 3-week period in July and August of 1982 in the Brush Creek Valley of northwestern Colorado. The objective of the field experiments was to obtain data to evaluate a model, called VALMET, developed at PNL to predict dispersion of air pollutants released from an elevated stack located within a deep mountain valley in the post-sunrise temperature inversion breakup period. Three tracer experiments were conducted in the valley during the 2-week period. In these experiments, sulfur hexafluoride (SF/sub 6/) was released from a height of approximately 100 m, beginning before sunrise and continuing until the nocturnal down-valley winds reversed several hours after sunrise. Dispersion of the sulfur hexafluoride after release was evaluated by measuring SF/sub 6/ concentrations in ambient air samples taken from sampling devices operated within the valley up to about 8 km down valley from the source. An instrumented research aircraft was also used to measure concentrations in and above the valley. Tracer samples were collected using a network of radio-controlled bag sampling stations, two manually operated gas chromatographs, a continuous SF/sub 6/ monitor, and a vertical SF/sub 6/ profiler. In addition, basic meteorological data were collected during the tracer experiments. Frequent profiles of vertical wind and temperature structure were obtained with tethered balloons operated at the release site and at a site 7.7 km down the valley from the release site. 10 references, 63 figures, 50 tables.

  16. Thorium isotopes as tracers of particles dynamics and deep water circulation in the Indian sector of the

    E-Print Network [OSTI]

    Coppola, Laurent

    Thorium isotopes as tracers of particles dynamics and deep water circulation in the Indian sector to study the distribution of thorium isotopes (234 Th, 232 Th and 230 Th) in the water column of the Indian in surface water (0­100 m) and a model was applied to estimate a residence time relative to the thorium

  17. Isolating the role of mesoscale eddies in mixing of a passive tracer in an eddy resolving model

    E-Print Network [OSTI]

    Miami, University of

    Isolating the role of mesoscale eddies in mixing of a passive tracer in an eddy resolving model February 2008; published 16 May 2008. [1] This study examines the role of mesoscale eddies in distribution was replaced by a down-gradient diffusive parameterization. Our results demonstrate that advection by mesoscale

  18. AMMONIA AS A TRACER OF CHEMICAL EQUILIBRIUM IN THE T7.5 DWARF GLIESE 570D D. Saumon,1

    E-Print Network [OSTI]

    AMMONIA AS A TRACER OF CHEMICAL EQUILIBRIUM IN THE T7.5 DWARF GLIESE 570D D. Saumon,1 M. S. Marley March 15; accepted 2006 April 25 ABSTRACT We present the first analysis of an optical to mid order of magnitude from the value obtained with chemical-equilibrium models. We model departures from

  19. Effects from influent boundary conditions on tracer migration and spatial variability features in intermediate-scale experiments

    SciTech Connect (OSTI)

    Fuentes, H.R.; Polzer, W.L.; Springer, E.P.

    1987-04-01

    In previous unsaturated transport studies at Los Alamos dispersion coefficients were estimated to be higher close to the tracer source than at greater distances from the source. Injection of tracers through discrete influent outlets could have accounted for those higher dispersions. Also, a lack of conservation of mass of the tracers was observed and suspected to be due to spatial variability in transport. In the present study experiments were performed under uniform influent (ponded) conditions in which breakthrough of tracers was monitored at four locations at each of four depths. All other conditions were similar to those of the unsaturated transport experiments. A comparison of results from these two sets of experiments indicates differences in the parameter estimates. Estimates were made for the dispersion coefficient and the retardation factor by the one-dimensional steady flow computer code, CFITIM. Estimates were also made for mass and for velocity and the dispersion coefficient by the method of moments. The dispersion coefficient decreased with depth under discrete influent application and increased with depth under ponded influent application. Retardation was predicted better under the discrete influent application than under ponded influent application. Differences in breakthroughs and in estimated parameters among locations at the same depth were observed under ponded influent application. Those differences indicate that there is a lack of conservation of mass as well as significant spatial variability across the experimental domain. 14 refs., 9 figs., 8 tabs.

  20. Biased swimming cells do not disperse in pipes as tracers: A population model based on microscale behaviour

    E-Print Network [OSTI]

    Bearon, Rachel

    mask Biomicrofluidics 5, 022204 (2011) Analytical solution on Magnus wind turbine power performanceBiased swimming cells do not disperse in pipes as tracers: A population model based on microscale: A population model based on microscale behaviour R. N. Bearon,1,a) M. A. Bees,2 and O. A. Croze3 1 Department