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


1

Rational proofs  

E-Print Network (OSTI)

We study a new type of proof system, where an unbounded prover and a polynomial time verifier interact, on inputs a string x and a function f, so that the Verifier may learn f(x). The novelty of our setting is that there ...

Azar, Pablo Daniel

2

Hypersurfaces of prescribed mean . . .  

E-Print Network (OSTI)

We give a new existence proof for closed hypersurfaces of prescribed mean curvature in Lorentzian manifolds.

Claus Gerhardt

2004-01-01T23:59:59.000Z

3

A Trustworthy Proof Checker  

Science Conference Proceedings (OSTI)

Proof-carrying code (PCC) and other applications in computer security require machine-checkable proofs of properties of machine-language programs. The main advantage of the PCC approach is that the amount of code that must be explicitly trusted is very ... Keywords: proof checker, proof-carrying code

Andrew W. Appel; Neophytos Michael; Aaron Stump; Roberto Virga

2004-01-01T23:59:59.000Z

4

Delfzijl 2030: WADerPROOF.  

E-Print Network (OSTI)

??Delfzijl 2030 WADerPROOF; A graduation thesis separated in two parts: [1] WADerPROOF; a spatial plan to combine the problematic of social decline and flood management… (more)

Papenborg, L.R.

2012-01-01T23:59:59.000Z

5

Acceptable Documents for Identity Proofing | Department of Energy  

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

Acceptable Documents for Identity Proofing Acceptable Documents for Identity Proofing Acceptable Documents for Identity Proofing It is a requirement that the identity of a DOE Digital Identity Subscriber be verified against acceptable identity source documents. A Subscriber must appear in person and present their Federal Agency Identification Badge or HSPD-12 Badge as proof of identity. Either of these badges individually are sufficient identification. Lacking a Federal Agency Identification Badge or HSPD-12 Badge, a Subscriber must appear in person and provide two forms of identity source documents in original form unless otherwise noted. One of these two identity source documents must be a photo ID. Acceptable documents are listed below. Please note that all of these documents can be used to establish identity:

6

A Framework for Proof Systems  

Science Conference Proceedings (OSTI)

Linear logic can be used as a meta-logic to specify a range of object-level proof systems. In particular, we show that by providing different polarizations within a focused proof system for linear logic, one can account for natural ... Keywords: Focusing, Linear logic, Logical framework, Meta-logic

Vivek Nigam; Dale Miller

2010-08-01T23:59:59.000Z

7

Conway’s zip proof  

E-Print Network (OSTI)

Surfaces arise naturally in many different forms, in branches of mathematics ranging from complex analysis to dynamical systems. The Classification Theorem, known since the 1860’s, asserts that all closed surfaces, despite their diverse origins and seemingly diverse forms, are topologically equivalent to spheres with some number of handles or crosscaps (to be defined below). The proofs found in most modern textbooks follow that of Seifert and Threlfall [5]. Seifert and Threlfall’s proof, while satisfyingly constructive, requires that a given surface be brought into a somewhat artificial standard form. Here we present a completely new proof, discovered by John H. Conway in about 1992, which retains the constructive nature of [5] while eliminating the irrelevancies of the standard form. Conway calls it his Zero Irrelevancy Proof, or “ZIP proof”, and asks that it always be called by this name, remarking that “otherwise there’s a real danger that its origin would be lost, since everyone who hears it immediately regards it as the obvious proof”. We trust that Conway’s ingenious proof will replace the customary textbook repetition of Seifert-Threlfall in favor of a lighter, fatfree

George K. Francis; Jeffrey R. Weeks

1999-01-01T23:59:59.000Z

8

Energy Strategic Planning & Sufficiency Project  

Science Conference Proceedings (OSTI)

This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follows: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.

Retziaff, Greg

2005-03-30T23:59:59.000Z

9

Polytypic properties and proofs in Coq  

Science Conference Proceedings (OSTI)

We formalize proofs over Generic Haskell-style polytypic programs in the proof assistant Coq. This makes it possible to do fully formal (machine verified) proofs over polytypic programs with little effort. Moreover, the formalization can be seen as a ... Keywords: Coq, generic programming, polytypic programs, polytypic proofs

Wendy Verbruggen; Edsko de Vries; Arthur Hughes

2009-08-01T23:59:59.000Z

10

The self-sufficient solar house Freiburg  

SciTech Connect

The Fraunhofer Institute for Solar Energy Systems has built a Self-Sufficient Solar House (SSSH) in Freiburg, Germany. The aim of the project is to provide the entire energy demand for heating, domestic hot water, electricity and cooking by the sun. The combination of highly efficient solar systems with conventional means to save energy is the key to the successful operation of the house. With transparent insulation of building walls utilizing winter insulation the heating demand of the building is almost zero. Small size seasonal high energy storage is accomplished by electrolysis of water and pressurized storage of hydrogen and oxygen. The energy for electricity and hydrogen generation is supplied by solar cells. Hydrogen can be reconverted to electricity with a fuel cell or used for cooking. It also serves as a back-up for low temperature heat. There are provisions for short-term storage of electricity and optimal routing of energy. The SSSH is occupied by a family. An intensive measurement program is being carried out. The data are used for the validation of the dynamic simulation calculations, which formed the basis for planning the SSSH. 28 refs., 42 figs., 9 tabs.

