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

Energy Strategic Planning & Sufficiency Project  

SciTech Connect (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

3

Sophia Proof of Concept Report  

SciTech Connect (OSTI)

Final report covering the development, deployment and lessons learning while making the Sophia proof of concept.

Gordon Rueff; Corey Thuen; James Davidson

2010-03-01T23:59:59.000Z

4

Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Iddo Bentov  

E-Print Network [OSTI]

Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Iddo Bentov Computer Mizrahi chromawallet.com alex.mizrahi@gmail.com Meni Rosenfeld Israeli Bitcoin Association meni@bitcoin.org.il Abstract We propose a new protocol for a cryptocurrency, that builds upon the Bitcoin protocol by combining

5

Use of the Necessary and Sufficient Process  

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

Authorizes use of the Necessary and Sufficient Process which addresses how the Department will select its standards to protect workers, the public, and the environment and form the basis for the Department's move to integrating standards activities into a consistent, coordinated system of standards-based safety management. Does not cancel other directives.

1996-01-25T23:59:59.000Z

6

An alternative proof of the Bryant representation Jose A. Galveza  

E-Print Network [OSTI]

An alternative proof of the Bryant representation Jos´e A. G´alveza and Pablo Mirab a Departamento Keywords: constant mean curvature, Bryant surfaces, Liouville equation. 1 Introduction In his famous 1987 paper, R. Bryant [Bry] established a meromorphic representation for the surfaces with constant mean

Gálvez, José Antonio

7

Energy Strategic Planning & Self-Sufficiency Project  

SciTech Connect (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

8

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicyFeasibilityField OfficeFirmFirst Proof of FerromagneticProof of

9

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicyFeasibilityField OfficeFirmFirst Proof of FerromagneticProof

10

A three-term conjugate gradient method with sufficient descent ...  

E-Print Network [OSTI]

Finally, some numerical results of the proposed method are given. keyword; Unconstrained optimization, three-term conjugate gradient method, sufficient.

2009-11-02T23:59:59.000Z

11

A Non-linear Dynamical Systems' Proof of Kraft-McMillan Inequality and its Converse  

E-Print Network [OSTI]

In this short paper, we shall provide a dynamical systems' proof of the famous Kraft-McMillan inequality and its converse. Kraft-McMillan inequality is a basic result in information theory which gives a necessary and sufficient condition for the lengths of the codewords of a code to be uniquely decodable.

Nithin Nagaraj

2007-10-31T23:59:59.000Z

12

A proof of Beal's conjecture Jamel Ghanouchi  

E-Print Network [OSTI]

A proof of Beal's conjecture Jamel Ghanouchi jamel.ghanouchi@topnet.tn Abstract We begin with Fermat-Catalan equation and propose a proof of Beal's conjecture. Keywords : Beal ; Fermat

13

Managing Proof Documents for Asynchronous Processing  

E-Print Network [OSTI]

Managing Proof Documents for Asynchronous Processing Holger Gast Wilhelm-Schickard-Institut f Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1 #12;Traditional User Interfaces

Lth, Christoph - Deutschen Forschungszentrum fr Knstliche Intelligenz & Fachbereich 3

14

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicyFeasibilityField OfficeFirm UsesNuclearFirstHigh-PerformanceProof

15

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicyFeasibilityField OfficeFirmFirst Proof of Ferromagnetic Carbon

16

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicyFeasibilityField OfficeFirmFirst Proof of Ferromagnetic

17

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series toESnet4:EpitaxialtransatlanticUnified|North America |Proof of

18

Recommendation 227: Recommendation to EM on Request for Sufficient...  

Office of Environmental Management (EM)

Request for Sufficient Funding to Meet Cleanup Needs The EM SSAB Chairs believe the EM budget request is insufficient to meet cleanup obligations and DOE needs to honor agreements...

19

Improving constraints on the neutrino mass using sufficient statistics  

E-Print Network [OSTI]

We use the "Dark Energy and Massive Neutrino Universe" (DEMNUni) simulations to compare the constraining power of "sufficient statistics" with the standard matter power spectrum on the sum of neutrino masses, $M_\

Wolk, M; Bel, J; Carbone, C; Carron, J

2015-01-01T23:59:59.000Z

20

Bistatic SAR: Proof of Concept.  

SciTech Connect (OSTI)

Typical synthetic aperture RADAR (SAR) imaging employs a co-located RADAR transmitter and receiver. Bistatic SAR imaging separates the transmitter and receiver locations. A bistatic SAR configuration allows for the transmitter and receiver(s) to be in a variety of geometric alignments. Sandia National Laboratories (SNL) / New Mexico proposed the deployment of a ground-based RADAR receiver. This RADAR receiver was coupled with the capability of digitizing and recording the signal collected. SNL proposed the possibility of creating an image of targets the illuminating SAR observes. This document describes the developed hardware, software, bistatic SAR configuration, and its deployment to test the concept of a ground-based bistatic SAR. In the proof-of-concept experiments herein, the RADAR transmitter will be a commercial SAR satellite and the RADAR receiver will be deployed at ground level, observing and capturing RADAR ground/targets illuminated by the satellite system.

Yocky, David A.; Doren, Neall E.; Bacon, Terry A.; Wahl, Daniel E.; Eichel, Paul H.; Jakowatz, Charles V,; Delaplain, Gilbert G.; Dubbert, Dale F.; Tise, Bertice L.; White, Kyle R.

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


21

Improved Modular Termination Proofs Using Dependency Pairs  

E-Print Network [OSTI]

Improved Modular Termination Proofs Using Dependency Pairs Ren??e Thiemann, J?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well­founded orders. However, proving innermost termination is considerably easier than

Kobbelt, Leif

22

Improved Modular Termination Proofs Using Dependency Pairs #  

E-Print Network [OSTI]

Improved Modular Termination Proofs Using Dependency Pairs # Ren??e Thiemann, J?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well­founded orders. However, proving innermost termination is considerably easier than

Ábrahám, Erika

23

Improved Modular Termination Proofs Using Dependency Pairs  

E-Print Network [OSTI]

Improved Modular Termination Proofs Using Dependency Pairs Ren´e Thiemann, J¨urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well-founded orders. However, proving innermost termination is considerably easier than

Middeldorp, Aart

24

On Narrowing, Refutation Proofs and Constraints  

E-Print Network [OSTI]

years (see e.g. [RKL85, BGM88, H¨ol89, NRS89, BKW92, BW94]). In the literature, most completeness proofs LSE­narrowing ([BKW92, BW94]), in which leftmost­innermost rewrite proofs, with a priority ordering

Nieuwenhuis, Robert

25

PROOF COPY 001502FCT Science and  

E-Print Network [OSTI]

PROOF COPY 001502FCT PROOF COPY 001502FCT Journal of Fuel Cell Science and Technology Technical Brief Efficient Parallel Simulation of Direct Methanol Fuel Cell Models S. Rajasekaran R. Ammar K, Connecticut, 06269 USA Fuel cells, as highly efficient and environment-friendly power sources, have attracted

Rajasekaran, Sanguthevar

26

Reliability, Sufficiency, and the Decomposition of Proper Scores  

E-Print Network [OSTI]

Reliability, Sufficiency, and the Decomposition of Proper Scores Jochen Br¨ocker October 23, 2009 scoring rules allow for a decomposition into terms related to the resolution and to the reliability to forecasts for finite­valued targets. Both resolution and reliability are shown to have a positive effect

Bröcker, Jochen

27

Unified Resolve 2014: A Proof of Concept for Radiological Support...  

Office of Environmental Management (EM)

Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders...

28

Moneyless strategy-proof mechanism on single-sinked policy ...  

E-Print Network [OSTI]

We completely characterize deterministic strategy-proof and group strategy-proof mechanisms on single- sinked public policy domain. The single-sinked domain...

Megiddo

2012-04-17T23:59:59.000Z

29

China's campaign for petroleum self-sufficiency well under way  

SciTech Connect (OSTI)

China's petrochemical expansion boom is in full swing. With what some measure as the world's fastest growing economy, China's consumer products demand is growing at a voracious pace, spurring sky rocketing demand for basic and intermediate petrochemicals. So Beijing has embarked on a massive expansion of the nation's petrochemical industry to accommodate that growth. For the next 3 years at least, China will have to rely on imports for about half of its petrochemical supplies. China's rate of self-sufficiency by 1995 is expected to be 50--60% for ethylene, 60--70% for plastics, 70--80% for synthetic fibers, and 50--60% for synthetic rubber. For many key petrochemicals, China envisions accomplishing no less than self-sufficiency by the turn of the century. But to get to that point, Beijing must import foreign technology and capital needed for a wholesale upgrading and expansion of its petrochemical sector. In getting there, it must overcome conflicts involving projects pursued independently by certain local or provincial governments as well as by various state owned companies and agencies. And it must contend with an international petrochemical market still struggling to recover from a downturn that might not be able to absorb the loss of a major market as China moves toward self-sufficiency. The paper discusses capacity and expansion plans, especially for ethylene.

Not Available

1994-05-09T23:59:59.000Z

30

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

31

A Few Words About Proofs What is a proof?  

E-Print Network [OSTI]

, always nagging at you: "And why is this? And how do you know that?" Whenever you say that something," then think again: that's not good enough! On the other hand, if something is "obvious" because its it­what do you mean by that?" If your argument passes the annoying little sister test, then it

Rojas, J. Maurice

32

#PRL --A Proof Refinement Calculus for Classical Reasoning  

E-Print Network [OSTI]

#µPRL -- A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory Nuria, 14482 Potsdam, Germany {brede,kreitz}@cs.uni­potsdam.de Abstract. We present a hybrid proof calculus #µPRL to con­ structive proofs and show that the restriction of #µPRL to µ­safe proof terms is sound

Kreitz, Christoph

33

Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri  

E-Print Network [OSTI]

Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri

Chaudhuri, Kaustuv

34

Photon underproduction crisis: Are QSOs sufficient to resolve it?  

E-Print Network [OSTI]

We investigate the recent claim of 'photon underproduction crisis' by Kollmeier et al. (2014) which suggests that the known sources of ultra-violet (UV) radiation may not be sufficient to generate the inferred hydrogen photoionization rate ($\\Gamma_{\\rm HI}$) in the low redshift inter-galactic medium. Using the updated QSO emissivities from the recent studies and our radiative transfer code developed to estimate the UV background, we show that the QSO contribution to $\\Gamma_{\\rm HI}$ is higher by a factor ~2 as compared to the previous estimates. Using self-consistently computed combinations of star formation rate density and dust attenuation, we show that a typical UV escape fraction of 4% from star forming galaxies should be sufficient to explain the inferred $\\Gamma_{\\rm HI}$ by Kollmeier et al. (2014). Interestingly, we find that the contribution from QSOs alone can explain the recently inferred $\\Gamma_{\\rm HI}$ by Shull et al. (2015) which used the same observational data but different simulation. Ther...

Khaire, Vikram

2015-01-01T23:59:59.000Z

35

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

SciTech Connect (OSTI)

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 largely self-sufficient in all nuclear-related technologies.

Bucher, R .G.; Nuclear Engineering Division

2009-01-01T23:59:59.000Z

36

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

37

Interactive Termination Proofs using Termination Cores  

E-Print Network [OSTI]

Interactive Termination Proofs using Termination Cores Panagiotis Manolios and Daron Vroon College@ccs.neu.edu, daron.vroon@gmail.com Abstract. Recent advances in termination analysis have yielded new methods and determining how to proceed. In this paper, we address the issue of building termination analysis engines

Manolios, Panagiotis "Pete"

38

Truth and Proof: The Platonism of Mathematics  

E-Print Network [OSTI]

3 Truth and Proof: The Platonism of Mathematics 1 What is the relation in mathematics between truth the Platonist (or platonist or realist) point of view toward mathematics. On the other hand, we learn mathematics by learning how to do things-- for example, to count, compute, solve equations, and more generally

Koellner, Peter

39

Explosion proof vehicle for tank inspection  

DOE Patents [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

40

Second Proof Work, Power, and Energy  

E-Print Network [OSTI]

) energy sources, such as solar energy, wind, water flows, ocean and tidal waves, and biomassSecond Proof Work, Power, and Energy M. KOSTIC Northern Illinois University DeKalb, Illinois, United States 1. Basic Concepts 2. Forms, Classifications, and Conservation of Energy 3. Work

Kostic, Milivoje M.

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 Beal's conjecture Jamel Ghanouchi  

E-Print Network [OSTI]

1 A proof of Beal's conjecture Jamel Ghanouchi RIME Dpt Mathematics jamel generalize our approach to Beal equation and discuss the solutions. (Keywords : Diophantine equations by Lebesgue in 1850. We solve here the equation and prove that Beal equation is related to this problem

Paris-Sud XI, Université de

42

A proof of Beal conjecture Jamel Ghanouchi  

E-Print Network [OSTI]

A proof of Beal conjecture Jamel Ghanouchi Ecole Supérieure des Sciences et Techniques de Tunis jamel.ghanouchi@topnet.tn Abstract ( MSC=11D04) We begin with Beal equation Zc = Xa + Y b and prove that it does not have solutions for both a > 2, b > 2 and c > 2 which is Beal conjecture. (Keywords

43

Software tools for elementary math education : animated mathematical proofs  

E-Print Network [OSTI]

The National Council of Teachers of Mathematics [6] has identified the learning of proofs as a critical goal for students from pre-kindergarten through grade 12 (p. 56). A proof for elementary students is not the highly ...

Mwangi, Timothy M

2013-01-01T23:59:59.000Z

44

Minimal Bell-Kochen-Specker proofs with POVMs on qubits  

E-Print Network [OSTI]

There are many different definitions of what a Bell-Kochen-Specker proof with POVMs might be. Here we present and discuss the minimal proof on qubits for three of these definitions and show that they are indeed minimal.

A. A. Methot

2005-09-28T23:59:59.000Z

45

PRL A Proof Refinement Calculus for Classical Reasoning  

E-Print Network [OSTI]

µPRL ­ A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory Nuria Brede, Germany {brede,kreitz}@cs.uni-potsdam.de Abstract. We present a hybrid proof calculus µPRL that combines and show that the restriction of µPRL to µ-safe proof terms is sound and complete for intuitionistic

Kreitz, Christoph

46

How to Make Ad Hoc Proof Automation Less Ad Hoc  

E-Print Network [OSTI]

How to Make Ad Hoc Proof Automation Less Ad Hoc Georges Gonthier1 Beta Ziliani2 Aleks Nanevski3 Software Institute, Madrid ICFP 2011, Tokyo #12;Why proof automation at ICFP? Ad hoc polymorphism Overloading terms Ad hoc proof automation Overloading lemmas "How to make ad hoc polymorphism less ad hoc

Dreyer, Derek

47

Representation Systems and Undergraduate Proof Production: A Comment on Weber  

E-Print Network [OSTI]

Representation Systems and Undergraduate Proof Production: A Comment on Weber Lara Alcock & Matthew proof production occurs when much of the prover's work takes place [outside] the representation system systems involved in undergraduate proof production. We discuss these issues further below. However, we

Inglis, Matthew

48

Refining the Proof of Planar Equivalence  

E-Print Network [OSTI]

We outline a full non-perturbative proof of planar (large-N) equivalence between bosonic correlators in a theory with Majorana fermions in the adjoint representation and one with Dirac fermions in the two-index (anti)symmetric representation. In a particular case (one flavor), this reduces to our previous result - planar equivalence between super-Yang--Mills theory and a non-supersymmetric ``orientifold field theory.'' The latter theory becomes one-flavor massless QCD at N=3.

A. Armoni; M. Shifman; G. Veneziano

2005-02-15T23:59:59.000Z

49

Necessary and Sufficient Conditions for Success of the Metropolis Algorithm for Optimization  

E-Print Network [OSTI]

Necessary and Sufficient Conditions for Success of the Metropolis Algorithm for Optimization, or in other words, necessary and sufficient conditions, for the success of the algorithm, both.e., necessary and sufficient conditions) for the success of the Metropolis algorithm for optimization. As our

Biswas, Somenath

50

ATAC Process Proof of Concept Final Report  

SciTech Connect (OSTI)

Researchers at INL with funding from the Department of Energys Office of Electricity Delivery and Energy Reliability (DOE-OE) evaluated a novel approach for near real-time consumption of threat intelligence. Demonstration testing in an industry environment supported the development of this new process to assist the electric sector in securing their critical networks. This report provides the reader with an understanding of the methods used during this proof of concept project. The processes and templates were further advanced with an industry partner during an onsite assessment. This report concludes with lessons learned and a roadmap for final development of these materials for use by industry.

Bri Rolston; Sarah Freeman

2014-03-01T23:59:59.000Z

51

an elementary proof of optimality conditions for linear programming  

E-Print Network [OSTI]

References. Acknowledgement. This note has its origin in discussions with Krister Svanberg on elementary proofs of Farkas' lemma. References. [1] A. Charnes.

2008-06-30T23:59:59.000Z

52

Normalization of First-Order Logic Proofs in Isabelle  

E-Print Network [OSTI]

Types are important in functional programming. First order logic can be viewed as, using the Curry-Howard isomorphism, a very strict type theory. Proven first order logic propositions are theorems. Hereby theorems are types and, by the Curry-Howard isomorphism, a ilinearized proofj of a theorem can be viewed as a program having the theorem as its type. A proof of a first order logic theorem can be created automatically using some strategy for proof search. A generated proof can be huge. Such a generated proof of the theorem can be reduced to be a minimal proof using techniques adopted from the theory of ?-calculus. Using this technique a program can be specied as a rst order logic theorem, and the automatically derived program hereof can be made efficient. Hereby proof search tools implementing the proof reduction can be used to help writing efficient programs. To show how this will be done in an environment that can be used for proof search, the proof reduction is implemented in the Is...

Bo Kjellerup

1999-01-01T23:59:59.000Z

53

Tritium proof-of-principle injector experiment  

SciTech Connect (OSTI)

The Tritium Proof-of-Principle (TPOP) pellet injector was designed and built by Oak Ridge National Laboratory (ORNL) to evaluate the production and acceleration of tritium pellets for fueling future fision reactors. The injector uses the pipe-gun concept to form pellets directly in a short liquid-helium-cooled section of the barrel. Pellets are accelerated by using high-pressure hydrogen supplied from a fast solenoid valve. A versatile, tritium-compatible gas-handling system provides all of the functions needed to operate the gun, including feed gas pressure control and flow control, plus helium separation and preparation of mixtures. These systems are contained in a glovebox for secondary containment of tritium Systems Test Assembly (TSTA) at Los Alamos National Laboratory (LANL). 18 refs., 3 figs.

Fisher, P.W.; Milora, S.L.; Combs, S.K.; Carlson, R.V.; Coffin, D.O.

1988-01-01T23:59:59.000Z

54

PROOF COPY 016212PHP Comment on ``Stationary equilibria of self-gravitating quasineutral dusty  

E-Print Network [OSTI]

PROOF COPY 016212PHP PROOF COPY 016212PHP Comment on ``Stationary equilibria of self/2002/9(12)/1/3/$19.00 © 2002 American Institute of Physics PROOF COPY 016212PHP #12;PROOF COPY 016212PHP PROOF COPY 016212PHP Now comes the crucial step. ``In order to obtain a closed form equation

Roy, Subrata

55

RANDOMNESS IN PROOF COMPLEXITY Joshua Buresh-Oppenheim  

E-Print Network [OSTI]

RANDOMNESS IN PROOF COMPLEXITY by Joshua Buresh-Oppenheim A thesis submitted in conformity of Toronto Copyright c 2005 by Joshua Buresh-Oppenheim #12;Abstract Randomness in Proof Complexity Joshua Buresh-Oppenheim Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2005

Penn, Gerald

56

Another proof of Gell-Mann and Low's theorem  

E-Print Network [OSTI]

The theorem by Gell-Mann and Low is a cornerstone in QFT and zero-temperature many-body theory. The standard proof is based on Dyson's time-ordered expansion of the propagator; a proof based on exact identities for the time-propagator is here given.

Luca Guido Molinari

2006-12-11T23:59:59.000Z

57

Project management process ontologies: a proof of concept  

E-Print Network [OSTI]

to be familiar. #12;A large number of written procedures incurs the risk that project progress is slowed becauseProject management process ontologies: a proof of concept Robert T. Hughes Department of Computing of representing project management processes as ontologies. The proof of concept is the creation of a prototype

Winstanley, Graham

58

Uncorrected Proof Copy Finding Genes by Using Computational Tools 85  

E-Print Network [OSTI]

Uncorrected Proof Copy Finding Genes by Using Computational Tools 85 Job: Plant Functional Genomics;Uncorrected Proof Copy 86 Davuluri and Zhang Job: Plant Functional Genomics--Grotewold Compositor: Nettype Job: Plant Functional Genomics--Grotewold Compositor: Nettype Chapter: Chapter 6 Date: 3/15/2003 Pub

59

The Automation of Sound Reasoning and Successful Proof Finding  

E-Print Network [OSTI]

709 44 The Automation of Sound Reasoning and Successful Proof Finding LARRY WOS AND BRANDEN scientist naturally envisioned the automation of sound rea- soning ­ reasoning in which conclusions, and find proofs. But can such logical reasoning be fully automated? Can a single computer program

Fitelson, Branden

60

PROOF COPY 005202JTM Mohammad Al-Qahtani  

E-Print Network [OSTI]

PROOF COPY 005202JTM PROOF COPY 005202JTM Mohammad Al-Qahtani Yong-Jun Jang Turbine Heat Transfer, TX 77843 Je-Chin Han Turbine Heat Transfer Laboratory, Department of Mechanical Engineering, Texas A of 2:1. The rib height-to-hydraulic diameter ratio e/Dh is 0.094 and the rib-pitch- to-height ratio P

Al-Qahtani, Mohammad

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

The CIFF Proof Procedure for Abductive Logic Programming with Constraints  

E-Print Network [OSTI]

The CIFF Proof Procedure for Abductive Logic Programming with Constraints U. Endriss1 , P,terreni,toni}@di.unipi.it Abstract. We introduce a new proof procedure for abductive logic pro- gramming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning

Toni, Francesca

62

Cavitation in trees and the hydraulic sufficiency of woody Department of Botany, University of Vermont, Burlington, VT 05405, and Northeastern Forest Ex-  

E-Print Network [OSTI]

Cavitation in trees and the hydraulic sufficiency of woody stems M. Tyree Department of Botany cycle of water stress leading to loss of hydraulic conductance and further dynamic stress (see Fig. 1 of hydraulic conductance in the stem. A loss of conductance means that sap will have to overcome a larger

Paris-Sud XI, Universit de

63

Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization  

E-Print Network [OSTI]

Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization this distribution satisfy our conditions for success with overwhelming probability provided the number

Recht, Ben

64

Neighborhoods, Economic Self-Sufficiency, and the MTO John Quigley Steven Raphael  

E-Print Network [OSTI]

Neighborhoods, Economic Self-Sufficiency, and the MTO John Quigley Steven Raphael University of California University of California Berkeley Berkeley quigley@econ.berkeley.edu stevenraphael

Sekhon, Jasjeet S.

65

Math 103b Spring 2014 Sample Midterm 2 1. (a) Define what it means for a ring R to be a PID (principal ideal  

E-Print Network [OSTI]

Math 103b Spring 2014 Sample Midterm 2 1. (a) Define what it means for a ring R to be a PID above are UFD's? (no proof necessary) (c2). Which rings on the list above are PID's? (no proof necessary

Rogalski, Daniel

66

GARCH PROOF OF CONCEPT _ UPDATED 18 DEC 2008  

E-Print Network [OSTI]

Proof that application of GARCH technique offers potential for profitability. Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results ...

Datta, Shoumen

2008-12-18T23:59:59.000Z

67

Using Entanglement in Quantum Multi-Prover Interactive Proofs  

E-Print Network [OSTI]

The central question in quantum multi-prover interactive proof systems is whether or not entanglement shared between provers affects the verification power of the proof system. We study for the first time positive aspects of prior entanglement and show that entanglement is useful even for honest provers. We show how to use shared entanglement to parallelize any multi-prover quantum interactive proof system to a one-round system with perfect completeness, with one extra prover. Alternatively, we can also parallelize to a three-turn system with the same number of provers, where the verifier only broadcasts the outcome of a coin flip. This "public-coin" property is somewhat surprising, since in the classical case public-coin multi-prover interactive proofs are equivalent to single prover ones.

Julia Kempe; Hirotada Kobayashi; Keiji Matsumoto; Thomas Vidick

2007-11-23T23:59:59.000Z

68

AUTOMORPHIC GROUP REPRESENTATIONS: A NEW PROOF OF BLATTNER'S THEOREM  

E-Print Network [OSTI]

, and was determined by Shale and Stinespring [21]. The purpose of this article is to give new, simpler proofs(E) -+ £/(2")/[/(l). This aspect, already noted by Shale and Stinespring, has been developed by the present

de la Harpe, Pierre

69

Apprentice Program Alternate Proof of the Spectral Theorem  

E-Print Network [OSTI]

Math REU Apprentice Program Alternate Proof of the Spectral Theorem Julian Hartman September 17 in the apprentice class but not in this manner. Because the Spectral Theorem is such a fundamental theorem in linear

May, J. Peter

70

Proof of Proper Solid Waste Disposal (West Virginia)  

Broader source: Energy.gov [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...

71

Computer-assisted proofs in geometry and physics  

E-Print Network [OSTI]

In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable ...

Minton, Gregory T. (Gregory Thomas)

2013-01-01T23:59:59.000Z

72

DIRECT LIQUEFACTION PROOF-OF-CONCEPT PROGRAM  

SciTech Connect (OSTI)

This report presents the results of the bench-scale work, Bench Run PB-09, HTI Run Number 227-106, conducted under the DOE Proof-of-Concept Option Program indirect coal liquefaction at Hydrocarbon Technologies Inc. in Lawrenceville, New Jersey. Bench Run PB-09 was conducted using two types of Chinese coal, Shenhua No.2 and Shenhua No.3, and had several goals. One goal was to study the liquefaction performance of Shenhua No.2 and Shenhua No.3 with respect to coal conversion and distillate production. Another goal of Bench Run PB-09 was to study the effect of different GelCatw formulations and loadings. At the same time, the space velocity and the temperature of the fmt reactor, K-1, were varied to optimize the liquefaction of the two Chinese coals. The promoter-modified HTI GelCat{trademark} catalyst was very effective in the direct liquefaction of coal with nearly 92% maf coal conversion with Shenhua No.3 and 93% maf coal conversion with 9 Shenhua No.2. Distillate yields (CQ-524 C)varied from 52-68% maf for Shenhua No.3 coal to 54-63% maf for Shenhua No.2 coal. The primary conclusion from Bench Run PB-09 is that Shenhua No.3 coal is superior to Shenhua No.2 coal in direct liquefaction due to its greater distillate production, although coal conversion is slightly lower and C{sub 1}-C{sub 3} light gas production is higher for Shenhua No.3. The new promoter modified GelCat{trademark} proved successful in converting the two 9 Chinese coals and, under some conditions, producing good distillate yields for a coal-only bench run. Run PB-09 demonstrated significantly better performance of China Shenhua coal using HTI's coal direct liquefaction technology and GelCat{trademark} catalyst than that obtained at China Coal Research Institute (CCRI, coal conversion 88% and distillate yield 61%).

A.G. Comolli; T.L.K. Lee; J. Hu; G. Popper; M.D. Elwell; J. Miller; D. Parfitt; P. Zhou

1999-12-30T23:59:59.000Z

73

Meaning, Truth, and Phenomenology  

E-Print Network [OSTI]

to my account of a reconstituted phenomenology (Newell).Introduction to Pure Phenomenology, trans. W. Gibson,MEANING , TRUTH, AND PHENOMENOLOGY By Mark Bevir I. CONTACT

Bevir, Mark

2000-01-01T23:59:59.000Z

74

CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT  

SciTech Connect (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 Powers 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

75

No?rlund means  

E-Print Network [OSTI]

this thesis. TABLE OF CONTENTS Chapter Page I. IN TROD U CTION II. NORLUND MEANS . III. INCLUSION . . 12 BIBLIOGRAPHY . 16 CHAPTER I INTRODUCTION The purpose of this thesis is to investigate a partrcular class of summability methods ? viz...NORLUND MEANS A Thesis by AQUILLA GIBBS DIBRELL III Submitted to the Graduate College of the Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE May 1968 Major Subject: Mathematics NORLUND...

Dibrell, Aquilla Gibbs, III

1968-01-01T23:59:59.000Z

76

File:Proof2.pdf | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublicIDAPowerPlantSitingConstruction.pdfNotify98.pdf Jump to: navigation, search FileProof1.pdf Jump to:Proof2.pdf

77

The water concept in the self-sufficient house Drinking rainwater and reusing wastewater  

E-Print Network [OSTI]

the chance to do just that. Lack of drinking water hygiene is one of the main sources of disease transmissionThe water concept in the self-sufficient house Drinking rainwater and reusing wastewater Decentralized systems for drinking water processing could make a significant contribution to the Millennium

Wehrli, Bernhard

78

but the resolution of 2 was not sufficient to determine whether the C18  

E-Print Network [OSTI]

but the resolution of 2 was not sufficient to determine whether the C18 O emission was con- fined and AUI for funding the PT link project and to Western New Mexico Telephone Company for the use arsenide (GaAs) without losing their polar- ization, so that coherent transport through the active region

Thibado, Paul M.

79

On automating the extraction of programs from termination proofs  

E-Print Network [OSTI]

On automating the extraction of programs from termination proofs Fairouz Kamareddine , Fran to use termination techniques such as those in rewriting theory. We overcome this difficulty the incorporation of termination techniques used in other areas while still extracting programs. Keywords: Program

Ayala-Rincn, Mauricio

80

Automated Modular Termination Proofs for Real Prolog Programs  

E-Print Network [OSTI]

Automated Modular Termination Proofs for Real Prolog Programs Martin Muller Thomas Gla Karl the termination of Prolog programs that can be automated and is scalable. Furthermore, the proposed method can of complexity to predicate calls. Then termination of a program is shown by proving this measure

Stroetmann, Karl

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

Correctness Proofs for Device Drivers in Embedded Systems Jianjun Duan  

E-Print Network [OSTI]

that may be thousands of lines; we intend to integrate our manual proofs about bottom-level routines. For example, an auto- motive brake-by-wire system might be required to begin brake drum actuation within 50 ms of receiving a brake pedal input. Let's look at a more detailed example: a hypothetical embedded system

Regehr, John

82

Addendum to "Proof Rules for Flush Channels" Scott Stoller  

E-Print Network [OSTI]

identical messages (i.e., messages with the same contents and the same F-channel message type) along does not contain enough information to compute + (i.e., there is no definition of the "transitiveAddendum to "Proof Rules for Flush Channels" Scott Stoller Abstract-- The logic presented in [1

Stoller, Scott

83

Towards a broad spectrum proof certificate Dale Miller  

E-Print Network [OSTI]

some issues 3. Focused proof systems #12;Let's do some dreaming.... Wouldn't it be great to have anti-gravity dreaming.... Wouldn't it be great to have anti-gravity devices? · floating cities · levitating cars's do some dreaming.... Wouldn't it be great to have anti-gravity devices? · floating cities

Miller, Dale

84

An Elementary Proof of a Theorem of Johnson and Lindenstrauss  

E-Print Network [OSTI]

An Elementary Proof of a Theorem of Johnson and Lindenstrauss Sanjoy Dasgupta,1 Anupam Gupta2 1 AT@research.bell-labs.com Received 16 December 2001; accepted 11 July 2002 DOI 10.1002/rsa.10073 ABSTRACT: A result of Johnson of Johnson and Lindenstrauss [13] says that any n point subset of Euclidean space can be embedded in k O

Gupta, Anupam

85

UNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012  

E-Print Network [OSTI]

sensitivity, six additional species of flies were found to be infected with sigma viruses (Longdon et alUNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012 File: Rhabdoviruses 3P 8The Sigma Viruses of Drosophila Ben Longdon, Lena Wilfert and Francis M. Jiggins Abstract The sigma virus of Drosophila

Jiggins, Francis

86

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection  

E-Print Network [OSTI]

, the correctness of abstraction is not always easy to verify. In our pre- vious work, we applied abstract model with that of proving the concrete system from scratch (not by abstract model checking). In our previous work [6], whichFormal Proof of Abstract Model Checking of Concurrent Garbage Collection Koichi Takahashi Masami

Hagiya, Masami

87

ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST  

E-Print Network [OSTI]

.state.ca.us Deborah Dyer, Staff Counsel jbabula@energy.state.ca.us Jared Babula, Staff Counsel ronCALIFORNIA ENERGY COMMISSION ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST Revised 10/15/07 1516 Ninth Street Sacramento, CA 95814 800-822-6228 www.energy.ca.gov STARWOOD

88

ON HARNACK'S THEOREM AND EXTENSIONS: A GEOMETRIC PROOF AND APPLICATIONS  

E-Print Network [OSTI]

of a compact orientable surface of genus g are a set of k disjoint simple closed geodesic where 0 k g + 1. The first goal of this article is to give a purely geometric, complete and self-contained proof of this fact in the compactification of the Moduli space of complex curves of genus g, Mg. More concretely, we establish that given two

Parlier, Hugo

89

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

90

Refinement of Inequalities among Means  

E-Print Network [OSTI]

In this paper we shall consider some famous means such as arithmetic, harmonic, geometric, root-square means, etc. Some new means recently studied are also presented. Different kinds of refinement of inequalities among these means are given.

Inder Jeet Taneja

2005-07-12T23:59:59.000Z

91

The relationship between wheat self-sufficiency and national wheat trade policy  

E-Print Network [OSTI]

of self- sufficiency in wheat. Trade-restrictive policies such as tariffs, quotas and price support programs have been enacted by most gov- ernments. In 1976-1977, for example, less than five percent of the wheat traded internationally was imported...-demand conditions with production quotas and price support programs. It also sets standards of product differentiation (grading), determines ease of entry into the market by issuing licenses, and affects cost structures through credit and other reg- ulations...

Maurer, Alan Borman

1980-01-01T23:59:59.000Z

92

Proof Details for "Performance Analysis of Godard-Based Blind Channel Identification"  

E-Print Network [OSTI]

1 Proof Details for "Performance Analysis of Godard-Based Blind Channel Identification" Philip) The bulk of the proof is spent analyzing the righthand term above. E ^^h(0) i - ^h(0) i 2 2 = E ^^h(0) i 2

Schniter, Philip

93

Algebraic proofs of some fundamental theorems in algebraic $K$-theory.  

E-Print Network [OSTI]

We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary complexes.

Tom Harris

94

Intuition in formal proof : a novel framework for combining mathematical tools  

E-Print Network [OSTI]

This doctoral thesis addresses one major difficulty in formal proof: removing obstructions to intuition which hamper the proof endeavour. We investigate this in the context of formally verifying geometric algorithms using ...

Meikle, Laura Isabel

2014-06-27T23:59:59.000Z

95

On the Purpose of Event-B Proof Obligations Stefan Hallerstede  

E-Print Network [OSTI]

systematic support within the modelling method. We insist that reasoning is an essential part of modelling into relative deadlock- freeness proofs with respect to the failures model of CSP [17] and into soundness proofs

Southampton, University of

96

To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting  

E-Print Network [OSTI]

To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting Using Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems for which such proofs were not possible before

Ábrahám, Erika

97

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4  

E-Print Network [OSTI]

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4 F.G. GARVAN Abstract. We give a proof of the Macdonald-Morris root system conjecture for F4 that draws on ideas from Zeilberger's recent proof of the G 2. The Macdonald-Morris root system conjecture for F4 is (1.1) C.T. 1i

Garvan, Frank

98

Planar and Braided ProofNets for Multiplicative Linear Logic with Mix  

E-Print Network [OSTI]

in his thesis [8]. There are both logical and geometrical reasons to consider the rule of Mix ` \\GammaPlanar and Braided Proof­Nets for Multiplicative Linear Logic with Mix G. Bellin \\Lambda A of the data. Braided proof­ nets are proof­nets for multiplicative linear logic with Mix embedded in R 3

Bellin, Gianluigi

99

Solar energt focusing means  

SciTech Connect (OSTI)

A highly efficient solar focusing means being hollow and in semi-cylindrical or arcuate shape, the surface has such fine menisci as to act like convex lenses to focus solar rays towards the center of the focusing body, irrespective of the position of the sun, where a solar energy conversion device is located and further acts to disperse light reflected thereonto from the solar energy conversion device. The focusing body can assume several shapes and thus can be used for roofing of a building, such as a house, or the like, and still be aesthetically pleasing.

Tsubota, J.

1981-11-10T23:59:59.000Z

100

Sufficient conditions for uniform bounds in abstract polymer systems and explorative partition schemes  

E-Print Network [OSTI]

We present several new sufficient conditions for uniform boundedness of the reduced correlations and free energy of an abstract polymer system in a complex multidisc around zero fugacity. They resolve a discrepancy between two incomparable and previously known extensions of Dobrushin's classic condition. All conditions arise from an extension of the tree-operator approach introduced by Fern\\`{a}ndez & Procacci combined with a novel family of partition schemes of the spanning subgraph complex of a cluster. The key technique is the increased transfer of structural information from the partition scheme to a tree-operator on an enhanced space.

Christoph Temmel

2014-08-25T23: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

An almost trivial proof of the 4-colour theorem  

E-Print Network [OSTI]

Proving for triangulations an extended (sharper) version of the 4-colour theorem by induction, we manage to exclude the case which led to the failure of Kempe's attempted proof. The new idea is to claim the existence of a "nice" 4-colouring, in which existing Kempe chains satisfy a special condition, and to show that the assumption of its non-existence (a counterexample) always leads to a contradiction. The trick is to employ recolouring in order to assure the non-existence of potential counter-examples.

Peter Doerre

2013-06-25T23:59:59.000Z

102

A proof of Scott's correction for Matter Pedro Balodis Matesanz  

E-Print Network [OSTI]

-Fermi theory (TF in the next), distances scale as the 1=3 power of the nuclear average charge Z, i.e, we would) such that E Q R;Z;N := inf 2H; k k=1 h ; HR;Z;N i H #21; M X j=1 E Q (Z j ) + cZ 7=3 M X j=1 Z 1=3 ? j #1A proof of Scott's correction for Matter Pedro Balodis Matesanz January 2002 Abstract In this paper

103

ReACT Methodology Proof of Concept Final Report  

SciTech Connect (OSTI)

The Department of Energys Office of Electricity Delivery and Energy Reliability (DOE-OE) funded INL Researchers to evaluate a novel process for assessing and mitigating cyber security risks. The proof of concept level of the method was tested in an industry environment. This case study, plus additional case studies will support the further development of the method into a tool to assist industry in securing their critical networks. This report provides an understanding of the process developed in the Response Analysis and Characterization Tool (ReACT) project. This report concludes with lessons learned and a roadmap for final development of these tools for use by industry.

Bri Rolston; Sarah Freeman

2014-03-01T23:59:59.000Z

104

Coherent electron cooling proof of principle instrumentation design  

SciTech Connect (OSTI)

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

105

Stationary black-hole binaries: A non-existence proof  

E-Print Network [OSTI]

We resume former discussions of the question, whether the spin-spin repulsion and the gravitational attraction of two aligned black holes can balance each other. Based on the solution of a boundary problem for disconnected (Killing) horizons and the resulting violation of characteristic black hole properties, we present a non-existence proof for the equilibrium configuration in question. From a mathematical point of view, this result is a further example for the efficiency of the inverse ("scattering") method in non-linear theories.

Gernot Neugebauer; Jrg Hennig

2014-06-23T23:59:59.000Z

106

File:Proof1.pdf | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublicIDAPowerPlantSitingConstruction.pdfNotify98.pdf Jump to: navigation, search FileProof1.pdf Jump to:

107

Climate-Proofing Energy Systems | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy ResourcesInformation istype ofdefined inProofing

108

Sufficient Conditions for Optimal Multicast Communication Barbara D. Birchler, AbdolHossein Esfahanian, and Eric Torng  

E-Print Network [OSTI]

­1266 fbirchler,esfahani,torngg@cps.msu.edu Abstract In this paper, we give a general technique for com­ puting will satisfy these conditions, this result essentially means that multicast can always be performed in dlog(d+1 to be a shortest path routing scheme, this result essentially implies that any real system allows optimal multicast

Torng, Eric

109

Sufficient bound on the mode mismatch of single photons for scalability of the boson sampling computer  

E-Print Network [OSTI]

The boson sampler proposed by Aaronson and Arkhipov is a non-universal quantum computer, which can serve as evidence against the extended Church-Turing thesis. It samples the probability distribution at the output of linear unitary optical network, with indistinguishable single photons at the input. Four experimental groups have already tested their small-scale prototypes with up to four photons. The boson sampler with few dozens of single photons is believed to be hard to simulate on a classical computer. For scalability of a realistic boson sampler with current technology it is necessary to know the effect of the photon mode mismatch on its operation. Here a nondeterministic model of the boson sampler is analyzed, which employs partially indistinguishable single photons emitted by identical sources. A sufficient condition on the average mutual fidelity $ \\langle \\mathcal{F}\\rangle$ of the single photons is found, which guarantees that the realistic boson sampler outperforms the classical computer. Moreover, the boson sampler computer with partially indistinguishable single photons is scalable while being beyond the power of classical computers when the single photon mode mismatch $1-\\langle \\mathcal{F}\\rangle$ scales as $ \\mathcal{O}(N^{-3/2})$ with the total number of photons $N$.

Valery Shchesnovich

2014-12-02T23:59:59.000Z

110

A New Proof on Net Upscale Energy Cascade in 2D and QG Turbulence  

E-Print Network [OSTI]

A general proof that more energy flows upscale than downscale in two-dimensional (2D) turbulence and barotropic quasi-geostrophic (QG) turbulence is given. A proof is also given that in Surface QG turbulence, the reverse is true. Though some of these results are known in restricted cases, the proofs given here are pedagogically simpler, require fewer assumptions and apply to both forced and unforced cases.

Eleftherios Gkioulekas; Ka Kit Tung

2006-09-30T23:59:59.000Z

111

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

112

General proof of (maximum) entropy principle in Lovelock gravity  

E-Print Network [OSTI]

We consider a static self-gravitating perfect fluid system in Lovelock gravity theory. For a spacial region on the hypersurface orthogonal to static Killing vector, by the Tolman's law of temperature, the assumption of a fixed total particle number inside the spacial region, and all of the variations (of relevant fields) in which the induced metric and its first derivatives are fixed on the boundary of the spacial region, then with the help of the gravitational equations of the theory, we can prove a theorem says that the total entropy of the fluid in this region takes an extremum value. A converse theorem can also be obtained following the reverse process of our proof.

Cao, Li-Ming

2014-01-01T23:59:59.000Z

113

PROOF COPY 502144JCP Curvature dependent surface tension from a simulation of a cavity  

E-Print Network [OSTI]

PROOF COPY 502144JCP PROOF COPY 502144JCP Curvature dependent surface tension from a simulation 4 September 2001 Monte Carlo simulations have been used to calculate the surface tension of a planar Institute of Physics. DOI: 10.1063/1.1413514 I. INTRODUCTION The dependence of surface tension on radius

Attard, Phil

114

Concurrent Zero-Knowledge Proofs for NP Joe Kilian y Erez Petrank z Ransom Richardson x  

E-Print Network [OSTI]

Cummings Center, Beverly, MA 01915. rrichard@groove.net. 1 #12; zero-knowledge protocols that are robustConcurrent Zero-Knowledge Proofs for NP #3; Joe Kilian y Erez Petrank z Ransom Richardson x November 26, 2001 Abstract A proof is concurrent zero-knowledge if it remains zero-knowledge when many

Petrank, Erez

115

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4  

E-Print Network [OSTI]

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4 F.G. GARVANy Abstract. We give a proof of the Macdonald-Morris root system conjecture f* *or. The Macdonald-Morris root system conjecture for F4 is Y

Garvan, Frank

116

A GEOMETRIC CONTROL PROOF OF LINEAR FRANKS' LEMMA FOR GEODESIC FLOWS  

E-Print Network [OSTI]

A GEOMETRIC CONTROL PROOF OF LINEAR FRANKS' LEMMA FOR GEODESIC FLOWS A. LAZRAG Abstract. We provide an elementary proof of the Franks lemma for geodesic flows that uses basic tools of geometric control theory. 1 such as geodesic flows (see [3] and [2]) and more generally Hamiltonians flows (see [15]). In this work, we focus

Boyer, Edmond

117

How to Delegate Computations: The Power of No-Signaling Proofs  

E-Print Network [OSTI]

-exponentially secure private information retrieval (PIR) scheme. The proof exploits a curious connection between suggested by Aiello et al. (ICALP, 2000), which makes use of a PIR scheme. This method lacked a proof of security. We prove that this method is secure assuming the underlying MIP is secure against no

118

PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR  

E-Print Network [OSTI]

End-Use Energy Efficiency · Industrial/Agricultural/Water End-Use Energy Efficiency · Renewable EnergyPROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR FOR USE IN A SPACE-COOLING SYSTEM REPORT (FAR) PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR FOR USE IN A SPACE COOLING

119

FORMAL PROOFS IN REAL ALGEBRAIC GEOMETRY: FROM ORDERED FIELDS TO QUANTIFIER ELIMINATION  

E-Print Network [OSTI]

, but is imposed by our choice to base this work on an abstract structure. Then we formalized a proof of quantifier Microsoft Research Joint Centre, e-mail address: Assia.Mahboubi@inria.fr Abstract. This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures

Paris-Sud XI, Université de

120

Red Means Go Structural Engineering  

E-Print Network [OSTI]

Red Means Go Structural Engineering: An Overview of Global Directions Marc Hoit, Ph.D. Vice Chancellor for IT Professor of Civil Engineering #12;Red Means Go Overview · Global trends affecting on advanced degrees · Educate for the "Smile" Creativity as fundamental education Entrepreneurs ­ Need

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

Folk Theorems on Transmission Access: Proofs and Counter Examples  

E-Print Network [OSTI]

.ucei.berkeley.edu/ucei #12;[11] S. Stoft, \\On the meaning of transmission prices." Private Communication, 18 October 1994

California at Berkeley. University of

122

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

SciTech Connect (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

123

Learning the meaning of music  

E-Print Network [OSTI]

Expression as complex and personal as music is not adequately represented by the signal alone. We define and model meaning in music as the mapping between the acoustic signal and its contextual interpretation - the 'community ...

Whitman, Brian A. (Brian Alexander)

2005-01-01T23:59:59.000Z

124

Sufficient condition for a finite-time singularity in a high-symmetry Euler flow: Analysis and statistics  

E-Print Network [OSTI]

City, Iowa 52242 Received 20 March 1995 A sufficient condition is obtained for the development that for fixed total energy, pxxxx is predominantly positive with the average value growing with the numbers spontaneously, dissipa- tion intervenes, and the dynamical balance between the two processes determines

Ng, Chung-Sang

125

SALT DAMAGE CRITERION PROOF-OF-CONCEPT RESEARCH  

SciTech Connect (OSTI)

This document is the annual technical progress report for Department of Energy Contract No. DE-FC26-00NT41026 entitled Proof-of-Concept Research for an Advanced Design Criterion to Improve Working Gas Capacity for Natural Gas Storage Caverns in Salt Formations. This report covers the reporting period from October 1, 2000, through September 30, 2001. During this reporting period, the project was initiated and work was performed to develop structural models that will be used to evaluate two compressed natural gas storage caverns in the McIntosh Dome northwest of Mobile, Alabama. Information necessary to define the structural models include site-specific stress, temperature, geometry, stratigraphy, and operating scenarios in the dome and for the caverns. Additionally, material model development for the salt at the McIntosh Dome was initiated. Material model development activities include acquisition of salt core for testing, laboratory testing, and regression analyses to determine site-specific model parameter values that describe the behavior of salt around a storage cavern. Although not performed during this reporting period, the information and models developed will be used to perform advanced design storage cavern analyses for the Bay Gas caverns to determine the operating pressure ranges to maintain stable conditions.

Kerry L. DeVries; Kirby D. Mellegard; Gary D. Callahan

2001-12-01T23:59:59.000Z

126

Electron mean free path from angle-dependent photoelectron spectroscopy of aerosol particles  

E-Print Network [OSTI]

We propose angle-resolved photoelectron spectroscopy of aerosol particles as an alternative way to determine the electron mean free path of low energy electrons in solid and liquid materials. The mean free path is obtained from fits of simulated photoemission images to experimental ones over a broad range of different aerosol particle sizes. The principal advantage of the aerosol approach is twofold. Firstly, aerosol photoemission studies can be performed for many different materials, including liquids. Secondly, the size-dependent anisotropy of the photoelectrons can be exploited in addition to size-dependent changes in their kinetic energy. These finite size effects depend in different ways on the mean free path and thus provide more information on the mean free path than corresponding liquid jet, thin film, or bulk data. The present contribution is a proof of principle employing a simple model for the photoemission of electrons and preliminary experimental data for potassium chloride aerosol particles.

Goldmann, Maximilian; West, Adam H C; Yoder, Bruce L; Signorell, Ruth

2015-01-01T23:59:59.000Z

127

In Situ Redox Manipulation Proof-of-Principle Test at the Fort Lewis Logistics Center: Final Report  

SciTech Connect (OSTI)

Pacific Northwest National Laboratory conducted a proof-of-principle test at the Fort Lewis Logistics Center to determine the feasibility of using the innovative remedial technology In Situ Redox Manipulation (ISRM) to treat groundwater contaminated with dissolved TCE. ISRM creates a permeable treatment zone in the subsurface to remediate redox-sensitive contaminants in groundwater. The permeable treatment zone is created by injecting a chemical reducing agent (sodium dithionite with pH buffers) into the aquifer through a well to chemically reduce the naturally occurring ferric iron in the sediments to ferrous iron. Once the reducing agent has been given sufficient time to react with aquifer sediments, residual chemicals and reaction products are withdrawn through the same well. Redox-sensitive contaminants such as TCE, moving in a dissolved-phase plume through the treatment zone, are destroyed. TCE is degraded via reductive dechlorination within the treatment zone to benign degradation products (acetylene, ehtylene). Analyses of sediment samples collected from post-test boreholes showed a high degree of iron reduction, which confirmed the effectiveness of the treatment zone.

Vermeul, Vincent R.; Williams, Mark D.; Evans, John C.; Szecsody, James E.; Bjornstad, Bruce N.; Liikala, Terry L.

2000-10-25T23:59:59.000Z

128

Isotope separation by laser means  

DOE Patents [OSTI]

A process for separating isotopes by selective excitation of isotopic species of a volatile compound by tuned laser light. A highly cooled gas of the volatile compound is produced in which the isotopic shift is sharpened and defined. Before substantial condensation occurs, the cooled gas is irradiated with laser light precisely tuned to a desired wavelength to selectively excite a particular isotopic species in the cooled gas. The laser light may impart sufficient energy to the excited species to cause it to undergo photochemical reaction or even to photoionize. Alternatively, a two-photon irradiation may be applied to the cooled gas to induce photochemical reaction or photoionization. The process is particularly applicable to the separation of isotopes of uranium and plutonium.

Robinson, C. Paul (Los Alamos, NM); Jensen, Reed J. (Los Alamos, NM); Cotter, Theodore P. (Los Alamos, NM); Greiner, Norman R. (Los Alamos, NM); Boyer, Keith (Los Alamos, NM)

1982-06-15T23:59:59.000Z

129

In Situ Redox Manipulation Proof-of-Principle Test at the Fort Lewis Logistics Center: Final Report  

SciTech Connect (OSTI)

Pacific Northwest National Laboratory (PNNL) conducted a proof-of-principle test at the Fort Lewis Logistics Center to determine the feasibility of using the In Situ Redox Manipulation (ISRM) technology for remediating groundwater contaminated with dissolved trichloroethylene (TCE). ISRM creates a permeable treatment zone in the subsurface to remediate redox-sensitive contaminants in groundwater. The permeable treatment zone is formed by injecting a chemical reducing agent (sodium dithionite with pH buffers) into the aquifer through a well to reduce the naturally occurring ferric iron in the sediments to ferrous iron. Once the reducing agent is injected and given sufficient time to react with aquifer sediments, residual chemicals and reaction products are withdrawn from the aquifer through the same well used for the injection. Redox-sensitive contaminants such as TCE, moving through the treatment zone under natural groundwater flow conditions, are destroyed. TCE is degraded via reductive dechlorination within the ISRM treatment zone to benign degradation products (i.e., acetylene, ethylene). Prior to the proof-of-principle field test, the ISRM technology was successfully demonstrated in laboratory experiments for the reductive dechlorination of dissolved TCE using sediments from the Fort Lewis site. The Logistics Center was placed on the National Priorities List in December 1989 because of TCE contamination in groundwater beneath the site. A Federal Facilities Agreement between the Army, the U.S. Environmental Protection Agency, and the Washington State Department of Ecology became effective in January 1990, and a Record of Decision (ROD) was signed in September 1990. The major components of the ROD included installation of two pump-and-treat systems for the upper aquifer and further investigation of the lower aquifer and other potential sources of contamination. The pump-and-treat systems became operational in August 1995. Fort Lewis asked PNNL to provide technical support in accelerating Installation Restoration Program site remediation and significantly reducing site life-cycle costs at the Logistics Center. In support of this program, ISRM was selected as an innovative technology for bench and field-scale demonstration. Emplacement of the ISRM treatment zone was accomplished through a series of four separate dithionite injection tests conducted between November 10, 1998 and March 29,2000. An extensive program of chemical monitoring was also performed before, during, and after each injection to evaluate the performance of ISRM. Prior to emplacement of the ISRM treatment zone, the site was extensively characterized with respect to geologic, hydrologic, and geochemical properties. Sediment core samples collected for the characterization studies were analyzed in bench-scale column tests at PNNL to determine reducible iron content. These site-specific hydrogeologic and geochemical data were used to develop the emplacement design of the pilot-scale (i.e., single injection well) ISRM treatment zone. Performance data obtained from the proof-of-principle test indicate that field-scale reductive dechlorination of TCE using the ISRM technology is feasible. A treatment zone was created in the subsurface that reduced TCE concentrations as much as 92% on the downgradient side of the reduced zone, from a background concentration of approximately 140 ppb to approximately 11 ppb. The appearance of the principal degradation product, acetylene, also confirmed that TCE destruction was occurring. Analysis of sediment samples collected from post-test boreholes showed a high degree of iron reduction, which helped to confirm the effectiveness of the treatment zone emplacement. Another important goal of the testing program was to provide assurances that chemical treatment of the subsurface did not result in undesirable secondary effects, including formation of toxic TCE degradation products, mobilization of trace elements, and degradation of hydraulic performance. Results obtained from the Fort Lewis ISRM proof-of-principle test, which are c

VR Vermeul; MD Williams; JC Evans; JE Szecsody; BN Bjornstad; TL Liikala

2000-10-25T23:59:59.000Z

130

Firearm equipped with live round inhibiting means and method of making same  

DOE Patents [OSTI]

A firearm is disclosed having live round inhibiting means mounted in the barrel of the firearm which permits a blank cartridge to be loaded into a firearm and fired while preventing the loading and firing of a live round. The live round inhibiting means comprise shaft means mounted in the barrel of the firearm and which extends a sufficient length into the barrel at a point just beyond the chamber portion of the firearm to engage the bullet portion of a live round to prevent it from properly chambering, while permitting a blank cartridge to be loaded into the firearm and fired without engaging the live round-inhibiting shaft means. 9 figs.

Baehr, D.G.

1990-11-13T23:59:59.000Z

131

MasterProof Intrinsic Fluctuations, Robustness, and Tunability in Signaling Cycles  

E-Print Network [OSTI]

. Our results show that signaling cycles possess a surprising combination of robustness and tunabilityMasterProof Intrinsic Fluctuations, Robustness, and Tunability in Signaling Cycles Joseph Levine Institute of Technology, Cambridge, Massachusetts ABSTRACT Covalent modification cycles (e

Mirny, Leonid

132

Analysis and demonstration: a proof-of-concept compass star tracker  

E-Print Network [OSTI]

, the design and fabrication of a proof-of-concept instrument, an error source analysis, and the experimental tests used to validate the position determination concepts. Star sensors are typically used as attitude determination instruments on spacecraft...

Swanzy, Michael John

2007-04-25T23:59:59.000Z

133

A Constructive Proof of the Existence of a Utility in Revealed ...  

E-Print Network [OSTI]

Up to a rescaling this limiting indirect utility is unique and continuous on a set of full measure. ...... continuous along the line {td | t ? 0} and so v (te) = ?t. Proof.

2012-02-11T23:59:59.000Z

134

E-Print Network 3.0 - applications proof-of-concept model Sample...  

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

, a two-joint planar robot for home use. II. MARIONET PROOF-OF-CONCEPT Torque of a cable-driven joint may Source: Peshkin, Michael A.- Department of Mechanical Engineering,...

135

Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin  

E-Print Network [OSTI]

Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin examining and reorganizing Kaustuv Chaudhuri INRIA Saclay ­ ^Ile-de-France, e-mail: Kaustuv.Chaudhuri

Chaudhuri, Kaustuv

136

A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays  

E-Print Network [OSTI]

Coin, an "altcoin" that uses the Bitcoin protocol to re- ward relays for contributing bandwidth. Relays "mine" TorCoin is an alternative cryptocurrency, or altcoin, based on the Bitcoin protocol [8]. Unlike Bitcoin, its proof

137

Comment on Proof that the Hydrogen-Antihydrogen Molecule is Unstable  

E-Print Network [OSTI]

A recent claim that molecule H-antiH is unstable cannot be a proof as it is based on a wrong conjecture. This is illustrated with 4 examples, including observed natural hydrogen-antihydrogen oscillations never detected previously.

G. Van Hooydonk

2005-07-31T23:59:59.000Z

138

Math 302 Introduction to Proofs via Number Theory Summer 2011 Instructor Dr. Amites Sarkar  

E-Print Network [OSTI]

Math 302 Introduction to Proofs via Number Theory Summer 2011 Instructor Dr. Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Proficiency

Sarkar, Amites

139

Math 302 Introduction to Proofs via Number Theory Spring 2009 Instructor Amites Sarkar  

E-Print Network [OSTI]

Math 302 Introduction to Proofs via Number Theory Spring 2009 Instructor Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Understanding

Sarkar, Amites

140

Math 302 Introduction to Proofs via Number Theory Winter 2011 Instructor Dr. Amites Sarkar  

E-Print Network [OSTI]

Math 302 Introduction to Proofs via Number Theory Winter 2011 Instructor Dr. Amites Sarkar Text Hall. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu Course objectives

Sarkar, Amites

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

Math 312 Proofs in Elementary Analysis Summer 2009 Instructor Dr. Amites Sarkar  

E-Print Network [OSTI]

Math 312 Proofs in Elementary Analysis Summer 2009 Instructor Dr. Amites Sarkar Text Mappings. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;Course objectives

Sarkar, Amites

142

Math 302 Introduction to Proofs via Number Theory Spring 2013 Instructor Dr. Amites Sarkar  

E-Print Network [OSTI]

Math 302 Introduction to Proofs via Number Theory Spring 2013 Instructor Dr. Amites Sarkar Text, Tuesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar

Sarkar, Amites

143

Math 302 Introduction to Proofs via Number Theory Summer 2010 Instructor Dr. Amites Sarkar  

E-Print Network [OSTI]

Math 302 Introduction to Proofs via Number Theory Summer 2010 Instructor Dr. Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Proficiency

Sarkar, Amites

144

Math 302 Introduction to Proofs via Number Theory Spring 2014 Instructor Dr. Amites Sarkar  

E-Print Network [OSTI]

Math 302 Introduction to Proofs via Number Theory Spring 2014 Instructor Dr. Amites Sarkar Text, Tuesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar

Sarkar, Amites

145

Math 309 Introduction to Proof in Discrete Mathematics Summer 2014 Instructor Amites Sarkar  

E-Print Network [OSTI]

Math 309 Introduction to Proof in Discrete Mathematics Summer 2014 Instructor Amites Sarkar Text, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;

Sarkar, Amites

146

On the complexity of cutting plane proofs using split cuts Sanjeeb ...  

E-Print Network [OSTI]

Jun 16, 2008 ... Page 1 ... The complexity of different types of cutting-plane proofs has been a much studied topic in recent years. Some well-known classes of...

2008-06-16T23:59:59.000Z

147

Wireless Roadside Inspection Proof of Concept Test Final Report  

SciTech Connect (OSTI)

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

148

Supplement: Proofs and Technical Details for "The Solution Path of the Generalized Lasso"  

E-Print Network [OSTI]

. Letting k , we get ^u0 - ^u 0 - , as desired. It is important to note that if DDT is diagonally dominant, in other words (DDT )ii j=i |(DDT )ij| for each i = 1, . . . m, then the proof of the boundary)i - j=i(DDT )ijuj (DDT )ii , but the rest of the proof remains the same, so the boundary lemma still

Gordon, Geoffrey J.

149

Mathematical Proofs of Two Conjectures: The Four Color Problem and The Uniquely 4-colorable Planar Graph  

E-Print Network [OSTI]

The famous four color theorem states that for all planar graphs, every vertex can be assigned one of 4 colors such that no two adjacent vertices receive the same color. Since Francis Guthrie first conjectured it in 1852, it is until 1976 with electronic computer that Appel and Haken first gave a proof by finding and verifying 1936 reducible unavoidable sets, and a simplified proof of Robertson, Sanders, Seymour and Thomas in 1997 only involved 633 reducible unavoidable sets, both proofs could not be realized effectively by hand. Until now, finding the reducible unavoidable sets remains the only successful method to use, which came from Kempe's first "proof" of the four color problem in 1879. An alternative method only involving 4 reducible unavoidable sets for proving the four color theorem is used in this paper, which takes form of mathematical proof rather than a computer-assisted proof and proves both the four color conjecture and the uniquely 4-colorable planar graph conjecture by mathematical method.

Jin Xu

2012-01-18T23:59:59.000Z

150

Evaluation and improvement on external-hazard proof of JSFR fuel handling system  

SciTech Connect (OSTI)

Responding to the the Fukushima Dai-ichi nuclear power plant (1F-NPP) accident, the earthquake and the tsunami proof of the fuel handling system (FHS) in Japan sodium-cooled fast reactor (JSFR) is studied. In the earthquake proof estimation, the margin of seismic resistance against the earthquake of the 1F-envelop condition and the sloshing behavior in the EVST is estimated. In terms of the tsunami proof, the scenario to lead fuel subassemblies into the stable cooling state and the potential of the cooling system is introduced in case of loss of the emergency power supply. As a result, it is clear that JSFR FHS originally could already be prepared to have the potential to prevent the release of radioactive material. (authors)

Katoh, A.; Chikazawa, Y. [Japan Atomic Energy Agency, 4002 Narita, O-arai-machi, Ibaraki-ken, 311-1393 (Japan); Uzawa, M. [Mitsubishi FBR Systems Inc. MFBR, 34-17, Jingumae 2-chome, Shibuya-ku, Tokyo 150-0001 (Japan)

2012-07-01T23:59:59.000Z

151

ANALYSIS OF SAFETY RELIEF VALVE PROOF TEST DATA TO OPTIMIZE LIFECYCLE MAINTENANCE COSTS  

SciTech Connect (OSTI)

Proof test results were analyzed and compared with a proposed life cycle curve or hazard function and the limit of useful life. Relief valve proof testing procedures, statistical modeling, data collection processes, and time-in-service trends are presented. The resulting analysis of test data allows for the estimation of the PFD. Extended maintenance intervals to the limit of useful life as well as methodologies and practices for improving relief valve performance and reliability are discussed. A generic cost-benefit analysis and an expected life cycle cost reduction concludes that $90 million maintenance dollars might be avoided for a population of 3000 valves over 20 years.

Gross, Robert; Harris, Stephen

2007-08-01T23:59:59.000Z

152

A Simple Proof of Magnetic and Electric Aharonov-Bohm Effects  

E-Print Network [OSTI]

Magnetic Aharonov-Bohm effect (AB effect) was studied in hundreds of papers starting with the seminal paper of Aharonov and Bohm [AB] published in 1959. We give a new proof of the magnetic Aharonov-Bohm effect without using the scattering theory and the theory of inverse boundary value problems. We consider separately the cases of one and several obstacles. The electric AB effect was studied much less. We give the first proof of the electric AB effect in domains with moving boundaries. When the boundary does not move with the time the electric AB effect is absent.

Gregory Eskin

2014-07-20T23:59:59.000Z

153

The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments  

E-Print Network [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 (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP).

Mancarella, P; Sadri, F; Toni, F; Endriss, U

2009-01-01T23:59:59.000Z

154

A Structure-Preserving Model and Sufficient Condition for Frequency Synchronization of Lossless Droop Inverter-Based AC Networks  

SciTech Connect (OSTI)

This paper presents a new method for analysis of frequency synchronization of lossless power networks whose sources are frequency-droop controlled inverters. Unlike most existing approaches, our method focuses on the interaction between inverters and the network to provide new physical insight into how those interactions create frequency synchronization. We introduce two structure-preserving models of such a network (one bus-oriented and one line-oriented), and show that frequency synchronization corresponds to convergence to an equilibrium of these models. We derive a necessary condition for existence of such equilibria, and determine a simple test for their local stability. Finally, we introduce a sufficient condition for frequency synchronization of such networks, and show that it consists of a set of local criteria which can each be determined from local measurements.

Ainsworth, Nathan G [ORNL] [ORNL; Grijalva, Prof. Santiago [Georgia Institute of Technology, Atlanta] [Georgia Institute of Technology, Atlanta

2013-01-01T23:59:59.000Z

155

2nd Coq workshop, Edinburgh, Scotland c S. Wilson, J. Fleuriot & A. Smaill Inductive Proof Automation for Coq  

E-Print Network [OSTI]

Automation for Coq Sean Wilson Jacques Fleuriot Alan Smaill School of Informatics, The University of Edinburgh {sean.wilson,jacques.fleuriot,a.smaill}@ed.ac.uk We introduce inductive proof automation for Coq support for proofs involving case splits and multiple inductive hypotheses. The automation makes use

Paris-Sud XI, Université de

156

Treatise with Reasoning Proof of the First Law of Energy Conservation Forced Interactions of Material Systems and Their Structures  

E-Print Network [OSTI]

Treatise with Reasoning Proof of the First Law of Energy Conservation Forced Interactions The First Law of Energy Conservation, have been traditionally accepted as axiomatic laws that cannot and reasoned the general proof of energy conservation based on the Newton's Laws of motion and energy

Kostic, Milivoje M.

157

HAMILTON DECOMPOSITIONS OF REGULAR EXPANDERS: A PROOF OF KELLY'S CONJECTURE FOR LARGE  

E-Print Network [OSTI]

HAMILTON DECOMPOSITIONS OF REGULAR EXPANDERS: A PROOF OF KELLY'S CONJECTURE FOR LARGE TOURNAMENTS DANIELA K¨UHN AND DERYK OSTHUS Abstract. A long-standing conjecture of Kelly states that every regular as well as Alon, Gutin and Krivelevich. 1. Introduction 1.1. Kelly's conjecture. A graph or digraph G has

Kühn, Daniela

158

A Uniform Proof of the Macdonald-Mehta-Opdam Identity for Finite Coxeter Groups  

E-Print Network [OSTI]

In this note we give a new proof of the Macdonald-Mehta-Opdam integral identity for finite Coxeter groups (in the equal parameter case). This identity was conjectured by Macdonald and proved by Opdam in \\cite{O1,O2} using ...

Etingof, Pavel I.

159

Outline of a proof theory of parametricity Harry G. Mairson \\Lambda  

E-Print Network [OSTI]

Outline of a proof theory of parametricity Harry G. Mairson \\Lambda Department of Computer Science that the function satisfies.''[Wad89] He gives the example of a function r 2 8A:A \\Lambda ! A \\Lambda , where , we must have the equality map XY f (r X `) = r Y (map XY f `): (1) Intuitive justifications

Mairson, Harry

160

Real-Time Dynamic Brake Assessment Conduct a proof-of-concept  

E-Print Network [OSTI]

Real-Time Dynamic Brake Assessment Purpose Conduct a proof-of-concept test to examine the Federal Motor Carrier Safety Administration's Vehicle and Roadside Operations Division Concept stemming conducted for the National Highway Transportation Safety Administration. Signals to be collected Real

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

A functional-analytic proof of the conformal welding Eric Schippers1 Wolfgang Staubach 2  

E-Print Network [OSTI]

A functional-analytic proof of the conformal welding theorem Eric Schippers1 Wolfgang Staubach 2 1 Universitet Uppsala, Sweden CMS Winter Meeting 2012 Eric Schippers (Manitoba) Conformal welding theorem CMS Winter Meeting 2012 1 / 21 #12;Statement of the theorem Conformal welding theorem Definition

Schippers, Eric

162

A SIMPLE PROOF OF THE FARY-WAGNER THEOREM DAVID R. WOOD  

E-Print Network [OSTI]

A SIMPLE PROOF OF THE F´ARY-WAGNER THEOREM DAVID R. WOOD The purpose of this note is to give at most two. 1 #12;2 DAVID R. WOOD denote the circle of radius centred at s. For each neighbour: david.wood@upc.edu #12;

Wood, David R.

163

A DENDROLOGICAL PROOF OF THE SCOTT CONJECTURE FOR AUTOMORPHISMS OF FREE GROUPS  

E-Print Network [OSTI]

A DENDROLOGICAL PROOF OF THE SCOTT CONJECTURE FOR AUTOMORPHISMS OF FREE GROUPS Damien Gaboriau of the following much celebrated result of Bestvina­Handel [BH], conjectured earlier by Scott: Theorem 1. For every are all trivial. Given p 1 ; : : : ; pm 2 T belonging to distinct orbits, the isotropy subgroups Stab p i

Gaboriau, Damien

164

No material is "fire proof;" however, proper use and assembly of fire-rated building materials  

E-Print Network [OSTI]

General No material is "fire proof;" however, proper use and assembly of fire-rated building materials can reduce a fire's spread and extend the amount of time it takes for a home to ignite and burn. (Structural assembly is the process of layering materials when building exterior walls and roof.) Your roof

165

Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data  

E-Print Network [OSTI]

Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data Nir Bitansky nirbitan@tau.ac.il Tel Aviv University Ran Canetti canetti@tau.ac.il Boston University and Tel Aviv University Alessandro Chiesa alexch@csail.mit.edu MIT Eran Tromer tromer@tau.ac.il Tel Aviv University April 3, 2012 Abstract

Ben-Sasson, Eli

166

A Cheat-Proof Game Theoretic Demand Response Scheme for Smart Grids  

E-Print Network [OSTI]

A Cheat-Proof Game Theoretic Demand Response Scheme for Smart Grids Yan Chen, W. Sabrina Lin, Feng}@umd.edu Abstract--While demand response has achieved promising results on making the power grid more efficient and reliable, the additional dynamics and flexibility brought by demand response also increase the uncertainty

Liu, K. J. Ray

167

Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System  

E-Print Network [OSTI]

Research Cambridge, UK Bryan Parno Microsoft Research Redmond, USA ABSTRACT Bitcoin is the first widely adopted distributed e-cash system and Zerocoin is a recent proposal to extend Bitcoin with anonymous schemes, Security Keywords Zero-knowledge Proofs; anonymous electronic cash; bitcoin; zerocoin. 1

Danezis, George

168

Cuckoo Cycle: a graph-theoretic proof-of-work system  

E-Print Network [OSTI]

of the cornerstones of crypto-currencies. As proof-of-work for new blocks of transactions, Bitcoin [1] adopted Adam of a cryptographic hash function (twofold SHA256 in Bitcoin's case) to this nonce (and the rest of the block header so as to maintain a certain average block interval (10-minutes for Bitcoin). Since Bitcoin, many

169

Fully conservative leak-proof treatment of thin solid structures immersed in compressible fluids  

E-Print Network [OSTI]

, embedded moving solid structures. The scheme works by coupling together a high order flux-based methodFully conservative leak-proof treatment of thin solid structures immersed in compressible fluids cells and partial volumes that arise near a thin solid structure. The conservative semi

Fedkiw, Ron

170

FORMAL PROOFS IN REAL ALGEBRAIC GEOMETRY: FROM ORDERED FIELDS TO QUANTIFIER ELIMINATION  

E-Print Network [OSTI]

and not only polynomials. But this work was imposed by our choice to base this work on an abstract structure Microsoft Research Joint Centre, e-mail address: Assia.Mahboubi@inria.fr Abstract. This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures

171

hal-00153936,version1-12Jun2007 ANOTHER PROOF OF WRIGHT'S INEQUALITIES  

E-Print Network [OSTI]

hal-00153936,version1-12Jun2007 ANOTHER PROOF OF WRIGHT'S INEQUALITIES VLADY RAVELOMANANA Abstract. We present a short way of proving the inequalities obtained by Wright in [Journal of Graph Theory, 4 to the numbers c(n, n + ) are due to Sir E. M. Wright in a series of papers including [11, 12]. He also obtained

Boyer, Edmond

172

A short proof of the strong normalization of the simply typed -calculus  

E-Print Network [OSTI]

and by a CPS transformation to the -calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof slightly different from the one in [6], is essentially the same and the two systems are obviously

Nour, Karim

173

A short proof of the strong normalization of the simply typed -calculus  

E-Print Network [OSTI]

and by a CPS transformation to the -calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof A B (A B) D1 B This coding, though slightly different from the one in [6], is essentially the same

Paris-Sud XI, Universit de

174

A short proof of the strong normalization of the simply typed #calculus  

E-Print Network [OSTI]

and by a CPS transformation to the #calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof], is essentially the same and the two systems are obviously equivalent. Parigot uses two sets of variables

David, Ren

175

Draft 14a CMOT.doc Proofs 05/14/04  

E-Print Network [OSTI]

Draft 14a CMOT.doc Proofs 05/14/04 Networks, Fields and Organizations: Micro-Dynamics, Scale us to identify a set of important new micro-macro linkages between local behavior in networks networks, organizational fields, scaling and at- tachment, micro-macro linkages. #12;1. Introduction

White, Douglas R.

176

A UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof of  

E-Print Network [OSTI]

task because of the low signal to noise ratio (SNR) due to wind, vibration and own propeller noiseA UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof on active propulsion using propellers or jets, they emit noise which reveals their presence and position

Paris-Sud XI, Université de

177

CorrectedProof DETERMINATION OF THE RHEOLOGICAL PARAMETERS OF SELF-COMPACTING  

E-Print Network [OSTI]

CorrectedProof DETERMINATION OF THE RHEOLOGICAL PARAMETERS OF SELF-COMPACTING CONCRETE MATRIX USING version: 7.7.2010 Abstract: The classification of a concrete mixture as self-compacting (SCC) is performed time with viscosity. Key words: self compacting concrete, rheology, slump flow, yield stress

Georgiou, Georgios

178

An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure  

E-Print Network [OSTI]

An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure Jia­Huai You, Li Yan may be viewed as a form of abduction and argumentation, the problem of how disjunctive programs may be used for abductive reasoning is rarely dis­ cussed. In this paper we propose an abductive semantics

Yuan, Li-Yan

179

Environmental Science & Policy 7 (2004) 369383 Science and public policy: what's proof  

E-Print Network [OSTI]

Environmental Science & Policy 7 (2004) 369383 Science and public policy: what's proof got to do the effects of our choices. 2004 Elsevier Ltd. All rights reserved. Keywords: Environmental policy; Science for opponents of environmental action to argue that the scientific basis for purported harms is uncertain

Callender, Craig

2004-01-01T23:59:59.000Z

180

Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-Prover Interactive Proof Systems  

E-Print Network [OSTI]

A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as multi-prover interactive proof systems. This paper develops a new method for proving limits of nonlocal strategies that make use of prior entanglement among players (or, provers, in the terminology of multi-prover interactive proofs). Instead of proving the limits for usual isolated provers who initially share entanglement, this paper proves the limits for "commuting-operator provers", who share private space, but can apply only such operators that are commutative with any operator applied by other provers. Commuting-operator provers are at least as powerful as usual isolated but prior-entangled provers, and thus, limits for commuting-operator provers immediately give limits for usual entangled provers. Using this method, we obtain an n-party generalization of the Tsirelson bound for the Clauser-Horne- Shimony-Holt inequality for every n. Our bounds are tight in the sense that, in every n-party case, the equality is achievable by a usual nonlocal strategy with prior entanglement. We also apply our method to a 3-prover 1-round binary interactive proof for NEXP. Combined with the technique developed by Kempe, Kobayashi, Matsumoto, Toner and Vidick to analyze the soundness of the proof system, it is proved to be NP-hard to distinguish whether the entangled value of a 3-prover 1-round binary-answer game is equal to 1 or at most 1-1/p(n) for some polynomial p, where n is the number of questions. This is in contrast to the 2-prover 1-round binary-answer case, where the corresponding problem is efficiently decidable. Alternatively, NEXP has a 3-prover 1-round binary interactive proof system with perfect completeness and soundness 1-2^{-poly}.

Tsuyoshi Ito; Hirotada Kobayashi; Daniel Preda; Xiaoming Sun; Andrew C. -C. Yao

2008-04-11T23: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

Galley Proof 15/08/2008; 14:22 File: tad260.tex; BOKCTP/sx p. 1 Technology and Disability 20 (2008) 18 1  

E-Print Network [OSTI]

Galley Proof 15/08/2008; 14:22 File: tad260.tex; BOKCTP/sx p. 1 Technology and Disability 20 (2008;Galley Proof 15/08/2008; 14:22 File: tad260.t

Coughlan, James M.

182

The role of literal meaning in metaphor  

E-Print Network [OSTI]

negative and leaves much to be explained. Davidson claims that a metaphor means only what the sentence used in the metaphor literally means. Anything else that a metaphor may prompt an interpreter to think is neither a meaning nor a cognitive content...

Coleman, Martin Allen

2012-06-07T23:59:59.000Z

183

Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination  

E-Print Network [OSTI]

Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination Proofs Lukas Bulwahn Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen February 16th, 2007 1 / 23 #12;Structure of Termination Proofs

Cengarle, María Victoria

184

A simple proof of a theorem of Statman Harry G. Mairson \\Lambda  

E-Print Network [OSTI]

A simple proof of a theorem of Statman Harry G. Mairson \\Lambda Cambridge Research Laboratory ; x 2 ; : : : ; x k g be a set of ??­terms, each of first­order type ff; then L j ??c : ff ! ø ! ø and successor on Church numerals, the length of a list of terms of type ff can be computed by length j ??L : (ff

Mairson, Harry

185

9-056-462-00 (3557) EXPLOSION-PROOF REFRIGERATOR, FREEZER  

E-Print Network [OSTI]

, FREEZER AND REFRIGERATOR-FREEZER Models 3557, 3557SS, 3557LHSS, 3557-2, 3557-4 o I At Lab-Line, we take in this manual include: Models 3557, 3557SS, 3557LHSS: Model 3557-2: Freezer Model 3557-4: Refrigerator-Freezer9-056-462-00 (3557) kN 4/88 ^INiyiAL LAB-LIIME lAB-LINE FRIGID-CAB EXPLOSION-PROOF REFRIGERATOR

Kleinfeld, David

186

A GeometricOptics Proof of a Theorem on Boundary Control Given a Convex Function  

E-Print Network [OSTI]

A Geometric­Optics Proof of a Theorem on Boundary Control Given a Convex Function Michael Galbraith@math.umn.edu Abstract We consider a hyperbolic equation of the form u tt \\Gamma n X i;j=1 @ @x i ` a ij (x) @u @x j geometric optics argument--- in fact it comes down to a short calculus computation on the value of v along

Gulliver, Robert

187

Towards a proof of the equivalence between FRW background expansion and statistical isotropy  

E-Print Network [OSTI]

We will expose in this paper our advances towards a proof of the equivalence between FRW background expansion, during some period of time that contains primordial inflation, and the statistical isotropy of the primordial curvature perturbation $\\zeta$ at the end of this period of time. Our motivation rests on the growing interest in the existence of a preferred direction in the Universe hinted by the continuous presence of anomalies in the CMB data.

Rodriguez, Yeinzon; Nieto, Carlos M

2015-01-01T23:59:59.000Z

188

Status of Proof-of-principle Experiment for Coherent Electron Cooling  

SciTech Connect (OSTI)

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.

Pinayev, I; Ben-Zvi, I; Bengtsson, J; Elizarov, A; Fedotov, A V; Gassner, D M; Hao, Y; Kayran, D; Litvinenko, V; Mahler, G J; Meng, W; Roser, T; Sheehy, B; Than, R; Tuozzolo, J E; Wang, G; Webb, S D; Yakimenko, V; Bell, G I; Bruhwiler, D L; Ranjbar, V H; Schwartz, B T; Hutton, A; Krafft, G A; Poelker, M; Rimmer, R A; Kholopov, M A

2012-07-01T23:59:59.000Z

189

PROOF-based analysis on the ATLAS Grid facilities: first experience with the PoD/PanDa plugin  

E-Print Network [OSTI]

In the ATLAS computing model Grid resources are managed by the PanDA system, a data-driven workload management system designed for production and distributed analysis. Data are stored under various formats in ROOT files and end-user physicists have the choice to use either the ATHENA framework or directly ROOT. The ROOT way to analyze data provides users the possibility to use PROOF to exploit the computing power of multi-core machines or to dynamically manage analysis facilities. Since analysis facilities are, in general, not dedicated to PROOF only, PROOF-on-Demand (PoD) is used to enable PROOF on top of an existing resource management system.\

Vilucchi, E; The ATLAS collaboration; Di Donato, C; Di Nardo, R; Doria, A; Ganis, G; Manafov, A; Mancini, G; Mazza, S; Preltz, F; Rebatto, D; Salvucci, A; Pineda, A S

2013-01-01T23:59:59.000Z

190

Scalable k-means statistics with Titan.  

SciTech Connect (OSTI)

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

191

Efficient Cardinality/Mean-Variance Portfolios  

E-Print Network [OSTI]

Mar 2, 2012 ... efficient frontier for the biobjective cardinality/mean-variance problem. ..... provide the tradeoff between risk and expected return, generating.

2012-03-02T23:59:59.000Z

192

Math 290 -Class Activity Assignment 14 1. Write formal proofs of each of the following using PMI.  

E-Print Network [OSTI]

using PMI. (a) For all n N, 6 n i=0 7i = 7n+1 - 1. In your proof, make use of the inductive definition = 7n+1 - 1 . We prove that S = N using PMI. (i) (Basis step) Since 6 1 i=0 7i = 6(1 + 7) = 48 = 72 - 1) - 1 = 7n+2 - 1, which proves that n + 1 S. Thus by PMI, S = N. (b) Proof. Define the set S by S = {n

Singman, David

193

MEAN DIMENSION, MEAN RANK, AND VON NEUMANN-L UCK RANK  

E-Print Network [OSTI]

MEAN DIMENSION, MEAN RANK, AND VON NEUMANN-L ¨UCK RANK HANFENG LI AND BINGBING LIANG Abstract. We introduce an invariant, called mean rank, for any module M of the integral group ring of a discrete amenable group , as an analogue of the rank of an abelian group. It is shown that the mean dimension

Li, Hanfeng

194

Study of relaxation and transport processes by means of AFM based dielectric spectroscopy  

SciTech Connect (OSTI)

Since its birth a few years ago, dielectric spectroscopy studies based on atomic force microscopy (AFM) have gained a growing interest. Not only the frequency and temperature ranges have become broader since then but also the kind of processes that can be studied by means of this approach. In this work we analyze the most adequate experimental setup for the study of several dielectric processes with a spatial resolution of a few nanometers by using force mode AFM based dielectric spectroscopy. Proof of concept experiments were performed on PS/PVAc blends and PMMA homopolymer films, for temperatures ranging from 300 to 400 K. Charge transport processes were also studied by this approach. The obtained results were analyzed in terms of cantilever stray contribution, film thickness and relaxation strength. We found that the method sensitivity is strongly coupled with the film thickness and the relaxation strength, and that it is possible to control it by using an adequate experimental setup.

Miccio, Luis A. [Centro de Fsica de Materiales CSIC-UPV/EHU, P. M. de Lardizabal 5, 20018 San Sebastian, Spain and Departamento de Fsica de Materiales UPV/EHU, Fac. de Qumica, 20080 San Sebastian (Spain); Schwartz, Gustavo A. [Centro de Fsica de Materiales CSIC-UPV/EHU, P. M. de Lardizabal 5, 20018 San Sebastian, Spain and Donostia International Physics Center, Paseo Manuel de Lardizabal 4, 20018 San Sebastian (Spain)

2014-05-15T23:59:59.000Z

195

UNCORRECTED PROOF  

E-Print Network [OSTI]

bSobolev Institute of Mathematics, Novosibirsk-90 630090, Russia ... 1 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-

2000-12-14T23:59:59.000Z

196

UNCORRECTED PROOF  

E-Print Network [OSTI]

aNovosibirsk State University, Novosibirsk 630090, Russia. bFaculty ... 2 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-

2000-12-12T23:59:59.000Z

197

UNCORRECTED PROOF  

E-Print Network [OSTI]

P. Shebalina, A. Gabrielovc, D. Turcotted. 4 a International Institute for Earthquake Prediction Theory and Mathematical Geophysics, Russian Academy Science,.

2004-04-30T23:59:59.000Z

198

7, 1365313697, 2007 Global mean age of  

E-Print Network [OSTI]

ACPD 7, 13653­13697, 2007 Global mean age of air from MIPAS G. P. Stiller et al. Title Page measurements G. P. Stiller 1 , T. von Clarmann 1 , M. H¨opfner 1 , N. Glatthor 1 , U. Grabowski 1 , S. Kellmann Correspondence to: G. P. Stiller (gabriele.stiller@imk.fzk.de) 13653 #12;ACPD 7, 13653­13697, 2007 Global mean

Paris-Sud XI, Université de

199

Purging the Task Pump on the 800 Cold Probe Occasionally the task pump in the 800 cryobay will not pull a sufficient  

E-Print Network [OSTI]

Purging the Task Pump on the 800 Cold Probe Occasionally the task pump in the 800 cryobay will not pull a sufficient vacuum to start the cold probe. When this happens the pump may need to have a N2 panels off the cryobay and place somewhere safe · Make sure the task pump is off. If it is still running

Oliver, Douglas L.

200

Computer Assisted 'Proof' of the Global Existence of Periodic Orbits in the Rssler System  

E-Print Network [OSTI]

The numerical optimized shooting method for finding periodic orbits in nonlinear dynamical systems was employed to determine the existence of periodic orbits in the well-known R\\"ossler system. By optimizing the period $T$ and the three system parameters, $a$, $b$ and $c$, simultaneously, it was found that, for any initial condition $(x_0,y_0,z_0) \\in \\Re^3$, there exists at least one set of optimized parameters corresponding to a periodic orbit passing through $ (x_0,y_0,z_0)$. After a discussion of this result it was concluded that its analytical proof may present an interesting new mathematical challenge.

A. E. Botha; W. Dednam

2014-08-14T23: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

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

SciTech Connect (OSTI)

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

202

"Actuation at a distance" of microelectromechanical systems using photoelectrowetting: proof-of-concept  

E-Print Network [OSTI]

We demonstrate here a proof-of-concept experiment that microelectromechanical systems (MEMS) can be actuated using photoelectrowetting. In order to demonstrate this, a 30 \\mu m thick aluminum cantilever is actuated using an ordinary white light source. A deflection of 56 \\mu m is observed using a light irradiance equal to \\approx 1000 W m-2 at a bias of 7 V. The deflection of the cantilever relies on the recently observed photoelectrowetting effect [Sci. Rep.1, 184 (2011)]. Such "actuation at a distance" could be useful for optical addressing and control of autonomous wireless sensors, MEMS and microsystems.

Gaudet, Matthieu

2012-01-01T23:59:59.000Z

203

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

SciTech Connect (OSTI)

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

204

Dispersion of Identity Meanings: Exploration and Implications  

E-Print Network [OSTI]

If we think about a steam engine as the system in question,feedback systems. The steam engine control system and otheridentity meanings, and steam engines maintain speed. Each

Cantwell, Allison M.

2011-01-01T23:59:59.000Z

205

Perspective unconventional means for nuclear reactor control  

SciTech Connect (OSTI)

The concept of reliable shutdown of nuclear reactors demands application of engineering control means on the basis of principles, safety, safe failure, redundancy, independence, variety, defence in depth, and intrinsical safety. This report describes application of control methods.

Ionaitis, R.R.

1993-12-31T23:59:59.000Z

206

Proof-of-principle test for thermoelectric generator for diesel engines; Final report  

SciTech Connect (OSTI)

In September of 1987, the principals of what is now Hi-Z TECHNOLOGY, INC. applied to the National Bureau of Standards (now National Institute of Standards and Technology, NIST) under the Energy Related Inventions Program. The invention was entitled ``Thermoelectric Generator for Diesel Engines.`` The National Institute of Standards and Technology evaluated the invention and on January 12, 1989 forwarded Recommendation Number 455 to the Department of Energy (DOE). This recommendation informed the DOE that the invention had been selected for recommendation by the NIST for possible funding by the DOE. Following the recommendation of the NIST, the DOE contacted Hi-Z to work out a development program for the generator. A contract for a grant to design, fabricate, and test a Proof-of-Principle exhaust powered thermoelectric generator for Diesel engines was signed October 19, 1989. Hi-Z provided the thermoelectric modules used in the generator as their contribution to the project. The purpose of this Grant Program was to design, build, and test a small-scale, Proof-of-Principle thermoelectric generator for a Diesel engine. 15 figs., 1 tab.

NONE

1991-07-26T23:59:59.000Z

207

Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1  

SciTech Connect (OSTI)

Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters.

NONE

1998-05-21T23:59:59.000Z

208

Cohesive means in Slovenian spontaneous dialectal conversations  

E-Print Network [OSTI]

17 Cohesive means in Slovenian spontaneous dialectal conversations1 Danila zuljan kumar Intitut za slovenski jezik Frana Ramova ZRC SAZU, Raziskovalna postaja Nova Gorica, Delpinova 12, SI 5000 Nova Gorica, DZuljan@zrc-sazu.si V... Centre SASA. SCN III/1 [2010], 1734 18 Slavia Centralis 1/2010 Danila Zuljan Kumar 0 Introduction A discourse (or a text as its product) is not a structural unit, like a clause or a sentence. Rather, it is a semantic unit, which means...

Kumar, Danila Zuljan

2010-02-01T23:59:59.000Z

209

SURGEURGEAnd Move Planning Manual WHAT IT MEANS  

E-Print Network [OSTI]

SURGEURGEAnd Move Planning Manual A GUIDE ON WHAT IT MEANS TO SURGE, HOW LONG IT WILL TAKE AND THE BEST WAY TO GET THROUGH IT Produced by: University of California, Berkeley Capital Projects #12 Manual describes the surge planning process and provides an overview of roles and responsibilities

Doudna, Jennifer A.

210

An Explanation for Beta's Mean-reversion  

E-Print Network [OSTI]

for the designation as an UNDERGRADUATE RESEARCH SCHOLAR Approved by Research Advisor: Dr. Dennis Jansen May 2014 Major: Economics TABLE OF CONTENTS Page ABSTRACT.................................................................................................................................. 8 1 ABSTRACT An Explanation for Betas Mean Reversion. (May 2014) Connor Matthew Bodkin Department of Economics Texas A&M University Research Advisor: Dr. Dennis Jansen Department of Economics This study aims to improve upon...

Bodkin, Connor Matthew

2013-09-26T23:59:59.000Z

211

Design of a speed meter interferometer proof-of-principle experiment  

E-Print Network [OSTI]

The second generation of large scale interferometric gravitational wave detectors will be limited by quantum noise over a wide frequency range in their detection band. Further sensitivity improvements for future upgrades or new detectors beyond the second generation motivate the development of measurement schemes to mitigate the impact of quantum noise in these instruments. Two strands of development are being pursued to reach this goal, focusing both on modifications of the well-established Michelson detector configuration and development of different detector topologies. In this paper, we present the design of the world's first Sagnac speed meter interferometer which is currently being constructed at the University of Glasgow. With this proof-of-principle experiment we aim to demonstrate the theoretically predicted lower quantum noise in a Sagnac interferometer compared to an equivalent Michelson interferometer, to qualify Sagnac speed meters for further research towards an implementation in a future generation large scale gravitational wave detector, such as the planned Einstein Telescope observatory.

C. Grf; B. W. Barr; A. S. Bell; F. Campbell; A. V. Cumming; S. L. Danilishin; N. A. Gordon; G. D. Hammond; J. Hennig; E. A. Houston; S. H. Huttner; R. A. Jones; S. S. Leavey; H. Lck; J. Macarthur; M. Marwick; S. Rigby; R. Schilling; B. Sorazu; A. Spencer; S. Steinlechner; K. A. Strain; S. Hild

2014-09-11T23:59:59.000Z

212

Proof-of concept testing of the advanced NOXSO flue gas cleanup process. Final report  

SciTech Connect (OSTI)

The NOXSO Process uses a regenerable sorbent that removes SO{sub 2} and NO{sub x} simultaneously from flue gas. The sorbent is a stabilized {gamma}-alumina bed impregnated with sodium carbonate. The process was successfully tested at three different scales, equivalent to 0.017, 0.06 and 0.75 MW of flue gas generated from a coal-fired power plant. The Proof-of-Concept (POC) Test is the last test prior to a full-scale demonstration. A slip stream of flue gas equivalent to a 5 MW coal-fired power plant was used for the POC test. This paper summarizes the NOXSO POC plant and its test results.

Not Available

1993-04-01T23:59:59.000Z

213

SUFFICIENT WEIGHTED COMPLEMENTARITY PROBLEMS 1 ...  

E-Print Network [OSTI]

Ann. Math. Statist., 30:165168, 1959. [8] R. M. Freund. Projective transformations for interior-point algorithms, and a superlinearly convergent algorithm for the...

2014-10-02T23:59:59.000Z

214

Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof Delineating objects in images via minimization  

E-Print Network [OSTI]

Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof Delineating objects in images via minimization of p energies; spanning forests via Dijkstra's and Kruskal energies 1 #12;Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof

Ciesielski, Krzysztof Chris

215

Mean field and collisions in hot nuclei  

SciTech Connect (OSTI)

Collisions between heavy nuclei produce nuclear matter of high density and excitation. Brueckner methods are used to calculate the momentum and temperature dependent mean field for nucleons propagating through nuclear matter during these collisions. The mean field is complex and the imaginary part is related to the ''two-body'' collision, while the real part relates to ''one-body'' collisions. A potential model for the N-N interactions is avoided by calculating the Reaction matrix directly from the T-matrix (i.e., N-N phase shifts) using a version of Brueckner theory previously published by the author. Results are presented for nuclear matter at normal and twice normal density and for temperatures up to 50 MeV. 23 refs., 7 figs.

K /umlt o/hler, H.S.

1989-06-01T23:59:59.000Z

216

Construction What Does it Mean To Me?What Does it Mean To Me?  

E-Print Network [OSTI]

The LCLS Construction Project: What Does it Mean To Me?What Does it Mean To Me? #12;Construction Site Interstate 280 SLAC Front Gate Construction Traffic 0 100 200 VehiclesperDay Months During Construction 2006-2008 LCLS Construction Traffic Cars Trucks 300 Sept.-N ov. D ec.-Feb.M arch-M ay June-O ct. N

Wechsler, Risa H.

217

Property:MeanCapacity | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories onFocusOskiPhilipspresentsGeothermalAreaMeanCapacity Jump to:

218

A spine proof of a lower bound for a typed branching Robert Hardy and Simon C. Harris  

E-Print Network [OSTI]

of an important and difficult path large-deviations lower bound for a typed branching diffusion as found in Git, J.HarrisA spine proof of a lower bound for a typed branching diffusion Robert Hardy and Simon C. Harris March 8, 2004 Abstract We follow the spine approach as found in Hardy and Harris [6, 8, 7] to define new

Harris, Simon Colin

219

No material is "fire proof." However, the proper use and assembly of fire-rated building materials  

E-Print Network [OSTI]

General No material is "fire proof." However, the proper use and assembly of fire-rated building materials can reduce a fire's spread and lengthen the amount of time it takes for a home to ignite and burn. Structural assembly is the process of layering materials when building exterior walls and roof. Your home

220

No material is "fire proof." However, the proper use and assembly of fire-rated building materials  

E-Print Network [OSTI]

General No material is "fire proof." However, the proper use and assembly of fire-rated building materials can reduce a fire's spread, and extend the amount of time it takes for a home to ignite and burn your home. However, radiant energy can eventually ignite materials behind the window even with glass

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

Though no material is "fire proof," the proper use and assembly of fire-rated building materials  

E-Print Network [OSTI]

General Though no material is "fire proof," the proper use and assembly of fire-rated building materials can reduce a fire's spread, and lengthen the amount of time it takes for a home to ignite and burn. Structural assembly is the layering of building materials. Decks are a very popular, well-used feature

222

A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)  

E-Print Network [OSTI]

A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA) Rolf, CH-8005 Zurich Abstract Most SSL/TLS-based e-commerce applications employ con- ventional mechanisms for user authentication. These mechanisms--if de- coupled from SSL/TLS session establishment

Basin, David

223

Proof of concept of a zinc-silver battery for the extraction of energy from a concentration difference.  

E-Print Network [OSTI]

solution. The cyclic operation allows us to extract a surplus of energy, at the expense of the free energyProof of concept of a zinc-silver battery for the extraction of energy from a concentration power (SGP) is the production of renewable and clean power from naturally available water reservoirs

Carati, Andrea

224

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

SciTech Connect (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

225

GSOD Based Daily Global Mean Surface Temperature and Mean Sea Level Air Pressure (1982-2011)  

SciTech Connect (OSTI)

This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods

Xuan Shi, Dali Wang

2014-05-05T23:59:59.000Z

226

GSOD Based Daily Global Mean Surface Temperature and Mean Sea Level Air Pressure (1982-2011)  

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

This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods

Xuan Shi, Dali Wang

227

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

228

Going and going : a contemporary search for meaning  

E-Print Network [OSTI]

Meaning provides the individual with a sense of a purpose to live, being himself, and feeling at ease. Finding meaning on a daily basis is paramount. Yet, the search is constant since meaning is lost and regained persistently. ...

Alvarado Beltrn, Elba Fabiola

2012-01-01T23:59:59.000Z

229

A nonparametric adjustment for tests of changing mean  

E-Print Network [OSTI]

When testing for a change in mean of a time series, the null hypothesis is no change in mean. However, a change in mean causes a bias in the estimation of serial correlation parameters. This bias can cause nonmonotonic ...

Juhl, Ted P.

2004-01-01T23:59:59.000Z

230

Shabbir Ahmed Mean-risk objectives in stochastic programming  

E-Print Network [OSTI]

propose a parametric cutting plane algorithm to generate the entire mean-risk efficient frontier algorithm to generate the mean-risk efficient frontier for a particular mean-risk objective in the context

Ahmed, Shabbir

231

Proof of linear instability of the Reissner-Nordstrm Cauchy horizon under scalar perturbations  

E-Print Network [OSTI]

It has long been suggested that solutions to linear scalar wave equation $$\\Box_g\\phi=0$$ on a fixed subextremal Reissner-Nordstr\\"om spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordstr\\"om spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horizon.

Jonathan Luk; Sung-Jin Oh

2015-01-19T23:59:59.000Z

232

Cryogenic systems for proof of the principle experiment of coherent electron cooling at RHIC  

SciTech Connect (OSTI)

The Coherent electron Cooling (CeC) Proof of Principle (PoP) experiment is proposed to be installed in the Relativistic Heavy Ion Collider (RHIC) to demonstrate proton and ion beam cooling with this new technique that may increase the beam luminosity in certain cases, by as much as tenfold. Within the scope of this project, a 112 MHz, 2MeV Superconducting Radio Frequency (SRF) electron gun and a 704 MHz 20MeV 5-cell SRF cavity will be installed at IP2 in the RHIC ring. The superconducting RF electron gun will be cooled in a liquid helium bath at 4.4 K. The 704 MHz 5-cell SRF cavity will be cooled in a super-fluid helium bath at 2.0 K. This paper discusses the cryogenic systems designed for both cavities. For the 112 MHz cavity cryogenic system, a condenser/boiler heat exchanger is used to isolate the cavity helium bath from pressure pulses and microphonics noise sources. For the 704 MHz 5-cell SRF cavity, a heat exchanger is also used to isolate the SRF cavity helium bath from noise sources in the sub-atmospheric pumping system operating at room temperature. Detailed designs, thermal analyses and discussions for both systems will be presented in this paper.

Huang, Yuenian; Belomestnykh, Sergey; Brutus, Jean Clifford; Lederle, Dewey; Orfin, Paul; Skaritka, John; Soria, Victor; Tallerico, Thomas; Than, Roberto [Collider Accelerator Department, Brookhaven National Laboratory, Upton, NY 11973 (United States)

2014-01-29T23:59:59.000Z

233

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

SciTech Connect (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

234

Proof of linear instability of the Reissner-Nordstr\\"om Cauchy horizon under scalar perturbations  

E-Print Network [OSTI]

It has long been suggested that solutions to linear scalar wave equation $$\\Box_g\\phi=0$$ on a fixed subextremal Reissner-Nordstr\\"om spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordstr\\"om spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horiz...

Luk, Jonathan

2015-01-01T23:59:59.000Z

235

Proof of Concept Thin Films and Multilayers Toward Enhanced Field Gradients in SRF Cavities  

SciTech Connect (OSTI)

Due to the very shallow penetration depth of the RF fields, SRF properties are inherently a surface phenomenon involving a material thickness of less than 1 micron thus opening up the possibility of using thin film coatings to achieve a desired performance. The challenge has been to understand the dependence of the SRF properties on the detailed characteristics of real surfaces and then to employ appropriate techniques to tailor these surface properties for greatest benefit. Our aim is to achieve gradients >100 MV/m and no simple material is known to be capable of sustaining this performance. A theoretical framework has been proposed which could yield such behavior [1] and it requires creation of thin film layered structures. I will present our systematic studies on such proof-of-principle samples. Our overarching goal has been to build a basic understanding of key nano-scale film growth parameters for materials that show promise for SRF cavity multilayer coatings and to demonstrate the ability to elevate the barrier for vortex entry in such layered structures above the bulk value of Hc1 for type-II superconductors and thus to sustain higher accelerating fields.

Lukaszew, R.A.; Beringer, D.; Roach, W.M.; Eremeev, G.V.; Valente-Feliciano, A-M.; Reece, C.E.; Xi, X.

2013-09-01T23:59:59.000Z

236

This is the pre-peer reviewed version of the following article: "Can hydraulic fracturing make Poland self-sufficient in natural gas?", which will be published in final form in a  

E-Print Network [OSTI]

Poland self-sufficient in natural gas?", which will be published in final form in a special issue-4296 Can hydraulic fracturing make Poland self-sufficient in natural gas? Kjell Alekletta,b,* , Tadeusz to be able to replace gas from Russia with domestic natural gas production and eventually to become self

Patzek, Tadeusz W.

237

Validation, Proof-of-Concept, and Postaudit of the Groundwater Flow and Transport Model of the Project Shoal Area  

SciTech Connect (OSTI)

The groundwater flow and radionuclide transport model characterizing the Shoal underground nuclear test has been accepted by the State of Nevada Division of Environmental Protection. According to the Federal Facility Agreement and Consent Order (FFACO) between DOE and the State of Nevada, the next steps in the closure process for the site are then model validation (or postaudit), the proof-of-concept, and the long-term monitoring stage. This report addresses the development of the validation strategy for the Shoal model, needed for preparing the subsurface Corrective Action Decision Document-Corrective Action Plan and the development of the proof-of-concept tools needed during the five-year monitoring/validation period. The approach builds on a previous model, but is adapted and modified to the site-specific conditions and challenges of the Shoal site.

Ahmed Hassan

2004-09-01T23:59:59.000Z

238

Advance View Proofs Thermodynamic Description of the Mg-Mn, Al-Mn and Mg-Al-Mn Systems  

E-Print Network [OSTI]

Advance View Proofs Thermodynamic Description of the Mg-Mn, Al-Mn and Mg-Al-Mn Systems Using-consistent thermodynamic model of the Mg-Mn, Al-Mn and Mg-Al-Mn systems has been developed. The major difference between work on the Al-Mn system that uses the same model for the liquid phase reveals that better agreement

Medraj, Mamoun

239

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

SciTech Connect (OSTI)

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

240

New Regulations and What do they Mean?and What do they Mean?  

E-Print Network [OSTI]

GENERAL COUNSEL AND FREEDOM OF INFORMATION ACT OFFICER TRACI GULICK ASSOCIATE REGISTRAR ­ ACADEMIC RECORDS as information that would not generally be considered harmful or an invasion of privacy if disclosed. · No items of information from education records to any party by any means. The previous interpretation prohibited

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

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

SciTech Connect (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

242

On the generalization of linear least mean squares estimation to quantum systems with non-commutative outputs  

E-Print Network [OSTI]

The purpose of this paper is to study the problem of generalizing the Belavkin-Kalman filter to the case where the classical measurement signal is replaced by a fully quantum non-commutative output signal. We formulate a least mean squares estimation problem that involves a non-commutative system as the filter processing the non-commutative output signal. We solve this estimation problem within the framework of non-commutative probability. Also, we find the necessary and sufficient conditions which make these non-commutative estimators physically realizable.

Nina H. Amini; Zibo Miao; Yu Pan; Matthew R. James; Hideo Mabuchi

2015-01-19T23:59:59.000Z

243

The Meaning of Stewardship Linking Planning, Process & Stewardship  

E-Print Network [OSTI]

The Meaning of Stewardship Linking Planning, Process & Stewardship Scott Bradley - Director Meaning of Stewardship Linking Planning, Process & Stewardship Scott Bradley - Director of Context that further capacity for natural, social and economic order to thrive together for the future What

Minnesota, University of

244

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]

Over time, energy has come to mean many things to us. In physical science, energy means the ability). Therefore, energy is the capacity to change matter. Everything we do involves energy. Everything, takes energy. When we turn on a motor, drive a car, cook on a stove, or switch on a light, we are using

Gunawardena, Arunika

245

Stochastic Mean Field Model of Heat Engine partitioned by Fluctuating Piston  

E-Print Network [OSTI]

We propose a stochastic mean field model of heat engine partitioned by a finite-mass piston. The time evolution equations for the density and the temperature of the enclosed gas are proposed, taking into account the stochastic equation of motion of the piston, and the energy conservation for the gas. Though the heat cycle consisting of finite-time heating and cooling processes is under strong non-equilibrium situations, i. e., the ratio of temperatures of two reservoirs is large, we analyze the efficiency and the power, and derive the semi-analytical expression for the efficiency. We find that the obtained efficiency at the maximum power operation is close to the Chambadal-Novikov-Curzon-Ahlborn (CNCA) efficiency, if the piston is sufficiently heavy and elastic for collisions with particles, even when the system is far from equilibrium. However, the extra heat due to the finiteness of the piston-mass or its inelasticity lowers the efficiency from the CNCA efficiency. The results of our stochastic mean field model are consistent with those for our event driven molecular dynamics simulation.

Tomohiko G. Sano; Hisao Hayakawa

2014-12-15T23:59:59.000Z

246

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

SciTech Connect (OSTI)

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

247

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

SciTech Connect (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

248

Exo Ligament: A new means of ankle sprain prevention:.  

E-Print Network [OSTI]

??This thesis presents the research that was conducted to develop an injury preventive means that provides effective external support to the ankle joint without reducing (more)

Fleuren, M.J.D.

2011-01-01T23:59:59.000Z

249

Climate Change: A Challenge to the Means of Technology Transfer  

E-Print Network [OSTI]

TO THE MEANS OF TECHNOLOGY TRANSFER Gordon J. MacDonaldthe importance of technology transfer in dealing withthe discussion of technology transfer has centered on

MacDonald, Gordon J. F.

1992-01-01T23:59:59.000Z

250

Approximating K-means-type clustering via semidefinite programming  

E-Print Network [OSTI]

K-means clustering, Principal component analysis, Semi- definite programming, 0-1 SDP ...... We first use singular value decomposition to obtain the k ? 1 eigen-.

2005-10-05T23:59:59.000Z

251
252

From the preface of the text: ". . . The text is meant to be read by the student. We mean the whole text including examples, questions, and proofs. Mathematics is not a spectator  

E-Print Network [OSTI]

as it is presented. . . . " 1. August 22, 2013 1.1. Treasure Island. Exploring the attic of the house that has been

Kierstead, Hal

253

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

254

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

255

Proof of concept for integrating oxy-fuel combustion and the removal of all pollutants from a coal fired flame  

SciTech Connect (OSTI)

The USDOE/Albany Research Center and Jupiter Oxygen Corporation, working together under a Cooperative Research and Development Agreement, have demonstrated proof-of-concept for the integration of Jupiters oxy-fuel combustion and an integrated system for the removal of all stack pollutants, including CO2, from a coal-fired flame. The components were developed using existing process technology with the addition of a new oxy-coal combustion nozzle. The results of the test showed that the system can capture SOx, NOx, particulates, and even mercury as a part of the process of producing liquefied CO2 for sequestration. This is part of an ongoing research project to explore alternative methods for CO2 capture that will be applicable to both retrofit and new plant construction.

Ochs, Thomas L.; Patrick, Brian (Jupiter Oxygen Corp.); Oryshchyn, Danylo B.; Gross, Alex (Jupiter Oxygen Corp.); Summers, Cathy A.; Simmons, William (CoalTeck LLC); Schoenfield, Mark (Jupiter Oxygen Corp.); Turner, Paul C.

2005-01-01T23:59:59.000Z

256

Proof-of-principle experiment of a modified photon-number-splitting attack against quantum key distribution  

SciTech Connect (OSTI)

Any imperfections in a practical quantum key distribution (QKD) system may be exploited by an eavesdropper to collect information about the key without being discovered. We propose a modified photon-number-splitting attack scheme against QKD systems based on weak laser pulses taking advantage of possible multiphoton pulses. Proof-of-principle experiments are demonstrated. The results show that the eavesdropper can get information about the key generated between the legitimate parties without being detected. Since the equivalent attenuation introduced by the eavesdropper for pulses of different average photon numbers are different, the decoy-state method is effective in fighting against this kind of attack. This has also been proven in our experiments.

Liu Weitao; Sun Shihai; Liang Linmei; Yuan Jianmin [Department of Physics, College of Science, National University of Defense Technology, Changsha, 410073 (China)

2011-04-15T23:59:59.000Z

257

Correcting the proof of Theorem 3.2 in Almost sure rates of mixing for i.i.d. unimodal maps by V. Baladi, M. Benedicks, V. Maume-Deschamps, Ann. E.N.S. (2002)  

E-Print Network [OSTI]

Weixiao Shen pointed out to us that the proof of Theorem 3.2 of our 2002 paper in Ann ENS was flawed, and he kindly provided an argument to fix this proof. (We do not make claims on the lower bounds for the stationary density anymore.)

V. Baladi; M. Benedicks; V. Maume-Deschamps

2010-08-30T23:59:59.000Z

258

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.

259

Appendix B. Automobile Cruise Control and Monitoring System Case Study This appendix presents an application of the proof-of-concept prototype, CODA,  

E-Print Network [OSTI]

Appendix B. Automobile Cruise Control and Monitoring System Case Study This appendix presents an application of the proof-of-concept prototype, CODA, described in Chapter 10, to an automobile cruise control inferences about the terminators. Second, some of the elements in the diagram are named 1 The automobile

Mills, Kevin

260

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


261

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.

262

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

E-Print Network [OSTI]

a trade-off between the mean cost E[?rN+1x] = ??N+1x and its standard deviation ...... We consider a single investment period and have to decide the amount.

2011-01-25T23:59:59.000Z

263

Dynamics of polymers: A mean-field theory  

SciTech Connect (OSTI)

We derive a general mean-field theory of inhomogeneous polymer dynamics; a theory whose form has been speculated and widely applied, but not heretofore derived. Our approach involves a functional integral representation of a Martin-Siggia-Rose (MSR) type description of the exact many-chain dynamics. A saddle point approximation to the generating functional, involving conditions where the MSR action is stationary with respect to a collective density field ? and a conjugate MSR response field ?, produces the desired dynamical mean-field theory. Besides clarifying the proper structure of mean-field theory out of equilibrium, our results have implications for numerical studies of polymer dynamics involving hybrid particle-field simulation techniques such as the single-chain in mean-field method.

Fredrickson, Glenn H. [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States) [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States); Materials Research Laboratory, University of California, Santa Barbara, California 93106 (United States); Department of Materials, University of California, Santa Barbara, California 93106 (United States); Orland, Henri [Institut de Physique Thorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)] [Institut de Physique Thorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)

2014-02-28T23:59:59.000Z

264

Early Experience with a Hybrid Processor: K-Means Clustering  

E-Print Network [OSTI]

of con#12;g- urable logic. Keywords: con#12;gurable system on a chip, CSOC, Excalibur, K-means Clustering), with minimal synchronization between the two. Recently, hybrid Con#12;gurable System on a Chip (CSOC

Theiler, James

265

Generating Tensor Representation from Concept Tree in Meaning Based Search  

E-Print Network [OSTI]

to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development...

Panigrahy, Jagannath

2011-08-08T23:59:59.000Z

266

Eddy-mean flow interactions in western boundary current jets  

E-Print Network [OSTI]

This thesis examines the nature of eddy-mean flow interactions in western boundary current jets and recirculation gyre dynamics from both theoretical and observational perspectives. It includes theoretical studies of ...

Waterman, Stephanie N

2009-01-01T23:59:59.000Z

267

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ø

268

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

269

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

270

Support means for a particle beam position monitor  

DOE Patents [OSTI]

A support means is disclosed for a plurality of thermally deformable component parts that are concentrically mounted within a thermally expandable housing. The support means includes a plurality of pins that are mounted in relatively fixed or sliding relationship to either one of the concentrically positioned components or to the housing, and the pins are positioned to extend through aligned apertures in the remaining components or the housing in a manner such that the pins are free to slide in a snug relationship relative to the sides of the holes through those components or the housing. The support means enables the concentrically mounted components and the housing to undergo expansion and contraction movement, radially and longitudinally relative to one another, while maintaining concentricity of the components and the housing relative to one another. 3 figures.

VanZwienen, W.H.

1991-01-29T23:59:59.000Z

271

Support means for a particle beam position monitor  

DOE Patents [OSTI]

A support means for a plurality of thermally deformable component parts that are concentrically mounted within a thermally expandable housing. The support means includes a plurality of pins that are mounted in relatively fixed or sliding relationship to either one of the concentrically positioned components or to the housing, and the pins are positioned to extend through aligned apertures in the remaining components or the housing in a manner such that the pins are free to slide in a snug relationship relative to the sides of the holes through those components or the housing. The support means enables the concentrically mounted components and the housing to undergo expansion and contraction movement, radially and longitudinally relative to one another, while maintaining concentricity of the components and the housing relative to one another.

VanZwienen, William H. (Bayshore, NY)

1991-01-01T23:59:59.000Z

272

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

SciTech Connect (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

273

Distributed mean curvature on a discrete manifold for Regge calculus  

E-Print Network [OSTI]

The integrated mean curvature of a simplicial manifold is well understood in both Regge Calculus and Discrete Differential Geometry. However, a well motivated pointwise definition of curvature requires a careful choice of volume over which to uniformly distribute the local integrated curvature. We show that hybrid cells formed using both the simplicial lattice and its circumcentric dual emerge as a remarkably natural structure for the distribution of this local integrated curvature. These hybrid cells form a complete tessellation of the simplicial manifold, contain a geometric orthonormal basis, and are also shown to give a pointwise mean curvature with a natural interpretation as a fractional rate of change of the normal vector.

Rory Conboye; Warner A. Miller; Shannon Ray

2015-02-26T23:59:59.000Z

274

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

275

Spurious Shell Closures in the Relativistic Mean Field Model  

E-Print Network [OSTI]

Following a systematic theoretical study of the ground-state properties of over 7000 nuclei from the proton drip line to the neutron drip line in the relativistic mean field model [Prog. Theor. Phys. 113 (2005) 785], which is in fair agreement with existing experimental data, we observe a few spurious shell closures, i.e. proton shell closures at Z=58 and Z=92. These spurious shell closures are found to persist in all the effective forces of the relativistic mean field model, e.g. TMA, NL3, PKDD and DD-ME2.

L. S. Geng; J. Meng; H. Toki; W. H. Long; G. Shen

2006-03-10T23:59:59.000Z

276

Mean Field Effects In The Quark-Gluon Plasma  

E-Print Network [OSTI]

A transport model based on the mean free path approach for an interacting meson system at finite temperatures is discussed. A transition to a quark gluon plasma is included within the framework of the MIT bag model. The results obtained compare very well with Lattice QCD calculations when we include a mean field in the QGP phase due to the Debye color screening. In particular the cross over to the QGP at about 175 MeV temperature is nicely reproduced. We also discuss a possible scenario for hadronization which is especially important for temperatures below the QGP phase transition.

Zhi Guang Tan; A. Bonasera

2006-11-20T23:59:59.000Z

277

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

Juchymenko, A.

1982-01-01T23:59:59.000Z

278

Sufficient Conditions for Collision-Resistant Hashing  

E-Print Network [OSTI]

information retrieval (PIR) protocols and homomorphic one-way commitments. Keywords. Collision-resistant hash. A homomorphic encryption is a semantically secure encryption in which the plaintexts are taken from a group (single-server, sublinear-communication) one-round PIR protocol [15]. Since PIR is implied by homomorphic

Ostrovsky, Rafail

279

Error bounds: necessary and sufficient conditions  

E-Print Network [OSTI]

Russian Math. Surveys 55, 501558 (2000). 25. Ioffe, A.D., Outrata, J.V.: On metric and calmness qualification conditions in subdifferential calculus. Set-

2010-01-27T23:59:59.000Z

280

STUDY OF WATER CONSERVATION AS A MEANS TO  

E-Print Network [OSTI]

#12;STUDY OF WATER CONSERVATION AS A MEANS TO IMPROVE WASTEWATER TREATMENT AND REDUCE TREATMENT and should not be considered to reflect the policy or position of Environment Canada. #12;Water Conservation and Wastewater Treatment CW5000 Environment Canada June 1995 Page - i TABLE OF CONTENTS PAGE 1.0 INTRODUCTION

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

Generalized Mean-payoff and Energy Games Krishnendu Chatterjee1  

E-Print Network [OSTI]

Generalized Mean-payoff and Energy Games Krishnendu Chatterjee1 , Laurent Doyen2 , Thomas A. Henzinger1 , and Jean-François Raskin3 1 IST Austria (Institute of Science and Technology Austria) 2 LSV of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure

Doyen, Laurent

282

MEANKINETIC ENERGY,EDDY ENERGY,AND KINETIC ENERGYEXCHANGEBETWEENFLUCTUATIONSAND MEAN  

E-Print Network [OSTI]

MEANKINETIC ENERGY,EDDY ENERGY,AND KINETIC ENERGYEXCHANGEBETWEENFLUCTUATIONSAND MEAN FLOWWITHIN by cornputing three quantities suggested by the theory of turbulence: the nean kinetic energy, the eddy energy, and the energy exchange between the nean and fluctuating portions of the flow field (ca11ed dE/dt). Contours

Luther, Douglas S.

283

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

284

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

2011-03-04T23:59:59.000Z

285

Recovering Industrial Waste Heat by the Means of Thermoelectricity  

E-Print Network [OSTI]

Recovering Industrial Waste Heat by the Means of Thermoelectricity Spring 2010 Department available thermoelectric modules and to build a thermoelectric power generator demonstration unit dependent. A calorimeter has been used to measure the heat supplied by a thermoelectric module #12;(operated

Kjelstrup, Signe

286

Mean-risk optimization of electricity portfolios Andreas Eichhorn 1  

E-Print Network [OSTI]

refer to a wide range of literature dealing with power management in a hydro-thermal system and simultaneous optimization of power production and electricity trading, e.g. [7] and [10]. We suppose that eachMean-risk optimization of electricity portfolios Andreas Eichhorn 1 , Nicole Growe-Kuska1 , Andrea

Eichhorn, Andreas

287

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

288

Fresh Water Increased temperature means higher proportion of water  

E-Print Network [OSTI]

Fresh Water Increased temperature means higher proportion of water falling on surface higher evaporation higher rainfall greater intensity of floods and droughts. Water use has grown four on How much storage compared to average flow Demand as percentage of supply How much ground water is used

Houston, Paul L.

289

Distributed Precoding for MISO Interference Channels with Channel Mean Feedback  

E-Print Network [OSTI]

Distributed Precoding for MISO Interference Channels with Channel Mean Feedback: Algorithms precoding algorithms for multiple-input single-output (MISO) interference channels, where each trans- mitter- antenna wireless interference channels [5]-[7]. For multiple- input single-output (MISO) interference

Ulukus, Sennur

290

Preliminary Assessment of Alternative Navigation Means for Civil Aviation  

E-Print Network [OSTI]

in Homeland Security Presidential Directive 7 (HSPD-7) and National Security Presidential Directive 39 (NSPD Administration (FAA) is looking to develop alternative navigation means to global navigation satellite systems (GNSS) and GPS. While the national airspace (NAS) includes many navigation systems such as distance

Stanford University

291

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

SciTech Connect (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

292

Inferring statistics of planet populations by means of automated microlensing searches  

E-Print Network [OSTI]

(abridged) The study of other worlds is key to understanding our own, and not only provides clues to the origin of our civilization, but also looks into its future. Rather than in identifying nearby systems and learning about their individual properties, the main value of the technique of gravitational microlensing is in obtaining the statistics of planetary populations within the Milky Way and beyond. Only the complementarity of different techniques currently employed promises to yield a complete picture of planet formation that has sufficient predictive power to let us understand how habitable worlds like ours evolve, and how abundant such systems are in the Universe. A cooperative three-step strategy of survey, follow-up, and anomaly monitoring of microlensing targets, realized by means of an automated expert system and a network of ground-based telescopes is ready right now to be used to obtain a first census of cool planets with masses reaching even below that of Earth orbiting K and M dwarfs in two distinct stellar populations, namely the Galactic bulge and disk. The hunt for extra-solar planets acts as a principal science driver for time-domain astronomy with robotic-telescope networks adopting fully-automated strategies. Several initiatives, both into facilities as well as into advanced software and strategies, are supposed to see the capabilities of gravitational microlensing programmes step-wise increasing over the next 10 years. New opportunities will show up with high-precision astrometry becoming available and studying the abundance of planets around stars in neighbouring galaxies becoming possible. Finally, we should not miss out on sharing the vision with the general public, and make its realization to profit not only the scientists but all the wider society.

M. Dominik; U. G. Jorgensen; K. Horne; Y. Tsapras; R. A. Street; L. Wyrzykowski; F. V. Hessman; M. Hundertmark; S. Rahvar; J. Wambsganss; G. Scarpetta; V. Bozza; S. Calchi Novati; L. Mancini; G. Masi; J. Teuber; T. C. Hinse; I. A. Steele; M. J. Burgdorf; S. Kane

2008-07-31T23:59:59.000Z

293

Mean-field approach in the multi-component gas of interacting particles applied to relativistic heavy-ion collisions  

E-Print Network [OSTI]

Generalized mean-field approach for thermodynamic description of relativistic single- and multi-component gas in the grand canonical ensemble is formulated. In the framework of the proposed approach different phenomenological excluded-volume procedures are presented and compared to the existing ones. The mean-field approach is then used to effectively include hard-core repulsion in hadron-resonance gas model for description of chemical freeze-out in heavy-ion collisions. We calculate the collision energy dependence of several quantities for different values of hard-core hadron radius and for different excluded-volume procedures such as van der Waals and Carnahan-Starling models. It is shown that a choice of the excluded-volume model becomes important for large particle densities, and for large enough values of hadron radii ($r\\gtrsim0.9$ fm) there can be a sizable difference between different excluded-volume procedures used to describe the chemical freeze-out in heavy-ion collisions. For the smaller and more commonly used values of hard-core hadron radii ($r\\lesssim0.5$ fm) the van der Waals excluded-volume procedure is shown to be sufficient.

D. Anchishkin; V. Vovchenko

2015-01-23T23:59:59.000Z

294

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

SciTech Connect (OSTI)

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] [ORNL; Younkin, James R [ORNL] [ORNL; Kovacic, Donald N [ORNL] [ORNL; Dixon, E. T. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Martinez, B. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL)

2007-01-01T23:59:59.000Z

295

Estimating contact rates at a mass gathering by using video analysis: a proof-of-concept project  

SciTech Connect (OSTI)

Current approaches for estimating social mixing patterns and infectious disease transmission at mass gatherings have been limited by various constraints, including low participation rates for volunteer-based research projects and challenges in quantifying spatially and temporally accurate person-to-person interactions. We developed a proof-of-concept project to assess the use of automated video analysis for estimating contact rates of attendees of the GameFest 2013 event at Rensselaer Polytechnic Institute (RPI) in Troy, New York. Video tracking and analysis algorithms were used to estimate the number and duration of contacts for 5 attendees during a 3-minute clip from the RPI video. Attendees were considered to have a contact event if the distance between them and another person was =1 meter. Contact duration was estimated in seconds. We also simulated 50 attendees assuming random mixing using a geo-spatially accurate representation of the same GameFest location. The 5 attendees had an overall median of 2 contact events during the 3-minute video clip (range: 0 6). Contact events varied from less than 5 seconds to the full duration of the 3- minute clip. The random mixing simulation was visualized and presented as a contrasting example. We were able to estimate the number and duration of contacts for five GameFest attendees from a 3-minute video clip that can be compared to a random mixing simulation model at the same location. The next phase will involve scaling the system for simultaneous analysis of mixing patterns from hours-long videos and comparing our results with other approaches for collecting contact data from mass gathering attendees.

Rainey, Jeanette J [ORNL; Cheriyadat, Anil M [ORNL; Radke, Richard J [ORNL; Crumly, Julie K [ORNL; Koch, Daniel B [ORNL

2014-01-01T23:59:59.000Z

296

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

297

Means and method of detection in chemical separation procedures  

DOE Patents [OSTI]

A means and method are described 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, E.S.; Koutny, L.B.; Hogan, B.L.; Cheung, C.K.; Yinfa Ma.

1993-03-09T23:59:59.000Z

298

Quantum root-mean-square error and measurement uncertainty relations  

E-Print Network [OSTI]

Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here we resolve the conflict by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. We discuss two approaches to adapting the classic notion of root-mean-square error to quantum measurements. One is based on the concept of noise operator; its natural operational content is that of a mean deviation of the values of two observables measured jointly, and thus its applicability is limited to cases where such joint measurements are available. The second error measure quantifies the differences between two probability distributions obtained in separate runs of measurements and is of unrestricted applicability. We show that there are no nontrivial unconditional joint-measurement bounds for {\\em state-dependent} errors in the conceptual framework discussed here, while Heisenberg-type measurement uncertainty relations for {\\em state-independent} errors have been proven.

Paul Busch; Pekka Lahti; Reinhard F Werner

2014-10-10T23:59:59.000Z

299

Cosmic metal production and the mean metallicity of the Universe  

E-Print Network [OSTI]

By means of detailed chemo-photometric models for elliptical, spiral and irregular galaxies, we evaluate the cosmic history of the production of chemical elements as well as the metal mass density of the present-day universe. We then calculate the mean metal abundances for galaxies of different morphological types, along with the average metallicity of galactic matter in the universe (stars, gas and intergalactic medium). For the average metallicity of galaxies in the local universe, we find Z_gal= 0.0175, i.e. close to the solar value. We find the main metal production in spheroids (ellipticals and bulges) to occur at very early times, implying an early peak in the metal production and a subsequent decrease. On the other hand, the metal production in spirals and irregulars is always increasing with time. We perform a self-consistent census of the baryons and metals in the local universe finding that, while the vast majority of the baryons lies outside galaxies in the inter-galactic medium (IGM), 52 % of the metals (with the exception of the Fe-peak elements) is locked up in stars and in the interstellar medium. We estimate indirectly the amount of baryons which resides in the IGM and we derive its mean Fe abundance, finding a value of X_Fe,IGM=0.05 X_Fe,sun. We believe that this estimate is uncertain by a factor of 2, owing to the normalization of the local luminosity function. This means that the Fe abundance of 0.3 solar inferred from X-ray observations of the hot intra-cluster medium (ICM) is higher than the average Fe abundance of the inter-galactic gas in the field.

F. Calura; F. Matteucci

2004-03-08T23:59:59.000Z

300

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

2012-01-27T23: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

The Therapeutic Relationship: Transference, Countertransference, and the Making of Meaning  

E-Print Network [OSTI]

grateful to Carolyn Grant Fay for what she has done. The holder of the McMillan Professorship in Analytical Psychology at Texas A&M functions as the general editor of the Fay Book Series. The Therapeutic Relationship Transference, Countertransference..., and the Making of Meaning jan wiener Foreword by David H. Rosen Texas A&M University Press ? College Station The Therapeutic Relationship Copyright ? 2009 by Jan Wiener Manufactured in the United States of America All rights reserved First edition This paper...

Wiener, Jan

2009-09-11T23:59:59.000Z

302

Energy systematics of heavy nuclei -- mean field models in comparison  

E-Print Network [OSTI]

We compare the systematics of binding energies computed within the standard and extended versions of the relativistic mean-field (RMF) model and the Skyrme Hartree-Fock (SHF) model. The general trends for the binding energies for super-heavy nuclei are significantly different for these models. The SHF models tend to underbind the superheavy nuclei, while, RMF models show just the opposite trend. The extended RMF model seems to provide remarkable improvements over the results obtained for the standard RMF model.

P. -G. Reinhard; B. K. Agrawal

2010-12-10T23:59:59.000Z

303

Filtering Additive Measurement Noise with Maximum Entropy in the Mean  

E-Print Network [OSTI]

The purpose of this note is to show how the method of maximum entropy in the mean (MEM) may be used to improve parametric estimation when the measurements are corrupted by large level of noise. The method is developed in the context on a concrete example: that of estimation of the parameter in an exponential distribution. We compare the performance of our method with the bayesian and maximum likelihood approaches.

Henryk Gzyl; Enrique ter Horst

2007-09-04T23:59:59.000Z

304

GARCH Proof of Concept  

E-Print Network [OSTI]

Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results presented in this chapter are encouraging, but may require changes in policies ...

Datta, Shoumen

2008-12-14T23:59:59.000Z

305

poster00proof  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLasDelivered energy consumption byAbout SRNLBuildings andExternalOn-Sitepeople |

306

poster60proof  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLasDelivered energy consumption byAbout SRNLBuildings andExternalOn-Sitepeople |

307

poster80proof  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLasDelivered energy consumption byAbout SRNLBuildings andExternalOn-Sitepeople |

308

Fusion of heavy ions by means of the Langevin equation  

SciTech Connect (OSTI)

The Langevin equation was used to describe fusion dynamics in two systems, {sup 64}Ni+{sup 100}Mo and {sup 64}Ni+{sup 96}Zr. The corresponding fusion cross sections were calculated for different energies, and the mean angular momentum and its dependence on energy were also obtained. We were able to reproduce experimental fusion cross sections at high energies with the one-body dissipation mechanism. Attention was focused on the fusion barrier calculated with the Yukawa-plus-exponential method.

Mahboub, K.; Zerarka, A.; Foester, V.G. [Departement de Physique Nucleaire, Universite Med Khider, B P 145 Biskra 07000 (Algeria)

2005-06-01T23:59:59.000Z

309

A mechanical approach to mean field spin models  

E-Print Network [OSTI]

Inspired by the bridge pioneered by Guerra among statistical mechanics on lattice and analytical mechanics on 1+1 continuous Euclidean space-time, we built a self-consistent method to solve for the thermodynamics of mean-field models defined on lattice, whose order parameters self average. We show the whole procedure by analyzing in full details the simplest test case, namely the Curie-Weiss model. Further we report some applications also to models whose order parameters do not self-average, by using the Sherrington-Kirkpatrick spin glass as a guide.

Giuseppe Genovese; Adriano Barra

2009-05-07T23:59:59.000Z

310

Mean Radiant Cooling in a Hot-Humid Climate  

E-Print Network [OSTI]

degree F the mean radiant temperam of surrounding interior wall surfaces is lowered, air temperature may be increased 1.4 degrees F and thermal comfort will still be maintained." For example at the same relative humidity an interior room with the MRT...-circulate internal air e 250 fpm- piaster r-8 insulatio- 8' conc. wall ---, fiashinq~' r 18 slab insul \\ .. S::ar rnduced ventilation d I I Tin = 82'F fig. 1. Thermal Grounding ivith u deep foundation beam Hot-humid climates usually have early morning...

Garrison, M.

1996-01-01T23:59:59.000Z

311

MEAN SPECTRAL ENERGY DISTRIBUTIONS AND BOLOMETRIC CORRECTIONS FOR LUMINOUS QUASARS  

SciTech Connect (OSTI)

We explore the mid-infrared (mid-IR) through ultraviolet (UV) spectral energy distributions (SEDs) of 119,652 luminous broad-lined quasars with 0.064 < z < 5.46 using mid-IR data from Spitzer and WISE, near-infrared data from the Two Micron All Sky Survey and UKIDSS, optical data from the Sloan Digital Sky Survey, and UV data from the Galaxy Evolution Explorer. The mean SED requires a bolometric correction (relative to 2500 A) of BC{sub 2500A} =2.75 {+-} 0.40 using the integrated light from 1 {mu}m-2 keV, and we further explore the range of bolometric corrections exhibited by individual objects. In addition, we investigate the dependence of the mean SED on various parameters, particularly the UV luminosity for quasars with 0.5 {approx}< z {approx}< 3 and the properties of the UV emission lines for quasars with z {approx}> 1.6; the latter is a possible indicator of the strength of the accretion disk wind, which is expected to be SED-dependent. Luminosity-dependent mean SEDs show that, relative to the high-luminosity SED, low-luminosity SEDs exhibit a harder (bluer) far-UV spectral slope ({alpha}{sub UV}), a redder optical continuum, and less hot dust. Mean SEDs constructed instead as a function of UV emission line properties reveal changes that are consistent with known Principal Component Analysis trends. A potentially important contribution to the bolometric correction is the unseen extreme UV (EUV) continuum. Our work suggests that lower-luminosity quasars and/or quasars with disk-dominated broad emission lines may require an extra continuum component in the EUV that is not present (or much weaker) in high-luminosity quasars with strong accretion disk winds. As such, we consider four possible models and explore the resulting bolometric corrections. Understanding these various SED-dependent effects will be important for accurate determination of quasar accretion rates.

Krawczyk, Coleman M.; Richards, Gordon T.; Mehta, Sajjan S.; Vogeley, Michael S. [Department of Physics, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104 (United States)] [Department of Physics, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104 (United States); Gallagher, S. C. [Department of Physics and Astronomy, The University of Western Ontario, London, ON N6A 3K7 (Canada)] [Department of Physics and Astronomy, The University of Western Ontario, London, ON N6A 3K7 (Canada); Leighly, Karen M. [Homer L. Dodge Department of Physics and Astronomy, The University of Oklahoma, 440 W. Brooks Street, Norman, OK 73019 (United States)] [Homer L. Dodge Department of Physics and Astronomy, The University of Oklahoma, 440 W. Brooks Street, Norman, OK 73019 (United States); Ross, Nicholas P. [Lawrence Berkeley National Laboratory, 1 Cyclotron Road, Berkeley, CA 94720 (United States)] [Lawrence Berkeley National Laboratory, 1 Cyclotron Road, Berkeley, CA 94720 (United States); Schneider, Donald P. [Department of Astronomy and Astrophysics, The Pennsylvania State University, 525 Davey Laboratory, University Park, PA 16802 (United States)] [Department of Astronomy and Astrophysics, The Pennsylvania State University, 525 Davey Laboratory, University Park, PA 16802 (United States)

2013-05-01T23:59:59.000Z

312

Surface Mean-Square Amplitudes of Vibration for Nacl  

E-Print Network [OSTI]

) /t Ny+1/3) i/4 1)1/t which yields a slightly different functional dependence of va' even though the values for D are not too different from Eq. (5). 'BThe Pads approximant in the brackets is quite closely approximated by (1+7t z) R. E. Mc... obtained by M. Weber, E. J. Sharpe, and J. E. Miller fJ. Phys. Chem. Solids 32, 2775 (1971)]. PHYSICA L RE VIE W B VOLUME 6, NUMBE R 2 15 JULY 1972 Surface Mean-Square Amplitudes of Vibration for NaC1~ T. S. Chen, G. P. Alldredge, and F. W. de Wette...

CHEN, TS; Alldredg, GP; Allen, Roland E.; WETTE, FWD.

1972-01-01T23:59:59.000Z

313

Mean flow and turbulence characteristics in whirling annular seals  

E-Print Network [OSTI]

of the test rig with the annular seal installed 15: Dimensions of the Annular Rotor . 16: Components of the 3D Laser Doppler Velocimetry System 15 17 . . 19 Figure 17: Raw Doppler signal with high frequency noise and pedestal Figure 18: Doppler signal... 64: Figure 65: Figure 66: Figure 67: Figure 68: Figure 69: Figure 70: Figure 71: Figure 72: Figure 73: Figure 74: Figure 75: Figure 76: Figure 77: Case 2 Vector Plots at Constant Axial Positions 13-17 99 Case 2 Mean Velocity Contours...

Thames, Howard Davis

1992-01-01T23:59:59.000Z

314

Method for chemically analyzing a solution by acoustic means  

DOE Patents [OSTI]

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

315

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

316

Relativistic mean field calculations in neutron-rich nuclei  

SciTech Connect (OSTI)

Relativistic mean field calculations have been employed to study neutron rich nuclei. The Lagrange's equations have been solved in the co-ordinate space. The effect of the continuum has been effectively taken into account through the method of resonant continuum. It is found that BCS approximation performs as well as a more involved Relativistic Continuum Hartree Bogoliubov approach. Calculations reveal the possibility of modification of magic numbers in neutron rich nuclei. Calculation for low energy proton scattering cross sections shows that the present approach reproduces the density in very light neutron rich nuclei.

Gangopadhyay, G.; Bhattacharya, Madhubrata [Department of Physics, University of Calcutta, 92 Acharya Prafulla Chandra Road, Kolkata 700 009 (India); Roy, Subinit [Saha Institute of Nuclear Physics, Block AF, Sector 1, Kolkata- 700 064 (India)

2014-08-14T23:59:59.000Z

317

What it means to you | Department of Energy  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGYWomen Owned SmallOf TheViolations | Department of Energyis EIA? And Whatit means to

318

Assessing complexity by means of maximum entropy models  

E-Print Network [OSTI]

We discuss a characterization of complexity based on successive approximations of the probability density describing a system by means of maximum entropy methods, thereby quantifying the respective role played by different orders of interaction. This characterization is applied on simple cellular automata in order to put it in perspective with the usual notion of complexity for such systems based on Wolfram classes. The overlap is shown to be good, but not perfect. This suggests that complexity in the sense of Wolfram emerges as an intermediate regime of maximum entropy-based complexity, but also gives insights regarding the role of initial conditions in complexity-related issues.

Chliamovitch, Gregor; Velasquez, Lino

2014-01-01T23:59:59.000Z

319

Mean transverse mass of hadrons in proton-proton reactions  

E-Print Network [OSTI]

An energy dependence of the mean transverse mass $\\langle m_T\\rangle$ at mid-rapidity in proton-proton ($p+p$) reactions is studied within the ultra-relativistic quantum molecular dynamics (UrQMD). The UrQMD model predicts a nonmonotonous dependence of $\\langle m_T\\rangle$ on collision energy for several hadron species: for $\\pi^+$, $p$, $K^+$, and $\\Lambda$ the mean transverse mass has a maximum at the center of mass energy region $5\\le \\sqrt{s}\\le 8$ GeV. These results are a consequence of an interplay of two contributions: 1) excitations and decays of the baryonic resonances $N^*$ and $\\Delta$; 2) excitations and decays of the baryonic strings. The UrQMD results do not show any nonmonotonous dependence of $\\langle m_T\\rangle$ on $\\sqrt{s}$ for $\\pi^-$, $K^{-}$, and antiprotons. Whether a nonmonotonous dependence of $\\langle m_T\\rangle$ at mid-rapidity on the collision energy for $\\pi^+$, $p$, $K^+$, and $\\Lambda$ is relevant for real $p+p$ interactions will be soon checked experimentally by the NA61/SHINE Collaboration.

V. Yu. Vovchenko; D. V. Anchishkin; M. I. Gorenstein

2015-01-23T23:59:59.000Z

320

Modeling the creative process of the mind by prime numbers and a simple proof of the Riemann Hypothesis  

E-Print Network [OSTI]

Numbers (positive integers) are the most fundamental creatures of the human mind and the foundation to the scientific understanding of nature. Some mathematicians have suspected a link between prime numbers and secrets of creation. Understanding creativity may help resolve the deepest mysteries of primes. The algorithm that programs the mind and makes the mind creative must be sufficient for the mind to create primes. I found that primes are directly linked to the creation algorithm of the mind. The essence of primes is the duality of uniqueness and uniformity together with the creation algorithm of the mind. The creative process of the mind is lawfully determined but the outcome is unpredictable. The mathematical equivalent or model of this process is the creation of primes. Primes have the inherent property of unpredictability but can be generated by the creation algorithm of the mind, termed the Prime Law, via a fully deterministic lawful process. This new understanding of the essence of primes can deduce some of the best-known properties of primes, including the Riemann Hypothesis (RH). Understanding human creativity is obviously the most fundamental of all scientific enquiries. That this understanding can directly lead to a solution to the RH, widely considered the most important unsolved problem in mathematics, shows a deep connection between creativity and mathematics.

Shi Huang

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


321

Shell Model and Mean-Field Description of Band Termination  

E-Print Network [OSTI]

We study nuclear high-spin states undergoing the transition to the fully stretched configuration with maximum angular momentum I_max within the space of valence nucleons. To this end, we perform a systematic theoretical analysis of non-fully-stretched I_max-2 and I_max-1 f_{7/2}^n seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. We employ two theoretical approaches: (i) the density functional theory based on the cranked self-consistent Skyrme-Hartree-Fock method, and (ii) the nuclear shell model in the full sdfp configuration space allowing for 1p-1h cross-shell excitations. We emphasize the importance of restoration of broken angular momentum symmetry inherently obscuring the mean-field treatment of high-spin states. Overall good agreement with experimental data is obtained.

M. Zalewski; W. Satula; W. Nazarewicz; G. Stoitcheva; H. Zdunczuk

2007-01-09T23:59:59.000Z

322

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

323

Mean and peak wind load reduction on heliostats  

SciTech Connect (OSTI)

This report presents the results of wind-tunnel tests supported through the Solar Energy Research Institute (SERI) by the Office of Solar Thermal Technology of the US Department of Energy as part of the SERI research effort on innovative concentrators. As gravity loads on drive mechanisms are reduced through stretched-membrane technology, the wind-load contribution of the required drive capacity increases in percentage. Reduction of wind loads can provide economy in support structure and heliostat drive. Wind-tunnel tests have been directed at finding methods to reduce wind loads on heliostats. The tests investigated both mean and peak forces, and moments. A significant increase in ability to predict heliostat wind loads and their reduction within a heliostat field was achieved. In addition, a preliminary review of wind loads on parabolic dish collectors was conducted, resulting in a recommended research program for these type collectors. 42 refs., 38 figs., 1 tab.

Peterka, J.A.; Tan, L.; Bienkiewcz, B.; Cermak, J.E.

1987-09-01T23:59:59.000Z

324

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

325

Mean motion resonances from planet-planet scattering  

E-Print Network [OSTI]

Planet-planet scattering is the leading mechanism to explain the large eccentricities of the observed exoplanet population. However, scattering has not been considered important to the production of pairs of planets in mean motion resonances (MMRs). We present results from a large number of numerical simulations of dynamical instabilities in 3-planet systems. We show that MMRs arise naturally in about five percent of cases. The most common resonances we populate are the 2:1 and 3:1 MMRs, although a wide variety of MMRs can occur, including high-order MMRs (up to eleventh order). MMRs are generated preferentially in systems with uneven mass distributions: the smallest planet is typically ejected after a series of close encounters, leaving the remaining, more massive planets in resonance. The distribution of resonant planets is consistent with the phase-space density of resonant orbits, meaning that planets are randomly thrown into MMRs rather than being slowly pulled into them. It may be possible to distinguish between MMRs created by scattering vs. convergent migration in a gaseous disk by considering planetary mass ratios: resonant pairs of planets beyond ~1 AU with more massive outer planets are likely to have formed by scattering. In addition, scattering may be responsible for pairs of planets in high-order MMRs (3:1 and higher) that are not easily populated by migration. The frequency of MMRs from scattering is comparable to the expected survival rate of MMRs in turbulent disks. Thus, planet-planet scattering is likely to be a major contributor to the population of resonant planets.

Sean N. Raymond; Rory Barnes; Philip J. Armitage; Noel Gorelick

2008-09-19T23:59:59.000Z

326

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

327

Nonextensive critical effects in relativistic nuclear mean field models  

E-Print Network [OSTI]

We present a possible extension of the usual relativistic nuclear mean field models widely used to describe nuclear matter towards accounting for the influence of possible intrinsic fluctuations caused by the environment. Rather than individually identifying their particular causes we concentrate on the fact that such effects can be summarily incorporated in the changing of the statistical background used, from the usual (extensive) Boltzman-Gibbs one to the nonextensive taken in the form proposed by Tsallis with a dimensionless nonextensivity parameter $q$ responsible for the above mentioned effects (for $q \\rightarrow 1$ one recovers the usual BG case). We illustrate this proposition on the example of the QCD-based Nambu - Jona-Lasinio (NJL) model of a many-body field theory describing the behavior of strongly interacting matter presenting its nonextensive version. We check the sensitivity of the usual NJL model to a departure from the BG scenario expressed by the value of $| q - 1|$, in particular in the vicinity of critical points.

J. Rozynek; G. Wilk

2011-02-22T23:59:59.000Z

328

Chimera death induced by the mean-field diffusive coupling  

E-Print Network [OSTI]

Recently a novel dynamical state, called the {\\it chimera death}, is discovered in a network of non locally coupled identical oscillators [A. Zakharova, M. Kapeller, and E. Sch\\"oll, Phy.Rev.Lett. 112, 154101 (2014)], which is defined as the coexistence of spatially coherent and incoherent oscillation death state. This state arises due to the interplay of non locality and symmetry breaking and thus bridges the gap between two important dynamical states, namely the chimera and oscillation death. In this paper we show that the chimera death can be induced in a network of generic identical oscillators with mean-field diffusive coupling and thus we establish that a non local coupling is not essential to obtain chimera death. We identify a new transition route to the chimera death state, namely the transition from in-phase synchronized oscillation to chimera death via global amplitude death state. We ascribe the occurrence of chimera death to the bifurcation structure of the network in the limiting condition and show that multi-cluster chimera death states can be achieved by a proper choice of initial conditions.

Tanmoy Banerjee

2014-09-28T23:59:59.000Z

329

Measuring the Neutron's Mean Square Charge Radius Using Neutron Interferometry  

E-Print Network [OSTI]

The neutron is electrically neutral, but its substructure consists of charged quarks so it may have an internal charge distribution. In fact it is known to have a negative mean square charge radius (MSCR), the second moment of the radial charge density. In other words the neutron has a positive core and negative skin. In the first Born approximation the neutron MSCR can be simply related to the neutron-electron scattering length b_ne. In the past this important quantity has been extracted from the energy dependence of the total transmission cross-section of neutrons on high-Z targets, a very difficult and complicated process. A few years ago S.A. Werner proposed a novel approach to measuring b_ne from the neutron's dynamical phase shift in a perfect crystal close to the Bragg condition. We are conducting an experiment based on this method at the NIST neutron interferometer which may lead to a five-fold improvement in precision of b_ne and hence the neutron MSCR.

F. E. Wietfeldt; M. Huber; T. C. Black; H. Kaiser; M. Arif; D. L. Jacobson; S. A. Werner

2005-09-14T23:59:59.000Z

330

Can-out hatch assembly with magnetic retention means  

DOE Patents [OSTI]

A can-out hatch assembly may be positioned in sealed engagement about 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, R.C.; Hoh, J.C.

1985-07-03T23:59:59.000Z

331

First Principles Investigations of Americium, Plutonium and their Mixtures using Dynamical Mean Field Theory  

SciTech Connect (OSTI)

We developed a relativistic dynamical mean field approach to study the properties of Plutonium Americium mixtures.

Gabriel Kotliar and Sergej Savrasov

2007-04-17T23:59:59.000Z

332

Technology Assessment for Proof-of-Concept UF6 Cylinder Unique Identification Task 3.1.2 Report Survey and Assessment of Technologies  

SciTech Connect (OSTI)

The National Nuclear Security Administration (NNSA) Office of Nonproliferation and International Securitys (NA-24) Next Generation Safeguards Initiative (NGSI) and the nuclear industry have begun to develop approaches to identify and monitor uranium hexafluoride (UF6) cylinders. The NA-24 interest in a global monitoring system for UF6 cylinders relates to its interest in supporting the International Atomic Energy Agency (IAEA) in deterring and detecting diversion of UF6 (e.g., loss of cylinder in transit) and undeclared excess production at conversion and enrichment facilities. The industry interest in a global monitoring system for UF6 cylinders relates to the improvements in operational efficiencies that such a system would provide. This task is part of an effort to survey and assess technologies for a UF6 cylinder to identify candidate technologies for a proof-of-concept demonstration and evaluation for the Cylinder Identification System (CIS).

Wylie, Joann; Hockert, John

2014-04-24T23:59:59.000Z

333

Seasonal Mean Circulation on the Irish Shelf { A Model-Generated Climatology  

E-Print Network [OSTI]

Seasonal Mean Circulation on the Irish Shelf { A Model-Generated Climatology Daniel R. Lynch and interpret the climatological mean circulation in these waters, with emphasis on the Irish Shelf

334

Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from Coordinated Views of  

E-Print Network [OSTI]

- 1 - Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from: Cluster Analysis, Interactive Design, Information Visualization, Coordination, Domain Knowledge, Graphical. #12;- 2 - Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from

Golbeck, Jennifer

335

On Inquiry: Human Concept Formation and Construction of Meaning through Library and Information Science Intermediation  

E-Print Network [OSTI]

Does the text acknowledge that elocutio dispositio continues with construction of first order grammatical meanings?Does the text acknowledge that elocutio dispositio continues with construction of first order grammatical meanings?

Konrad, Allan

2007-01-01T23:59:59.000Z

336

Intrinsic Mean Shift for Clustering on Stiefel and Grassmann Manifolds Hasan Ertan C etingul Rene Vidal  

E-Print Network [OSTI]

Intrinsic Mean Shift for Clustering on Stiefel and Grassmann Manifolds Hasan Ertan C¸ eting¨ul Ren

337

MODERN DISPLAYS: WHY WE SEE DIFFERENT COLORS, AND WHAT IT MEANS? Abhijit Sarkar1,2  

E-Print Network [OSTI]

MODERN DISPLAYS: WHY WE SEE DIFFERENT COLORS, AND WHAT IT MEANS? Abhijit Sarkar1,2 , Laurent Blondé

Paris-Sud XI, Université de

338

Bell States and Negative Sentences in the Distributed Model of Meaning  

E-Print Network [OSTI]

, but not in the same order. Alice puts the meaning into words according to the rules of the syntax. Bob recognizes KS Bob shared syntax shared meaning time // John does not like Mary Fig. 1. Alice informs BobQPL 2009 Bell States and Negative Sentences in the Distributed Model of Meaning Anne Preller 1

Paris-Sud XI, Université de

339

Bell States and Negative Sentences in the Distributed Model of Meaning  

E-Print Network [OSTI]

, but not in the same order. Alice puts the meaning into words according to the rules of the syntax. Bob recognizes time // John does not like Mary Fig. 1. Alice informs Bob reconstructs the meaning of the wordsQPL 2009 Bell States and Negative Sentences in the Distributed Model of Meaning Anne Preller 1

Paris-Sud XI, Université de

340

IASSNS-HEP-90/58 Mean-field theory of spin-liquid states  

E-Print Network [OSTI]

and topological orders* X. G. Wen Institute for Advanced Study Princeton, NJ 08540 ABSTRACT: The mean field theory are based on the mean field theory, the concept of the topological order and the associated universal theory. We also discuss the dynamical stability of the mean field theory. * Research supported by DOE

Wen, Xiao-Gang

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

Real Option Pricing with Mean-Reverting Investment and Project Value  

E-Print Network [OSTI]

is the valuation of the option to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct result the value of investment in an oil field is also mean-reverting. Consequently, it wouldReal Option Pricing with Mean-Reverting Investment and Project Value Sebastian Jaimungal , Max

Zubelli, Jorge Passamani

342

Fr\\'echet means of curves for signal averaging and application to ECG data analysis  

E-Print Network [OSTI]

Signal averaging is the process that consists in computing a mean shape from a set of noisy signals. In the presence of geometric variability in time in the data, the usual Euclidean mean of the raw data yields a mean pattern that does not reflect the typical shape of the observed signals. In this setting, it is necessary to use alignment techniques for a precise synchronization of the signals, and then to average the aligned data to obtain a consistent mean shape. In this paper, we study the numerical performances of Fr\\'echet means of curves which are extensions of the usual Euclidean mean to spaces endowed with non-Euclidean metrics. This yields a new algorithm for signal averaging without a reference template. We apply this approach to the estimation of a mean heart cycle from ECG records.

Bigot, Jrmie

2011-01-01T23:59:59.000Z

343

Analyzing a steady-state phenomenon using an ensemble of sequential transient events: A proof of concept on photocurrent of bacteriorhodopsin upon continuous photoexcitation  

SciTech Connect (OSTI)

The proton pump activity of bacteriorhodopsin in aqueous solution upon excitation with modulated continuous light was monitored electrochemically and analyzed by superimposing a series of transient proton translocation events H{sub i}{sup +}(t). An evolution function f(t)=(he{sup ?lt}+k)/(h+k) , including a decay and a stationary offset, was introduced to weight the contribution of the individual transient events evolving with time in the envelope of the steady-state event. The evolution of the total proton concentration can be treated as an ensemble of weighted sequential transient events, H{sub total}{sup +}(t)=?{sub i=0}{sup n}H{sub i}{sup +}(t)?f(t), and the temporal profile of the photocurrent is derived by differentiating the proton concentration with respect to time, (table) . The temporal profiles of the bacteriorhodopsin photocurrent in pH range of 6.38.1 were analyzed using a well-defined kinetics model and restricted mathematical formulization, and fitted temporal behaviors agreed with the observations. This successful proof-of-concept study on analyzing a steady-state phenomenon using an ensemble of sequential transient events can be generalized to quantify other phenomena upon continuous stimulation, such as estimation of the light-driven ion pump activities of the photosynthetic proteins upon illumination.

Hung, Chang-Wei; Chu, Li-Kang, E-mail: lkchu@mx.nthu.edu.tw [Department of Chemistry, National Tsing Hua University, 101, Sec. 2, Kuang-Fu Rd., Hsinchu 30013, Taiwan (China); Ho, Ching-Hwa [Interdisplinary Program of Science, National Tsing Hua University, 101, Sec. 2, Kuang-Fu Rd., Hsinchu 30013, Taiwan (China)

2014-10-14T23:59:59.000Z

344

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

DOE Patents [OSTI]

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

345

Interplay of anisotropies of momentum distribution and mean field in heavy-ion collisions  

E-Print Network [OSTI]

Two important parametrizations of momentum-dependent nucleonic fields, proposed for the simulations of central heavy-ion collisions, one by Gale et al. and the other by Welke et al., suffer from practical limitations. The first gives rise to mean fields isotropic in momentum, even when underlying momentum distributions are anisotropic, making descriptions of early nonequilibrium stages of collisions unrealistic. The second parametrization gives rise to anisotropic mean fields, but is computationally expensive, because the mean field has to be computed separately for every location of a nucleon in phase space, through folding. Here we construct a parametrization of the nucleonic mean field that yields an anisotropic mean field for an anisotropic momentum distribution and is inexpensive computationally. To demonstrate the versatility of our parametrization, we take the case of results from the parametrization by Welke et al. and attempt to approximate them. In arriving at a suitable anisotropic mean-field potential, we draw, on one hand, from the idea behind the parametrization of Gale et al., of a separable expansion of the potential energy, and, on the other, from the idea of a parallel expansion of the energy and mean field in anisotropy. We show that using our novel parametrization we can qualitatively and partially quantitatively reproduce the features of the mean-field parametrization of Welke et al.. This opens up the possibility of exploring the effects of mean-field anisotropy in collisions, without the penalty of computational cost behind the folding parametrization.

C. H. Simon; P. Danielewicz

2012-12-18T23:59:59.000Z

346

ELECTR-5923; No of Pages 8 Please cite this article in press as: A. Sopinka,, British Columbia Electricity Supply Gap Strategy: A Redefinition of Self-sufficiency, Electr. J. (2013), http://dx.doi.org/10.1016/j.tej.2013.03.003  

E-Print Network [OSTI]

in Victoria, British Columbia. Dr. Sopinka worked for 10 years in the energy sector as both a market analyst auction that signaled the commencement of the deregulated wholesale electricity market in Alberta. She has mandate for self-sufficiency. In addition to the restrictions imposed by the Clean Energy Act

Pedersen, Tom

347

Wave-current interaction in strongly sheared mean flows Zhifei Dong and James T. Kirby  

E-Print Network [OSTI]

Wave-current interaction in strongly sheared mean flows Zhifei Dong and James T. Kirby Center@udel.edu Abstract We describe a framework for wave-current interaction theory for small-amplitude surface gravity waves propagating on the strongly sheared mean flows. Using a multiple-scale perturbation method, we

Kirby, James T.

348

Stochastic Models of Energy Commodity Prices and Their Applications: Mean-reversion with Jumps and  

E-Print Network [OSTI]

PWP-073 Stochastic Models of Energy Commodity Prices and Their Applications: Mean.ucei.berkeley.edu/ucei #12;Stochastic Models of Energy Commodity Prices and Their Applications: Mean-reversion with Jumps-switching and stochastic volatility into these models in order to capture the salient features of energy commodity prices

California at Berkeley. University of

349

Mean time to meaningless: MTTDL, Markov models, and storage system reliability  

E-Print Network [OSTI]

Mean time to meaningless: MTTDL, Markov models, and storage system reliability Kevin M. Greenan Loss (MTTDL) has been the stan- dard reliability metric in storage systems for more than 20 years [3], the stan- dard metric of storage system reliability has been the Mean Time To Data Loss (MTTDL

Plank, Jim

350

An experimental investigation of the mean flow field of a wavy cylinder at critical Reynolds numbers  

E-Print Network [OSTI]

Fluid flow around a wavy cylinder geometry was investigated in the Texas A&M University 2'x3' wind tunnel. Tests consisted of mean surface static pressure and mean wake dynamic pressure measurements around two wavy cylinders of differing wavelength...

Damiana, Thomas Anthony

2012-06-07T23:59:59.000Z

351

Sensory invariance driven action (SIDA) framework for understanding the meaning of neural spikes  

E-Print Network [OSTI]

on an approach which regards action as necessary for acquiring the meaning of neural spikes. This approach differs from some others in that it proposes a new criterion called the sensory invariance criterion, which can be used to associate meaning to spike...

Bhamidipati, Sarvani Kumar

2004-09-30T23:59:59.000Z

352

Complementary relationship of evaporation and the mean annual water-energy balance  

E-Print Network [OSTI]

Complementary relationship of evaporation and the mean annual water-energy balance Jozsef Szilagyi1 and the mean annual water-energy balance, Water Resour. Res., 45, W09201, doi:10.1029/2009WR008129. [2] Gerrits balance necessarily operates at the catchment scale, plus E0 depends predominantly on the available energy

Szilagyi, Jozsef

353

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

E-Print Network [OSTI]

, Cambridge, MA 02139, USA 2 Lawrence Livermore National Laboratory, Livermore, CA 94550, USA 3 LaboratoryDiagnosing 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

354

Integrating K-means Clustering with a Relational DBMS using SQL  

E-Print Network [OSTI]

1 Integrating K-means Clustering with a Relational DBMS using SQL Carlos Ordonez Teradata, NCR San Diego, CA 92127, USA Abstract--Integrating data mining algorithms with a relational DBMS is an important algorithm to integrate it with a relational DBMS: (1) A straightforward translation of K-means computations

Ordonez, Carlos

355

Real Option Pricing with Mean-Reverting Investment and Project Value  

E-Print Network [OSTI]

to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct resultReal Option Pricing with Mean-Reverting Investment and Project Value October 1st, 2009 #12;Abstract to invest in a project enjoy a long and dis- tinguished history. The classical work of McDonald and Siegel

Zubelli, Jorge Passamani

356

The Annual Cycle of the Energy Budget. Part I: Global Mean and LandOcean Exchanges  

E-Print Network [OSTI]

The Annual Cycle of the Energy Budget. Part I: Global Mean and Land­Ocean Exchanges JOHN T. FASULLO and thus with OE, and between RT and atmospheric total energy divergence over land, are documented both March, in final form 1 October 2007) ABSTRACT The mean and annual cycle of energy flowing

Fasullo, John

357

Estimation of a Mean Template from Spike-Train Data* Wei Wu and Anuj Srivastava  

E-Print Network [OSTI]

Estimation of a Mean Template from Spike-Train Data* Wei Wu and Anuj Srivastava Abstract-- Computing the template, or the mean, of a set of spike trains is a novel and important task in neural coding. Due to the random nature of spike trains taken from experimental recordings, probabilistic

Wu, Wei

358

Frechet means of curves for signal averaging and application to ECG data analysis  

E-Print Network [OSTI]

Fr´echet means of curves for signal averaging and application to ECG data analysis J´er´emie Bigot a reference template. We apply this approach to the estimation of a mean heart cycle from ECG records; Deformable models; ECG data. AMS classifications: Primary 62G08; secondary 62P10. Acknowledgements

Paris-Sud XI, Université de

359

The demographic impacts of shifts in climate means and extremes on alpine butterflies  

E-Print Network [OSTI]

The demographic impacts of shifts in climate means and extremes on alpine butterflies Lauren B and extremes, and how phenotypes mediate these effects. 2. Here, we incorporate demography in a biophysical (mediated by weather means) and egg viability (mediated by weather extremes) over time have varied between

Miller, Thomas E.

360

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

SciTech Connect (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

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

Electric coheating as a means to test duct efficiency: A review and analysis of the literature  

SciTech Connect (OSTI)

Recent published literature on electric coheating was reviewed in order to assess its suitability for use in a method of test for the efficiency of residential duct systems. Electric coheating is the research use of electric heaters within the heated space to assess the thermal integrity of the building envelope. Information was sought in two primary areas: (1) experimental methodology and (2) accuracy of the coheating method. A variety of experimental variations was found, and the method was judged, on the basis of published data, to be capable of sufficient accuracy for use in duct testing.

Andrews, J.W.

1995-08-01T23:59:59.000Z

362

DIRECT LIQUEFACTION PROOF OF CONCEPT  

SciTech Connect (OSTI)

The eighth bench scale test of POC program, Run PB-08, was successfully completed from August 8 to August 26, 1997. A total of five operating conditions were tested aiming at evaluating the reactivity of different pyrolysis oils in liquefaction of a Wyoming sub-bituminous coal (Black Thunder coal). For the first time, water soluble promoters were incorporated into the iron-based GelCat to improve the dispersion of the promoter metals in the feed blend. The concentration of the active metals, Mo and Fe, was 100 and 1000 ppm of moisture-free coal, respectively. Black Thunder coal used in this run was the same batch as tested in HTI?s Run POC-02. Similar to Runs PB-01 through 7, this run employed two back mixed slurry reactors, an interstage gas/slurry separator and a direct-coupled hydrotreater. In addition to the hot vapor from the second stage separator, the first stage separator overhead liquid was also fed to the hydrotreater, which was packed with Criterion C-411 hydrotreating catalyst. Pyrolysis oil was produced off-line from a pyrolysis unit acquired from University of Wyoming. Solids rejection was achieved by purging out pressure filter solid. The recycle solvents consisted of O-6 separator bottoms and pressure filter liquid (PFL). The Run PB-08 proceeded very smoothly without any interruptions. Coal conversion consistently above 90W% was achieved. High resid conversion and distillate yield have been obtained from co-processing of coal and 343C+ (650F+) pyrolysis oil. Light gas (C1-C3 ) yield was minimized and hydrogen consumption was reduced due to the introduction of pyrolysis oil, compared with conventional coal-derived solvent. Catalytic activity was improved by incorporating a promoter metal into the iron-based GelCat. It seemed that lowering the first stage temperature to 435C might increase the hydrogenation function of the promoter metal. In comparison with previous coal-waste coprocessing run (PB-06), significant improvements in the process performance were achieved due to catalyst modification and integration of pyrolysis technique into liquefaction.

NONE

1998-09-01T23:59:59.000Z

363

First Proof of Ferromagnetic Carbon  

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

can be moved perpendicular to the x-ray beam, while at the same time the transmitted intensity is detected to produce a 2D map (image, far right) of the x-ray absorption cross...

364

Rigorous proof of Cauchy theorem  

E-Print Network [OSTI]

Taking Stock. We have shown that if f is analytic, then u, v are differentiable and ux = vy and uy = ?vx, such that ?Q/?x ? ?P/?y = 0 in both applications of...

2010-12-16T23:59:59.000Z

365

Toward cheat-proof networking  

E-Print Network [OSTI]

2003. unpublished. [103] D. Kempe, A. Dobra, and J. Gehrke.a gossip protocol inspired by Kempe et al. [103]. Such

Raghavan, Barath

2009-01-01T23:59:59.000Z

366

9 770028 083095 Laser Proof  

E-Print Network [OSTI]

performed by placing the lensed fibre at normal-incidence in a confocal geometry. The reflected light.1038/nature02575. 1. Yablonovitch, E. Inhibited spontaneous emission in solid-state physics and electronics., Villeneuve, P. R. & Fan, S. Photonic crystals: putting a new twist on light. Nature 386, 143­149 (1997). 5

Svensen, Henrik

367

RevisedProof Numer. Math.  

E-Print Network [OSTI]

driven from the boundary--by precipitation/evaporation and ice melting/formation37 for the salinity, is the ability of the discretised model to cap-26 ture long-time behaviours of the underlying PDE. This motivates

Wang, Xiaoming

368

Acceptable Documents for Identity Proofing  

Broader source: Energy.gov [DOE]

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

369

First Proof of Ferromagnetic Carbon  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicyFeasibilityField OfficeFirm

370

First Proof of Ferromagnetic Carbon  

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

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

371

Method and means of transmitting and receiving broad-band unipolar, ultrasonic pulses for ultrasonic inspection  

DOE Patents [OSTI]

The invention includes a means and method for transmitting and receiving broadband, unipolar, ultrasonic pulses for ultrasonic inspection. The method comprises generating a generally unipolar ultrasonic stress pulse from a low impedance voltage pulse transmitter along a low impedance electrical pathway to an ultrasonic transducer, and receiving the reflected echo of the pulse by the transducer, converting it to a voltage signal, and passing it through a high impedance electrical pathway to an output. The means utilizes electrical components according to the method. The means and method allow a single transducer to be used in a pulse/echo mode, and facilitates alternatingly transmitting and receiving the broadband, unipolar, ultrasonic pulses. 25 figures.

Thompson, D.O.; Hsu, D.K.

1993-12-14T23:59:59.000Z

372

Soil respiration at mean annual temperature predicts annual total across vegetation types and biomes  

E-Print Network [OSTI]

3.0 License. Biogeosciences Soil respiration at mean annualI. L. , and Carvalho, J. E. M. : Effects of soil watercontent on soil res- piration in forests and cattle pastures

2010-01-01T23:59:59.000Z

373

Questioning the Meaning of Authenticity in Martin Heidegger's Being and Time  

E-Print Network [OSTI]

, it is necessary to highlight those commitments to phenomenology and hermeneutics that informs Heidegger's effort. The third chapter first introduces the various characterizations of authenticity that Heidegger offers in Being and Time and the problematic meaning...

Liwinski, Thomas

2011-10-21T23:59:59.000Z

374

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

375

A regression model predicting the compressive strength of concrete by means of nondestructive, acoustic measurements  

E-Print Network [OSTI]

A sample size of 81, 4" diameter concrete standard cylinders were tested using nondestructive means. These cylinders were collected from three different ready-mix plants across Texas located in Houston, San Antonio and Victoria. The sound...

Pinto, Zeena Blossom

2012-06-07T23:59:59.000Z

376

Optimal coordinate sensor placements for estimating mean and variance components of variation sources  

E-Print Network [OSTI]

in diagnosing dimensional variation sources in assembly processes. Sensitivity indices of detecting process mean and variance components are defined as the design criteria and are derived in terms of process layout and sensor deployment information. Exchange...

Liu, Qinyan

2005-08-29T23:59:59.000Z

377

RIGOROUS ANALYSIS OF DISCONTINUOUS PHASE TRANSITIONS VIA MEAN-FIELD BOUNDS  

E-Print Network [OSTI]

assumption is that these models satisfy the condition of reflection positivity. We prove that whenever a discontinuous transition (which occurs near the mean-field transition temperature), provided the dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.2. Infrared bound

378

E-Print Network 3.0 - alter call meaning Sample Search Results  

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

within the native range is a central means by which... -off (also called a convex trade-off) tends to hamper adaptation to the conditions in human-altered habitats......

379

Mean curvature flow self-shrinkers with genus and asymptotically conical ends  

E-Print Network [OSTI]

This doctoral dissertation is on the theory of Minimal Surfaces and of singularities in Mean Curvature Flow, for smooth submanifolds Y" in an ambient Riemannian (n+ 1)-manifold Nn+1, including: (1) New asymptotically conical ...

Mller, Niels Martin

2012-01-01T23:59:59.000Z

380

Problems of tort litigation as a means of patient and consumer protection in health care systems  

E-Print Network [OSTI]

The U.S. health care system relies on tort litigation as a means of protecting patients and consumers from medical malpractice. The system of tort litigation has contributed to the U.S. having the highest health care ...

Moore, Michael David

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


381

Global episodic beta/gamma synchrony 1 Freeman & Rogers A neurobiological theory of meaning in perception.  

E-Print Network [OSTI]

Global episodic beta/gamma synchrony 1 Freeman & Rogers A neurobiological theory of meaning words: analytic phase, beta oscillation, EEG synchronization, gamma oscillation, Hilbert transform, phase transition Running Title: Global episodic beta/gamma synchrony #12;Global episodic beta

Freeman, Walter J.

382

Mesoscale properties of clay aggregates from potential of mean force representation of interactions between nanoplatelets  

E-Print Network [OSTI]

Face-to-face and edge-to-edge free energy interactions of Wyoming Na-montmorillonite platelets were studied by calculating potential of mean force along their center to center reaction coordinate using explicit solvent ...

Ebrahimi, Davoud

383

Genetic Improvement of Upper Half Mean Length and Short Fiber Content in Upland Cotton, Gosspium hirsutum  

E-Print Network [OSTI]

) effects and specific combining ability (SCA) effects. A recombinant inbred line (RIL) population was established to determine the narrow sense heritability (h^2) of AFIS short fiber content by weight (SFCw) and lower half mean length (LHML...

Beyer, Benjamin

2012-10-19T23:59:59.000Z

384

Time-Dependent Green's Functions Description of One-Dimensional Nuclear Mean-Field Dynamics  

SciTech Connect (OSTI)

The time-dependent Green's functions formalism provides a consistent description of the time evolution of quantum many-body systems, either in the mean-field approximation or in more sophisticated correlated approaches. We describe an attempt to apply this formalism to the mean-field dynamics of symmetric reactions for one-dimensional nuclear slabs. We pay particular attention to the off-diagonal elements of the Green's functions in real space representation. Their importance is quantified by means of an elimination scheme based on a super-operator cut-off field and their relevance for the global time evolution is assessed. The Wigner function and its structure in the mean-field approximation is also discussed.

Rios, Arnau; Danielewicz, Pawel; Barker, Brent [National Superconducting Cyclotron Laboratory, and Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824-1321 (United States)

2009-05-07T23:59:59.000Z

385

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

386

Solution to plasma-etching puzzle could mean more powerful microchips...  

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

Solution to plasma-etching puzzle could mean more powerful microchips By John Greenwald February 11, 2014 Tweet Widget Google Plus One Share on Facebook An integrated-circuit...

387

A study of miscible displacement of oil by means of micellar solution injection  

E-Print Network [OSTI]

A STUDY OF MISCIBLE DISPLACEMENT OF OIL BY MEANS OF MICELLAR SOLUTION IN SEC TION A Thesis by FEREIDOON SHARIFI-MONFARED Submitted to the Graduate College of Texas A&M University in partial fulfillment of the requirement for the degree... of MASTER OF SCIENCE May, 1971 Major Subject: Petroleum Engineering A STUDY GF MISCIBLE DISPLACEMENT OF OIL BY MEANS GF MICELLAR SOLUTION INJECTION A Thesis by FEREIDOON SHARIFI-MONFARED Approved as to style and content by: (Chai rxn of Comxnittee...

Sharifi-Monfared, Fereidoon

1971-01-01T23:59:59.000Z

388

Exploring Constructions of the Meanings of Play among Korean Preservice Kindergarten Teachers  

E-Print Network [OSTI]

of the requirements for the degree of DOCTOR OF PHILOSOPHY December 2008 Major Subject: Curriculum and Instruction EXPLORING CONSTRUCTIONS OF THE MEANINGS OF PLAY AMONG KOREAN PRESERVICE KINDERGARTEN TEACHERS A Dissertation by SOO YOUNG AHN... Blanca Quiroz Head of Department, Dennie L. Smith December 2008 Major Subject: Curriculum and Instruction iii ABSTRACT Exploring Constructions of the Meanings of Play among Korean Preservice Kindergarten Teachers. (December 2008) Soo...

Ahn, Soo Young

2010-01-16T23:59:59.000Z

389

Infrared bound and mean-field behaviour in the quantum Ising model  

E-Print Network [OSTI]

We prove an infrared bound for the transverse field Ising model. This bound is stronger than the previously known infrared bound for the model, and allows us to investigate mean-field behaviour. As an application we show that the critical exponent $\\gamma$ for the susceptibility attains its mean-field value $\\gamma=1$ in dimension at least 4 (positive temperature), respectively 3 (ground state), with logarithmic corrections in the boundary cases.

Jakob E. Bjrnberg

2013-01-08T23:59:59.000Z

390

Generation of large-scale vorticity in a homogeneous turbulence with a mean velocity shear Tov Elperin,* Nathan Kleeorin,  

E-Print Network [OSTI]

Generation of large-scale vorticity in a homogeneous turbulence with a mean velocity shear Tov by the gradient of the Reynolds stresses is studied. Generation of a mean vorticity in a homogeneous-induced'' deflection of equilibrium mean vorticity and ``Reynolds stress-induced'' generation of perturbations of mean

Elperin, Tov

391

Adaptive mean filtering for noise reduction in CT polymer gel dosimetry  

SciTech Connect (OSTI)

X-ray computed tomography (CT) as a method of extracting 3D dose information from irradiated polymer gel dosimeters is showing potential as a practical means to implement gel dosimetry in a radiation therapy clinic. However, the response of CT contrast to dose is weak and noise reduction is critical in order to achieve adequate dose resolutions with this method. Phantom design and CT imaging technique have both been shown to decrease image noise. In addition, image postprocessing using noise reduction filtering techniques have been proposed. This work evaluates in detail the use of the adaptive mean filter for reducing noise in CT gel dosimetry. Filter performance is systematically tested using both synthetic patterns mimicking a range of clinical dose distribution features as well as actual clinical dose distributions. Both low and high signal-to-noise ratio (SNR) situations are examined. For all cases, the effects of filter kernel size and the number of iterations are investigated. Results indicate that adaptive mean filtering is a highly effective tool for noise reduction CT gel dosimetry. The optimum filtering strategy depends on characteristics of the dose distributions and image noise level. For low noise images (SNR {approx}20), the filtered results are excellent and use of adaptive mean filtering is recommended as a standard processing tool. For high noise images (SNR {approx}5) adaptive mean filtering can also produce excellent results, but filtering must be approached with more caution as spatial and dose distortions of the original dose distribution can occur.

Hilts, Michelle; Jirasek, Andrew [Medical Physics, BC Cancer Agency-Vancouver Island Centre, Victoria, British Columbia, V8R6V5 (Canada); Department of Physics and Astronomy, University of Victoria, Victoria, British Columbia, V8W2Y2 (Canada)

2008-01-15T23:59:59.000Z

392

Method and means for remote removal of guide balls from nuclear reactor control rods  

SciTech Connect (OSTI)

This patent describes a method of remotely removing guide balls from nuclear reactor control rods using a punch mechanism, comprising: (a) providing attachment means in the punch mechanism for attaching the punch mechanism to means for reversibly lowering the punch mechanism over the top of one of the control rods; (b) providing a die within the punch mechanism; (c) providing cylinder means within the punch mechanism operatively connected to the die for axially moving the die in a back-and-forth direction; (d) providing a die block within the punch mechanism cooperating with the die; (e) providing guide means within the punch mechanism for self-aligning the punch mechanism so that the die and the die block are automatically aligned with a first one of the guide balls therebetween when the punch mechanism is lowered over the top of the control rod; (f) lowering the punch mechanism over the control rod so that the die, the die block, and the first guide ball are in alignment; and (g) then operating the cylinder means so that the die advances into the die block, thereby removing the first guide ball from the control rod.

Krieg, A.H.

1988-11-29T23:59:59.000Z

393

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-12-25T23:59:59.000Z

394

Mean-field Ohm's law and coaxial helicity injection in force-free plasmas  

SciTech Connect (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

395

Sufficient Conditions for Well-behaved Adaptive Hypermedia Systems  

E-Print Network [OSTI]

for the architecture of adaptive hypermedia applications: the Adaptive Hypermedia Application Model (AHAM) [DHW99]. AHAM describes AHS at an abstract level, using an architecture consisting of three parts: a domain (AE) are discussed in earlier paper [WDD01]. We defined a rule language for AHS, AHAM-CA and proposed

De Bra, Paul

396

Geometric sufficient conditions for compactness of the ?-Neumann operator  

E-Print Network [OSTI]

bracketrightbigg dV(y) parenrightbigg dt ? 2?(bardbl?ubardbl20 +bardbl??ubardbl20) +C?bardblubardbl2?1 + 8 m ?j integraldisplay ?j 0 parenleftbigg C(C2)(?j)2n?2nC3? msummationdisplay i=1 integraldisplay ? parenleftbigg |Xku(y)|2 +|Xku(y)|2 parenrightbigg d... the balls B(pm, C210 (?j)C3), 1 ? m ? N, are pairwise disjoint, comparison of volumes gives the upper bound C(C2)(?j)2n?2nC3 on how many of them can be contained in B(pk,2?j +2C2(?j)C3 + C210 (?j)C3). Combining (3.10, 3.11) and the bound on the overlap we...

Munasinghe, Samangi

2009-06-02T23:59:59.000Z

397

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

Lingchen Kong

2011-06-15T23:59:59.000Z

398

SUFFICIENT CONDITIONS FOR LOW-RANK MATRIX RECOVERY ...  

E-Print Network [OSTI]

Jun 15, 2011 ... is -hard and a popular approach replaces the rank function with the nuclear norm of the matrix variable. In this paper, we extend the...

2011-06-15T23:59:59.000Z

399

Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency...  

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

often faster than the grid infrastructure that supports them, and the challenges utilities currently face in integrating new generation and demand (load) response...

400

SUFFICIENT CONDITIONS FOR A REAL POLYNOMIAL TO BE A ...  

E-Print Network [OSTI]

Acknowledgement. The author wishes to thank an anonymous referee for helpful suggestions to improve the initial version. References. [1] A. Ben-Tal,...

2007-02-14T23: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

1220 Comment sufficient to meet bacterial needs (let alone  

E-Print Network [OSTI]

of the recycling of organic carbon by consumers may help to explain apparently excessive demands of consumers- has led to the assertion that bacterial sec- toplankton supply in the summer epilim- ondary production

402

Sparta, Texas traditions of self-sufficiency and community solidarity  

E-Print Network [OSTI]

site, such as deed and tax records, population and agricultural censuses, as well as a description of the artifacts collected, are presented here. Six oral histories were collected from former residents of the Sparta community. They gave testimony...

Macaulay, Carol Fiorillo

2012-06-07T23:59:59.000Z

403

Eliminating the Gap between Necessary and Sufficient Conditions  

E-Print Network [OSTI]

Dec 12, 2003 ... optimization, Dokl. Akad. Nauk BSSR 24 (1980), no. 8, 684687, in Russian. 16. B. Kummer, Inverse functions of pseudo regular mappings and...

2003-12-12T23:59:59.000Z

404

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

405

Neighborhoods, Economic Self-Sufficiency, and the MTO Program  

E-Print Network [OSTI]

Katherine M. , and John M. Quigley. 1996. Spatial Effectsexhibit 2.8, p. 42). 10. Quigley and Raphael, table 6. 11.JOHN M. QUIGLEY University of California, Berkeley STEVEN

Quigley, John M.; Raphael, Steven

2008-01-01T23:59:59.000Z

406

Recommendation 227: Recommendation to EM on Request for Sufficient Funding  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustion | Department ofT ib l L dDepartment ofList?Department ofAdministration|Cleanupto Meet Cleanup

407

Quark Number Susceptibility : Revisited with Fluctuation-Dissipation Theorem in mean field theories  

E-Print Network [OSTI]

Fluctuations of conserved quantum numbers are associated with the corresponding susceptibilities because of the symmetry of the system. The underlying fact is that these fluctuations as defined through the static correlators become identical to the direct calculation of these susceptibilities defined through the thermodynamic derivatives, due to the fluctuation-dissipation theorem. Through a rigorous exercise we explicitly show that a diagrammatic calculation of the static correlators associated with the conserved quark number fluctuations and the corresponding susceptibilities are possible in case of mean field theories, if the implicit dependence of the mean fields on the quark chemical potential are taken into account appropriately. As an aside we also give an analytical prescription for obtaining the implicit dependence of the mean fields on the quark chemical potential.

Sanjay K. Ghosh; Anirban Lahiri; Sarbani Majumder; Munshi G. Mustafa; Sibaji Raha; Rajarshi Ray

2014-10-04T23:59:59.000Z

408

Source Optimization in MISO Relaying with Channel Mean Feedback: A Stochastic Ordering Approach  

E-Print Network [OSTI]

This paper investigates the optimum source transmission strategy to maximize the capacity of a multiple-input single-output (MISO) amplify-and-forward relay channel, assuming source-relay channel mean feedback at the source. The challenge here is that relaying introduces a nonconvex structure in the objective function, thereby excluding the possible use of previous methods dealing with mean feedback that generally rely on the concavity of the objective function. A novel method is employed, which divides the feasible set into two subsets and establishes the optimum from one of them by comparison. As such, the optimization is transformed into the comparison of two nonnegative random variables in the Laplace transform order, which is one of the important stochastic orders. It turns out that the optimum transmission strategy is to transmit along the known channel mean and its orthogonal eigenchannels. The condition for rank-one precoding (beamforming) to achieve capacity is also determined. Our results subsume th...

Ding, Minhua

2011-01-01T23:59:59.000Z

409

Rotating Bose-Einstein condensates: Closing the gap between exact and mean-field solutions  

E-Print Network [OSTI]

When a Bose-Einstein condensed cloud of atoms is given some angular momentum, it forms vortices arranged in structures with a discrete rotational symmetry. For these vortex states, the Hilbert space of the exact solution separates into a "primary" space related to the mean-field Gross-Pitaevskii solution and a "complementary" space including the corrections beyond mean-field. Considering a weakly-interacting Bose-Einstein condensate of harmonically-trapped atoms, we demonstrate how this separation can be used to close the conceptual gap between exact solutions for systems with only a few atoms and the thermodynamic limit for which the mean-field is the correct leading-order approximation. Although we illustrate this approach for the case of weak interactions, it is expected to be more generally valid.

Cremon, J C; Karabulut, E \\" O; Kavoulakis, G M; Mottelson, B R; Reimann, S M

2015-01-01T23:59:59.000Z

410

Liquid-liquid extraction as the means of refining cottonseed oil  

E-Print Network [OSTI]

LIBRARY A 4 AI CvLLEGE OF TEXAS LIOVID-LIQUID EXTRACTION AS THE MEANS OI REFINING CCTTONSEFZ OIL A Thesis By 1'RVUBHAI CHIINIBHAI PATEL a 0 U z A R 0 Submitted to the Graduate School of the Agricultural and Mechanical College of Texas... in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Auuust 1996 Major Subject Chemical ineeri LIQUID-LIQUID EXTRACTION AS THE MEANS OF REFINING COTTONSEED OIL A Thesis By MANUBHAI CHUNIBHAI PATEL Approved as to style...

Patel, Manubhai Chunibhai

1956-01-01T23:59:59.000Z

411

An algorithm for improving Non-Local Means operators via low-rank approximation  

E-Print Network [OSTI]

We present a method for improving a Non Local Means operator by computing its low-rank approximation. The low-rank operator is constructed by applying a filter to the spectrum of the original Non Local Means operator. This results in an operator which is less sensitive to noise while preserving important properties of the original operator. The method is efficiently implemented based on Chebyshev polynomials and is demonstrated on the application of natural images denoising. For this application, we provide a comprehensive comparison of our method with leading denoising methods.

Victor May; Yosi Keller; Nir Sharon; Yoel Shkolnisky

2014-11-20T23:59:59.000Z

412

Asymmetric neutrino production in magnetized proto-neutron stars in fully relativistic mean-field approach  

SciTech Connect (OSTI)

We calculate the neutrino production cross-section in the proto-neutron-star matter under a strong magnetic field in the relativistic mean-field approach. We introduce a new parameter-set which can reproduce the 1.96 solar mass neutron star. We find that the production process increases emitted neutrinos along the direction parallel to the magnetic field and decrease those along its opposite direction. It means that resultant asymmetry due to the neutrino absorption and scattering process in the magnetic field becomes larger by the addition of the neutrino production process.

Maruyama, Tomoyuki [College of Bioresource Sciences, Nihon University, Fujisawa 252-8510 (Japan); Kajino, Toshitaka; Hidaka, Jun; Takiwaki, Tomoya [National Astronomical Observatory of Japan, Mitaka, Tokyo 181-8588 (Japan); Yasutake, Nobutoshi [Department of Physics, Chiba Institute of Technology, Narashino 275-0023 (Japan); Kuroda, Takami [Department of Physics, University of Basel, CH-4056 Basel (Switzerland); Cheoun, Myung-Ki [Department of Physics, Soongsil University, Seoul, 156-743 (Korea, Republic of); Ryu, Chung-Yeol [General Education Curriculum Center, Hanyang University, Seoul, 133-791 (Korea, Republic of); Mathews, Grant J. [Center of Astrophysics, Department of Physics, University of Notre Dame, Notre Dame, IN 46556 (United States)

2014-05-02T23:59:59.000Z

413

Matrix Product State and mean field solutions for one-dimensional systems can be found efficiently  

E-Print Network [OSTI]

We consider the problem of approximating ground states of one-dimensional quantum systems within the two most common variational ansatzes, namely the mean field ansatz and Matrix Product States. We show that both for mean field and for Matrix Product States of fixed bond dimension, the optimal solutions can be found in a way which is provably efficient (i.e., scales polynomially). This implies that the corresponding variational methods can be in principle recast in a way which scales provably polynomially. Moreover, our findings imply that ground states of one-dimensional commuting Hamiltonians can be found efficiently.

Norbert Schuch; J. Ignacio Cirac

2010-07-19T23:59:59.000Z

414

Selective arteriography as a means of studying major arteries in the cat  

E-Print Network [OSTI]

SELECTIVE ARTERIOGRAM))Y AS A MEANS OF STUDYING -")AJCR ARTERIES IN THE CAT A Thesis JAMES EDGAR LEE SMALLNOOD Submitted to the Graduate College of ) eras AKI) Un iver sity in partial fulfill). , ent of the recuiren)ont for the degree... of MASTER OF SCIENCE August 1972 M=j or Subjec': Veterinary ?anatomy SELECTIVE ARTERIOGRAPHY AS A MEANS OF STUDYING MAJOR APTEPIES IN THE CAT A Thesis JAMES EDGAR LEE SNALLNOOD Approved as to styie and con+ ent by: He of Department li er August I...

Smallwood, James Edgar Lee

1972-01-01T23:59:59.000Z

415

A mixed mean-field/BCS phase with an energy gap at high $T_c$  

E-Print Network [OSTI]

We construct a pair potential which in a scaling limit leads to a Hamiltonian that generates co-existing mean-field and superconducting phases. Depending on the relative values of the coupling constants, the superconducting phase may exist at arbitrarily high temperatures.

N. Ilieva; W. Thirring

2000-01-17T23:59:59.000Z

416

A mean field approach for computing solid-liquid surface tension for nanoscale interfaces  

E-Print Network [OSTI]

A mean field approach for computing solid-liquid surface tension for nanoscale interfaces Chi are largely determined by the solid-liquid surface tension. This is especially true for nanoscale systems with high surface area to volume ratios. While experimental techniques can only measure surface tension

Nielsen, Steven O.

417

Stochastic Models of Energy Commodity Prices and Their Applications: Mean-reversion with  

E-Print Network [OSTI]

Stochastic Models of Energy Commodity Prices and Their Applications: Mean-reversion with Jumps usion models to describe energy commodity spot prices. We incorporate multiple jumps, regime-switching and stochastic volatility in these models. Prices of various energy commodity derivatives are obtained under each

418

Reliability determination of aluminium electrolytic capacitors by the mean of various methods.  

E-Print Network [OSTI]

Reliability determination of aluminium electrolytic capacitors by the mean of various methods is often calculated from reliability reports, but this method can be discussed. We compare in this article the results of various reliability reports to an accelerated ageing test of component and introduced the load

Paris-Sud XI, Université de

419

Climatological Ertel's potential-vorticity ux and mean meridional circulation in the extratropical troposphere lower stratosphere  

E-Print Network [OSTI]

Climatological Ertel's potential-vorticity ¯ux and mean meridional circulation in the extratropical circu- lation derived for stratospheric conditions is applicable to climatological transport of the climatological meridional gradient and ¯ux of Ertel's potential vorti- city (PV). Application of Tung's ¯ux

Paris-Sud XI, Université de

420

Seasonal Mean Circulation in the Yellow Sea A ModelGenerated Climatology  

E-Print Network [OSTI]

Seasonal Mean Circulation in the Yellow Sea ­ A Model­Generated Climatology Christopher E. Naimie 1://www­nml.dartmouth.edu/Publications/external publications/PUB­00­1 email: d.r.lynch@dartmouth.edu Abstract The three­dimensional climatological circulation

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

What political discussion means and how do the French and (French speaking) Belgians deal with it.  

E-Print Network [OSTI]

1 What political discussion means and how do the French and (French speaking) Belgians deal with it.duchesne@sciences-po.fr - florence.haegel@sciences-po.fr Paper prepared for the EPOP Conference 2008 (Manchester) Panel: Political Discussion and Political Deliberation in a Comparative Perspective A public discussion on European

Paris-Sud XI, Université de

422

What political discussion means and how do the French and (French speaking) Belgians deal with it.  

E-Print Network [OSTI]

What political discussion means and how do the French and (French speaking) Belgians deal with it.duchesne@sciences-po.fr - florence.haegel@sciences-po.fr Paper prepared for the EPOP Conference 2008 (Manchester) Panel: Political Discussion and Political Deliberation in a Comparative Perspective A public discussion on European

Paris-Sud XI, Université de

423

Transient effective hydraulic conductivities under slowly and rapidly varying mean gradients in bounded three-  

E-Print Network [OSTI]

Transient effective hydraulic conductivities under slowly and rapidly varying mean gradients it Darcian in real or transformed domains. Each such situation gives rise to an effective hydraulic-time. In this paper we develop first-order analytical expressions for effective hydraulic conductivity under three

Tartakovsky, Daniel M.

424

Receive care that is free from discrimination. This means that you should not be treated differently  

E-Print Network [OSTI]

care. · Free from mental, physical, sexual, and verbal abuse, neglect, and exploitation. · Any claimsReceive care that is free from discrimination. This means that you should not be treated your care. This includes information: · In your preferred language. · In a way that meets your

Pevsner, Jonathan

425

Eddy mean flow decomposition and eddy diffusivity estimates in the tropical Pacific Ocean  

E-Print Network [OSTI]

Eddy mean flow decomposition and eddy diffusivity estimates in the tropical Pacific Ocean: 2] Eddy diffusivity of the surface velocity field in the tropical Pacific Ocean was estimated using diffusivity estimates in the tropical Pacific Ocean: 2. Results, J. Geophys. Res., 107(C10), 3154, doi:10

426

Creating Personalised Energy Plans: From Groups to Individuals using Fuzzy C Means Clustering  

E-Print Network [OSTI]

carbon dioxide by changing non- electric demand such as gas central heating to the electric- ity network on applying DSM techniques to achieve better electricity system efficiency. DSM techniques require electricity market mean that domestic users will be required to modify their usage behaviour in accordance

Aickelin, Uwe

427

Safety First Safety Last Safety Always Summer in Minnesota means high humidity and sunny, hot  

E-Print Network [OSTI]

Safety First Safety Last Safety Always Summer in Minnesota means high humidity and sunny, hot days the victim liquids to drink. Treat for shock until professional medical help arrives. Heat Stress Safety Tip the information provided on the reverse side of this safety tip sheet. Please refrain from reading the information

Minnesota, University of

428

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

SciTech Connect (OSTI)

Analytical expressions for the mean energy and range of therapeutic light ion beams and low- and high-energy electrons have been derived, based on the energy dependence of their respective stopping powers. The new mean energy and range relations are power-law expressions relevant for light ion radiation therapy, and are based on measured practical ranges or known tabulated stopping powers and ranges for the relevant incident particle energies. A practical extrapolated range, R{sub p}, for light ions was defined, similar to that of electrons, which is very closely related to the extrapolated range of the primary ions. A universal energy-range relation for light ions and electrons that is valid for all material mixtures and compounds has been developed. The new relation can be expressed in terms of the range for protons and alpha particles, and is found to agree closely with experimental data in low atomic number media and when the difference in the mean ionization energy is low. The variation of the mean energy with depth and the new energy-range relation are useful for accurate stopping power and mass scattering power calculations, as well as for general particle transport and dosimetry applications.

Kempe, Johanna; Brahme, Anders [Division of Medical Radiation Physics, Department of Oncology-Pathology, Karolinska Institutet and Stockholm University, Box 260, SE-171 76 Stockholm (Sweden)

2008-01-15T23:59:59.000Z

429

Out of Equilibrium Solutions in the $XY$-Hamiltonian Mean Field model  

E-Print Network [OSTI]

Out of equilibrium magnetised solutions of the $XY$-Hamiltonian Mean Field ($XY$-HMF) model are build using an ensemble of integrable uncoupled pendula. Using these solutions we display an out-of equilibrium phase transition using a specific reduced set of the magnetised solutions.

Xavier Leoncini; Tineke L. Van Den Berg; Duccio Fanelli

2009-04-30T23:59:59.000Z

430

Thesis topic: "Characterisation of wake tracking procedures by means of numerical simulation" (Bachelor or master )  

E-Print Network [OSTI]

dynamics in full field. These data are badly needed for validation of so-called wake meandering models and finally methods of aeroelastic simulation of wind turbines in wake. Scope The proposed work aims.jose.trujillo@uni-oldenburg.de Fig. Near wake path of an offshore wind turbine estimatied by means of wake tracking #12;

Peinke, Joachim

431

Maximum Class Separability for Rough-Fuzzy C-Means Based Brain MR Image Segmentation  

E-Print Network [OSTI]

Maximum Class Separability for Rough-Fuzzy C-Means Based Brain MR Image Segmentation Pradipta Maji of brain MR images. The RFCM algorithm comprises a judicious integration of the of rough sets, fuzzy sets with vagueness and incompleteness in class definition of brain MR images, the membership function of fuzzy sets

Pal, Sankar Kumar

432

Speech enhancement using a minimum mean-square error short-time spectral modulation magnitude estimator  

E-Print Network [OSTI]

Speech enhancement using a minimum mean-square error short-time spectral modulation magnitude In this paper we investigate the enhancement of speech by applying MMSE short-time spectral magnitude estimation on the quality of enhanced speech, and find that this method works better with speech uncertainty. Finally we

433

Avoiding Extinction in a Managed Single Species Population Model by means of Anticipative Control  

E-Print Network [OSTI]

Avoiding Extinction in a Managed Single Species Population Model by means of Anticipative Control which end in a population collapse and consequent extinction. In a managed environment, it might, the dynamics of a managed single species are modelled using an Anticipatory System and possible control

Burke, Mark

434

WHAT DOES DATABASE FEDERATION MEAN TO CRYSTALLOGRAPHY? Philip E. Bourne123  

E-Print Network [OSTI]

WHAT DOES DATABASE FEDERATION MEAN TO CRYSTALLOGRAPHY? Philip E. Bourne123 , Ilya N. Shindyalov1 More than ever crystallographers are faced with using a variety of databases, each with its own content, organization and query interface. Database federation offers the promise of a unified view of these disparate

Bourne, Philip E.

435

Divergent Eddy Heat Fluxes in the Kuroshio Extension at 14481488E. Part I: Mean Structure  

E-Print Network [OSTI]

and the upper-ocean thermal front. EHFs associated with the internal mode are completely rotational. DEHFs were resulted in a mean-to-eddy potential energy conversion rate that peaked midthermocline with a magnitude and a nearly depth-independent external mode measured in the deep ocean. As a useful by

Rhode Island, University of

436

Problems with Objective Probability for Conditionals What Bennett Means by Objective Probability  

E-Print Network [OSTI]

Problems with Objective Probability for Conditionals What Bennett Means by Objective Probability Objective probability is any sort of probability which demands inter- subjective agreement. Bennett Bennett introduces this as a three place relation, R(P,Q,n), between a proposition P, body of evidence Q

Fitelson, Branden

437

Reaching Volumes Generated by Means of Octal Trees and Cartesian Constraints  

E-Print Network [OSTI]

in closed form. It was designed to be applied to robotic manipulators [1]. A recent work has proposeReaching Volumes Generated by Means of Octal Trees and Cartesian Constraints I. Rodrígueza , M studied in ergonomic research [6]. For example, cars are designed so that front panel elements are easily

Rodríguez, Inmaculada

438

Dosimetry by means of the radiation reduction of hemin in aprotic solvents. Final report  

SciTech Connect (OSTI)

Iron (III) porphyrins when dissolved in certain polar organic solvents are reduced by ionizing radiation. This results in a stable shift of both the Soret (B) and visible (Q) absorption bands, as long as the solution is maintained in a deaerated state, thus affording a means of radiation dosimetry.

McLaughlin, W.L.; Simic, M.G.; Miller, A.

1982-01-01T23:59:59.000Z

439

MODELING THE MEAN INTERACTION FORCES BETWEEN POWDER APPLICATION TO SILICA GEL-MAGNESIUM STEARATE MIXTURES.  

E-Print Network [OSTI]

1 MODELING THE MEAN INTERACTION FORCES BETWEEN POWDER PARTICLES. APPLICATION TO SILICA GEL-MAGNESIUM) particles (d50 = 55 µm) were coated with fine invited particles of magnesium stearate (MS, d50 = 4.6 µm. Interaction forces between the material attached to the cantilever (Magnesium Stearate MS) and the surface

Paris-Sud XI, Université de

440

Adding Meaning to Facebook Microposts via a Mash-up API and Tracking Its Data Provenance  

E-Print Network [OSTI]

Adding Meaning to Facebook Microposts via a Mash-up API and Tracking Its Data Provenance Thomas--The social networking website Facebook offers to its users a feature called "status updates" (or just "status. INTRODUCTION According to official Facebook statistics [7], the social networking website has more than 500

Tomkins, Andrew

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

Use of rare earth elements as external markers for mean retention time measurements in ruminants  

E-Print Network [OSTI]

Review Use of rare earth elements as external markers for mean retention time measurements -- The present review deals with the utilisation of rare earth (RE) elements as particulate markers for ruminant earth / retention time / feedstuff / methodology / ruminant Résumé -- Utilisation des terres rares comme

Paris-Sud XI, Université de

442

Lamar: A New Pseudorandom Number Generator Evolved by means of Genetic  

E-Print Network [OSTI]

Lamar: A New Pseudorandom Number Generator Evolved by means of Genetic Programming Carlos Lamenca Lamar and obtained using this scheme is proposed, whose C code and preliminary security analysis highly nonlinear and extremely efficient func- tions. As an example, we propose Lamar, a new PRNG

Fernandez, Thomas

443

Distinguishing human ethnic groups by means of sequences from Helicobacter pylori  

E-Print Network [OSTI]

Distinguishing human ethnic groups by means of sequences from Helicobacter pylori: Lessons from from Helicobacter pylori, a bacterium that colonizes the stomachs of most humans and is usually in this respect to classical human genetic markers. H. pylori from Buddhists and Muslims, the two major ethnic

Wirth, Thierry

444

Mean-Risk Optimization of Electricity Portfolios Using Multiperiod Polyhedral Risk Measures  

E-Print Network [OSTI]

Mean-Risk Optimization of Electricity Portfolios Using Multiperiod Polyhedral Risk Measures Andreas-risk optimization of electricity portfolios containing electricity futures as well as several com- ponents to satisfy a stochastic electricity demand: electricity spot market, two different types of supply contracts

Eichhorn, Andreas

445

Mean and Variability of Air-Sea Heat Fluxes in the Indian Ocean  

E-Print Network [OSTI]

-sea heat Fluxes) Project: blended product planned activity: daily, 1º-grid, mid 1950's ­ present currently available: daily, 1º-grid, 1988-2003 #12;OAFlux (Objectively Analyzed Air-sea Heat Fluxes) For the GlobalMean and Variability of Air-Sea Heat Fluxes in the Indian Ocean Lisan Yu Woods Hole Oceanographic

Yu, Lisan

446

Plasma diagnostics by means of the scattering of electrons and proton beams  

E-Print Network [OSTI]

Plasma diagnostics by means of the scattering of electrons and proton beams E. NARDI,1 Y. MARON,1; ACCEPTED 23 May 2007) Abstract Scattering of energetic electron and proton beams by cold matter this effect as a plasma diagnostic tool, utilizing monoenergetic, well-collimated electron or proton beams

447

A review of "Excess and the Mean in Early Modern English Literature." by Joshua Scodel  

E-Print Network [OSTI]

- ment, which in any event ought to be read from cover to cover. Joshua Scodel. Excess and the Mean in Early Modern English Litera- ture. Princeton: Princeton University Press, 2002. viii + 367 pp. $55.00. Review by IRA CLARK, UNIVERSITY OF FLORIDA...

Ira Clark

2003-01-01T23:59:59.000Z

448

Randomly accelerated particle in a box: Mean absorption time for partially absorbing and inelastic boundaries  

E-Print Network [OSTI]

Randomly accelerated particle in a box: Mean absorption time for partially absorbing and inelastic which is randomly accelerated by Gaussian white noise on the line segment 0 x 1 and is absorbed as soon accelerated particle which moves on the half line x 0 with an absorbing boundary at x=0. The motion

449

Towards a nonequilibrium Green's function description of nuclear reactions: One-dimensional mean-field dynamics  

SciTech Connect (OSTI)

Research Highlights: > Dynamics of central nuclear reactions. > Nonequilibrium Green's functions and Kadanoff-Baym formalism. > Adiabatic switching on of interactions. > Mean-field time evolution of nuclear slabs. > Off-diagonal spatial structure of a collision density matrix. - Abstract: Nonequilibrium Green's function methods allow for an intrinsically consistent description of the evolution of quantal many-body body systems, with inclusion of different types of correlations. In this paper, we focus on the practical developments needed to build a Green's function methodology for nuclear reactions. We start out by considering symmetric collisions of slabs in one dimension within the mean-field approximation. We concentrate on two issues of importance for actual reaction simulations. First, the preparation of the initial state within the same methodology as for the reaction dynamics is demonstrated by an adiabatic switching on of the mean-field interaction, which leads to the mean-field ground state. Second, the importance of the Green's function matrix-elements far away from the spatial diagonal is analyzed by a suitable suppression process that does not significantly affect the evolution of the elements close to the diagonal. The relative lack of importance of the far-away elements is tied to system expansion. We also examine the evolution of the Wigner function and verify quantitatively that erasing of the off-diagonal elements corresponds to averaging out of the momentum-space details in the Wigner function.

Rios, Arnau, E-mail: A.Rios@surrey.ac.uk [National Superconducting Cyclotron Laboratory, Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824-1321 (United States); Department of Physics, University of Surrey, Guildford, Surrey GU2 7XH (United Kingdom); Barker, Brent; Buchler, Mark; Danielewicz, Pawel [National Superconducting Cyclotron Laboratory, Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824-1321 (United States)

2011-05-15T23:59:59.000Z

450

Adaptive hybrid mean and median filtering of high-ISO long-exposure sensor noise for  

E-Print Network [OSTI]

Adaptive hybrid mean and median filtering of high-ISO long-exposure sensor noise for digital for Standardization (ISO) and long- exposure settings. The problem lies in the fact that the algorithm must deal, namely blue-channel noise and JPEG blocking artifacts, common in high-ISO digital camera images. A third

Rabie, Tamer

451

Estimating quality factor and mean grain size of sediments from high-resolution marine seismic data  

E-Print Network [OSTI]

30 m of unconsolidated marine sediments. Our spectral-ratio technique does not require assumptions-resolution seismic-reflection data, and shows how such estimates can be related to mean grain sizes of unconsolidated for intrinsic atten- uation in saturated, unconsolidated marine sediments. Biot-Stoll Biot, 1956a, 1956b; Stoll

National Oceanography Centre Southampton

452

Mean-Variance Optimal Linear Precoders for Random MISO Broadcast Channels  

E-Print Network [OSTI]

Mean-Variance Optimal Linear Precoders for Random MISO Broadcast Channels Alon Shalev Housfater the problem of designing linear pre- coders for Gaussian multiple input, single output (MISO) broad- cast (BC and constraint functions. I. INTRODUCTION Random MISO BC channels are powerful models for the practical scenario

Lim, Teng Joon

453

On the Determination of the Mean Cosmic Matter Density and the Amplitude of Density Fluctuations  

E-Print Network [OSTI]

The cosmological implications from a new estimate of the local X-ray galaxy cluster abundance are summarized. The results are then compared to independent observations. It is suggested that `low' values for the mean cosmic matter density and the amplitude of mass density fluctuations currently do not appear unreasonable observationally.

Thomas H. Reiprich

2002-07-02T23:59:59.000Z

454

Integrability of the sub-Riemannian mean curvature of surfaces in ...  

E-Print Network [OSTI]

Nov 2, 2011 ... 1. Introduction. The local summability of the sub-Riemannian mean curvature H of a hypersur- ... 1. 2. (xy ? x y)). A basis for the Lie algebra of left-invariant vector fields on H1 associated with ...... MR2021034 (2005d:43007).

D. Danielli; N. Garofalo; D. M. Nhieu

2011-11-16T23:59:59.000Z

455

Response of the Zonal Mean Atmospheric Circulation to El Nio versus Global Warming  

E-Print Network [OSTI]

Response of the Zonal Mean Atmospheric Circulation to El Niño versus Global Warming JIAN LU Pacific. The hydrological impacts of global warming also exhibit distinct patterns over the subtropics response to global warming: 1) The increase in static stability of the subtropical and midlatitude

Chen, Gang

456

Breastfeeding Resources These are by no means the only good sources  

E-Print Network [OSTI]

Breastfeeding Resources These are by no means the only good sources Books The Womanly Art, Schaumburg, IL. . A really wonderful resource and inexpensive. The Breastfeeding Mother's Guide to Making More Milk. Diana West and Lisa Marasco. 2009. McGraw Hill Excellent resource that goes through all

Sheridan, Jennifer

457

The Peace: The Meaning and Production of Law in the Post-Revolutionary United  

E-Print Network [OSTI]

565 The Peace: The Meaning and Production of Law in the Post-Revolutionary United States Laura F in particular places. The results moved the legal process into social relations, so that law both guided-Revolutionary social order. The peace is directly related to the idea of "Law As . . .," which explores the utility

Barrett, Jeffrey A.

458

A mean field game analysis of electric vehicles in the smart grid  

E-Print Network [OSTI]

1 A mean field game analysis of electric vehicles in the smart grid Romain Couillet1, Samir Medina electrical vehicles (EV) or electrical hybrid oil-electricity vehicles (PHEV) in the smart grid energy market to the smart grid and sell their energy surpluses, when needed. It is therefore an important economical

Paris-Sud XI, Université de

459

Electrical Vehicles in the Smart Grid: A Mean Field Game Analysis  

E-Print Network [OSTI]

1 Electrical Vehicles in the Smart Grid: A Mean Field Game Analysis Romain Couillet, Samir M that a way to improve reliability is to allow EV and PHEV to buy and sell energy to or from the smart grid) have been recognized as natural components of future electricity distribution networks, known as smart

Paris-Sud XI, Université de

460

BLOW UP OF SUBCRITICAL QUANTITIES AT THE FIRST SINGULAR TIME OF THE MEAN CURVATURE FLOW  

E-Print Network [OSTI]

BLOW UP OF SUBCRITICAL QUANTITIES AT THE FIRST SINGULAR TIME OF THE MEAN CURVATURE FLOW NAM Q. LE curvature flow, singularity time, blow up, subcritical quantities. 1 #12;2 NAM Q. LE develop singularities, we give a logarithmic improvement of the above results by showing that a family of subcritical

Le, Nam

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

The effect of non-uniform radiative damping on the zonal-mean dynamics of  

E-Print Network [OSTI]

to an imposed forcing or diabatic heating is examined in a zonal-mean model of the middle atmosphere. Attention radiative damping rates are more sensitive in terms of temperature to the remote in uence of the diabatic is the strongly relaxational nature of diabatic heating. It is this feature, for example, which leads to the zonal

Wirosoetisno, Djoko

462

Imagining Iran before Nationalism: Geocultural Meanings of Land in Azar's Atashkadeh  

E-Print Network [OSTI]

CHAPTER 5 Imagining Iran before Nationalism: Geocultural Meanings of Land in Azar's Atashkadeh MANA KIA Nationalist views ofIran are predicated on "a congruence 0fstate, society and culture years has detailed the various ways in which this process of imagining Iran as a national homeland

Salzman, Daniel

463

Two Billion Cars: What it Means for Climate and Energy Policy  

ScienceCinema (OSTI)

April 13, 2009: Daniel Sperling, director of the Institute of Transportation Studies at UC Davis, presents the next installment of Berkeley Lab's Environmental Energy Technologies Divisions Distinguished Lecture series. He discusses Two Billion Cars and What it Means for Climate and Energy Policy.

Daniel Sperling

2010-01-08T23:59:59.000Z

464

Mid-Holocene mean climate in the south eastern Pacific and its influence on South America  

E-Print Network [OSTI]

Mid-Holocene mean climate in the south eastern Pacific and its influence on South America Matthieu margin and four regions of South America. These regions were selected for the strength and stability and focus on the relationship between the eastern tropical Pacific and South America. This study is based

Sachs, Julian P.

465

Cooling energy demand evaluation by means of regression models obtained from dynamic simulations  

E-Print Network [OSTI]

Cooling energy demand evaluation by means of regression models obtained from dynamic simulations Ph, Université Lyon1, FRANCE ABSTRACT The forecast of the energy heating/cooling demand would be a good indicator between simple and complex methods of evaluating the cooling energy demand we have proposed to use energy

Paris-Sud XI, Université de

466

Copyright A. J. Millis 2013 Columbia University Dynamical Mean Field Theory  

E-Print Network [OSTI]

Copyright A. J. Millis 2013 Columbia University Dynamical Mean Field Theory Antoine Georges http://phys.columbia.edu/~millis/MillisTLH.pdf #12;Copyright A. J. Millis 2013 Columbia University on interactions I #12;Copyright A. J. Millis 2013 Columbia University Example Second order term Hubbard model 1 2

Millis, Andrew

467

Accepted for publication in Journal of the ACM Compositional Shape Analysis by means of  

E-Print Network [OSTI]

Accepted for publication in Journal of the ACM Compositional Shape Analysis by means of Bi-Abduction. The analysis rests on a generalized form of abduction (inference of explanatory hypotheses) which we call bi-abduction. Bi-abduction displays abduction as a kind of inverse to the frame problem: it jointly infers anti

O'Hearn, Peter

468

Search for $\\Sigma$ hypernuclei by means of the strangeness-exchange reactions (K$^{-}, \\pi^{-}$) and (K$^{-}, \\pi^{+}$)  

E-Print Network [OSTI]

Search for $\\Sigma$ hypernuclei by means of the strangeness-exchange reactions (K$^{-}, \\pi^{-}$) and (K$^{-}, \\pi^{+}$)

Brckner, W; Ketel, T J; Kilian, K; Niewisch, J; Pietrzyk, B; Povh, B; Ritter, H G; Uhrmacher, M; Birien, P; Chaumeaux, A; Durand, J M; Mayer, B; Bertini, R; Bing, O; Catz, H; Bouyssy, A

1979-01-01T23:59:59.000Z

469

Entropy of the Nordic electricity market: anomalous scaling, spikes, and mean-reversion  

E-Print Network [OSTI]

The electricity market is a very peculiar market due to the large variety of phenomena that can affect the spot price. However, this market still shows many typical features of other speculative (commodity) markets like, for instance, data clustering and mean reversion. We apply the diffusion entropy analysis (DEA) to the Nordic spot electricity market (Nord Pool). We study the waiting time statistics between consecutive spot price spikes and find it to show anomalous scaling characterized by a decaying power-law. The exponent observed in data follows a quite robust relationship with the one implied by the DEA analysis. We also in terms of the DEA revisit topics like clustering, mean-reversion and periodicities. We finally propose a GARCH inspired model but for the price itself. Models in the context of stochastic volatility processes appear under this scope to have a feasible description.

Perello, J; Montero, M; Palatella, L; Simonsen, I; Masoliver, Jaume; Montero, Miquel; Palatella, Luigi; Perello, Josep; Simonsen, Ingve

2006-01-01T23:59:59.000Z

470

Estimating long-term mean winds from short-term wind data  

SciTech Connect (OSTI)

The estimation of long-term mean winds from short-term data is especially important in the area of wind energy. It is desirable to obtain reliable estimates of the long-term wind speed from as short a period of on-site measurements as possible. This study examined seven different methods of estimating the long-term average wind speed and compared the performance of these techniques. Three linear, three weather pattern, and one eigenvector methods were compared for measurement periods ranging from 3 months to 36 months. Average errors, both relative and absolute, and the rms errors in the techniques were determined. The best technique for less than 12 months of measurement was the eigenvector method using weekly mean wind speeds. However, this method was only slightly better than the linear adjusted method. When 12 or more months of data were used, the difference in errors between techniques was found to be slight.

Barchet, W.R.; Davis, W.E.

1983-08-01T23:59:59.000Z

471

An ab initio approach to free-energy reconstruction using logarithmic mean force dynamics  

SciTech Connect (OSTI)

We present an ab initio approach for evaluating a free energy profile along a reaction coordinate by combining logarithmic mean force dynamics (LogMFD) and first-principles molecular dynamics. The mean force, which is the derivative of the free energy with respect to the reaction coordinate, is estimated using density functional theory (DFT) in the present approach, which is expected to provide an accurate free energy profile along the reaction coordinate. We apply this new method, first-principles LogMFD (FP-LogMFD), to a glycine dipeptide molecule and reconstruct one- and two-dimensional free energy profiles in the framework of DFT. The resultant free energy profile is compared with that obtained by the thermodynamic integration method and by the previous LogMFD calculation using an empirical force-field, showing that FP-LogMFD is a promising method to calculate free energy without empirical force-fields.

Nakamura, Makoto, E-mail: nakamura@cphys.s.kanazawa-u.ac.jp; Obata, Masao [Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa 920-1192 (Japan)] [Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa 920-1192 (Japan); Morishita, Tetsuya [Nanosystem Research Institute, National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba 305-8568 (Japan)] [Nanosystem Research Institute, National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba 305-8568 (Japan); Oda, Tatsuki, E-mail: oda@cphys.s.kanazawa-u.ac.jp [Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa 920-1192 (Japan) [Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa 920-1192 (Japan); Institute of Science and Engineering, Kanazawa University, Kanazawa 920-1192 (Japan)

2014-05-14T23:59:59.000Z

472

Nuclear matrix elements in neutrinoless double beta decay: beyond mean-field covariant density functional theory  

E-Print Network [OSTI]

We report a systematic study of nuclear matrix elements (NMEs) in neutrinoless double-beta decays with state-of-the-art beyond mean-field covariant density functional theory. The dynamic effects of particle-number and angular-momentum conservations as well as quadrupole shape fluctuations are taken into account with projections and generator coordinate method for both initial and final nuclei. The full relativistic transition operator is adopted to calculate the NMEs which are found to be consistent with the results of previous beyond non-relativistic mean-field calculation based on a Gogny force with the exception of $^{150}$Nd. Our study shows that the total NMEs can be well approximated by the pure axial-vector coupling term, the calculation of which is computationally much cheaper than that of full terms.

J. M. Yao; L. S. Song; K. Hagino; P. Ring; J. Meng

2014-10-23T23:59:59.000Z

473

Nuclear matrix elements in neutrinoless double beta decay: beyond mean-field covariant density functional theory  

E-Print Network [OSTI]

We report a systematic study of nuclear matrix elements (NMEs) in neutrinoless double-beta decays with state-of-the-art beyond mean-field covariant density functional theory. The dynamic effects of particle-number and angular-momentum conservations as well as quadrupole shape fluctuations are taken into account with projections and generator coordinate method for both initial and final nuclei. The full relativistic transition operator is adopted to calculate the NMEs which are found to be consistent with the results of previous beyond non-relativistic mean-field calculation based on a Gogny force with the exception of $^{150}$Nd. Our study shows that the total NMEs can be well approximated by the pure axial-vector coupling term, the calculation of which is computationally much cheaper than that of full terms.

Yao, J M; Hagino, K; Ring, P; Meng, J

2014-01-01T23:59:59.000Z

474

Sequential evacuation strategy for multiple rooms toward the same means of egress  

E-Print Network [OSTI]

This paper examines different evacuation strategies for systems where several rooms evacuate trough the same means of egress, using microscopic pedestrian simulation.As a case study, a medium-rise office building is considered. It was found that the standard strategy, whereby the simultaneous evacuation of all levels is performed, can be improved by a sequential evacuation, beginning with the lowest floor and continuing successively with each one of the upper floors after a certain delay. The importance of the present research is that it provides the basis for the design and implementation of new evacuation strategies and alarm systems that could significantly improve the evacuation of multiple rooms trough a common means of escape.

Parisi, Daniel R

2015-01-01T23:59:59.000Z

475

Electrical Vehicles in the Smart Grid: A Mean Field Game Analysis  

E-Print Network [OSTI]

In this article, we investigate the competitive interaction between electrical vehicles or hybrid oil-electricity vehicles in a Cournot market consisting of electricity transactions to or from an underlying electricity distribution network. We provide a mean field game formulation for this competition, and introduce the set of fundamental differential equations ruling the behavior of the vehicles at the system equilibrium, namely the mean field equilibrium. This framework allows for a consistent analysis of the evolution of the sale-and-purchase price of electricity as well as of the instantaneous total demand. Simulations precisely quantify those parameters and suggest that following the charge and discharge policy at the equilibrium allows for a significant reduction of the daily electricity peak demand.

Couillet, Romain; Tembine, Hamidou; Debbah, Merouane

2011-01-01T23:59:59.000Z

476

Mean field limit for Bosons with compact kernels interactions by Wigner measures transportation  

E-Print Network [OSTI]

We consider a class of many-body Hamiltonians composed of a free (kinetic) part and a multi-particle (potential) interaction with a compactness assumption on the latter part. We investigate the mean field limit of such quantum systems following the Wigner measures approach. We prove the propagation of these measures along the flow of a nonlinear (Hartree) field equation. This enhances and complements some previous results in the subject.

Boris Pawilowski; Quentin Liard

2014-02-18T23:59:59.000Z

477

Of Black Sheep and White Crows: Is Bilinguals Memory for Figurative Meaning Language-Specific  

E-Print Network [OSTI]

informed that some phrases might not make sense to them (e.g., ?blue smell/??????? ?????,? ?rich parachute/??????? ???????? or ?dirty cough/??????? ???????) and were advised to rate those phrases to the best of their knowledge. For example, despite... the fact that ?dirty cough? is not an actual phrase, it conveys an unpleasant meaning while ?rich parachute? might imply a pleasant connotation, and ?blue smell? may be more neutral. Participants were provided three examples and were encouraged to ask...

Pritchett, Lena K

2012-07-11T23:59:59.000Z

478

Beyond mean-field study of elastic and inelastic electron scattering off nuclei  

E-Print Network [OSTI]

Electron scattering provides a powerful tool to determine charge distributions and transition densities of nuclei. This tool will soon be available for short-lived neutron-rich nuclei. [Purpose] Beyond mean-field methods have been successfully applied to the study of excitation spectra of nuclei in the whole nuclear chart. These methods permit to determine energies and transition probabilities starting from an effective in-medium nucleon-nucleon interaction but without other phenomenological ingredients. Such a method has recently been extended to calculate the charge density of nuclei deformed at the mean-field level of approximation [J. M. Yao et al., Phys. Rev. C86, 014310 (2012)]. The aim of this work is to further extend the method to the determination of transition densities between low-lying excited states. [Method] The starting point of our method is a set of Hartree-Fock-Bogoliubov wave functions generated with a constraint on the axial quadrupole moment and using a Skyrme energy density functional. Correlations beyond the mean field are introduced by projecting mean-field wave functions on angular-momentum and particle number and by mixing the symmetry restored wave functions.[Results] We give in this paper detailed formulae derived for the calculation of densities and form factors. These formulae are rather easy to obtain when both initial and final states are $0^+$ states but are far from being trivial when one of the states has a finite $J$-value. Illustrative applications to $^{24}$Mg and to the even-mass $^{58-68}$Ni have permitted to analyse the main features of our method, in particular the effect of deformation on densities and form factors. An illustration calculation of both elastic and inelastic scattering form factors is presented....

J. M. Yao; M. Bender; P. -H. Heenen

2015-01-21T23:59:59.000Z

479

TURBULENT CONVECTION IN STELLAR INTERIORS. III. MEAN-FIELD ANALYSIS AND STRATIFICATION EFFECTS  

SciTech Connect (OSTI)

We present three-dimensional implicit large eddy simulations of the turbulent convection in the envelope of a 5 M{sub Sun} red giant star and in the oxygen-burning shell of a 23 M{sub Sun} supernova progenitor. The numerical models are analyzed in the framework of one-dimensional Reynolds-Averaged Navier-Stokes equations. The effects of pressure fluctuations are more important in the red giant model, owing to larger stratification of the convective zone. We show how this impacts different terms in the mean-field equations. We clarify the driving sources of kinetic energy, and show that the rate of turbulent dissipation is comparable to the convective luminosity. Although our flows have low Mach numbers and are nearly adiabatic, our analysis is general and can be applied to photospheric convection as well. The robustness of our analysis of turbulent convection is supported by the insensitivity of the mean-field balances to linear mesh resolution. We find robust results for the turbulent convection zone and the stable layers in the oxygen-burning shell model, and robust results everywhere in the red giant model, but the mean fields are not well converged in the narrow boundary regions (which contain steep gradients) in the oxygen-burning shell model. This last result illustrates the importance of unresolved physics at the convective boundary, which governs the mixing there.

Viallet, Maxime [Physics and Astronomy, University of Exeter, Stocker Road, Exeter, EX4 4QL (United Kingdom); Meakin, Casey; Mocak, Miroslav [Theoretical Division, Los Alamos National Laboratory, Los Alamos, NM 87545 (United States); Arnett, David [Steward Observatory, University of Arizona, Tucson, AZ 85721 (United States)

2013-05-20T23:59:59.000Z

480

Modeling of stagnation-line nonequilibrium flows by means of quantum based collisional models  

SciTech Connect (OSTI)

The stagnation-line flow over re-entry bodies is analyzed by means of a quantum based collisional model which accounts for dissociation and energy transfer in N{sub 2}-N interactions. The physical model is based on a kinetic database developed at NASA Ames Research Center. The reduction of the kinetic mechanism is achieved by lumping the rovibrational energy levels of the N{sub 2} molecule in energy bins. The energy bins are treated as separate species, thus allowing for non-Boltzmann distributions of their populations. The governing equations are discretized in space by means of the Finite Volume method. A fully implicit time-integration is used to obtain steady-state solutions. The results show that the population of the energy bins strongly deviate from a Boltzmann distribution close to the shock wave and across the boundary layer. The sensitivity analysis to the number of energy bins reveals that accurate estimation of flow quantities (such as chemical composition and wall heat flux) can be obtained by using only 10 energy bins. A comparison with the predictions obtained by means of conventional multi-temperature models indicates that the former can lead to an overestimation of the wall heat flux, due to an inaccurate modeling of recombination in the boundary layer.

Munaf, A., E-mail: munafo@vki.ac.be; Magin, T. E., E-mail: magin@vki.ac.be [Aeronautics and Aerospace Department, von Karman Institute for Fluid Dynamics, 1640 Rhode-Saint-Gense (Belgium)

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


481

Towards a nonequilibrium Green's function description of nuclear reactions: one-dimensional mean-field dynamics  

E-Print Network [OSTI]

Nonequilibrium Green's function methods allow for an intrinsically consistent description of the evolution of quantal many-body body systems, with inclusion of different types of correlations. In this paper, we focus on the practical developments needed to build a Green's function methodology for nuclear reactions. We start out by considering symmetric collisions of slabs in one dimension within the mean-field approximation. We concentrate on two issues of importance for actual reaction simulations. First, the preparation of the initial state within the same methodology as for the reaction dynamics is demonstrated by an adiabatic switching on of the mean-field interaction, which leads to the mean-field ground state. Second, the importance of the Green's function matrix-elements far away from the spatial diagonal is analyzed by a suitable suppression process that does not significantly affect the evolution of the elements close to the diagonal. The relative lack of importance of the far-away elements is tied t...

Rios, Arnau; Buchler, Mark; Danielewicz, Pawel

2010-01-01T23:59:59.000Z

482

Towards a nonequilibrium Green's function description of nuclear reactions: one-dimensional mean-field dynamics  

E-Print Network [OSTI]

Nonequilibrium Green's function methods allow for an intrinsically consistent description of the evolution of quantal many-body body systems, with inclusion of different types of correlations. In this paper, we focus on the practical developments needed to build a Green's function methodology for nuclear reactions. We start out by considering symmetric collisions of slabs in one dimension within the mean-field approximation. We concentrate on two issues of importance for actual reaction simulations. First, the preparation of the initial state within the same methodology as for the reaction dynamics is demonstrated by an adiabatic switching on of the mean-field interaction, which leads to the mean-field ground state. Second, the importance of the Green's function matrix-elements far away from the spatial diagonal is analyzed by a suitable suppression process that does not significantly affect the evolution of the elements close to the diagonal. The relative lack of importance of the far-away elements is tied to system expansion. We also examine the evolution of the Wigner function and verify quantitatively that erasing of the off-diagonal elements corresponds to averaging out of the momentum-space details in the Wigner function.

Arnau Rios; Brent Barker; Mark Buchler; Pawel Danielewicz

2010-09-01T23:59:59.000Z

483

Solar receiver protection means and method for loss of coolant flow  

DOE Patents [OSTI]

An apparatus and method are disclosed for preventing a solar receiver utilizing a flowing coolant liquid for removing heat energy therefrom from overheating after a loss of coolant flow. Solar energy is directed to the solar receiver by a plurality of reflectors which rotate so that they direct solar energy to the receiver as the earth rotates. The apparatus disclosed includes a first storage tank for containing a first predetermined volume of the coolant and a first predetermined volume of gas at a first predetermined pressure. The first storage tank includes an inlet and outlet through which the coolant can enter and exit. The apparatus also includes a second storage tank for containing a second predetermined volume of the coolant and a second predetermined volume of the gas at a second predetermined pressure, the second storage tank having an inlet through which the coolant can enter. The first and second storage tanks are in fluid communication with each other through the solar receiver. The first and second predetermined coolant volumes, the first and second gas volumes, and the first and second predetermined pressures are chosen so that a predetermined volume of the coolant liquid at a predetermined rate profile will flow from the first storage tank through the solar receiver and into the second storage tank. Thus, in the event of a power failure so that coolant flow ceases and the solar reflectors stop rotating, a flow rate maintained by the pressure differential between the first and second storage tanks will be sufficient to maintain the coolant in the receiver below a predetermined upper temperature until the solar reflectors become defocused with respect to the solar receiver due to the earth's rotation.

Glasgow, L.E.

1980-11-24T23:59:59.000Z

484

Solar receiver protection means and method for loss of coolant flow  

DOE Patents [OSTI]

An apparatus and method for preventing a solar receiver (12) utilizing a flowing coolant liquid for removing heat energy therefrom from overheating after a loss of coolant flow. Solar energy is directed to the solar receiver (12) by a plurality of reflectors (16) which rotate so that they direct solar energy to the receiver (12) as the earth rotates. The apparatus disclosed includes a first storage tank (30) for containing a first predetermined volume of the coolant and a first predetermined volume of gas at a first predetermined pressure. The first storage tank (30) includes an inlet and outlet through which the coolant can enter and exit. The apparatus also includes a second storage tank (34) for containing a second predetermined volume of the coolant and a second predetermined volume of the gas at a second predetermined pressure, the second storage tank (34) having an inlet through which the coolant can enter. The first and second storage tanks (30) and (34) are in fluid communication with each other through the solar receiver (12). The first and second predetermined coolant volumes, the first and second gas volumes, and the first and second predetermined pressures are chosen so that a predetermined volume of the coolant liquid at a predetermined rate profile will flow from the first storage tank (30) through the solar receiver (12) and into the second storage tank (34). Thus, in the event of a power failure so that coolant flow ceases and the solar reflectors (16) stop rotating, a flow rate maintained by the pressure differential between the first and second storage tanks (30) and (34) will be sufficient to maintain the coolant in the receiver (12) below a predetermined upper temperature until the solar reflectors (16) become defocused with respect to the solar receiver (12) due to the earth's rotation.

Glasgow, Lyle E. (Westlake Village, CA)

1983-01-01T23:59:59.000Z

485

Definition and means of maintaining the criticality detectors and alarms portion of the PFP safety envelope  

SciTech Connect (OSTI)

The Criticality Alarm System (CAS) provides continuous detection for high radiation (criticality) events and automatically initiates an evacuation signal to affected personnel. The Safety Envelope (SE) for PFP includes the necessary equipment and the required procedures to ensure the CAS is capable of performing its intended function. This document provides the definition and means of maintaining the SE for PFP related to the CAS. This document also identifies and provides a justification for those portions of the CAS excluded from the PFP Safety Envelope.

White, W.F.

1997-08-25T23:59:59.000Z

486

Free energy density for mean field perturbation of states of a one-dimensional spin chain  

E-Print Network [OSTI]

Motivated by recent developments on large deviations in states of the spin chain, we reconsider the work of Petz, Raggio and Verbeure in 1989 on the variational expression of free energy density in the presence of a mean field type perturbation. We extend their results from the product state case to the Gibbs state case in the setting of translation-invariant interactions of finite range. In the special case of a locally faithful quantum Markov state, we clarify the relation between two different kinds of free energy densities (or pressure functions).

Fumio Hiai; Milan Mosonyi; Hiromichi Ohno; Denes Petz

2008-01-26T23:59:59.000Z

487

Stability of Strutinsky Shell Correction Energy in Relativistic Mean Field Theory  

E-Print Network [OSTI]

The single-particle spectrum obtained from the relativistic mean field (RMF) theory is used to extract the shell correction energy with the Strutinsky method. Considering the delicate balance between the plateau condition in the Strutinsky smoothing procedure and the convergence for the total binding energy, the proper space sizes used in solving the RMF equations are investigated in detail by taking 208Pb as an example. With the proper space sizes, almost the same shell correction energies are obtained by solving the RMF equations either on basis space or in coordinate space.

Y. F. Niu; H. Z. Liang; J. Meng

2009-10-23T23:59:59.000Z

488

Mean-field dynamics of a Bose Josephson junction in an optical cavity  

E-Print Network [OSTI]

We study the mean-field dynamics of a Bose Josephson junction which is dispersively coupled to a single mode of a high-finesse optical cavity. An effective classical Hamiltonian for the Bose Josephson junction is derived and its dynamics is studied in the perspective of phase portrait. It is shown that the strong condensate-field coupling does alter the dynamics of the Bose Josephson junction drastically. The possibility of coherent manipulating and \\textsl{in situ} observation of the dynamics of the Bose Josephson junction is discussed.

J. M. Zhang; W. M. Liu; D. L. Zhou

2008-04-22T23:59:59.000Z

489

Characterization of Friction Stir Welded Tubes by Means of Tube Bulge Test  

SciTech Connect (OSTI)

Mechanical properties of friction stir welded joints are generally evaluated by means of conventional tensile test. This testing method might provide insufficient information because maximum strain obtained in tensile test before necking is small; moreover, the application of tensile test is limited when the joint path is not linear or even when the welds are executed on curved surfaces. Therefore, in some cases, it would be preferable to obtain the joints properties from other testing methods. Tube bulge test can be a valid solution for testing circumferential or longitudinal welds executed on tubular workpieces. The present work investigates the mechanical properties and the formability of friction stir welded tubes by means of tube bulge tests. The experimental campaign was performed on tubular specimens having a thickness of 3 mm and an external diameter of 40 mm, obtained starting from two semi-tubes longitudinally friction stir welded. The first step, regarding the fabrication of tubes, was performed combining a conventional forming process and friction stir welding. Sheets in Al-Mg-Si-Cu alloy AA6060 T6 were adopted for this purpose. Plates having a dimension of 225x60 mm were bent (with a bending axis parallel to the main dimension) in order to obtain semi-tubes. A particular care was devoted to the fabrication of forming devices (punch and die) in order to minimize the springback effects. Semi-tubes were then friction stir welded by means of a CNC machine tool. Some preliminary tests were carried out by varying the welding parameters, namely feed rate and rotational speed. A very simple tool having flat shoulder and cylindrical pin was used. The second step of the research was based on testing the welded tubes by means of tube bulge test. A specific equipment having axial actuators with a conical shape was adopted for this study. Some analyses were carried out on the tubes bulged up to a certain pressure level. In particular, the burst pressure and the wall thickness were measured for each tested tube.

D'Urso, G.; Longo, M.; Giardini, C. [University of Bergamo-Dept. of Design and Technologies-Italy-Viale Marconi 5, 24044 Dalmine (Italy)

2011-05-04T23:59:59.000Z

490

Antikaons in the extended relativistic mean-field models for neutron star  

SciTech Connect (OSTI)

We review the role of antikaons in recent versions of relativistic mean field models and focus on the interactions in which all parameters are obtained by fitting finite nuclear data and successfully applied to reproduce a variety of nuclear and neutron star (NS) properties. We show that the recently observed 1.97 solar mass NS can be explained in three ways: (i) A stiffer EoS with both antikaons (K{sup -}, K-bar {sup 0}), (ii) a relatively softer EoS with K{sup -} and (iii) a softer EoS with nucleon phase only.

Gupta, Neha; Arumugam, P. [Department of Physics, Indian Institute of Technology Roorkee, Roorkee - 247 667 (India)

2012-10-20T23:59:59.000Z

491

DIRHB -- a relativistic self-consistent mean-field framework for atomic nuclei  

E-Print Network [OSTI]

The DIRHB package consists of three Fortran computer codes for the calculation of the ground-state properties of even-even atomic nuclei using the framework of relativistic self-consistent mean-field models. Each code corresponds to a particular choice of spatial symmetry: the DIRHBS, DIRHBZ and DIRHBT codes are used to calculate nuclei with spherical symmetry, axially symmetric quadrupole deformation, and triaxial quadrupole shapes, respectively. Reflection symmetry is assumed in all three cases. The latest relativistic nuclear energy density functionals are implemented in the codes, thus enabling efficient and accurate calculations over the entire nuclide chart.

T. Niksic; N. Paar; D. Vretenar; P. Ring

2014-03-17T23:59:59.000Z

492

Prediction of Damage in Randomly Oriented Short-Fibre Composites by means of A Mechanistic Approach  

SciTech Connect (OSTI)

A micro-macro mechanistic approach to damage in short-fiber composites is developed in this paper. At the micro-scale, the damage mechanisms such as matrix cracking, fiber/matrix debonding are analyzed to define the associated damage variables. The stiffness reduction law dependent on these variables is then established using micromechanical models and average orientation distributions of fibers and microcracks. The macroscopic response is obtained by means of thermodynamics of continuous media, continuum damage mechanics and a finite element formulation.

Nguyen, Ba Nghiep; Khaleel, Mohammad A.

2004-05-01T23:59:59.000Z

493

Prediction of Damage in Randomly Oriented Short-Fibre Composites by means of A Mechanistic Approach  

SciTech Connect (OSTI)

A micro-macro mechanistic approach to damage in short-fiber composites is developed in this paper. At the micro-scale, the damage mechanisms such as matrix cracking, fiber/matrix debonding are analyzed to define the associated damage variables. The stiffness reduction law dependent on these variables is then established using micromechanical models and average orientation distributions of fibers and microcracks. The macroscopic response is obtained by means of thermodynamics of continuous media, continuum damage mechanics and a finite element formulation.

Nguyen, Ba NGHIEP; Khaleel, Mohammad A.

2004-03-01T23:59:59.000Z

494

Mean field theory and coherent structures for vortex dynamics on the plane  

E-Print Network [OSTI]

We present a new derivation of the Onsager-Joyce-Montgomery (OJM) equilibrium statistical theory for point vortices on the plane, using the Bogoliubov-Feynman inequality for the free energy, Gibbs entropy function and Landau's approximation. This formulation links the heuristic OJM theory to the modern variational mean field theories. Landau's approximation is the physical counterpart of a large deviation result, which states that the maximum entropy state does not only have maximal probability measure but overwhelmingly large measure relative to other macrostates.

Chjan C. Lim

1999-04-20T23:59:59.000Z

495

Zeroes of combinations of Bessel functions and mean charge of graphene nanodots  

E-Print Network [OSTI]

We establish some properties of the zeroes of sums and differences of contiguous Bessel functions of the first kind. As a byproduct, we also prove that the zeroes of the derivatives of Bessel functions of the first kind of different orders are interlaced the same way as the zeroes of Bessel functions themselves. As a physical motivation, we consider gated graphene nanodots subject to Berry-Mondragon boundary conditions. We determine the allowed energy levels and calculate the mean charge at zero temperature. We discuss in detail its dependence on the gate (chemical) potential.

C. G. Beneventano; I. V. Fialkovsky; E. M. Santangelo

2014-07-02T23:59:59.000Z

496

Increasing future gravitational-wave detectors' sensitivity by means of amplitude filter cavities and quantum entanglement  

SciTech Connect (OSTI)

The future laser interferometric gravitational-wave detectors' sensitivity can be improved using squeezed light. In particular, recently a scheme which uses the optical field with frequency-dependent squeeze factor, prepared by means of a relatively short ({approx}30 m) amplitude filter cavity, was proposed [Thomas Corbitt, Nergis Mavalvala, and Stan Whitcomb, Phys. Rev. D 70, 022002 (2004).]. Here we consider an improved version of this scheme, which allows one to further reduce the quantum noise by exploiting the quantum entanglement between the optical fields at the filter cavity two ports.

Khalili, F. Ya. [Physics Faculty, Moscow State University, Moscow 119992 (Russian Federation)

2008-03-15T23:59:59.000Z

497

Interplay Of Mean Field And Individual Nucleon Collisions Effects At Intermediate Energy Heavy Ion Reactions  

SciTech Connect (OSTI)

In our study of the reaction 20Ne+27Al at energy of 84 A MeV, the track detectors were used to select the target like fragments arising from processes in which the interacting system becomes disintegrated into a large number of constituent nucleons and one massive fragment. Heavy ion reaction studies at bombarding energies of several tens of MeV/nucleon have provided the evidence that most of reaction cross section, in this energy range, is associated with the production of primary projectile like and target like fragment in the first step of the nuclear reaction. The subsequent evolution of the studied reaction systems, has been usually described either using low energy models based on mean field effects (MFE), or high energy models where reaction proceeds by independent collisions (INC) of individual nucleons in the overlap region between target and projectile. The analysis of our results in terms of different MFE and INC models, prescribing consistent timings, has shown that the reaction mechanism may be defined of interplay of the mean field and individual nucleon collisions effects.

Subotic, K.; Jordanov, D.; Durasevic, M.; Dragosavac, D. [VINCA Institute of Nuclear Sciences, P.O. Box 522, 11001 Belgrade (Serbia and Montenegro); Grabez, B. [Institute of Physics, P.O. Box 57, 11080 Belgrade (Serbia and Montenegro)

2007-04-23T23:59:59.000Z

498

Reliability analysis of solar photovoltaic system using hourly mean solar radiation data  

SciTech Connect (OSTI)

This paper presents the hourly mean solar radiation and standard deviation as inputs to simulate the solar radiation over a year. Monte Carlo simulation (MCS) technique is applied and MATLAB program is developed for reliability analysis of small isolated power system using solar photovoltaic (SPV). This paper is distributed in two parts. Firstly various solar radiation prediction methods along with hourly mean solar radiation (HMSR) method are compared. The comparison is carried on the basis of predicted electrical power generation with actual power generated by SPV system. Estimation of solar photovoltaic power using HMSR method is close to the actual power generated by SPV system. The deviation in monsoon months is due to the cloud cover. In later part of the paper various reliability indices are obtained by HMSR method using MCS technique. Load model used is IEEE-RTS. Reliability indices, additional load hours (ALH) and additional power (AP) reduces exponentially with increase in load indicates that a SPV source will offset maximum fuel when all of its generated energy is utilized. Fuel saving calculation is also investigated. Case studies are presented for Sagardeep Island in West Bengal state of India. (author)

Moharil, Ravindra M. [Department of Electrical Engineering, Yeshwantrao Chavan College of Engineering, Nagpur, Maharashtra (India); Kulkarni, Prakash S. [Department of Electrical Engineering, Visvesvaraya National Institute of Technology, South Ambazari Road, Nagpur 440011, Maharashtra (India)

2010-04-15T23:59:59.000Z

499

Models for mean bonding length, melting point and lattice thermal expansion of nanoparticle materials  

SciTech Connect (OSTI)

Graphical abstract: Three models are derived to explain the nanoparticles size dependence of mean bonding length, melting temperature and lattice thermal expansion applied on Sn, Si and Au. The following figures are shown as an example for Sn nanoparticles indicates hilly applicable models for nanoparticles radius larger than 3 nm. Highlights: ? A model for a size dependent mean bonding length is derived. ? The size dependent melting point of nanoparticles is modified. ? The bulk model for lattice thermal expansion is successfully used on nanoparticles. -- Abstract: A model, based on the ratio number of surface atoms to that of its internal, is derived to calculate the size dependence of lattice volume of nanoscaled materials. The model is applied to Si, Sn and Au nanoparticles. For Si, that the lattice volume is increases from 20 ?{sup 3} for bulk to 57 ?{sup 3} for a 2 nm size nanocrystals. A model, for calculating melting point of nanoscaled materials, is modified by considering the effect of lattice volume. A good approach of calculating size-dependent melting point begins from the bulk state down to about 2 nm diameter nanoparticle. Both values of lattice volume and melting point obtained for nanosized materials are used to calculate lattice thermal expansion by using a formula applicable for tetrahedral semiconductors. Results for Si, change from 3.7 10{sup ?6} K{sup ?1} for a bulk crystal down to a minimum value of 0.1 10{sup ?6} K{sup ?1} for a 6 nm diameter nanoparticle.

Omar, M.S., E-mail: dr_m_s_omar@yahoo.com [Department of Physics, College of Science, University of Salahaddin-Erbil, Arbil, Kurdistan (Iraq)

2012-11-15T23:59:59.000Z

500

Hadron resonance gas and mean-field nuclear matter for baryon number fluctuations  

E-Print Network [OSTI]

We give an estimate for the skewness and the kurtosis of the baryon number distribution in two representative models; i.e., models of a hadron resonance gas and relativistic mean-field nuclear matter. We emphasize formal similarity between these two descriptions. The hadron resonance gas leads to a deviation from the Skellam distribution if quantum statistical correlation is taken into account at high baryon density, but this effect is not strong enough to explain fluctuation data seen in the beam-energy scan at RHIC/STAR. In the calculation of mean-field nuclear matter the density correlation with the vector \\omega-field rather than the effective mass with the scalar \\sigma-field renders the kurtosis suppressed at higher baryon density so as to account for the experimentally observed behavior of the kurtosis. We finally discuss the difference between the baryon number and the proton number fluctuations from correlation effects in isospin space. Our numerical results suggest that such effects are only minor even in the case of complete randomization of isospin.

Kenji Fukushima

2014-09-09T23:59:59.000Z