Goetzberger, A.; Stahl, W.; Bopp, G.; Heinzel, A.; Voss, K. [Fraunhofer-Institut fuer Solare Energie Systeme, Frieburg (Germany)

1994-12-31T23:59:59.000Z

11

Focus Windows: A New Technique for Proof Presentation ?  

E-Print Network (OSTI)

Focus Windows: A New Technique for Proof Presentation ? Florina Piroi and Bruno Buchberger Research{links that display the referenced formula in a small auxiliary window; nested brackets at the right{hand margin make Theorema provers. Focus windows provide means to overcome this diÃ?culty. The idea of focus windows

12

A simple proof of Jordan normal form  

E-Print Network (OSTI)

In this note, a simple proof Jordan normal form and rational form of matrices over a field is given.

Chen, Yuqun

2011-01-01T23:59:59.000Z

13

First Proof of Ferromagnetic Carbon  

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

Proof of Ferromagnetic Proof of Ferromagnetic Carbon First Proof of Ferromagnetic Carbon Print Wednesday, 25 July 2007 00:00 Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

14

A proof of extension conjecture.  

E-Print Network (OSTI)

Extension conjecture states that if a simple module over an artin algebra has nonzero first self-extension group then it has nonzero $i$-th self-extension group for infinitely many positive integers $i$. It is shown by recollement of triangulated categories and differential graded homological algebra approach that extension conjecture is true for finite-dimensional elementary algebras over a field, particularly, for finite-dimensional algebras over an algebraically closed field. Moreover, bimodule approach is introduced to strong no loop conjecture, which provides two new proofs of Igusa-Liu-Paquette theorem.

Yang Han

15

First Proof of Ferromagnetic Carbon  

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

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

16

First Proof of Ferromagnetic Carbon  

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

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

17

First Proof of Ferromagnetic Carbon  

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

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

18

First Proof of Ferromagnetic Carbon  

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

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

19

First Proof of Ferromagnetic Carbon  

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

First Proof of Ferromagnetic Carbon Print First Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

20

The Thirteen Spheres: A New Proof  

E-Print Network (OSTI)

of Standards Appl. Math Series 55, U.S. Dept. of Commerce, Washington DC, 1972. [2] M. Aigner and G. Ziegler, Proofs from THE BOOK. Springer, Berlin, 1998  ...

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


21

Towards an Intelligent Tutor for Mathematical Proofs  

E-Print Network (OSTI)

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.

Autexier, Serge; Schiller, Marvin; 10.4204/EPTCS.79.1

2012-01-01T23:59:59.000Z

22

Proof Synthesis and Reflection for Linear Arithmetic  

Science Conference Proceedings (OSTI)

This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Cooper (for Z) and by Ferrante and Rackoff ... Keywords: Linear arithmetic, Proof synthesis, Reflection

Amine Chaieb; Tobias Nipkow

2008-07-01T23:59:59.000Z

23

Quantum proof systems and entanglement theory  

E-Print Network (OSTI)

Quantum complexity theory is important from the point of view of not only theory of computation but also quantum information theory. In particular, quantum multi-prover interactive proof systems are defined based on ...

Abolfathe Beikidezfuli, Salman

2009-01-01T23:59:59.000Z

24

Finding counter examples in induction proofs  

Science Conference Proceedings (OSTI)

This paper addresses a problem arising in automated proof of invariants of transition systems, for example transition systems modelling distributed programs. Most of the time, the actual properties we want to prove are too weak to hold inductively, and ...

Koen Claessen; Hans Svensson

2008-04-01T23:59:59.000Z

25

Identity Proofing Process | Department of Energy  

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

Identity Proofing Process Identity Proofing Process Identity Proofing Process Prior to being issued a Digital Identity candidates must be identity proofed during a face-to-face meeting with a Trusted Agent of the DOE PKI. If you need assistance finding a DOE Trusted Agent please contact the EITS Service Desk at EITSServiceDesk@hq.doe.gov. When you appear in-person to meet with the DOE Trusted Agent you must bring: The printed copy of the Subscriber Agreement form. You should complete the portion of the form that is surrounded by the blue box. Your Federal ID Badge. This will be used to positively identify you. If you do not have a Federal ID Badge you must bring the following: One valid government-issued picture ID. A drivers license for example. One other form of ID. This does not have to be a picture ID, but

26

Energy Strategic Planning & Self-Sufficiency Project  

Science Conference Proceedings (OSTI)

This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follow: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.

Greg Retzlaff

2005-03-30T23:59:59.000Z

27

Incrementally verifiable computation or proofs of knowledge imply time/space efficiency  

Science Conference Proceedings (OSTI)

A probabilistically checkable proof (PCP) system enables proofs to be verified in time polylogarithmic in the length of a classical proof. Computationally sound (CS) proofs improve upon PCPs by additionally shortening the length of the transmitted proof ...

Paul Valiant

2008-03-01T23:59:59.000Z

28

The self-sufficient solar house in Freiburg  

Science Conference Proceedings (OSTI)

The Fraunhofer Institute for Solar Energy Systems has built a completely self-sufficient solar house (SSSH) in Freiburg, Germany. The entire energy demand for heating, domestic hot water, electricity, and cooking is supplied by the sun. The combination of highly efficient solar systems with conventional means to save energy is the key to the successful operation of the house. Seasonal energy storage is accomplished by electrolysis of water and pressurized storage of hydrogen and oxygen. The energy for electricity and hydrogen generation is supplied by solar cells. Hydrogen can be reconverted to electricity with a fuel cell or using for cooking. It also serves as a back-up for low temperature heat. There are provisions for short term storage of electricity and optimal routing of energy. The SSSH is occupied by a family. An intensive measurement program is being carried out. The data are used for the validation of the dynamic simulation calculations, which formed the basis for planning the SSSH.

Stahl, W.; Voss, K.; Goetzberger, A. (Fraunhofer-Institut fuer Energiesysteme, Freiburg (Germany))

1994-01-01T23:59:59.000Z

29

Towards mechanized correctness proofs for cryptographic algorithms  

Science Conference Proceedings (OSTI)

In [R.J. Corin, J.I. den Hartog, A probabilistic hoare-style logic for game-based cryptographic proofs, in: M. Bugliesi, B. Preneel, V. Sassone (Eds.), ICALP 2006 Track C, Venice, Italy, in: Lecture Notes in Computer Science, vol. 4052, Springer-Verlag, ... Keywords: Axiomatization, Cryptography, Hoare logic, Probability, Provable correctness

Jerry den Hartog

2008-12-01T23:59:59.000Z

30

Proof-Based design of security protocols  

Science Conference Proceedings (OSTI)

We consider the refinement-based process for the development of security protocols. Our approach is based on the Event B refinement, which makes proofs easier and which makes the design process faithfull to the structure of the protocol as the designer ...

Nazim Benaissa; Dominique Méry

2010-06-01T23:59:59.000Z

31

Explosion proof vehicle for tank inspection  

Science Conference Proceedings (OSTI)

An Explosion Proof Vehicle (EPV) having an interior substantially filled with an inert fluid creating an interior pressure greater than the exterior pressure. One or more flexible tubes provide the inert fluid and one or more electrical conductors from a control system to the vehicle. The vehicle is preferably used in subsurface tank inspection, whereby the vehicle is submerged in a volatile fluid.

Zollinger, William T. (Idaho Falls, ID); Klingler, Kerry M. (Idaho Falls, ID); Bauer, Scott G. (Idaho Falls, ID)

2012-02-28T23:59:59.000Z

32

Types of Dialogue and Burdens of Proof  

Science Conference Proceedings (OSTI)

Burden of proof has recently come to be a topic of interest in argumentation systems for artificial intelligence (Prakken and Sartor, 2006, 2007, 2009; Gordon and Walton, 2007, 2009), but so far the main work on the subject seems to be in that type of ...

Douglas Walton

2010-08-01T23:59:59.000Z

33

Towards a broad spectrum proof certificate Dale Miller  

E-Print Network (OSTI)

proof for its next generation of controllers for airplanes, electric cars, medical equipment, etc. ACME of controllers for airplanes, electric cars, medical equipment, etc. ACME submits to the "proofs" marketplace

Miller, Dale

34

Isolated proofs of knowledge and isolated zero knowledge  

Science Conference Proceedings (OSTI)

We consider proof of knowledge protocols where the cheating prover may communicate with some external adversarial environment during the run of the proof. Without additional setup assumptions, no witness hiding protocol can securely ensure that the prover ...

Ivan Damgård; Jesper Buus Nielsen; Daniel Wichs

2008-04-01T23:59:59.000Z

35

Inductive Proof Outlines for Exceptions in Multithreaded Java  

Science Conference Proceedings (OSTI)

In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Keywords: Java, exceptions, multi-threading, proof systems

Erika Ábrahám; Frank S. de Boer; Willem-Paul de Roever; Martin Steffen

2006-05-01T23:59:59.000Z

36

Energetic Science and Piranha-Proof Armor  

Office of Science (SC) Website

Energetic Energetic Science and Piranha-Proof Armor News Featured Articles 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Science Headlines Presentations & Testimony News Archives Contact Information Office of Science U.S. Department of Energy 1000 Independence Ave., SW Washington, DC 20585 P: (202) 586-5430 12.12.13 Energetic Science and Piranha-Proof Armor Unique structure of incredible, adaptable armor revealed through Berkeley Lab's Advanced Light Source. Print Text Size: A A A Subscribe FeedbackShare Page Click to enlarge photo. Enlarge Photo Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin that swims with impunity through piranha-infested waters. Photo courtesy of Jeff Kubina, National Geographic Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin

37

A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode  

E-Print Network (OSTI)

We propose a light-weight approach for certification of monitor inlining for sequential Java bytecode using proof-carrying code. The goal is to enable the use of monitoring for quality assurance at development time, while minimizing the need for post-shipping code rewrites as well as changes to the end-host TCB. Standard automaton-based security policies express constraints on allowed API call/return sequences. Proofs are represented as JML-style program annotations. This is adequate in our case as all proofs generated in our framework are recognized in time polynomial in the size of the program. Policy adherence is proved by comparing the transitions of an inlined monitor with those of a trusted "ghost" monitor represented using JML-style annotations. At time of receiving a program with proof annotations, it is sufficient for the receiver to plug in its own trusted ghost monitor and check the resulting verification conditions, to verify that inlining has been performed correctly, of the correct policy. We ha...

Dam, Mads

2010-01-01T23:59:59.000Z

38

A machine-checked proof of the odd order theorem  

Science Conference Proceedings (OSTI)

This paper reports on a six-year collaborative effort that culminated in a complete formalization of a proof of the Feit-Thompson Odd Order Theorem in the Coq proof assistant. The formalized proof is constructive, and relies on nothing but the axioms ...

Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry

2013-07-01T23:59:59.000Z

39

The Proof is in the Pudding: How Refrigerator Standards Have Saved  

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

The Proof is in the Pudding: How Refrigerator Standards Have Saved The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions July 11, 2011 - 12:33pm Addthis Today’s refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Today's refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Roland Risser Roland Risser Program Director, Building Technologies Office What does this mean for me? Today's refrigerators use only about 25 percent of the energy compared to models built in 1975. They've also increased in size by almost 20 percent, with lots of

40

The Proof is in the Pudding: How Refrigerator Standards Have Saved  

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

The Proof is in the Pudding: How Refrigerator Standards Have Saved The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions July 11, 2011 - 12:33pm Addthis Today’s refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Today's refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Roland Risser Roland Risser Program Director, Building Technologies Office What does this mean for me? Today's refrigerators use only about 25 percent of the energy compared to models built in 1975. They've also increased in size by almost 20 percent, with lots of

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


41

A proof of Price's Law on Schwarzschild black hole manifolds for all angular momenta  

E-Print Network (OSTI)

Price's Law states that linear perturbations of a Schwarzschild black hole fall off as $t^{-2\\ell-3}$ for $t \\to \\infty$ provided the initial data decay sufficiently fast at spatial infinity. Moreover, if the perturbations are initially static (i.e., their time derivative is zero), then the decay is predicted to be $t^{-2\\ell-4}$. We give a proof of $t^{-2\\ell-2}$ decay for general data in the form of weighted $L^1$ to $L^\\infty$ bounds for solutions of the Regge--Wheeler equation. For initially static perturbations we obtain $t^{-2\\ell-3}$. The proof is based on an integral representation of the solution which follows from self--adjoint spectral theory. We apply two different perturbative arguments in order to construct the corresponding spectral measure and the decay bounds are obtained by appropriate oscillatory integral estimates.

Roland Donninger; Wilhelm Schlag; Avy Soffer

2009-08-28T23:59:59.000Z

42

SUFFICIENT CONDITIONS FOR LOW-RANK MATRIX RECOVERY ...  

E-Print Network (OSTI)

Jun 15, 2011 ... but also provide sufficient conditions for exact and stable s-rank matrix recovery via the nuclear norm minimization under mild assumptions.

43

One-Piece Leak-Proof Battery  

SciTech Connect

The casing of a leak-proof one-piece battery is made of a material comprising a mixture of at least a matrix based on polypropylene and an alloy of a polyamide and a polypropylene. The ratio of the matrix to the alloy is in the range 0.5 to 6 by weight. The alloy forms elongate arborescent inclusions in the matrix such that, on average, the largest dimension of a segment of the arborescence is at least twenty times the smallest dimension of the segment.

Verhoog, Roelof (Bordeaux, FR)

1999-03-23T23:59:59.000Z

44

SRF photoinjector for proof-of-principle experiment of coherent electron cooling at RHIC  

SciTech Connect

Coherent Electron Cooling (CEC) based on Free Electron Laser (FEL) amplifier promises to be a very good way to cool protons and ions at high energies. A proof of principle experiment to demonstrate cooling at 40 GeV/u is under construction at BNL. One of possible sources to provide sufficient quality electron beam for this experiment is a SRF photoinjector. In this paper we discuss design and simulated performance of the photoinjector based on existing 112 MHz SRF gun and newly designed single-cavity SRF linac operating at 704 MHz.

Kayran D.; Belomestnykh, S.; Ben-Zvi, I.; Brutus, J.C.; et al

2012-05-20T23:59:59.000Z

45

Producing radiometals in liquid targets: Proof of feasibility with {sup 94m}Tc  

Science Conference Proceedings (OSTI)

{sup 94m}Tc was produced in a liquid target loaded with a molybdenum-salt solution. This novel technique allows for the irradiation of metals dissolved in a liquid solution, normally only available in metal powder or foil form. By using this approach, the existing liquid targets and transfer infrastructure of many PET cyclotrons can be used to produce radiometals, avoiding the need, expense and challenges of operating solid targets. Such an approach allows for rapid testing of new isotopes for proof of feasibility studies. Different concentrations of Mo solution and their effect on the target performance were tested. Sufficient quantities to allow for preclinical studies were produced.

Hoehr, C.; Badesso, B.; Morley, T.; Trinczek, M.; Buckley, K.; Klug, J.; Zeisler, S.; Hanemaayer, V.; Ruth, T. R.; Benard, F.; Schaffer, P. [TRIUMF, 4004 Wesbrook Mall, V6T 2A3 Vancouver, BC (Canada); TRIUMF, 4004 Wesbrook Mall, V6T 2A3 Vancouver, BC (Canada) and BC Cancer Agency, 600 West 10th Avenue, V5Z 4E6 Vancouver, BC (Canada); TRIUMF, 4004 Wesbrook Mall, V6T 2A3 Vancouver, BC (Canada); TRIUMF, 4004 Wesbrook Mall, V6T 2A3 Vancouver, BC (Canada) and BC Cancer Agency, 600 West 10th Avenue, V5Z 4E6 Vancouver, BC (Canada); BC Cancer Agency, 600 West 10th Avenue, V5Z 4E6 Vancouver, BC (Canada); TRIUMF, 4004 Wesbrook Mall, V6T 2A3 Vancouver, BC (Canada)

2012-12-19T23:59:59.000Z

46

Security proof of practical quantum key distribution schemes  

E-Print Network (OSTI)

This paper provides a security proof of the Bennett-Brassard (BB84) quantum key distribution protocol in practical implementation. To prove the security, it is not assumed that defects in the devices are absorbed into an adversary's attack. In fact, the only assumption in the proof is that the source is characterized. The proof is performed by lower-bounding adversary's Renyi entropy about the key before privacy amplification. The bound reveals the leading factors reducing the key generation rate.

Yodai Watanabe

2005-06-29T23:59:59.000Z

47

Quantifying reliability uncertainty : a proof of concept.  

SciTech Connect

This paper develops Classical and Bayesian methods for quantifying the uncertainty in reliability for a system of mixed series and parallel components for which both go/no-go and variables data are available. Classical methods focus on uncertainty due to sampling error. Bayesian methods can explore both sampling error and other knowledge-based uncertainties. To date, the reliability community has focused on qualitative statements about uncertainty because there was no consensus on how to quantify them. This paper provides a proof of concept that workable, meaningful quantification methods can be constructed. In addition, the application of the methods demonstrated that the results from the two fundamentally different approaches can be quite comparable. In both approaches, results are sensitive to the details of how one handles components for which no failures have been seen in relatively few tests.

Diegert, Kathleen V.; Dvorack, Michael A.; Ringland, James T.; Mundt, Michael Joseph; Huzurbazar, Aparna (Los Alamos National Laboratory, Los Alamos, NM); Lorio, John F.; Fatherley, Quinn (Los Alamos National Laboratory, Los Alamos, NM); Anderson-Cook, Christine (Los Alamos National Laboratory, Los Alamos, NM); Wilson, Alyson G. (Los Alamos National Laboratory, Los Alamos, NM); Zurn, Rena M.

2009-10-01T23:59:59.000Z

48

University of Maryland's December 2012, Proof Of Concept for ...  

Science Conference Proceedings (OSTI)

... CIO ... By providing a user-interface/ web-based front end and search tools, this dynamic proof-of-concept database could eventually scale to help ...

2013-01-07T23:59:59.000Z

49

Non-insecticidal insect-proofing of wool.  

E-Print Network (OSTI)

??Insect-proofing of wool is usually carried out by application of insecticides during dyeing. Inefficiencies in absorption of insecticide onto wool lead to aqueous effluent containing… (more)

Sunderland, Matthew Richard

50

NMERI 97/6/33010 IDENTIFICATION AND PROOF TESTING ...  

Science Conference Proceedings (OSTI)

... and Proof Testing of New Total Flooding ... organosilicon polymers have been prepared by incorporation of ... incorporated directly into a polymer, these ...

2012-09-01T23:59:59.000Z

51

NMERI 97/29/33010 IDENTIFICATION AND PROOF TESTING ...  

Science Conference Proceedings (OSTI)

... Identification and Proof Testing of New Total Flooding Agents: Toxicity and ... to hydrolysis and cleavage can cause condensation to higher polymers. ...

2012-07-26T23:59:59.000Z

52

Appendix: Conjectures concerning proof, design, and verification.  

SciTech Connect

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

Wos, L.

2000-05-31T23:59:59.000Z

53

Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and  

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

Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and Economic Development Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and Economic Development January 20, 2012 - 11:40am Addthis The Energy Department's Office of Indian Energy Policy and Programs, Tribal Energy Program, the U.S. Environmental Protection Agency's (EPA's) Green Power Partnership Program, and Western Area Power Administration (WAPA) are conducting a series of webinars that promote tribal energy sufficiency and foster economic development and employment on tribal lands through the use of renewable energy and energy efficiency technologies. The webinar series, which launched in August 2011, will run through September 2012, and cover topics including EPA's Green Power Partnership

54

Some sufficient conditions for subsequential convergence of a sequence  

Science Conference Proceedings (OSTI)

In this paper we give some sufficient conditions in terms of regularly generated sequences for a sequence to be subsequentially convergent. Keywords: General control modulo, Moderately oscillating sequence, Regularly generated sequence, Slowly oscillating sequence

ímit Totur; ?brahim Çanak

2011-02-01T23:59:59.000Z

55

Evaluation of Prototypical Climate Forecasts: The Sufficiency Relation  

Science Conference Proceedings (OSTI)

The sufficiency relation, originally developed in the context of the comparison of statistical experiments, provides a sound basis for the comparative evaluation of forecasting systems. The importance of this relation resides in the fact that if ...

Martin Ehrendorfer; Allan H. Murphy

1992-08-01T23:59:59.000Z

56

Comparative Evaluation of Weather Forecasting Systems: Sufficiency, Quality, and Accuracy  

Science Conference Proceedings (OSTI)

The concept of sufficiency, originally introduced in the context of the comparison of statistical experiments, has recently been shown to provide a coherent basis for comparative evaluation of forecasting systems. Specifically, forecasting system ...

Martin Ehrendorfer; Allan H. Murphy

1988-09-01T23:59:59.000Z

57

A Verifiable Random Function With Short Proofs and Keys  

E-Print Network (OSTI)

construction of a verifiable ran- dom function (VRF) on groups equipped with a bilinear mapping. Our to a VRF in contrast to prior works of Micali-Rabin-Vadhan [MRV99] and Lysyanskaya [Lys02]. Our proofs in [BB04a] to construct an identity based encryption scheme. Our VRF's proofs and keys have constant size

Dodis, Yevgeniy

58

A Verifiable Random Function With Short Proofs and Keys  

E-Print Network (OSTI)

#cient construction of a verifiable ran­ dom function (VRF) on groups equipped with a bilinear mapping. Our to a VRF in contrast to prior works of Micali­Rabin­Vadhan [MRV99] and Lysyanskaya [Lys02]. Our proofs in [BB04a] to construct an identity based encryption scheme. Our VRF's proofs and keys have constant size

Dodis, Yevgeniy

59

Clique problem, cutting plane proofs and communication complexity  

Science Conference Proceedings (OSTI)

Motivated by its relation to the length of cutting plane proofs for the Maximum Biclique problem, we consider the following communication game on a given graph G with maximum bipartite clique size K. Two parties separately receive disjoint subsets A, ... Keywords: Clique problem, Communication complexity, Computational complexity, Cutting plane proof

Stasys Jukna

2012-10-01T23:59:59.000Z

60

Generic Security Proof of Quantum Key Exchange using Squeezed States  

E-Print Network (OSTI)

Recently, a Quantum Key Exchange protocol that uses squeezed states was presented by Gottesman and Preskill. In this paper we give a generic security proof for this protocol. The method used for this generic security proof is based on recent work by Christiandl, Renner and Ekert.

Karin Poels; Pim Tuyls; Berry Schoenmakers

2005-08-09T23:59:59.000Z

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


61

Corrosion-proofing armored power cables  

Science Conference Proceedings (OSTI)

A study of 89 power cables that were buried in soils containing a high salt content is discussed. The study was conducted to determine the corrosion behavior of armored power cables. It was found that an outer protective covering made of bitumin and cable strands does not protect the armor jacket sufficiently against soil corrosion. It is recommended, therefore, that steel armor protection be discontinued for the protection of power cable jackets and that the armor should not be connected to the jacket with copper wire in the couplers.

Munits, N.M.

1983-05-01T23:59:59.000Z

62

Necessary and Sufficient Conditions for Optimal Offers in Electricity Markets  

Science Conference Proceedings (OSTI)

In this paper, we consider the optimal policy for a generator offering power into a wholesale electricity market operating under a pool arrangement. Anderson and Philpott [Math. Oper. Res., 27 (2002), pp. 82--100] recently discussed necessary ... Keywords: electricity markets, necessary conditions, optimal offer, sufficient conditions

Edward J. Anderson; Huifu Xu

2002-04-01T23:59:59.000Z

63

CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT  

Science Conference Proceedings (OSTI)

Circulating Moving Bed (CMB) combustion technology has its roots in traditional circulating fluidized bed technology and involves a novel method of solid fuel combustion and heat transfer. CMB technology represents a step change in improved performance and cost relative to conventional PC and FBC boilers. The CMB heat exchanger preheats the energy cycle working fluid, steam or air, to the high temperature levels required in systems for advanced power generation. Unique features of the CMB are the reduction of the heat transfer surfaces by about 60% as a result of the enhanced heat transfer rates, flexibility of operation, and about 30% lower cost over existing technology. The CMB Phase I project ran from July 2001 through March 2003. Its objective was to continue development of the CMB technology with a series of proof of concept tests. The tests were conducted at a scale that provided design data for scale up to a demonstration plant. These objectives were met by conducting a series of experiments in ALSTOM Power’s Multi-use Test Facility (MTF). The MTF was modified to operate under CMB conditions of commercial interest. The objective of the tests were to evaluate gas-to-solids heat transfer in the upper furnace, assess agglomeration in the high temperature CMB bubbling bed, and evaluate solids-to-tube heat transfer in the moving bed heat exchanger. The Phase I program results showed that there are still some significant technical uncertainties that needed to be resolved before the technology can be confidently scaled up for a successful demonstration plant design. Work remained in three primary areas: • scale up of gas to solid heat transfer • high temperature finned surface design • the overall requirements of mechanical and process design. The CMB Phase II workscope built upon the results of Phase I and specifically addressed the remaining technical uncertainties. It included a scaled MTF heat transfer test to provide the necessary data to scale up gas-to-solids heat transfer. A stress test rig was built and tested to provide validation data for a stress model needed to support high temperature finned surface design. Additional cold flow model tests and MTF tests were conducted to address mechanical and process design issues. This information was then used to design and cost a commercial CMB design concept. Finally, the MBHE was reconfigured into a slice arrangement and tested for an extended duration at a commercial CFB plant.

Jukkola, Glen

2010-06-30T23:59:59.000Z

64

Climate-Proofing Energy Systems | Open Energy Information  

Open Energy Info (EERE)

Proofing Energy Systems Proofing Energy Systems Jump to: navigation, search Tool Summary Name: Climate-Proofing Energy Systems Agency/Company /Organization: Helio-International Sector: Energy Topics: GHG inventory, Co-benefits assessment, - Energy Security, Pathways analysis Resource Type: Publications, Guide/manual Website: www.helio-international.org/uploads/Global%20Report.En.pdf?size=429055 Country: Benin, Burkina Faso, Cameroon, Democratic Republic of the Congo, Kenya, Mali, Nigeria, Senegal, Tanzania, Uganda UN Region: Middle Africa Climate-Proofing Energy Systems Screenshot References: CPES[1] Overview "This report explains why a metric for the vulnerability and resilience of energy systems is needed and proposes a methodology. It summarises anticipated climate-induced impacts on key energy systems and outlines

65

Proof of Proper Solid Waste Disposal (West Virginia)  

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

This rule provides guidance to persons occupying a residence or operating a business establishment in this state regarding the approved method of providing proof of proper solid waste disposal to...

66

Hardy-type nonlocality proof for two maximally entangled particles  

E-Print Network (OSTI)

We present a variation on a gedanken experiment of Hardy [Phys. Rev. Lett. 68 (1992) 2981] that allows, for the first time, a Hardy-type nonlocality proof for two maximally entangled particles in a four-dimensional Hilbert space.

Demetrios Kalamidas

2004-10-07T23:59:59.000Z

67

Reasoning about metamodeling with formal specifications and automatic proofs  

Science Conference Proceedings (OSTI)

Metamodeling is foundational to many modeling frameworks, and so it is important to formalize and reason about it. Ideally, correctness proofs and test-case generation on the metamodeling framework should be automatic. However, it has yet to be shown ...

Ethan K. Jackson; Tihamér Levendovszky; Daniel Balasubramanian

2011-10-01T23:59:59.000Z

68

Automated and human proofs in general mathematics: an initial comparison  

Science Conference Proceedings (OSTI)

First-order translations of large mathematical repositories allow discovery of new proofs by automated reasoning systems. Large amounts of available mathematical knowledge can be re-used by combined AI/ATP systems, possibly in unexpected ways. But automated ...

Jesse Alama; Daniel Kühlwein; Josef Urban

2012-03-01T23:59:59.000Z

69

Implementing temporal logics: tools for execution and proof  

Science Conference Proceedings (OSTI)

In this article I will present an overview of a selection of tools for execution and proof based on temporal logic, and outline both the general techniques used and problems encountered in implementing them. This selection is quite subjective, mainly ...

Michael Fisher

2005-06-01T23:59:59.000Z

70

Improving Power Density Of A Class Of Piezoelectic Power Harvesters Through Proof Mass Optimization.  

E-Print Network (OSTI)

??This thesis presents a method to optimize the proof mass of the cantilever piezoelectric power harvester. With this novel proof mass, a lower fundamental frequency… (more)

Li, Wen G.

2009-01-01T23:59:59.000Z

71

Proof Search and Counter-Model Construction for Bi-intuitionistic ...  

Science Conference Proceedings (OSTI)

directly support proof search. To describe a proof search procedure, we develop a more algorithmic version that also allows for counter-model extraction from a ...

72

Nonpetroleum mobility fuels and military-energy self-sufficiency  

DOE Green Energy (OSTI)

Nonpetroleum hydrocarbon fuels will likely serve as transition fuels for a few decades after petroleum sources become scarce. But nonpetroleum hydrocarbon fuels are ultimately either nonrenewable (e.g., coal and oil shale synfuels) or are inefficient to produce. Nuclear sources (supplemented by solar, geothermal, etc., as available) for electric power generation and hydrogen production provide a combination that can be used for military energy needs including mobility fuels, namely liquid hydrogen. This approach can give the military energy self-sufficiency for stationary needs as well as ground vehicles, ships, and aircraft. System integration concepts are discussed, and concepts for a methodology to evaluate source-to-use pathways for different classes of military bases are outlined.

Freiwald, D.A.; Barattino, W.J.

1981-01-01T23:59:59.000Z

73

Geothermal resource requirements for an energy self-sufficient spaceport  

DOE Green Energy (OSTI)

Geothermal resources in the southwestern United States provide an opportunity for development of isolated spaceports with local energy self-sufficiency. Geothermal resources can provide both thermal energy and electrical energy for the spaceport facility infrastructure and production of hydrogen fuel for the space vehicles. In contrast to hydrothermal resources by which electric power is generated for sale to utilities, hot dry rock (HDR) geothermal resources are more wide-spread and can be more readily developed at desired spaceport locations. This paper reviews a dynamic model used to quantify the HDR resources requirements for a generic spaceport and estimate the necessary reservoir size and heat extraction rate. The paper reviews the distribution of HDR resources in southern California and southern New Mexico, two regions where a first developmental spaceport is likely to be located. Finally, the paper discusses the design of a HDR facility for the generic spaceport and estimates the cost of the locally produced power.

Kruger, P.; Fioravanti, M. [Stanford Univ., CA (United States). Civil Engineering Dept.; Duchane, D.; Vaughan, A. [Los Alamos National Lab., NM (United States). Earth and Environmental Sciences Div.

1997-01-01T23:59:59.000Z

74

File:Proof1.pdf | Open Energy Information  

Open Energy Info (EERE)

Proof1.pdf Proof1.pdf Jump to: navigation, search File File history File usage File:Proof1.pdf Size of this preview: 463 × 599 pixels. Other resolution: 464 × 600 pixels. Go to page 1 2 3 4 Go! next page → next page → Full resolution ‎(1,275 × 1,650 pixels, file size: 79 KB, MIME type: application/pdf, 4 pages) File history Click on a date/time to view the file as it appeared at that time. Date/Time Thumbnail Dimensions User Comment current 12:16, 14 November 2012 Thumbnail for version as of 12:16, 14 November 2012 1,275 × 1,650, 4 pages (79 KB) Dklein2012 (Talk | contribs) You cannot overwrite this file. Edit this file using an external application (See the setup instructions for more information) File usage There are no pages that link to this file. Retrieved from

75

Energetic Science and Piranha-Proof Armor | Department of Energy  

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

Energetic Science and Piranha-Proof Armor Energetic Science and Piranha-Proof Armor Energetic Science and Piranha-Proof Armor December 16, 2013 - 4:51pm Addthis Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin that swims with impunity through piranha-infested waters. | Photo courtesy of Jeff Kubina, National Geographic. Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin that swims with impunity through piranha-infested waters. | Photo courtesy of Jeff Kubina, National Geographic. Charles Rousseaux Charles Rousseaux Senior Writer, Office of Science How does it work? Arapaima is one of the world's largest freshwater fish, growing up to nine feet long and weighing more than 400 pounds. Arapaima can shrug off such predators thanks to its incredible, adaptable armor. Understanding the unique structure of this armor may help

76

Wireless Roadside Inspection Proof-of-Concept Test  

E-Print Network (OSTI)

Wireless Roadside Inspection Proof-of-Concept Test Phase 1A ­ Generating SDMS PeopleNet, a producer Message Set (SDMS). Data obtained during a 10-hour test was compared to similar data obtained through. DESCRIPTIONRESULTS The majority of the data obtained from the PeopleNet SDMS was accurate. However, the tested system

77

A direct and simple proof of Jacobi identities for determinants  

E-Print Network (OSTI)

The Jacobi identities play an important role in constructing the explicit exact solutions of a broad class of integrable systems in soliton theory. In the paper, a direct and simple proof of the Jacobi identities for determinants is presented by employing the Pl$\\ddot{u}$cker relations.

Kuihua Yan

2007-12-12T23:59:59.000Z

78

A Veri able Random Function With Short Proofs and Keys  

E-Print Network (OSTI)

?? Abstract. We give a simple and eÃ?cient construction of a veri#12;able random function (VRF) on bilinear groups. Our construction is direct. In contrast to prior VRF constructions [MRV99, Lys02], it avoids reasonable given cur- rent state of knowledge. For small message spaces, our VRF's proofs and keys have

79

Inductive Proof Outlines for Exceptions in Multithreaded Java 1  

E-Print Network (OSTI)

boundaries. To mirror this modularity of the program behavior, the assertion logic and the proof system is covered by the interference freedom test [13,18], formulated also in the local language. It especially has, communication and object creation is covered by the cooperation test, using the global language. Communication

Steffen, Martin

80

Job-level proof-number search for connect6  

Science Conference Proceedings (OSTI)

This paper proposes a new approach for proof number (PN) search, named job-level PN (JL-PN) search, where each search tree node is evaluated or expanded by a heavy-weight job, which takes normally over tens of seconds. Such JL-PN search is well suited ...

I-Chen Wu; Hung-Hsuan Lin; Ping-Hung Lin; Der-Johng Sun; Yi-Chih Chan; Bo-Ting Chen

2010-09-01T23:59:59.000Z

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


81

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates  

Science Conference Proceedings (OSTI)

Existing software model checkers based on predicate abstraction and refinement typically perform poorly at verifying the absence of buffer overflows, with analyses depending on the sizes of the arrays checked. We observe that many of these analyses can ... Keywords: safety verification, counterexample-guided abstraction refinement, proof templates, software model checkers, predicate abstraction, buffer overflows verification, array traversal idioms, PtYasm, Verisec suite

T. E. Hart; K. Ku; A. Gurfinkel; M. Chechik; D. Lie

2008-09-01T23:59:59.000Z

82

A note on uniform interpolation proofs in modal deep inference calculi  

Science Conference Proceedings (OSTI)

This paper answers one rather particular question: how to perform a proof of uniform interpolation property in deep inference calculi for modal logics. We show how to perform a proof of uniform interpolation property in deep inference calculus for the ...

Marta Bílková

2009-09-01T23:59:59.000Z

83

EIS-0284: Low-Emission Boiler System (LEBS) Proof-of-Concept...  

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

4: Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois EIS-0284: Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois Summary This...

84

A verifiable random function with short proofs and keys  

E-Print Network (OSTI)

Abstract. We give a simple and efficient construction of a verifiable random function (VRF) on bilinear groups. Our construction is direct. In contrast to prior VRF constructions [14, 15], it avoids using an inefficient Goldreich-Levin transformation, thereby saving several factors in security. Our proofs of security are based on a decisional bilinear Diffie-Hellman inversion assumption, which seems reasonable given current state of knowledge. For small message spaces, our VRF’s proofs and keys have constant size. By utilizing a collision-resistant hash function, our VRF can also be used with arbitrary message spaces. We show that our scheme can be instantiated with an elliptic group of very reasonable size. Furthermore, it can be made distributed and proactive. 1

Yevgeniy Dodis; R Yampolskiy

2005-01-01T23:59:59.000Z

85

A SIMPLE PROOF OF THE HOBBY-RICE THEOREM1  

E-Print Network (OSTI)

Abstract. This paper presents a simple proof of the following theorem due to Hobby and Rice. THEOREM. Let {cp,- (jc)}"_, be n real functions in Ú(d¡i;[0,1]), where ¡i is a finite, nonatomic, real measure. Then there exist {£,}'=1, r < n, 0 = Jq < ^ < • • • < Í, < ¿+1- 1 such that 2 (-.y JC * proof of the Hobby-Rice Theorem, which arises in the study of L1-approximation. Theorem A (Hobby, Rice [2]). Let {

Allan Pinkus

1976-01-01T23:59:59.000Z

86

Proof of universality of electrical conductivity at finite chemical potential  

E-Print Network (OSTI)

It was proposed in arXiv:1008.2944 that, for certain gauge theories with gravity duals, electrical conductivity at finite chemical potential is universal. Here we provide a general proof that, when matter stress tensor satisfies a compact constraint, electrical conductivity is universal. We further elaborate our result with several conformal as well as non-conformal gauge theories. We also discuss how boundary conductivity and universal conductivity of stretched horizon are related.

Sayan K. Chakrabarti; Shankhadeep Chakrabortty; Sachin Jain

2010-11-15T23:59:59.000Z

87

Proof that the Hydrogen-antihydrogen Molecule is Unstable  

E-Print Network (OSTI)

In the framework of nonrelativistic quantum mechanics we derive a necessary condition for four Coulomb charges $(m_{1}^+, m_{2}^-, m_{3}^+, m_{4}^-)$, where all masses are assumed finite, to form the stable system. The obtained stability condition is physical and is expressed through the required minimal ratio of Jacobi masses. In particular this provides the rigorous proof that the hydrogen-antihydrogen molecule is unstable. This is the first result of this sort for four particles.

D. K. Gridnev; C. Greiner

2005-02-08T23:59:59.000Z

88

Quantum multi-prover interactive proof systems with limited prior entanglement  

Science Conference Proceedings (OSTI)

This paper gives the first formal treatment of a quantum analogue of multi-prover interactive proof systems. It is proved that the class of languages having quantum multi-prover interactive proof systems is necessarily contained in NEXP, under the assumption ... Keywords: computational complexity, interactive proof systems, quantum computing

Hirotada Kobayashi; Keiji Matsumoto

2003-05-01T23:59:59.000Z

89

The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments  

Science Conference Proceedings (OSTI)

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification ... Keywords: abduction, constraints, proof procedures

Paolo Mancarella; Giacomo Terreni; Fariba Sadri; Francesca Toni; Ulle Endriss

2010-03-01T23:59:59.000Z

90

The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments  

Science Conference Proceedings (OSTI)

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification ... Keywords: abduction, constraints, proof procedures

Paolo Mancarella; Giacomo Terreni; Fariba Sadri; Francesca Toni; Ulle Endriss

2009-11-01T23:59:59.000Z

91

Comparison of Objective and Subjective Precipitation Probability Forecasts: The Sufficiency Relation  

Science Conference Proceedings (OSTI)

In this paper the sufficiency relation is used to compare objective and subjective probability of precipitation (PoP) forecasts. The theoretical significance of the sufficiency relation in comparative evaluation arises from the fact that if it ...

Allan H. Murphy; Qian Ye

1990-09-01T23:59:59.000Z

92

HGP-A wellhead generator proof-of-feasibility project  

SciTech Connect

The HGP-A Wellhead Generator Proof-of-Feasibility Project consists of a nominal 3 Megawatt geothermal steam turbine electric power generating facility, the first geothermal power plant in Hawaii. The plant is being constructed as a research and development project to evaluate geothermal steam as a viable resource to be considered for larger commercial electric power generating stations in Hawaii. The project facilities include a turbine building, with a contiguous service area for plant operations and maintenance, visitor center, and the power plant equipment.

1978-11-03T23:59:59.000Z

93

Coherent electron cooling proof of principle instrumentation design  

SciTech Connect

The goal of the Coherent Electron Cooling Proof-of-Principle (CeC PoP) experiment being designed at RHIC is to demonstrate longitudinal (energy spread) cooling before the expected CD-2 for eRHIC. The scope of the experiment is to longitudinally cool a single bunch of 40 GeV/u gold ions in RHIC. This paper will describe the instrumentation systems proposed to meet the diagnostics challenges. These include measurements of beam intensity, emittance, energy spread, bunch length, position, orbit stability, and transverse and temporal alignment of electron and ion beams.

Gassner D. M.; Litvinenko, V.; Michnoff, R.; Miller, T.; Minty, M.; Pinayev, I.

2012-04-15T23:59:59.000Z

94

P-A logic: a compositional proof system for distributed programs  

Science Conference Proceedings (OSTI)

This paper describes a compositional proof system called P-A logic for establishing weak total correctness and weak divergence correctness of CSP-like distributed programs with synchronous and asynchronous communication. Each process in a network is ... Keywords: OCCAM, liveness, proof system, safety

Paritosh K. Pandya; Mathai Joseph

1991-06-01T23:59:59.000Z

95

Essential lack of security proof in quantum key distribution  

E-Print Network (OSTI)

All the currently available unconditional security proofs on quantum key distribution, in particular for the BB84 protocol and its variants including continuous-variable ones, are invalid or incomplete at many points. In this paper we discuss some of the main known problems, particularly those on operational security guarantee and error correction. Most basic are the points that there is no security parameter in such protocols and it is not the case the generated key is perfect with probability $\\geq 1-\\epsilon$ under the trace distance criterion $d\\leq\\epsilon$, which is widely claimed in the technical and popular literature. The many serious security consequences of this error about the QKD generated key would be explained, including practical ramification on achievable security levels. It will be shown how the error correction problem alone may already defy rigorous quantitative analysis. Various other problems would be touched upon. It is pointed out that rigorous security guarantee of much more efficient quantum cryptosystems may be obtained by abandoning the disturbance-information tradeoff principle and utilizing instead the known KCQ (keyed communication in quantum noise) principle in conjunction with a new DBM (decoy bits method) principle that will be detailed elsewhere.

Horace P. Yuen

2013-10-02T23:59:59.000Z

96

Trimmed Mean Standard Error  

Science Conference Proceedings (OSTI)

... the sample size. Tukey and Mclaughlin suggest the following confidence interval for the trimmed mean: where alpha is ...

2013-11-27T23:59:59.000Z

97

Direct liquefaction proof-of-concept program. Topical report  

DOE Green Energy (OSTI)

This report presents the results of work conducted under the DOE Proof-of-Concept Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey, from February 1994 through April 1995. The work includes modifications to HRI`s existing 3 ton per day Process Development Unit (PDU) and completion of the second PDU run (POC Run 2) under the Program. The 45-day POC Run 2 demonstrated scale up of the Catalytic Two-Stage Liquefaction (CTSL Process) for a subbituminous Wyoming Black Thunder Mine coal to produce distillate liquid products at a rate of up to 4 barrels per ton of moisture-ash-free coal. The combined processing of organic hydrocarbon wastes, such as waste plastics and used tire rubber, with coal was also successfully demonstrated during the last nine days of operations of Run POC-02. Prior to the first PDU run (POC-01) in this program, a major effort was made to modify the PDU to improve reliability and to provide the flexibility to operate in several alternative modes. The Kerr McGee Rose-SR{sup SM} unit from Wilsonville, Alabama, was redesigned and installed next to the U.S. Filter installation to allow a comparison of the two solids removal systems. The 45-day CTSL Wyoming Black Thunder Mine coal demonstration run achieved several milestones in the effort to further reduce the cost of liquid fuels from coal. The primary objective of PDU Run POC-02 was to scale-up the CTSL extinction recycle process for subbituminous coal to produce a total distillate product using an in-line fixed-bed hydrotreater. Of major concern was whether calcium-carbon deposits would occur in the system as has happened in other low rank coal conversion processes. An additional objective of major importance was to study the co-liquefaction of plastics with coal and waste tire rubber with coal.

Comolli, A.G.; Lee, L.K.; Pradhan, V.R. [and others

1996-12-01T23:59:59.000Z

98

Wireless Roadside Inspection Proof of Concept Test Final Report  

SciTech Connect

The U.S. Department of Transportation (DOT) FMCSA commissioned the Wireless Roadside Inspection (WRI) Program to validate technologies and methodologies that can improve safety through inspections using wireless technologies that convey real-time identification of commercial vehicles, drivers, and carriers, as well as information about the condition of the vehicles and their drivers. It is hypothesized that these inspections will: -- Increase safety -- Decrease the number of unsafe commercial vehicles on the road; -- Increase efficiency -- Speed up the inspection process, enabling more inspections to occur, at least on par with the number of weight inspections; -- Improve effectiveness -- Reduce the probability of drivers bypassing CMV inspection stations and increase the likelihood that fleets will attempt to meet the safety regulations; and -- Benefit industry -- Reduce fleet costs, provide good return-on-investment, minimize wait times, and level the playing field. The WRI Program is defined in three phases which are: Phase 1: Proof of Concept Test (POC) Testing of commercially available off-the-shelf (COTS) or near-COTS technology to validate the wireless inspection concept. Phase 2: Pilot Test Safety technology maturation and back office system integration Phase 3: Field Operational Test Multi-vehicle testing over a multi-state instrumented corridor This report focuses on Phase 1 efforts that were initiated in March, 2006. Technical efforts dealt with the ability of a Universal Wireless Inspection System (UWIS) to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit a Safety Data Message Set to a roadside receiver unit or mobile enforcement vehicle.

Capps, Gary J [ORNL; Franzese, Oscar [ORNL; Knee, Helmut E [ORNL; Plate, Randall S [ORNL; Lascurain, Mary Beth [ORNL

2009-03-01T23:59:59.000Z

99

Proof-of-Principle Measurements on Unirradiated Zirconium Alloys  

SciTech Connect

The ability to determine fuel assembly burnup has important non-proliferation implications since proliferation activities involve either irradiating fuel assemblies to a much lower level of burnup than is normal in commercial Light Water Reactor (LWR) practice, and/or irradiation of separate targets. Similarly, a method of determining burnup could be used to confirm declared operation for a reactor that is operating under IAEA safeguards. It is possible to determine fuel assembly burnup by measuring gamma radiation from specific fission products; however this technique is only useable after the fuel assembly has been out of the reactor for at least a year, and is not very useful after the assembly has been out of the reactor for 10 years or more. The use of isotope ratio measurements to measure the level of neutron exposure that material has received is well-known for graphite applications. The current project is an attempt to demonstrate that isotope ratio measurements can be performed on zirconium alloys used in LWR fuel assemblies. Zirconium alloys are used for structural elements of fuel assemblies and for the fuel element cladding. This report covers proof-of-principle measurements done on unirradiated zirconium alloys, these measurements show that: Titanium 48/Titanium 49 ratios can be measured in zirconium alloys using a Secondary Ionization Mass Spectrometer (SIMS) - enough Titanium was present in each of 6 samples tried to allow resolving the peaks associated with each isotope, and correction of interfering ions. The Ti 48/49 ratio measured in unirradiated zirconium alloy is, within a narrow error band, the same as that found in natural, unirradiated zirconium.

Gerlach, David C.; Mitchell, Mark R.; Reid, Bruce D.; Gesh, Christopher J.; Hurley, David E.

2007-04-18T23:59:59.000Z

100

Proof-of-Concept Manufacturing and Testing of Composite Wind Generator Blades Made by HCBMP (High Compression Bladder Molded Prepreg)  

DOE Green Energy (OSTI)

Proof-of-Concept Manufacturing and Testing of Composite Wind Generator Blades Made by HCBMP (High Compression Bladder Molded Prepreg)

William C. Leighty; DOE Project Officer - Keith Bennett

2005-10-04T23:59:59.000Z

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


101

Ibn S?n? on analysis: 1. proof search. or: abstract state machines as a tool for history of logic  

Science Conference Proceedings (OSTI)

The 11th century Arabic-Persian logician Ibn S?n? (Avicenna) in Sect. 9.6 of his book Qiy?s gives what appears to be a proof search algorithm for syllogisms. We confirm that it is indeed a proof search algorithm, by extracting all the ... Keywords: Ibn S?n?, abstract state machine, avicenna, proof search, syllogism

Wilfrid Hodges

2010-01-01T23:59:59.000Z

102

Two-prover one-round proof systems: their power and their problems (extended abstract)  

Science Conference Proceedings (OSTI)

We characterize the power of two-prover one-round (MIP(2,1)) proof systems, showing that MIP(2,1)=NEXPTIME. However, the following intriguing question remains open: Does parallel repetition decrease ...

Uriel Feige; László Lovász

1992-07-01T23:59:59.000Z

103

EIS-0284: Low-Emission Boiler System (LEBS) Proof-of-Concept System,  

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

4: Low-Emission Boiler System (LEBS) Proof-of-Concept 4: Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois EIS-0284: Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois Summary This EIS evaluates the potential environmental impacts of a proposal by Babcock Borsig Power to design, construct, and operate an advanced pulverized coal-fired power facility using a low emission boiler system (LEBS) at Elkhart, Illinois. Public Comment Opportunities None available at this time. Documents Available for Download February 29, 2008 EIS-0284: Notice of Cancellation of Environmental Impact Statement Implementation of the Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois March 5, 2004 EIS-0284: EPA Notice of Availability of the Draft Environmental Impact

104

A Virtual Machine for a Type-omega Denotational Proof Language  

E-Print Network (OSTI)

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to ...

III, Teodoro Arvizo

2002-06-01T23:59:59.000Z

105

STEM Students Aim to Increase Tribal Self-Sufficiency | Department of  

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

STEM Students Aim to Increase Tribal Self-Sufficiency STEM Students Aim to Increase Tribal Self-Sufficiency STEM Students Aim to Increase Tribal Self-Sufficiency November 21, 2013 - 1:37pm Addthis From left to right, Reyna Banteah, Shaun Tsabetsaye, and Jeremy Laselute of Zuni Pueblo, with NREL's Otto VanGeet. Photo by Dennis Schroeder, NREL From left to right, Reyna Banteah, Shaun Tsabetsaye, and Jeremy Laselute of Zuni Pueblo, with NREL's Otto VanGeet. Photo by Dennis Schroeder, NREL Touring NREL's Integrated Biorefinery Research Facility. From left to right: Otto VanGeet, NREL, Jeremy Laselute, Zuni Pueblo, Colton Heaps, NREL, Reyna Banteah, Zuni Pueblo, Shaun Tsabetsaye, Zuni Pueblo, and Chris Gaul, NREL. Photo by Dennis Schroeder, NREL Touring NREL's Integrated Biorefinery Research Facility. From left to

106

A Simple Geometric Proof That Comonotonic Risks Have the Convex-largest Sum  

E-Print Network (OSTI)

In the recent actuarial literature, several proofs have been given for the fact that if a random vector (X 1 ,X 2 ,...,X n ) with given marginals has a comonotonic joint distribution, the sum X 1 +X 2 + X n is the largest possible in convex order. In this note we give a lucid proof of this fact, based on a geometric interpretation of the support of the comonotonic distribution.

R. Kaas; J. Dhaene; D. Vyncke; M.J. Goovaerts; M. Denuit; K. U. Leuven

2002-01-01T23:59:59.000Z

107

Necessary and Sufficient Conditions for Pareto Optimal Solutions of Cooperative Differential Games  

Science Conference Proceedings (OSTI)

In this paper we present necessary as well as sufficient conditions for the existence of a Pareto optimum for cooperative differential games. The obtained results are used to analyze the regular indefinite linear quadratic differential game. For the ... Keywords: LQ theory, Pareto efficiency, cooperative differential games, dynamic optimization

Jacob Engwerda

2010-03-01T23:59:59.000Z

108

Methods for obtaining an operating point sufficiently small signal stable in power systems including wind parks  

Science Conference Proceedings (OSTI)

This paper shows a simple approach to obtain an operating point sufficiently small signal stable. In the case of a stable operating point with a poorly damped oscillatory mode, the objective is to increase the damping of that mode. That is, the power ... Keywords: critical mode, damping, eigenvalues, inter-area oscillations, linearization, wind power converter

P. Ledesma; C. Gallardo

2008-07-01T23:59:59.000Z

109

PT symmetry and necessary and sufficient conditions for the reality of energy eigenvalues  

E-Print Network (OSTI)

Despite its common use in quantum theory, the mathematical requirement of Dirac Hermiticity of a Hamiltonian is sufficient to guarantee the reality of energy eigenvalues but not necessary. By establishing three theorems, this paper gives physical conditions that are both necessary and sufficient. First, it is shown that if the secular equation is real, the Hamiltonian is necessarily PT symmetric. Second, if a linear operator C that obeys the two equations [C,H]=0 and C^2=1 is introduced, then the energy eigenvalues of a PT-symmetric Hamiltonian that is diagonalizable are real only if this C operator commutes with PT. Third, the energy eigenvalues of PT-symmetric Hamiltonians having a nondiagonalizable, Jordan-block form are real. These theorems hold for matrix Hamiltonians of any dimensionality.

Carl M. Bender; Philip D. Mannheim

2009-02-09T23:59:59.000Z

110

The Necessary and Sufficient Conditions for Transformation from Dirac Representation to Foldy-Wouthuysen Representation  

E-Print Network (OSTI)

The paper describes conditions for transformation from the Dirac representation to the Foldy-Wouthuysen representation. The necessary condition is the block-diagonal transformation of Hamiltonian relative to the upper and lower components of the wave function. The sufficient condition is the wave function transformation law described by relation (6). It has been demonstrated that the unitary transformations offered by the authors of the papers [14], [15], [16], [17] do not satisfy the sufficiency condition (6) and, hence, they are not the Foldy-Wouthuysen transformations. In applications, the matrix elements of any operator in the FW representation can be calculated, according to (6), using the normalized two-component wave functions in the Dirac representation known for the given problem.

V. P. Neznamov

2008-04-02T23:59:59.000Z

111

Getting to necessary and sufficient-developing accident scenarios for risk assessment  

Science Conference Proceedings (OSTI)

This paper presents a simple, systematic approach for developing accident scenarios using generic accident types. Result is a necessary and sufficient set of accident scenarios that can be used to establish the safety envelope for a facility or operation. Us of this approach along with the methodology of SAND95-0320 will yield more consistent accident analyses between facilities and provide a sound basis for allocating limited risk reduction resources.

Mahn, J.A.

1996-05-01T23:59:59.000Z

112

Energy self-sufficiency for the big Island of Hawaii. Appendices. Final report  

SciTech Connect

Appendix A lists members of the Hawaii County Energy Advisory Committee. Appendix B deals with the energy self-sufficiency plan for the county of Hawaii (energy demand patterns and projections). Appendix C presents background data and analysis of conservation in residential, commercial, and industrial sectors with notes on electric generation, transmission, and distribution on the Island of Hawaii. Additional appendices contain information on study contacts; scenarios; letter describing action to be taken for study of the scenarios; and model calculations.

Kinderman, E.M.

1980-01-01T23:59:59.000Z

113

Retrocausal Effects as a Consequence of Quantum Mechanics Refined to Accommodate the Principle of Sufficient Reason  

Science Conference Proceedings (OSTI)

The principle of sufficient reason asserts that anything that happens does so for a reason: no definite state of affairs can come into being unless there is a sufficient reason why that particular thing should happen. This principle is usually attributed to Leibniz, although the first recorded Western philosopher to use it was Anaximander of Miletus. The demand that nature be rational, in the sense that it be compatible with the principle of sufficient reason, conflicts with a basic feature of contemporary orthodox physical theory, namely the notion that nature's response to the probing action of an observer is determined by pure chance, and hence on the basis of absolutely no reason at all. This appeal to pure chance can be deemed to have no rational fundamental place in reason-based Western science. It is argued here, on the basis of the other basic principles of quantum physics, that in a world that conforms to the principle of sufficient reason, the usual quantum statistical rules will naturally emerge at the pragmatic level, in cases where the reason behind nature's choice of response is unknown, but that the usual statistics can become biased in an empirically manifest way when the reason for the choice is empirically identifiable. It is shown here that if the statistical laws of quantum mechanics were to be biased in this way then the basically forward-in-time unfolding of empirical reality described by orthodox quantum mechanics would generate the appearances of backward-time-effects of the kind that have been reported in the scientific literature.

Stapp, Henry P.

2011-05-10T23:59:59.000Z

114

Necessary and sufficient conditions for local manipulation of multipartite pure quantum states  

E-Print Network (OSTI)

Suppose several parties jointly possess a pure multipartite state, |\\psi>. Using local operations on their respective systems and classical communication (i.e. LOCC) it may be possible for the parties to transform deterministically |\\psi> into another joint state |\\phi>. In the bipartite case, Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transformation to be possible. In the multipartite case, such a deterministic local transformation is possible only if both the states in the same stochastic LOCC (SLOCC) class. Here we generalize Nielsen majorization theorem to the multipartite case, and find necessary and sufficient conditions for the existence of a local separable transformation between two multipartite states in the same SLOCC class. When such a deterministic conversion is not possible, we find an expression for the maximum probability to convert one state to another by local separable operations. In addition, we find necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class. Our results are expressed in terms of (1) the stabilizer group of the state representing the SLOCC orbit, and (2) the associate density matrices (ADMs) of the two multipartite states. The ADMs play a similar role to that of the reduced density matrices, when considering local transformations that involves pure bipartite states. We show in particular that the requirement that one ADM majorize another is a necessary condition but in general far from being also sufficient as it happens in the bipartite case.

Gilad Gour; Nolan R. Wallach

2011-03-25T23:59:59.000Z

115

VARIABLE TIME DELAY MEANS  

DOE Patents (OSTI)

An electrically variable time delay line is described which may be readily controlled simuitaneously with variable impedance matching means coupied thereto such that reflections are prevented. Broadly, the delay line includes a signal winding about a magnetic core whose permeability is electrically variable. Inasmuch as the inductance of the line varies directly with the permeability, the time delay and characteristic impedance of the line both vary as the square root of the permeability. Consequently, impedance matching means may be varied similariy and simultaneously w:th the electrically variable permeability to match the line impedance over the entire range of time delay whereby reflections are prevented.

Clemensen, R.E.

1959-11-01T23:59:59.000Z

116

Women's Empowerment in Agriculture Index: Proof of Concept | Data.gov  

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

Women's Empowerment in Agriculture Index: Proof of Concept Women's Empowerment in Agriculture Index: Proof of Concept Agriculture Community Menu DATA APPS EVENTS DEVELOPER STATISTICS COLLABORATE ABOUT Agriculture You are here Data.gov » Communities » Agriculture » Data Women's Empowerment in Agriculture Index: Proof of Concept Dataset Summary Description The index tracks change in women's empowerment that occurs as a direct or indirect result of Feed the Future interventions in targeted geographic zones within the initiative's 19 focus countries. Data for the WEAI will be collected every two years in all 19 countries, and baselines were collected in 2011 and 2012. USAID and partners will conduct data analyses to understand the relationships among empowerment, livelihoods, and food security, as well as relationships among the various components of the index.

117

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and  

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

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool Nuclear power currently provides a significant fraction of the United States' non- carbon emitting power generation. In future years, nuclear power must continue to generate a significant portion of the nation's electricity to meet the growing electricity demand, clean energy goals, and ensure energy independence. New reactors will be an essential part of the expansion of nuclear power. However, given limits on new builds imposed by economics and industrial capacity, the extended service of the existing fleet will also be required. Ensuring public safety and environmental protection is a prerequisite to

118

Some more proofs from the Book: solvability and insolvability of equations in radicals  

E-Print Network (OSTI)

This paper is purely expository. We present short elementary proofs of * the Gauss Theorem on constructibility of regular polygons; * the existence of a cubic equation unsolvable in real radicals; * the existence of a quintic equation unsolvable in complex radicals (Galois Theorem). The statements of these celebrated results are simple and well-known. However, their proofs given in most textbooks rely upon much unmotivated material and are far from being economic. We do not use the terms `Galois group' or even `group'. The paper is accessible for students familiar with polynomials and complex numbers, and could be an interesting easy reading for professional mathematicians. Short English version is followed by an extended Russian version where before presenting the proofs we illustrate the main ideas by sequences of problems with hints or solutions.

A. Skopenkov

2008-04-28T23:59:59.000Z

119

Two new proofs of the test particle superposition principle of plasma kinetic theory  

SciTech Connect

The test particle superposition principle of plasma kinetic theory is discussed in relation to the recent theory of two-time fluctuations in plasma given by Williams and Oberman. Both a new deductive and a new inductive proof of the principle are presented. The fundamental observation is that two-time expectations of one-body operators are determined completely in terms of the (x,v) phase space density autocorrelation, which to lowest order in the discreteness parameter obeys the linearized Vlasov equation with singular initial condition. For the deductive proof, this equation is solved formally using time- ordered operators, and the solution then rearranged into the superposition principle. The inductive proof is simpler than Rostoker's, although similar in some ways; it differs in that first order equations for pair correlation functions need not be invoked. It is pointed out that the superposition principle is also applicable to the short-time theory of neutral fluids. (auth)

Krommes, J.A.

1975-12-01T23:59:59.000Z

120

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and  

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

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool Nuclear power currently provides a significant fraction of the United States' non- carbon emitting power generation. In future years, nuclear power must continue to generate a significant portion of the nation's electricity to meet the growing electricity demand, clean energy goals, and ensure energy independence. New reactors will be an essential part of the expansion of nuclear power. However, given limits on new builds imposed by economics and industrial capacity, the extended service of the existing fleet will also be required. Ensuring public safety and environmental protection is a prerequisite to

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


121

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and  

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

Proof of Concept: Grizzly, the LWRS Program Materials Aging and Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool By Ben Spencer (INL) Jeremey Busby (ORNL) Richard Martineau (INL) Brian Wirth (UTK) Introduction Nuclear power currently provides a significant fraction of the United States' non- carbon emitting power generation. In future years, nuclear power must continue to generate a significant portion of the nation's electricity to meet the growing electricity demand, clean energy goals, and ensure energy independence. New reactors will be an essential part of the expansion of nuclear power. However, given limits on new builds imposed by economics and industrial capacity, the extended

122

Proof-of-concept zinc/bromine electric vehicle battery  

SciTech Connect

At the inception of the contract, Johnson Controls acquired and tested the zinc/bromine battery design developed by Exxon Research and Engineering Corporation (the Z-design) and, with Exxon, determined the key problems in this design: expansion and warping of electrodes, leaking of electrolyte from the battery stack, and excessive self-discharge brought about by transfer of bromine across the separator. The problems of electrode expansion and high self-discharge were mitigated by developing improved electrode and separator materials. Starting in the second year of the contract, JCI developed a new V-design battery stack which used different hardware and tooling to address the problem of stack leakage. The V-design uses thermal welding to achieve a hermetically sealed construction. The flow distribution is improved, and the massive endblocks of the original system have been replaced by thinner, lighter endblocks which are stiffened by means of rigid aluminum honeycomb inserts. Highlights of performance characteristics of batteries built and tested under the contract given. The battery was developed for the ETX-II, a Ford Aerostar minivan. 44 figs., 21 tabs.

Bolsted, J.; Eidler, P.; Miles, R.; Petersen, R.; Yaccarino, K. (Johnson Controls, Inc., Milwaukee, WI (USA). Advanced Battery Engineering); Lott, S. (Sandia National Labs., Albuquerque, NM (USA))

1991-04-01T23:59:59.000Z

123

Wichita's Self Sufficient Energy Demonstration Center, The Energy Place. Final technical progress report  

SciTech Connect

This final technical report summarizes the results of a Program entitled, Wichita's Self Sufficient Energy Demonstration Center, The Energy Place operated by the City of Wichita Energy Place under a grant from the US Department of Energy within the Appropriate Technology Program. The grant for $23,204 was awarded on October 6, 1980. The main thrust of the proposal was to install and monitor the performance of a Darrieus Style Wind Generator. Shortly after the project began, it was recommended by the consultants from the Wind Energy Lab at Wichita State University, that the type of machine be changed from a Darrieus to a horizontal axis downwind SWECS (small wind energy conversion system). This change was approved by DOE. On August 6, 1981, an Enertech 4000 Wind Generator was installed at The Energy Place. The performance of the machine and its environmental impact have been studied by City staff with the assistance of two consultants. A 5000 watt gasoline powered alternator was also purchased and installed to provide the electrical needs of part of The Energy Place. This experiment demonstrates the self-sufficiency option that is not attainable with the wind system studied. This report recaps the first five quarters of the project, the final quarter and the reports of the consultants.

Pajor, J.T.

1982-01-01T23:59:59.000Z

124

Density and Flow-Velocity Measurement Technology for Dredging Applications - Proof of Concept Study  

SciTech Connect

This technical letter report provides the results of all PNNL managed activities on this project, and contains a description of the data acquisition configuration and testing protocols, results and conclusions from this work. This technical letter report constitutes the final deliverable to be submitted to the client for this proof-of-concept study.

Greenwood, Margaret S.; Tucker, Brian J.; Diaz, Aaron A.

2004-10-01T23:59:59.000Z

125

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses  

Science Conference Proceedings (OSTI)

This paper describes our experience using the interactive theorem prover Athena for proving the correctness of abstract interpretation-based dataflow analyses. For each analysis, our methodology requires the analysis designer to formally specify the ... Keywords: Athena, Dataflow analysis, correctness proofs, interactive theorem proving

Alexandru S?lcianu; Konstantine Arkoudas

2005-12-01T23:59:59.000Z

126

Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow  

E-Print Network (OSTI)

sends its problems to remote servers to further distribute the load. 2 Standard Proof Methods Isabelle #12;resolution provers (E [48], SPASS [56], and Vampire [44]) and SMT solvers (CVC3 [2], Yices [16 installation, E, SPASS, and Z3 are run on the user's machine, whereas Vampire and the SInE metaprover [23

Cengarle, María Victoria

127

mean | OpenEI  

Open Energy Info (EERE)

86 86 Varnish cache server Browse Upload data GDR 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142280586 Varnish cache server mean Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric

128

Problem: Getting rid of bureaucracy in proofs Cut Elimination by Experiments: Gentzen’s structure is too rigid Open Deduction (Deep Inference): locality (atomicity + linearity) Deep Inference and Proof Complexity: proofs are small, so it is OK Atomic Flow  

E-Print Network (OSTI)

efficiency, more naturalityProblem: getting rid of bureaucracy in proofs id id ? a ?,a ? a, a? ? a ?,a ? a, a ? ? id ? a ? ?(a ? a),a? ? a ?,a ? a ? ?(a ? a),a ? ? a ?,a exch ? a ? ?(a ? a), a, a ? ? a? ? a ? ?(a ? a),a?(a ? ? a ?) ? ( ?), ? id id ? a ?,a ? a, a? ? a ? ( ?), ? ? ? ( ?), ? ( ? ?,a ? a, a ? ? id ? a ? ?(a ? a),a? ? a ?,a ? a ? ?(a ? a),a ? ? a ?,a exch ? a ? ?(a ? a), a, a ? ? a? ? a ? ?(a ? a),a?(a ? ? a ?) id ? a ?,a id id ? a, a? ? a ?,a ? a, a ? ? a ?,a exch ? a, a, a ? ? a? ? a, a ?(a ? ? a ?) ? a ?,a ? a, a ?(a ? ? a ?) ? a ? ?(a ? a),a?(a ? ? a ?) id ? a, a ? id id ? a ?,a ? a, a? ? a ?,a ? a, a ? exch

Alessio Guglielmi

2012-01-01T23:59:59.000Z

129

Necessary and sufficient conditions for big bangs, bounces, crunches, rips, sudden singularities, and extremality events  

E-Print Network (OSTI)

The physically relevant singularities occurring in FRW cosmologies had traditionally been thought to be limited to the "big bang", and possibly a "big crunch". However, over the last few years, the zoo of cosmological singularities considered in the literature has become considerably more extensive, with "big rips" and "sudden singularities" added to the mix, as well as renewed interest in non-singular cosmological events such as "bounces" and "turnarounds". In this article we present a complete catalogue of such cosmological milestones, both at the kinematical and dynamical level. First, using generalized power series, purely kinematical definitions of these cosmological events are provided in terms of the behaviour of the scale factor a(t). The notion of a "scale-factor singularity'" is defined, and its relation to curvature singularities (polynomial and differential) is explored. Second, dynamical information is extracted by using the Friedmann equations (without assuming even the existence of any equation of state) to place constraints on whether or not the classical energy conditions are satisfied at the cosmological milestones. We use these considerations to derive necessary and sufficient conditions for the existence of cosmological milestones such as bangs, bounces, crunches, rips, sudden singularities, and extremality events. Since the classification is extremely general, the corresponding results are to a high degree model-independent: In particular, we provide a complete characterization of the class of bangs, crunches, and sudden singularities for which the dominant energy condition is satisfied.

Celine Cattoen; Matt Visser

2005-08-11T23:59:59.000Z

130

Proof - CECM  

E-Print Network (OSTI)

A standard ``stars and bars'' argument (in Feller's terminology, e.g., p. ... bars and x stars in a row if we interpret the size of each contiguous sequence of stars as ...

131

UNCORRECTED PROOF  

Science Conference Proceedings (OSTI)

... operates in the ISM fre- quency band starting at 2.402 ... a collision occurred and the RTS process starts over. ... and (1, ?1) m. In this topology, there are ...

132

UNCORRECTED PROOF  

E-Print Network (OSTI)

[6] G.B. Dantzig, Programming in a linear structure, U.S. Air Force Comptroller, USAF, Washington, DC, 1948. 453. [7] G.B. Dantzig, A. Orden, P. Wolfe, The ...

133

UNCORRECTED PROOF  

E-Print Network (OSTI)

bSobolev Institute of Mathematics, Novosibirsk-90 630090, Russia ... 1 Supported by the Russian Foundation for Fundamental Research (Grant ...... and complexity, in: Handbooks in Operations Research and Management Science, Vol.

134

UNCORRECTED PROOF  

E-Print Network (OSTI)

cSobolev Institute of Mathematics, Novosibirsk 630090, Russia ... 2 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-00601). ...... and complexity, in: Handbooks in Operations Research and Management Science ...

135

Proof - CECM  

E-Print Network (OSTI)

Let be a path from the image under f of a 0,1 power series vanishing at to . ... is in this disc, so we can replace the tail end of on by a straight line from to in .

136

Emissions and efficiency of agricultural diesels using low-proof ethanol as supplement fuel. [Tractor engines  

Science Conference Proceedings (OSTI)

Experimental investigations were made to evaluate the potential of using low-proof ethanol to supplement diesel fuel in agricultural engines. Fumigation, mechanical emulsification, and chemical emulsifiers were used to introduce a significant amount of alcohol with diesel fuel for engine operation. A total of five diesel tractor engines were tested using each of the fuel systems. Exhaust products and fuel usage were determined at various engine speed/load conditions. 5 references, 12 figures, 14 tables.

Allsup, J.R.; Clingenpeel, J.M.

1984-01-01T23:59:59.000Z

137

Size, effect of flexible proof mass on the mechanical behavior of micron-scale cantilevers for energy harvesting appications.  

Science Conference Proceedings (OSTI)

Mechanical behavior of micron-scale cantilevers with a distributed, flexible proof mass is investigated to understand proof mass size effects on the performance of microelectromechanical system energy harvesters. Single-crystal silicon beams with proof masses of various lengths were fabricated using focused ion beam milling and tested using atomic force microscopy. Comparison of three different modeling results with measured data reveals that a 'two-beam' method has the most accurate predictive capability in terms of both resonant frequency and strain. Accurate strain prediction is essential because energy harvested scales with strain squared and maximum strain will be a design limit in fatigue.

Kim, M.; Hong, S.; Miller, D. J.; Dugundji, J.; Wardle, B. L. (Materials Science Division); (MIT)

2011-12-15T23:59:59.000Z

138

Entanglement-Resistant Two-Prover Interactive Proof Systems and Non-Adaptive Private Information Retrieval Systems  

E-Print Network (OSTI)

We show that, for any language in NP, there is an entanglement-resistant constant-bit two-prover interactive proof system with a constant completeness vs. soundness gap. The previously proposed classical two-prover constant-bit interactive proof systems are known not to be entanglement-resistant. This is currently the strongest expressive power of any known constant-bit answer multi-prover interactive proof system that achieves a constant gap. Our result is based on an "oracularizing" property of certain private information retrieval systems, which may be of independent interest.

Richard Cleve; Dmitry Gavinsky; Rahul Jain

2007-07-12T23:59:59.000Z

139

Optogenetic Mimicry of the Transient Activation of Dopamine Neurons by Natural Reward Is Sufficient for Operant Reinforcement  

E-Print Network (OSTI)

Activation of dopamine receptors in forebrain regions, for minutes or longer, is known to be sufficient for positive reinforcement of stimuli and actions. However, the firing rate of dopamine neurons is increased for only ...

Kim, Kyung Man

140

Cloning of arbitrary mirror-symmetric distributions on Bloch sphere: Optimality proof and proposal for practical photonic realization  

E-Print Network (OSTI)

We study state-dependent quantum cloning which can outperform universal cloning. This is possible by using some a priori information on a given quantum state to be cloned. Specifically, we propose a generalization and optical implementation of quantum optimal mirror phase-covariant cloning, which refers to optimal cloning of sets of qubits of known modulus of expectation value of Pauli's Z operator. Our results can be applied for cloning of an arbitrary mirror-symmetric distribution of qubits on Bloch sphere including in special cases the universal cloning and phase-covariant cloning. We show that the cloning is optimal by adapting our former optimality proof for axisymmetric cloning [Phys. Rev. 82, 042330 (2010)]. Moreover, we propose an optical realization of the optimal mirror phase-covariant 1 to 2 cloning of a qubit, for which the mean probability of successful cloning varies from 1/6 to 1/3 depending on prior information on the set of qubits to be cloned. The qubits are represented by polarization states of photons generated by the type-I spontaneous parametric down-conversion. The scheme is based on the interference of two photons on an unbalanced polarization-dependent beam splitter with different splitting ratios for vertical and horizontal polarization components and the additional application of feedforward by means of Pockels cells. The experimental feasibility of the proposed setup is carefully studied including various kinds of imperfections and losses including: (i) finite efficiency of generating a pair of entangled photons in the type-I spontaneous parametric down conversion, (ii) the influence of choosing various splitting ratios of the unbalanced beam splitter, (iii) the application of conventional and single-photon discriminating detectors, (iv) dark counts and finite efficiency of the detectors.

Karol Bartkiewicz; Adam Miranowicz

2011-03-28T23:59:59.000Z

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


141

India's baseline plan for nuclear energy self-sufficiency.  

SciTech Connect

India's nuclear energy strategy has traditionally strived for energy self-sufficiency, driven largely by necessity following trade restrictions imposed by the Nuclear Suppliers Group (NSG) following India's 'peaceful nuclear explosion' of 1974. On September 6, 2008, the NSG agreed to create an exception opening nuclear trade with India, which may create opportunities for India to modify its baseline strategy. The purpose of this document is to describe India's 'baseline plan,' which was developed under constrained trade conditions, as a basis for understanding changes in India's path as a result of the opening of nuclear commerce. Note that this treatise is based upon publicly available information. No attempt is made to judge whether India can meet specified goals either in scope or schedule. In fact, the reader is warned a priori that India's delivery of stated goals has often fallen short or taken a significantly longer period to accomplish. It has been evident since the early days of nuclear power that India's natural resources would determine the direction of its civil nuclear power program. It's modest uranium but vast thorium reserves dictated that the country's primary objective would be thorium utilization. Estimates of India's natural deposits vary appreciably, but its uranium reserves are known to be extremely limited, totaling approximately 80,000 tons, on the order of 1% of the world's deposits; and nominally one-third of this ore is of very low uranium concentration. However, India's roughly 300,000 tons of thorium reserves account for approximately 30% of the world's total. Confronted with this reality, the future of India's nuclear power industry is strongly dependent on the development of a thorium-based nuclear fuel cycle as the only way to insure a stable, sustainable, and autonomous program. The path to India's nuclear energy self-sufficiency was first outlined in a seminal paper by Drs. H. J. Bhabha and N. B. Prasad presented at the Second United Nations Conference on the Peaceful Uses of Atomic Energy in 1958. The paper described a three stage plan for a sustainable nuclear energy program consistent with India's limited uranium but abundant thorium natural resources. In the first stage, natural uranium would be used to fuel graphite or heavy water moderated reactors. Plutonium extracted from the spent fuel of these thermal reactors would drive fast reactors in the second stage that would contain thorium blankets for breeding uranium-233 (U-233). In the final stage, this U-233 would fuel thorium burning reactors that would breed and fission U-233 in situ. This three stage blueprint still reigns as the core of India's civil nuclear power program. India's progress in the development of nuclear power, however, has been impacted by its isolation from the international nuclear community for its development of nuclear weapons and consequent refusal to sign the Nuclear Nonproliferation Treaty (NPT). Initially, India was engaged in numerous cooperative research programs with foreign countries; for example, under the 'Atoms for Peace' program, India acquired the Cirus reactor, a 40 MWt research reactor from Canada moderated with heavy water from the United States. India was also actively engaged in negotiations for the NPT. But, on May 18, 1974, India conducted a 'peaceful nuclear explosion' at Pokharan using plutonium produced by the Cirus reactor, abruptly ending the era of international collaboration. India then refused to sign the NPT, which it viewed as discriminatory since it would be required to join as a non-nuclear weapons state. As a result of India's actions, the Nuclear Suppliers Group (NSG) was created in 1975 to establish guidelines 'to apply to nuclear transfers for peaceful purposes to help ensure that such transfers would not be diverted to unsafeguarded nuclear fuel cycle or nuclear explosive activities. These nuclear export controls have forced India to be l

Bucher, R .G.; Nuclear Engineering Division

2009-01-01T23:59:59.000Z

142

Simple proof of the quantum benchmark fidelity for continuous-variable quantum devices  

E-Print Network (OSTI)

An experimental success criterion for continuous-variable quantum teleportation and memories is to surpass a limit of the average fidelity achieved by the classical measure-and-prepare schemes with respect to a Gaussian distributed set of coherent states. We present a simple proof of the classical limit based on the familiar notions of the state-channel duality and the partial transposition. The present method enables us to produce a quantum-domain criterion associated with a given set of measured fidelities.

Ryo Namiki

2011-04-06T23:59:59.000Z

143

Supply Chain-Based Solution to Prevent Fuel Tax Evasion: Proof of Concept  

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

Chain-Based Solution to Prevent Chain-Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Revenues from motor fuel and other highway use taxes provide the primary source of funding for the United States' transportation system, and ensuring all of these taxes are collected, remitted, and credited to the Highway Trust Fund is a priority for the U.S. Department of Transportation Federal Highway Administration (FHWA). In the past, loss of revenue due to tax evasion has been estimated to

144

Vane fabrication for the proof-of-principle radio-frequency quadrupole accelerator  

SciTech Connect

The electrodes for the Proof-of-Principle (POP) Radio-Frequency Quadrupole (RFQ) accelerator were machined on a numerically controlled, three-axis, vertical mill. These pole tips, or vanes, were prepared for, and used, in the successful demonstration of RFQ practicality at Los Alamos National Laboratory in February 1980. The data set that described the vanes contained about 10 million bits of tool position data. The vanes were cut from OFHC copper blanks. The tolerances achieved were approximately +- 0.005 cm. The design and manufacturing procedures are described.

Williams, S.W.; Potter, J.M.

1981-01-01T23:59:59.000Z

145

Supply Chain Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Final Report  

SciTech Connect

The goal of this research was to provide a proof-of-concept (POC) system for preventing non-taxable (non-highway diesel use) or low-taxable (jet fuel) petrochemical products from being blended with taxable fuel products and preventing taxable fuel products from cross-jurisdiction evasion. The research worked to fill the need to validate the legitimacy of individual loads, offloads, and movements by integrating and validating, on a near-real-time basis, information from global positioning system (GPS), valve sensors, level sensors, and fuel-marker sensors.

Capps, Gary J [ORNL; Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Earl, Dennis Duncan [ORNL; West, David L [ORNL; McIntyre, Timothy J [ORNL; Chin, Shih-Miao [ORNL; Hwang, Ho-Ling [ORNL; Connatser, Raynella M [ORNL; Lewis Sr, Samuel Arthur [ORNL; Moore, Sheila A [ORNL

2011-12-01T23:59:59.000Z

146

Electric power generation using geothermal brine resources for a proof-of-concept facility  

DOE Green Energy (OSTI)

A report is given of the initial phase of a proof-of-concept project to establish the technical, environmental, and economic feasibility of utilizing hot brine resources for electric energy production and other industrial applications. Included in the report are the following: summary, conclusions, and recommendations; site selection; Heber site description; development of design bases for an experimental facility and a 10 MWe(Net) generating unit; description of facilities; safety analysis; environmental considerations; implementation plan and schedule; and conceptual capital cost estimate.

Not Available

1976-01-01T23:59:59.000Z

147

Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concepts. Final report FY-96  

SciTech Connect

The Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concept Project was initiated for the expedited development of new or conceptual technologies in support of groundwater fate, transport, and remediation; buried waste characterization, retrieval, and treatment; waste minimization/pollution prevention; and spent fuel handling and storage. In Fiscal Year 1996, The Idaho National Engineering and Environmental Laboratory proposed 40 development projects and the Department of Energy funded 15. The projects proved the concepts of the various technologies, and all the technologies contribute to successful environmental management.

Barrie, S.L.; Carpenter, G.S.; Crockett, A.B. [and others

1997-04-01T23:59:59.000Z

148

High Temperature Superconducting Matrix Fault Current Limiter: Proof-of-Concept Test Results  

Science Conference Proceedings (OSTI)

This report describes the design and proof-of-concept test results of a pre-prototype superconducting fault current limiter (FCL). The device employs SuperPower's Matrix Fault Current Limiter (MFCL) technology and BSCCO-2212 bulk material manufactured by Nexans SuperConductors' melt cast processing (MCP) technique. The MFCL technology is targeted to address fault current over-duty problems at the transmission voltage level of 138kV and higher. In addition to EPRI sponsorship, this $12M development progra...

2004-09-27T23:59:59.000Z

149

The True-Twin microcalorimeter: a proof-of-concept experiment  

E-Print Network (OSTI)

We present a proof-of-concept experiment to realize microwave primary power standard with a true-twin microcalorimeter. Double feeding line microcalorimeters are widely used by National Metrology Institutes. A drawback concerns the system calibration: traditional processes changes measurement conditions between system characterization and the measurement stage. Nevertheless, if the feeding lines are made twin, a measurement scheme that avoids separate characterization can be applied, equations simplify and time consumption is halved. Here we demonstrates the feasibility of the idea. The result of an effective efficiency spectroscopy of a thermoelectric power sensor is compared with figures obtained with well established methods.

Luca Oberto; Luciano Brunetti; Marco Sellone

2011-05-02T23:59:59.000Z

150

Wave–Mean Flow Statistics  

Science Conference Proceedings (OSTI)

A relation between the statistics of large-scale waves and the mean flow is derived from the potential enstrophy equations integrated over an isobaric surface. The difference between time-averaged zonal-mean state and the radiative-dynamical ...

Mark R. Schoeberl

1982-10-01T23:59:59.000Z

151

CENTRIFUGAL PUMP AND SHAFT SEALING MEANS  

DOE Patents (OSTI)

A description is given of sealing means between a hollow rotatable shaft and a stationary member surrounding the shaft which defines therewith a sealing space of annular cross-section, comprising a plurality of axially spaced rings held against seats by ring springs which serve to subdivide the sealing space- into a plurality of zones. Process gas introduced into the hollow shaft through a port communicating with a centrally located zone which iu turn communicates with a bore in the sleeve, is removed from the shaft through a second port communicating with an adjacent central zone and discharged through a second bore. A sealant gas is supplied to an end zone under a pressure sufficient to cause it to flow axially into adjacent zones and then maintained at a lower pressure than either the sealant gas source or the process gas inlet zone, preventing the sealant gas from entering the shaft and allowing gases leaking into the sealant gas to be withdrawn and led to a separator.

Rushing, F.C.

1960-09-01T23:59:59.000Z

152

Dynamical Predictability of Monthly Means  

Science Conference Proceedings (OSTI)

We have attempted to determine the theoretical upper limit of dynamical predictability of monthly means for prescribed nonfluctuating external forcings. We have extended the concept of “classical” predictability, which primarily refers to the ...

J. Shukla

1981-12-01T23:59:59.000Z

153

UV LED charge control of an electrically isolated proof mass in a Gravitational Reference Sensor configuration at 255 nm  

E-Print Network (OSTI)

Precise control over the potential of an electrically isolated proof mass is necessary for the operation of devices such as a Gravitational Reference Sensor (GRS) and satellite missions such as LISA. We show that AlGaN UV LEDs operating at 255 nm are an effective substitute for Mercury vapor lamps used in previous missions because of their ability to withstand space qualification levels of vibration and thermal cycling. After 27 thermal and thermal vacuum cycles and 9 minutes of 14.07 g RMS vibration, there is less than 3% change in current draw, less than 15% change in optical power, and no change in spectral peak or FWHM (full width at half maximum). We also demonstrate UV LED stimulated photoemission from a wide variety of thin film carbide proof mass coating candidates (SiC, Mo2C, TaC, TiC, ZrC) that were applied using electron beam evaporation on an Aluminum 6061-T6 substrate. All tested carbide films have measured quantum efficiencies of 3.8-6.8*10^-7 and reflectivities of 0.11-0.15, which compare favorably with the properties of previously used gold films. We demonstrate the ability to control proof mass potential on an 89 mm diameter spherical proof mass over a 20 mm gap in a GRS-like configuration. Proof mass potential was measured via a non-contact DC probe, which would allow control without introducing dynamic forcing of the spacecraft. Finally we provide a look ahead to an upcoming technology demonstration mission of UV LEDs and future applications toward charge control of electrically isolated proof masses.

Karthik Balakrishnan; Ke-Xun Sun; Abdul Alfauwaz; Ahmad Aljadaan; Mohammed Almajeed; Muflih Alrufaydah; Salman Althubiti; Homoud Aljabreen; Sasha Buchman; Robert L Byer; John Conklin; Daniel DeBra; John Hanson; Eric Hultgren; Turki Al Saud; Seiya Shimizu; Michael Soulage; Andreas Zoellner

2012-02-03T23:59:59.000Z

154

Development and testing of the Perseus proof-of-concept aircraft. Final report  

DOE Green Energy (OSTI)

Many areas of global climate change research could benefit from a flexible, affordable, and near-term platform that could provide in situ measurements in the upper troposphere and lower stratosphere. To provide such a capability, the Perseus unmanned science research aircraft was proposed in 1989. As a first step toward the development of Perseus, a proof-of-concept (POC) demonstrator was constructed and tested during 1990 and 1991. The POC was a full scale Perseus airframe intended to validate the structural, aerodynamic, and flight control technologies for the Perseus within a total budget of about $1.5 million. Advanced propulsion systems needed for the operational Perseus were not covered in the POC program due to funding limitations. This report documents the design, development, and testing of the Perseus POC.

Langford, J.S. [Aurora Flight Sciences Corp., Manassas, VA (United States)

1993-02-26T23:59:59.000Z

155

Development and proof-testing of advanced absorption refrigeration cycle concepts, Phase 2  

SciTech Connect

This paper summarizes the results of the work performed to date under Phase II of the DOE program. The Phase II objective is to design, fabricate, and proof-test a natural gas-fired absorption heat pump (AHP) with an efficiency level substantially higher than present day state-of-the-art equipment. To achieve these objectives, Carrier investigated the performance of the candidate Phase I fluids (lithium bromide:zinc bromide/methyl alcohol-MEOH or lithium bromide:water methylmine-MMA) as well as high concentration formulations of the conventional LiBr/H2O mixture for high temperature, upper loop use. These results were compared with several existing fluid candidates including ammonia/water. 9 figs.

Reimann, R.C.; Melikian, G.

1988-01-01T23:59:59.000Z

156

Dose rates from induced activity in the ELMO Bumpy Torus proof-of-principle device  

DOE Green Energy (OSTI)

Calculated results of the dose rates from induced activity in the enclosure of the ELMO Bumpy Torus proof-of-principle device (EBT-P) are presented. A cylindrical model of EBT-P is used. EBT-P will have a hydrogen plasma and thus the plasma will not produce neutrons, but substantial numbers of photoneutrons will be produced and it is the induced activity from these photoneutrons that is considered. The activation dose rates are presented for a variety of operating times and times after shutdown. Dose rates about 5 to 10 mrem/h at 1 h after shutdown are obtained and the major contributor to the dose rate at 1 h after shutdown is found to be /sup 24/Na (half-life=15.0 h).

Alsmiller, R.G.; Barish, J.; Barnes, J.M.; Santoro, R.T.

1983-11-01T23:59:59.000Z

157

Are Tableaux an Improvement on Truth-Tables? Cut-Free proofs and Bivalence  

E-Print Network (OSTI)

We show that Smullyan's analytic tableaux cannot p-simulate the truth-tables. We identify the cause of this computational breakdown and relate it to an underlying semantic difficulty which is common to the whole tradition originating in Gentzen's sequent calculus, namely the dissonance between cut-free proofs and the Principle of Bivalence. Finally we discuss some ways in which this principle can be built into a tableau-like method without affecting its "analytic" nature. 1 Introduction The truth-table method, introduced by Wittgenstein in his Tractatus LogicoPhilosophicus, provides a decision procedure for propositional logic which is immediately implementable on a machine. However this time-honoured method is usually mentioned only to be immediately dismissed because of its incurable inefficiency. The well-known tableau method (which is closely related to Gentzen's cut-free sequent calculus) is commonly regarded as a "shortcut" in testing the logical validity of complex propositions...

Marcello D' Agostino

1992-01-01T23:59:59.000Z

158

Development and proof-testing of advanced absorption refrigeration cycle concepts  

SciTech Connect

The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.

Modahl, R.J.; Hayes, F.C. (Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.)

1992-03-01T23:59:59.000Z

159

A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus  

Science Conference Proceedings (OSTI)

We describe how the Davis-Putnam-Logemann-Loveland procedure DPLL is bisimilar to the goal-directed proof-search mechanism described by a standard but carefully chosen sequent calculus. We thus relate a procedure described as a transition system on states ... Keywords: dpll(t), focused sequent calculus, polarised logic

Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi

2013-09-01T23:59:59.000Z

160

A RENORMALIZATION PROOF OF THE KAM THEOREM FOR NON-ANALYTIC PERTURBATIONS  

E-Print Network (OSTI)

We shall use a Renormalization Group (RG) scheme in order to prove the classical KAM result in the case of a non-analytic perturbation (the latter will be assumed to have continuous derivatives up to a sufficiently large order). We shall proceed by solving a sequence of problems in which the perturbations are analytic approximations of the original one. We shall finally show that the sequence of the approximate solutions will converge to a differentiable solution of the original problem.

Emiliano De Simone

2007-01-01T23:59:59.000Z

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


161

Lazy states: sufficient and necessary condition for zero quantum entropy rates under any coupling to the environment  

E-Print Network (OSTI)

We find the necessary and sufficient conditions for the entropy rate of the system to be zero under any system-environment Hamiltonian interaction. We call the class of system-environment states that satisfy this condition lazy states. They are a generalization of classically correlated states defined by quantum discord, but based on projective measurements of any rank. The concept of lazy states permits the construction of a protocol for detecting global quantum correlations using only local dynamical information. We show how quantum correlations to the environment provide bounds to the entropy rate, and how to estimate dissipation rates for general non-Markovian open quantum systems.

Cesar A. Rodriguez-Rosario; Gen Kimura; Hideki Imai; Alan Aspuru-Guzik

2010-04-29T23:59:59.000Z

162

What it means to you  

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

it means to you it means to you On July 29, 2005, Congress passed the first comprehensive energy legislation in over a decade. This historic bill follows many of the principles outlined by President Bush to strengthen our nation's electrical infrastructure, reduce our dependence on foreign oil, increase conservation and expand the use of clean renewable energy. While the bill will help address our long-term challenges, there are many provisions that will help American families save energy - and money too! Following, is a list of some of the most popular points within the bill: Energy Efficiency and Conservation Measures In Your Home: * Consumers can receive a credit of up to 30% of the cost, or up to $2,000, for installing solar-powered hot-water systems used exclusively for purposes other

163

Status of Proof-Of-Concept testing at the Coal-Fired-Flow Facility, 1993  

DOE Green Energy (OSTI)

Proof-of-concept (POC) testing, and collection and evaluation of data continued at the Coal-Fired-Flow Facility during the past year. Following four preliminary tests firing Rosebud coal in 1991 to establish base conditions for the Rosebud coal POC tests, three POC tests were run in 1992, and a fourth test early in 1993. Major equipment additions or modifications included installation of a wet electrostatic precipitator (ESP), which replaced a badly deteriorated venturi. This component also provides improved capability to meet Tennessee pollution regulations while operating the dry ESP and/or baghouse off design, or if one of these two control devices does not function properly. Improvements were also made to the dry ESP prior to the 1993 test, which appear to have improved the performance of this equipment. This paper will present an overview of the major results obtained during the Rosebud coal POC tests, including the performance of the dry and wet electrostatic precipitators. Differences between the Rosebud and Illinois coals will be described, but it is emphasized that these observations are based on incomplete results for the Rosebud coal.

Attig, R.C.; Chapman, J.N.; Johanson, N.R.

1993-06-01T23:59:59.000Z

164

Status of proof-of-principle experiment for coherent electron cooling  

SciTech Connect

Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters. We use a dogleg to merge the electron and ion beams. The ions 'imprint' their distribution into the electron beam via a space charge density modulation. The modulation is amplified in an FEL comprised of a 7-m long helical wiggler. The ions are co-propagating with electron beam through the FEL. The ion's average velocity is matched to the group velocity of the wave-packet of e-beam density modulation in the FEL. A three-pole wiggler at the exit of the FEL tune the phase of the wave-packet so the ion with the central energy experience the maximum of the e-beam density modulation, where electric field is zero. The time-of-flight dependence on ion's provides for the electrical field caused by the density modulation to reduce energy spread of the ion beam. The used electron beam is bent off the ion path and damped.

Pinayev I.; Belomestnykh, S.; Bengtsson, J.; Ben-Zvi, I.; Elizarov, A. et al

2012-05-20T23:59:59.000Z

165

Catalytic conversion of light alkanes -- research and proof-of-concept stages  

DOE Green Energy (OSTI)

Objective is to find new catalysts for direct reaction of methane, ethane, propane, butanes with O{sub 2} to form alcohols, and to develop practical processes for direct oxidative conversion of natural gas and its C{sub 1}-C{sub 4} components to produce alcohol-rich liquid oxygenates for use as alternative transportation fuels/environmentally superior reformulated gasolines. The proposed mechanism for oxidation activity of cytochrome P-450 and methane monoxygenase suggested that a catalyst able to reductively bind oxygen, not between Fe(III) center and a proton, but between two Fe(III) centers, might give the desired dioxygenase activity for alkane hydroxylation. Selective oxidation of light alkanes could be done by oxidation-active metal (Fe) centers in electron-deficient prophyrin-like macrocycles, polyoxoanions, and zeolites. In the isobutane conversion to tert-butanol proof-of-concept, it was found that nitro groups on the periphery of Fe porphyrin complexes give the greatest increase in Fe(III)/(II) reduction potential. 8 figs, 6 tabs, 40 refs.

Lyons, J.E.; Hancock, A.W. II

1993-12-31T23:59:59.000Z

166

Results of hydrotreating the kerosene fraction of HTI`S first proof of concept run  

SciTech Connect

The objective of Sandia`s hydrotreating study is to determine the relationships between hydrotreating conditions and product characteristics for coal liquids produced using current technologies. The coal-derived liquid used in the current work is the kerosene fraction of the product from Hydrocarbon Technologies Inc.`s first proof-of-concept run for it`s Catalytic Two-Stage Liquefaction Technology. Sandia`s hydrotreating experiments were performed in a continuous operation, microflow reactor system using aged HDN-60 catalyst. A factorial experimental design with three variables (temperature, pressure, liquid hourly space velocity) was used in this work. Nitrogen and sulfur contents of the feed and hydrotreated products were determined using an Antek 7000 Sulfur and Nitrogen Analyzer. Multiple samples were collected at each set of reaction conditions to ensure that each condition was lined out. Hydrotreating at each set of reaction conditions was repeated so that results could be normalized for catalyst deactivation. The normalized results were statistically analyzed. Increases in temperature and pressure had the greatest effects on nitrogen removal. The highest severity condition (388{degrees}C, 1500 psig H{sub 2}, 1.5g/h/g(cat)) gave a measured nitrogen value of <5 ppm.

Stohl, F.V.; Lott, S.E.; Diegert, K.V.; Goodnow, D.C.

1996-06-01T23:59:59.000Z

167

Proof of feasibility of a novel inverter for photovoltaic power conditioning  

SciTech Connect

The Dickerson inverter concept obtains a sinewave current from an array that is segmented into a number of subarrays. These subarrays are switched among the ac phases so that the current from a given subarray is continuous and each phase is connected at all times to one or more subarrays. The control scheme assures a unity power factor currrent with real-time adjustment to power-system disturbances. A proof-of-concept inverter has been operated into a three-phase power system, with the dc supplied from a motor-generator set plus regulators that closely simulated the current-voltage characteristics of a photovoltaic array. The performance for the inverter has been projected for a 480V, three-phase system at the 50 kVA level. Computer simulations showed 98% utilization of array power was possible with efficiency better than 98% and harmonic content of 18% without filtering. An analysis of filtering costs indicates that reduction to 5% can be achieved at under $0.003 per watt for typical central-station applications. A more complex configuration was also analyzed with results of 99% utilization, 8% harmonic content, and the same efficiency. The intended power range for these inverters is 50 to 250 kVA per unit. The cost to produce the inverter at the 50 kVA level in quantities of 1000 units is estimated to be $0.05 per watt.

Dickerson, A.

1986-04-01T23:59:59.000Z

168

Definitions of Words with Special Meanings  

Science Conference Proceedings (OSTI)

DEFINITIONS OF WORDS WITH SPECIAL MEANINGS. Definitions of Words with Special Meanings. This section of the VVSG ...

169

Security proof for cryptographic protocols based only on the monogamy of Bell's inequality violations  

E-Print Network (OSTI)

We show that monogamy of Bell's inequality violations, which is strictly weaker condition than no-signaling is enough to prove security of quantum key distribution. We derive our results for a whole class of monogamy constraints and generalize our results to any theory that communicating parties may have access to. Some of these theories do not respect no-signaling principle yet still allow for secure communication. This proves that no-signaling is only a sufficient condition for the possibility of secure communication, but not the necessary one. We also present some new qualitative results concerning the security of existing quantum key distribution protocols.

Marcin Pawlowski

2009-07-22T23:59:59.000Z

170

Use of non-petroleum fuels to reduce military energy vulnerabilities: self-sufficient bases and new weapon propulsion systems  

DOE Green Energy (OSTI)

The US fossil synfuels program may not have significant impact on domestic fuel supplies until near the year 2000, resulting in a continuing mobility fuels vulnerability for the US military until then. But there are other mobility fuel options for both propulsion systems and stationary base-energy sources, for which the base technology is commercially available or at least demonstrated. For example, for surface propulsion systems, hydrogen-fuel-cell/battery-electric hybrids may be considered; for weapons systems these may offer some new flexibilities, standardization possibilities, and multiple military-controlled fuel-supply options. Hydrogen-fueled aircraft may provide interesting longer-term possibilities in terms of military energy self-sufficiency and multiple supply options, as well as performance specifications. These scenarios will be discussed, along with possibilities for demonstrations in the MX-system ground vehicles.

Freiwald, D.A.

1980-01-01T23:59:59.000Z

171

A model for determining when an analysis contains sufficient detail to provide adequate NEPA coverage for a proposed action  

SciTech Connect

Neither the National Environmental Policy Act (NEPA) nor its subsequent regulations provide substantive guidance for determining the Level of detail, discussion, and analysis that is sufficient to adequately cover a proposed action. Yet, decisionmakers are routinely confronted with the problem of making such determinations. Experience has shown that no two decisionmakers are Likely to completely agree on the amount of discussion that is sufficient to adequately cover a proposed action. one decisionmaker may determine that a certain Level of analysis is adequate, while another may conclude the exact opposite. Achieving a consensus within the agency and among the public can be problematic. Lacking definitive guidance, decisionmakers and critics alike may point to a universe of potential factors as the basis for defending their claim that an action is or is not adequately covered. Experience indicates that assertions are often based on ambiguous opinions that can be neither proved nor disproved. Lack of definitive guidance slows the decisionmaking process and can result in project delays. Furthermore, it can also Lead to inconsistencies in decisionmaking, inappropriate Levels of NEPA documentation, and increased risk of a project being challenged for inadequate coverage. A more systematic and less subjective approach for making such determinations is obviously needed. A paradigm for reducing the degree of subjectivity inherent in such decisions is presented in the following paper. The model is specifically designed to expedite the decisionmaking process by providing a systematic approach for making these determination. In many cases, agencies may find that using this model can reduce the analysis and size of NEPA documents.

Eccleston, C.H.

1994-11-01T23:59:59.000Z

172

Direct liquefaction proof-of-concept program. Finaltopical report, Bench Run 4 (227-95)  

SciTech Connect

This report presents the results of bench-scale work, Bench Run PB-04, conducted under the DOE Proof of Concept-Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-04 was the fifth of the nine runs planned in the POC Bench Option Contract between the U.S. DOE and Hydrocarbon Technologies, Inc. Bench Run PB-04 had multiple goals. These included the evaluation of the effects of dispersed slurry catalyst system on the performance of direct liquefaction of a subbituminous Wyoming Black Thunder mine coal under extinction recycle (454{degrees}C+ recycle) condition; another goal was to investigate the effects of the combined processing of automobile shredder residue (auto-fluff) with coal and other organic waste materials. PB-04 employed a two-stage, back-mixed, slurry reactor system with an interstage V/L separator and an in-line fixed-bed hydrotreater. The HTI`s newly modified P/Fe catalyst was very effective for direct liquefaction and coprocessing of Black Thunder mine subbituminous coal with Hondo resid and auto-fluff; during `coal-only` liquefaction mode, over 93% maf coal conversion was obtained with about 90% residuum conversion and as high as 67% light distillate (C{sub 4}-975 F) yield, while during `coprocessing` mode of operation, distillate yields varied between 58 and 69%; the residuum conversions varied between 74 and 89% maf. Overall, it is concluded, based upon the yield data available from PB-04, that auto-effective as MSW plastics in improving coal hydroconversion process performance. Auto-fluff did not increase light distillate yields nor decrease light gas make and chemical hydrogen consumption in coal liquefaction, as was observed to occur with MSW plastics.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K. [and others

1997-03-01T23:59:59.000Z

173

Final report for the Light Water Breeder Reactor proof-of-breeding analytical support project  

Science Conference Proceedings (OSTI)

The technology of breeding /sup 233/U from /sup 232/Th in a light water reactor is being developed and evaluated by the Westinghouse Bettis Atomic Power Laboratory (BAPL) through operation and examination of the Shippingport Light Water Breeder Reactor (LWBR). Bettis is determining the end-of-life (EOL) inventory of fissile uranium in the LWBR core by nondestructive assay of a statistical sample comprising approximately 500 EOL fuel rods. This determination is being made with an irradiated-fuel assay gauge based on neutron interrogation and detection of delayed neutrons from each rod. The EOL fissile inventory will be compared with the beginning-of-life fissile loading of the LWBR to determine the extent of breeding. In support of the BAPL proof-of-breeding (POB) effort, Argonne National Laboratory (ANL) carried out destructive physical, chemical, and radiometric analyses on 17 EOL LWBR fuel rods that were previously assayed with the nondestructive gauge. The ANL work included measurements on the intact rods; shearing of the rods into pre-designated contiguous segments; separate dissolution of each of the more than 150 segments; and analysis of the dissolver solutions to determine each segment's uranium content, uranium isotopic composition, and loading of selected fission products. This report describes the facilities in which this work was carried out, details operations involved in processing each rod, and presents a comprehensive discussion of uncertainties associated with each result of the ANL measurements. Most operations were carried out remotely in shielded cells. Automated equipment and procedures, controlled by a computer system, provided error-free data acquisition and processing, as well as full replication of operations with each rod. Despite difficulties that arose during processing of a few rod segments, the ANL destructive-assay results satisfied the demanding needs of the parent LWBR-POB program.

Graczyk, D.G.; Hoh, J.C.; Martino, F.J.; Nelson, R.E.; Osudar, J.; Levitz, N.M.

1987-05-01T23:59:59.000Z

174

Direct liquefaction proof-of-concept program: Bench Run 05 (227-97). Final report  

DOE Green Energy (OSTI)

This report presents the results Bench Run PB-05, conducted under the DOE Proof of Concept - Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. Bench Run PB-05 was the fifth of the nine runs planned in the POC Bench Option Contract between the U.S. DOE and included the evaluation of the effect of using dispersed slurry catalyst in direct liquefaction of a high volatile bituminous Illinois No. 6 coal and in combined coprocessing of coal with organic wastes, such as heavy petroleum resid, MSW plastics, and auto-shredder residue. PB-05 employed a two-stage, back-mixed, slurry reactor system with an interstage V/L separator and an in-line fixed-bed hydrotreater. Coprocessing of waste plastics with Illinois No. 6 coal did not result in the improvement observed earlier with a subbituminous coal. In particular, decreases in light gas yield and hydrogen consumption were not observed with Illinois No. 6 coal as they were with Black Thunder Mine coal. The higher thermal severity during PB-05 is a possible reason for this discrepancy, plastics being more sensitive to temperatures (cracking) than either coal or heavy resid. The ASR material was poorer than MSW plastics in terms of increasing conversions and yields. HTI`s new dispersed catalyst formulation, containing phosphorus-promoted iron gel, was highly effective for the direct liquefaction of Illinois No. 6 coal under the reaction conditions employed; over 95% coal conversion was obtained, along with over 85% residuum conversion and over 73% distillate yields.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.

1997-04-01T23:59:59.000Z

175

Laboratory {open_quotes}proof of principle{close_quotes} investigation for the acoustically enhanced remediation technology  

SciTech Connect

This document describes a three phase program of Weiss Associates which investigates the systematics of using acoustic excitation fields (AEFs) to enhance the in-situ remediation of contaminated soil and ground water under both saturated and unsaturated conditions. The focus in this particular paper is a laboratory proof of principle investigation. The field deployment and engineering viability of acoustically enhanced remediation technology is also examined.

Iovenitti, J.L.; Spencer, J.W.; Hill, D.G. [and others

1995-12-01T23:59:59.000Z

176

A Field Proof-of-Concept of Aquifer Imaging Using 3-D Transient Hydraulic Tomography with Modular, Temporarily-Emplaced Equipment  

SciTech Connect

Hydraulic tomography is a field scale aquifer characterization method capable of estimating 3-D heterogeneous parameter distributions, and is directly sensitive to hydraulic conductivity (K), thus providing a useful data source for improving flow and transport models. We present results from a proof-of-concept field and modeling study in which we apply 3-D transient hydraulic tomography (3DTHT) to the relatively high-K and moderately heterogeneous unconfined aquifer at the Boise Hydrogeophysical Research Site. Short-duration (20 min) partially penetrating pumping tests, for which observed responses do not reach steady state, are used as the aquifer stimulation. To collect field data, we utilize a system of temporarily emplaced packer equipment to isolate multiple discrete intervals in boreholes. To analyze the data, we utilize MODFLOW combined with geostatistical inversion code based on the quasilinear approach of Kitanidis (1995). This combination of practical software allows inversion of large datasets (>250 drawdown curves, and almost 1000 individual data points) and estimation of K at >100,000 locations; reasonable runtimes are obtained using a single multicore computer with 12 GB of RAM. The K heterogeneity results from 3DTHT are cross-validated against K characterization from a large set of partially penetrating slug tests, and found to be quite consistent. The use of portable, modular equipment for field implementation means that 3DTHT data collection can be performed (including mobilization/demobilization) within a matter of days. Likewise, use of a practical, efficient and scalable numerical modeling and inversion strategy means that computational effort is drastically reduced, such that 3-D aquifer property distributions can be estimated quickly.

Cardiff, Michael A.; Barrash, Warren; Kitanidis, P. K.

2012-05-19T23:59:59.000Z

177

INSPECTION MEANS FOR INDUCTION MOTORS  

DOE Patents (OSTI)

an appartus is descripbe for inspcting electric motors and more expecially an appartus for detecting falty end rings inn suqirrel cage inductio motors while the motor is running. In its broua aspects, the mer would around ce of reference tedtor means also itons in the phase ition of the An electronic circuit for conversion of excess-3 binary coded serial decimal numbers to straight binary coded serial decimal numbers is reported. The converter of the invention in its basic form generally coded pulse words of a type having an algebraic sign digit followed serially by a plurality of decimal digits in order of decreasing significance preceding a y algebraic sign digit followed serially by a plurality of decimal digits in order of decreasing significance. A switching martix is coupled to said input circuit and is internally connected to produce serial straight binary coded pulse groups indicative of the excess-3 coded input. A stepping circuit is coupled to the switching matrix and to a synchronous counter having a plurality of x decimal digit and plurality of y decimal digit indicator terminals. The stepping circuit steps the counter in synchornism with the serial binary pulse group output from the switching matrix to successively produce pulses at corresponding ones of the x and y decimal digit indicator terminals. The combinations of straight binary coded pulse groups and corresponding decimal digit indicator signals so produced comprise a basic output suitable for application to a variety of output apparatus.

Williams, A.W.

1959-03-10T23:59:59.000Z

178

CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT Ã?¢Ã?Â?Ã?Â? PHASE II  

SciTech Connect

Circulating Moving Bed (CMB) combustion technology has its roots in traditional circulating fluidized bed technology and involves a novel method of solid fuel combustion and heat transfer. CMB technology represents a step change in improved performance and cost relative to conventional PC and FBC boilers. The CMB heat exchanger preheats the energy cycle working fluid, steam or air, to the high temperature levels required in systems for advanced power generation. Unique features of the CMB are the reduction of the heat transfer surfaces by about 60% as a result of the enhanced heat transfer rates, flexibility of operation, and about 30% lower cost over existing technology. The CMB Phase I project ran from July 2001 through March 2003. Its objective was to continue development of the CMB technology with a series of proof of concept tests. The tests were conducted at a scale that provided design data for scale up to a demonstration plant. These objectives were met by conducting a series of experiments in ALSTOM Power's Multi-use Test Facility (MTF). The MTF was modified to operate under CMB conditions of commercial interest. The objective of the tests were to evaluate gas-to-solids heat transfer in the upper furnace, assess agglomeration in the high temperature CMB bubbling bed, and evaluate solids-to-tube heat transfer in the moving bed heat exchanger. The Phase I program results showed that there are still some significant technical uncertainties that needed to be resolved before the technology can be confidently scaled up for a successful demonstration plant design. Work remained in three primary areas: (1) scale up of gas to solid heat transfer; (2) high temperature finned surface design and (3) the overall requirements of mechanical and process design. The CMB Phase II workscope built upon the results of Phase I and specifically addressed the remaining technical uncertainties. It included a scaled MTF heat transfer test to provide the necessary data to scale up gas-to-solids heat transfer. A stress test rig was built and tested to provide validation data for a stress model needed to support high temperature finned surface design. Additional cold flow model tests and MTF tests were conducted to address mechanical and process design issues. This information was then used to design and cost a commercial CMB design concept. Finally, the MBHE was reconfigured into a slice arrangement and tested for an extended duration at a commercial CFB plant.

Glen D. Jukkola

2010-06-30T23:59:59.000Z

179

State-based network intrusion detection systems for SCADA protocols: a proof of concept  

Science Conference Proceedings (OSTI)

We present a novel Intrusion Detection System able to detect complex attacks to SCADA systems. By complex attack, we mean a set of commands (carried in Modbus packets) that, while licit when considered in isolation on a single-packet basis, interfere ... Keywords: IDS, SCADA systems, critical infrastructures, security

Andrea Carcano; Igor Nai Fovino; Marcelo Masera; Alberto Trombetta

2009-09-01T23:59:59.000Z

180

Urban Form Energy Use and Emissions in China: Preliminary Findings and Model Proof of Concept  

SciTech Connect

Urbanization is reshaping China's economy, society, and energy system. Between 1990 and 2008 China added more than 300 million new urban residents, bringing the total urbanization rate to 46%. The ongoing population shift is spurring energy demand for new construction, as well as additional residential use with the replacement of rural biomass by urban commercial energy services. This project developed a modeling tool to quantify the full energy consequences of a particular form of urban residential development in order to identify energy- and carbon-efficient modes of neighborhood-level development and help mitigate resource and environmental implications of swelling cities. LBNL developed an integrated modeling tool that combines process-based lifecycle assessment with agent-based building operational energy use, personal transport, and consumption modeling. The lifecycle assessment approach was used to quantify energy and carbon emissions embodied in building materials production, construction, maintenance, and demolition. To provide more comprehensive analysis, LBNL developed an agent-based model as described below. The model was applied to LuJing, a residential development in Jinan, Shandong Province, to provide a case study and model proof of concept. This study produced results data that are unique by virtue of their scale, scope and type. Whereas most existing literature focuses on building-, city-, or national-level analysis, this study covers multi-building neighborhood-scale development. Likewise, while most existing studies focus exclusively on building operational energy use, this study also includes embodied energy related to personal consumption and buildings. Within the boundaries of this analysis, food is the single largest category of the building energy footprint, accounting for 23% of the total. On a policy level, the LCA approach can be useful for quantifying the energy and environmental benefits of longer average building lifespans. In addition to prospective analysis for standards and certification, urban form modeling can also be useful in calculating or verifying ex post facto, bottom-up carbon emissions inventories. Emissions inventories provide a benchmark for evaluating future outcomes and scenarios as well as an empirical basis for valuing low-carbon technologies. By highlighting the embodied energy and emissions of building materials, the LCA approach can also be used to identify the most intensive aspects of industrial production and the supply chain. The agent based modeling aspect of the model can be useful for understanding how policy incentives can impact individual behavior and the aggregate effects thereof. The most useful elaboration of the urban form assessment model would be to further generalize it for comparative analysis. Scenario analysis could be used for benchmarking and identification of policy priorities. If the model is to be used for inventories, it is important to disaggregate the energy use data for more accurate emissions modeling. Depending on the policy integration of the model, it may be useful to incorporate occupancy data for per-capita results. On the question of density and efficiency, it may also be useful to integrate a more explicit spatial scaling mechanism for modeling neighborhood and city-level energy use and emissions, i.e. to account for scaling effects in public infrastructure and transportation.

Aden, Nathaniel; Qin, Yining; Fridley, David

2010-12-15T23:59:59.000Z

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


181

Urban Form Energy Use and Emissions in China: Preliminary Findings and Model Proof of Concept  

SciTech Connect

Urbanization is reshaping China's economy, society, and energy system. Between 1990 and 2008 China added more than 300 million new urban residents, bringing the total urbanization rate to 46%. The ongoing population shift is spurring energy demand for new construction, as well as additional residential use with the replacement of rural biomass by urban commercial energy services. This project developed a modeling tool to quantify the full energy consequences of a particular form of urban residential development in order to identify energy- and carbon-efficient modes of neighborhood-level development and help mitigate resource and environmental implications of swelling cities. LBNL developed an integrated modeling tool that combines process-based lifecycle assessment with agent-based building operational energy use, personal transport, and consumption modeling. The lifecycle assessment approach was used to quantify energy and carbon emissions embodied in building materials production, construction, maintenance, and demolition. To provide more comprehensive analysis, LBNL developed an agent-based model as described below. The model was applied to LuJing, a residential development in Jinan, Shandong Province, to provide a case study and model proof of concept. This study produced results data that are unique by virtue of their scale, scope and type. Whereas most existing literature focuses on building-, city-, or national-level analysis, this study covers multi-building neighborhood-scale development. Likewise, while most existing studies focus exclusively on building operational energy use, this study also includes embodied energy related to personal consumption and buildings. Within the boundaries of this analysis, food is the single largest category of the building energy footprint, accounting for 23% of the total. On a policy level, the LCA approach can be useful for quantifying the energy and environmental benefits of longer average building lifespans. In addition to prospective analysis for standards and certification, urban form modeling can also be useful in calculating or verifying ex post facto, bottom-up carbon emissions inventories. Emissions inventories provide a benchmark for evaluating future outcomes and scenarios as well as an empirical basis for valuing low-carbon technologies. By highlighting the embodied energy and emissions of building materials, the LCA approach can also be used to identify the most intensive aspects of industrial production and the supply chain. The agent based modeling aspect of the model can be useful for understanding how policy incentives can impact individual behavior and the aggregate effects thereof. The most useful elaboration of the urban form assessment model would be to further generalize it for comparative analysis. Scenario analysis could be used for benchmarking and identification of policy priorities. If the model is to be used for inventories, it is important to disaggregate the energy use data for more accurate emissions modeling. Depending on the policy integration of the model, it may be useful to incorporate occupancy data for per-capita results. On the question of density and efficiency, it may also be useful to integrate a more explicit spatial scaling mechanism for modeling neighborhood and city-level energy use and emissions, i.e. to account for scaling effects in public infrastructure and transportation.

Aden, Nathaniel; Qin, Yining; Fridley, David

2010-12-15T23:59:59.000Z

182

Range conditions for a spherical mean transform and global extension of solutions of Darboux equation  

E-Print Network (OSTI)

The transform under study is defined by integration of functions over spheres centered on a sphere. Such transform is of interest due to its applications in analysis and (thermoacoustic) tomography. The range of this transform has been described recently. Besides natural smoothness and support conditions, two type of conditions were involved: orthogonality condition and, in even dimension, moment condition. However, the moment condition was later derived from the other ones, which implies that orthogonality condition completely characterizes the range. We present a direct proof of this fact by proving existence of global extension for solutions of a certain boundary value problem for Darboux equation, associated with the spherical means. This extendibility phenomenon seems to be of independent interest.

Mark Agranovsky; Linh V. Nguyen

2009-04-27T23:59:59.000Z

183

Optimal Estimation of the Climatological Mean  

Science Conference Proceedings (OSTI)

This paper shows theoretically and with examples that climatological means derived from spectral methods predict independent data with less error than climatological means derived from simple averaging. Herein, “spectral methods” indicates a ...

Balachandrudu Narapusetty; Timothy DelSole; Michael K. Tippett

2009-09-01T23:59:59.000Z

184

Defining and Estimating Global Mean Temperature Anomalies  

Science Conference Proceedings (OSTI)

Methods used to quantify temperature changes of the earth must he assessed relative to an appropriate definition of global mean temperature. In this paper, global mean temperature is defined and the adequacy of using weighted average anomalies to ...

Richard F. Gunst; Sabyasachi Basu; Robert Brunell

1993-07-01T23:59:59.000Z

185

ENERGY CONSERVATION AND GRAVITY WAVES IN SOUND-PROOF TREATMENTS OF STELLAR INTERIORS. PART I. ANELASTIC APPROXIMATIONS  

Science Conference Proceedings (OSTI)

Typical flows in stellar interiors are much slower than the speed of sound. To follow the slow evolution of subsonic motions, various sound-proof equations are in wide use, particularly in stellar astrophysical fluid dynamics. These low-Mach number equations include the anelastic equations. Generally, these equations are valid in nearly adiabatically stratified regions like stellar convection zones, but may not be valid in the sub-adiabatic, stably stratified stellar radiative interiors. Understanding the coupling between the convection zone and the radiative interior is a problem of crucial interest and may have strong implications for solar and stellar dynamo theories as the interface between the two, called the tachocline in the Sun, plays a crucial role in many solar dynamo theories. Here, we study the properties of gravity waves in stably stratified atmospheres. In particular, we explore how gravity waves are handled in various sound-proof equations. We find that some anelastic treatments fail to conserve energy in stably stratified atmospheres, instead conserving pseudo-energies that depend on the stratification, and we demonstrate this numerically. One anelastic equation set does conserve energy in all atmospheres and we provide recommendations for converting low-Mach number anelastic codes to this set of equations.

Brown, Benjamin P.; Zweibel, Ellen G. [Department of Astronomy, University of Wisconsin, Madison, WI 53706-1582 (United States); Vasil, Geoffrey M., E-mail: bpbrown@astro.wisc.edu [Canadian Institute for Theoretical Astrophysics, University of Toronto, 60 St. George Street, Toronto, ON M5S 3H8 (Canada)

2012-09-10T23:59:59.000Z

186

Mean field approach for tracking similar objects  

Science Conference Proceedings (OSTI)

In this paper, we consider the problem of tracking similar objects. We show how a mean field approach can be used to deal with interacting targets and we compare it with Markov Chain Monte Carlo (MCMC). Two mean field implementations are presented. The ... Keywords: Kalman filter, Mean field, Multi-target tracking, Particle filter

C. Medrano; J. E. Herrero; J. Martínez; C. Orrite

2009-08-01T23:59:59.000Z

187

Proof of concept of a magnetically coupled Stirling engine-driven heat pump  

SciTech Connect

A prototype magnetically-coupled Stirling engine-driven heat pump module has been designed and fabricated by Sunpower, Inc. under sponsorship of the US Department of Energy and the Oak Ridge National Laboratory (ORNL). Preliminary testing indicates that the magnetic coupling is an effective means for transmitting power from a free-piston Stirling engine to a refrigerant compressor. Compared with other power transmission concepts, the magnetic coupling has relatively low cost, and will help make commercial development of Stirling-driven heat pumps more likely in the future.

Shonder, J.A. (Oak Ridge National Lab., TN (United States)); Chen, Gong; McEntee, J. (Sunpower, Inc., Athens, OH (United States))

1992-01-01T23:59:59.000Z

188

Proof of concept of a magnetically coupled Stirling engine-driven heat pump  

SciTech Connect

A prototype magnetically-coupled Stirling engine-driven heat pump module has been designed and fabricated by Sunpower, Inc. under sponsorship of the US Department of Energy and the Oak Ridge National Laboratory (ORNL). Preliminary testing indicates that the magnetic coupling is an effective means for transmitting power from a free-piston Stirling engine to a refrigerant compressor. Compared with other power transmission concepts, the magnetic coupling has relatively low cost, and will help make commercial development of Stirling-driven heat pumps more likely in the future.

Shonder, J.A. [Oak Ridge National Lab., TN (United States); Chen, Gong; McEntee, J. [Sunpower, Inc., Athens, OH (United States)

1992-08-01T23:59:59.000Z

189

MEANS FOR PRODUCING PLUTONIUM CHAIN REACTIONS  

DOE Patents (OSTI)

A neutronic reactor is described with an active portion capable of operating at an energy level of 0.5 to 1000 ev comprising discrete bodies of Pu/ sup 239/ disposed in a body of water which contains not more than 5 molecules of water to one atom of plutonium, the total amount of Pu/sup 239/ being sufficient to sustain a chain reaction. (auth)

Wigner, E.P.; Weinberg, A.M.

1961-01-24T23:59:59.000Z

190

Proof of Concept of ITS as An Alternative Data Resource: A Demonstration Project of florida and New York Data  

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

7 7 Proof of Concept of ITS as An Alternative Data Resource: A Demonstration Project of Florida and New York Data Final Report September 31, 2001 Prepared for Federal Highway Administration U.S. Department of Transportation Washington, DC 20590 P. Hu R. Goeltz R. Schmoyer Center for Transportation Analysis Oak Ridge National Laboratory Oak Ridge, Tennessee 37831-6073 managed by UT-Battelle, LIC for the U.S. DEPARTMENT OF ENERGY under contract DE-AC05-00OR22725 This report has been reproduced directly from the best available copy. Available to DOE and DOE contractors from the Office of Scientific and Technical Information, P. O. Box 62, Oak Ridge, TN 37831; prices available from (615) 576-8401. Available to the public from the National Technical Information Service, U.S. Department of Commerce, 5285 Port Royal Rd.,

191

Catalytic conversion of light alkanes-proof-of-concept stage -- Phase 6. Final report, February 1--October 31, 1994  

DOE Green Energy (OSTI)

During the course of the first three years of the Cooperative Agreement, the authors uncovered a family of metal perhaloporphyrin complexes which had unprecedented activity for the selective air-oxidation of light alkanes to alcohols. The reactivity of light hydrocarbon substrates with air or oxygen was in the order: isobutane > propane > ethane > methane, in accord with their homolytic bond dissociation energies. Isobutane was so reactive that the proof-of-concept stage of a process for producing tert-butyl alcohol from isobutane was begun (Phase 5). It was proposed that as more active catalytic systems were developed (Phases 4, 6), propane, then ethane and finally methane oxidations will move into this stage (Phases 7 through 9). As of this writing, however, the program has been terminated during the later stages of Phase 5 and 6 so that further work is not anticipated. 72 refs.

NONE

1994-12-31T23:59:59.000Z

192

Scalable k-means statistics with Titan.  

SciTech Connect

This report summarizes existing statistical engines in VTK/Titan and presents both the serial and parallel k-means statistics engines. It is a sequel to [PT08], [BPRT09], and [PT09] which studied the parallel descriptive, correlative, multi-correlative, principal component analysis, and contingency engines. The ease of use of the new parallel k-means engine is illustrated by the means of C++ code snippets and algorithm verification is provided. This report justifies the design of the statistics engines with parallel scalability in mind, and provides scalability and speed-up analysis results for the k-means engine.

Thompson, David C.; Bennett, Janine C.; Pebay, Philippe Pierre

2009-11-01T23:59:59.000Z

193

Development and proof-testing of advanced absorption refrigeration cycle concepts. Report on Phases 1 and 1A  

SciTech Connect

The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.

Modahl, R.J.; Hayes, F.C. [Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.

1992-03-01T23:59:59.000Z

194

Multiple Risks and Mean-Variance Preferences  

Science Conference Proceedings (OSTI)

We analyze comparative static effects under uncertainty when a decision maker has mean-variance preferences and faces a generic, quasi-linear decision problem with both an endogenous risk and a background risk. In terms of mean-variance preferences, ... Keywords: decision analysis, risk

Thomas Eichner; Andreas Wagener

2009-09-01T23:59:59.000Z

195

Contaminated Variance-Mean mixing model  

Science Conference Proceedings (OSTI)

The Generalised Normal Variance-Mean (GNVM) model in which the mixing random variable is Gamma distributed is considered. This model generalises the popular Variance-Gamma (VG) distribution. This GNVM model can be interpreted as the addition of noise ... Keywords: DIC, JAGS, Maximum likelihood estimation, Mixing representation, Normal Variance-Mean distribution, Variance-Gamma distribution

Thomas Fung, Joanna J. J. Wang, Eugene Seneta

2013-11-01T23:59:59.000Z

196

Assessing Power Quality Levels from a Limited Set of Monitoring Data: Methodology and Proof of Concept for Sag Transformation Modeli ng  

Science Conference Proceedings (OSTI)

With the increased sensitivity of power electronic and digital automation systems to momentary interruptions, voltage sags, transients, and harmonics, characterization of power quality levels has become extremely important. This report describes the proof-of-concept for a voltage sag transformation method and its verification based on field data and simulations using the Electromagnetic Transients Program (TM) (EMTP (TM)).

2001-11-08T23:59:59.000Z

197

ANDERSON-TEIXEIRA FINAL PROOF.DOCX (DO NOT DELETE) 3/7/2011 9:29 AM DO BIOFUELS LIFE CYCLE  

E-Print Network (OSTI)

ANDERSON-TEIXEIRA FINAL PROOF.DOCX (DO NOT DELETE) 3/7/2011 9:29 AM 589 DO BIOFUELS LIFE CYCLE ANALYSES ACCURATELY QUANTIFY THE CLIMATE IMPACTS OF BIOFUELS-RELATED LAND USE CHANGE? Kristina J. Anderson in determining the sustainability of biofuels. To ensure that legal standards are effective in limiting climate

DeLucia, Evan H.

198

Property:MeanCapacity | Open Energy Information  

Open Energy Info (EERE)

MeanCapacity MeanCapacity Jump to: navigation, search Property Name MeanCapacity Property Type Quantity Description Mean capacity potential at location based on the USGS 2008 Geothermal Resource Assessment if the United States Use this property to express potential electric energy generation, such as Nameplate Capacity. The default unit is megawatts (MW). For spatial capacity, use property Volume. Acceptable units (and their conversions) are: 1 MW,MWe,megawatt,Megawatt,MegaWatt,MEGAWATT,megawatts,Megawatt,MegaWatts,MEGAWATT,MEGAWATTS 1000 kW,kWe,KW,kilowatt,KiloWatt,KILOWATT,kilowatts,KiloWatts,KILOWATT,KILOWATTS 1000000 W,We,watt,watts,Watt,Watts,WATT,WATTS 1000000000 mW,milliwatt,milliwatts,MILLIWATT,MILLIWATTS 0.001 GW,gigawatt,gigawatts,Gigawatt,Gigawatts,GigaWatt,GigaWatts,GIGAWATT,GIGAWATTS

199

Mean Radar Echo Characteristics during Project GALE  

Science Conference Proceedings (OSTI)

The mean radar echo characteristics during the Genesis of Atlantic Lows Experiment (GALE) are presented for the southeastern United States during the 15 January–15 March 1986 field phase of the program. The echo characteristics were derived from ...

Thomas J. Trunk; Lance F. Bosart

1990-02-01T23:59:59.000Z

200

Marine Stratocumulus Layers. Part 1: Mean Conditions  

Science Conference Proceedings (OSTI)

The mean radiational, dynamical and thermodynamical structure of the marine stratocumulus-topped mixed layers of the California coast is described for two days in June 1976 using data from the NCAR Electra aircraft. We suggest that the synoptic ...

R. A. Brost; D. H. Lenschow; J. C. Wyngaard

1982-04-01T23:59:59.000Z

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


201

A Stochastic Maximum Principle for a Stochastic Differential Game of a Mean-Field Type  

Science Conference Proceedings (OSTI)

We construct a stochastic maximum principle (SMP) which provides necessary conditions for the existence of Nash equilibria in a certain form of N-agent stochastic differential game (SDG) of a mean-field type. The information structure considered for the SDG is of a possible asymmetric and partial type. To prove our SMP we take an approach based on spike-variations and adjoint representation techniques, analogous to that of S. Peng (SIAM J. Control Optim. 28(4):966-979, 1990) in the optimal stochastic control context. In our proof we apply adjoint representation procedures at three points. The first-order adjoint processes are defined as solutions to certain mean-field backward stochastic differential equations, and second-order adjoint processes of a first type are defined as solutions to certain backward stochastic differential equations. Second-order adjoint processes of a second type are defined as solutions of certain backward stochastic equations of a type that we introduce in this paper, and which we term conditional mean-field backward stochastic differential equations. From the resulting representations, we show that the terms relating to these second-order adjoint processes of the second type are of an order such that they do not appear in our final SMP equations. A comparable situation exists in an article by R. Buckdahn, B. Djehiche, and J. Li (Appl. Math. Optim. 64(2):197-216, 2011) that constructs a SMP for a mean-field type optimal stochastic control problem; however, the approach we take of using these second-order adjoint processes of a second type to deal with the type of terms that we refer to as the second form of quadratic-type terms represents an alternative to a development, to our setting, of the approach used in their article for their analogous type of term.

Hosking, John Joseph Absalom, E-mail: j.j.a.hosking@cma.uio.no [University of Oslo, Centre of Mathematics for Applications (CMA) (Norway)

2012-12-15T23:59:59.000Z

202

Will Moore's Law Be Sufficient?  

Science Conference Proceedings (OSTI)

It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed that Mooreýs Law will make progressively more powerful supercomputers ...

Erik P. DeBenedictis

2004-11-01T23:59:59.000Z

203

ENERGY CONSERVATION AND GRAVITY WAVES IN SOUND-PROOF TREATMENTS OF STELLAR INTERIORS. II. LAGRANGIAN CONSTRAINED ANALYSIS  

Science Conference Proceedings (OSTI)

The speed of sound greatly exceeds typical flow velocities in many stellar and planetary interiors. To follow the slow evolution of subsonic motions, various sound-proof models attempt to remove fast acoustic waves while retaining stratified convection and buoyancy dynamics. In astrophysics, anelastic models typically receive the most attention in the class of sound-filtered stratified models. Generally, anelastic models remain valid in nearly adiabatically stratified regions like stellar convection zones, but may break down in strongly sub-adiabatic, stably stratified layers common in stellar radiative zones. However, studying stellar rotation, circulation, and dynamos requires understanding the complex coupling between convection and radiative zones, and this requires robust equations valid in both regimes. Here we extend the analysis of equation sets begun in Brown et al., which studied anelastic models, to two types of pseudo-incompressible models. This class of models has received attention in atmospheric applications, and more recently in studies of white-dwarf supernova progenitors. We demonstrate that one model conserves energy but the other does not. We use Lagrangian variational methods to extend the energy conserving model to a general equation of state, and dub the resulting equation set the generalized pseudo-incompressible (GPI) model. We show that the GPI equations suitably capture low-frequency phenomena in both convection and radiative zones in stars and other stratified systems, and we provide recommendations for converting low-Mach number codes to this equation set.

Vasil, Geoffrey M.; Lecoanet, Daniel [Department of Astronomy and Theoretical Astrophysics Center, University of California Berkeley, Berkeley, CA 94720 (United States); Brown, Benjamin P.; Zweibel, Ellen G. [Department of Astronomy, University of Wisconsin, Madison, WI 53706-1582 (United States); Wood, Toby S., E-mail: vasil@cita.utoronto.ca [Department of Applied Mathematics and Statistics, Baskin School of Engineering, University of California, Santa Cruz, CA (United States)

2013-08-20T23:59:59.000Z

204

Proof-of-Concept Assessment of a Photofission-Based Interrogation System for the Detection of Shielded Nuclear Material  

SciTech Connect

A photonuclear interrogation method was experimentally assessed for the detection of shielded nuclear materials. Proof-of-Concept assessment was performed at the Los Alamos National Laboratory (LANL) TA-18 facility and used the INEEL VARITRON electron accelerator. Experiments were performed to assess and characterize the delayed neutron emission responses for different nuclear materials with various shield configurations using three ''nominal'' electron beam energies; 8-, 10-, and 11-MeV. With the exception of highly enriched uranium (HEU), the nuclear materials assessed represent material types commonly encountered in commerce. The specific nuclear materials studied include a solid 4.8-kg HEU sphere, a 5-kg multiple-object, depleted uranium (DU) [uranium with about 0.2% enrichment with U-235] target, and two 11-kg thorium disks. The shield materials selected include polyethylene, borated-polyethylene, and lead. Experimental results, supported with numerical predictions, have shown that the photonuclear interrogation technique is quite capable of detecting shielded nuclear material via the direct measurement of the photofission-induced delayed neutron emissions. To identify or discriminate between nuclear material types (i.e., depleted uranium, HEU, and thorium), a ratio of delayed neutron counts at two different beam energies is utilized. This latter method, referred to as the dual-beam energy ratio Figure-of-Merit, allows one to differentiate among the three nuclear material types.

Jones, J. L.; Yoon, W. Y.; Harker, Y. D.; Hoggan, J. M.; Haskell, K. J.; VanAusdeln, L. A.

2000-11-01T23:59:59.000Z

205

economic means to permanently store CO  

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

economic means to permanently store CO economic means to permanently store CO 2 in unmineable coal seams. Prior to the injection, horizontal coalbed methane (CBM) wells were drilled approximately 1,200 to 1,800 feet underground in a five-spot pattern over a 200-acre area in the unmineable Upper Freeport coal seam. As part of this $13 million field trial, which is being conducted under the collaboration of the National Energy Technology Laboratory (NETL), West Virginia University, and CONSOL Energy, Inc., CO 2 will be injected at a pressure of up to 700 pounds per square inch (psi)

206

Molecular mean field theory for liquid water  

E-Print Network (OSTI)

Attractive bonding interactions between molecules typically have inherent conservation laws which influence the statistical properties of such systems in terms of corresponding sum rules. We considered lattice water as an example and enunciated the consequences of the sum rule through a general computational procedure called "Molecular mean field" theory. Fluctuations about mean field are computed and many of the liquid properties have been deduced and compared with Monte Carlo simulation, molecular dynamics and experimental results. Large correlation lengths are seen to be a consequence of the sum rule in liquid phase. Long range Coulomb interactions are shown to have minor effects on our results.

Jampa Maruthi Pradeep Kanth; Ramesh Anishetty

2010-04-09T23:59:59.000Z

207

Illumination Sufficiency Survey Techniques: In-situ Measurements of Lighting System Performance and a User Preference Survey for Illuminance in an Off-Grid, African Setting  

Science Conference Proceedings (OSTI)

Efforts to promote rechargeable electric lighting as a replacement for fuel-based light sources in developing countries are typically predicated on the notion that lighting service levels can be maintained or improved while reducing the costs and environmental impacts of existing practices. However, the extremely low incomes of those who depend on fuel-based lighting create a need to balance the hypothetically possible or desirable levels of light with those that are sufficient and affordable. In a pilot study of four night vendors in Kenya, we document a field technique we developed to simultaneously measure the effectiveness of lighting service provided by a lighting system and conduct a survey of lighting service demand by end-users. We took gridded illuminance measurements across each vendor's working and selling area, with users indicating the sufficiency of light at each point. User light sources included a mix of kerosene-fueled hurricane lanterns, pressure lamps, and LED lanterns.We observed illuminance levels ranging from just above zero to 150 lux. The LED systems markedly improved the lighting service levels over those provided by kerosene-fueled hurricane lanterns. Users reported that the minimum acceptable threshold was about 2 lux. The results also indicated that the LED lamps in use by the subjects did not always provide sufficient illumination over the desired retail areas. Our sample size is much too small, however, to reach any conclusions about requirements in the broader population. Given the small number of subjects and very specific type of user, our results should be regarded as indicative rather than conclusive. We recommend replicating the method at larger scales and across a variety of user types and contexts. Policymakers should revisit the subject of recommended illuminance levels regularly as LED technology advances and the price/service balance point evolves.

Alstone, Peter; Jacobson, Arne; Mills, Evan

2010-08-26T23:59:59.000Z

208

CONTROL MEANS FOR A NUCLEAR REACTOR  

DOE Patents (OSTI)

A control means is described for a reactor which employs a liquid fuel consisting of a fissile isotope in a liquid bismuth solvent. The liquid fuel is contained in a plurality of tubular vessels. Control is effected by inserting plungers in the vessels to displace the liquid fuel and provide a critical or non- critical fuel configuration as desired.

Teitel, R.J.

1961-09-01T23:59:59.000Z

209

Monitoring Global Monthly Mean Surface Temperatures  

Science Conference Proceedings (OSTI)

An assessment is made of how well the monthly mean surface temperatures for the decade of the 1980s are known. The sources of noise in the data, the numbers of observations, and the spatial coverage are appraised for comparison with the climate ...

Kevin E. Trenberth; John R. Christy; James W. Hurrell

1992-12-01T23:59:59.000Z

210

State-space least mean square  

Science Conference Proceedings (OSTI)

In this paper, we present a generalized form of the well-known least mean square (LMS) filter. The proposed filter incorporates linear time-varying state-space model of the underlying environment and hence is termed as state-space LMS (SSLMS). This attribute ... Keywords: Adaptive filtering, SSLMS, State-space LMS, Tracking

Mohammad Bilal Malik; Muhammad Salman

2008-05-01T23:59:59.000Z

211

Earth's Annual Global Mean Energy Budget  

Science Conference Proceedings (OSTI)

The purpose of this paper is to put forward a new estimate, in the context of previous assessments, of the annual global mean energy budget. A description is provided of the source of each component to this budget. The top-of-atmosphere shortwave ...

J. T. Kiehl; Kevin E. Trenberth

1997-02-01T23:59:59.000Z

212

Means and method for vapor generation  

DOE Patents (OSTI)

A liquid, in heat transfer contact with a surface heated to a temperature well above the vaporization temperature of the liquid, will undergo a multiphase (liquid-vapor) transformation from 0% vapor to 100% vapor. During this transition, the temperature driving force or heat flux and the coefficients of heat transfer across the fluid-solid interface, and the vapor percentage influence the type of heating of the fluid--starting as "feedwater" heating where no vapors are present, progressing to "nucleate" heating where vaporization begins and some vapors are present, and concluding with "film" heating where only vapors are present. Unstable heating between nucleate and film heating can occur, accompanied by possibly large and rapid temperature shifts in the structures. This invention provides for injecting into the region of potential unstable heating and proximate the heated surface superheated vapors in sufficient quantities operable to rapidly increase the vapor percentage of the multiphase mixture by perhaps 10-30% and thereby effectively shift the multiphase mixture beyond the unstable heating region and up to the stable film heating region.

Carlson, Larry W. (Oswego, IL)

1984-01-01T23:59:59.000Z

213

A "Proof-of-Concept" Demonstration of RF-Based Technologies for UF6 Cylinder Tracking at Centrifuge Enrichment Plant  

SciTech Connect

This effort describes how radio-frequency (RF) technology can be integrated into a uranium enrichment facility's nuclear materials accounting and control program to enhance uranium hexafluoride (UF6) cylinder tracking and thus provide benefits to both domestic and international safeguards. Approved industry-standard cylinders are used to handle and store UF6 feed, product, tails, and samples at uranium enrichment plants. In the international arena, the International Atomic Energy Agency (IAEA) relies on time-consuming manual cylinder inventory and tracking techniques to verify operator declarations and to detect potential diversion of UF6. Development of a reliable, automated, and tamper-resistant process for tracking and monitoring UF6 cylinders would greatly reduce the risk of false or misreported cylinder tare weights, diversion of nuclear material, concealment of excess production, utilization of undeclared cylinders, and misrepresentation of the cylinders contents. This paper will describe a "proof-of concept" system that was designed show the feasibility of using RF based technologies to track individual UF6 cylinders throughout their entire life cycle, and thus ensure both increased domestic accountability of materials and a more effective and efficient method for application of IAEA international safeguards at the site level. The proposed system incorporates RF-based identification devices, which provide a mechanism for a reliable, automated, and tamper-resistant tracking network. We explore how securely attached RF tags can be integrated with other safeguards technologies to better detect diversion of cylinders. The tracking system could also provide a foundation for integration of other types of safeguards that would further enhance detection of undeclared activities.

Pickett, Chris A [ORNL; Younkin, James R [ORNL; Kovacic, Donald N [ORNL; Dixon, E. T. [Los Alamos National Laboratory (LANL); Martinez, B. [Los Alamos National Laboratory (LANL)

2007-01-01T23:59:59.000Z

214

Superheavy Nuclei: Relativistic Mean Field Outlook  

E-Print Network (OSTI)

The analysis of quasiparticle spectra in heaviest $A\\sim 250$ nuclei with spectroscopic data provides an additional constraint for the choice of effective interaction for the description of superheavy nuclei. It strongly suggest that only the parametrizations of the relativistic mean field Lagrangian which predict Z=120 and N=172 as shell closures are reliable for superheavy nuclei. The influence of the central depression in the density distribution of spherical superheavy nuclei on the shell structure is studied. Large central depression produces large shell gaps at Z=120 and N=172. The shell gaps at Z=126 and N=184 are favored by a flat density distribution in the central part of nucleus. It is shown that approximate particle number projection (PNP) by means of the Lipkin-Nogami method removes pairing collapse seen at these gaps in the calculations without PNP.

A. V. Afanasjev

2006-12-20T23:59:59.000Z

215

1/N versus Mean-Variance  

E-Print Network (OSTI)

for the mean-variance 1 It has been known since Mandelbrot (1963) that the return distributions of financial assets are fat tailed relative to the normal distribution (leptokurtic) and have more extreme... the expected utility of 1/N with the classical unconstrained expected utility. This portfolio rule tends to generate heavily leveraged portfolios with non-unit net exposure rendering any comparison with the 1/N rule questionable. We incorporate a budget...

Allen, David; Lizieri, Colin; Satchell, Stephen

2012-10-19T23:59:59.000Z

216

Mean estimation in highly skewed samples  

Science Conference Proceedings (OSTI)

The problem of inference for the mean of a highly asymmetric distribution is considered. Even with large sample sizes, usual asymptotics based on normal theory give poor answers, as the right-hand tail of the distribution is often under-sampled. This paper attempts to improve performance in two ways. First, modifications of the standard confidence interval procedure are examined. Second, diagnostics are proposed to indicate whether or not inferential procedures are likely to be valid. The problems are illustrated with data simulated from an absolute value Cauchy distribution. 4 refs., 2 figs., 1 tab.

Pederson, S.P.

1991-09-01T23:59:59.000Z

217

VACUUM SEALING MEANS FOR LOW VACUUM PRESSURES  

DOE Patents (OSTI)

S>A vacuum seal is designed in which the surface tension of a thin layer of liquid metal of low vapor pressure cooperates with adjacent surfaces to preclude passages of gases across pressure differentials as low as 10/sup -8/ mm Hg. Mating contiguous surfaces composed of copper, brass, stainless steel, nickel, molybdenum, tungsten, tantalum, glass, quartz, and/or synthetic mica are disposed to provide a maximum tolerance, D, expressed by 2 gamma /P/sub 1/, where gamma is the coefflcient of the surface tension of the metal sealant selected in dynes/cm/sub 2/. Means for heating the surfaces remotely is provided where temperatures drop below about 250 deg C. A sealant consisting of an alloy of gallium, indium, and tin, among other combinations tabulated, is disposed therebetween after treating the surfaces to improve wettability, as by ultrasonic vibrations, the surfaces and sealants being selected according to the anticipated experimental conditions of use. (AEC)

Milleron, N.

1962-06-12T23:59:59.000Z

218

Gas supplemented solar collector storage means  

SciTech Connect

The gas supplemented solar collector storage means includes a water tank having supply and return connections for circulating water from the tank to a solar collector and back to the tank. A combustion chamber having top and side openings is disposed within the upper half portion of the tank and connects respectively to an upwardly extending flue pipe and an inlet side cylinder to provide an air and gas passage through the upper half of the tank in heat exchange relationship with water. A gas burner is receivable in the combustion chamber and is operated by a thermostat to provide heat to the water only in the event that the solar heating of the water is insufficient to maintain the water above a minimum temperature.

Bressickello, L.J.; Moore, H.J.

1982-05-11T23:59:59.000Z

219

M.: Data Without Meaning: Establishing the Significant  

E-Print Network (OSTI)

It is well recognised that the time period in which digital research may remain accessible is likely to be short in comparison to the period in which it will have intellectual value. Although many digital preservation strategies are effective for simple resources, it is not always possible to confirm that all of the significant properties – the characteristics that contribute to the intended meaning – have been maintained when stored in different formats and software environments. The paper outlines methodologies being developed by InterPARES, PLANETS and other projects in the international research community to support the decision-making process and highlights the work of four recent JISC-funded studies to specify the significant properties of vector images, moving images, software and learning objects.

Gareth Knight; Maureen Pennock

2008-01-01T23:59:59.000Z

220

Passive heat transfer means for nuclear reactors  

DOE Patents (OSTI)

An improved passive cooling arrangement is disclosed for maintaining adjacent or related components of a nuclear reactor within specified temperature differences. Specifically, heat pipes are operatively interposed between the components, with the vaporizing section of the heat pipe proximate the hot component operable to cool it and the primary condensing section of the heat pipe proximate the other and cooler component operable to heat it. Each heat pipe further has a secondary condensing section that is located outwardly beyond the reactor confinement and in a secondary heat sink, such as air ambient the containment, that is cooler than the other reactor component. Means such as shrouding normally isolated the secondary condensing section from effective heat transfer with the heat sink, but a sensor responds to overheat conditions of the reactor to open the shrouding, which thereby increases the cooling capacity of the heat pipe. By having many such heat pipes, an emergency passive cooling system is defined that is operative without electrical power.

Burelbach, James P. (Glen Ellyn, IL)

1984-01-01T23:59:59.000Z

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


221

Optimization of the Mode of the Uranium-233 Accumulation for Application in Thorium Self-Sufficient Fuel Cycle of Candu Power Reactor  

SciTech Connect

Results of calculation studies of the first stage of self-sufficient thorium cycle for CANDU reactor are presented in the paper. The first stage is preliminary accumulation of {sup 233}U in the CANDU reactor itself. Parameters of active core and scheme of fuel reloading were accepted the same as those for CANDU reactor. It was assumed for calculations, that enriched {sup 235}U or plutonium was used as additional fissile material to provide neutrons for {sup 233}U production. Parameters of 10 different variants of the elementary cell of active core were calculated for the lattice pitch, geometry of fuel channels, and fuel assembly of the CANDU reactor. The results presented in the paper allow to determine the time of accumulation of the required amount of {sup 233}U and corresponding number of targets going into processing for {sup 233}U extraction. Optimum ratio of the accumulation time to number of processed targets can be determined using the cost of electric power produced by the reactor and cost of targets along with their processing. (authors)

Bergelson, Boris; Gerasimov, Alexander [Institute of Theoretical and Experimental Physics, B. Cheremushkinskaya 25, 117259 Moscow (Russian Federation); Tikhomirov, Georgy [Moscow Engineering Physics Institute, Kashirskoe Shosse 31, Moscow (Russian Federation)

2006-07-01T23:59:59.000Z

222

Host cell killing by the West Nile Virus NS2B-NS3 proteolytic complex: NS3 alone is sufficient to recruit caspase-8-based apoptotic pathway  

Science Conference Proceedings (OSTI)

The West Nile Virus (WNV) non-structural proteins 2B and 3 (NS2B-NS3) constitute the proteolytic complex that mediates the cleavage and processing of the viral polyprotein. NS3 recruits NS2B and NS5 proteins to direct protease and replication activities. In an effort to investigate the biology of the viral protease, we cloned cDNA encoding the NS2B-NS3 proteolytic complex from brain tissue of a WNV-infected dead crow, collected from the Lower Merion area (Merion strain). Expression of the NS2B-NS3 gene cassette induced apoptosis within 48 h of transfection. Electron microscopic analysis of NS2B-NS3-transfected cells revealed ultra-structural changes that are typical of apoptotic cells including membrane blebbing, nuclear disintegration and cytoplasmic vacuolations. The role of NS3 or NS2B in contributing to host cell apoptosis was examined. NS3 alone triggers the apoptotic pathways involving caspases-8 and -3. Experimental results from the use of caspase-specific inhibitors and caspase-8 siRNA demonstrated that the activation of caspase-8 was essential to initiate apoptotic signaling in NS3-expressing cells. Downstream of caspase-3 activation, we observed nuclear membrane ruptures and cleavage of the DNA-repair enzyme, PARP in NS3-expressing cells. Nuclear herniations due to NS3 expression were absent in the cells treated with a caspase-3 inhibitor. Expression of protease and helicase domains themselves was sufficient to trigger apoptosis generating insight into the apoptotic pathways triggered by NS3 from WNV.

Ramanathan, Mathura P. [Department of Pathology and Laboratory Medicine, 422 Curie Blvd., 505 Stellar-Chance Laboratories, University of Pennsylvania School of Medicine, Philadelphia, PA 19104 (United States); Chambers, Jerome A. [Department of Pathology and Laboratory Medicine, 422 Curie Blvd., 505 Stellar-Chance Laboratories, University of Pennsylvania School of Medicine, Philadelphia, PA 19104 (United States); Pankhong, Panyupa [Department of Clinical Chemistry, Faculty of Medical Technology, Mahidol University, Bangkok 10700 (Thailand); Chattergoon, Michael [Department of Pathology and Laboratory Medicine, 422 Curie Blvd., 505 Stellar-Chance Laboratories, University of Pennsylvania School of Medicine, Philadelphia, PA 19104 (United States); Attatippaholkun, Watcharee [Department of Clinical Chemistry, Faculty of Medical Technology, Mahidol University, Bangkok 10700 (Thailand); Dang, Kesen [Department of Pathology and Laboratory Medicine, 422 Curie Blvd., 505 Stellar-Chance Laboratories, University of Pennsylvania School of Medicine, Philadelphia, PA 19104 (United States); Shah, Neelima [Department of Pathology and Laboratory Medicine, 422 Curie Blvd., 505 Stellar-Chance Laboratories, University of Pennsylvania School of Medicine, Philadelphia, PA 19104 (United States); Weiner, David B. [Department of Pathology and Laboratory Medicine, 422 Curie Blvd., 505 Stellar-Chance Laboratories, University of Pennsylvania School of Medicine, Philadelphia, PA 19104 (United States)]. E-mail: dbweiner@mail.med.upenn.edu

2006-02-05T23:59:59.000Z

223

Indefinite kernel fuzzy c-means clustering algorithms  

Science Conference Proceedings (OSTI)

This paper proposes two types of kernel fuzzy c-means algorithms with an indefinite kernel. Both algorithms are based on the fact that the relational fuzzy c-means algorithm is a special case of the kernel fuzzy c-means algorithm. ... Keywords: indefinite kernel, kernel fuzzy c-means, non-euclidean fuzzy relational clustering, non-euclidean relational fuzzy c-means

Yuchi Kanzawa; Yasunori Endo; Sadaaki Miyamoto

2010-10-01T23:59:59.000Z

224

WKBJ Approximation of the Stability of a Frontal Mean State  

Science Conference Proceedings (OSTI)

The baroclinic instability of a frontal mean state is investigated using the WKBJ approximation. The results are compared with numerical calculations performed on the same mean state. Excellent agreement (within 5%) is found for jets whose half-...

Petros Ioannou; Richard S. Lindzen

1990-12-01T23:59:59.000Z

225

TRANSFORMER FOR JOINING UNBALANCED TO BALANCED TRANSMISSION MEANS  

DOE Patents (OSTI)

An improved transformer is invented for joining an unbalanced transmission means to a balanced transmission means and is useful, for example, in transmitting an electromagnetic signal from a coaxial cable to a balanced dipole antenna.

Bittner, B.J.; Opperman, R.H.

1960-06-28T23:59:59.000Z

226

Regular Monthly Mean Temperatures of Earth's Oceans from Satellites  

Science Conference Proceedings (OSTI)

Comparisons of satellite-derived monthly mean sea surface temperature anomalies with National Marine Fisheries Service (NMFS) ship-derived monthly mean sea surface temperature anomalies over the North Pacific Ocean reveal some encouraging ...

A. E. Strong; J. A. Pritchard

1980-06-01T23:59:59.000Z

227

Influence of Zonal Mean Flow Change on Stationary Wave Fluctuations  

Science Conference Proceedings (OSTI)

The fluctuation of stationary waves caused by zonal mean flow changes is investigated using a barotropic model and GCM simulated upper-level data. The EOF analysis of monthly mean ? fluctuations during winter shows that a positive anomaly at the ...

In-Sik Kang

1990-01-01T23:59:59.000Z

228

Experimental and numerical investigation of phonon mean free path distribution  

E-Print Network (OSTI)

Knowledge of phonon mean free path (MFP) distribution is critically important to engineering size effects. Phenomenological models of phonon relaxation times can give us some sense about the mean free path distribution, ...

Zeng, Lingping

2013-01-01T23:59:59.000Z

229

Mean Flow Adjustment during Life Cycles of Baroclinic Waves  

Science Conference Proceedings (OSTI)

We use a global, primitive equation model to study the evolution of waves growing in a zonal mean state that is initially baroclinically unstable. The waves produce changes in the zonal mean state that we compare with changes predicted by ...

William J. Gutowski Jr.; Lee E. Branscome; Douglas A. Stewart

1989-06-01T23:59:59.000Z

230

Equatorial Wave-Mean Flow Interaction: The Long Rossby Waves  

Science Conference Proceedings (OSTI)

The interaction of long equatorial Rossby waves with mean zonal currents in the ocean is investigated in a continuously stratified finite difference numerical model. The model allows for realistic specification of the mean state including both ...

Jeffrey A. Proehl

1990-02-01T23:59:59.000Z

231

Over time, energy has come to mean many things to us. In physical science, energy means the ability to do work. Work means a change in position,  

E-Print Network (OSTI)

activities. The DC Program will involve students and staff in conserving energy and resources role in coordinating the program. The DC Consulting Team consists of energy and education consultantsOver time, energy has come to mean many things to us. In physical science, energy means the ability

Gunawardena, Arunika

232

Stratospheric Warmings Diagnosed Using the Transformed Eulerian-Mean Equations and the Effect of the Mean State on Wave Propagation  

Science Conference Proceedings (OSTI)

Terms in the transformed Eulerian mean equations are computed for the stratospheric warmings of December and January, 1976–77, together with cross sections showing the directions of the Eliassen-Palm (EP) fluxes and residual mean meridional ...

A. O'Neill; C. E. Youngblut

1982-06-01T23:59:59.000Z

233

Joint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof Carlos Torres-Verdn, Zhan Wu, Omar J. Varela, Mrinal K. Sen, and Indrajit G. Roy.  

E-Print Network (OSTI)

Joint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof for estimating three-dimensional (3D) reservoir parameters and initial fluid saturations jointly from pre good lateral and vertical control on lithology and fluid distributions. The proposed joint inversion

Torres-Verdín, Carlos

234

HVAC Efficiency Controls Could Mean Significant Savings | Department of  

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

HVAC Efficiency Controls Could Mean Significant Savings HVAC Efficiency Controls Could Mean Significant Savings HVAC Efficiency Controls Could Mean Significant Savings April 27, 2012 - 11:58am Addthis HVAC Efficiency Controls Could Mean Significant Savings April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this mean for me? Commercial building owners could save an average 38% on their heating & cooling bills just by installing a few new controls onto their HVAC systems. According to a new report from Pacific Northwest National Lab, commercial building owners could save an average 38 percent on their heating and cooling bills just by installing a few new controls onto their HVAC systems. These findings mean significant potential savings for building owners who use commercial rooftop systems - but there's just one problem: the

235

Sustainability in Water Resources Management: Changes in Meaning and Perception  

E-Print Network (OSTI)

Sustainability in Water Resources Management Changes inAbstract: The meaning of sustainability in the context ofwider water reuse, today sustainability must include a whole

Hermanowicz, S W

2005-01-01T23:59:59.000Z

236

Oil Markets After the Hurricanes: Reversion to the Mean or ...  

U.S. Energy Information Administration (EIA)

Oil Markets After the Hurricanes: Reversion to the Mean or Return to Recent Trend? Macroeconomic Advisers Quarterly Meeting December 2005 Oil Markets After the ...

237

Estimation of the Mean Field Bias of Radar Rainfall Estimates  

Science Conference Proceedings (OSTI)

In this paper procedures are developed for estimating the mean field bias of radar rainfall estimates. Mean field bias is modeled as a random process that varies not only from storm to storm but also over the course of a storm. State estimates of ...

James A. Smith; Witold F. Krajewski

1991-04-01T23:59:59.000Z

238

Curvature Diminution in Equatorial Wave, Mean-Flow Interaction  

Science Conference Proceedings (OSTI)

It is shown that slowly varying linear equatorial Rossby-gravity waves in a barotropically neutral mean-wind profile near the equator accelerate the mean flow in a stabilizing sense there. This indicates that the Rossby-gravity wave, believed to ...

Timothy J. Dunkerton

1982-01-01T23:59:59.000Z

239

Eddy–Mean Flow Interaction in the Kuroshio Extension Region  

Science Conference Proceedings (OSTI)

The authors use data collected by a line of tall current meter moorings deployed across the axis of the Kuroshio Extension (KE) jet at the location of maximum time-mean eddy kinetic energy to characterize the mean jet structure, the eddy ...

Stephanie Waterman; Nelson G. Hogg; Steven R. Jayne

2011-06-01T23:59:59.000Z

240

Time Scale and Feedback of Zonal-Mean-Flow Variability  

Science Conference Proceedings (OSTI)

The physical processes that determine the time scale of zonal-mean-flow variability are examined with an idealized numerical model that has a zonally symmetric lower boundary. In the part of the parameter space where the time-mean zonal flow is ...

Seok-Woo Son; Sukyoung Lee; Steven B. Feldstein; John E. Ten Hoeve

2008-03-01T23:59:59.000Z

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


241

Effects of Continental Slope on the Mean Shelf Circulation  

Science Conference Proceedings (OSTI)

Csanady's (1978) theory on the mean shelf circulation in a homogeneous ocean was re-examined by including effects of a continental slope. The results suggested that the mean southwestward flow on the Mid-Atlantic Blight is driven by an inflow ...

Dong-Ping Wang

1982-12-01T23:59:59.000Z

242

The atmospheric energy constraint on global-mean precipitation change  

Science Conference Proceedings (OSTI)

CMIP5 models robustly predict that the rate of increase in global-mean precipitation with global-mean surface temperature increase is much less than the rate of increase of water vapor. The goal of this paper is to explain in detail the mechanisms ...

Angeline G. Pendergrass; Dennis L. Hartmann

243

Fuel cell generator containing a gas sealing means  

DOE Patents (OSTI)

A high temperature solid electrolyte electrochemical generator is made, operating with flowing fuel gas and oxidant gas, the generator having a thermal insulation layer, and a sealing means contacting or contained within the insulation, where the sealing means is effective to control the contact of the various gases utilized in the generator.

Makiel, Joseph M. (Monroeville, PA)

1987-01-01T23:59:59.000Z

244

Fuel cell generator containing a gas sealing means  

DOE Patents (OSTI)

A high temperature solid electrolyte electrochemical generator is made, operating with flowing fuel gas and oxidant gas, the generator having a thermal insulation layer, and a sealing means contacting or contained within the insulation, where the sealing means is effective to control the contact of the various gases utilized in the generator. 5 figs.

Makiel, J.M.

1987-02-03T23:59:59.000Z

245

Multi-prototype vector-space models of word meaning  

Science Conference Proceedings (OSTI)

Current vector-space models of lexical semantics create a single "prototype" vector to represent the meaning of a word. However, due to lexical ambiguity, encoding word meaning with a single vector is problematic. This paper presents a method that uses ...

Joseph Reisinger; Raymond J. Mooney

2010-06-01T23:59:59.000Z

246

Transient Eddies and the Seasonal Mean Rotational Flow  

Science Conference Proceedings (OSTI)

Virtually all investigations of transient-eddy effects on the large-scale mean vorticity start from the premise that only the rotational transient motion need be considered. In this paper, the seasonal mean vorticity balance at 250 mb is examined,...

Brian J. Hoskins; Prashant D. Sardeshmukh

1987-01-01T23:59:59.000Z

247

Energy and Mean-Payoff Parity Markov Decision Processes  

E-Print Network (OSTI)

We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy parity objectives. In system design, the parity objective is used to encode \\omega-regular specifications, and the mean-payoff and energy objectives can be used to model quantitative resource constraints. The energy condition requires that the resource level never drops below 0, and the mean-payoff condition requires that the limit-average value of the resource consumption is within a threshold. While these two (energy and mean-payoff) classical conditions are equivalent for two-player games, we show that they differ for MDPs. We show that the problem of deciding whether a state is almost-sure winning (i.e., winning with probability 1) in energy parity MDPs is in NP \\cap coNP, while for mean-payoff parity MDPs, the problem is solvable in polynomial time, improving a recent PSPACE bound.

Chatterjee, Krishnendu

2011-01-01T23:59:59.000Z

248

New Efficiency Standards Mean Big Energy Savings for Consumers | Department  

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

Efficiency Standards Mean Big Energy Savings for Consumers Efficiency Standards Mean Big Energy Savings for Consumers New Efficiency Standards Mean Big Energy Savings for Consumers May 16, 2012 - 4:22pm Addthis New Efficiency Standards Mean Big Energy Savings for Consumers April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this mean for me? By 2030, energy efficiency standards passed since 2009 will save nearly $350 billion total for consumers. Energy efficiency standards for residential clothes washers and dishwashers alone will save consumers approximately $20 billion in energy and water costs through 2030. As part of the Obama Administration's energy strategy, Energy Department officials have been hard at work helping American families save money by saving energy. Since 2009, we've issued nearly 40 common-sense energy

249

Transformed Eulerian-Mean Theory. Part I: Nonquasigeostrophic Theory for Eddies on a Zonal-Mean Flow  

Science Conference Proceedings (OSTI)

A theoretical formalism for nongeostrophic eddy transport in zonal-mean flows, using a transformed Eulerian-mean (TEM) approach in z coordinates, is discussed. By using Andrews and McIntyre’s coordinate-independent definition of the “quasi-Stokes ...

R. Alan Plumb; Raffaele Ferrari

2005-02-01T23:59:59.000Z

250

The mean electromotive force due to turbulence of a conducting fluid in the presence of mean flow  

E-Print Network (OSTI)

The mean electromotive force caused by turbulence of an electrically conducting fluid, which plays a central part in mean--field electrodynamics, is calculated for a rotating fluid. Going beyond most of the investigations on this topic, an additional mean motion in the rotating frame is taken into account. One motivation for our investigation originates from a planned laboratory experiment with a Ponomarenko-like dynamo. In view of this application the second--order correlation approximation is used. The investigation is of high interest in astrophysical context, too. Some contributions to the mean electromotive are revealed which have not been considered so far, in particular contributions to the $\\alpha$--effect and related effects due to the gradient of the mean velocity. Their relevance for dynamo processes is discussed. In a forthcoming paper the results reported here will be specified to the situation in the laboratory and partially compared with experimental findings.

Karl-Heinz Readler; Rodion Stepanov

2005-12-14T23:59:59.000Z

251

Harmonic mean, the Gamma factor and Speed of Light  

E-Print Network (OSTI)

The relationship between the harmonic mean and special relativity is concisely elucidated. The arguments in favor and against SRT are explored. It is shown that the ratio of the speed of light to the harmonic mean of the onward and return speeds of light in a moving frame under Newtonian mechanics, when equitably distributed between space and time as a correction, leads to the Lorentz transformation. This correction implies an apparent contraction of objects and time dilation. However, the symmetry of the onward and inverse transformations give a different meaning to the gamma factor

Chandru Iyer

2008-11-05T23:59:59.000Z

252

Land Surface Controls on Hydroclimatic Means and Variability  

Science Conference Proceedings (OSTI)

Hydroclimatic means and variability are determined in large part by the control of soil moisture on surface moisture fluxes, particularly evapotranspiration and runoff. This control is examined here using a simple water balance model and ...

Randal D. Koster; Sarith P. P. Mahanama

2012-10-01T23:59:59.000Z

253

Imminence and immanence : embodied meaning in architectural experience  

E-Print Network (OSTI)

This thesis is an investigation of the natural or bodily-based meaning of architecture, understood in terms of the inherent qualities and relationships that arise out of movement within built environment, and based in a ...

Evans, J. Chris (Jon Chris)

1992-01-01T23:59:59.000Z

254

Estimation of Mean Dynamic Height from Altimeter Profiles and Hydrography  

Science Conference Proceedings (OSTI)

The mean dynamic height of the ocean surface is estimated along a subsatellite track of TOPEX/Poseidon crossing the East Auckland Current system northeast of New Zealand. Repeated hydrographic surveys along the track, together with surface ...

Andrew K. Laing; Peter G. Challenor

1999-11-01T23:59:59.000Z

255

Learning perceptually grounded word meanings from unaligned parallel data  

E-Print Network (OSTI)

In order for robots to effectively understand natural language commands, they must be able to acquire meaning representations that can be mapped to perceptual features in the external world. Previous approaches to learning ...

Tellex, Stefanie A.

256

Estimates of Uncertainty in Predictions of Global Mean Surface Temperature  

Science Conference Proceedings (OSTI)

A method for estimating uncertainty in future climate change is discussed in detail and applied to predictions of global mean temperature change. The method uses optimal fingerprinting to make estimates of uncertainty in model simulations of ...

J. A. Kettleborough; B. B. B. Booth; P. A. Stott; M. R. Allen

2007-03-01T23:59:59.000Z

257

Posters Mean Fluxes of Visible Solar Radiation in Broken Clouds  

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

7 Posters Mean Fluxes of Visible Solar Radiation in Broken Clouds V. E. Zuev, G. A. Titov, T. B. Zhuravleva, and S. Y. Popov Institute of Atmospheric Optics, Siberian Branch...

258

Thermal Conductivity Spectroscopy Technique to Measure Phonon Mean Free Paths  

E-Print Network (OSTI)

Size effects in heat conduction, which occur when phonon mean free paths (MFPs) are comparable to characteristic lengths, are being extensively explored in many nanoscale systems for energy applications. Knowledge of MFPs ...

Schmidt, A. J.

259

Ris-R-1545(EN) Emission reduction by means  

E-Print Network (OSTI)

and Plasma Research Department, Risø), Helge Egsgaard (Biosystems Department, Risø), Per G. Kristensen reduction by means of low temperature plasma. Summary Department: Optics and Plasma Research Department Risø

260

Mean and covariance matrix adaptive estimation for a weakly ...  

E-Print Network (OSTI)

Summary: We introduce an adaptive algorithm to estimate the uncertain ... a trade -off between the mean cost E[?rN+1x] = ??N+1x and its standard deviation.

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


261

The Mean State of Axisymmetric Hurricanes in Statistical Equilibrium  

Science Conference Proceedings (OSTI)

Numerical experiments are performed to determine the mean state of an axisymmetric hurricane in statistical equilibrium. Most earlier studies used a damping scheme on the temperature field as a parameterization of radiative cooling, which the ...

Gregory J. Hakim

2011-06-01T23:59:59.000Z

262

Taking Serial Correlation into Account in Tests of the Mean  

Science Conference Proceedings (OSTI)

The comparison of means derived from samples of noisy data is a standard pan of climatology. When the data are not serially correlated the appropriate statistical tool for this task is usually the conventional Student's t-test. However, ...

Francis W. Zwiers; Hans von Storch

1995-02-01T23:59:59.000Z

263

The Sensitivity of the Tropical-Mean Radiation Budget  

Science Conference Proceedings (OSTI)

A key disagreement exists between global climate model (GCM) simulations and satellite observations of the decadal variability in the tropical-mean radiation budget. Measurements from the Earth Radiation Budget Experiment (ERBE) over the period ...

Amy C. Clement; Brian Soden

2005-08-01T23:59:59.000Z

264

Mean Vertical Motions Seen by Radar Wind Profilers  

Science Conference Proceedings (OSTI)

Radar wind profilers have been used to measure directly the vertical motion above the radar site. Mean values of vertical motions in the troposphere and lower stratosphere reported at sites in and near mountains are often several centimeters per ...

G. D. Nastrom; T. E. VanZandt

1994-08-01T23:59:59.000Z

265

HRDI Observations of Mean Meridional Winds at Solstice  

Science Conference Proceedings (OSTI)

High Resolution Doppler Imager (HRDI) measurements of daytime and nighttime winds at 95 km are used to deduce seasonally averaged Eulerian mean meridional winds during six solstice periods. These estimates are compared with seasonally averaged ...

R. S. Lieberman; W. A. Robinson; S. J. Franke; R. A. Vincent; J. R. Isler; D. C. Fritts; A. H. Manson; C. E. Meek; G. J. Fraser; A. Fahrutdinova; W. Hocking; T. Thayaparan; J. MacDougall; K. Igarashi; T. Nakamura; T. Tsuda

1998-05-01T23:59:59.000Z

266

The GUHA method and its meaning for data mining  

Science Conference Proceedings (OSTI)

The paper presents the history and present state of the GUHA method, its theoretical foundations and its relation and meaning for data mining. Keywords: Data mining, Fuzzy hypotheses, GUHA method, LISp-Miner

Petr Hájek; Martin Hole?a; Jan Rauch

2010-02-01T23:59:59.000Z

267

A New Relationship between Mean Doppler Velocity and Differential Reflectivity  

Science Conference Proceedings (OSTI)

A new relationship has been established linking the vertical mean Doppler velocity of raindrop spectra and the accompanying differential reflectivities. It is based upon the specific radar combination of a vertically pointing Doppler and a ...

Matthias Steiner

1991-06-01T23:59:59.000Z

268

Means for supporting fuel elements in a nuclear reactor  

DOE Patents (OSTI)

A grid structure for a nuclear reactor fuel assembly comprising a plurality of connecting members forming at least one longitudinally extending opening peripheral and inner fuel element openings through each of which openings at least one nuclear fuel element extends, said connecting members forming wall means surrounding said each peripheral and inner fuel element opening, a pair of rigid projections longitudinally spaced from one another extending from a portion of said wall means into said each peripheral and inner opening for rigidly engaging said each fuel element, respectively, yet permit individual longitudinal slippage thereof, and resilient means formed integrally on and from said wall means and positioned in said each peripheral and inner opening in opposed relationship with said projections and located to engage said fuel element to bias the latter into engagement with said rigid projections, respectively

Andrews, Harry N. (Murrysville, PA); Keller, Herbert W. (Monroeville, PA)

1980-01-01T23:59:59.000Z

269

Variability of Space–Time Mean Rain Rate  

Science Conference Proceedings (OSTI)

A mixed lognormal distribution is fit to rain-rate data for the purpose of estimating the space–time mean. Using Fisher information, the large sample variance is obtained for grouped and ungrouped data estimates. The asymptotic variance results ...

B. Kedem; R. Pfeiffer; D. A. Short

1997-05-01T23:59:59.000Z

270

Do Breaking Mountain Waves Deceierate the Local Mean Flow?  

Science Conference Proceedings (OSTI)

Numerical simulations are examined in order to determine the local mean flow response to the generation, propagation, and breakdown of two-dimensional mountain waves. Realistic and idealized cases are considered, and in all instances the pressure ...

Dale R. Durran

1995-11-01T23:59:59.000Z

271

Benchmarking the Mean Streets of NYC and Beyond  

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

Benchmarking the Mean Streets of NYC and Beyond Speaker(s): Conor Laver Date: September 30, 2013 - 12:00pm - 1:00pm Location: 90-3122 Seminar HostPoint of Contact: Louis-Benoit...

272

Measurement of Mean Raindrop Shape from Polarimetric Radar Observations  

Science Conference Proceedings (OSTI)

Interpretation of polarimetric radar measurements in rainfall such as differential reflectivity and specific differential phase shifts depends on the mean raindrop shape–size relationship. Currently, semiempirical relations between the oblateness ...

Eugenio Gorgucci; Gianfranco Scarchilli; V. Chandrasekar; V. N. Bringi

2000-10-01T23:59:59.000Z

273

The Conservation of Pseudoenergy in Lagrangian Time-Mean Flow  

Science Conference Proceedings (OSTI)

When the time-averaging operator is applied to the Generalized Lagrangian Mean equations of motion there results a conservation law involving a total static energy invariant which contains the so-called “pseudoenergy”. This invariant is analogous ...

Timothy J. Dunkerton

1983-11-01T23:59:59.000Z

274

The Angular Momentum Budget of the Transformed Eulerian Mean Equations  

Science Conference Proceedings (OSTI)

The axial angular momentum (AAM) budget of zonal atmospheric annuli extending from the surface to a given height and over meridional belts is discussed within the framework of conventional and transformed Eulerian mean (TEM) theory. ...

Joseph Egger; Klaus-Peter Hoinka

2008-10-01T23:59:59.000Z

275

Electric Mean Squared Radii of Lambda(1405) in Chiral Dynamics  

E-Print Network (OSTI)

The electric mean squared radii _E of Lambda(1405) are calculated in the chiral unitary model. We describe the Lambda(1405) as a dynamically generated resonance fully in the octet meson and octet baryon scattering. We also consider ``Lambda(1405)'' as a bound state of KbarN. For the later ``Lambda(1405),'' we obtain negative and larger absolute value of electric mean squared radius than that of ordinary baryons, which implies that Lambda(1405) have structure of widely spread K^- around p.

T. Sekihara; T. Hyodo; D. Jido

2008-03-31T23:59:59.000Z

276

Spatial redistribution of turbulent and mean kinetic energy  

Science Conference Proceedings (OSTI)

The turbulent spatial redistribution of turbulent and mean kinetic energy and its exchange is investigated in the framework of an K-{epsilon} model in a magnetized plasma column. The kinetic energy is transferred from the turbulence into the zonal flow around the shear layer. The Reynolds stress profile adjusts to the shear layer, which results in a transport of mean kinetic energy from the region around the shear layer into the shear layer.

Manz, P.; Xu, M.; Fedorczak, N.; Thakur, S. C.; Tynan, G. R. [Center for Momentum Transport and Flow Organization,University of California at San Diego, San Diego, California 92093 (United States); Center for Energy Research, University of California at San Diego, San Diego, California 92093 (United States)

2012-01-15T23:59:59.000Z

277

Iterative Dialogues and Automated Proof  

E-Print Network (OSTI)

Slind,K. Boulton,R.J. Studies in Logic and Computation In Frontiers of Combining Systems 2 (Proceedings of the Second International Workshop, FroCoS'98, Amsterdam, The Netherlands) pp 317-335 Research Studies Press

Slind, K.; Boulton, R.J.

278

9 770028 083095 Laser Proof  

E-Print Network (OSTI)

or oceanic anoxia events (see Table 1). For example, the 30 Ma Yemen and Ethiopian traps and the 183 Ma Karoo), Deccan: Keller (2005); Chenet et al. (2008), Karoo: Kosterov and Perrin (1996); Jourdan et al. (2007 id. Karoo 183 Ma 45S 11 2.5·106 8·105 2.9·105 Biotic crisis, end of Pliensbachian Central Atlantic

Svensen, Henrik

279

Justification oriented proofs in OWL  

Science Conference Proceedings (OSTI)

Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, especially those focused on the Web Ontology Language (OWL). Despite this, there are ...

Matthew Horridge; Bijan Parsia; Ulrike Sattler

2010-11-01T23:59:59.000Z

280

First Proof of Ferromagnetic Carbon  

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

a way to understand and control magnetism in nanodevices such as graphene sheets and carbon nanotubes. Ferromagnetism is an "ordering phenomenon" in which the spins of...

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


281

Proof of concept testing of an integrated dry injection system for SO{sub 2}/NO{sub x} control. Final report  

Science Conference Proceedings (OSTI)

The integrated Dry Injection Process (IDIP) consists of combustion modification using low NO{sub x} burners to reduce NO{sub x} emissions, dry injection of hydrated line at economizer temperatures for primary capture of SO{sub 2}, dry injection of a commercial grade sodium bicarbonate at the air heater exit for additional SO{sub 2} and NO{sub x} removal, and humidification for precipitator conditioning. IDIP offers the potential for simultaneously achieving 90% SO{sub 2} removal, and 65% NO{sub x} removal from a high sulfur flue gas. The process is well suited for new or retrofit applications since it can be incorporated within existing economizer and downstream ductwork. Subscale tests were performed in order to identify the best calcium and sodium sorbents. These tests involved the injection of calcium hydroxide and sodium sorbents at various points of the flue gas system downstream of a 0.25 MM BTU/hr. coal fired combustor, and the gas residence times, cooling rates and temperatures were comparable to those found for full-scale utility boilers. These tests verified that a high surface area hydrated lime provides maximum sorbent utilization and identified an alcohol-water hydrated lime as yielding the highest surface area and the best SO{sub 2} removal capability. The tests also identified sodium bicarbonate to be somewhat more effective than sodium sesquicarbonate for SO{sub 2} removal. The proof of concept demonstration was conducted on the large combustor at the Riley Stoker Research Facility in Worcester, MA. When economically compared to conventional limestone slurry scrubbing on a 300 MW plant, the dry injection process shows lower capital cost but higher operating cost. Hydrated lime injection can be less costly than limestone scrubbing when two or more of the following conditions exist: plant is small (less than 100MW); yearly operating hours are small (less than 3000); and the remaining plant lifetime is small (less than 10 years).

Helfritch, D.J.; Bortz, S.J. [Research-Cottrell, Inc., Somerville, NJ (United States); Beittel, R. [Riley Stoker Corp., Worcester, MA (United States)

1994-03-01T23:59:59.000Z

282

Distributor means for charging particulate material into receptacles  

DOE Patents (OSTI)

Disclosed are receptacles, such as shaft furnaces illustrated by a blast furnace and an upright oil shale retort, embodying rotatable charge distributor means for distributing particulate charge material in the furnace, which charge distributor means can provide a high uniformity of distribution of various sizes of particles and also can provide and maintain a stock line of desired contour and heighth in the receptacle. The distributor means includes a hopper having rigidly fixed to it a plurality of downwardly extending chutes with lower discharge portions that discharge in concentric circular zones at the stock line. The distributor means includes a segmented portion at the juncture of the hopper and the chutes that divides the charge material discharged into the hopper in proportion to the area of the circular zone at the stock line that is fed by the chute. The distributor means embodies means for providing mass flow of the particulate charge material through the chutes to the stock line and for avoiding segregation between larger and smaller particles of charge material deposited at the stock line.

Greaves, Melvin J. (9995 Cliff Drive, Cleveland, OH 44102)

1977-06-14T23:59:59.000Z

283

Crystalline-silicon photovoltaics: Necessary and sufficient  

DOE Green Energy (OSTI)

Photovoltaic (PV) energy systems have always been dominated by crystalline-silicon (c-Si) technology, and recent developments persuasively suggest that c-Si will continue to be the dominant technology well into the next century. The authors explain why c-Si technology is fairing much better than previously expected, and discuss the impact of improvements currently under development. They use a ground-up, engineering-based approach to predict the expected evolution of this type of PV system, and argue that c-Si PV will be in a position to compete for the US residential power market starting in about the year 2010. This market alone will provide the opportunity for PV to supply several percent of the electrical energy used in the United States. Crystalline-silicon technology is therefore not just necessary for building a near-term PV industry; it also offers a low-risk approach to meeting long-term goals for PV energy systems.

Basore, P.A.; Gee, J.M.

1995-01-01T23:59:59.000Z

284

SUFFICIENT AND NECESSARY CONDITIONS FOR SEMIDEFINITE ...  

E-Print Network (OSTI)

of constructions. One is a fundamental moment type relaxation due to Lasserre- Parrilo which builds ...... Handbook of semidefinite programming. Kluwer's Pub-.

285

Error bounds: necessary and sufficient conditions  

E-Print Network (OSTI)

from the primal as well as from the dual space are used to characterize the error bound property .... known as conditioning rate [45]): Er f(¯x) := lim inf x??x.

286

ACEEE Sufficiency master-v2.doc  

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

efficiency, rather than remain constant, should increase as the scale of energy use or energy service increases, e.g., with larger appliances, homes, or vehicles. This concept...

287

An Energy Self-Sufficient Sawmill  

E-Print Network (OSTI)

This paper investigates the feasibility of converting sawmill wood by-products (biomass) into useful and marketable energy forms such as low pressure steam and electricity. It is based on the principle of energy cascading, utilizing a proven technology commonly referred to as cogeneration. Most sawmills produce large quantities of biomass. The total heat energy requirement at these sawmills could easily be satisfied by a small fraction of the energy contained in the biomass. The unused biomass is usually disposed of. However, it can be converted into electricity to supply the sawmill's requirements, and the surplus electricity can be sold to the electrical utility grid.

Juchymenko, A.

1982-01-01T23:59:59.000Z

288

Nuclear Symmetry Energy in Relativistic Mean Field Theory  

E-Print Network (OSTI)

The Physical origin of the nuclear symmetry energy is studied within the relativistic mean field (RMF) theory. Based on the nuclear binding energies calculated with and without mean isovector potential for several isobaric chains we conform earlier Skyrme-Hartree-Fock result that the nuclear symmetry energy strength depends on the mean level spacing $\\epsilon (A)$ and an effective mean isovector potential strength $\\kappa (A)$. A detaied analysis of isospin dependence of the two components contributing to the nuclear symmetry energy reveals a quadratic dependence due to the mean-isoscalar potential, $\\sim\\epsilon T^2$, and, completely unexpectedly, the presence of a strong linear component $\\sim\\kappa T(T+1+\\epsilon/\\kappa)$ in the isovector potential. The latter generates a nuclear symmetry energy in RMF theory that is proportional to $E_{sym}\\sim T(T+1)$ at variance to the non-relativistic calculation. The origin of the linear term in RMF theory needs to be further explored.

Shufang Ban; Jie Meng; Wojciech Satula; Ramon A. Wyss

2005-09-12T23:59:59.000Z

289

Property:MeanReservoirTemp | Open Energy Information  

Open Energy Info (EERE)

MeanReservoirTemp MeanReservoirTemp Jump to: navigation, search Property Name MeanReservoirTemp Property Type Temperature Description Mean estimated reservoir temperature at location based on the USGS 2008 Geothermal Resource Assessment if the United States Pages using the property "MeanReservoirTemp" Showing 25 pages using this property. (previous 25) (next 25) A Abraham Hot Springs Geothermal Area + 363.15 K90 °C 194 °F 653.67 °R + Adak Geothermal Area + 428.15 K155 °C 311 °F 770.67 °R + Akun Strait Geothermal Area + 353.15 K80 °C 176 °F 635.67 °R + Akutan Fumaroles Geothermal Area + 523.15 K250 °C 482 °F 941.67 °R + Alvord Hot Springs Geothermal Area + 408.15 K135 °C 275 °F 734.67 °R + Amedee Geothermal Area + 388.15 K115 °C 239 °F 698.67 °R + Arrowhead Hot Springs Geothermal Area + 388.15 K115 °C

290

Growth in Solar Means Growth in Ohio | Department of Energy  

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

Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio October 6, 2010 - 2:26pm Addthis Lorelei Laird Writer, Energy Empowers Editor's Note: Yesterday Secretary Chu announced that solar panels and a solar hot water heater will be added to the White House by the end of next spring. This entry is cross-posted from the Energy Empowers blog and deals with how the continued growth of solar power is not only a boon for industry, but for local economies as well. The solar industry saw growth in 2010. Market research company Solarbuzz reports that global demand soared by 54 percent in the second quarter of 2010. The research firm reports that in the United States, the annual number of total watts installed moved from 485 MW in all of 2009 to 2.3 GW

291

Less platinum means lower prices for autos | Department of Energy  

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

Less platinum means lower prices for autos Less platinum means lower prices for autos Less platinum means lower prices for autos January 21, 2010 - 3:29pm Addthis Joshua DeLung You might wear a platinum wedding band, but tucked away in the guts of a car probably isn't where Americans prefer this pricey, precious metallic element to be. Luckily, researchers at 3M's Fuel Cell Component's Program in St. Paul, Minnesota have us covered. 3M has developed technology that will reduce the amount of platinum necessary in a fuel cell system by using nano-catalyst particles that actually make surface atoms more efficient at producing energy. Platinum is needed in fuel cells because no other metals are even close to being as effective at speeding up chemical reactions to make power. 3M is among a handful of fuel cell system suppliers in the U.S., and these advancements

292

WHAT THE SMART GRID MEANS TO AMERICANS | Department of Energy  

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

WHAT THE SMART GRID MEANS TO AMERICANS WHAT THE SMART GRID MEANS TO AMERICANS WHAT THE SMART GRID MEANS TO AMERICANS The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007) with modernizing the nation's electricity grid to improve its reliability and efficiency. As part of this effort, DOE is also responsible for increasing awareness of our nation's Smart Grid. Building upon The Smart Grid: An Introduction, a DOE-sponsored publication released in 2008 and available online at www.smartgrid.gov, this publication is one in a series of books designed to better acquaint discrete stakeholder groups with the promise and possibilities of the Smart Grid. Stakeholder groups include Utilities, Regulators, Policymakers, Technology Providers, Consumer

293

Growth in Solar Means Growth in Ohio | Department of Energy  

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

Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio October 6, 2010 - 2:26pm Addthis Lorelei Laird Writer, Energy Empowers Editor's Note: Yesterday Secretary Chu announced that solar panels and a solar hot water heater will be added to the White House by the end of next spring. This entry is cross-posted from the Energy Empowers blog and deals with how the continued growth of solar power is not only a boon for industry, but for local economies as well. The solar industry saw growth in 2010. Market research company Solarbuzz reports that global demand soared by 54 percent in the second quarter of 2010. The research firm reports that in the United States, the annual number of total watts installed moved from 485 MW in all of 2009 to 2.3 GW

294

Be a Lean, Mean, Green Eating Machine | Department of Energy  

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

Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine January 31, 2012 - 2:53pm Addthis Kristin Swineford Communication Specialist, Weatherization and Intergovernmental Programs Like most Americans, I watched the State of the Union to hear President Obama outline his goals for the year ahead, to understand his energy outlook and plans, and of course, to see what Michelle would be wearing (a stunning royal blue, of course). When listening to the President highlight his administration's clean energy initiatives, I couldn't help but remember the First Family's goals to reduce childhood obesity in America. By no surprise, the link between nationwide health improvement and energy efficiency efforts is strong. By reducing our demand for processed and imported foods, we can improve the

295

Be a Lean, Mean, Green Eating Machine | Department of Energy  

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

Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine January 31, 2012 - 2:53pm Addthis Kristin Swineford Communication Specialist, Weatherization and Intergovernmental Programs Like most Americans, I watched the State of the Union to hear President Obama outline his goals for the year ahead, to understand his energy outlook and plans, and of course, to see what Michelle would be wearing (a stunning royal blue, of course). When listening to the President highlight his administration's clean energy initiatives, I couldn't help but remember the First Family's goals to reduce childhood obesity in America. By no surprise, the link between nationwide health improvement and energy efficiency efforts is strong. By reducing our demand for processed and imported foods, we can improve the

296

Non-contact tamper sensing by electronic means  

DOE Patents (OSTI)

A tamper-sensing tag is described comprising: a tag body adapted to be fixed against movement relative to a surface of an article, a capacitor having at least one variable-capacity section with first and second elements, said first element being positionable relative to said second element at various positions, displaced from each other, said one variable-capacity section having different amounts of capacity when said first element is in its various positions, respectively, relative to said second element, means for generating a first signal which is a function of the amount of capacity of said one variable-capacity section, said first signal having various values distinguishable from each other when said first element is in its various positions, respectively, relative to said second element, one of said first and second elements being fixed against movement relative to said tag body, and the other of said first and second elements being adapted to be fixed against movement relative to said surface of said article and with said first element being in a first position relative to said second element, said tag body and said other of said first and second elements being positionable relative to each other on said article prior to said tag body's being fixed to said article so as to enable said elements to be fixed to said article in said first position relative to each other, means in said tag for generating a second signal having a value unrelated to the amount of capacity of said one variable-capacity section, means in said tag for combining said first and second signals, means in said tag for encrypting said combined signals, means in said tag responsive to external interrogation of said tag for sending from said tag the encrypted combined signals in digital form, and wherein said means for generating said second signal has the function of changing the value of said second signal for each interrogation of said tag.

Gritton, D.G.

1993-08-17T23:59:59.000Z

297

Fluorescent lamp unit with magnetic field generating means  

DOE Patents (OSTI)

A fluorescent lamp unit having a magnetic field generating means for improving the performance of the fluorescent lamp is disclosed. In a preferred embodiment the fluorescent lamp comprises four longitudinally extending leg portions disposed in substantially quadrangular columnar array and joined by three generally U-shaped portions disposed in different planes. In another embodiment of the invention the magnetic field generating means comprises a plurality of permanent magnets secured together to form a single columnar structure disposed within a centrally located region defined by the shape of lamp envelope. 4 figs.

Grossman, M.W.; George, W.A.

1989-08-08T23:59:59.000Z

298

Interdecadal Relationship between the Mean State and El Niño Types  

Science Conference Proceedings (OSTI)

The interdecadal change of the mean state and two types of El Niño was investigated based on the analysis of observational data from 1980 to 2010. It was found that easterly trades and sea surface temperature (SST) gradients across the equatorial ...

Pei-Hsuan Chung; Tim Li

2013-01-01T23:59:59.000Z

299

Recovering Industrial Waste Heat by the Means of Thermoelectricity  

E-Print Network (OSTI)

]. When waste heat, geothermal heat and solar is the heat source, the cost of thermal input canRecovering Industrial Waste Heat by the Means of Thermoelectricity Spring 2010 Department available thermoelectric modules and to build a thermoelectric power generator demonstration unit

Kjelstrup, Signe

300

Recent Observations of the Mean Circulation on Georges Bank  

Science Conference Proceedings (OSTI)

A clockwise circulation around Georges Bank was measured by means of moored current meters, aircraft-tracked surface drifters, and satellite-tracked drifters drogued at 10 m. The strongest flow was in a narrow jetlike current (30 cm s?1) along ...

B. Butman; R. C. Beardsley; B. Magnell; D. Frye; J. A. Vermersch; R. Schlitz; R. Limeburner; W. R. Wright; M. A. Noble

1982-06-01T23:59:59.000Z

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


301

Fluorescent lamp with static magnetic field generating means  

DOE Patents (OSTI)

A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed.

Moskowitz, Philip E. (Peabody, MA); Maya, Jakob (Brookline, MA)

1987-01-01T23:59:59.000Z

302

Mean Flow Evolution of a Baroclinically Unstable Potential Vorticity Front  

Science Conference Proceedings (OSTI)

Quasi-linear theory and numerical models are used to study the mean flow modification of a two-layer shallow water baroclinically unstable flow as a function of Rossby number. This flow has an upper-layer potential vorticity front overlying a ...

Emmanuel Boss; Lu Anne Thompson

1999-02-01T23:59:59.000Z

303

Chiral Sigma Model with Pion Mean Field in Finite Nuclei  

E-Print Network (OSTI)

The properties of infinite matter and finite nuclei are studied by using the chiral sigma model in the framework of the relativistic mean field theory. We reconstruct an extended chiral sigma model in which the omega meson mass is generated dynamically by the sigma condensation in the vacuum in the same way as the nucleon mass. All the parameters of chiral sigma model are essentially fixed from the hadron properties in the free space. In nuclear matter, the saturation property comes out right, but the incompressibility is too large and the scalar and vector potentials are about a half of the phenomenological ones, respectively. This fact is reflected to the properties of finite nuclei. We calculate N = Z even-even mass nuclei between N = 16 and N = 34. The extended chiral sigma model without the pion mean field leads to the result that the magic number appears at N = 18 instead of N = 20 and the magic number does not appear at N = 28 due to the above mentioned nuclear matter properties. The latter problem, however, could be removed by the introduction of the finite pion mean field with the appearance of the magic number at N = 28. We find that the energy differences between the spin-orbit partners are reproduced by the finite pion mean field which is completely a different mechanism from the standard spin-orbit interaction.

Y. Ogawa; H. Toki; S. Tamenaga; H. Shen; A. Hosaka; S. Sugimoto; K. Ikeda

2003-12-13T23:59:59.000Z

304

Atlantic Skipjack Tuna: Influences of Mean Environmental Conditions on  

E-Print Network (OSTI)

Atlantic Skipjack Tuna: Influences of Mean Environmental Conditions on Their Vulnerability to Surface Fishing Gear R. H. EVANS, D. R. McLAIN, and R. A. BAUER Introduction Of those tunas which are exploit- ed commercially in the Atlantic, only the skipjack tuna, Katsuwonus pelamis, appears presently

305

Fluorescent lamp with static magnetic field generating means  

DOE Patents (OSTI)

A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed. 2 figs.

Moskowitz, P.E.; Maya, J.

1987-09-08T23:59:59.000Z

306

Bohmian Mechanics and the Meaning of the Wave Function  

E-Print Network (OSTI)

Bohmian Mechanics and the Meaning of the Wave Function D. D¨urr Mathematisches Institut der predictive successes, quantum mechanics has, since its inception some seventy years ago, been plagued the measurement problem is not merely one of the conceptual difficulties of quantum mechanics

Goldstein, Sheldon

307

Sampling Wind Data for Mean Wind Speed Estimation  

Science Conference Proceedings (OSTI)

Two sampling techniques are applied to wind data at 3 h intervals for six stations in the Great Plains region in the United States in order to investigate the reduction in the number of data needed to estimate the mean wind speed. One-in-k ...

Mark Jong; Gary Thomann

1981-03-01T23:59:59.000Z

308

Thermodynamics and Universality for Mean Field Quantum Spin Glasses  

E-Print Network (OSTI)

We study aspects of the thermodynamics of quantum versions of spin glasses. By means of the Lie-Trotter formula for exponential sums of operators, we adapt methods used to analyze classical spin glass models to answer analogous questions about quantum models.

Nick Crawford

2006-10-13T23:59:59.000Z

309

More is the Same; Phase Transitions and Mean Field Theories  

E-Print Network (OSTI)

. Dierent phases can be qualitatively dif- ferent in that walking on ice is well within human capacityMore is the Same; Phase Transitions and Mean Field Theories Leo P. Kadano The James Franck in a series which will look at the theory of phase transitions from the perspectives of physics

Ismagilov, Rustem F.

310

Gluon Condensate in Pion Superfluid beyond Mean Field Approximation  

E-Print Network (OSTI)

We study gluon condensate in a pion superfluid, through calculating the equation of state of the system in the Nambu-Jona-Lasinio model. While in mean field approximation the growing pion condensate leads to an increasing gluon condensate, meson fluctuations reduce the gluon condensate and the broken scalar symmetry can be smoothly restored at finite isospin density.

Yin Jiang; Pengfei Zhuang

2010-12-10T23:59:59.000Z

311

Obtaining a bimodal grain size distribution via thermal means  

Science Conference Proceedings (OSTI)

Presentation Title, Obtaining a bimodal grain size distribution via thermal means ... manipulating thermal history, a family of bimodal grain size distributions may be formed. ... Mild Carbon Steel Quenche in Coconut Water, Fresh urine, Nigerian unadultrated up-wine, ... Multi-scale modeling of phase transformations in steels.

312

Monthly Mean Wind Fields for the South Atlantic Bight  

Science Conference Proceedings (OSTI)

A total of 339 389 marine weather observations have been analyzed to Produce Monthly mean wind fields for the South Atlantic Bight. The results of plotting wind vectors on a 1/2° latitude by 1/2° longitude grid yields four traditional seasonal ...

A. H. Weber; J. O. Blanton

1980-08-01T23:59:59.000Z

313

Precise root-mean-square radius of {sup 4}He  

SciTech Connect

We study the world data on elastic electron-helium scattering to determine the {sup 4}He charge root-mean-square radius. A precise value for this radius is needed as a reference for a number of ongoing studies in nuclear and atomic physics.

Sick, Ingo [Dept. fuer Physik, Universitaet Basel, CH4056 Basel (Switzerland)

2008-04-15T23:59:59.000Z

314

On the Vertical Extrapolation of Mean Wind Power Density  

Science Conference Proceedings (OSTI)

A simple method of estimating the height variation of the mean wind power density is presented which accounts for the variation of the exponent p of the wind speed power law, with stability and roughness. Measurements are used to compare the new ...

Leon Sedefian

1980-04-01T23:59:59.000Z

315

Systematics of the mean energy and the mean multiplicity of prompt neutrons originating from {sup 232}Th fission  

Science Conference Proceedings (OSTI)

The cross section for the neutron-induced fission of {sup 232}Th target nuclei, {sigma}{sub f} (E{sub n}), was described within statistical theory. The spectra of the mean multiplicity, v-bar (E{sub n}), and the mean energy, E-bar(E{sub n}), of secondary neutrons accompanying {sup 232}Th fission induced by neutrons of energy extending up to E{sub n} = 20 MeV were analyzed on the basis of the chance structure of the cross section.

Svirin, M. I., E-mail: svirin@ippe.ru [Institute for Physics and Power Engineering (Russian Federation)

2012-12-15T23:59:59.000Z

316

Successful Sequestration and Enhanced Oil Recovery Project Could Mean More  

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

Successful Sequestration and Enhanced Oil Recovery Project Could Successful Sequestration and Enhanced Oil Recovery Project Could Mean More Oil and Less CO2 Emissions Successful Sequestration and Enhanced Oil Recovery Project Could Mean More Oil and Less CO2 Emissions November 15, 2005 - 2:45pm Addthis "Weyburn Project" Breaks New Ground in Enhanced Oil Recovery Efforts WASHINGTON, DC - Secretary Samuel W. Bodman today announced that the Department of Energy (DOE)-funded "Weyburn Project" successfully sequestered five million tons of carbon dioxide (CO2) into the Weyburn Oilfield in Saskatchewan, Canada, while doubling the field's oil recovery rate. If the methodology used in the Weyburn Project was successfully applied on a worldwide scale, one-third to one-half of CO2 emissions could be eliminated in the next 100 years and billions of barrels of oil could be

317

WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE.  

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

WHAT A SMART GRID MEANS WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE. regulators consumer advocates environmental groups technology providers ONE of SIX SMART GRID STAKEHOLDER BOOKS A smarter electric grid works to strengthen our nation's economy, environment, security and independence. policymakers utilities 2 DISCLAIMER PRINTED IN THE UNITED STATES OF AMERICA. This report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor Litos Strategic Communication, nor any of their employees, make any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, completeness, or usefulness of any information apparatus, product, or process disclosed, or represents that its use

318

Means and method of detection in chemical separation procedures  

DOE Patents (OSTI)

A means and method for indirect detection of constituent components of a mixture separated in a chemical separation process. Fluorescing ions are distributed across the area in which separation of the mixture will occur to provide a generally uniform background fluorescence intensity. For example, the mixture is comprised of one or more charged analytes which displace fluorescing ions where its constituent components separate to. Fluorescing ions of the same charge as the charged analyte components cause a displacement. The displacement results in the location of the separated components having a reduced fluorescence intensity to the remainder of the background. Detection of the lower fluorescence intensity areas can be visually, by photographic means and methods, or by automated laser scanning.

Yeung, Edward S. (Ames, IA); Koutny, Lance B. (Ames, IA); Hogan, Barry L. (Ames, IA); Cheung, Chan K. (Ames, IA); Ma, Yinfa (Ames, IA)

1993-03-09T23:59:59.000Z

319

Software Requirements for a System to Compute Mean Failure Cost  

SciTech Connect

In earlier works, we presented a computational infrastructure that allows an analyst to estimate the security of a system in terms of the loss that each stakeholder. We also demonstrated this infrastructure through the results of security breakdowns for the ecommerce case. In this paper, we illustrate this infrastructure by an application that supports the computation of the Mean Failure Cost (MFC) for each stakeholder.

Aissa, Anis Ben [University of Tunis, Belvedere, Tunisia; Abercrombie, Robert K [ORNL; Sheldon, Frederick T [ORNL; Mili, Ali [New Jersey Insitute of Technology

2010-01-01T23:59:59.000Z

320

Sampling Within k-Means Algorithm to Cluster Large Datasets  

Science Conference Proceedings (OSTI)

Due to current data collection technology, our ability to gather data has surpassed our ability to analyze it. In particular, k-means, one of the simplest and fastest clustering algorithms, is ill-equipped to handle extremely large datasets on even the most powerful machines. Our new algorithm uses a sample from a dataset to decrease runtime by reducing the amount of data analyzed. We perform a simulation study to compare our sampling based k-means to the standard k-means algorithm by analyzing both the speed and accuracy of the two methods. Results show that our algorithm is significantly more efficient than the existing algorithm with comparable accuracy. Further work on this project might include a more comprehensive study both on more varied test datasets as well as on real weather datasets. This is especially important considering that this preliminary study was performed on rather tame datasets. Also, these datasets should analyze the performance of the algorithm on varied values of k. Lastly, this paper showed that the algorithm was accurate for relatively low sample sizes. We would like to analyze this further to see how accurate the algorithm is for even lower sample sizes. We could find the lowest sample sizes, by manipulating width and confidence level, for which the algorithm would be acceptably accurate. In order for our algorithm to be a success, it needs to meet two benchmarks: match the accuracy of the standard k-means algorithm and significantly reduce runtime. Both goals are accomplished for all six datasets analyzed. However, on datasets of three and four dimension, as the data becomes more difficult to cluster, both algorithms fail to obtain the correct classifications on some trials. Nevertheless, our algorithm consistently matches the performance of the standard algorithm while becoming remarkably more efficient with time. Therefore, we conclude that analysts can use our algorithm, expecting accurate results in considerably less time.

Bejarano, Jeremy [Brigham Young University; Bose, Koushiki [Brown University; Brannan, Tyler [North Carolina State University; Thomas, Anita [Illinois Institute of Technology; Adragni, Kofi [University of Maryland; Neerchal, Nagaraj [University of Maryland; Ostrouchov, George [ORNL

2011-08-01T23:59:59.000Z

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


321

Energy Dependent Isospin Asymmetry in Mean-Field Dynamics  

E-Print Network (OSTI)

The Lagrangian density of relativistic mean-field (RMF) theory with non-linear derivative (NLD) interactions is applied to isospin asymmetric nuclear matter. We study the symmetry energy and the density and energy dependences of nucleon selfenergies. At high baryon densities a soft symmetry energy is obtained. The energy dependence of the isovector selfenergy suppresses the Lane-type optical potential with increasing energy and predicts a $\\rho$-meson induced mass splitting between protons and neutrons in isospin asymmetric matter.

T. Gaitanos; M. Kaskulov

2011-09-22T23:59:59.000Z

322

Method for chemically analyzing a solution by acoustic means  

DOE Patents (OSTI)

A method and apparatus are disclosed for determining a type of solution and the concentration of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration. 10 figs.

Beller, L.S.

1997-04-22T23:59:59.000Z

323

Method for chemically analyzing a solution by acoustic means  

SciTech Connect

A method and apparatus for determining a type of solution and the concention of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration.

Beller, Laurence S. (Idaho Falls, ID)

1997-01-01T23:59:59.000Z

324

BAYONET TYPE COUPLING WITH PIVOTED SEGMENT RELEASE MEANS  

DOE Patents (OSTI)

A remotely actuated quick-disconnect electrical connector that comprises a pair of mating connector halves releasably retained together by an interlocking pin and groove arrangement is described. Pivotal latch means disposed in one of the connector halves adjacent the ends of the coupling grooves are normally held in an abutting relationship with the coupling pins by a slidable, lanyard actuated sleeve. The latch retains the pins in the grooves until the lanyard moves the sleeve and enables the latch to pivot out of the path of the pins for effecting disengagement of the coupling. (AEC)

Work, R.O.

1963-08-13T23:59:59.000Z

325

Method for chemically analyzing a solution by acoustic means  

DOE Patents (OSTI)

A method and apparatus are described for determining a type of solution and the concentration of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration.

Beller, L.S.

1995-12-31T23:59:59.000Z

326

A Bayesian approach to extracting meaning from system behavior  

SciTech Connect

The modeling relation and its reformulation to include the semiotic hierarchy is essential for the understanding, control, and successful re-creation of natural systems. This presentation will argue for a careful application of Rosen`s modeling relationship to the problems of intelligence and autonomy in natural and artificial systems. To this end, the authors discuss the essential need for a correct theory of induction, learning, and probability; and suggest that modern Bayesian probability theory, developed by Cox, Jaynes, and others, can adequately meet such demands, especially on the operational level of extracting meaning from observations. The methods of Bayesian and maximum Entropy parameter estimation have been applied to measurements of system observables to directly infer the underlying differential equations generating system behavior. This approach by-passes the usual method of parameter estimation based on assuming a functional form for the observable and then estimating the parameters that would lead to the particular observed behavior. The computational savings is great since only location parameters enter into the maximum-entropy calculations; this innovation finesses the need for nonlinear parameters altogether. Such an approach more directly extracts the semantics inherent in a given system by going to the root of system meaning as expressed by abstract form or shape, rather than in syntactic particulars, such as signal amplitude and phase. Examples will be shown how the form of a system can be followed while ignoring unnecessary details. In this sense, the authors are observing the meaning of the words rather than being concerned with their particular expression or language. For the present discussion, empirical models are embodied by the differential equations underlying, producing, or describing the behavior of a process as measured or tracked by a particular variable set--the observables. The a priori models are probability structures that capture syntactical relationships within the formal system that mirrors the natural system under observation. Inductive learning is then a prescription for incorporating the current, and possibly changing, empirical model into an iterative syntactical relationship in the form of a statement about parameters, producing an updated a priori model subject to future modification in the light of changing parameter sets.

Dress, W.B.

1998-08-01T23:59:59.000Z

327

Mean wind forces on parabolic-trough solar collectors  

DOE Green Energy (OSTI)

The purpose of this study was to investigate characteristics of mean wind loads produced by airflow in and around several configurations of parabolic trough solar collectors with and without a wind fence. Four basic parabolic shapes were investigated as single units and one shape was studied as part of several array fields. One 1:25 scale model of each parabolic shape was constructed for mounting on a force balance to measure two forces and three moments. The effects of several dominant variables were investigated in this study: wind-azimuth (or yaw), trough elevation (or pitch) angle, array field configuration, and protective wind fence characteristics. All measurements were made in a boundary-layer flow developed by the meteorological wind tunnel at the Fluid Dynamics and Diffusion Laboratory of Colorado State University. Results are presented and discussed. (WHK)

Peterka, J.A.; Sinau, J.M.; Cermak, J.E.

1980-05-01T23:59:59.000Z

328

Two stochastic mean-field polycrystal plasticity methods  

SciTech Connect

In this work, we develop two mean-field polycrystal plasticity models in which the L{sup c} are approximated stochastically. Through comprehensive CPFEM analyses of an idealized tantalum polycrystal, we verify that the L{sup c} tend to follow a normal distribution and surmise that this is due to the crystal interactions. We draw on these results to develop the STM and the stochastic no-constraints model (SNCM), which differ in the manner in which the crystal strain rates D{sup c} are prescribed. Calibration and validation of the models are performed using data from tantalum compression experiments. Both models predict the compression textures more accurately than the FCM, and the SNCM predicts them more accurately than the STM. The STM is extremely computationally efficient, only slightly more expensive than the FCM, while the SNCM is three times more computationally expensive than the STM.

Tonks, Michael [Los Alamos National Laboratory

2008-01-01T23:59:59.000Z

329

Improved first order mean spherical approximation for simple fluids  

E-Print Network (OSTI)

A perturbation approach based on the first-order mean spherical approximation (FMSA) is proposed. It consists in adopting a hard-sphere plus short-range attractive Yukawa fluid as the novel reference system, over which the perturbative solution of the Ornstein-Zernike equation is performed. A choice of the optimal range of the reference attraction is discussed. The results are compared against conventional FMSA/HS theory and Monte-Carlo simulation data for compressibility factor and vapor-liquid phase diagrams of the medium-ranged Yukawa fluid. Proposed theory keeps the same level of simplicity and transparency, as the conventional FMSA/HS approach does, but shows to be more accurate.

S. Hlushak; A. Trokhymchuk; I. Nezbeda

2012-02-20T23:59:59.000Z

330

Radiant energy receiver having improved coolant flow control means  

DOE Patents (OSTI)

An improved coolant flow control for use in radiant energy receivers of the type having parallel flow paths is disclosed. A coolant performs as a temperature dependent valve means, increasing flow in the warmer flow paths of the receiver, and impeding flow in the cooler paths of the receiver. The coolant has a negative temperature coefficient of viscosity which is high enough such that only an insignificant flow through the receiver is experienced at the minimum operating temperature of the receiver, and such that a maximum flow is experienced at the maximum operating temperature of the receiver. The valving is accomplished by changes in viscosity of the coolant in response to the coolant being heated and cooled. No remotely operated valves, comparators or the like are needed.

Hinterberger, H.

1980-10-29T23:59:59.000Z

331

Mean glandular dose in a breast screening programme  

Science Conference Proceedings (OSTI)

Breast density has an important role in early detection of breast cancer, because has been reported the strong association between breast density and invasive breast cancer risk. Mammography is the gold standard to early detection of breast cancer, despite of this require ionizing radiation that may increase radio-induced cancer risk. This maybe limited with a quality control programme of mammographic units, with the main goal of achieving high quality images with low radiation dose. International Atomic Energy Agency (IAEA) published in 2011 the {sup Q}uality assurance programme for digital mammography{sup ,} where glandular tissue quantity is an important parameter to compute mean glandular dose (MGD), which is necessary to reduce its associated risk. In this work we show the first results in our country applying this protocol and studying breast density in a small group. MGD complies with national and IAEA dose limits.

Galvan, H. A.; Perez-Badillo, M. P.; Villasenor, Y. [Instituto Nacional de Cancerologia, Av. San Fernando No. 22, Col Seccion XVI, Mexico, D. F., C. P. 14080 (Mexico)

2012-10-23T23:59:59.000Z

332

Comparative Analysis of Alternative Means for Removing Noncondensable Gases  

Open Energy Info (EERE)

Comparative Analysis of Alternative Means for Removing Noncondensable Gases Comparative Analysis of Alternative Means for Removing Noncondensable Gases from Flashed-Steam Geothermal Power Plants:April 1999 - March 2000 Dataset Summary Description This dataset corresponds to the final report on a screening study to compare six methods of removing noncondensable gases from direct-use geo-thermal steam power plants. This report defines the study methodologies and compares the performance and economics of selected gas-removal systems. Recommendations are presented for follow-up investigations and implementation of some of the technologies discussed. The specific gas-removal methods include five vacuum system configurations using the conventional approach of evacuating gas/vapor mixtures from the power plant condenser system and a system for physical separation of steam and gases upstream of the power turbine. The study focused on flashed-steam applications, but the results apply equally well to flashed-steam and dry-steam geothermal power plant configurations. Two gas-removal options appear to offer profitable economic potential. The hybrid vacuum system configurations and the reboiler process yield positive net present value results over wide-ranging gas concentrations. The hybrid options look favorable for both low-temperature and high-temperature resource applications. The reboiler looks profitable for low-temperature resource applications for gas levels above about 20,000 parts per million by volume. A vacuum system configuration using a three-stage turbocompressor battery may be profitable for low-temperature resources, but results show that the hybrid system is more profitable. The biphase eductor alternative cannot be recommended for commercialization at this time. The report is available from NREL's publication database.

333

More is the Same; Phase Transitions and Mean Field Theories  

E-Print Network (OSTI)

This paper looks at the early theory of phase transitions. It considers a group of related concepts derived from condensed matter and statistical physics. The key technical ideas here go under the names of "singularity", "order parameter", "mean field theory", and "variational method". In a less technical vein, the question here is how can matter, ordinary matter, support a diversity of forms. We see this diversity each time we observe ice in contact with liquid water or see water vapor, "steam", come up from a pot of heated water. Different phases can be qualitatively different in that walking on ice is well within human capacity, but walking on liquid water is proverbially forbidden to ordinary humans. These differences have been apparent to humankind for millennia, but only brought within the domain of scientific understanding since the 1880s. A phase transition is a change from one behavior to another. A first order phase transition involves a discontinuous jump in a some statistical variable of the system. The discontinuous property is called the order parameter. Each phase transitions has its own order parameter that range over a tremendous variety of physical properties. These properties include the density of a liquid gas transition, the magnetization in a ferromagnet, the size of a connected cluster in a percolation transition, and a condensate wave function in a superfluid or superconductor. A continuous transition occurs when that jump approaches zero. This note is about statistical mechanics and the development of mean field theory as a basis for a partial understanding of this phenomenon.

Leo P. Kadanoff

2009-06-03T23:59:59.000Z

334

Meaning in architecture : an investigation of the indigenous environment in Bangladesh  

E-Print Network (OSTI)

A meaningful environment forms a necessary and essential part of a meaningful existence. Meaning is an interpretive problem, and meaning in architecture is difficult to grasp. Theoretical insights into meaning have to be ...

Haq, Saif-ul

1992-01-01T23:59:59.000Z

335

METHOD AND MEANS FOR SUPPORTING REACTOR FUEL CONTAINERS IN AN ASSEMBLY  

DOE Patents (OSTI)

This patent relates to means for supporting fuelcontaining tubes in an assembly which include grid means at either end of the fuel element assembly antl improved grid means intermediate of the ends to provide support against lateral displacement. (AEC)

Currier, E.L. Jr.; Nicklas, J.H.; Coombs, C.A.

1962-12-11T23:59:59.000Z

336

An Empirical Approach for Estimating Macroturbulent Heat Transport Conditional upon the Mean State  

Science Conference Proceedings (OSTI)

A stochastic specification for monthly mean wintertime eddy heat transport conditional upon the monthly mean circulation is proposed. The approach is based on an analog technique. The nearest neighbor for the monthly mean streamfunction (at 850 ...

Ute Luksch; Hans von Storch

1999-07-01T23:59:59.000Z

337

MEAN TEMPERATURE RISE IN A TARGET Keith Symon LS-99  

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

KS (7 -24-87) KS (7 -24-87) MEAN TEMPERATURE RISE IN A TARGET Keith Symon LS-99 July 1987 The equation which determines the equilibrium temperature distribution in a cylindrically symmetrical target, if we deposit an average power J(r) inside radius r, is ) = dT J(r -2'ITrtK Or' where K is the thermal conductivity and t is the length of the target. The temperature is then T = T - 1 J J(r)dr o 2'ITKt 0 r If we deposit power uniformly in a cylinder of radius a, then where J o is the total T J 0 r2 I a 2 , r .;; a , J (r) = J o r ) a, power del i vered. The temperature is J r2 T - 0 0 2 , r .;; a, 4'ITda = T - J o (1 + 2 tn ria), r ) a. 0 4'ITKt then If the target boundary at r = b is held at a temperature Tb' then the temperature rise at the center is (1) (2 ) (3)

338

HELICITY CONSERVATION IN NONLINEAR MEAN-FIELD SOLAR DYNAMO  

SciTech Connect

It is believed that magnetic helicity conservation is an important constraint on large-scale astrophysical dynamos. In this paper, we study a mean-field solar dynamo model that employs two different formulations of the magnetic helicity conservation. In the first approach, the evolution of the averaged small-scale magnetic helicity is largely determined by the local induction effects due to the large-scale magnetic field, turbulent motions, and the turbulent diffusive loss of helicity. In this case, the dynamo model shows that the typical strength of the large-scale magnetic field generated by the dynamo is much smaller than the equipartition value for the magnetic Reynolds number 10{sup 6}. This is the so-called catastrophic quenching (CQ) phenomenon. In the literature, this is considered to be typical for various kinds of solar dynamo models, including the distributed-type and the Babcock-Leighton-type dynamos. The problem can be resolved by the second formulation, which is derived from the integral conservation of the total magnetic helicity. In this case, the dynamo model shows that magnetic helicity propagates with the dynamo wave from the bottom of the convection zone to the surface. This prevents CQ because of the local balance between the large-scale and small-scale magnetic helicities. Thus, the solar dynamo can operate in a wide range of magnetic Reynolds numbers up to 10{sup 6}.

Pipin, V. V.; Sokoloff, D. D.; Zhang, H.; Kuzanyan, K. M. [Key Laboratory of Solar Activity, National Astronomical Observatories, Chinese Academy of Sciences, Beijing 100012 (China)

2013-05-01T23:59:59.000Z

339

NETL: News Release - Successful Sequestration Project Could Mean More Oil  

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

November 15, 2005 November 15, 2005 Successful Sequestration Project Could Mean More Oil and Less Carbon Dioxide Emissions Weyburn Project Breaks New Ground in Enhanced Oil Recovery Efforts WASHINGTON, DC - Secretary Samuel Bodman today announced that the Department of Energy (DOE)-funded "Weyburn Project" successfully sequestered five million tons of carbon dioxide (CO2) into the Weyburn Oilfield in Saskatchewan, Canada, while doubling the field's oil recovery rate. If the methodology used in the Weyburn Project was successfully applied on a worldwide scale, one-third to one-half of CO2 emissions could be eliminated in the next 100 years and billions of barrels of oil could be recovered. "The success of the Weyburn Project could have incredible implications for reducing CO2 emissions and increasing America's oil production. Just by applying this technique to the oil fields of Western Canada we would see billions of additional barrels of oil and a reduction in CO2 emissions equivalent to pulling more than 200 million cars off the road for a year," Secretary of Energy Bodman said. "The Weyburn Project will provide policymakers, the energy industry, and the general public with reliable information about industrial carbon sequestration and enhanced oil recovery."

340

Can-out hatch assembly with magnetic retention means  

SciTech Connect

A can-out hatch assembly may be positioned in sealed engagement about an aperture within a chamber and is adapted to engage a cover on a container positioned over the aperture to allow the transfer of a contaminant from the chamber to the container while maintaining the contaminant as well as internal portions of the chamber and container isolated from the surrounding environment. With the container's cover engaged by the can-out hatch assembly, the hatch assembly as well as the cover may be pivotally displaced from the aperture with the cover maintaining the exterior portion of the hatch assembly isolated from the contaminant. After the contaminant is transferred from the chamber to the container, the hatch assembly and cover are again positioned in sealed engagement about the aperture. The hatch assembly then positions the cover upon the open end of the container in a sealed manner allowing the container to be removed while maintaining the chamber sealed relative to the surrounding environment. The can-out hatch assembly is particularly adapted for operation by remote control means within the sealed chamber.

Frank, Robert C. (Crestwood, IL); Hoh, Joseph C. (Naperville, IL)

1986-01-01T23:59:59.000Z

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


341

More is the Same; Phase Transitions and Mean Field Theories  

E-Print Network (OSTI)

This paper Looks at the early theory of phase transitions. It considers a group of related concepts derived from condensed matter and statistical physics. The key technical ideas here go under the names of "singularity", "order parameter", "mean field theory", and "variational method". In a less technical vein, the question here is how can matter, ordinary matter, support a diversity of forms. We see this diversity each time we observe ice in contact with liquid water or see water vapor, "steam", come up from a pot of heated water. Different phases can be qualitatively different in that walking on ice is well within human capacity, but walking on liquid water is proverbially forbidden to ordinary humans. These differences have been apparent to humankind for millennia, but only brought within the domain of scientific understanding since the 1880s. A phase transition is a change from one behavior to another. A first order phase transition involves a discontinuous jump in a some statistical variable of the syste...

Kadanoff, Leo P

2009-01-01T23:59:59.000Z

342

Evolution of primordial magnetic fields in mean-field approximation  

E-Print Network (OSTI)

We study the evolution of phase-transition-generated cosmic magnetic fields coupled to the primeval cosmic plasma in turbulent and viscous free-streaming regimes. The evolution laws for the magnetic energy density and correlation length, both in helical and non-helical cases, are found by solving the autoinduction and Navier-Stokes equations in mean-field approximation. Analytical results are derived in Minkowski spacetime and then extended to the case of a Friedmann universe with zero spatial curvature, both in radiation and matter dominated eras. The three possible viscous free-streaming phases are characterized by a drag term in the Navier-Stokes equation which depends on the free-steaming properties of neutrinos, photons, or hydrogen atoms, respectively. In the case of non-helical magnetic fields, the magnetic intensity $B$ and the magnetic correlation length $\\xi_B$ evolve asymptotically with the temperature $T$ as $B(T) \\simeq \\kappa_B (N_i v_i)^{\\varrho_1} (T/T_i)^{\\varrho_2}$ and $\\xi_B(T) \\simeq \\kap...

Campanelli, Leonardo

2013-01-01T23:59:59.000Z

343

Relativistic mean-field models and nuclear matter constraints  

SciTech Connect

This work presents a preliminary study of 147 relativistic mean-field (RMF) hadronic models used in the literature, regarding their behavior in the nuclear matter regime. We analyze here different kinds of such models, namely: (i) linear models, (ii) nonlinear {sigma}{sup 3}+{sigma}{sup 4} models, (iii) {sigma}{sup 3}+{sigma}{sup 4}+{omega}{sup 4} models, (iv) models containing mixing terms in the fields {sigma} and {omega}, (v) density dependent models, and (vi) point-coupling ones. In the finite range models, the attractive (repulsive) interaction is described in the Lagrangian density by the {sigma} ({omega}) field. The isospin dependence of the interaction is modeled by the {rho} meson field. We submit these sets of RMF models to eleven macroscopic (experimental and empirical) constraints, used in a recent study in which 240 Skyrme parametrizations were analyzed. Such constraints cover a wide range of properties related to symmetric nuclear matter (SNM), pure neutron matter (PNM), and both SNM and PNM.

Dutra, M.; Lourenco, O.; Carlson, B. V. [Departamento de Fisica, Instituto Tecnologico de Aeronautica-CTA, 12228-900, Sao Jose dos Campos, SP (Brazil); Delfino, A. [Instituto de Fisica, Universidade Federal Fluminense, 24210-150, Boa Viagem, Niteroi, RJ (Brazil); Menezes, D. P.; Avancini, S. S. [Departamento de Fisica, CFM, Universidade Federal de Santa Catarina, CP. 476, CEP 88.040-900, Florianopolis, SC (Brazil); Stone, J. R. [Oxford Physics, University of Oxford, OX1 3PU Oxford (United Kingdom) and Department of Physics and Astronomy, University of Tennessee, Knoxville, Tennessee 37996 (United States); Providencia, C. [Centro de Fisica Computacional, Department of Physics, University of Coimbra, P-3004-516 Coimbra (Portugal); Typel, S. [GSI Helmholtzzentrum fuer Schwerionenforschung GmbH, Theorie, Planckstrasse 1,D-64291 Darmstadt (Germany)

2013-05-06T23:59:59.000Z

344

Eddy-Mean Flow Interaction in the Gulf Stream at 68°W. Part II: Eddy Forcing on the Time-Mean Flow  

Science Conference Proceedings (OSTI)

Data front the SYNOP 68°W current meter array show a trough pattern in the 26-month mean Gulf Stream path at 68°W and a cyclone in the mean deep flow. In order to determine whether eddies are controlling the speed and direction of the time-mean ...

Meghan Cronin

1996-10-01T23:59:59.000Z

345

Thermostat means adaptively controlling the amount of overshoot or undershoot of space temperature  

Science Conference Proceedings (OSTI)

This patent describes a clock thermostat adaptively controlling the amount of overshoot or undershoot of space temperature due to changes in the current temperature setpoint of the thermostat means, including: microcomputer means including real time clock and memory; data input means connected to the microcomputer to input a sequence of desired heat and cool control temperature setpoints and times for a desired temperature control by the thermostat; temperature sensor including connection to monitor temperature at the thermostat means; connection means connected to microcomputer to communicate a temperature at sensor means to the microcomputer; thermostat means further including output switch adapted to control heating and cooling equipment by thermostat means; microcomputer means and memory means including overshoot-undershoot correction program means which is operable to adjust a ramprate slope of a current temperature setpoint of thermostat means; overshoot-undershoot correction program and the memory means providing a ramprate slope that reduces an overshoot-undershoot of space temperature due to a change in current temperature setpoint; and overshoot-undershoot correction program means and memory means creating a new ramprate slope after a temperature setpoint change to progressively adjust the ramprate slope of the thermostat to limit the amount of overshoot-undershoot of the space temperature to an acceptable level.

Beckey, T.J.

1987-06-16T23:59:59.000Z

346

The Mean Along-Isobath Heat and Salt Balances over the Middle Atlantic Bight Continental Shelf  

Science Conference Proceedings (OSTI)

The mean heat and salt balances over the Middle Atlantic Bight continental shelf are investigated by testing the hypothesis that surface fluxes of heat or freshwater are balanced by along-isobath fluxes resulting from the mean, depth-averaged, ...

Steven J. Lentz

2010-05-01T23:59:59.000Z

347

Directional Distributions and Mean Square Slopes in the Equilibrium and Saturation Ranges of the Wave Spectrum  

Science Conference Proceedings (OSTI)

Field observations show that the crosswind component constitutes a significant portion of the ocean surface mean square slope. The average ratio between the crosswind and upwind mean square slope components is 0.88 in slick-covered ocean ...

Paul A. Hwang; David W. Wang

2001-05-01T23:59:59.000Z

348

Float Observations of the Southern Ocean. Part I: Estimating Mean Fields, Bottom Velocities, and Topographic Steering  

Science Conference Proceedings (OSTI)

Autonomous Lagrangian Circulation Explorer (ALACE) floats are used to examine mean flow and eddy fluxes at 900-m depth in the Southern Ocean. Mean temperature and dynamic topography from float data are consistent with earlier estimates from ...

Sarah T. Gille

2003-06-01T23:59:59.000Z

349

Observations and a Model of the Mean Circulation over the Middle Atlantic Bight Continental Shelf  

Science Conference Proceedings (OSTI)

Analyses of current time series longer than 200 days from 33 sites over the Middle Atlantic Bight continental shelf reveal a consistent mean circulation pattern. The mean depth-averaged flow is equatorward, alongshelf, and increases with ...

Steven J. Lentz

2008-06-01T23:59:59.000Z

350

Quasi-Geostrophic Topographically Generated Mean Flow over the Continental Margin  

Science Conference Proceedings (OSTI)

Observations of oppositely directed, monthly mean alongshore currents and wind stress over the continental margin off the Pacific coast of North America motivate the theoretical examination of mean flow generation by topographic lee-wave drag. We ...

Roger M. Samelson; J. S. Allen

1987-11-01T23:59:59.000Z

351

An Applied Ontological Semantic Microtheory of Adjective Meaning for Natural Language Processing  

Science Conference Proceedings (OSTI)

This paper is devoted to determining and representing adjectival meaning. The results form a microtheory in the Mikrokosmos project on computational ontological semantics. Mikrokosmos microtheories cover the meaning of lexical categories in several ... Keywords: adjectives, computational lexicography, ontological semantics

Victor Raskin; Sergei Nirenburg

1998-11-01T23:59:59.000Z

352

Generation of Mean Flows and Jets on a Beta Plane and over Topography  

Science Conference Proceedings (OSTI)

This paper proposes and discusses mechanisms whereby mean flows and jets are produced by differential rotation and by topographic effects. It is shown that, in general, a mean gradient of potential vorticity not only inhibits the cascade of ...

Geoffrey K. Vallis; Matthew E. Maltrud

1993-07-01T23:59:59.000Z

353

Building information : means and methods of communication in design and construction  

E-Print Network (OSTI)

Architects are trained and practiced in the means and methods of design. These are distinct from the physical means and methods of construction, which have traditionally been in the hands of contractors. The successful ...

Lobel, Joshua M

2008-01-01T23:59:59.000Z

354

A Cascade-Type Global Energy Conversion Diagram Based on Wave–Mean Flow Interactions  

Science Conference Proceedings (OSTI)

A cascade-type energy conversion diagram is proposed for the purpose of diagnosing the atmospheric general circulation based on wave–mean flow interactions. Mass-weighted isentropic zonal means facilitate the expression of nongeostrophic wave ...

Sachiyo Uno; Toshiki Iwasaki

2006-12-01T23:59:59.000Z

355

A Statistical Generalization of the Transformed Eulerian-Mean Circulation for an Arbitrary Vertical Coordinate System  

Science Conference Proceedings (OSTI)

A new method is derived for approximating the mean meridional circulation in an arbitrary vertical coordinate system using only the time-mean and zonally averaged meridional velocity, meridional eddy transport, and eddy variance. The method is ...

Olivier Pauluis; Tiffany Shaw; Frédéric Laliberté

2011-08-01T23:59:59.000Z

356

Fast Two-Stream Method for Computing Diurnal-Mean Actinic Flux in Vertically Inhomogeneous Atmospheres  

Science Conference Proceedings (OSTI)

Based on a derivation of the two-stream daytime-mean equations of radiative flux transfer, a method for computing the daytime-mean actinic fluxes in the absorbing and scattering vertically inhomogeneous atmosphere is suggested. The method applies ...

V. V. Filyushkin; S. Madronich; G. P. Brasseur; I. V. Petropavlovskikh

1994-04-01T23:59:59.000Z

357

WHAT THE SMART GRID MEANS TO YOU AND THE PEOPLE YOU SERVE | Department...  

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

WHAT THE SMART GRID MEANS TO YOU AND THE PEOPLE YOU SERVE WHAT THE SMART GRID MEANS TO YOU AND THE PEOPLE YOU SERVE The U.S. Department of Energy (DOE) is charged under the Energy...

358

An Evaluation of Monthly Mean MSU and ECMWF Global Atmospheric Temperatures for Monitoring Climate  

Science Conference Proceedings (OSTI)

Monthly mean brightness temperature anomalies derived from channel 2 of the microwave sounding units (M5Us) on board NOAA satellites over the past decade are examined and compared with both weighted and pressure-level ECMWF monthly mean ...

James W. Hurrell; Kevin E. Trenberth

1992-12-01T23:59:59.000Z

359

Specifying Monthly Mean Surface Temperatures in Canada and Alaska from the 500 mb Height Field  

Science Conference Proceedings (OSTI)

Specification equations for monthly mean air temperature anomalies at 68 surface stations in Canada and Alaska are derived by applying a forward selection screening procedure to simultaneous monthly mean 500 mb height anomalies at 110 grid points ...

William H. Klein; Amir Shabbar; Runhua Yang

1989-06-01T23:59:59.000Z

360

Parameter selection for suppressed fuzzy c-means with an application to MRI segmentation  

Science Conference Proceedings (OSTI)

This paper presents an algorithm, called the modified suppressed fuzzy c-means (MS-FCM), that simultaneously performs clustering and parameter selection for the suppressed fuzzy c-means (S-FCM) algorithm proposed by [Fan, J.L., Zhen, W.Z., Xie, W.X., ... Keywords: Fuzzy c-means, Fuzzy clustering, Magnetic resonance image segmentation, Parameter selection, Suppressed fuzzy c-means

Wen-Liang Hung; Miin-Shen Yang; De-Hua Chen

2006-04-01T23:59:59.000Z

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


361

Asymptotic expansion for pricing options for a mean-reverting asset with multiscale stochastic volatility  

Science Conference Proceedings (OSTI)

This work investigates the valuation of options when the underlying asset follows a mean-reverting log-normal process with a stochastic volatility that is driven by two stochastic processes with one persistent factor and one fast mean-reverting factor. ... Keywords: Mean reversion, Multiscale asymptotic, Option pricing, Stochastic volatility

Mei Choi Chiu; Yu Wai Lo; Hoi Ying Wong

2011-07-01T23:59:59.000Z

362

On the regularity of the conditional distribution of the sample mean  

E-Print Network (OSTI)

We show that the hypothesis of regularity of the conditional distribution of the empiric average of a finite sample of IID random variables, given all the sample "fluctuations", which appeared in our earlier manuscript |1] in the context of the eigenvalue concentration analysis for multi-particle random operators, is satisfied for a class of probability distributions with piecewise-constant or sufficiently smooth probability density. It extends the well-known property of Gausssian IID samples.

Victor Chulaevsky

2013-04-25T23:59:59.000Z

363

Annual and Seasonal Global Variation in Total Ozone and Layer-Mean Ozone,  

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

Atmospheric Trace Gases » Ozone » Total Ozone and Layer-Mean Ozone Atmospheric Trace Gases » Ozone » Total Ozone and Layer-Mean Ozone Annual and Seasonal Global Variation in Total Ozone and Layer-Mean Ozone, 1958-1987 (1991) DOI: 10.3334/CDIAC/atg.ndp023 data Data Investigators J. K. Angell, J. Korshover, and W. G. Planet Description For 1958 through 1987, this data base presents total ozone variations and layer mean ozone variations expressed as percent deviations from the 1958 to 1977 mean. The total ozone variations were derived from mean monthly ozone values published in Ozone Data for the World by the Atmospheric Environment Service in cooperation with the World Meteorological Organization. The layer mean ozone variations are derived from ozonesonde and Umkehr observations. The data records include year, seasonal and annual

364

Monthly Mean Pressure Reconstructions for Europe (1780-1980) and North  

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

Monthly Mean Pressure Reconstructions for Europe (1780-1980) and North Monthly Mean Pressure Reconstructions for Europe (1780-1980) and North America (1858-1980) (1987) (NDP-025) DOI: 10.3334/CDIAC/cli.ndp025 image Data Investigators P. D. Jones, T. M. L. Wigley, and K. R. Briffa Real and reconstructed measurements of monthly mean pressure data have been constructed for Europe for 1780 through 1980 and North America for 1858 through 1980. The reconstructions use early pressure, temperature, and precipitation data from a variety of sources including World Weather Records, meteorological and national archives, circulation maps, and daily chart series. Each record contains the year, monthly mean pressure, quality code, and annual mean pressure. These reconstructed gridded monthly pressures provide a reliable historical record of mean sea-level pressures

365

Scada Malware, a Proof of Concept  

Science Conference Proceedings (OSTI)

Critical Infrastructures are nowadays exposed to new kind of threats. The cause of such threats is related to the large number of new vulnerabilities and architectural weaknesses introduced by the extensive use of ICT and Network technologies into such ... Keywords: Critical infrastructures, Malware, SCADA Systems, Security

Andrea Carcano; Igor Nai Fovino; Marcelo Masera; Alberto Trombetta

2009-08-01T23:59:59.000Z

366

SCADA system security, complexity, and security proof  

Science Conference Proceedings (OSTI)

Modern Critical infrastructures have command and control systems. These command and control systems are commonly called supervisory control and data acquisition (SCADA). In the past, SCADA system has a closed operational environment, so these systems ... Keywords: 11770-2 mechanism 9, Formal security poof, SCADA, key management

Reda Shbib; Shikun Zhou; Khalil Alkadhimi

2012-11-01T23:59:59.000Z

367

Direct liquefaction proof-of-concept facility  

DOE Green Energy (OSTI)

The main objective of the U.S. DOE, Office of Fossil Energy, is to ensure the US a secure energy supply at an affordable price. An integral part of this program was the demonstration of fully developed coal liquefaction processes that could be implemented if market and supply considerations so required, Demonstration of the technology, even if not commercialized, provides a security factor for the country if it is known that the coal to liquid processes are proven and readily available. Direct liquefaction breaks down and rearranges complex hydrocarbon molecules from coal, adds hydrogen, and cracks the large molecules to those in the fuel range, removes hetero-atoms and gives the liquids characteristics comparable to petroleum derived fuels. The current processes being scaled and demonstrated are based on two reactor stages that increase conversion efficiency and improve quality by providing the flexibility to adjust process conditions to accommodate favorable reactions. The first stage conditions promote hydrogenation and some oxygen, sulfur and nitrogen removal. The second stage hydrocracks and speeds the conversion to liquids while removing the remaining sulfur and nitrogen. A third hydrotreatment stage can be used to upgrade the liquids to clean specification fuels.

Alfred G. Comolli; Peizheng Zhou; HTI Staff

2000-01-01T23:59:59.000Z

368

Author Proof A ARTICLE Cellulose Hydrolysis  

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

II: II: Numerical Results and Analysis Wen Zhou, 1,2 Zhiqian Hao, 3 Ying Xu, 1,2 Heinz-Bernd Schu ¨ ttler 3 1 Department of Biochemistry and Molecular Biology, Institute of Bioinformatics, University of Georgia, Athens, Georgia; telephone: 706-542-9779; fax: 706-542-9751; e-mail: xyn@bmb.uga.edu 2 BioEnergy Science Center (BESC), Oak Ridge, Tennessee 3 Department of Physics and Astronomy, University of Georgia, Athens, Georgia; telephone: 706-542-3886; fax: 706-542-2492; e-mail: hbs@physast.uga.edu Received 16 December 2008; revision received 13 March 2009; accepted 27 April 2009 Published online 12 May 2009 in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/bit.22388 ABSTRACT: Numerical simulation results are presented for a cellulose hydrolysis model which incorporates both the enzymatic glucan chain fragmentation kinetics and the hydrolytic

369

Author Proof A ARTICLE Cellulose Hydrolysis  

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

I: I: A General Modeling Formalism Wen Zhou, 1,2 Heinz-Bernd Schu ¨ ttler, 3 Zhiqian Hao, 3 Ying Xu 1,2 1 Department of Biochemistry and Molecular Biology, Institute of Bioinformatics, University of Georgia, Athens, Georgia; telephone: 706-542-9779; fax: 706-542-9751; e-mail: xyn@bmb.uga.edu 2 BioEnergy Science Center (BESC), Oak Ridge, Tennassee 3 Department of Physics and Astronomy, University of Georgia, Athens, Georgia; telephone: 706-542-3886; fax: 706-542-9751; e-mail: hbs@physast.uga.edu Received 16 December 2008; revision received 13 March 2009; accepted 27 April 2009 Published online 8 May 2009 in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/bit.22389 ABSTRACT: We develop a general framework for a realistic rate equation modeling of cellulose hydrolysis using non- complexed cellulase. Our proposed formalism, for the first time, takes

370

Second Proof Work, Power, and Energy  

E-Print Network (OSTI)

Administration. (2001). ``Annual Energy Review 2001.'' U.S. Department of Energy, Washington, DC. T0025 TABLE V. (2001). ``Annual Energy Review 2001.'' U.S. Department of Energy, Washington, DC. P0140 Work, Power Administration. (2001). ``Annual Energy Review 2001.'' U.S. Department of Energy, Washington, DC. P0145 536 Work

Kostic, Milivoje M.

371

FINGERPRINTING SOILS – A PROOF OF CONCEPT  

E-Print Network (OSTI)

Forensic soil characterization is an under-explored field in the forensic sciences. One aspect of forensic sciences is Locard’s Exchange Principle, which states that every contact leaves a trace. As soil characterization technology improves, applications of soil forensics can more accurately identify if a soil sample collected from a suspect corresponds to samples collected at a crime scene. This research focuses on the use of visible near and infrared, diffuse reflectance spectroscopy (VNIR DRS) to develop spectral “fingerprints” of soils. Our hypothesis is that VNIR spectra of soils from a crime scene are unique from other soils, even soils of the same soil series. If soil spectra from a crime scene are unique, this data can be used to accurately assess Locard’s Exchange Principle. Soil samples were collected within in a thirty-mile radius of a designated “crime scene” in the Brazos River floodplain near Texas A

Kobylinski, Catherine

2011-05-01T23:59:59.000Z

372

PROOF COPY 003402JOM Bert Sweetman  

E-Print Network (OSTI)

to predict airgap demand. Airgap demand is the maximum expected increase in the water surface elevation methods of predicting airgap demand based on first-order diffraction are also briefly presented demand. Large-volume floating structures, including semi- submersibles and floating production, storage

Sweetman, Bert

373

Cavitation-Induced Fusion: Proof of Concept  

E-Print Network (OSTI)

Cavitation-induced fusion (also known as bubble fusion or sonofusion) has been a topic of much debate and controversy and is generally (albeit incorrectly) perceived as unworkable. In this paper we present the theoretical foundations of cavitation-induced fusion and summarize the experimental results of the research conducted in the past 20 years. Based on the systematic study of all available data we conclude that the cavitation-induced fusion is feasible, doable, and can be used for commercial power generation. We present the results of our own research and disclose a commercial reactor prototype.

Fomitchev-Zamilov, Max I

2012-01-01T23:59:59.000Z

374

Cavitation-Induced Fusion: Proof of Concept  

E-Print Network (OSTI)

Cavitation-induced fusion (also known as bubble fusion or sonofusion) has been a topic of much debate and controversy and is generally (albeit incorrectly) perceived as unworkable. In this paper we present the theoretical foundations of cavitation-induced fusion and summarize the experimental results of the research conducted in the past 20 years. Based on the systematic study of all available data we conclude that the cavitation-induced fusion is feasible, doable, and can be used for commercial power generation. We present the results of our own research and disclose a commercial reactor prototype.

Max I. Fomitchev-Zamilov

2012-09-09T23:59:59.000Z

375

Proof graphs for parameterised boolean equation systems  

Science Conference Proceedings (OSTI)

Parameterised Boolean equation systems (PBESs) can be used for solving a variety of verification problems such as model checking and equivalence checking problems. The definition of solution for a PBES is notoriously difficult to understand, which makes ...

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

2013-08-01T23:59:59.000Z

376

Proof-complexity results for nonmonotonic reasoning  

Science Conference Proceedings (OSTI)

It is well-known that almost all nonmonotonic formalisms have a higher worst-case complexity than classical reasoning. In some sense, this observation denies one of the original motivations of nonmonotonic systems, which was the expectation taht nonmonotonic ... Keywords: circumscription, default logic, sequent calculi

Uwe Egly; Hans Tompits

2001-07-01T23:59:59.000Z

377

New proofs of (new) Direct Product Theorems  

E-Print Network (OSTI)

this message as the truth table of a func- tion f : [m] ? {F , let T (f ) denote the truth table of f . For any s ? S,· 2 n where T denotes the truth table of a function and ?

Jaiswal, Ragesh

2008-01-01T23:59:59.000Z

378

A Toolsupported Proof System for Multithreaded Java #  

E-Print Network (OSTI)

/9­2). #12; 2 within a single object, only, but not across object boundaries. To mirror this modularity is covered by the interference freedom test [OG76,LG81], formulated also in the local language. It has#ecting more than one instance, communication and object creation is treated in the cooperation test, using

Steffen, Martin

379

Direct liquefaction proof-of-concept program  

DOE Green Energy (OSTI)

The POC Bench Option Project (PB-Series) is geared to evaluate different novel processing concepts in catalytic direct coal liquefaction and coprocessing of organic wastes such as plastics, heavy resids, waste oils, and ligno-cellulose wastes with coal. The new ideas being explored in this program include using novel dispersed slurry catalysts and combinations of dispersed and supported catalysts (hybrid mode), and coprocessing of coal with waste plastics, low quality resids, waste oils, and ligno-cellulosic wastes, etc. The primary objective of bench run PB-07 was to study the impact of dispersed catalyst composition and loading upon the direct liquefaction performance of a high volatile bituminous Illinois No. 6 coal. The run was carried out for 20 operating days (including the four days used for the production of O-6 bottoms material for West Virginia University), spanning over five process conditions. Results are reported.

Comolli, A.G.; Zhou, P.Z.; Lee, T.L.K.; Hu, J.; Karolkiewicz, W.F.; Popper, G.

1997-12-01T23:59:59.000Z

380

Automation for Interactive Proof: First Prototype  

E-Print Network (OSTI)

Action Intensity savings Savings at electricity rate $0.07/kWh $0.10/kWh $0.13/kWh Vampire appliances Unplug all appliances not in use (assume 20W of vampire appliances) 0.48 kWh per day $0.034 $0.048 $0 hot (50°C) to cold wash using high efficiency washer (86 litres per load)iv 2.25 kWh per load $0.16 $0

Paulson, Lawrence C.

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


381

LIN Chapter 6 Proof CORRECTED.indd  

Science Conference Proceedings (OSTI)

AOCS Press, Urbana, IL 61802 © 2012 by AOCS Press. All rights reserved. No part of this PDF may be repro-

382

Method and means for continuous precipitation of easy-dry, granular uranium peroxide  

SciTech Connect

A method and means for continuous precipitation of granular uranium peroxide. The reaction vessel and agitation method practiced in it avoid filter plugging and caking problems.

Cahill, Allen E. (Roland, IA); Burkhart, deceased, Lawrence E. (late of Ames, IA)

1992-02-28T23:59:59.000Z

383

Energy-range relation and mean energy variation in therapeutic particle beams  

Science Conference Proceedings (OSTI)

Analytical expressions for the mean energy and range of therapeutic light ion beams and low- and high-energy electrons have been derived

Johanna Kempe; Anders Brahme

2008-01-01T23:59:59.000Z

384

@Google: Eric Isaacs - What does it mean to change the game?...  

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

@Google: Eric Isaacs - What does it mean to change the game? Share Browse By - Any - Energy -Energy efficiency --Vehicles ---Alternative fuels ---Automotive engineering ---Diesel...

385

Battery conditioning system having communication with battery parameter memory means in conJunction with battery conditioning  

SciTech Connect

This patent describes a battery conditioning system. It comprises: rechargeable battery means for supplying operating current during a number of hours of portable operation so as to become progressively discharged as a result, memory and communications means for operative association with the rechargeable battery means and receiving power from the rechargeable battery means during portable operation, and battery conditioning system means for coupling with the rechargeable batter means and with the memory and communications means, for conditioning of the battery means after a period of portable operation and for the transmission of data concerning the rechargeable battery means.

Koenck, S.E.

1989-12-05T23:59:59.000Z

386

The Epigenesis of Meaning in Human Beings, and Possibly in Robots  

Science Conference Proceedings (OSTI)

This article addresses a classical question: Can a machine use language meaningfully and if so, how can this be achieved? The first part of the paper is mainly philosophical. Since meaning implies intentionality on the part of the language user, ... Keywords: consciousness, development, embodiment, epigenesis, intentionality, language, meaning, robotics, social interaction, the Turing Test

Jordan Zlatev

2001-05-01T23:59:59.000Z

387

Segmentation of images with separating layers by fuzzy c-means and convex optimization  

Science Conference Proceedings (OSTI)

This paper is concerned with the segmentation of two- and three-dimensional images containing separated layers. We tackle this problem by combining the fuzzy c-means algorithm with recently developed convex multi-class segmentation algorithms, where ... Keywords: ADMM, Convex optimization, Fuzzy-c means, Materials with layers, Segmentation, TV-functional

B. Shafei; G. Steidl

2012-05-01T23:59:59.000Z

388

Interactions between the summer mean monsoon and the intraseasonal oscillation in the Indian monsoon region  

E-Print Network (OSTI)

Interactions between the summer mean monsoon and the intraseasonal oscillation in the Indian monsoon region Yanjun Qi,1,2,3 Renhe Zhang,2 Tim Li,4 and Min Wen2 Received 30 April 2008; revised 22 July variations of the seasonal mean monsoon and intraseasonal oscillation (ISO) during boreal summer over

Li, Tim

389

Diagnosing implosion performance at the National Ignition Facility (NIF) by means of neutron spectrometry  

E-Print Network (OSTI)

Diagnosing implosion performance at the National Ignition Facility (NIF) by means of neutron.1088/0029-5515/53/4/043014 Diagnosing implosion performance at the National Ignition Facility (NIF) by means of neutron spectrometry J at the National Ignition Facility (NIF) provides essential information about the implosion performance. From

390

Using the method of weighted residuals to compute potentials of mean force  

Science Conference Proceedings (OSTI)

We propose a general framework for approximating the potential of mean force (PMF) along a reaction coordinate in conformational space. This framework, based on the method of weighted residuals, can be viewed as a generalization of thermodynamic integration ... Keywords: Free energy, Histogram methods, Method of weighted residuals, Potential of mean force, Thermodynamic integration

Eric C. Cyr; Stephen D. Bond

2007-07-01T23:59:59.000Z

391

A spectral solution of nonlinear mean field dynamo equations: With inertia  

Science Conference Proceedings (OSTI)

This paper presents a numerical solution method for the nonlinear mean field dynamo equations in a rotating fluid spherical shell. A finite amplitude field drives a flow through the Lorentz force in the momentum equation and this flow feeds back on the ... Keywords: Earth's core, Inertial effect, Mean field dynamo, Spectral method, Spherical shell

Mohammad M. Rahman; David R. Fearn

2009-08-01T23:59:59.000Z

392

Wave–Mean Flow Feedback and the Persistence of Simulated Zonal Flow Vacillation  

Science Conference Proceedings (OSTI)

The structure of eddies forcing the vacillation of the southern midlatitude tropospheric zonal-mean zonal wind and the significance of wave–mean flow feedbacks on its persistence are assessed using a 100-yr 8-h dataset simulated by the ...

I. G. Watterson

2002-04-01T23:59:59.000Z

393

MeanField Approach to a Probabilistic Model in Information Retrieval  

E-Print Network (OSTI)

Mean­Field Approach to a Probabilistic Model in Information Retrieval Bin Wu, K. Y. Michael Wong, and rel­ evancy assessment for Information Retrieval (IR). Mean­field methods are applied to analyze algorithms in IR. 1 Introduction The area of information retrieval (IR) studies the representation

Wong, Michael K Y

394

A multiobjective metaheuristic for a mean-risk multistage capacity investment problem  

Science Conference Proceedings (OSTI)

We propose a multiobjective local search metaheuristic for a mean-risk multistage capacity investment problem with irreversibility, lumpiness and economies of scale in capacity costs. Conditional value-at-risk is considered as a risk measure. Results ... Keywords: Mean-risk, Multiobjective metaheuristics, Multistage capacity investment, Stochastic integer programming

João Claro; Jorge Pinho Sousa

2010-02-01T23:59:59.000Z

395

Aspects of the Mean Wintertime Circulation along Australia's Southern Shelves: Numerical Studies  

Science Conference Proceedings (OSTI)

A high-resolution numerical model is used to study the mean wintertime shelf-slope circulation between the Gulfs of South Australia and the west coast of Tasmania. The mean downwelling-favorable winds for the region result in a continuous ...

Mauro Cirano; John F. Middleton

2004-03-01T23:59:59.000Z

396

Table B1. Summary Table: Totals and Means of Floorspace, Number of Workers, and  

U.S. Energy Information Administration (EIA) Indexed Site

. Summary Table: Totals and Means of Floorspace, Number of Workers, and Hours of Operation, 1999" . Summary Table: Totals and Means of Floorspace, Number of Workers, and Hours of Operation, 1999" ,"All Buildings (thousand)","Total Floorspace (million square feet)","Total Workers in All Buildings (thousand)","Mean Square Feet per Building (thousand)","Mean Square Feet per Worker","Mean Hours per Week" "All Buildings ................",4657,67338,81852,14.5,823,60 "Building Floorspace" "(Square Feet)" "1,001 to 5,000 ...............",2348,6774,11125,2.9,609,57 "5,001 to 10,000 ..............",1110,8238,10968,7.4,751,53 "10,001 to 25,000 .............",708,11153,11378,15.7,980,65 "25,001 to 50,000 .............",257,9311,9243,36.2,1007,78

397

Transparent selective illumination means suitable for use in optically activated electrical switches and optically activated electrical switches constructed using same  

DOE Patents (OSTI)

A planar transparent light conducting means and an improved optically activated electrical switch made using the novel light conducting means are disclosed. The light conducting means further comprise light scattering means on one or more opposite planar surfaces thereof to transmit light from the light conducting means into adjacent media and reflective means on other surfaces of the light conducting means not containing the light scattering means. The optically activated electrical switch comprises at least two stacked photoconductive wafers, each having electrodes formed on both surfaces thereof, and separated by the planar transparent light conducting means. The light scattering means on the light conducting means face surfaces of the wafers not covered by the electrodes to transmit light from the light conducting means into the photoconductive wafers to uniformly illuminate and activate the switch.

Wilcox, Russell B. (Oakland, CA)

1991-01-01T23:59:59.000Z

398

Mean magnetic field renormalization and Kolmogorov's energy spectrum in MHD turbulence  

E-Print Network (OSTI)

In this paper we construct a self-consistent renormalization group procedure for MHD turbulence in which small wavenumber modes are averaged out, and effective mean magnetic field at large wavenumbers is obtained. In this scheme the mean magnetic field scales as $k^{-1/3}$, while the energy spectrum scales as $k^{-5/3}$ similar to that in fluid turbulence. We also deduce from the formalism that the magnitude of cascade rate decreases as the strength of the mean magnetic field is increased.

Mahendra K. Verma

1998-03-15T23:59:59.000Z

399

Means and method for the destruction of particles entrained in a gas stream  

DOE Patents (OSTI)

An apparatus and method for the destruction of particles entrained in a gas stream are disclosed. Destruction in the context of the subject invention means the fragmentation and/or vaporization of particles above a certain size limit. The subject invention contemplates destroying such particles by exposing them to intense bursts of laser light, such light having a frequency approximately equal to or less than the mean size of such particles. This invention is particularly adopted to the protection of turbine blades in open cycle coal-fired turbine systems. Means for introducing various chemical species and activating them by exposure to laser light are also disclosed.

Botts, Thomas E. (Wading River, NY); Powell, James R. (Shoreham, NY)

1980-01-01T23:59:59.000Z

400

Environmental impact Assessments – sufficient to verify sustainable biofuels?.  

E-Print Network (OSTI)

??The European Union requires that 10% of the energy in the transport sector shall come from renewable sources by 2020. In addition, biofuels used for… (more)

Englund, Oskar

2010-01-01T23:59:59.000Z

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


401

Comparative Forecast Evaluation: Graphical Gaussian Models and Sufficiency Relations  

Science Conference Proceedings (OSTI)

This paper deals with the comparative evaluation of categorical forecasts supposing that forecasts and observations are continuous variables and have a jointly normal distribution. An information content approach based on the well-established ...

Ulrich Callies

2000-06-01T23:59:59.000Z

402

Coal stocks at power plants are likely sufficient despite river ...  

U.S. Energy Information Administration (EIA)

As of March 31, 2011, EIA estimates that coal-fired power plants in States identified in the map had an average of a two-to-three month supply of coal on hand.

403

Nuclear deterrence : neither necessary nor sufficient for peace.  

E-Print Network (OSTI)

??This thesis carefully examines the question of the effect of nuclear weapons possession on international relations through a detailed examination of all international crises between… (more)

Wieninger, William A.

2004-01-01T23:59:59.000Z

404

Optimization Online - Sufficient Conditions for Low-rank Matrix ...  

E-Print Network (OSTI)

Jun 15, 2011 ... This class of optimization problems is $NP$-hard and a popular approach replaces the rank function with the nuclear norm of the matrix ...

405

The Seasonal Cycle of Interannual Variability and the Dynamical Imprint of the Seasonally Varying Mean State  

Science Conference Proceedings (OSTI)

Various aspects of the seasonal cycle of interannual variability of the observed 300-hPa streamfunction are documented and related to dynamical influences of the seasonality of the mean circulation. The stochastically excited nondivergent ...

Grant Branstator; Jorgen Frederiksen

2003-07-01T23:59:59.000Z

406

Comment on Mean First Passage Time for Nuclear Fission and the Emission of Light Particles  

E-Print Network (OSTI)

Theoretical methods, interpretations and conclusions on the fission dynamics in a recent publication of H. Hofmann and F. A. Ivanyuk on the mean first passage time are critically considered.

K. -H. Schmidt; J. Benlliure; D. Boilley; A. Heinz; A. Junghans; B. Jurado; A. Kelic; J. Pereira; C. Schmitt; O. Yordanov

2003-07-25T23:59:59.000Z

407

Water Vapor Transfer over the Southwest Pacific: Mean Patterns and Variations during Wet and Dry Periods  

Science Conference Proceedings (OSTI)

The mean water vapor transfer of the Southwest Pacific, as determined from radiosonde records near the 170°E meridional transect, is computed for the 1960–73 period. Emphasis is placed on defining average patterns, then examining variations that ...

M. M. Khatep; B. B. Fitzharris; W. E. Bardsley

1984-10-01T23:59:59.000Z

408

A Climatology of Mean Monthly Snowfall for the Conterminous United States: Temporal and Spatial Patterns  

Science Conference Proceedings (OSTI)

Mean monthly snowfall data for 216 stations across the conterminous United States were analyzed to produce a climatology that identifies statistical, spatial and intraseasonal aspects. Geographic variations in the length of the snowfall season ...

John A. Harrington Jr.; Randall S. Cerveny; Kenneth F. Dewey

1987-08-01T23:59:59.000Z

409

The Geographical Distribution and Seasonality of Persistence in Monthly Mean Air Temperatures over the United States  

Science Conference Proceedings (OSTI)

Eighty years of monthly mean station temperatures are used to evaluate the persistence of monthly air temperature anomalies over the United States. The geographical and seasonal dependence of the monthly persistence are described in term of the ...

H. M. van den Dool; W. H. Klein; J. E. Walsh

1986-03-01T23:59:59.000Z

410

Eddy Shape, Orientation, Propagation, and Mean Flow Feedback in Western Boundary Current Jets  

Science Conference Proceedings (OSTI)

We revisit a study of eddy-mean flow interactions in an idealized model of a Western Boundary Current Extension jet using properties of the horizontal velocity correlation tensor to diagnose characteristics of average eddy shape, orientation, ...

Stephanie Waterman; Brian J. Hoskins

411

Projected Changes in Mean and Extreme Precipitation in Africa under Global Warming. Part II: East Africa  

Science Conference Proceedings (OSTI)

Probable changes in mean and extreme precipitation in East Africa are estimated from general circulation models (GCMs) prepared for the Intergovernmental Panel on Climate Change Fourth Assessment Report (AR4). Bayesian statistics are used to ...

Mxolisi E. Shongwe; Geert Jan van Oldenborgh; Bart van den Hurk; Maarten van Aalst

2011-07-01T23:59:59.000Z

412

A Fully Lexicalized Grammar for French Based on Meaning-Text Theory (Invited Talk)  

Science Conference Proceedings (OSTI)

The paper presents a formal lexicalized dependency grammar based on Meaning-Text theory. This grammar associates semantic graphs with sentences. We propose a fragment of a grammar for French, including the description of extractions. The main particularity ...

Sylvain Kahane

2001-02-01T23:59:59.000Z

413

Illustration of a New Test for Detecting a Shift in Mean in Precipitation Series  

Science Conference Proceedings (OSTI)

Maronna and Yohai (1978) have introduced a new test for detecting a shift in mean in an independent time series, based on a second correlated series. Unlike other procedures commonly applied to precipitation series, this test is statistically ...

Kenneth W. Potter

1981-09-01T23:59:59.000Z

414

Sensitivity of Perturbation Variance and Fluxes in Turbulent Jets to Changes in the Mean Jet  

Science Conference Proceedings (OSTI)

Synoptic-scale eddy variance and fluxes of heat and momentum in midlatitude jets are sensitive to small changes in mean jet velocity, dissipation, and static stability. In this work the change in the jet producing the greatest increase in ...

Brian F. Farrell; Petros J. Ioannou

2004-11-01T23:59:59.000Z

415

Why new doesn't always mean efficient | ENERGY STAR Buildings & Plants  

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

Why new doesn't always mean efficient Why new doesn't always mean efficient Secondary menu About us Press room Contact Us Portfolio Manager Login Facility owners and managers Existing buildings Commercial new construction Industrial energy management Small business Service providers Service and product providers Verify applications for ENERGY STAR certification Design commercial buildings Energy efficiency program administrators Commercial and industrial program sponsors Associations State and local governments Federal agencies Tools and resources Training In this section Why you should design to earn the ENERGY STAR Leading firms choose ENERGY STAR Why new doesn't always mean efficient Follow EPA's step-by-step process ENERGY STAR Challenge for Architects Why new doesn't always mean efficient Contrary to popular opinion, new buildings don't always perform among the

416

Discovery of oxygen in atmosphere could mean life for Saturn's moon Dione  

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

Discovery of oxygen in atmosphere could mean life for Saturn's Discovery of oxygen in atmosphere could mean life for Saturn's moon Dione Discovery of oxygen in atmosphere could mean life for Saturn's moon Dione Discovery could mean ingredients for life are abundant on icy space bodies. March 5, 2012 Curiosity rover bears three LANL technologies Inside Titan: This artist's concept shows a possible scenario for the internal structure of Titan, as suggested by data from NASA's Cassini spacecraft. Scientists have been trying to determine what is under Titan's organic-rich atmosphere and icy crust. Data from the radio science experiment make the strongest case yet for a global subsurface ocean, sitting above a subsurface layer of high-pressure ice and a water-infused silicate core. Image credit: A. Tavani Get Expertise

417

Comparison of Cumulus Parameterizations and Entrainment Using Domain-Mean Wind Divergence in a Regional Model  

Science Conference Proceedings (OSTI)

Several different cumulus parameterizations are compared in a 10-day regional model simulation over the tropical Americas in northern summer. A simple bulk diagnostic test is devised, comparing the model's preferred domain-mean wind divergence ...

Brian E. Mapes; Thomas T. Warner; Mei Xu; David J. Gochis

2004-06-01T23:59:59.000Z

418

Response of the South Asian Summer Monsoon to Global Warming: Mean and Synoptic Systems  

Science Conference Proceedings (OSTI)

Recent diagnostics with the Geophysical Fluid Dynamics Laboratory Climate Model, version 2.1 (GFDL CM2.1), coupled model’s twentieth-century simulations reveal that this particular model demonstrates skill in capturing the mean and variability ...

Markus Stowasser; H. Annamalai; Jan Hafner

2009-02-01T23:59:59.000Z

419

Improvement of X-ray Analysis of Nano-scaled Materials by Means...  

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

Improvement of X-ray Analysis of Nano-scaled Materials by Means of High Resolution X-ray Emission Spectrometry Monday, August 1, 2011 - 2:00pm SSRL Bldg. 137 Conference Room...

420

Performance of Mean-Frequency Estimators for Doppler Radar and Lidar  

Science Conference Proceedings (OSTI)

The performance of mean-frequency estimators for Doppler radar and lidar measurements of winds is presented in terms of two basic parameters: ?, the ratio of the average signal energy per estimate to the spectral noise level; and ?, which is ...

R. G. Frehlich; M. J. Yadlowsky

1994-10-01T23:59:59.000Z

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


421

The Inverse Effect of Annual-Mean State and Annual-Cycle Changes on ENSO  

Science Conference Proceedings (OSTI)

The influence of the tropical Pacific annual-mean state on the annual-cycle amplitude and El Niño–Southern Oscillation (ENSO) variability is studied using the Max Planck Institute for Meteorology coupled general circulation model (CGCM) ECHAM5/...

Soon-Il An; Yoo-Geun Ham; Jong-Seong Kug; Axel Timmermann; Jung Choi; In-Sik Kang

2010-03-01T23:59:59.000Z

422

Radar Receiver Calibration by Means of Multiple Processing of Weather Echoes  

Science Conference Proceedings (OSTI)

In this paper we analyze a method of real-time radar receiver calibration by means of multiple processing of the same meteorological echoes collected during the routine measurements.

Eugenio Gorgucci; Gianfranco Scarchilli; Roberto Leonardi

1989-06-01T23:59:59.000Z

423

Active hypothermic growth : a novel means for increasing total recombinant protein production by CHO cells  

E-Print Network (OSTI)

Recombinant human glycoproteins produced by Chinese Hamster Ovary (CHO) cells are an important class of therapeutic molecules and investigating means of improving the production rate and product quality of these glycoproteins ...

Fox, Stephen Richard

2005-01-01T23:59:59.000Z

424

Global Ozone Observations from the UARS MLS: An Overview of Zonal-Mean Results  

Science Conference Proceedings (OSTI)

Global ozone observations from the Microwave Limb Sounder (MLS) aboard the Upper Atmosphere Research Satellite (UARS) are presented, in both vertically resolved and column abundance formats. The authors review the zonal-mean ozone variations ...

Lucien Froidevaux; Joe W. Waters; William G. Read; Lee S. Elson; Dennis A. Flower; Robert F. Jarnot

1994-10-01T23:59:59.000Z

425

Specification of Monthly Precipitation in the Western United States from Monthly Mean Circulation  

Science Conference Proceedings (OSTI)

The ability to specify monthly precipitation at 36 stations in Washington, Oregon and California by various indices of monthly mean circulation has been investigated. Most of the circulation indices were derived from eigenvector analyses of 700 ...

Bryan C. Weare; Marc A. Hoeschele

1983-06-01T23:59:59.000Z

426

The Mean Meridional Circulation of the Atmosphere Using the Mass above Isentropes as the Vertical Coordinate  

Science Conference Proceedings (OSTI)

The mean meridional circulation of the atmosphere is presented using the mass (more specifically, the pressure corresponding to the mass) above the isentrope of interest as the vertical coordinate. In this vertical coordinate, the mass-weighted ...

Gang Chen

2013-07-01T23:59:59.000Z

427

Tropospheric Mean Temperature and Its Relationship to the Oceans and Atmospheric Aerosols  

Science Conference Proceedings (OSTI)

Multiple-regression analyses of changes in tropospheric mean temperature as predictands and Pacific, Atlantic and Indian Ocean sea surface temperatures and atmospheric aerosol concentrations as predictors show that large fractions of the ...

Alfredo R. Navato; Reginald E. Newell; Jane C. Hsiung; Clare B. Billing Jr.; Bryan C. Weare

1981-02-01T23:59:59.000Z

428

Mean Monthly Diurnal Cycles Observed with PRE-STORM Surface Data  

Science Conference Proceedings (OSTI)

Data from 84 surface mesonetwork stations deployed across Oklahoma and Kansas are used to calculate monthly mean diurnal cycles at each mesonetwork site during May and June of 1985 during the Preliminary Regional Experiment for Stormscale ...

Paul M. Markowski; David J. Stensrud

1998-11-01T23:59:59.000Z

429

A Dynamical Method for Building Continuity into the Deep-Layer Mean Wind  

Science Conference Proceedings (OSTI)

Deep-layer mean winds over the tropical Atlantic are routinely derived during the hurricane season at the Space Science and Engineering Center, Madison, Wisconsin, using imagery and soundings from the VISSR Atmospheric Sounder (VAS) aboard GOES. ...

John Lewis; Andrew Van Tuyl; Christopher Velden

1987-04-01T23:59:59.000Z

430

Walker-Type Mean Circulations and Convectively Coupled Tropical Waves as an Interacting System  

Science Conference Proceedings (OSTI)

Interactions between convectively coupled tropical waves and Walker-type mean circulations are examined using a two-dimensional analytic model wherein drying and cooling of the boundary layer by convective and mesoscale downdrafts are in ...

Jun-Ichi Yano; Mitchell W. Moncrieff; Wojciech W. Grabowski

2002-05-01T23:59:59.000Z

431

Estimates of the Seasonal Mean Vertical Velocity Fields of the Extratropical Northern Hemisphere  

Science Conference Proceedings (OSTI)

Wintertime and summertime mean 500 mb vertical velocity fields for the extratropical Northern Hemisphere are calculated by several methods from general circulation statistics compiled from National Meteorological Center (NMC) operational analyses ...

Glenn H. White

1983-07-01T23:59:59.000Z

432

Verification of Monthly Mean Forecasts for Fire Weather Elements in the Contiguous United States  

Science Conference Proceedings (OSTI)

The authors first review a system for specifying monthly mean anomalies of midday temperature (T), dew-point (D), and wind speed (W) at a large network of surface stations across the United States. Multiple regression equations containing ...

Willlam H. Klein; Joseph J. Charney; Morris H. McCutchan; John W. Benoit

1996-12-01T23:59:59.000Z

433

An Intercomparison of Observational, Reanalysis, Satellite, and Coupled Model Data on Mean Rainfall in the Caribbean  

Science Conference Proceedings (OSTI)

This study examines the spatial variability of mean annual rainfall in the Caribbean in the satellite era 1979–2000. Intercomparisons of gridded rainfall fields from conventional stations, satellite estimators, reanalysis products, and coupled ...

Mark R. Jury

2009-04-01T23:59:59.000Z

434

Comparison of Mean Wind Speeds and Turbulence at a Coastal Site and Offshore Location  

Science Conference Proceedings (OSTI)

Observations of mean wind speed and longitudinal turbulence at a height of 8 m over the Atlantic ocean, 5 km off Long Island, New York, were compared with simultaneous observations at the beach. Results were grouped into wind direction classes ...

S. SethuRaman; G. S. Raynor

1980-01-01T23:59:59.000Z

435

Mean and Variability of the Tropical Atlantic Ocean in the CCSM4  

Science Conference Proceedings (OSTI)

This study analyzes important aspects of the tropical Atlantic Ocean from simulations of the fourth version of the Community Climate System Model (CCSM4): the mean sea surface temperature (SST) and wind stress, the Atlantic warm pools, the ...

Ernesto Muñoz; Wilbert Weijer; Semyon A. Grodsky; Susan C. Bates; Ilana Wainer

2012-07-01T23:59:59.000Z

436

Changes in the Spread of the Variability of the Seasonal Mean Atmospheric States Associated with ENSO  

Science Conference Proceedings (OSTI)

For a fixed sea surface temperature (SST) forcing, the variability of the observed seasonal mean atmospheric states in the extratropical latitudes can be characterized in terms of probability distribution functions (PDFs). Predictability of the ...

Arun Kumar; Anthony G. Barnston; Peitao Peng; Martin P. Hoerling; Lisa Goddard

2000-09-01T23:59:59.000Z

437

Monthly Mean Sea Level Fluctuations at Honolulu and San Francisco and the Intervening Geostrophic Currents  

Science Conference Proceedings (OSTI)

Monthly mean dynamic topography (0/500 db) along the great-circle section between Honolulu and San Francisco reveals four principal current regimes: a northerly flow immediately adjacent to the Hawaiian Islands, a broad southerly interior flow ...

James Michael Price

1981-10-01T23:59:59.000Z

438

Climatology and Trends in the Forcing of the Stratospheric Zonal-Mean Flow  

E-Print Network (OSTI)

The momentum budget of the Transformed Eulerian-Mean (TEM) equation is calculated using the European Centre for Medium-Range Weather Forecasts (ECMWF) Re-Analysis (ERA-40). This study outlines the considerable contribution ...

Monier, Erwan

439

Penalized Maximal t Test for Detecting Undocumented Mean Change in Climate Data Series  

Science Conference Proceedings (OSTI)

In this paper, a penalized maximal t test (PMT) is proposed for detecting undocumented mean shifts in climate data series. PMT takes the relative position of each candidate changepoint into account, to diminish the effect of unequal sample sizes ...

Xiaolan L. Wang; Qiuzi H. Wen; Yuehua Wu

2007-06-01T23:59:59.000Z

440

Finite-Amplitude Lagrangian-Mean Wave Activity Diagnostics Applied to the Baroclinic Eddy Life Cycle  

Science Conference Proceedings (OSTI)

Lagrangian-mean wave activity diagnostics are applied to the nonlinear baroclinic eddy life cycle in a simple general circulation model of the atmosphere. The growth of these instabilities through baroclinic conversion of potential temperature ...

Abraham Solomon; Gang Chen; Jian Lu

2012-10-01T23:59:59.000Z

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


441

Event-related Potential Evidence of Form and Meaning Coding during Online Speech Recognition  

Science Conference Proceedings (OSTI)

It is still a matter of debate whether initial analysis of speech is independent of contextual influences or whether meaning can modulate word activation directly. Utilizing event-related brain potentials (ERPs), we tested the neural correlates of speech ...

Claudia K. Friedrich; Sonja A. Kotz

2007-04-01T23:59:59.000Z

442

Diagnostic Study of a Wavenumber-2 Stratospheric Sudden Warming in a Transformed Eulerian-Mean Formalism  

Science Conference Proceedings (OSTI)

The intense wavenumber-2 stratospheric warming of February 1979 is analyzed in a transformed Eulerian-mean formalism, and compared with diagnostics generated by the model warming of Dunkerton et al. (1981). Significant differences in the ...

T. N. Palmer

1981-04-01T23:59:59.000Z

443

Evolution of the Zonal Mean State in the Equatorial Middle Atmosphere during October 1978-May 1979  

Science Conference Proceedings (OSTI)

The evolution of the zonal mean state in the equatorial middle atmosphere is investigated with the use of daily mapped temperatures derived from the Limb Infrared Monitor of the Stratosphere (LIMS) experiment. These quasi-global, high vertical ...

Matthew H. Hitchman; Conway B. Leovy

1986-12-01T23:59:59.000Z

444

Problems with the Mean Sea Level Pressure Field over the Western United States  

Science Conference Proceedings (OSTI)

Reduction of station pressure to mean sea level (MSL) is a difficult procedure. In general, the temperature structure of the fictitious air column between station height and MSL is not known and has to be estimated somehow. Normally, station ...

Matthias Mohr

2004-08-01T23:59:59.000Z

445

Some Eulerian-Scale Analysis Results: Eddy Terms in the Mean Heat, Momentum and Vorticity Equations  

Science Conference Proceedings (OSTI)

The question of the importance of mesoscale motions in the long time averaged ocean circulation is examined from the viewpoint offered by Eulerian scale estimates of the magnitudes of the explicit eddy and largest inviscid mean flow terms in the ...

D. E. Harrison

1980-08-01T23:59:59.000Z

446

Numerical Studies of the Beta Effect in Tropical Cyclone Motion. Part II: Zonal Mean Flow Effects  

Science Conference Proceedings (OSTI)

The motion of tropical vortices in east–west mean flows is studied with the barotropic vorticity equation on the beta plane. The vorticity equation is integrated numerically from an initially symmetric vortex embedded in (i) a linear shear flow ...

R. T. Williams; Johnny C-L. Chan

1994-04-01T23:59:59.000Z

447

Using a Broadband ADCP in a Tidal Channel. Part I: Mean Flow and Shear  

Science Conference Proceedings (OSTI)

This paper discusses the principles of measuring the mean velocity and its vertical shear in a turbulent flow using an acoustic Doppler current profiler (ADCP), and presents an analysis of data gathered in a tidal channel. The assumption of ...

Youyu Lu; Rolf G. Lueck

1999-11-01T23:59:59.000Z

448

Mean Circulation of the Hamburg LSG OGCM and Its Sensitivity to the Thermohaline Surface Forcing  

Science Conference Proceedings (OSTI)

The sensitivity of the global ocean circulation to changes in surface heat flux forcing is studied using the Hamburg Large Scale Geostrophic (LSG) ocean circulation model. The simulated mean ocean circulation for appropriately chosen surface ...

Ernst Maier-Reimer; Uwe Mikolajewicz; Klaus Hasselmann

1993-04-01T23:59:59.000Z

449

Direct Observations of the Mean Circulation at 48°N in the Atlantic Ocean  

Science Conference Proceedings (OSTI)

Eulerian velocity measurements carried out along 48°N in the Atlantic Ocean Provide averaged velocities with definite large-scale structure. This warrants an analysis of these mean velocity vectors within the framework of steady and large-scale ...

Michel Arhan; Alain Colin De Verdiere; Herlé Mercier

1989-02-01T23:59:59.000Z

450

Singular Vectors and Time-Dependent Normal Modes of a Baroclinic Wave-Mean Oscillation  

Science Conference Proceedings (OSTI)

Linear disturbance growth is studied in a quasigeostrophic baroclinic channel model with several thousand degrees of freedom. Disturbances to an unstable, nonlinear wave-mean oscillation are analyzed, allowing the comparison of singular vectors ...

Christopher L. Wolfe; Roger M. Samelson

2008-03-01T23:59:59.000Z

451

Determination of Mean Cumulus Cloud vorticity from GATE A/B-Scale Potential Vorticity Budget  

Science Conference Proceedings (OSTI)

The effects of cumulus clouds on the large-scale potential vorticity field are investigated using GATE data. Clouds are found to modify the mean potential vorticity field not only through vertical mixing but also through the generation of ...

Lawrence Cheng; Tsoi-Ching Yip; Han-Ru Cho

1980-04-01T23:59:59.000Z

452

Projected Changes in Mean and Extreme Precipitation in Africa under Global Warming. Part I: Southern Africa  

Science Conference Proceedings (OSTI)

This study investigates likely changes in mean and extreme precipitation over southern Africa in response to changes in radiative forcing using an ensemble of global climate models prepared for the Intergovernmental Panel on Climate Change (IPCC) ...

M. E. Shongwe; G. J. van Oldenborgh; B. J. J. M. van den Hurk; B. de Boer; C. A. S. Coelho; M. K. van Aalst

2009-07-01T23:59:59.000Z

453

The mean Circulation of Unstratified Water Bodies Drive by Nonlinear Topographic Wave Interactions  

Science Conference Proceedings (OSTI)

A critical evaluation is presented of the conventional view that long-term mean circulation of homogeneous basins may be identified with the quasi-steady response of linear models to atmospheric forcing. Based on climatological wind records for ...

T. J. Simons

1986-06-01T23:59:59.000Z

454

Do Stationary Waves Drive the Zonal-Mean Jet Anomalies of the Northern Winter?  

Science Conference Proceedings (OSTI)

The role of zonal-mean zonal flow (u) perturbations in generating anomalous stationary waves has been acknowledged since the 1939 study by Rossby and his collaborators. However, the dynamical mechanisms, which in turn produce the u anomalies, are ...

Eric DeWeaver; Sumant Nigam

2000-07-01T23:59:59.000Z

455

Reconstructing the NH Mean Temperature: Can Underestimation of Trends and Variability Be Avoided?  

Science Conference Proceedings (OSTI)

There are indications that hemispheric-mean climate reconstructions seriously underestimate the amplitude of low-frequency variability and trends. Some of the theory of linear regression and error-in-variables models is reviewed to identify the ...

Bo Christiansen

2011-02-01T23:59:59.000Z

456

A Mean Synoptic View of the Subantarctic Front South of Australia  

Science Conference Proceedings (OSTI)

A mean synoptic view of the subantarctic front (SAF) is obtained from current meter and hydrographic data by averaging absolute and baroclinic velocity measurements in bins defined by a cross-stream coordinate that moves with the current. The ...

Helen E. Phillips; Stephen R. Rintoul

2002-05-01T23:59:59.000Z

457

Means and Trends of Shortwave Irradiance at the Surface Estimated from Global Energy Balance Archive Data  

Science Conference Proceedings (OSTI)

Means and trends of shortwave irradiance at the earth’s surface are calculated from pyranometer measurements stored in the Global Energy Balance Archive (GEBA) database. The GEBA database contains the most comprehensive set of shortwave ...

H. Gilgen; M. Wild; A. Ohmura

1998-08-01T23:59:59.000Z

458

A Spectral Parameterization of Mean-Flow Forcing due to Breaking Gravity Waves  

Science Conference Proceedings (OSTI)

A spectral parameterization of mean-flow forcing due to breaking gravity waves is described for application in the equations of motion in atmospheric models. The parameterization is based on linear theory and adheres closely to fundamental ...

M. J. Alexander; T. J. Dunkerton

1999-12-01T23:59:59.000Z

459

Skill Scores Based on the Mean Square Error and Their Relationships to the Correlation Coefficient  

Science Conference Proceedings (OSTI)

Several skill scores are defined, based on the mean-square-error measure of accuracy and alternative climatological standards of reference. Decompositions of these skill scores are formulated, each of which is shown to possess terms involving 1) ...

Allan H. Murphy

1988-12-01T23:59:59.000Z

460

Observations of Two Colorado Thunderstorms by Means of a Zenith-Pointing Doppler Radar  

Science Conference Proceedings (OSTI)

A description is given of the distributions of radar reflectivity, mean Doppler velocity, vertical air velocity and Doppler-velocity variance in two thunderstorms over eastern Colorado. A zenith-pointing Doppler radar was used to obtain data at ...

Louis J. Battan

1980-05-01T23:59:59.000Z

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


461

Genetic algorithm based k-means fast learning artificial neural network  

Science Conference Proceedings (OSTI)

The K-means Fast Learning Artificial Neural Network (KFLANN) is a small neural network bearing two types of parameters, the tolerance, ? and the vigilance, ? In previous papers, it was shown that the KFLANN was capable of fast ...

Yin Xiang; Alex Tay Leng Phuan

2004-12-01T23:59:59.000Z

462

Some Correlations between the Large-Scale Meridional Eddy Momentum Transport and Zonal Mean Quantities  

Science Conference Proceedings (OSTI)

An empirical study has been made which compares the large-scale meridional eddy momentum transport with some selected zonal mean quantities by calculating correlations between them as a function of time lag and latitude. The basic dataset was the ...

Anne Leach

1984-01-01T23:59:59.000Z

463

The Relationship between Zonal Mean Flow and Quasi-Stationary Waves in the Midtroposphere  

Science Conference Proceedings (OSTI)

The degree to which quasi-stationary midtropospheric flow is consistent with linear, potential vorticity conservation is investigated. The linear theory suggests there should be a well defined relationship between the zonal mean component of ...

Grant Branstator

1984-07-01T23:59:59.000Z

464

Planetary Wave Response to Surface Forcing and Instability in the Presence of Mean Flow and Topography  

Science Conference Proceedings (OSTI)

The local response of an ocean with slowly varying mean flow, stratification, and topography to two sources of disturbance is examined, concentrating on whether the resulting surface elevations are observable. The first is the ocean response to ...

Peter D. Killworth; Jeffrey R. Blundell

2007-05-01T23:59:59.000Z

465

Mean Structure of the Nocturnal Boundary Layer under Strong and Weak Wind Conditions: EPRI Case Study  

Science Conference Proceedings (OSTI)

The major objective of this study was to analyze the mean structure and evolution of the nocturnal boundary layer (NBL) under strong and weak wind conditions. Meteorological data collected during the plume-validation experiment conducted by the ...

T. B. P. S. Rama V. Krishna; Maithili Sharan; S. G. Gopalakrishnan; Aditi

2003-07-01T23:59:59.000Z

466

The Use of the Weibull Three-Parameter Model for Estimating Mean Wind Power Densities  

Science Conference Proceedings (OSTI)

The Weibull three-parameter model is discussed for estimation of mean wind power densities. This probability density function is a generalization of a number of more conventional density functions. Using wind speed observations, it is shown that ...

L. Van Der Auwera; F. De Meyer; L. M. Malet

1980-07-01T23:59:59.000Z

467

The Annual Cycle of the Energy Budget. Part I: Global Mean and Land–Ocean Exchanges  

Science Conference Proceedings (OSTI)

The mean and annual cycle of energy flowing into the climate system and its storage, release, and transport in the atmosphere, ocean, and land surface are estimated with recent observations. An emphasis is placed on establishing internally ...

John T. Fasullo; Kevin E. Trenberth

2008-05-01T23:59:59.000Z

468

Monthly Mean Diurnal Cycles in Surface Temperatures over Land for Global Climate Studies  

Science Conference Proceedings (OSTI)

Monthly mean diurnal cycles (MDCs) of surface temperatures over land, represented in 3-h universal time intervals, have been analyzed. Satellite near-global data from the International Satellite Cloud Climatology Project (ISCCP) with a (280 km)2 ...

Alexander Ignatov; Garik Gutman

1999-07-01T23:59:59.000Z

469

Methodology for Deriving Deep-Layer Mean Temperatures from Combined Satellite Infrared and Microwave Observations  

Science Conference Proceedings (OSTI)

Deep-layer mean temperatures from Microwave Sounding Unit (MSU) observations have been used by scientists to study trends and interannual variations of tropospheric and lower-stratospheric temperature. The spatial resolution of MSU deep-layer ...

Mitchell D. Goldberg; Larry M. McMillin

1999-01-01T23:59:59.000Z

470

Modeling the Pathways and Mean Dynamics of River Plume Dispersal in the New York Bight  

Science Conference Proceedings (OSTI)

This study investigates the dispersal of the Hudson River outflow across the New York Bight and the adjacent inner- through midshelf region. Regional Ocean Modeling System (ROMS) simulations were used to examine the mean momentum dynamics; the ...

Weifeng G. Zhang; John L. Wilkin; Robert J. Chant

2009-05-01T23:59:59.000Z

471

WHAT THE SMART GRID MEANS TO YOU AND THE PEOPLE YOU SERVE | Department...  

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

SERVE WHAT THE SMART GRID MEANS TO YOU AND THE PEOPLE YOU SERVE The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007)...

472

Mean Stress and Environmental Effects on Fatigue in Type 304 Stainless Steel  

SciTech Connect

Fatigue life tests were performed in air on Type 304 stainless steel (304 SS) to establish the effect of mean stress under both load control and strain control. An apparent reduction of up to 26% in strain-amplitude occurred in the low and intermediate cycle regime (< 10{sup 8} cycles) for a mean stress of 138 Mpa. A quantitative description of mean stress effects using the Smith-Watson-Topper equivalent strain parameter was developed, which incorporates mean stress through the maximum stress. This description provided a tighter fit to the data, and allowed separation of mean stress and cold work effects. With this separation, the effect of mean stress was reduced to 12% decrease in strain amplitude at 138 Mpa. The stress-life curve apparently increased with increasing mean stress, due to the significant work hardening that occurred in tests with high mean stresses, especially under load control. Tests were performed on double-edge notched specimens of 304 SS in air and low oxygen water at 288 C. The elastically calculated increase in the notch tip stress accounted within 10% for the fatigue life reductions for a K{sub t} = 4.8 notch, but was 38% conservative for a K{sub t} = 8.8 notch. Fatigue crack initiation lives (defined as an 0.127 mm crack) in low oxygen water at 288 C were reduced by a factor of four to eight on cycles over those in air. Crack growth occurred throughout most of the fatigue ''initiation'' life. The increase in crack growth rate of 304 SS in water appears to be large enough to explain the reduced ''initiation'' life in this environment.

Kandra, J.T.; Leax, T.R.; Wire, G.L.

1999-04-01T23:59:59.000Z

473

Low pressure arc discharge lamp apparatus with magnetic field generating means  

DOE Patents (OSTI)

A low-pressure arc discharge apparatus having a magnetic field generating means for increasing the output of a discharge lamp is disclosed. The magnetic field generating means, which in one embodiment includes a plurality of permanent magnets, is disposed along the lamp for applying a constant transverse magnetic field over at least a portion of the positive discharge column produced in the arc discharge lamp operating at an ambient temperature greater than about 25 C. 3 figs.

Grossman, M.W.; George, W.A.; Maya, J.

1987-10-06T23:59:59.000Z

474

Coagulation kinetics beyond mean field theory using an optimised Poisson representation  

E-Print Network (OSTI)

Binary particle coagulation can be modelled as the repeated random process of the combination of two particles to form a third. The kinetics can be represented by population rate equations based on a mean field assumption, according to which the rate of aggregation is taken to be proportional to the product of the mean populations of the two participants. This can be a poor approximation when the mean populations are small. However, using the Poisson representation it is possible to derive a set of rate equations that go beyond mean field theory, describing pseudo-populations that are continuous, noisy and complex, but where averaging over the noise and initial conditions gives the mean of the physical population. Such an approach is explored for the simple case of a size-independent rate of coagulation between particles. Analytical results are compared with numerical computations and with results derived by other means. In the numerical work we encounter instabilities that can be eliminated using a suitable `gauge' transformation of the problem [P. D. Drummond, Eur. Phys. J. B38, 617 (2004)] which we show to be equivalent to the application of the Cameron-Martin-Girsanov formula describing a shift in a probability measure. The cost of such a procedure is to introduce additional statistical noise into the numerical results, but we identify an optimised gauge transformation where this difficulty is minimal for the main properties of interest. For more complicated systems, such an approach is likely to be computationally cheaper than Monte Carlo simulation.

James Burnett; Ian J. Ford

2012-12-10T23:59:59.000Z

475

This is an Accepted Article that has been peer-reviewed and approved for publication in the Global Change Biology, but has yet to undergo copy-editing and proof correction. Please cite this article as an  

E-Print Network (OSTI)

examined responses of herbaceous biomass production and species composition in the first two full years contribution to aboveground biomass production in plots = 99%, range = 85% - 100%) and perennials (mean = 80 spp., the annual C4 grasses Setaria glauca and S. viridis, the intermittently flowering perennial

Dukes, Jeffrey

476

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

Science Conference Proceedings (OSTI)

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

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

2002-02-24T23:59:59.000Z

477

Mean-field Ohm's law and coaxial helicity injection in force-free plasmas  

Science Conference Proceedings (OSTI)

A theoretical analysis of steady-state coaxial helicity injection (CHI) in force-free plasmas is presented using a parallel mean-field Ohm's law that includes resistivity {eta} and hyper-resistivity {Lambda} terms. Using Boozer coordinates, a partial differential equation is derived for the time evolution of the mean-field poloidal magnetic flux, or magnetic Hamiltonian function, from the parallel mean-field Ohm's law. A general expression is obtained from the mean-field theory for the efficiency of CHI current drive in force-free plasmas. Inductances of internal energy, magnetic helicity, and poloidal magnetic flux are used to characterize axisymmetric plasma equilibria that have a model current profile. Using the model current profile, a method is suggested to determine the level of magnetohydrodynamic activity at the magnetic axis and the consequent deviation from the completely relaxed Taylor state. The mean-field Ohm's law model suggests that steady-state CHI can be viewed most simply as a boundary layer problem.

Weening, R. H. [Department of Radiologic Sciences, Thomas Jefferson University, 130 S. 9th Street, Philadelphia, Pennsylvania 19107-5233 (United States)

2011-12-15T23:59:59.000Z

478

Chaotic mean wind in turbulent thermal convection and long-term correlations in solar activity  

E-Print Network (OSTI)

It is shown that correlation function of the mean wind velocity in a turbulent thermal convection (Rayleigh number $Ra \\sim 10^{11}$) exhibits exponential decay with a very long correlation time, while corresponding largest Lyapunov exponent is certainly positive. These results together with the reconstructed phase portrait indicate presence of a chaotic component in the examined mean wind. Telegraph approximation is also used to study relative contribution of the chaotic and stochastic components to the mean wind fluctuations and an equilibrium between these components has been studied. Since solar activity is based on the thermal convection processes, it is reasoned that the observed solar activity long-term correlations can be an imprint of the mean wind chaotic properties. In particular, correlation function of the daily sunspots number exhibits exponential decay with a very long correlation time and corresponding largest Lyapunov exponent is certainly positive, also relative contribution of the chaotic and stochastic components follows the same pattern as for the convection mean wind.

A. Bershadskii

2009-08-27T23:59:59.000Z

479

What the Smart Grid Means to America's Future | Department of Energy  

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

What the Smart Grid Means to America's Future What the Smart Grid Means to America's Future What the Smart Grid Means to America's Future The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007) with modernizing the nation's electricity grid to improve its reliability and efficiency. As part of this effort, DOE is also responsible for increasing awareness of our nation's Smart Grid. Building upon The Smart Grid: An Introduction, a DOE-sponsored publication released in 2008 and available online at www.smartgrid.gov, this publication is one in a series of books designed to better acquaint discrete stakeholder groups with the promise and possibilities of the Smart Grid. Stakeholder groups include Utilities, Regulators, Policymakers, Technology Providers, Consumer Advocates and

480

What Would the President's Proposed 2013 Budget Mean to the Energy  

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

Would the President's Proposed 2013 Budget Mean to the Energy Would the President's Proposed 2013 Budget Mean to the Energy Department? What Would the President's Proposed 2013 Budget Mean to the Energy Department? February 14, 2012 - 12:56pm Addthis Secretary Chu details President Barack Obama's $27.2 billion fiscal year 2013 budget request for the Department of Energy. Ginny Simmons Ginny Simmons Former Managing Editor for Energy.gov, Office of Public Affairs Yesterday, Secretary Chu detailed President Barack Obama's $27.2 billion fiscal year 2013 budget request for the Energy Department, emphasizing the President's commitment to an all-of-the-above energy strategy that includes critical investments in innovation, in job-creating clean energy technologies, and in our national security. You can check out a video of

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


481

Green Means Go for Hybrid and Alternative Fuel Taxis | Department of Energy  

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

Means Go for Hybrid and Alternative Fuel Taxis Means Go for Hybrid and Alternative Fuel Taxis Green Means Go for Hybrid and Alternative Fuel Taxis August 24, 2010 - 7:30am Addthis Shannon Brescher Shea Communications Manager, Clean Cities Program The taxi, the icon of the bustling city, is getting a makeover. Cities nationwide are encouraging taxi fleets to turn over a new leaf and reduce their petroleum consumption. As taxis average more than 55,000 miles a year, reducing one taxi's gasoline consumption can make a big difference. Fortunately, there are a number of ways fleets can improve their sustainability, including adopting hybrid, natural gas, or propane vehicles. Although many people associate the Ford Crown Victoria with taxis, an increasing number of taxi operators are driving hybrid Toyota Priuses,

482

Neutrinos' Instant Identity Changes Could Mean Big Things for the Big Bang  

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

Neutrinos' Instant Identity Changes Could Mean Big Things for the Neutrinos' Instant Identity Changes Could Mean Big Things for the Big Bang Neutrinos' Instant Identity Changes Could Mean Big Things for the Big Bang July 11, 2011 - 12:23pm Addthis Scientists use the near detector to verify the intensity and purity of the muon neutrino beam leaving the Fermilab site. | Courtesy of Fermilab, photo by Peter Ginter Scientists use the near detector to verify the intensity and purity of the muon neutrino beam leaving the Fermilab site. | Courtesy of Fermilab, photo by Peter Ginter Charles Rousseaux Charles Rousseaux Senior Writer, Office of Science What are the key facts? Researchers at Fermilab have been studying neutrinos and how they might change, or oscillate, between their three different identities -- electron, muon and tau.

483

What Do Clean Energy Tax Credits Mean for Minnesota (and America)? |  

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

What Do Clean Energy Tax Credits Mean for Minnesota (and America)? What Do Clean Energy Tax Credits Mean for Minnesota (and America)? What Do Clean Energy Tax Credits Mean for Minnesota (and America)? July 18, 2012 - 5:34pm Addthis Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this project do? Clean energy tax credits are helping create jobs while boosting

484

Green Means Go for Hybrid and Alternative Fuel Taxis | Department of Energy  

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

Green Means Go for Hybrid and Alternative Fuel Taxis Green Means Go for Hybrid and Alternative Fuel Taxis Green Means Go for Hybrid and Alternative Fuel Taxis August 24, 2010 - 7:30am Addthis Shannon Brescher Shea Communications Manager, Clean Cities Program The taxi, the icon of the bustling city, is getting a makeover. Cities nationwide are encouraging taxi fleets to turn over a new leaf and reduce their petroleum consumption. As taxis average more than 55,000 miles a year, reducing one taxi's gasoline consumption can make a big difference. Fortunately, there are a number of ways fleets can improve their sustainability, including adopting hybrid, natural gas, or propane vehicles. Although many people associate the Ford Crown Victoria with taxis, an increasing number of taxi operators are driving hybrid Toyota Priuses,

485

Secretary Moniz: What the Natural Gas Boom Means for the Future of  

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

Moniz: What the Natural Gas Boom Means for the Future of Moniz: What the Natural Gas Boom Means for the Future of Renewables Secretary Moniz: What the Natural Gas Boom Means for the Future of Renewables May 23, 2013 - 2:34pm Addthis In a town hall meeting with Department employees, Secretary of Energy Ernest Moniz talks about how a boom in natural gas might be a boon for renewable energy. Dan Leistikow Dan Leistikow Former Director, Office of Public Affairs More from Secretary Moniz See a video recap of Secretary Moniz's first day in office. Watch Secretary Moniz's swearing-in ceremony. Follow Secretary Moniz on Facebook and Twitter. In a new video released today by the Department of Energy, Secretary Ernest Moniz comments on how the United States should take advantage of the natural gas boom and use it as an opportunity to further develop renewable

486

R&D 100: Smart Sensors Mean Energy Savings | Department of Energy  

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

R&D 100: Smart Sensors Mean Energy Savings R&D 100: Smart Sensors Mean Energy Savings R&D 100: Smart Sensors Mean Energy Savings July 23, 2013 - 3:04pm Addthis Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what had only been a motion detection before. The new sensor combines an inexpensive camera with a high-speed microprocessor and algorithms to detect movement and human presence in a room with an accuracy of more than 90 percent -- an advancement that could lead to enormous energy savings in commercial buildings. | Photo courtesy of Dennis Schroeder, NREL. Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what

487

What Do Clean Energy Tax Credits Mean for Minnesota (and America)? |  

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

Do Clean Energy Tax Credits Mean for Minnesota (and America)? Do Clean Energy Tax Credits Mean for Minnesota (and America)? What Do Clean Energy Tax Credits Mean for Minnesota (and America)? July 18, 2012 - 5:34pm Addthis Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this project do? Clean energy tax credits are helping create jobs while boosting

488

VP 100: Growth in solar means growth in Ohio | Department of Energy  

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

Growth in solar means growth in Ohio Growth in solar means growth in Ohio VP 100: Growth in solar means growth in Ohio October 6, 2010 - 10:57am Addthis DuPont is betting on major growth in the market for solar energy -- and therefore for its Tedlar film, a durable backing for silicon solar panels. | Photo Courtesy of DuPont DuPont is betting on major growth in the market for solar energy -- and therefore for its Tedlar film, a durable backing for silicon solar panels. | Photo Courtesy of DuPont Lorelei Laird Writer, Energy Empowers Market research company Solarbuzz reports that global demand for solar power soared by 54 percent in the second quarter of 2010. The research firm reports that in the United States, the annual number of total watts installed moved from 485 MW in all of 2009 to 2.3 GW as of June -- and

489

New School Year Means New Energy Systems for Two Rhode Island Schools |  

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

New School Year Means New Energy Systems for Two Rhode Island New School Year Means New Energy Systems for Two Rhode Island Schools New School Year Means New Energy Systems for Two Rhode Island Schools August 16, 2010 - 4:00pm Addthis New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department Kevin Craft What are the key facts? Systems and occupancy sensors save 172,365 kWh and $26,000 annually $181,000 Recovery Act grant funded installation Systems also monitor CO2 levels to provide optimal indoor air quality When city officials in Woonsocket, R.I. were planning the construction of

490

WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE. | Department of Energy  

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

A SMART GRID MEANS TO OUR NATION'S FUTURE. A SMART GRID MEANS TO OUR NATION'S FUTURE. WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE. The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007) with modernizing the nation's electricity grid to improve its reliability and efficiency. As part of this effort, DOE is also responsible for increasing awareness of our nation's Smart Grid. Building upon The Smart Grid: An Introduction, a DOE-sponsored publication released in 2008 and available online at www.smartgrid.gov, this publication is one in a series of books designed to better acquaint discrete stakeholder groups with the promise and possibilities of the Smart Grid. Stakeholder groups include Utilities, Regulators, Policymakers, Technology Providers, Consumer

491

A comparison of Rosseland-mean opacities from OP and OPAL  

E-Print Network (OSTI)

Monochromatic opacities from the Opacity Project (OP) (Seaton et al.) have been augmented by hitherto missing inner-shell contributions (Badnell & Seaton). OP Rosseland-mean opacities are compared with results from OPAL (Iglesias & Rogers) for the elements H, He, C, O, S and Fe. Overall, there is good agreement between OP and OPAL Rosseland-mean opacities for the 6-elements, but there are some differences. In particular, recent work (Bahcall et al.) has shown that helioseismology measurements give a very accurate value for the depth of the solar convection zone and that solar models give agreement with that value only if opacities there are about 7% larger than OPAL values. For the 6-element mix, here, we obtain Rosseland-mean opacities to be larger than OPAL by 5%.

M. J. Seaton; N. R. Badnell

2004-04-22T23:59:59.000Z

492

A comparison of Rosseland-mean opacities from OP and OPAL  

E-Print Network (OSTI)

Monochromatic opacities from the Opacity Project (OP) (Seaton et al.) have been augmented by hitherto missing inner-shell contributions (Badnell & Seaton). OP Rosseland-mean opacities are compared with results from OPAL (Iglesias & Rogers) for the elements H, He, C, O, S and Fe. Overall, there is good agreement between OP and OPAL Rosseland-mean opacities for the 6-elements, but there are some differences. In particular, recent work (Bahcall et al.) has shown that helioseismology measurements give a very accurate value for the depth of the solar convection zone and that solar models give agreement with that value only if opacities there are about 7% larger than OPAL values. For the 6-element mix, here, we obtain Rosseland-mean opacities to be larger than OPAL by 5%.

Seaton, M J

2004-01-01T23:59:59.000Z

493

A new water anomaly: the temperature dependence of the proton mean kinetic energy  

E-Print Network (OSTI)

The mean kinetic energy of protons in water is determined by Deep Inelastic Neutron Scattering experiments, performed above and below the temperature of maximum density and in the supercooled phase. The temperature dependence of this energy shows an anomalous behavior, as it occurs for many water properties. In particular two regions of maximum kinetic energy are identified: the first one, in the supercooled phase in the range 269 K - 272 K, and a second one above 273 K. In both these regions the measured proton kinetic energy exceedes the theoretical prediction based on a semi-classical model. Noteworthy, the proton mean kinetic energy has a maximum at 277 K, the temperature of the maximum density of water. In the supercooled metastable phase the measured mean kinetic energy and the proton momentum distribution clearly indicate proton delocalization between two H-bonded oxygens.

Davide Flammini; Fabio Bruni; Maria Antonietta Ricci

2009-01-27T23:59:59.000Z

494

Comparisons and Connections between Mean Field Dynamo Theory and Accretion Disc Theory  

E-Print Network (OSTI)

The origin of large scale magnetic fields in astrophysical rotators, and the conversion of gravitational energy into radiation near stars and compact objects via accretion have been subjects of active research for a half century. Magnetohydrodynamic turbulence makes both problems highly nonlinear, so both subjects have benefitted from numerical simulations.However, understanding the key principles and practical modeling of observations warrants testable semi-analytic mean field theories that distill the essential physics. Mean field dynamo (MFD) theory and alpha-viscosity accretion disc theory exemplify this pursuit. That the latter is a mean field theory is not always made explicit but the combination of turbulence and global symmetry imply such. The more commonly explicit presentation of assumptions in 20th century textbook MFDT has exposed it to arguably more widespread criticism than incurred by 20th century alpha-accretion theory despite complementary weaknesses. In the 21st century however, MFDT has exp...

Blackman, Eric G

2009-01-01T23:59:59.000Z

495

New School Year Means New Energy Systems for Two Rhode Island Schools |  

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

School Year Means New Energy Systems for Two Rhode Island School Year Means New Energy Systems for Two Rhode Island Schools New School Year Means New Energy Systems for Two Rhode Island Schools August 16, 2010 - 4:00pm Addthis New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department Kevin Craft What are the key facts? Systems and occupancy sensors save 172,365 kWh and $26,000 annually $181,000 Recovery Act grant funded installation Systems also monitor CO2 levels to provide optimal indoor air quality When city officials in Woonsocket, R.I. were planning the construction of

496

R&D 100: Smart Sensors Mean Energy Savings | Department of Energy  

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

Smart Sensors Mean Energy Savings Smart Sensors Mean Energy Savings R&D 100: Smart Sensors Mean Energy Savings July 23, 2013 - 3:04pm Addthis Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what had only been a motion detection before. The new sensor combines an inexpensive camera with a high-speed microprocessor and algorithms to detect movement and human presence in a room with an accuracy of more than 90 percent -- an advancement that could lead to enormous energy savings in commercial buildings. | Photo courtesy of Dennis Schroeder, NREL. Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what

497

Statistical modelling of tropical cyclone tracks: a semi-parametric model for the mean trajectory  

E-Print Network (OSTI)

We present a statistical model for the unconditional mean tracks of hurricanes. Our model is a semi-parametric scheme that averages together observed hurricane displacements. It has a single parameter that defines the averaging length scale, and we derive the optimum value for this parameter using a jackknife. The main purpose of this model is as a starting point for developing a statistical model of hurricanes for use in the estimation of the wind, rainfall and flooding risks. The model also acts as an optimal filtering tool for estimating mean hurricane tracks.

Hall, T; Hall, Tim; Jewson, Stephen

2005-01-01T23:59:59.000Z

498

Self-consistent Green's functions calculation of the nucleon mean-free path  

E-Print Network (OSTI)

The extension of Green's functions techniques to the complex energy plane provides access to fully dressed quasi-particle properties from a microscopic perspective. Using self-consistent ladder self-energies, we find both spectra and lifetimes of such quasi-particles in nuclear matter. With a consistent choice of the group velocity, the nucleon mean-free path can be computed. Our results indicate that, for energies above 50 MeV at densities close to saturation, a nucleon has a mean-free path of 4 to 5 femtometers.

A. Rios; V. Soma

2011-09-22T23:59:59.000Z

499

Mean field limit of bosonic systems in partially factorized states and their linear combinations  

E-Print Network (OSTI)

We study the mean field limit of one-particle reduced density matrices, for a bosonic system in an initial state with a fixed number of particles, only a fraction of which occupies the same state, and for linear combinations of such states. In the mean field limit, the time-evolved reduced density matrix is proved to converge: in trace norm, towards a rank one projection (on the state solution of Hartree equation) for a single state; in Hilbert-Schmidt norm towards a mixed state, combination of projections on different solutions (corresponding to each initial datum), for states that are a linear superposition.

Marco Falconi

2013-05-24T23:59:59.000Z

500

Effects of Wave—Wave and Wave-Mean Flow Interactions on the Growth and Maintenance of Transient Planetary Waves in the Presence of a Mean Thermal Restoring Force  

Science Conference Proceedings (OSTI)

In order to clarify the effects of wave—wave and wave-mean flow interactions on the growth and maintenance of extratropical tropospheric transient waves in the presence of a mean thermal restoring force, numerical experiments are conducted with ...

Y. Hayashi; D. G. Golder

1987-11-01T23:59:59.000Z