Powered by Deep Web Technologies
Note: This page contains sample records for the topic "aggressive shift logic" 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

Functional Logic Programming Sergio Antoy  

E-Print Network [OSTI]

statements. A declarative program is a set of logical statements describing properties of the application with respect to these properties. Thus, the programming effort shifts from encoding the steps for com- putingFunctional Logic Programming Sergio Antoy Portland State University Portland, OR 97207, U

Antoy, Sergio

2

Measuring spouse aggression  

E-Print Network [OSTI]

Relationship aggression has received increasing attention over the past decade. National violence surveys have indicated that nearly 1.6 million women in the United states are beaten by their male partners each year. Rates of aggression by women...

Snow, Alicia Carleen

1995-01-01T23:59:59.000Z

3

Automobile Driving and Aggressive Behavior  

E-Print Network [OSTI]

The accident prone automobile driver. American Journal ofAutomobile Driving And Aggressive Behavior Raymond W. Novacofor its content or use. Automobile Driving and Aggressive

Novaco, Raymond W.

1991-01-01T23:59:59.000Z

4

Aggressive Underwriting and Smart Program Delivery | Department...  

Energy Savers [EERE]

Aggressive Underwriting and Smart Program Delivery Aggressive Underwriting and Smart Program Delivery Presents information about loan underwriting funding approaches and...

5

Alienation and Dialectical Logic  

E-Print Network [OSTI]

ALIENATION AND DIALECTICAL LOGIC l Harry K. Wells This paper discusses the principles of dialectical logic as developed in the works of Hegel and Marx. The author demonstrates how cla.ssical logic (or formal logic) is primarily a logic... end; and the third is concerned with the negation of the negation of the laws of formal logic. The dialectical syllogism is applied to the problem of human history and the development of human society by tracing the development of alienation...

Wells, Harry K.

1972-04-01T23:59:59.000Z

6

Fuzzy Logic Introduction  

E-Print Network [OSTI]

1 Fuzzy Logic #12;2 Introduction · Application areas ­ Fuzzy Control · Subway trains · Cement kilns;12 Fuzzy Logic NOT #12;13 Fuzzy Logic AND #12;14 Fuzzy Logic OR #12;15 Fuzzy Controllers · Used to control Logic Operators · Fuzzy Logic: ­ NOT (A) = 1 - A ­ A AND B = min( A, B) ­ A OR B = max( A, B) #12

Hawick, Ken

7

Shift Summary  

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 MayAtmosphericNuclear Security Administrationcontroller systemsBi (2)Sharing Smart GridShift End Shift End A shift ends and the APS

8

Shift Summary  

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 MayAtmosphericNuclear Security Administrationcontroller systemsBi (2)Sharing Smart GridShift End Shift End A shift ends and the

9

DOE Continues Aggressive Energy Efficiency Enforcement Effort...  

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

Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed Penalties DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed...

10

Quantum Logic Gates using q-deformed Oscillators  

E-Print Network [OSTI]

We show that the quantum logic gates, {\\it viz.} the single qubit Hadamard and Phase Shift gates, can also be realised using q-deformed angular momentum states constructed via the Jordan-Schwinger mechanism with two q-deformed oscillators. {\\it Keywords :} quantum logic gates ; q-deformed oscillators ; quantum computation {\\it PACS:} 03.67.Lx ; 02.20.Uw

Debashis Gangopadhyay; Mahendra Nath Sinha Roy

2006-07-14T23:59:59.000Z

11

Stick shift  

E-Print Network [OSTI]

Stick Shift is a novel that has undergone several rounds of significant revision. Scott, the book's main character, is a sarcastic American who travels to England to move in with an ex-girlfriend. He experiences all of the ...

Parness, Aaron J. (Aaron Joseph), 1981-

2004-01-01T23:59:59.000Z

12

A restructurable logic simulator  

E-Print Network [OSTI]

, notably logic simulators. This paper reviews the event-driven simulation algorithm used by most software- based simulators and a handful of the existing special-purpose hardware-based logic simulation accelerators. A new hardware-based accelerator... architecture is then presented, that of the restructurab)e logic simulator. This accelerator is based on a, memory-like module. referred to as the restructurable logic simulation accelerator, that essentially "stores" a portion of the network to be simulated...

Ledford, Gordon Lee

1985-01-01T23:59:59.000Z

13

AGGRESSIVE BEHAVIOR Volume 32, pages 581589 (2006)  

E-Print Network [OSTI]

aggression towards women indicate that both alcohol consumption and porno- graphy1 exposure, particularly of the relationship between porno- graphy and sexual aggression typically have assessed three types of dependent

14

Harmonious Logic Harmonious Logic: Craig's Interpolation Theorem and its Descendants  

E-Print Network [OSTI]

1 Harmonious Logic Harmonious Logic: Craig's Interpolation Theorem and its Descendants Solomon to methodological considerations, since the Craig theorem and its generalizations were initially obtained by proof

Feferman, Solomon

15

Conditioning of aggressive water in Suriname:.  

E-Print Network [OSTI]

??In Suriname groundwater is mostly used for drinking water production. Depending on the ground layers from which groundwater is extracted, groundwater is characterized as aggressive (more)

Salmin, A.

2008-01-01T23:59:59.000Z

16

The relation between aggression and inflated self-concepts in aggressive children: a replication study  

E-Print Network [OSTI]

This study examined the relation between inflated self-concepts and levels of aggression in a sample of 167 aggressive second- and third-grade students. Variable-oriented data analyses of children's self- and others' reports of competence...

Meehan, Barbara Theresa

2000-01-01T23:59:59.000Z

17

Athletic Ability and Physical Attractiveness differences between aggressive-rejected and aggressive-nonrejected children  

E-Print Network [OSTI]

This study explored differences between aggressive-rejected and aggressive-nonrejected children on measures of Athletic Ability (AA) and Physical Attractiveness (PA). A main goal of the study was to explore possible differences within this sample...

Oxman, Danielle Louise

2001-01-01T23:59:59.000Z

18

Aggressive children's memory for attachment relevant information  

E-Print Network [OSTI]

This study examined a measure of children's memory for information from a story about a hypothetical mother and child, the Story Task, as a potential tool to delineate subtypes of aggressive children based on the pattern of information processing...

Collie, Claire Futamase

2004-09-30T23:59:59.000Z

19

Computability and Logic Selmer Bringsjord  

E-Print Network [OSTI]

as intermediate mathematical logic (IML). IML includes basic computability theory (Turing Machines and other/Readings o Computability & Logic (CL), Boolos and Jeffrey (3rd ed.) o Turing's World 3.0 (TW), Barwise

Bringsjord, Selmer

20

A Framework for Defining Logics  

E-Print Network [OSTI]

The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed ?-calculus with dependent types. Syntax is treated ...

Plotkin, Gordon; Honsell, Furio; Harper, Robert

1993-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Logic Programming, Abduction and Probability  

E-Print Network [OSTI]

Logic Programming, Abduction and Probability: a top-down anytime algorithm for estimating prior, Vancouver, B.C., Canada V6T 1Z2 poole@cs.ubc.ca March 17, 1993 Abstract Probabilistic Horn abduction logically. The relationship be- tween probabilistic Horn abduction and logic programming is at two levels

Poole, David

22

Seeking Explanations: Abduction in Logic,  

E-Print Network [OSTI]

Seeking Explanations: Abduction in Logic, Philosophy of Science and Artifical Intelligence Atocha Aliseda­LLera #12; Seeking Explanations: Abduction in Logic, Philosophy of Science and Artifical­mail: illc@wins.uva.nl #12; SEEKING EXPLANATIONS: ABDUCTION IN LOGIC, PHILOSOPHY OF SCIENCE AND ARTIFICIAL

ten Cate, Balder

23

Logical Foundations Semantic Web  

E-Print Network [OSTI]

Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK {horrocks|sattler}@cs.man.ac.uk #12;Introduction #12;History of the Semantic Web · Web of the Web was much more ambitious than the reality of the existing (syntactic) Web: · TBL (and others) have

Sattler, Ulrike

24

A Rough Logic Formalism for Fuzzy Controllers  

E-Print Network [OSTI]

A Rough Logic Formalism for Fuzzy Controllers: A Hard and Soft Computing View T.Y. Lin Department are the design goal. Several new applications are identified. KEYWORDS: control, fuzzy logic, modal logic, rough process, called rough logic government, is proposed. In this process, fuzzy logic is viewed

Lin, Tsau Young

25

Computability and Logic Selmer Bringsjord  

E-Print Network [OSTI]

logic (IML). IML includes basic computability theory (Turing Machines and other simple automata. computability (including Turing machines, Register machines, Church's Thesis); 9. uncomput

Bringsjord, Selmer

26

Hoare Logic for Quantum Programs  

E-Print Network [OSTI]

Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Hoare logic for both partial and total correctness of quantum programs. It is proved that this logic is (relatively) complete by exploiting the power of weakest preconditions and weakest liberal preconditions for quantum programs.

Mingsheng Ying

2009-06-25T23:59:59.000Z

27

Flexible programmable logic module  

DOE Patents [OSTI]

The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.

Robertson, Perry J. (Albuquerque, NM); Hutchinson, Robert L. (Albuquerque, NM); Pierson, Lyndon G. (Albuquerque, NM)

2001-01-01T23:59:59.000Z

28

Testosterone and 5HIAA in dogs with intraspecific aggression  

E-Print Network [OSTI]

such as testosterone, dehydroepiandrosterone sulfate (DHEAS), androstenedione (AE); social status; and aggression. Additionally, similar links have been made between serotonin (5-HT) levels, where subjects with low serotonin levels show higher levels of aggression...

Haug, Lore I

2012-06-07T23:59:59.000Z

29

Subtypes of aggressive children based on parent ratings  

E-Print Network [OSTI]

The existence of subtypes of aggressive children based on their parents' ratings of their aggressive behavior was examined in this study. The subjects' raw scores from the Child Behavior Checklist (Achenbach & Edelbrock, 1991) were used to perform a...

Rodman, Jennifer K

2013-02-22T23:59:59.000Z

30

Abductive Analysis of Modular Logic Programs  

E-Print Network [OSTI]

Abductive Analysis of Modular Logic Programs Roberto Giacobazzi LIX, Laboratoire d introduce a practical method for abductive analysis of modular logic programs. This is obtained of abductive reasoning in dataflow analysis of logic programs. 1 Introduction Dataflow analysis

Giacobazzi, Roberto

31

Shifting scintillator neutron detector  

DOE Patents [OSTI]

Provided are sensors and methods for detecting thermal neutrons. Provided is an apparatus having a scintillator for absorbing a neutron, the scintillator having a back side for discharging a scintillation light of a first wavelength in response to the absorbed neutron, an array of wavelength-shifting fibers proximate to the back side of the scintillator for shifting the scintillation light of the first wavelength to light of a second wavelength, the wavelength-shifting fibers being disposed in a two-dimensional pattern and defining a plurality of scattering plane pixels where the wavelength-shifting fibers overlap, a plurality of photomultiplier tubes, in coded optical communication with the wavelength-shifting fibers, for converting the light of the second wavelength to an electronic signal, and a processor for processing the electronic signal to identify one of the plurality of scattering plane pixels as indicative of a position within the scintillator where the neutron was absorbed.

Clonts, Lloyd G; Cooper, Ronald G; Crow, Jr., Morris Lowell; Hannah, Bruce W; Hodges, Jason P; Richards, John D; Riedel, Richard A

2014-03-04T23:59:59.000Z

32

Superconducting digital logic amplifier  

SciTech Connect (OSTI)

This paper describes a superconducting digital logic amplifier for interfacing between a Josephson junction logic circuit having output current and a higher voltage semiconductor circuit input. The amplifier comprising: an input terminal for connection to a ; an output terminal for connection to a semiconductor circuit input; an input, lower critical current, Josephson junction having first and second terminals; a first series string of at least three lower critical current Josephson junctions. The first series string being connected to the first terminal of the input Josephson junction such that the first series string is in series with the input Josephson junction to provide a series combination. The input terminal being connected to the first terminal of the input Josephson junction, and with the critical current of the lower critical current Josephson junctions of the input Josephson junction and the first series Josephson junctions being less than the output current of the low voltage Josephson junction circuit; a second series string of at least four higher critical current Josephson junctions. The second string being connected in parallel with the series combination to provide parallel strings having an upper common connection and a lower common connection. The lower common connection being connected to the second terminal of the input Josephson junction and the upper common connection being connected to the output terminal; and a pulsed DC current source connected the parallel strings at the upper common connection. The DC current source having a current at least equal to the critical current of the higher critical current Josephson junctions.

Przybysz, J.X.

1989-08-22T23:59:59.000Z

33

Josephson-junction logic device  

SciTech Connect (OSTI)

A Josephson-junction logic device having inductances and forming and AND circuit is described comprising: at least two superconductive loops, each having at least two Josephson-junction elements and a loop inductance connected between each of at least two Josephson-junction elements; at least two logic input signal lines, operatively connected to receive input currents, for supplying logic input signals; a bias line, operatively connected to at least two super conductive loops, for supplying a bias current to at least two superconductive loops, the bias current satisfying the condition vertical bar I/sub ml/ vertical bar > vertical bar I/sub mo/ vertical bar, where I/sub ml/ is a first threshold current, for switching the AND circuit, determined when at least two logic input signal lines receive different magnitude input currents and where I/sub mo/ is a second threshold current for switching the AND circuit, determined when at least two logic input signal lines receive the same magnitude input currents; and output terminals, operatively connected to one of at least two Josephson-junction elements, for outputting a logic output signal as a result of a logic operation performed on the logic input signals, whereby an operating margin of the AND circuit is expanded.

Suzuki, H.

1987-12-01T23:59:59.000Z

34

Logic in Computer Science Thierry Coquand  

E-Print Network [OSTI]

Logic in Computer Science Thierry Coquand Nov. 9, 2007 #12;Logic in Computer Science Mathematical in foundations Logic plays a special role in computer science: it has been called "the calculus of computer science" Logic plays a similar role in computer science to that played by calculus in the physical

Coquand, Thierry

35

The Logic of Interrogation Classical Version \\Lambda  

E-Print Network [OSTI]

the allegation that it leaves important aspects of meaning unaccounted for. He argued that standard logic

Amsterdam, University of

36

Performing aggressive code optimization with an ability to rollback changes made by the aggressive optimizations  

DOE Patents [OSTI]

Mechanisms for aggressively optimizing computer code are provided. With these mechanisms, a compiler determines an optimization to apply to a portion of source code and determines if the optimization as applied to the portion of source code will result in unsafe optimized code that introduces a new source of exceptions being generated by the optimized code. In response to a determination that the optimization is an unsafe optimization, the compiler generates an aggressively compiled code version, in which the unsafe optimization is applied, and a conservatively compiled code version in which the unsafe optimization is not applied. The compiler stores both versions and provides them for execution. Mechanisms are provided for switching between these versions during execution in the event of a failure of the aggressively compiled code version. Moreover, predictive mechanisms are provided for predicting whether such a failure is likely.

Gschwind, Michael K

2013-07-23T23:59:59.000Z

37

Computability and Logic Selmer Bringsjord  

E-Print Network [OSTI]

mathematical logic (IML). IML includes basic computability theory (Turing Machines and other simple automata Turing's World 3.0 (TW), Barwise & Etchemendy ffl Some papers of mine, to be announced and made available

Bringsjord, Selmer

38

Analysis of complex networks using aggressive abstraction.  

SciTech Connect (OSTI)

This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving - we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

Colbaugh, Richard; Glass, Kristin. [New Mexico Institute of Mining and Technology, Socorro, NM; Willard, Gerald [Department of Defense, Ft. Meade, MD

2008-10-01T23:59:59.000Z

39

Experimental Results Of Fuzzy Logic Control For Lateral Vehicle Guidance  

E-Print Network [OSTI]

M. , Advances in Fuzzy Logic Control for Lateral VehicleExperimental Results of Fuzzy Logic Control for Lateral1425 Experimental Results of Fuzzy Logic Control for Lateral

Hessburg, Thomas; Peng, Hei; Zhang, Wei-bin; Arai, Alan; Tomizuka, Masayoshi

1994-01-01T23:59:59.000Z

40

aggressive lipid lowering: Topics by E-print Network  

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

Beecher, Michael 246 Steroid hormones and aggression in female Galapagos marine iguanas Dustin R. Rubensteina,*, Martin Wikelskib Environmental Sciences and Ecology Websites...

Note: This page contains sample records for the topic "aggressive shift logic" 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

Fuzzy logic of Aristotelian forms  

SciTech Connect (OSTI)

Model-based approaches to pattern recognition and machine vision have been proposed to overcome the exorbitant training requirements of earlier computational paradigms. However, uncertainties in data were found to lead to a combinatorial explosion of the computational complexity. This issue is related here to the roles of a priori knowledge vs. adaptive learning. What is the a-priori knowledge representation that supports learning? I introduce Modeling Field Theory (MFT), a model-based neural network whose adaptive learning is based on a priori models. These models combine deterministic, fuzzy, and statistical aspects to account for a priori knowledge, its fuzzy nature, and data uncertainties. In the process of learning, a priori fuzzy concepts converge to crisp or probabilistic concepts. The MFT is a convergent dynamical system of only linear computational complexity. Fuzzy logic turns out to be essential for reducing the combinatorial complexity to linear one. I will discuss the relationship of the new computational paradigm to two theories due to Aristotle: theory of Forms and logic. While theory of Forms argued that the mind cannot be based on ready-made a priori concepts, Aristotelian logic operated with just such concepts. I discuss an interpretation of MFT suggesting that its fuzzy logic, combining a-priority and adaptivity, implements Aristotelian theory of Forms (theory of mind). Thus, 2300 years after Aristotle, a logic is developed suitable for his theory of mind.

Perlovsky, L.I. [Nichols Research Corp., Lexington, MA (United States)

1996-12-31T23:59:59.000Z

42

Ambiguous Red Shifts  

E-Print Network [OSTI]

A one-parameter conformal invariance of Maxwell's equations allows the wavelengths of electromagnetic waves to change as they propagate, and do so even in otherwise field-free space. This produces an ambiguity in interpretations of stellar red shifts. Experiments that will determine the value of the group parameter, and thereby remove the ambiguity, are proposed. They are based on an analysis of the anomalous frequency shifts uncovered in the Pioneer 10 and 11 spacecraft studies, and physical interpretation of an isomorphism discovered by E. L. Hill. If the group parameter is found to be non-zero, Hubble's relations will have to be reinterpreted and space-time metrics will have to be altered. The cosmological consequences of the transformations are even more extensive because, though they change frequencies, they do not alter the energy and momentum conservations laws of classical and quantum-electrodynamical fields established by Cunningham and by Bialynicki-Birula.

Carl E. Wulfman

2010-10-11T23:59:59.000Z

43

HYBRID LOGICS Carlos Areces and Balder ten Cate  

E-Print Network [OSTI]

14 HYBRID LOGICS Carlos Areces and Balder ten Cate 1 What are Hybrid Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828 2.3 Very Expressive Hybrid Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 863 This chapter provides a modern overview of the field of hybrid logic. Hybrid logics are ex

Sattler, Ulrike

44

HYBRID LOGICS Carlos Areces and Balder ten Cate  

E-Print Network [OSTI]

14 HYBRID LOGICS Carlos Areces and Balder ten Cate 1 What are Hybrid Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.3 Very Expressive Hybrid Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 This chapter provides a modern overview of the field of hybrid logic. Hybrid logics are ex

ten Cate, Balder

45

Logical Data Expiration for Fixpoint Extensions of Temporal Logics  

E-Print Network [OSTI]

-order temporal logics in their relationship to expiration of database histories. We show that while the past about the past states of the database as well, often in the form of a history of the evolution over database histories, exhibits a severe de#12;ciency that relates to the ability to expire past data

Toman, David

46

Tarski's Conception of Logic1 Solomon Feferman  

E-Print Network [OSTI]

1 Tarski's Conception of Logic1 Solomon Feferman In its widest scope, Tarski thought the aims program in Logic and Methodology. In his letter to the dean urging its creation, Tarski was already able

Feferman, Solomon

47

Statistical semantic processing using Markov logic  

E-Print Network [OSTI]

Markov Logic (ML) is a novel approach to Natural Language Processing tasks [Richardson and Domingos, 2006; Riedel, 2008]. It is a Statistical Relational Learning language based on First Order Logic (FOL) and Markov ...

Meza-Ruiz, Ivan Vladimir

2009-01-01T23:59:59.000Z

48

Photonic integrated circuits for optical logic applications  

E-Print Network [OSTI]

The optical logic unit cell is the photonic analog to transistor-transistor logic in electronic devices. Active devices such as InP-based semiconductor optical amplifiers (SOA) emitting at 1550 nm are vertically integrated ...

Williams, Ryan Daniel

2007-01-01T23:59:59.000Z

49

TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS  

E-Print Network [OSTI]

TERMINATION OF SIMPLY MODED WELL­TYPED LOGIC PROGRAMS UNDER TABLED EXECUTION MECHANISM Sofie mechanism for logic programs. In particular, tabled execution of logic programs terminates more often than execution based on SLD­resolution. So, if a program can be proven to terminate under SLD­resolution (by one

Giesl, Juergen

50

Algebraic valuations as behavioral logical matrices  

E-Print Network [OSTI]

Algebraic valuations as behavioral logical matrices Carlos Caleiro1 and Ricardo Goncalves1,2 1 the applicability of the methods of algebraic logic to a wider range of logical systems, namely encompassing many and set the ground towards adopting an algebraic formulation of valuation semantics as the natural

Lisboa, Universidade Tcnica de

51

Hybrid Ockhamist Temporal Logic Patrick Blackburn  

E-Print Network [OSTI]

Hybrid Ockhamist Temporal Logic Patrick Blackburn INRIA, Lorraine Campus Scientifique, BP 239 Nancy Johannesburg, South Africa vfg@na.rau.ac.za Abstract We introduce hybrid Ockhamist temporal logic, which combines the mechanisms of hybrid logic with Ockhamist semantics by employing nominals, satisfaction

Goranko, Valentin

52

The Paradoxical Success of Fuzzy Logic  

E-Print Network [OSTI]

of litera- ture on the use of fuzzy logic in heuristic control and in expert systems, and on prac- ticalI The Paradoxical Success of Fuzzy Logic CharlesElkan, Universityof California,San Diego Fuzzy of fuzzy logic remain under attack. Taken together, these two facts constitute a paradox. A second para

Baltes, Jacky

53

Automated Information Management via Abductive Logic Agents  

E-Print Network [OSTI]

Automated Information Management via Abductive Logic Agents F.Toni 1 Imperial College of Science representation of networks and meta-data via abductive logic programs and make use of the reasoning engine abductive logic pro- grams are equipped with for checking as well as enforcing the properties represented

Toni, Francesca

54

Logic Programming, Abduction and Probability David Poole  

E-Print Network [OSTI]

Logic Programming, Abduction and Probability David Poole Department of Computer Science, University 5485 Abstract Probabilistic Horn abduction is a simple frame­ work to combine probabilistic and logical abduction and logic pro­ gramming is at two levels. At the first level probabilistic Horn abduction

Poole, David

55

Generic physical protection logic trees  

SciTech Connect (OSTI)

Generic physical protection logic trees, designed for application to nuclear facilities and materials, are presented together with a method of qualitative evaluation of the trees for design and analysis of physical protection systems. One or more defense zones are defined where adversaries interact with the physical protection system. Logic trees that are needed to describe the possible scenarios within a defense zone are selected. Elements of a postulated or existing physical protection system are tagged to the primary events of the logic tree. The likelihood of adversary success in overcoming these elements is evaluated on a binary, yes/no basis. The effect of these evaluations is propagated through the logic of each tree to determine whether the adversary is likely to accomplish the end event of the tree. The physical protection system must be highly likely to overcome the adversary before he accomplishes his objective. The evaluation must be conducted for all significant states of the site. Deficiencies uncovered become inputs to redesign and further analysis, closing the loop on the design/analysis cycle.

Paulus, W.K.

1981-10-01T23:59:59.000Z

56

Nest distribution varies with dispersal method and familiarity-mediated aggression for two sympatric ants  

E-Print Network [OSTI]

Nest distribution varies with dispersal method and familiarity-mediated aggression for two foraging effort, nest spatial distribution and aggression of two sympatric ant species that differ similar foraging strategies, they differ in nest distribution and aggressive behaviour. The spatial

Alvarez, Nadir

57

Key-shift transmission  

SciTech Connect (OSTI)

A key-shift transmission is described, characterized by the speed-change shaft being divided into a pair of trough-shaped shaft halves each having an arched inner surface which defines a part of a cylindrical bore extending axially through the speed-change shaft thereby the shaft being formed into a hollow shaft, and by each of the shaft halves including a pair of flattened end surfaces which extend axially of each shaft half at both sides of the inner surface, one of the end surfaces having thereon an axially elongated projection and the other of the end surfaces having herein an axially elongated recess of a depth smaller than the height of the projection. The pair of shaft halves are engaged to each other co-rotatably by fitting the projections of the respective shaft halves into the recesses of the respective shaft halves so as to form in an outer surface of the speed-change shaft a pair of elongated axial grooves which are located radially outwardly of the elongated projections of the respective shaft halves and between the flattened end surfaces of the respective shaft halves. A pair of the shift keys are disposed within the pair of elongated axial grooves.

Nemoto, S.

1989-03-07T23:59:59.000Z

58

An Isotropic Chemical Shift-Chemical Shift Anisotropic Correlation...  

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

dimension. This back and forth rotation is repeated and synchronized with a special radio frequency (RF) pulse sequence to produce an isotropic-anisotropic shift 2D...

59

Logical foundation of theoretical physics  

E-Print Network [OSTI]

This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4. Probability. 4.1 B-functions. 4.2 Independent tests. 4.3 Function of probability. 4.4 Conditional probability. 4.5 Classical probability 4.6 B-functions and classical propositional logic. 4.7 Consistency of the probability function. 4.7.1 Nonstandard numbers. 4.7.2 Model. 5. Quantum theory. 5.1 Events and the moving equations. 5.2 Rotations of the x5Ox4 system and B-bosonn. 5.3 Masses. 5.4 The one-mass states, particles and antiparticles. 5.5 The two-masses states. 5.5.1 Neutrinno. 5.5.2 Electroweak transformations. 5.6 Rotations of the Cartesian coordinates system and quarrks. 5.7 Gustatory pentads. 5.8 Two events. 5.9 The dimension of physical space. 5.10 The events-probability interpretation of Quantum Theory. 6. Conclusion.

G. A. Quznetsov

2005-08-07T23:59:59.000Z

60

An Adaption Method For Fuzzy Logic Controllers In Lateral Vehicle Guidance  

E-Print Network [OSTI]

Experimental Results of Fuzzy Logic Control for LateralLogic Applications, Fuzzy Logic Control, Lateral Control iiloop system, under fuzzy logic control, follow a reference

Hessburg, Thomas; Tomizuka, Masayoshi

1995-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Electronic logic for enhanced switch reliability  

DOE Patents [OSTI]

A logic circuit is used to enhance redundant switch reliability. Two or more switches are monitored for logical high or low output. The output for the logic circuit produces a redundant and fail-safe representation of the switch outputs. When both switch outputs are high, the output is high. Similarly, when both switch outputs are low, the logic circuit's output is low. When the output states of the two switches do not agree, the circuit resolves the conflict by memorizing the last output state which both switches were simultaneously in and produces the logical complement of this output state. Thus, the logic circuit of the present invention allows the redundant switches to be treated as if they were in parallel when the switches are open and as if they were in series when the switches are closed. A failsafe system having maximum reliability is thereby produced.

Cooper, J.A.

1984-01-20T23:59:59.000Z

62

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

words: fuzzy logic, intelligent control, sensitivity 1 What Is Logic? What Is Fuzzy Logic? A Brief logic techniques (such as fuzzy control) often change if we use different t­norms and t­conorms (see, eWhich Fuzzy Logic Is the Best: Pragmatic Approach (and Its Theoretical Analysis) ? Vladik

Kreinovich, Vladik

63

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

words: fuzzy logic, intelligent control, sensitivity 1 What Is Logic? What Is Fuzzy Logic? A Brief since it is known that the results of applying fuzzy logic techniques (such a fuzzy control) oftenWhich Fuzzy Logic Is the Best: Pragmatic Approach (and Its Theoretical Analysis) ? Vladik

Ward, Karen

64

A Programming Logic for Java Bytecode Programs  

E-Print Network [OSTI]

Quigley,C.L. To appear in Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer Verlag

Quigley, C.L.

65

Some Logic Problems Here are some logic design problems for you to think about. Have fun!  

E-Print Network [OSTI]

1 Some Logic Problems Here are some logic design problems for you to think about. Have fun! Problem 1 You are asked to design the logic to control a solar heating system. The solar system consists of a collector, a rock energy storage bin, a heated space, an auxiliary heater, and various fans and valves

Kozick, Richard J.

66

Refining the Shifted Topological Vertex  

E-Print Network [OSTI]

We study aspects of the refining and shifting properties of the 3d MacMahon function $\\mathcal{C}_{3}(q) $ used in topological string theory and BKP hierarchy. We derive the explicit expressions of the shifted topological vertex $\\mathcal{S}_{\\lambda \\mu \

Lalla Btissam Drissi; Houda Jehjouh; El Hassan Saidi

2008-12-02T23:59:59.000Z

67

jFuzzyLogic: a Java Library to Design Fuzzy Logic Controllers According to the Standard for Fuzzy Control Programming  

E-Print Network [OSTI]

jFuzzyLogic: a Java Library to Design Fuzzy Logic Controllers According to the Standard for Fuzzy@decsai.ugr.es Abstract Fuzzy Logic Controllers are a specific model of Fuzzy Rule Based Systems suitable for engineering study is given to illustrate the use of jFuzzyLogic. Keywords: Fuzzy Logic Control, Fuzzy Control

Granada, Universidad de

68

Micro-mechanical logic for field produceable gate arrays  

E-Print Network [OSTI]

A paradigm of micro-mechanical gates for field produceable logic is explored. A desktop manufacturing system is sought after which is capable of printing functional logic devices in the field. A logic scheme which induces ...

Prakash, Manu

2005-01-01T23:59:59.000Z

69

Logic with Probabilistic Operators Natasha Alechina  

E-Print Network [OSTI]

.f.f. The first logic which we consider is called PPL: Parametrized Probabilistic Logic. In a PPL­model every on a possible world. We shall see that in PPL P 1 is a KD­modality. Definition 1 A model for PPL is M =! W;D; I

Amsterdam, University of

70

ALGEBRAIZATIONS OF QUANTIFIER LOGICS, AN INTRODUCTORY OVERVIEW  

E-Print Network [OSTI]

' an N' emeti Abstract. This work is an introduction: in particular, to algebras of relations of various??ole. This work has a survey character, too. The most frequently used algebras like cylindric--, relation for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics

71

Fuzzy Mathematics Fuzzy -Sets, -Relations, -Logic, -Graphs,  

E-Print Network [OSTI]

Fuzzy Mathematics Fuzzy -Sets, -Relations, -Logic, -Graphs, -Mappings and The Extension Principle . . . . . . . . . . . . . . . . . . 8 2 The Extension Principle 10 3 Fuzzy Graphs 16 4 Fuzzy Logic 19 Back View #12;Section 1: Fuzzy Olaf Wolkenhauer Control Systems Centre UMIST o.wolkenhauer@umist.ac.uk www

Rostock, Universität

72

Abduction, Argumentation and Bidisjunctive Logic Programs *  

E-Print Network [OSTI]

Abduction, Argumentation and Bi­disjunctive Logic Programs * Kewen Wang Department of Computer of DLP is called bi­disjunctive logic programming (BDLP) and the corresponding abductive semantics thus provides a unifying characterization for these two different semantics through abduction); also

Dix, Juergen

73

Abduction in Logic Programming Marc Denecker1  

E-Print Network [OSTI]

Abduction in Logic Programming Marc Denecker1 and Antonis Kakas2 1 Department of Computer Science@ucy.ac.cy http://www.cs.ucy.ac.cy/~antonis Abstract. Abduction in Logic Programming started in the late 80s Introduction Over the last two decades, abduction has been embraced in AI as a non-monotonic reasoning paradigm

Moraitis, Pavlos

74

Abductive Analysis of Modular Logic Programs  

E-Print Network [OSTI]

Abductive Analysis of Modular Logic Programs Roberto Giacobazzi LIX, Laboratoire d introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing and in compile­time optimization. To the best of our knowledge this is the first application of abductive

Giacobazzi, Roberto

75

Bibliography on Logical Frameworks Frank Pfenning  

E-Print Network [OSTI]

is a formal meta-language for deductive systems. The pri* *mary tasks sup- ported in logical frameworks, New Jersey, Jul* *y 1996. IEEE Computer Society Press. [7]Penny Anderson. Program Derivation as Technical Report CMU-CS-93-206. [8]Penny Anderson. Program extraction in a logical framework setting

Pfenning, Frank

76

Effects of adaptation to shock on shock-elicited aggression  

E-Print Network [OSTI]

EFFECTS OF ADAPTATION TO SHOCK ON SHOCK-ELICITED AGGRESSION A THESIS THONAS ANDREW BUCHANAN Submitted to the Graduate College of Texas ASM University in partial fulfillment of the requirement for the degree of MASTER OF SCIENCE August 1971... Major Subject: Psychology 0 R 0 R EFFECTS OF ADAPTATION TO SHOCK ON SHOCK-ELICITED AGGRESSION fbi a z H o 0 g CC W z C 5 a N A Thesis by THO. 'LAS ANDREN BUCHANAN Approved as to style and content by: airman oz Comm ~ t ) ( Hea f D...

Buchanan, Thomas Andrew

1971-01-01T23:59:59.000Z

77

Rapidly reconfigurable all-optical universal logic gate  

DOE Patents [OSTI]

A new reconfigurable cascadable all-optical on-chip device is presented. The gate operates by combining the Vernier effect with a novel effect, the gain-index lever, to help shift the dominant lasing mode from a mode where the laser light is output at one facet to a mode where it is output at the other facet. Since the laser remains above threshold, the speed of the gate for logic operations as well as for reprogramming the function of the gate is primarily limited to the small signal optical modulation speed of the laser, which can be on the order of up to about tens of GHz. The gate can be rapidly and repeatedly reprogrammed to perform any of the basic digital logic operations by using an appropriate analog optical or electrical signal at the gate selection port. Other all-optical functionality includes wavelength conversion, signal duplication, threshold switching, analog to digital conversion, digital to analog conversion, signal routing, and environment sensing. Since each gate can perform different operations, the functionality of such a cascaded circuit grows exponentially.

Goddard, Lynford L. (Hayward, CA); Bond, Tiziana C. (Livermore, CA); Kallman, Jeffrey S. (Pleasanton, CA)

2010-09-07T23:59:59.000Z

78

Refining the shifted topological vertex  

SciTech Connect (OSTI)

We study aspects of the refining and shifting properties of the 3d MacMahon function C{sub 3}(q) used in topological string theory and BKP hierarchy. We derive the explicit expressions of the shifted topological vertex S{sub {lambda}}{sub {mu}}{sub {nu}}(q) and its refined version T{sub {lambda}}{sub {mu}}{sub {nu}}(q,t). These vertices complete results in literature.

Drissi, L. B.; Jehjouh, H.; Saidi, E. H. [Faculte des Sciences, Laboratory/UFR-Physique des Hautes Energies, Rabat, 1014 (Morocco); Groupement National de Physique des Hautes Energies (GNPHE), Siege focal:FS, Rabat, 1014 (Morocco)

2009-01-15T23:59:59.000Z

79

Aggressive Test Power Reduction Through Test Stimuli Transformation  

E-Print Network [OSTI]

. Based on this analysis, we develop algorithms for transforming a set of test vectors into power- optimal that are capable of identifying the transformation that is optimal in terms of power and implementing it at minimalAggressive Test Power Reduction Through Test Stimuli Transformation £ Ozgur Sinanoglu and Alex

Orailoglu, Alex

80

Spectral shift reactor control method  

SciTech Connect (OSTI)

This patent describes the method of operating a pressurized-water fissile-material-fueled spectral-shift nuclear reactor in such manner that short-term reactivity requirement variations can be satisfied without making control rod or chemical shim changes. The reactor includes a pressure vessel enclosing a reactor core and having an inlet and an outlet for circulating a water coolant moderator in heat transfer relationship with the core. The core comprises fuel assemblies disposed therein for generating heat by nuclear fission. The reactor provided with neutron-absorbing control rods which are vertically movable into and out of the core so that movement of the control rods into the core will substantially decrease reactivity and withdrawal of the control rods from the core will substantially increase reactivity. The control rods when inserted into the core displace an equivalent volume of the water coolant moderator. The reactor also provides neutron-spectral-shift rods which have a lower absorptivity for neutrons than the control rods, the neutron-spectral shift rods when inserted into the core displacing an equaivalent volume of the water coolant moderator. The neutron-spectral-shift rods comprises two different types of rods, a first of the different types of the neutron-spectral-shift rods comprising displacer rods which have a low absorptivity for neutrons, the remainder of the neutron-spectral-shift rods comprising gray rods which have an absorption for neutrons which is intermediate the neutron absorption of the control rods and the low neutron absorption of the displacer rods. Each neutron-spectral-shift displacer rod comprises a hollow thin-walled Zircaloy member containing a filling of solid or annular zirconium- or aluminum-containing material for providing internal support and mass for the thin-walled tubular member.

Impink, A.J. Jr.

1987-12-29T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

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

82

Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems1  

E-Print Network [OSTI]

HyLo 2006 Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems1 Andr´e Platzer2 Carnegie platzer@informatik.uni-oldenburg.de Abstract We introduce a hybrid variant of a dynamic logic for this extended hybrid dynamic logic. With the addition of satisfaction operators, this hybrid logic provides

Platzer, André

83

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

, intelligent control, sensitivity 1 What Is Logic? What Is Fuzzy Logic? A Brief Reminder In order to elaborateWhich Fuzzy Logic Is the Best: Pragmatic Approach (and Its Theoretical Analysis) Vladik Kreinovich that when we are looking for the best fuzzy logic, we should specify in what sense the best, and that we get

Ward, Karen

84

The Paradoxical Success of Fuzzy Logic \\Lambda Charles Elkan  

E-Print Network [OSTI]

Applications of fuzzy logic in heuristic control have been highly successful, but which aspects of fuzzy logic of fuzzy logic have not been detrimental in control applications because current fuzzy controllers are far is that almost all the hundreds or thousands of successful fuzzy logic applications are embedded controllers

Wang, Deli

85

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

, intelligent control, sensitivity 1 What Is Logic? What Is Fuzzy Logic? A Brief Reminder In order to elaborate that the results of applying fuzzy logic techniques (such as fuzzy control) often change if we use different tWhich Fuzzy Logic Is the Best: Pragmatic Approach (and Its Theoretical Analysis) Vladik Kreinovich

Kreinovich, Vladik

86

Gerla Giangiacomo Fuzzy logic. Mathematical tools for approximate reasoning. (English)  

E-Print Network [OSTI]

the author's approach to fuzzy control. Based upon a certain version of fuzzified logical programming, viz. Herbrand models for fuzzy logics, the author interprets lists of fuzzy control rules by fuzzy logicGerla Giangiacomo Fuzzy logic. Mathematical tools for approximate reasoning. (English) [B] Trends

Gerla, Giangiacomo

87

Bayesian Abductive Logic Programs Sindhu Raghavan and Raymond Mooney  

E-Print Network [OSTI]

Bayesian Abductive Logic Programs Sindhu Raghavan and Raymond Mooney Department of Computer Science,mooney}@cs.utexas.edu Abstract In this paper, we introduce Bayesian Abductive Logic Programs (BALPs), a new formalism that integrates Bayesian Logic Programs (BLPs) and Abductive Logic Programming (ALP) for abductive reasoning. Like

Anderson, Richard

88

Roadmap for preferential logics Dov M Gabbay  

E-Print Network [OSTI]

Roadmap for preferential logics Dov M Gabbay King's College, London Karl Schlechta Laboratoire d. Thus, as a good roadmap should, the article points out easy ways to go from A to B, but also puts up

Paris-Sud XI, Université de

89

Engineering RNA logic with synthetic splicing ribozymes  

E-Print Network [OSTI]

Reusable components, such as logic gates and code libraries, simplify the design and implementation of electronic circuits and computer programs. The engineering of biological systems would benefit also from reusable ...

Che, Austin, 1979-

2008-01-01T23:59:59.000Z

90

Mdp Optimal Control under Temporal Logic Constraints  

E-Print Network [OSTI]

In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP). The control specification is given as a Linear Temporal Logic (LTL) formula ...

Ding, Xu Chu

91

Genome Analyses of an Aggressive and Invasive Lineage of the Irish Potato Famine Pathogen  

E-Print Network [OSTI]

Genome Analyses of an Aggressive and Invasive Lineage of the Irish Potato Famine Pathogen David E since the 19th century Irish famine, potato late blight has exemplified this threat. The causal oomycete lineage are among the most aggressive on cultivated potatoes, outcompete other aggressive lineages

Grünwald, Niklaus J.

92

1997 International Conference on Logic Programming, MIT Press. Optimization of Logic Programs  

E-Print Network [OSTI]

it wakes up. Both classes #12; of transformations essentially preserve the search space and hence the oper transformation was already illustrated in [7]. However, optimization was performed by hand and the particular1997 International Conference on Logic Programming, MIT Press. Optimization of Logic Programs

Politécnica de Madrid, Universidad

93

ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation  

E-Print Network [OSTI]

ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation framework that allows us to solve problems declaratively based on abductive reasoning. It extends normal predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hy

Moraitis, Pavlos

94

Fuzzy Logic Control For Lane Change Maneuvers In Lateral Vehicle Guidance  

E-Print Network [OSTI]

Experimental Results of Fuzzy Logic Control for LateralHessburg, 1994, "Fuzzy Logic Control with Adaptive MethodsOF CALIFORNIA, BERKELEY Fuzzy Logic Control for Lane Change

Hessburg, Thomas; Tomizuka, Masayoshi

1995-01-01T23:59:59.000Z

95

Fuzzy Logic Traction Controllers And Their Effect On Longitudinal Vehicle Platoon Systems  

E-Print Network [OSTI]

the plant. Figure 27 depicts the fuzzy logic control system.Figure 27: Fuzzy Logic Control System Fuzzification: Duringcontrol makes a fuzzy-logic control approach appealing (

Bauer, M.; Tomizuka, M.

1995-01-01T23:59:59.000Z

96

Logical contradictions of Landau damping  

E-Print Network [OSTI]

Landau damping/growing at boundary condition of excitation of a harmonic wave in collisionless ion-electron-neutrals plasma contradicts to the law of energy conservation of a wave damping/growing in space. There is also no criterion of a choice either damping or growing solution in difference from always non-damping in the direction of propagation Vlasov waves. Variety of other incongruities as consequence of Landau damping is specified also. Absence of explicit positivity and finiteness of wave solutions for electron distribution function near singularity point leads to need of imposing additional cutting off constraints with resulting positivity and finiteness of the electron distribution function at the singularity points and finiteness of the complex dispersion integral. Landau damping as a real physical phenomenon of collisionless damping does not exist. A relation is established for the real dispersion equation with real waves (see Appendices 2,4) between the averaged over period wave damping decrement and the collisional energy-exchange term of kinetic equation. Collisionless Vlasov-Landau damping is explained finally by the usual wrong use of complex nonlinear wave functions leading to complex dispersion equation. All used solution of the complex dispersion equation for the simultaneously existing collisionless both exponentially damping and growing nonlinear complex waves is entirely, quantitatively and in its logical sense, different from the solution of initially real dispersion equation for real either damping or growing waves and should be discarded (see Appendices 2,4,5,6). Collisionless damping is caused by unreasonable use of wave functions with complex frequency or complex wave number leading to complex dispersion relation. All it transfers finding roots of the complex dispersion equation to the field of only abstract mathematical interest.

V. N. Soshnikov

2015-03-23T23:59:59.000Z

97

Hadronic shift in pionic hydrogen  

E-Print Network [OSTI]

The hadronic shift in pionic hydrogen has been redetermined to be $\\epsilon_{1s}=7.086\\,\\pm\\,0.007(stat)\\,\\pm\\,0.006(sys)$\\,eV by X-ray spectroscopy of ground state transitions applying various energy calibration schemes. The experiment was performed at the high-intensity low-energy pion beam of the Paul Scherrer Institut by using the cyclotron trap and an ultimate-resolution Bragg spectrometer with bent crystals.

M. Hennebach; D. F. Anagnostopoulos; A. Dax; H. Fuhrmann; D. Gotta; A. Gruber; A. Hirtl; P. Indelicato; Y. -W. Liu; B. Manil; V. E. Markushin; A. J. Rusi el Hassani; L. M. Simons; M. Trassinelli; J. Zmeskal

2014-12-17T23:59:59.000Z

98

Improved control strategy for parallel logic programming  

SciTech Connect (OSTI)

The objective of this dissertation is to formulate an improved control strategy for parallel logic programming and to verify that the complexity of the parallel logic programs with this control strategy would be much less than the complexity of the other logic programs. The proposed control strategy is a combination of committed choice nondeterminism, and the data-flow model. The commit operator would be used for committed choice nondeterminism, and the primitives based on the dataflow model would be used to control AND-parallelism and OR-parallelism. With this proposed control strategy, the maximum useful parallelism can be explained with optimal granularity by controlling useless parallelism and limiting the branching factor. For justification of the proposed control strategy, it is suggested that the complexity of the computations of alternating Turing machines, which include a generalization of nondeterminism, can be used for the abstract cost function of logic programs. As justification of the proposed idea, the author bases a comparison of parallel logic programs on a model utilizing alternating Turing machines. The author shows that a natural reduction of the alternating Turing machine for the proposed control strategy yields a deterministic Turing machine whose complexity is linearly- related to that of the alternating Turing machine. However such a reduction for the conventional committed choice nondeterminism has complexity that is quadratically related to that of the alternating Turing machine.

Chung, I.J.

1989-01-01T23:59:59.000Z

99

Fibred Coalgebraic Logic and Quantum Protocols  

E-Print Network [OSTI]

Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres. As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence. We show how properties of the semantics of modalities are preserved under composition operations, and then apply the calculational aspect of our logic to produce an expressive set of modalities for reasoning about quantum systems, building these modalities up from simpler components. We then demonstrate how these modalities can describe some standard quantum protocols. The novel features of our logic are shown to allow for a uniform description of unitary evolution, and support local reasoning such as "Alice's qubit satisfies condition" as is common when discussing quantum protocols.

Daniel Marsden

2014-12-30T23:59:59.000Z

100

Nonlinear interferometry approach to photonic sequential logic  

E-Print Network [OSTI]

Motivated by rapidly advancing capabilities for extensive nanoscale patterning of optical materials, I propose an approach to implementing photonic sequential logic that exploits circuit-scale phase coherence for efficient realizations of fundamental components such as a NAND-gate-with-fanout and a bistable latch. Kerr-nonlinear optical resonators are utilized in combination with interference effects to drive the binary logic. Quantum-optical input-output models are characterized numerically using design parameters that yield attojoule-scale energy separation between the latch states.

Hideo Mabuchi

2011-08-08T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

On the logical operators of quantum codes  

E-Print Network [OSTI]

I show how applying a symplectic Gram-Schmidt orthogonalization to the normalizer of a quantum code gives a different way of determining the code's logical operators. This approach may be more natural in the setting where we produce a quantum code from classical codes because the generator matrices of the classical codes form the normalizer of the resulting quantum code. This technique is particularly useful in determining the logical operators of an entanglement-assisted code produced from two classical binary codes or from one classical quaternary code. Finally, this approach gives additional formulas for computing the amount of entanglement that an entanglement-assisted code requires.

Mark M. Wilde

2009-03-30T23:59:59.000Z

102

The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri  

E-Print Network [OSTI]

The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS-06-162 December 4, 2006 Mellon University, or any other entity. Copyright c 2006 Kaustuv Chaudhuri #12;Abstract Linear logic

Chaudhuri, Kaustuv

103

A fuzzy logic controller for autonomous vehicle control  

E-Print Network [OSTI]

This thesis presents a feasibility study for the use of fuzzy logic control to solve the autonomous vehicle following problem. After developing the original vehicle following system, the applicability of fuzzy logic to the problem is demonstrated...

Vinson, Yale Patrick

1995-01-01T23:59:59.000Z

104

Improved Air Volume Control Logic for VAV Systems  

E-Print Network [OSTI]

position of the terminal boxes. This method is called air volume control logic. Under this control logic, terminal box airflow requirements are met with reduced static pressure. Fan power consumption is minimized. However, the actual system performance also...

Wei, G.; Claridge, D. E.; Sakuri, Y.; M. Liu

2000-01-01T23:59:59.000Z

105

abductive logic grammars: Topics by E-print Network  

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

8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 Abduction in Logic Programming CiteSeer Summary: Abduction in Logic Programming started in the...

106

Aggressive Underwriting and Smart Program Delivery | Department of Energy  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up fromDepartment ofEnergy Natural Gas: Transmission, Storage andRail,Aggressive

107

SDI Shifting Seasons Summit | Department of Energy  

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

SDI Shifting Seasons Summit SDI Shifting Seasons Summit October 15, 2014 12:00PM CDT to October 17, 2014 9:00PM CDT Keshena, WI http:sustainabledevelopmentinstitute.org201402...

108

SVN commits: code Ss-shifted architecture  

E-Print Network [OSTI]

SVN commits: code Ss-shifted architecture ­ hit_filter can run between merger and fitter Most merge Supports SS-1/2 shifted architecture Supports bank extensions *.patt.bz2 etc ­ Used on the grid

109

Light-shift modulated photon-echo  

E-Print Network [OSTI]

We show that the AC-Stark shift (light-shift) is a powerful and versatile tool to control the emission of a photon-echo in the context of optical storage. As a proof-of-principle, we demonstrate that the photon-echo efficiency can be fully modulated by applying light-shift control pulses in an erbium doped solid. The control of the echo emission is attributed to the spatial gradient induced by the light-shift beam.

Chanelire, Thierry

2015-01-01T23:59:59.000Z

110

Light-shift modulated photon-echo  

E-Print Network [OSTI]

We show that the AC-Stark shift (light-shift) is a powerful and versatile tool to control the emission of a photon-echo in the context of optical storage. As a proof-of-principle, we demonstrate that the photon-echo efficiency can be fully modulated by applying light-shift control pulses in an erbium doped solid. The control of the echo emission is attributed to the spatial gradient induced by the light-shift beam.

Thierry Chanelire; Gabriel Htet

2015-02-24T23:59:59.000Z

111

Narrowing-driven Specialization of Functional Logic Programs  

E-Print Network [OSTI]

§ Abstract Languages that integrate functional and logic programming with a complete operational semantics of functional languages and the resolution principle of logic languages. Formal methods of transformation of functional logic programs can be based on this well- established operational semantics. In this paper, we

Vidal, Germán

112

Termination Semantics of Logic Programs with Cut and Related Features  

E-Print Network [OSTI]

Termination Semantics of Logic Programs with Cut and Related Features Jamie Andrews Dept of termination for logic programs. I am particularly interested in the termination of logic programs which use practical features such as the Prolog ``cut''. In order to prove termination of such programs

Giesl, Juergen

113

Logic and Philosophy See also Philosophy page 146  

E-Print Network [OSTI]

128 Logic and Philosophy of Science See also Philosophy page 146 Degree options BSc (Joint Honours Degrees) Logic and Philosophy of Science and one of: Biology Computer Science Mathematics Physics: philosophy@st-andrews.ac.uk Features * A degree in Logic and Philosophy of Science from St Andrews is held

Brierley, Andrew

114

USING TREE AUTOMATA TO INVESTIGATE INTUITIONISTIC PROPOSITIONAL LOGIC  

E-Print Network [OSTI]

USING TREE AUTOMATA TO INVESTIGATE INTUITIONISTIC PROPOSITIONAL LOGIC A Dissertation Presented'Connor ALL RIGHTS RESERVED #12;USING TREE AUTOMATA TO INVESTIGATE INTUITIONISTIC PROPOSITIONAL LOGIC Michael Kelly O'Connor, Ph.D. Cornell University 2008 Intuitionistic logic is an important variant of classical

Shore, Richard A.

115

A Complete Axiomatization of Differential Game Logic for Hybrid Games  

E-Print Network [OSTI]

is an updated version superseding the earlier report CMU-CS-12-105 [Pla12b]. It is based on that earlier report logic (dL) [Pla08, Pla12a], which extends Pratt's dynamic logic of conventional discrete programs [Pra76 introduce differential game logic (dGL) [Pla12b] for studying the existence of winning strategies for hybrid

116

Coordination of Excitation and Governing Control Based on Fuzzy Logic  

E-Print Network [OSTI]

Coordination of Excitation and Governing Control Based on Fuzzy Logic Taiyou Yong, Robert H. In this paper, we present a fuzzy logic based method for the excitation control and governing control. Fuzzy, Transient stability, Fuzzy logic, Excitation and governing control. 1. Introduction Power system stability

117

Genetic Programming of Full Knowledge Bases for Fuzzy Logic Controllers  

E-Print Network [OSTI]

Genetic Programming of Full Knowledge Bases for Fuzzy Logic Controllers Daryl Battle Lucent in fuzzy logic control applications. An extension to a rule learning GP system is presented that achieves and fuzzy logic. These methods have proven to be effective in designing intelligent control systems

Fernandez, Thomas

118

The Promise of Fuzzy Logic in Generalised Music Composition  

E-Print Network [OSTI]

itself through a Fuzzy Logic control system. As artificial intelligence design and computing power bothThe Promise of Fuzzy Logic in Generalised Music Composition Wendy Suiter University of Wollongong, NSW, Australia. ws999@uow.edu.au Abstract. The paper outlines the rationale for using Fuzzy Logic

Paris-Sud XI, Université de

119

Fuzzy Logic Programming and Fuzzy Control Giangiacomo Gerla  

E-Print Network [OSTI]

1 Fuzzy Logic Programming and Fuzzy Control by Giangiacomo Gerla Department of Mathematics a unifying theoretical framework for fuzzy control. Keywords: Fuzzy logic programming, Herbrand interpretation, fuzzy control. 1. Introduction and preliminaries The basic ideas of fuzzy logic (in narrow sense

Gerla, Giangiacomo

120

The fuzzy logic of visuomotor control1 Arthur Prochazka  

E-Print Network [OSTI]

The fuzzy logic of visuomotor control1 Arthur Prochazka Abstract: Biological sensorimotor control animals use to control movement. It is argued that the concepts of fuzzy logic control provide a useful to the future study of interneuronal systems. Key words: fuzzy logic, behavioural set, reflex control

Prochazka, Arthur

Note: This page contains sample records for the topic "aggressive shift logic" 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

Abductive Logic Programming with CIFF Ulle Endriss1  

E-Print Network [OSTI]

Abductive Logic Programming with CIFF Ulle Endriss1 , Paolo Mancarella2 , Fariba Sadri1 , Giacomo Introduction Abduction has found broad application as a powerful tool for hypothetical reasoning knowledge base. Abductive Logic Programming (ALP) [4] combines abduction with logic programming enriched

Toni, Francesca

122

A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman  

E-Print Network [OSTI]

considered fundamental in fuzzy logic (but not in fuzzy control) do not hold. The paper is organised's Probabilistic Logic, but can also be interpreted as the degree of truth of that assertion, as in Fuzzy Logic. However, unlike fuzzy logic MPL respects all logical equivalences, and un- like probabilistic logic

Ryan, Mark

123

Accurate conjugate gradient methods for shifted systems  

E-Print Network [OSTI]

Accurate conjugate gradient methods for shifted systems by Jasper van den Eshof and Gerard L. G CONJUGATE GRADIENT METHODS FOR SHIFTED SYSTEMS JASPER VAN DEN ESHOF AND GERARD L. G. SLEIJPEN Abstract We present an efficient and accurate variant of the conjugate gradient method for solving families of shifted

Sleijpen, Gerard

124

Optimization of Logic Programs with Dynamic Scheduling  

E-Print Network [OSTI]

of program transformations designed to reduce this additional over­ head, while preserving the operational using high­level program transformation was already illustrated in [?]. However, optimizationOptimization of Logic Programs with Dynamic Scheduling Germ'an Puebla Facultad de Inform

Stuckey, Peter J.

125

Logic Synthesis for Integrated Optics Christopher Condrat  

E-Print Network [OSTI]

Logic Synthesis for Integrated Optics Christopher Condrat chris@g6net.com Priyank Kalla kalla, Salt Lake City, UT, USA ABSTRACT As silicon photonics technology matures, optical devices methods for synthesizing optical devices for large-scale designs. We present design and synthesis method

Kalla, Priyank

126

Logical Structure Extraction from Software Requirements Documents  

E-Print Network [OSTI]

Documents I. INTRODUCTION Requirements management (RM) tools store and manipu- late software requirementsLogical Structure Extraction from Software Requirements Documents Rehan Rauf, Michal Antkiewicz,mantkiew,kczarnec}@gsd.uwaterloo.ca Abstract--Software requirements documents (SRDs) are often authored in general-purpose rich-text editors

Czarnecki, Krzysztof

127

Logical Systems Incorporated The Help Systems  

E-Print Network [OSTI]

Logical Systems Incorporated The Help Systems T A B L E O F C O N T E N T S Introduction ..................................... page 2 HELP/CMD ..................................... page 3 HELPRESx ................................... page 17 #12;LDOS Help System Page 1 The LDOS HELP Systems Introduction This documentation covers all

Mann, Tim

128

Controlling Wild Bodies Using Linear Temporal Logic  

E-Print Network [OSTI]

Controlling Wild Bodies Using Linear Temporal Logic Leonardo Bobadilla Oscar Sanchez Justin or state feedback. We do this by exploiting the wild motions of very simple bodies in an environment propose to start with a "wildly behaving" body for which its precise equations of motion are unknown

LaValle, Steven M.

129

Computational Use of Informal Logic Dialogue Games  

E-Print Network [OSTI]

and agent communication, and the dialogue systems we have developed recently. Major barriers at the University of Dundee Introduction The field of informal logic (IL) can be seen as the attempt to develop tools that can analyse and evaluate the reasoning and arguments that occur in contexts such as political

Reed, Chris

130

Quantum logic gates for superconducting resonator qudits  

SciTech Connect (OSTI)

We study quantum information processing using superpositions of Fock states in superconducting resonators as quantum d-level systems (qudits). A universal set of single and coupled logic gates is theoretically proposed for resonators coupled by superconducting circuits of Josephson junctions. These gates use experimentally demonstrated interactions and provide an attractive route to quantum information processing using harmonic oscillator modes.

Strauch, Frederick W. [Williams College, Williamstown, Massachusetts 01267 (United States)

2011-11-15T23:59:59.000Z

131

Type-Logical Hyperedge Replacement Grammars  

E-Print Network [OSTI]

Type-Logical and Hyperedge Replacement Grammars Draft Richard Moot LaBRI (CNRS), INRIA Bordeaux SW2009 #12;CONTENTS 1 Introduction 1 2 Hyperedge Replacement Grammars 3 2.1 Hypergraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Hyperedge Replacement . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Hyperedge

Paris-Sud XI, Université de

132

E-Print Network 3.0 - aggressive pituitary tumors Sample Search...  

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

Medicine 8 WINTER 2011 Clinical Research Summary: and less aggressive gliomas, base of brain neoplasms including pituitary disorders, and neurological... the first head and neck...

133

E-Print Network 3.0 - antigay aggression theoretical Sample Search...  

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

Collection: Environmental Sciences and Ecology 57 Patterns of Aggression and Operational Sex Ratio Within Alternative Male Phenotypes in Atlantic Salmon Summary: Patterns of...

134

E-Print Network 3.0 - aggressive lipid-lowering trial Sample...  

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

Environmental Sciences and Ecology ; Biology and Medicine 12 Effects of Violent Video Games on Aggressive Behavior: Potential Sex Differences Summary: Effects of Violent Video...

135

E-Print Network 3.0 - aggressive waters Sample Search Results  

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

of Attachment. Hills- dale... : short-term effects of highly and mildly aggressive video games. Pers. Soc. Psychol. Bull. 12: 390 Source: Groningen, Rijksuniversiteit - Centre...

136

E-Print Network 3.0 - aggressive fibromatosis desmoid Sample...  

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

0146167205277205PERSONALITY AND SOCIAL PSYCHOLOGY BULLETINBartholow et al. VIOLENT VIDEO GAMES AND AGGRESSION Correlates and Consequences of Exposure Summary: GAMES AND...

137

E-Print Network 3.0 - aggression control mechanisms Sample Search...  

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

Topic List Advanced Search Sample search results for: aggression control mechanisms Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

138

E-Print Network 3.0 - aggressive behavior measurement Sample...  

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

Topic List Advanced Search Sample search results for: aggressive behavior measurement Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

139

E-Print Network 3.0 - aggressive imaging features Sample Search...  

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

Topic List Advanced Search Sample search results for: aggressive imaging features Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

140

E-Print Network 3.0 - aggressive gas separations Sample Search...  

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

Explorit Topic List Advanced Search Sample search results for: aggressive gas separations Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

Note: This page contains sample records for the topic "aggressive shift logic" 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

E-Print Network 3.0 - aggressive ms successfully Sample Search...  

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

Explorit Topic List Advanced Search Sample search results for: aggressive ms successfully Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

142

E-Print Network 3.0 - aggressive challenging behaviour Sample...  

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

Topic List Advanced Search Sample search results for: aggressive challenging behaviour Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

143

E-Print Network 3.0 - affect aggressive behavior Sample Search...  

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

Explorit Topic List Advanced Search Sample search results for: affect aggressive behavior Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

144

E-Print Network 3.0 - aggressive conduct disorder Sample Search...  

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

Topic List Advanced Search Sample search results for: aggressive conduct disorder Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

145

E-Print Network 3.0 - aggression theoretical considerations Sample...  

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

List Advanced Search Sample search results for: aggression theoretical considerations Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

146

E-Print Network 3.0 - aggressive mass removal Sample Search Results  

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

by Explorit Topic List Advanced Search Sample search results for: aggressive mass removal Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

147

E-Print Network 3.0 - aggression Sample Search Results  

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

Powered by Explorit Topic List Advanced Search Sample search results for: aggression Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

148

E-Print Network 3.0 - aggressive breast cancer Sample Search...  

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

breast cancer Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive breast cancer Page: << < 1 2 3 4 5 > >> 1 Radiogenic Breast Cancer by...

149

E-Print Network 3.0 - aggressive ovarian cancer Sample Search...  

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

ovarian cancer Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive ovarian cancer Page: << < 1 2 3 4 5 > >> 1 Biomarker for Ovarian Cancer...

150

E-Print Network 3.0 - aggressive gastric cancer Sample Search...  

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

gastric cancer Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive gastric cancer Page: << < 1 2 3 4 5 > >> 1 BENEFIT MAXIMIZATION IN...

151

E-Print Network 3.0 - aggressive pecking behaviour Sample Search...  

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

Collection: Biology and Medicine ; Environmental Sciences and Ecology 3 British Poultry Science (1998) 39: 333339 Aggressive pecking by males in breeding groups of Japanese...

152

Spectral shift reactor control method  

SciTech Connect (OSTI)

The method is described of closely controlling the reactor water coolant temperature of an operating spectral-shift nuclear reactor, the reactor comprising a core formed of fuel assemblies through which the reactor water coolant flows; different types of elongated elements operable to be controllably moved into and out of the core; one type of the elongated elements comprising control rods formed of neutron absorbing material and operable to decrease reactivity through neutron absorption when inserted into the core; another of the types of elongated elements comprising displacer rods formed of material which has a low absorption for neutrons and which have overall neutron-absorbing and moderating characteristics essentially not exceeding those of hollow tubular Zircaloy members with a filling zirconium oxide or aluminum oxide, the displacer rods operating to displace an equivalent volume of water coolant fluid from the core when inserted therein to decrease reactivity and to increase reactivity when moved from the core.

Impink, A.J. Jr.

1987-08-18T23:59:59.000Z

153

Constructing a logical, regular axis topology from an irregular topology  

DOE Patents [OSTI]

Constructing a logical regular topology from an irregular topology including, for each axial dimension and recursively, for each compute node in a subcommunicator until returning to a first node: adding to a logical line of the axial dimension a neighbor specified in a nearest neighbor list; calling the added compute node; determining, by the called node, whether any neighbor in the node's nearest neighbor list is available to add to the logical line; if a neighbor in the called compute node's nearest neighbor list is available to add to the logical line, adding, by the called compute node to the logical line, any neighbor in the called compute node's nearest neighbor list for the axial dimension not already added to the logical line; and, if no neighbor in the called compute node's nearest neighbor list is available to add to the logical line, returning to the calling compute node.

Faraj, Daniel A.

2014-07-01T23:59:59.000Z

154

Constructing a logical, regular axis topology from an irregular topology  

DOE Patents [OSTI]

Constructing a logical regular topology from an irregular topology including, for each axial dimension and recursively, for each compute node in a subcommunicator until returning to a first node: adding to a logical line of the axial dimension a neighbor specified in a nearest neighbor list; calling the added compute node; determining, by the called node, whether any neighbor in the node's nearest neighbor list is available to add to the logical line; if a neighbor in the called compute node's nearest neighbor list is available to add to the logical line, adding, by the called compute node to the logical line, any neighbor in the called compute node's nearest neighbor list for the axial dimension not already added to the logical line; and, if no neighbor in the called compute node's nearest neighbor list is available to add to the logical line, returning to the calling compute node.

Faraj, Daniel A.

2014-07-22T23:59:59.000Z

155

U.S. Energy Information Administration (EIA) - Sector  

Gasoline and Diesel Fuel Update (EIA)

technologies also improve fuel economy by improving the efficiency of vehicle drive trains. Aggressive shift logic is used in 73 percent of new LDVs in 2035; and other advanced...

156

Attributions made by victims of aggression as a function of locus of control, self-esteem, similarity to the aggressor and level of aggression  

E-Print Network [OSTI]

in the part played by situational cues and modeling effects in aggression (Harris, 1973) there developed questions about the interactions between aggressive events and the observers of those events. Berkowitz and Alioto (1973) demonstrated that an observer... the un- accounted for variances of a full model equation and a restricted model equation (Naditch, Gargan & Michael, 1975). Three variables, attri- bution made by the victim to himself, attribution made by the victim to the aggressor, and attribution...

Patten, Thomas Gerald

1977-01-01T23:59:59.000Z

157

Logical Structure of Physical Probability Assertions  

E-Print Network [OSTI]

A modification and generalisation of von Plato's fix of the frequency theory of probability is presented. It is thermodynamic in nature. Von Plato already fixed the logical circle in the frequency theory, we generalise his results to not necessarily ergodic systems of classical and quantum mechanics. This turns out to be precisely what is needed for the problem of Quantum Measurement and the problem of induction.

Joseph F. Johnson

2005-08-07T23:59:59.000Z

158

Encoding a logical qubit into physical qubits  

SciTech Connect (OSTI)

We propose two protocols to encode a logical qubit into physical qubits relying on common types of qubit-qubit interactions in as simple forms as possible. We comment on its experimental implementation in several quantum computing architectures, e.g., with trapped atomic ion qubits, atomic qubits inside a high-Q optical cavity, solid-state Josephson junction qubits, and Bose-Einstein condensed atoms.

Zeng, B.; Xu, Z. [Department of Physics, Tsinghua University, Beijing 100084 (China); Zhou, D.L.; You, L. [Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100080 (China); School of Physics, Georgia Institute of Technology, Atlanta, Georgia 30332 (United States); Sun, C.P. [Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100080 (China)

2005-02-01T23:59:59.000Z

159

Duty-Cycling Buildings Aggressively: The Next Frontier in HVAC Control  

E-Print Network [OSTI]

Duty-Cycling Buildings Aggressively: The Next Frontier in HVAC Control Yuvraj Agarwal, Bharathan the dominant energy consumer is the HVAC system. Despite this fact, in most buildings the HVAC system is run sensing to guide the operation of a building HVAC system. We show how we can enable aggressive duty

Simunic, Tajana

160

Reliability concerns with logical constants in Xilinx FPGA designs  

SciTech Connect (OSTI)

In Xilinx Field Programmable Gate Arrays logical constants, which ground unused inputs and provide constants for designs, are implemented in SEU-susceptible logic. In the past, these logical constants have been shown to cause the user circuit to output bad data and were not resetable through off-line rcconfiguration. In the more recent devices, logical constants are less problematic, though mitigation should still be considered for high reliability applications. In conclusion, we have presented a number of reliability concerns with logical constants in the Xilinx Virtex family. There are two main categories of logical constants: implicit and explicit logical constants. In all of the Virtex devices, the implicit logical constants are implemented using half latches, which in the most recent devices are several orders of magnitudes smaller than configuration bit cells. Explicit logical constants are implemented exclusively using constant LUTs in the Virtex-I and Virtex-II, and use a combination of constant LUTs and architectural posts to the ground plane in the Virtex-4. We have also presented mitigation methods and options for these devices. While SEUs in implicit and some types of explicit logical constants can cause data corrupt, the chance of failure from these components is now much smaller than it was in the Virtex-I device. Therefore, for many cases, mitigation might not be necessary, except under extremely high reliability situations.

Quinn, Heather M [Los Alamos National Laboratory; Graham, Paul [Los Alamos National Laboratory; Morgan, Keith [Los Alamos National Laboratory; Ostler, Patrick [Los Alamos National Laboratory; Allen, Greg [JPL; Swift, Gary [XILINX; Tseng, Chen W [XILINX

2009-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Error rate and power dissipation in nano-logic devices  

E-Print Network [OSTI]

and content by: Laszlo B. Kish (Chair of Commitpte) Ed anc ez-Sinencio (Member) song g (Member) William Marlow (Member) nan Singh (Head of Department) May 2004 Major Subject: Electrical Engineering 111 ABSTRACT Error Rate and Power Dissipation... in Nano-Logic Devices. (May 2004) Jong Un Kim, B. S. ; M. S. ; Ph. D. , Seoul National University Chair of Advisory Committee: Dr. Laszlo B. Kish Current-controlled logic and single electron logic processors have been investigated with respect...

Kim, Jong Un

2004-01-01T23:59:59.000Z

162

Accurate conjugate gradient methods for shifted systems  

E-Print Network [OSTI]

Accurate conjugate gradient methods for shifted systems by Jasper van den Eshof and Gerard L. G CONJUGATE GRADIENT METHODS FOR SHIFTED SYSTEMS JASPER VAN DEN ESHOF # AND GERARD L. G. SLEIJPEN # Abstract We present an e#cient and accurate variant of the conjugate gradient method for solving families

Sleijpen, Gerard

163

Gravitational Bending of Light with Frequency Shifts  

E-Print Network [OSTI]

Non-static gravitational fields generally introduce frequency shifts when bending light. In this paper, I discuss the frequency shifts induced in the bending of light by moving masses. As examples, I treat the recently discovered high-velocity pulsar PSR 2224+65 and a typical Einstein ring.

P. D. Morley

1993-11-15T23:59:59.000Z

164

Development of an adaptive fuzzy logic controller for HVAC system.  

E-Print Network [OSTI]

??An adaptive approach to control a cooling coil chilled water valve operation, called adaptive fuzzy logic control (AFLC), is developed and validated in this study. (more)

Navale, Rahul Laxman

2006-01-01T23:59:59.000Z

165

A fuzzy logic controller for autonomous vehicle control.  

E-Print Network [OSTI]

??This thesis presents a feasibility study for the use of fuzzy logic control to solve the autonomous vehicle following problem. After developing the original vehicle (more)

Vinson, Yale Patrick

2012-01-01T23:59:59.000Z

166

Demo: Logic X Logic is Apple's profession sound production software (Garageband is the consumer  

E-Print Network [OSTI]

and mastering tools. Logic also has sound to picture capabilities which allows you to score a film or video window Other Software Instruments: · Create a new software instrument track o Choose pre-built instrument from library o Example: keyboards > Organs > Classic Soul · Audition sound o Window > Show Musical

Stowell, Michael

167

WindLogics Inc | 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 CenterFranconia, Virginia:FAQ < RAPID Jump to:SeadovCooperative JumpWilliamson County,Bay, OR) JumpPhoto from AlstomHomeSriandWindLogics

168

Arch. Math. Logic (2008) 47:711718 DOI 10.1007/s00153-008-0103-5 Mathematical Logic  

E-Print Network [OSTI]

, Universität Wien, Währinger Strasse 25, 1090 Vienna, Austria e-mail: sdf@logic.univie.ac.at 123 #12;712 N

169

Theory of the helium isotope shift  

E-Print Network [OSTI]

Theory of the isotope shift of the centroid energies of light few-electron atoms is reviewed. Numerical results are presented for the isotope shift of the $2^3P$-$2^3S$ and $2^1S$-$2^3S$ transition energies of $^3$He and $^4$He. By comparing theoretical predictions for the isotope shift with the experimental results, the difference of the squares of the nuclear charge radii of $^3$He and $^4$He, $\\delta R^2$, is determined with high accuracy.

Yerokhin, Vladimir A

2015-01-01T23:59:59.000Z

170

Search for Higgs shifts in white dwarfs  

E-Print Network [OSTI]

We report on a search for differential shifts between electronic and vibronic transitions in carbon-rich white dwarfs BPM 27606 and Procyon B. The absence of differential shifts within the spectral resolution and taking into account systematic effects such as space motion and pressure shifts allows us to set the first upper bound of astrophysical origin on the coupling between the Higgs field and the Kreschmann curvature invariant. Our analysis provides the basis for a more general methodology to derive bounds to the coupling of long-range scalar fields to curvature invariants in an astrophysical setting complementary to the ones available from high-energy physics or table-top experiments.

Roberto Onofrio; Gary A. Wegner

2014-09-30T23:59:59.000Z

171

Shift End | Y-12 National Security Complex  

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 MayAtmosphericNuclear Security Administrationcontroller systemsBi (2)Sharing Smart GridShift End Shift End A shift ends and the

172

Termination and Reduction Checking for HigherOrder Logic Programs  

E-Print Network [OSTI]

Termination and Reduction Checking for Higher­Order Logic Programs Brigitte Pientka Department, we present a syntax­directed termination and reduction checker for higher­order logic programs and output of well­moded predicates. These reduction con­ straints are exploited during termination checking

Pientka, Brigitte

173

Termination and Reduction Checking for Higher-Order Logic Programs  

E-Print Network [OSTI]

Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department, we present a syntax-directed termination and reduction checker for higher-order logic programs and output of well-moded predicates. These reduction con- straints are exploited during termination checking

Pientka, Brigitte

174

An Integrated Logic for Termination and Non-Termination Reasoning  

E-Print Network [OSTI]

An Integrated Logic for Termination and Non-Termination Reasoning Ton-Chanh Le, Cristian Gherghina. We propose a logical framework for specifying and proving assertions about program termination and non-termination. Although program termination has been well studied, it is usually added

Hobor, Aquinas

175

Computing Environment-Aware Agent Behaviours with Logic Program Updates  

E-Print Network [OSTI]

Computing Environment-Aware Agent Behaviours with Logic Program Updates Jose J. Alferes1 , Antonio Pisa, Italy, brogi@di.unipi.it Abstract. The ability of reacting to changes in the external environ behaviours of environment-aware agents can be naturally specified and computed in terms of logic program

Brogi, Antonio

176

Advanced PID type fuzzy logic power system stabilizer  

SciTech Connect (OSTI)

An advanced fuzzy logic control scheme has been proposed for a micro-computer based power system stabilizer to enhance the overall stability of power systems. The proposed control scheme utilizes the PID information of the generator speed. The input signal to the stabilizer is the real power output of a study unit. Simulations show the effectiveness of the advanced fuzzy logic control scheme.

Hiyama, Takashi; Kugimiya, Masahiko; Satoh, Hironori (Kumamoto Univ. (Japan). Dept. of Electrical Engineering and Computer Science)

1994-09-01T23:59:59.000Z

177

Lineales: algebras and categories in the semantics of linear logic  

E-Print Network [OSTI]

Lineales: algebras and categories in the semantics of linear logic Valeria de Paiva This paper categorical semantics to algebraic semantics in the form of lineales. 2 Choosing a Semantics Let us assume describes algebraic semantics for (intuitionistic and classical) propositional linear logic, using

de Paiva, Valeria

178

Lineales: Algebraic Models of Linear Logic from a Categorical  

E-Print Network [OSTI]

Lineales: Algebraic Models of Linear Logic from a Categorical Perspective Valeria de Paiva with category theory. A secondary aim is to argue for the virtues of Lineales as algebraic structures supporting This paper describes algebraic semantics for (intuitionistic and classical) propositional linear logic, using

de Paiva, Valeria

179

Carnap on the Foundations of Logic and Mathematics  

E-Print Network [OSTI]

Carnap on the Foundations of Logic and Mathematics Peter Koellner Throughout most of his that the truths of logic and mathematics are analytic and hence without content and purely formal. (2) The thesis that radical pluralism holds in pure mathematics in that any consistent system of postulates is equally

Koellner, Peter

180

Logic and Philosophy See also Philosophy page 136  

E-Print Network [OSTI]

120 Logic and Philosophy of Science See also Philosophy page 136 BSc (Joint Honours Degrees) Logic and Philosophy of Science and one of: Biology Computer Science Mathematics Physics Statistics Entry Requirements Enquiries Dr Brian McElwee E: philosophy@st-andrews.ac.uk One of the UK's top 20 research universities

Brierley, Andrew

Note: This page contains sample records for the topic "aggressive shift logic" 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

A Conditional Logic for Iterated Belief Revision Laura Giordano  

E-Print Network [OSTI]

A Conditional Logic for Iterated Belief Revision Laura Giordano DSTA ­ Universit?? a del Piemonte Abstract. In this paper we propose a conditional logic IBC to rep­ resent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl

Giordano, Laura

182

Iterated Belief Revision and Conditional Logic Laura Giordano  

E-Print Network [OSTI]

/01/2001; 17:22; p.1 #12; 2 well known Triviality Result [5], that claims that no signi#12;cant belief revisionIterated Belief Revision and Conditional Logic Laura Giordano DSTA - Universit#18;a del Piemonte a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates

Torino, Università di

183

Programmable Logic Circuits for Functional Integrated Smart Plastic Systems  

E-Print Network [OSTI]

:PSS) resistors between transistors or between logic blocks. Among the circuit functions and features demonstrated on the arrays are a 7-stage ring oscillator, a D-type ip-flop memory element, a 2:4 demultiplexer, a programmable array logic device (PAL...

Sou, Antony; Jung, Sungjune; Gili, Enrico; Pecuni, Vincenzo; Joimel, Jerome; Fichet, Guillaume; Sirringhaus, Henning

2014-09-12T23:59:59.000Z

184

Characterizing Production Systems using Logic Programming and Situation Calculus  

E-Print Network [OSTI]

Characterizing Production Systems using Logic Programming and Situation Calculus Chitta Baral@eecs.uic.edu Abstract In this paper we characterize production systems using logic programs and situation calculus to the operational semantics of production systems. This opens up the possibility of using results and techniques

Baral, Chitta

185

The Logic of Global Warming A bitter pill  

E-Print Network [OSTI]

The Logic of Global Warming A bitter pill Vaughan Pratt Stanford University June 23, 2011 Vaughan PrattStanford University () The Logic of Global WarmingA bitter pill June 23, 2011 1 / 1 What is climate population growth. 2. Accumulation of hazardous materials: lead, mercury, CFCs, . . . 3. Global warming

Pratt, Vaughan

186

Constraint Orientated Specification with CSP and Real Time Temporal Logic  

E-Print Network [OSTI]

Constraint Orientated Specification with CSP and Real Time Temporal Logic Justin Pearson Department Processes (CSP) [Hoa85] and a version of Propositional Temporal Logic (PTL), derived from [Eme90]. CSP. The behaviour of a CSP process is dependent on its environment; it is therefore difficult to assert global

Kent, University of

187

Adapting Optimization Techniques to Description Logics with Concrete Domains  

E-Print Network [OSTI]

Adapting Optimization Techniques to Description Logics with Concrete Domains Anni-Yasmin Turhan backtracking and model merging can be adapted to description logics with concrete domains. We propose al) a new requirement for concrete domains in order to enable dependency directed backtracking for all clash

Haarslev, Volker

188

Adapting Optimization Techniques to Description Logics with Concrete Domains  

E-Print Network [OSTI]

Adapting Optimization Techniques to Description Logics with Concrete Domains Anni­Yasmin Turhan backtracking and model merging can be adapted to description logics with concrete domains. We propose al) a new requirement for concrete domains in order to enable dependency directed backtracking for all clash

Haarslev, Volker

189

The Role of Fuzzy Logic Control in Evolutionary Robotics  

E-Print Network [OSTI]

The Role of Fuzzy Logic Control in Evolutionary Robotics Frank Ho mann Electrical Engineering the environment make fuzzy control a suitable method to imple- ment the behavior of a mobile robot. The robotic and precision of mathematicalor logical models.The fuzzy rules describe the relation between the external

Hoffmann, Frank

190

NExpTime-complete Description Logics with Concrete Domains  

E-Print Network [OSTI]

that reasoning with the concrete do- main D (i.e., testing the satis#12;ability of #12;nite conjunctionsChapter 1 NExpTime-complete Description Logics with Concrete Domains Carsten Lutz Abstract. Description Logics (DLs) incorporating concrete domains are useful formalisms for integrated reasoning about

Baader, Franz

191

Abductive Logic Programming 1 Department of Computer Science,  

E-Print Network [OSTI]

Abductive Logic Programming 1 A.C. Kakas Department of Computer Science, University of Cyprus, 75 to perform Abductive Reasoning (Abductive Logic Programming). We outline the general framework of Abduction­theoretic approach to the use of abduction as an interpretation for Negation as Failure. We also analyse the links

Koehn, Philipp

192

A Superposition Strategy for Abductive Reasoning in Ground Equational Logic  

E-Print Network [OSTI]

A Superposition Strategy for Abductive Reasoning in Ground Equational Logic Mnacho Echenim, Nicolas Abduction has been introduced by Peirce [8] as the process of inferring plausible hypotheses from data. There exists an extensive amount of research on abductive reasoning, mainly in propositional logic

Paris-Sud XI, Université de

193

On the Use of Logical Abduction in Software Engineering  

E-Print Network [OSTI]

- 1 - On the Use of Logical Abduction in Software Engineering ALESSANDRA RUSSO and BASHAR NUSEIBEH of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from

Russo, Alessandra

194

Abductive Logic Programming 1 Department of Computer Science,  

E-Print Network [OSTI]

Abductive Logic Programming 1 A.C. Kakas Department of Computer Science, University of Cyprus, 75- ming to perform Abductive Reasoning (Abductive Logic Programming). We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; and we introduce

Toni, Francesca

195

ABox Abduction in Description Logic MSc Thesis (Afstudeerscriptie)  

E-Print Network [OSTI]

ABox Abduction in Description Logic MSc Thesis (Afstudeerscriptie) written by Szymon Klarman (born elaborate on logic-based automated reasoning tech- niques for abduction, driven by the principle of goal-oriented rea- soning. In the first part we develop two variants of a computational framework for abduction

Amsterdam, University of

196

An abductive logic programming architecture for negotiating agents  

E-Print Network [OSTI]

An abductive logic programming architecture for negotiating agents Fariba Sadri1 , Francesca Toni1@deis.unibo.it Abstract. In this paper, we present a framework for agent negotiation based on abductive logic programming and dialogue cycle, and in the results that apply in the gen- eral case of abductive agents and in the specific

Torroni, Paolo

197

ArgumentationBased Abduction in Disjunctive Logic Programming  

E-Print Network [OSTI]

Argumentation­Based Abduction in Disjunctive Logic Programming Kewen Wang Department of Computer the framework presented in this paper does not only provide a new way of performing argumentation (abduction for disjunctive logic programming. 1 #12; 1 INTRODUCTION Abduction is usually defined as inferring the best

Wang, Kewen

198

EXPRESSING COLLABORATION AND COMPETITION AMONG ABDUCTIVE LOGIC AGENTS  

E-Print Network [OSTI]

EXPRESSING COLLABORATION AND COMPETITION AMONG ABDUCTIVE LOGIC AGENTS Anna Ciampolini, Evelina a language for coordinating several logic­based agents capable of abductive reasoning. The system to guess the causes of some symptoms. In his respect, some form of open or abductive reasoning has

Torroni, Paolo

199

: Abduction, Learning. A System for Learning Abductive Logic  

E-Print Network [OSTI]

f g Keywords Abstract : Abduction, Learning. 1 A System for Learning Abductive Logic Programs Ferrara, Italy We present the system LAP for learning abductive logic programs from examples and from a background abductive theory. A new type of induction problem has been defined as an extension

Dix, Juergen

200

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

Note: This page contains sample records for the topic "aggressive shift logic" 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

E-Print Network 3.0 - aggressive lymphoma controls Sample Search...  

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

lymphoma controls Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive lymphoma controls Page: << < 1 2 3 4 5 > >> 1 This issue is focused on...

202

E-Print Network 3.0 - aggressive antithrombotic therapy Sample...  

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

in male fire- mouth cichlids... : short-term effects of highly and mildly aggressive video games. Pers. Soc. Psychol. Bull. 12: 390... on behaviour in adult male mice. In House...

203

E-Print Network 3.0 - aggressive large b-cell Sample Search Results  

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

by Explorit Topic List Advanced Search Sample search results for: aggressive large b-cell Page: << < 1 2 3 4 5 > >> 1 Brad J. Bushman University of Michigan & VU University...

204

E-Print Network 3.0 - aggressive thyroid cancer Sample Search...  

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

thyroid cancer Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive thyroid cancer Page: << < 1 2 3 4 5 > >> 1 O R E G O N F I N A L R E P O...

205

E-Print Network 3.0 - aggressive human prostate Sample Search...  

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

search results for: aggressive human prostate Page: << < 1 2 3 4 5 > >> 1 Prostate cancer is the most common form of cancer found in males in the United States. Summary: or...

206

E-Print Network 3.0 - aggressive cancer phenotypes Sample Search...  

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

cancer phenotypes Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive cancer phenotypes Page: << < 1 2 3 4 5 > >> 1 Dr. Hua Shi and Dr....

207

E-Print Network 3.0 - aggressive prostate cancer Sample Search...  

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

cancer Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive prostate cancer Page: << < 1 2 3 4 5 > >> 1 Prostate cancer is the most common...

208

Predicting childhood aggression: a replication study looking at the interaction between childhood psychopathy and parenting practices  

E-Print Network [OSTI]

This replication study provides mixed support for Wootton, Frick, Shelton and Silvelthorn's (1997) findings that the relation between parent socialization practices and children's aggression is moderated by children's callous and unemotional (CU...

Oxford, Mary Cunningham

1999-01-01T23:59:59.000Z

209

CTR-S: A Logic for Specifying Contracts in Semantic Web Services  

E-Print Network [OSTI]

Logic for Services Contracting Extension of classical FO-Logic Well defined model theoretic semantics in service contracting ... #12;Questions ? #12;

Davulcu, Hasan

210

Signalized fuzzy logic for diamond interchanges incorporating with fuzzy ramp system.  

E-Print Network [OSTI]

??New dynamic signal control methods such as fuzzy logic and artificial intelligence developed recently mainly focused on isolated intersection. In this study, a Fuzzy Logic (more)

Pham, Cao Van

2009-01-01T23:59:59.000Z

211

E-Print Network 3.0 - action technology logic Sample Search Results  

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

and Information Sciences 26 CURRICULUM VITAE Tommaso Flaminio Summary: for Fuzzy Logic and Technology EUSFLAT 2007. Schools (2002). Logic Summer School organized by...

212

Shift manager workload assessment - A case study  

SciTech Connect (OSTI)

In early 2003, Bruce Power restarted two of its previously laid up units in the Bruce A generating station, Units 3 and 4. However, due to challenges relating to the availability of personnel with active Shift Manager licenses, an alternate shift structure was proposed to ensure the safe operation of the station. This alternate structure resulted in a redistribution of responsibility, and a need to assess the resulting changes in workload. Atomic Energy of Canada Limited was contracted to perform a workload assessment based on the new shift structure, and to provide recommendations, if necessary, to ensure Shift Managers had sufficient resources available to perform their required duties. This paper discusses the performance of that assessment, and lessons learned as a result of the work performed during the Restart project. (authors)

Berntson, K.; Kozak, A. [Bruce Power, P O Box 1540 B10, Tiverton, Ont. N0G 2T0 (Canada); Malcolm, J. S. [Atomic Energy of Canada Ltd., 2251 Speakman Drive, Mississauga, Ont. L5K 1B2 (Canada)

2006-07-01T23:59:59.000Z

213

Does accounting quality mitigate risk shifting?  

E-Print Network [OSTI]

This study examines the effect of financial reporting quality on risk shifting, an investment distortion that is caused by shareholders' incentives to engage in high-risk projects that are detrimental to debt holders. I ...

Loktionov, Yuri V

2009-01-01T23:59:59.000Z

214

J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 An Abductive Approach to Disjunctive Logic  

E-Print Network [OSTI]

J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 An Abductive Approach to Disjunctive Logic Programming of abductive reason­ ing where default assumptions are treated as abductive hypotheses. While the semantics programs may be used to reason abductively has rarely been investigated. At the center of the question

Yuan, Li-Yan

215

Oak Ridge K-25 Site Technology Logic Diagram. Volume 2, Technology Logic Diagrams  

SciTech Connect (OSTI)

The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates envirorunental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. This volume, Volume 2, contains logic diagrams with an index. Volume 3 has been divided into two separate volumes to facilitate handling and use.

Fellows, R.L. [ed.

1993-02-26T23:59:59.000Z

216

Adaptive optics simulation performance improvements using reconfigurable logic  

E-Print Network [OSTI]

A technique used to accelerate an adaptive optics simulation platform using reconfigurable logic is described. The performance of parts of this simulation have been improved by up to 600 times (reducing computation times by this factor) by implementing algorithms within hardware and enables adaptive optics simulations to be carried out in a reasonable timescale. This demonstrates that it is possible to use reconfigurable logic to accelerate computational codes by very large factors when compared with conventional software approaches, and this has relevance for many computationally intensive applications. The use of reconfigurable logic for high performance computing is currently in its infancy and has never before been applied to this field.

Alastair Basden

2006-11-09T23:59:59.000Z

217

Smart Companies "Wake up" Night Shift Workers Make More Mistakes...  

Office of Environmental Management (EM)

Smart Companies "Wake up" Night Shift Workers Make More Mistakes & More Prone to Accidents Smart Companies "Wake up" Night Shift Workers Make More Mistakes & More Prone to...

218

Manuscript for Review A dynamic-logic PLA on low-temperature polysilicon TFT technology  

E-Print Network [OSTI]

Manuscript for Review A dynamic-logic PLA on low-temperature polysilicon TFT technology Journal;1 A dynamic-logic PLA on low-temperature polysilicon TFT technology P. Oikonomakos, P.C. Paul, S.W. Moore, S-TFT) processes, we designed a TFT-based dynamic-logic programmable logic array (PLA). We report the successful

Moore, Simon

219

The Bulletin of Symbolic Logic Volume 9, Number 4, Dec. 2003  

E-Print Network [OSTI]

fuzzy logic, Chapter 10: Fuzzy control and approximate reasoning. Chapter 11. Effectiveness in fuzzy@cs.cas.cz. Giangiacomo Gerla. Fuzzy logic: Mathematical tools for approximate reasoning. Trends in Logic, Studia Logica investigation of fuzzy logic ``in narrow sense'', mathematically deep and formal. Mostly it deals with the real

Gerla, Giangiacomo

220

INTRODUCING FUZZY LOGIC AND COMPUTING WITH WORDS PARADIGMS IN REALTIME PROCESSES FOR PERFORMANCE ARTS  

E-Print Network [OSTI]

. INTRODUCTION Fuzzy logic is often confused with fuzzy control. People have heard of autonomous control control. It is for instance the case of jFuzzyLogic [13] or Free Fuzzy Logic Library [11]. Between fuzzy logic and fuzzy control, there are of course many common points but also differences: fuzzy control uses

Note: This page contains sample records for the topic "aggressive shift logic" 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

The Role of Abduction in Logic Pro Department of Computer Science,  

E-Print Network [OSTI]

The Role of Abduction in Logic Pro­ gramming A.C. Kakas Department of Computer Science, University work on the extension of Logic Pro­ gramming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper ``Abductive Logic Programming'' [88]. We outline the general

Koehn, Philipp

222

Proton Mass Shift in Muonic Hydrogen Atom  

E-Print Network [OSTI]

We show that the value of the proton mass depends on each bound state of muonic or electronic hydrogen atom. The charged particle bound to the proton produces magnetic field inside the proton. This makes a change to the amount of chiral condensate inside the proton. The change gives rise to the shift in the value of the proton mass. Numerically, the shift in the $2S$ state of the muonic hydrogen atom can be of the order of $0.1$ meV. The effect may solve the puzzle of the proton radius.

Aiichi Iwazaki

2014-08-11T23:59:59.000Z

223

A Transformation System for Lazy Functional Logic Programs?  

E-Print Network [OSTI]

over to the transformation process and the transformed programs. We illus- trate the power A Transformation System for Lazy Functional Logic Programs? Mar. gmoreno@info-ab.uclm.es Abstract. Needed narrowing is a complete operational principle

Vidal, Germán

224

On the Logic of the Ontological Argument Paul E. Oppenheimer  

E-Print Network [OSTI]

On the Logic of the Ontological Argument Paul E. Oppenheimer Thinking Machines Corporation E. Oppenheimer and Edward N. Zalta 2 by `y(y=x)' and the claim that x has the property of existence

Zalta, Edward N.

225

Pattern-Based Constraint Satisfaction and Logic Puzzles  

E-Print Network [OSTI]

by Denis Berthier: Le Savoir et l'Ordinateur, Editions L'Harmattan, Paris, November 2002. Méditations sur le Réel et le Virtuel, Editions L'Harmattan, Paris, May 2004. The Hidden Logic of Sudoku (First

Paris-Sud XI, Université de

226

Logical Effort of Higher Valency Adders David Harris  

E-Print Network [OSTI]

Logical Effort of Higher Valency Adders David Harris Harvey Mudd College 301 E. Twelfth St. Claremont, CA 91711 David_Harris@hmc.edu Abstract ­ Higher valency parallel prefix adders reduce the number

Harris, David Money

227

Parameter Mismatches, Chaos Synchronization and Fast Dynamic Logic Gates  

E-Print Network [OSTI]

By using chaos synchronization between non-identical multiple time delay semiconductor lasers with optoelectronic feedbacks, we demonstrate numerically how fast dynamic logic gates can be constructed. The results may be helpful to obtain a computational hardware with reconfigurable properties.

E. M. Shahverdiev

2009-07-02T23:59:59.000Z

228

Concurrent Constraint Programming and NonCommutative Logic  

E-Print Network [OSTI]

Concurrent Constraint Programming and Non­Commutative Logic Paul Ruet ? , Fran¸cois Fages LIENS as formula, computation­as­proof­search paradigm. This paradigm, first introduced for the Horn clause

Ruet, Paul

229

Using Temporal Logic for Dynamic Reconfigurations of Components  

E-Print Network [OSTI]

Using Temporal Logic for Dynamic Reconfigurations of Components Julien Dormoy1 , Olga Kouchnarenko1, published in "FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, Portugal (2010)" #12;More

Boyer, Edmond

230

Using Temporal Logic for Dynamic Reconfigurations of Components  

E-Print Network [OSTI]

Using Temporal Logic for Dynamic Reconfigurations of Components Julien Dormoy1 , Olga Kouchnarenko1, published in "7th International Workshop on Formal Aspects of Component Software - FACS'2010 (2010)" #12

Paris-Sud XI, Université de

231

The Logical Approach to Stack Typing Amal Ahmed David Walker  

E-Print Network [OSTI]

. In fact, we have already seen such migration: Grossman et al.'s Cyclone [10] uses Tofte and Talpin's [37 contribution is a logic for reasoning about ad- jacency and separation of memory blocks as well as aliasing

Ahmed, Amal

232

Circuits for high-performance low-power VLSI logic  

E-Print Network [OSTI]

The demands of future computing, as well as the challenges of nanometer-era VLSI design, require new digital logic techniques and styles that are simultaneously high performance, energy efficient, and robust to noise and ...

Ma, Albert

2006-01-01T23:59:59.000Z

233

Some improvements of fuzzy logic controllers with applications.  

E-Print Network [OSTI]

??As one of the well-known intelligent control methods, fuzzy logic control has prominent advantage to be model-free in its design and applications. Although relatively mature (more)

Zhang, Shanshan (???)

2007-01-01T23:59:59.000Z

234

Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes  

E-Print Network [OSTI]

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

Moeller, Ralf

235

Logic verification using recursive learning, ATPG and transformations  

E-Print Network [OSTI]

17 Example Circuits for Verification Showing an Existing Condi- tional Don't Care Condition. 33 18 Justification of the Conditional Don't Care Condition in the Ex- ample Circuits. FIGURE Page Transformation Using Conditional Don't Care Condition... of the Implementation Verification phase, sometimes it is termed Design Verification as in [17j. In this case the specification and design are both at logic level. Logic circuits can be combinational or sequential. If the circuits being compared are combinational, i...

Paul, Debjyoti

1996-01-01T23:59:59.000Z

236

Oak Ridge National Laboratory Technology Logic Diagram. Volume 2, Technology Logic Diagram: Part B, Remedial Action  

SciTech Connect (OSTI)

The Oak Ridge National Laboratory Technology Logic Diagram (TLD) was developed to provide a decision support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D&D), remedial action (RA), and WM activities. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Part A of Vols. 1. and 2 focuses on D&D. Part B of Vols. 1 and 2 focuses on the RA of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TLD, an explanation of the program-specific responsibilities, a review of identified technologies, and the rankings of remedial technologies. Volume 2 (Pts. A, B, and C) contains the logic linkages among EM goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 (Pts. A, B, and C) contains the TLD data sheets. Remedial action is the focus of Vol. 2, Pt. B, which has been divided into the three necessary subelements of the RA: characterization, RA, and robotics and automation. Each of these sections address general ORNL problems, which are then broken down by problem area/constituents and linked to potential remedial technologies. The diagrams also contain summary information about a technology`s status, its science and technology needs, and its implementation needs.

Not Available

1993-09-01T23:59:59.000Z

237

Turing machines based on unsharp quantum logic  

E-Print Network [OSTI]

In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic Turing machines (EDTMs). We discuss different E-valued recursively enumerable languages from width-first and depth-first recognition. We find that width-first recognition is equal to or less than depth-first recognition in general. The equivalence requires an underlying E value lattice to degenerate into an MV algebra. We also study variants of ENTMs. ENTMs with a classical initial state and ENTMs with a classical final state have the same power as ENTMs with quantum initial and final states. In particular, the latter can be simulated by ENTMs with classical transitions under a certain condition. Using these findings, we prove that ENTMs are not equivalent to EDTMs and that ENTMs are more powerful than EDTMs. This is a notable difference from the classical Turing machines.

Yun Shang; Xian Lu; Ruqian Lu

2012-10-02T23:59:59.000Z

238

Multifunction minimization for programmable logic arrays  

SciTech Connect (OSTI)

The problem of minimizing two-level AND/OR Boolean algebraic functions of n inputs and m outputs for implementation on programmable logic arrays (PLA) is examined. The theory of multiple-output functions as well as the historically alternative approaches to reckoning the cost of an equation implementation are reviewed. The PLA is shown to be a realization of the least product gate equation cost criterion. The multi-function minimization is dealt with in the context of a directed tree search algorithm developed in previous research. The PLA oriented minimization is shown to alter the nature of each of the basic tenets of multiple-output minimization used in earlier work. The concept of a non-prime but selectable implicant is introduced. A new cost criterion, the quantum cost, is discussed, and an approximation algorithm utilizing this criterion is developed. A timing analysis of a cyclic resolution algorithm for PLA based functions is presented. Lastly, the question of efficiency in automated minimization algorithms is examined. The application of the PLA cost criterion is shown to exhibit intrinsic increases in computational efficiency. A minterm classification algorithm is suggested and a PLA minimization algorithm is implemented in the FORTRAN language.

Campbell, J.A.

1984-01-01T23:59:59.000Z

239

Newtonian gravity, red shift, confinement, asymptotic freedom and quarks oscillations  

E-Print Network [OSTI]

Quarks oscillations give the Newtonian gravity law, the red shift, the confinement and the asymptotic freedom.

G. Quznetsov

2008-10-18T23:59:59.000Z

240

Cognitive disorders Epidemiology Dementia care and society Logic of dementia guidelines Cognitive disorder diagnosis Non-classical logic for Elderly Care  

E-Print Network [OSTI]

Cognitive disorders Epidemiology Dementia care and society Logic of dementia guidelines Cognitive June 2008 Patrik Eklund IPMU 2008 Non-classical logic for Elderly Care Management #12;Cognitive disorders Epidemiology Dementia care and society Logic of dementia guidelines Cognitive disorder diagnosis

Eklund, Patrik

Note: This page contains sample records for the topic "aggressive shift logic" 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

A New Relation between Lamb Shift Energies  

E-Print Network [OSTI]

We derive a new relation between the observed Lamb shift energies of hydrogen and muonium atoms. The relation is based on the non-relativistic description of the Lamb shift, and the proper treatment of the reduced mass of electron and target particles (proton and muon) leads to the new formula which is expressed as $\\displaystyle{{\\Delta E^{(H)}_{2s_{1/2}}\\over \\Delta E^{(\\mu)}_{2s_{1/2}}} =({1+{m_e\\over m_\\mu}\\over 1+{m_e\\over M_p}})^3}$. This relation achieves an excellent agreement with experiment and presents an important QED test free from the cutoff momentum $\\Lambda$.

Hiroaki Kubo; Takehisa Fujita; Naohiro Kanda; Hiroshi Kato; Yasunori Munakata; Sachiko Oshima; Kazuhiro Tsuda

2010-03-26T23:59:59.000Z

242

Red Shift from Gravitational Back Reaction  

E-Print Network [OSTI]

Deviations from geodesic motion caused by gravitational radiation have been discussed in the last decades to describe the motion of particles or photons in strong fields around collapsed objects. On cosmological scale this effect, which in the first order is caused by the finite speed of gravitational interaction, is important also in the weak field limit. In this paper the energy loss by transfer to the gravitational potential is determined in a quasi-Newtonian approximation for the examples of a static Einstein universe and for an expanding universe with flat metric. In both cases the resulting red shift is a considerable fraction of the total red shift and requires an adjustment of the age and the matter composition in our models of the universe.

Ernst Fischer

2007-03-30T23:59:59.000Z

243

Electricity pricing for conservation and load shifting  

SciTech Connect (OSTI)

The electricity industry is facing the challenge of increasing costs of reliably meeting demand growth and fully complying with legislative renewable portfolio standards and greenhouse gas reduction targets. However, an electric utility's existing tariffs often don't have rates that increase with consumption volume or vary by time of use, thus not fully exploiting the potential benefits from customer conservation and load shifting. (author)

Orans, Ren; Woo, C.K.; Horii, Brian; Chait, Michele; DeBenedictis, Andrew

2010-04-15T23:59:59.000Z

244

Stabilizing windings for tilting and shifting modes  

DOE Patents [OSTI]

This invention relates to passive conducting loops for stabilizing a plasma ring against unstable tilting and/or shifting modes. To this end, for example, plasma ring in a spheromak is stabilized by a set of four figure-8 shaped loops having one pair on one side of the plasma and one pair on the other side with each pair comprising two loops whose axes are transverse to each other.

Jardin, Stephen C. (Princeton, NJ); Christensen, Uffe R. (Princeton, NJ)

1984-01-01T23:59:59.000Z

245

Finger length ratio (2D:4D) and sex differences in aggression during a simulated war game  

E-Print Network [OSTI]

Finger length ratio (2D:4D) and sex differences in aggression during a simulated war game Matthew H), and unprovoked attack during a simulated war game (n = 176). We also investigated whether 2D:4D mediated; Narcissism, social dominance orientation; Stress; Self-esteem; Aggression; War 0191-8869/$ - see front matter

Cosmides, Leda

246

A2E: Adaptively Aggressive Energy Efficient DVFS Scheduling for Data Intensive Applications  

E-Print Network [OSTI]

A2E: Adaptively Aggressive Energy Efficient DVFS Scheduling for Data Intensive Applications Li Tan strategy to achieve energy efficiency for data intensive applications, and further save energy via five memory and disk access intensive benchmarks with imbalanced branches against another two energy

247

Communication networks and loser effects interact to influence the outcome of aggressive interactions in  

E-Print Network [OSTI]

Communication networks and loser effects interact to influence the outcome of aggressive.P. Scott Center for Neuroscience, Mind, & Behaviour, Department of Biological Sciences, Bowling Green State University, Bowling Green, OH 43403, USA) (Accepted: 25 July 2008) Summary Dyadic interactions occur

Moore, Paul A.

248

Available online at www.sciencedirect.com Assessment during aggressive contests between  

E-Print Network [OSTI]

. In mutual assessment models, individuals assess their own resource holding potential (RHP) relativeAvailable online at www.sciencedirect.com Assessment during aggressive contests between male; final acceptance 28 January 2008; published online 30 June 2008; MS. number: A10907) Assessment

Lovejoy, Nathan

249

Assisted Teleoperation Strategies for Aggressively Controlling a Robot Arm with 2D Input  

E-Print Network [OSTI]

Assisted Teleoperation Strategies for Aggressively Controlling a Robot Arm with 2D Input Erkang You,hauserk}@indiana.edu Abstract--This paper studies assisted teleoperation techniques for controlling a 6DOF robot arm using click, and overall satisfaction. I. INTRODUCTION Assisted teleoperation allows a user to operate a robot while

Indiana University

250

A Specification Logic for Termination Reasoning Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor, and Wei-Ngan Chin  

E-Print Network [OSTI]

A Specification Logic for Termination Reasoning Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor a logical framework for specifying and proving asser- tions about program termination. Although termination. Here we propose to integrate termination requirements directly into our specification logic

Hobor, Aquinas

251

Resonance-shifting luminescent solar concentrators  

DOE Patents [OSTI]

An optical system and method to overcome luminescent solar concentrator inefficiencies by resonance-shifting, in which sharply directed emission from a bi-layer cavity into a glass substrate returns to interact with the cavity off-resonance at each subsequent reflection, significantly reducing reabsorption loss en route to the edges. In one embodiment, the system comprises a luminescent solar concentrator comprising a transparent substrate, a luminescent film having a variable thickness; and a low refractive index layer disposed between the transparent substrate and the luminescent film.

Giebink, Noel Christopher; Wiederrecht, Gary P; Wasielewski, Michael R

2014-09-23T23:59:59.000Z

252

Pendulum Shifts, Context, Error, and Personal Accountability  

SciTech Connect (OSTI)

This paper describes a series of tools that were developed to achieve a balance in under-standing LOWs and the human component of events (including accountability) as the INL continues its shift to a learning culture where people report, are accountable and interested in making a positive difference - and want to report because information is handled correctly and the result benefits both the reporting individual and the organization. We present our model for understanding these interrelationships; the initiatives that were undertaken to improve overall performance.

Harold Blackman; Oren Hester

2011-09-01T23:59:59.000Z

253

Shifting Interest Regimes of the Working Classes in Latin America  

E-Print Network [OSTI]

Handlin IIR Working Paper Shifting Interest Regimes of the2000), Working-Class Power, Capitalist-Class Interest, andShifting Interest Regimes of the Working Classes in Latin

Berins Collier, Ruth; Handlin, Samuel P.

2005-01-01T23:59:59.000Z

254

Undecidability and temporal logic: some landmarks from Turing to the present  

E-Print Network [OSTI]

. INTRODUCTION Temporal logic was born in the mid 1950s, right after the death of Alan Turing in temporal logic was essentially Alan Turing's celebrated Undecidability of the Halting problem of (what

Goranko, Valentin

255

Bounded-Variable Fragments of Hybrid Logics Thomas Schwentick and Volker Weber  

E-Print Network [OSTI]

Bounded-Variable Fragments of Hybrid Logics Thomas Schwentick and Volker Weber Fachbereich Informatik, Universit¨at Dortmund, Germany {thomas.schwentick,volker.weber}@udo.edu Abstract. Hybrid logics

Schwentick, Thomas

256

A Logic on Subobjects and Recognizability H. J. Sander Bruggink and Barbara Konig  

E-Print Network [OSTI]

A Logic on Subobjects and Recognizability H. J. Sander Bruggink and Barbara K¨onig Universit¨at Duisburg-Essen, Germany {sander.bruggink,barbara koenig}@uni-due.de Abstract. We introduce a simple logic

Boyer, Edmond

257

Design and simulation for the fabrication of integrated semiconductor optical logic gates  

E-Print Network [OSTI]

Development of ultrafast all-optical logic requires accurate and efficient modeling of optical components and interfaces. In this research, we present an all-optical logic unit cell with complete Boolean functionality as ...

Markina, Aleksandra, 1977-

2006-01-01T23:59:59.000Z

258

E-Print Network 3.0 - all-optical conditional logic Sample Search...  

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

In this paper we discuss the optimal design of logical topologies in all- optical WDM networks. We... for the sub-optimal design of logical topologies in ... Source: Mellia,...

259

An architecture for intelligent sensors and fuzzy inputs for fuzzy logic controllers  

E-Print Network [OSTI]

Many papers have shown that fuzzy logic can be successfully applied to problems that are nonlinear in nature. Specifically in the area of control, many fuzzy logic controllers (FLCS) have been shown to be excellent means of control, most notably...

Gillespie, Charles Wayne

2012-06-07T23:59:59.000Z

260

Design of an Automatic Landing System for the Meridian UAV using Fuzzy Logic  

E-Print Network [OSTI]

antennas attached below the wings. Fuzzy logic is determined the ideal application for an automatic landing controller based on its ability to control uncertain and nonlinear systems. Using fuzzy logic, a longitudinal automatic landing controller...

Royer, David Andrew

2010-04-22T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Automated manual transmission shift sequence controller  

DOE Patents [OSTI]

A powertrain system for a hybrid vehicle. The hybrid vehicle includes a heat engine, such as a diesel engine, and an electric machine, which operates as both, an electric motor and an alternator, to power the vehicle. The hybrid vehicle also includes a manual-style transmission configured to operate as an automatic transmission from the perspective of the driver. The engine and the electric machine drive an input shaft which in turn drives an output shaft of the transmission. In addition to driving the transmission, the electric machine regulates the speed of the input shaft in order to synchronize the input shaft during either an upshift or downshift of the transmission by either decreasing or increasing the speed of the input shaft. When decreasing the speed of the input shaft, the electric motor functions as an alternator to produce electrical energy which may be stored by a storage device. Operation of the transmission is controlled by a transmission controller which receives input signals and generates output signals to control shift and clutch motors to effect smooth launch, upshift shifts, and downshifts of the transmission, so that the transmission functions substantially as an automatic transmission from the perspective of the driver, while internally substantially functioning as a manual transmission.

Lawrie, Robert E. (Whitmore Lake, MI); Reed, Richard G. (Royal Oak, MI); Rausen, David J. (Denver, CO)

2000-02-01T23:59:59.000Z

262

PIECEWISE LINERIZATION OF LOGIC FUNCTIONS* The work was supported by BSF under Grant 2002259  

E-Print Network [OSTI]

]. BDDs are a standard part of many CAD systems in logic design, signal processing, and other areas where

Karpovsky, Mark

263

VIEWLS Final recommendations report Shift Gear to Biofuels  

E-Print Network [OSTI]

VIEWLS Final recommendations report 1 Shift Gear to Biofuels Results and recommendations from the VIEWLS project November 2005 #12;Shift Gear to Biofuels Final report of the VIEWLS project 2 #12;Shift Gear to Biofuels Final report of the VIEWLS project 3 Preface Biofuels are fuels made from

264

Climate change-induced shifts in fire for Mediterranean ecosystems  

E-Print Network [OSTI]

RESEARCH PAPER Climate change-induced shifts in fire for Mediterranean ecosystems Enric Batllori1 Climate change, climate uncertainty, fire-climate relationship, fire shifts, Mediterranean biome Mediterranean biome and identify potential shifts in fire activity under an ensemble of global climate

Moritz, Max A.

265

Fundamenta Informaticae submission 118 1 Towards a behavioral algebraic theory of logical valuations  

E-Print Network [OSTI]

of logical valuations Carlos Caleiro SQIG-Instituto de Telecomunicac~oes and Dept. Mathematics, IST, TU the applicability of the traditional methods of algebraic logic to a wider range of logical systems, possibly version of algebraic valuation semantics was proposed in order to fill in this gap. Herein, we define

Lisboa, Universidade Tcnica de

266

On Logics with Two Variables Erich Gradel \\Lambda Martin Otto y  

E-Print Network [OSTI]

description logics used in artificial intelligence. Although the additional features are usually not first, reasoning about knowledge, artificial intelligence etc. Indeed, propositional modal logics to logics that lift some of the prominent mechanisms of extension from the modal framework to the framework

Otto, Martin

267

A String Diagram Calculus for Predicate Logic and C. S. Peirce's System Beta  

E-Print Network [OSTI]

A String Diagram Calculus for Predicate Logic and C. S. Peirce's System Beta Geraldine Brady, called Beta, is reformulated here in modern terms, using developments in cate- gorical logic with Peirce's system Beta, is shown to be sound and complete with respect to #12;rst-order logic. 1991 Math

Brady, Geraldine

268

Hybrid logics with Sahlqvist axioms BALDER ten CATE, ISLA, Informatics Institute, University of  

E-Print Network [OSTI]

Hybrid logics with Sahlqvist axioms BALDER ten CATE, ISLA, Informatics Institute, University that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show

ten Cate, Balder

269

High Accuracy Three-Dimensional Radar Sensor Design based on Fuzzy Logic Control Approach  

E-Print Network [OSTI]

High Accuracy Three-Dimensional Radar Sensor Design based on Fuzzy Logic Control Approach Lilin Guo in target tracking. Furthermore, a fuzzy logic controller is proposed to minimize the error between Tracking, Doppler Effect, Fuzzy Logic Controller I. INTRODUCTION Typically, radar sensors are comprised

Fan, Jeffrey

270

Rendering of Environmental Force Feedback in Mobile Robot Teleoperation based on Fuzzy Logic  

E-Print Network [OSTI]

. Remote control of mobile robot with force reflection and fuzzy logic based velocity control was presentedRendering of Environmental Force Feedback in Mobile Robot Teleoperation based on Fuzzy Logic Ildar force feedback in mobile robot teleoperation based on fuzzy logic is presented. To ensure safety

Ryu, Jee-Hwan

271

Fuzzy logic techniques for Cybercars: a control and decision O. Rojas Michelena1  

E-Print Network [OSTI]

Fuzzy logic techniques for Cybercars: a control and decision approach. O. Rojas Michelena1 J. Pérez in the development of ITS applications. Keywords: Autonomous Vehicle, Fuzzy Logic Controllers, Intelligent methods for the control of autonomous vehicles [1][7][5]. Fuzzy logic translates human knowledge

Paris-Sud XI, Université de

272

56 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 5, NO. 1, FEBRUARY 1997 Nonsingleton Fuzzy Logic Systems  

E-Print Network [OSTI]

system (FLS). Index Terms--Fuzzy control, uniform approximation. I. INTRODUCTION Afuzzy logic system56 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 5, NO. 1, FEBRUARY 1997 Nonsingleton Fuzzy Logic-- In this paper, we present a formal derivation of general nonsingleton fuzzy logic systems (NSFLS's) and show how

Mendle, Jerry M.

273

Signal Control for Oversaturated Intersections Using Fuzzy Logic Ph.D. Candidate  

E-Print Network [OSTI]

05-0156 Signal Control for Oversaturated Intersections Using Fuzzy Logic Lin Zhang Ph.D. Candidate in 9 exhibits 7,110 words total (max = 7500) #12;Zhang, Li, and Prevedouros 1 ABSTRACT The fuzzy logic controller (FLC) presented in this paper simulates the control logic of experienced human traffic controllers

Prevedouros, Panos D.

274

Architecture and Preliminary Design of a Fuzzy Logic-Based Microbattery Charge Controller  

E-Print Network [OSTI]

Architecture and Preliminary Design of a Fuzzy Logic-Based Microbattery Charge Controller for an integrated micropower supply. This charge controller employs a fuzzy logic approach to controlling. In this paper, we will describe the architecture and preliminary design of a fuzzy logic-based microbattery

Singh, Pritpal

275

DESIGN AND IMPLEMENTATION OF A FUZZY LOGIC-BASED VOLTAGE CONTROLLER FOR VOLTAGE REGULATION  

E-Print Network [OSTI]

1 DESIGN AND IMPLEMENTATION OF A FUZZY LOGIC-BASED VOLTAGE CONTROLLER FOR VOLTAGE REGULATION In this paper the design and implementation of a fuzzy logic-based controller is described for regulating the output voltage of a synchronous generator. An automated fuzzy logic-based control strategy is presented

LaMeres, Brock J.

276

On Designing Mixed-Signal Programmable Fuzzy Logic Controllers as Embedded Subsystems in Standard CMOS Technologies  

E-Print Network [OSTI]

On Designing Mixed-Signal Programmable Fuzzy Logic Controllers as Embedded Subsystems in Standard analogue Fuzzy Logic Controller (FLC) is presented. Input and output signals are processed in the analog the choice of on-chip controllers becomes an interesting option. Digital Fuzzy Logic chips provide enough

Verleysen, Michel

277

NOVEL ADMISSION CONTROL ALGORITHM FOR GPRS/EGPRS BASED ON FUZZY LOGIC  

E-Print Network [OSTI]

NOVEL ADMISSION CONTROL ALGORITHM FOR GPRS/EGPRS BASED ON FUZZY LOGIC D. Todinca*, H. Graja ,P-mail: murphyj@eeng.dcu.ie Keywords: GPRS/EGPRS, admission control, fuzzy logic Abstract As users in a GPRS is the use of fuzzy logic (fuzzy inference) for the AC. We demonstrate the efficiency of our AC algorithm

278

Performance of Fuzzy Logic ABR Rate Control with Large Round Trip Times  

E-Print Network [OSTI]

Performance of Fuzzy Logic ABR Rate Control with Large Round Trip Times KUAN Su-Hsien and Lachlan L hip times (R`ITs), which can cause instability in control algorithms. A brief review of fuzzy logic of B recently pm- posed funy logic controller for ABR with a simple thresholdbased scheme in this case

Andrew, Lachlan

279

Modeling Fuzzy Rules with Description Logics Sudhir Agarwal and Pascal Hitzler  

E-Print Network [OSTI]

, automatic control of the train is much easier. Fuzzy logic, first introduced by Zadeh in [2, 3], providesModeling Fuzzy Rules with Description Logics Sudhir Agarwal and Pascal Hitzler Institute of Applied a long time to come up with an exact answer. Fuzzy logic supports both features by provid- ing fuzzy

Hitzler, Pascal

280

Employing Interpolation to Enable Higher Order Fuzzy Logic Controllers on Resource Constrained Embedded  

E-Print Network [OSTI]

Employing Interpolation to Enable Higher Order Fuzzy Logic Controllers on Resource Constrained shown recently that higher order Fuzzy Logic Controllers (FLCs) such as type- 2 FLCs have the potential 30 years have witnessed the wide deployment of Fuzzy Logic Controllers (FLCs) in a vast number

Lucas, Simon M.

Note: This page contains sample records for the topic "aggressive shift logic" 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

IMPROVING THE ROBUSTNESS OF FUZZY LOGIC ATM ABR RATE CONTROL FOR LARGE ROUND TRIP TIMES  

E-Print Network [OSTI]

IMPROVING THE ROBUSTNESS OF FUZZY LOGIC ATM ABR RATE CONTROL FOR LARGE ROUND TRIP TIMES Lachlan L in the presence of a large round trip time (RTT). A simple fuzzy logic controller was recently shown to perform. In recent years, fuzzy logic [4,5] has shown promise in the control of complex systems, and several fuzzy

Andrew, Lachlan

282

FUZZY LOGIC-BASED SOLAR CHARGE CONTROLLER FOR MICROBATTERIES Pritpal Singh and Jagadeesan Rajagopalan  

E-Print Network [OSTI]

FUZZY LOGIC-BASED SOLAR CHARGE CONTROLLER FOR MICROBATTERIES Pritpal Singh and Jagadeesan of a micro- charge/discharge controller has not. In this paper we present a novel, fuzzy logic-based solar is adjusted by modulating the duty cycle of the buck converter's switching MOSFET using a fuzzy logic control

Singh, Pritpal

283

On the Possibility of Using Complex Values in Fuzzy Logic For Representing Inconsistencies  

E-Print Network [OSTI]

applications in mind, including the idea of applying fuzzy logic to control. In surprising contrast to Zadeh's initial predictions, fuzzy control has become the most successful area of applications of fuzzy logic (seeOn the Possibility of Using Complex Values in Fuzzy Logic For Representing Inconsistencies Hung T

Kreinovich, Vladik

284

World Automation Congress 2010 TSI Press. USING A FUZZY LOGIC CONTROL SYSTEM FOR AN XPILOT  

E-Print Network [OSTI]

World Automation Congress © 2010 TSI Press. USING A FUZZY LOGIC CONTROL SYSTEM FOR AN XPILOT COMBAT {ahubley, parker}@conncoll.edu ABSTRACT--Fuzzy logic controllers provide a means of reasoning in uncertain systems. In this paper, we use fuzzy logic to develop a more versatile controller that can deal

Parker, Gary B.

285

Fuzzy logic control of a nitrogen laser Siu-Chung Tam, MEMBER SPIE  

E-Print Network [OSTI]

Fuzzy logic control of a nitrogen laser Siu-Chung Tam, MEMBER SPIE Siong-Chai Tan Wah-Peng Neo Sze report on the use of a fuzzy logic control scheme to improve the stability of a pulsed nitrogen laser) and pulse width (PW). The performance of the fuzzy logic controller is compared with a decoupled two

Doran, Simon J.

286

Real-Time Game Design of Pac-Man Using Fuzzy Logic  

E-Print Network [OSTI]

, fuzzy logic has been chosen as the basis for the intelligent control of the ghosts' behavior1 Real-Time Game Design of Pac-Man Using Fuzzy Logic Adnan Shaout, Brady King, and Luke Reisner approaches. Keywords: Fuzzy Logic, Artificial Intelligence, Intelligent Agents, Real-Time, Interactive, Game

Parker, Gary B.

287

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

288

Abductive Analysis of Modular Logic ROBERTO GIACOBAZZI, Dipartimento di Informatica, Universit`a  

E-Print Network [OSTI]

Abductive Analysis of Modular Logic Programs ROBERTO GIACOBAZZI, Dipartimento di Informatica a practical method for abductive analysis of modular logic programs. This is obtained by reversing knowledge this is the first application of abductive reasoning in dataflow analysis of logic programs

Giacobazzi, Roberto

289

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting  

E-Print Network [OSTI]

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting, Canada T6G 2H1 Abstract We propose a new definition of abduction in logic programming, and contrast Abduction in logic programming In general, given a background theory T , and an observation q to explain

Lin, Fangzhen

290

A semantics for the Kakas-Mancarella procedure for abductive logic  

E-Print Network [OSTI]

A semantics for the Kakas-Mancarella procedure for abductive logic programming Francesca Toni-Mancarella proof procedure for abductive logic programming with respect to an argumentation- theoretic semantics proof procedures and se- mantics for abductive logic programming. Keywords: Abduction, Argumentation. 1

Toni, Francesca

291

A semantics for positive abductive logic programs with implicative integrity constraints  

E-Print Network [OSTI]

A semantics for positive abductive logic programs with implicative integrity constraints Paolo@imperial.ac.uk Abstract We propose a novel semantics for positive abductive logic programs with implicative integrity suited to deal with several applications of abductive logic pro- gramming. Moreover, we prove that

Toni, Francesca

292

The SLP System: An Implementation of Super Logic Programs 1 The SLP System  

E-Print Network [OSTI]

The SLP System: An Implementation of Super Logic Programs 1 The SLP System: An Implementation). Stefan Brass Dagstuhl, 16.09.2002 #12;The SLP System: An Implementation of Super Logic Programs 3 Super predicate. Stefan Brass Dagstuhl, 16.09.2002 #12;The SLP System: An Implementation of Super Logic Programs 4

Brass, Stefan

293

Abstract--Since the rise in popularity of type-2 fuzzy logic systems a reoccurring problem has been the transition from  

E-Print Network [OSTI]

for type-1 fuzzy logic, in particular in the areas of fuzzy logic systems and fuzzy logic control. More]. While fuzzy logic control has remained at the forefront of type-2 fuzzy logic applications, the focusi Abstract-- Since the rise in popularity of type-2 fuzzy logic systems a reoccurring problem has

Aickelin, Uwe

294

Rules + Strategies for Transforming Lazy Functional Logic Programs  

E-Print Network [OSTI]

narrowing, the optimal and complete operational principle for mod- ern declarative languages which integrate the power of the system by taking on in our setting two well-known transformation strategies (compositionRules + Strategies for Transforming Lazy Functional Logic Programs Mar´ia Alpuente a Moreno

Vidal, Germán

295

Law, Logic and Language in Legal Computer Science  

E-Print Network [OSTI]

Law, Logic and Language in Legal Computer Science Michael Heather School of Law University of Northumbria at Newcastle, NE1 8ST, UK B.Nick Rossiter Computing Science Newcastle University, NE1 7RU B.N.Rossiter@ncl.ac.uk November 1995 Abstract Legal computer science requires a theoretical basis which can be realized

Cheng, Eugenia

296

The Lockean Thesis and the Logic of Belief James Hawthorne  

E-Print Network [OSTI]

The Lockean Thesis and the Logic of Belief James Hawthorne 1 Introduction In a penetrating) Richard Foley (1992) suggests the fol- lowing thesis: . . . it is epistemically rational for us to believe in it, sufficiently high to make our attitude towards it one of belief. Foley goes on to suggest

Fitelson, Branden

297

1 Resolution 1.1 Resolution in propositional logic  

E-Print Network [OSTI]

is satisfiable if there exists a valuation such that ^() = T for all F; otherwise we say that F consequence of F if all valuations satisfying F also satisfy . Observation 3. A formula is a logical the soundness theorem for resolution method (If there exists a resolution proof of inconsistency of a set

Charatonik, Witold

298

Semantic Operators and Fixed-Point Theory in Logic Programming  

E-Print Network [OSTI]

valuations to (sets of) valuations in the con- text of the semantics of logic programming lan- guages- junction with order theory, to establish methods by which one can #12;nd the #12;xed points of the op an operator F which maps valuations to (sets of) valuations and to consider its #12;xed points. The latter may

Hitzler, Pascal

299

A Logic Specification for Usage Control Xinwen Zhang, Jaehong Park  

E-Print Network [OSTI]

technologies, Trusted computing, etc. OM-AM Framework Usage Control System · Model examples: Access Matrix1 A Logic Specification for Usage Control Xinwen Zhang, Jaehong Park Francesco Parisi/object attributes, right} to {true, false} · Usage control decisions are based on authorization, obligations

Sandhu, Ravi

300

A Logic Specification for Usage Control Xinwen Zhang, Jaehong Park  

E-Print Network [OSTI]

DRM technologies, Trusted computing, etc. OM-AM Framework Usage Control System · Model examples1 A Logic Specification for Usage Control Xinwen Zhang, Jaehong Park Francesco Parisi of {subject/object attributes, right} to {true, false} · Usage control decisions are based on authorization

Sandhu, Ravi

Note: This page contains sample records for the topic "aggressive shift logic" 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

Logical Model and Specification of Usage Control XINWEN ZHANG  

E-Print Network [OSTI]

Logical Model and Specification of Usage Control XINWEN ZHANG FRANCESCO PARISI-PRESICCE JAEHONG PARK RAVI SANDHU George Mason University The recent usage control model (UCON) is a foundation for next mutability. A usage control decision is determined by combining authorizations, obligations, and conditions

Sandhu, Ravi

302

Optimal Control with Weighted Average Costs and Temporal Logic Specifications  

E-Print Network [OSTI]

time than constructing a feasible trajectory. We demonstrate our methods on simulations of autonomous, vehicles, and other cyberphysical systems increases, there is a need for expressive task with respect to some cost function, e.g., time or fuel consumption. Since temporal logic specifications include

Murray, Richard M.

303

Tuning Fuzzy Logic Controllers for Energy Efficiency Consumption in Buildings  

E-Print Network [OSTI]

- tems 1 Introduction In EU countries, primary energy consumption in build- ings represents about 40Tuning Fuzzy Logic Controllers for Energy Efficiency Consumption in Buildings R. Alcal´a DECSAI 18071 ­ Granada, Spain e-mail: A.Gonzalez@decsai.ugr.es Abstract In EU countries, primary energy consump

Casillas Barranquero, Jorge

304

Complexity and Expressive Power of Logic Programming EVGENY DANTSIN  

E-Print Network [OSTI]

, IL, USA THOMAS EITER, GEORG GOTTLOB Vienna University of Technology, Austria AND ANDREI VORONKOV with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more of Computer Science and Telecommunica- tions, 430 South Michigan Ave, Chicago, IL 60605, USA; email: edantsin

Dantsin, Evgeny

305

On Pipelining Dynamic Instruction Scheduling Logic Jared Stark  

E-Print Network [OSTI]

Engineering ¡ The University of Texas at Austin¢ mbrown,patt£ @ece.utexas.edu Abstract A machine's performance [3] warned that the dynamic instruction scheduling logic for current machines performs an atomic ¡ Microprocessor Research Labs Intel Corporation jared.w.stark@intel.com Dept. of Electrical and Computer

Zhang, Zhongfei "Mark"

306

Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs  

E-Print Network [OSTI]

of probabilistic belief revising, most research focuses on revising a single probabilistic distribution [5, 1, 8, 4Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs Anbu Yue 1 and Weiru Liu 1 Abstract. In this paper, we present a revision strategy of revis- ing

Liu, Weiru

307

On the Logic of Iterated Non-prioritised Richard Booth  

E-Print Network [OSTI]

, and of iterated revision [3, 5, 7, 8, 17, 21], i.e., the study of the behaviour of an agent's beliefs underOn the Logic of Iterated Non-prioritised Revision Richard Booth Department of Computer Science. We look at iterated non-prioritised belief revision, using as a starting point a model of non

Booth, Richard

308

A Logic of Emotions for Intelligent Agents Bas R. Steunebrink  

E-Print Network [OSTI]

A Logic of Emotions for Intelligent Agents Bas R. Steunebrink Department of ICS Utrecht University Utrecht, The Netherlands bass@cs.uu.nl Mehdi Dastani Department of ICS Utrecht University Utrecht, The Netherlands mehdi@cs.uu.nl John-Jules Ch. Meyer Department of ICS Utrecht University Utrecht, The Netherlands

Dastani, Mehdi

309

Semantic Web Verification: Verifying Reasoning in the Logic ALC  

E-Print Network [OSTI]

of systems for semantic interoperability in critical systems, the trust problem lifts to another: the trust Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Sevilla, 27 reasoning services in the logic ALC , formalized in the PVS system. Contents 1 Introduction 2 2 Overview

Alonso, José A.

310

Buffer Minimization in Pass Transistor Logic Advanced Technology Group  

E-Print Network [OSTI]

function cells and four inverters with various drive capabilities. The approach in [2] also utilizesBuffer Minimization in Pass Transistor Logic Hai Zhou Advanced Technology Group Synopsys, Inc are inverters, where phase assignment need to be done with buffer insertion. Exper iments are done on MCNC

Zhou, Hai

311

Carbon Nanotube Transistor Arrays for Multistage Complementary Logic and  

E-Print Network [OSTI]

and resistors.5 Several issues need to be addressed in order to impart complexity and advanced functionality, Qian Wang, Ant Ural, Yiming Li, and Hongjie Dai* Department of Chemistry and Laboratory for AdVanced into field effect transistors (FETs)1 and intratube p-n junctions.3,4 Inverters, the simplest form of logic

Ural, Ant

312

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

313

The Description Logic ALCN HR+ Extended with Concrete Domains  

E-Print Network [OSTI]

The Description Logic ALCN HR+ Extended with Concrete Domains: A Practically Motivated Approach, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called ex- istential predicate restriction

Moeller, Ralf

314

The Description Logic ALCNHR + Extended with Concrete Domains  

E-Print Network [OSTI]

The Description Logic ALCNHR + Extended with Concrete Domains: A Practically Motivated Approach restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so­called ex­ istential predicate restriction

Haarslev, Volker

315

NExpTime-complete Description Logics with Concrete Domains  

E-Print Network [OSTI]

NExpTime-complete Description Logics with Concrete Domains Carsten Lutz LuFG Theoretical Computer Science RWTH Aachen, Germany lutz@cs.rwth-aachen.de Abstract. Concrete domains are an extension \\concrete properties" of objects such as sizes, weights, and durations. It is known that reasoning with ALC

Baader, Franz

316

SEMANTICS OF LOGIC PROGRAMS AND REPRESENTATION OF SMYTH POWERDOMAIN  

E-Print Network [OSTI]

's hyperresolution rule. We establish an order­isomorphism between disjunctive states and compact, saturated sets spaces in which to present the denotational semantics of programming languages. The re­ cursive, self­point semantics for disjunctive logic programming. This concrete representation provides a link between

Zhang, Guo-Qiang

317

Implementing Weighted Abduction in Markov Logic James Blythe  

E-Print Network [OSTI]

Implementing Weighted Abduction in Markov Logic James Blythe USC ISI blythe@isi.edu Jerry R. Hobbs@cs.utexas.edu Abstract Abduction is a method for finding the best explanation for observations. Arguably the most advanced approach to abduction, especially for natural language processing, is weighted abduction, which

Anderson, Richard

318

Application of Inductive Logic Programming for Learning ECG Waveforms  

E-Print Network [OSTI]

Application of Inductive Logic Programming for Learning ECG Waveforms Gabriella K'okai 1 , Zolt­mail: gyimi@inf.u­szeged.hu. Abstract. In this paper a learning system is presented which integrates an ECG on an attribute grammar specification of ECGs that has been transformed to Prolog. The IMPUT system combines

Alexin, Zoltán

319

KnightShift: Shifting the I/O Burden in Datacenters to Management Processor for Energy Efficiency  

E-Print Network [OSTI]

KnightShift: Shifting the I/O Burden in Datacenters to Management Processor for Energy Efficiency. We use several production datacenter traces to evaluate the energy impact of KnightShift and show requests that demand less than 5 1 Introduction Datacenter power consumption is growing at a rapid pace

Paris-Sud XI, Université de

320

Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles (Presentation)  

SciTech Connect (OSTI)

This presentation discusses a method of accounting for realistic levels of driver aggression to higher-level vehicle studies, including the impact of variation in real-world driving characteristics (acceleration and speed) on vehicle energy consumption and different powertrains (e.g., conventionally powered vehicles versus electrified drive vehicles [xEVs]). Aggression variation between drivers can increase fuel consumption by more than 50% or decrease it by more than 20% from average. The normalized fuel consumption deviation from average as a function of population percentile was found to be largely insensitive to powertrain. However, the traits of ideal driving behavior are a function of powertrain. In conventional vehicles, kinetic losses dominate rolling resistance and aerodynamic losses. In xEVs with regenerative braking, rolling resistance and aerodynamic losses dominate. The relation of fuel consumption predicted from real-world drive data to that predicted by the industry-standard HWFET, UDDS, LA92, and US06 drive cycles was not consistent across powertrains, and varied broadly from the mean, median, and mode of real-world driving. A drive cycle synthesized by NREL's DRIVE tool accurately and consistently reproduces average real-world for multiple powertrains within 1%, and can be used to calculate the fuel consumption effects of varying levels of driver aggression.

Neubauer, J.; Wood, E.

2013-05-01T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Phase-shifting point diffraction interferometer  

DOE Patents [OSTI]

Disclosed is a point diffraction interferometer for evaluating the quality of a test optic. In operation, the point diffraction interferometer includes a source of radiation, the test optic, a beam divider, a reference wave pinhole located at an image plane downstream from the test optic, and a detector for detecting an interference pattern produced between a reference wave emitted by the pinhole and a test wave emitted from the test optic. The beam divider produces separate reference and test beams which focus at different laterally separated positions on the image plane. The reference wave pinhole is placed at a region of high intensity (e.g., the focal point) for the reference beam. This allows reference wave to be produced at a relatively high intensity. Also, the beam divider may include elements for phase shifting one or both of the reference and test beams.

Medecki, Hector (Berkeley, CA)

1998-01-01T23:59:59.000Z

322

Red Shift in a Laboraory Environment  

E-Print Network [OSTI]

A hypotheses of energy loss for polarization of e-e+ vacuum by a photon passing interstellar space is considered. An excitation and relaxation of vacuum can't run with speed of light due to very small but finite fraction of e-e+ pair mass that creates a retardment in recuperation of deposited energy back to photon. This "forgotten" by many photons energy is finally splashed out in real space as a Relic Radiation. An assumption that such energy loss is proportional to a photon energy conforms to Hubble low of Red Shift and experimental data treated as accelerated expansion of Universe. A possibility of an observation of this type energy loss is considered at high-energy accelerators where energy deposition may reach up hundreds MeV in second.

Yuriy A. Yatsunenko; Julian A. Budagov

2011-03-04T23:59:59.000Z

323

Phase-shifting point diffraction interferometer  

DOE Patents [OSTI]

Disclosed is a point diffraction interferometer for evaluating the quality of a test optic. In operation, the point diffraction interferometer includes a source of radiation, the test optic, a beam divider, a reference wave pinhole located at an image plane downstream from the test optic, and a detector for detecting an interference pattern produced between a reference wave emitted by the pinhole and a test wave emitted from the test optic. The beam divider produces separate reference and test beams which focus at different laterally separated positions on the image plane. The reference wave pinhole is placed at a region of high intensity (e.g., the focal point) for the reference beam. This allows reference wave to be produced at a relatively high intensity. Also, the beam divider may include elements for phase shifting one or both of the reference and test beams. 8 figs.

Medecki, H.

1998-11-10T23:59:59.000Z

324

Rates for Color Shifted Microlensing Events  

E-Print Network [OSTI]

If the objects responsible for gravitational microlensing (ML) of Galactic-bulge stars are faint dwarfs, then blended light from the lens will distort the shape of the ML light curve and shift the color of the observed star during the event. The resolution in current surveys is not accurate enough to observe this effect, but it should be detected with frequent and precise followup observations. We calculate the expected rates for ML events where the shape distortions will be observable by such followup observations, assuming that the lenses are ordinary main-sequence stars in a bar and in the disk. We study the dependence of the rates for color-shifted (CS) events on the frequency of followup observations and on the precision of the photometry for a variety of waveband pairings. We find that for hourly observations in $B$ and $K$ with typical photometric errors of 0.01 mag, 28\\% of the events where a main-sequence bulge star is lensed, and 7\\% of the events where the source is a bulge giant, will give rise to a measurable CS at the 95\\% confidence level. For observations in $V$ and $I$, the fractions become 18\\% and 5\\%, respectively, but may be increased to 40\\% and 13\\% by improved photometric accuracy and increased sampling frequency. We outline how the mass, distance, and transverse speed of the lens can be obtained, giving examples of typical errors. We discuss how CS events can be distinguished from events where the source is blended with a binary companion.

Ari Buchalter; Marc Kamionkowski; R. Michael Rich

1995-11-08T23:59:59.000Z

325

From Proc. IEEE Conference on Control Applications, Hartford, Connecticut, October 1997. c IEEE Fuzzy-Logic Controller Synthesis Based on  

E-Print Network [OSTI]

Fuzzy-Logic Controller Synthesis Based on Sinusoidal-Input Describing Functions & Optimization Lan Sheng. The resulting fuzzy-logic controller obtained in this paper includes derivative action in an inner-loop feedback) approach with fuzzy logic methodologies to create a direct fuzzy-logic controller synthesis procedure [1

Taylor, James H.

326

Aggressively Passive  

E-Print Network [OSTI]

-KT-13-12-48 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 Option 3 maximize wall openings + roof openings 3 8fps5.02.03.5 4.5 2.6fps 0 5fps . . 7.5 1.5 7.5 7.57.5 6.3fps 5.2fps 1.5fps ESL-KT-13-12-48 CATEE... 7 8 9 10 13 14 15 16 17 20 21 22 23 24 27 28 29 30 ESL-KT-13-12-48 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 63% of hours 90F 50%RH 90% satisfied 93% satisfied - 177 fpm 335 fpm 94F-30%RH 44% ti...

Upadhyaya, K.

2013-01-01T23:59:59.000Z

327

Defining Homomorphisms and Other Generalized Morphisms of Fuzzy Relations in Monoidal Fuzzy Logics by Means of BK-Products  

E-Print Network [OSTI]

The present paper extends generalized morphisms of relations into the realm of Monoidal Fuzzy Logics by first proving and then using relational inequalities over pseudo-associative BK-products (compositions) of relations in these logics. In 1977 Bandler and Kohout introduced generalized homomorphism, proteromorphism, amphimorphism, forward and backward compatibility of relations, and non-associative and pseudo-associative products (compositions) of relations into crisp (non-fuzzy Boolean) theory of relations. This was generalized later by Kohout to relations based on fuzzy Basic Logic systems (BL) of H\\'ajek and also for relational systems based on left-continuous t-norms. The present paper is based on monoidal logics, hence it subsumes as special cases the theories of generalized morphisms (etc.) based on the following systems of logics: BL systems (which include the well known Goedel, product logic systems; Lukasiewicz logic and its extension to MV-algebras related to quantum logics), intuitionistic logics and linear logics.

Ladislav J. Kohout

2003-10-12T23:59:59.000Z

328

Advanced Water-Gas Shift Membrane Reactor  

SciTech Connect (OSTI)

The overall objectives for this project were: (1) to identify a suitable PdCu tri-metallic alloy membrane with high stability and commercially relevant hydrogen permeation in the presence of trace amounts of carbon monoxide and sulfur; and (2) to identify and synthesize a water gas shift catalyst with a high operating life that is sulfur and chlorine tolerant at low concentrations of these impurities. This work successfully achieved the first project objective to identify a suitable PdCu tri-metallic alloy membrane composition, Pd{sub 0.47}Cu{sub 0.52}G5{sub 0.01}, that was selected based on atomistic and thermodynamic modeling alone. The second objective was partially successful in that catalysts were identified and evaluated that can withstand sulfur in high concentrations and at high pressures, but a long operating life was not achieved at the end of the project. From the limited durability testing it appears that the best catalyst, Pt-Re/Ce{sub 0.333}Zr{sub 0.333}E4{sub 0.333}O{sub 2}, is unable to maintain a long operating life at space velocities of 200,000 h{sup -1}. The reasons for the low durability do not appear to be related to the high concentrations of H{sub 2}S, but rather due to the high operating pressure and the influence the pressure has on the WGS reaction at this space velocity.

Sean Emerson; Thomas Vanderspurt; Susanne Opalka; Rakesh Radhakrishnan; Rhonda Willigan

2009-01-07T23:59:59.000Z

329

Electrostatic shape-shifting ion optics  

DOE Patents [OSTI]

Electrostatic shape-shifting ion optics includes an outer electrode that defines an interior region between first and second opposed open ends. A first inner electrode is positioned within the interior region of the outer electrode at about the first open end. A second inner electrode is positioned within the interior region of the outer electrode at about the second open end. A first end cap electrode is positioned at about a first open end of the first inner electrode so that the first end cap electrode substantially encloses the first open end of the first inner electrode. A second end cap electrode is positioned at about a second open end of the second inner electrode so that the second end cap electrode substantially encloses the second open end of the second inner electrode. A voltage source operatively connected to each of the electrodes applies voltage functions to each of the electrodes to produce an electric field within an interior space enclosed by the electrodes.

Dahl, David A.; Scott, Jill R.; Appelhans, Anthony D.

2006-05-02T23:59:59.000Z

330

Oak Ridge K-25 Site Technology Logic Diagram  

SciTech Connect (OSTI)

The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates envirorunental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. This volume, Volume 2, contains logic diagrams with an index. Volume 3 has been divided into two separate volumes to facilitate handling and use.

Fellows, R.L. (ed.)

1993-02-26T23:59:59.000Z

331

Oak Ridge K-25 Site Technology Logic Diagram  

SciTech Connect (OSTI)

The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This report is part A of Volume 3 concerning characterization, decontamination, and dismantlement.

Fellows, R.L. (ed.)

1993-02-26T23:59:59.000Z

332

1.1 (predicate logic) 1.1 ( (term))  

E-Print Network [OSTI]

2002 1 1.1 (predicate logic) 1.1 ( (term)) · c · x · f(t1, . . ., tn) (f n ) 1.2 ( (formula)) · p(t1, . . ., tn) (p n ) ( (atomic formula)) · ¬P (negation) · P Q , (disjunction), P Q , (conjunction) · x.P , x.P 1.3 ( (interpretation)) M = (D, I) · D: · I(a) D · I(f) D ? . . . ? D D (f , n ) · I

Minamide, Yasuhiko

333

Drug repositioning and indication discovery using description logics  

E-Print Network [OSTI]

behind the repurposing. Understanding the logic backing the 21 findings is paramount in order to build successful predictive methods later on. 1.2.1 Sildenafil: repositioning from clinical side-effects The National Health Service (NHS) defines angina as a... breast cancer preventive properties. This drug is an example of smart and continuous development, expanding from one indication to another. The fundamental reasons behind the repositioning are grounded on early-stage experimental evidence and not due to a...

Croset, Samuel

2014-10-07T23:59:59.000Z

334

Enrollment Logics and Discourse: Toward Professionalizing Higher Education Enrollment Management  

E-Print Network [OSTI]

stated, enrollment management deals with how students choose a college, how they make the transition to higher education, what leads them to stay or drop out, and what influences how well they do while enrolled (Hossler, 1984, p. 2). Hence, chief... ENROLLMENT LOGICS AND DISCOURSE: TOWARD PROFESSIONALIZING HIGHER EDUCATION ENROLLMENT MANAGEMENT A Dissertation by MONIQUE LAVETTE SNOWDEN Submitted to the Office of Graduate Studies of Texas A&M University in partial...

Snowden, Monique Lavette

2012-10-19T23:59:59.000Z

335

New Polynomial Classes for Logic-Based Abduction  

E-Print Network [OSTI]

We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.

Zanuttini, B

2011-01-01T23:59:59.000Z

336

HYDROGEN PRODUCTION THROUGH WATER GAS SHIFT REACTION OVER NICKEL CATALYSTS.  

E-Print Network [OSTI]

??The progress in fuel cell technology has resulted in an increased interest towards hydrogen fuel. Consequently, water gas shift reaction has found a renewed significance. (more)

Haryanto, Agus

2008-01-01T23:59:59.000Z

337

Nature of Coulomb Shifts of Nuclear Scattering Resonances  

SciTech Connect (OSTI)

Relations determining the shift of energies and widths of scattering resonances are obtained within the method of evolution in the coupling constant. These relations generalize the well-known relations for the shift of levels in a discrete spectrum. The problem of determining the Coulomb shifts of low-energy resonances manifesting themselves in the cross section for the scattering of some light nuclei is solved. Examples that are of importance for nuclear astrophysics and examples of problems that are associated with the production of chemical elements are considered. The character of Coulomb shifts is studied within simple nuclear models. Respective numerical estimates are given, which agree satisfactorily with experimental data.

Takibayev, N.Zh. [Kazakh National Pedagogical University, Almaty (Kazakhstan)

2005-07-01T23:59:59.000Z

338

On the Coulomb shifts of nuclear resonances at low energies  

SciTech Connect (OSTI)

The relationship between the shift of a resonance and the interacion potential is obtained in the frame of coupling constant evolution method. Analysis of the Coulomb shifts of resonance energies and widths has been carried out for nuclear cluster systems at low energies. The nature of these shifts is investigated in the examples of p, {alpha} and p,6Li scatterings. For simplicity a model using separable potentials describing two-body nuclear scattering resonances. The results of the calculation are in accordance with experimental data. In the case of the two {alpha}-particles system the relationship shows that the Coulomb shift of {alpha}, {alpha}-resonance remains small.

Takibayev, N. [Center of Basic and Ecological Research, 99-35 Abaya Ave, 480072 Almaty (Kazakhstan)

2005-05-06T23:59:59.000Z

339

Steam Plant Operator (2nd Shift) | Princeton Plasma Physics Lab  

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

Steam Plant Operator (2nd Shift) Department: Facilities Supervisor(s): Willam Gervasi Staff: L&S 5 Requisition Number: 1500061 Obtain the necessary skills and theoretical knowledge...

340

Oak Ridge K-25 Site Technology Logic Diagram  

SciTech Connect (OSTI)

The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration (ER) and waste management (WN) problems at the Oak Ridge K-25 Site. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remediation, decontamination, and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume 3 B provides the Technology Evaluation Data Sheets (TEDS) for ER/WM activities (Remedial Action Robotics and Automation, Waste Management) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than each technology in Vol. 2. The TEDS are arranged alphanumerically by the TEDS code number in the upper right corner of each data sheet. Volume 3 can be used in two ways: (1) technologies that are identified from Vol. 2 can be referenced directly in Vol. 3 by using the TEDS codes, and (2) technologies and general technology areas (alternatives) can be located in the index in the front of this volume.

Fellows, R.L. (ed.)

1993-02-26T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Chapter 17 Eye-head Gaze shifts Oxford Handbook on Eye Movements  

E-Print Network [OSTI]

1 Chapter 17 Eye-head Gaze shifts Oxford Handbook on Eye Movements "The Neural Basis of Gaze Shifts" 1. Kinematics of eye-head gaze shifts a. Terminology for describing eye-head gaze shifts b. Variability in eye and head motion during gaze shifts c. Gaze shifts in complex environments d. Bottom

Corneil, Brian D.

342

Control of the Lamb shift by a driving field  

E-Print Network [OSTI]

A unitary transformation approach is used to study the energy level shift of the atom coupled to both a vacuum electromagnetic field and a driving laser. The Lamb shift of the energy levels is shown to depend on the Rabi frequency and the detuning...

Yang, Shuai; Zheng, Hang; Hong, Ran; Zhu, Shi-Yao; Zubairy, M. Suhail

2010-01-01T23:59:59.000Z

343

Biological Water Gas Shift DOE Hydrogen, Fuel Cell, and Infrastructure  

E-Print Network [OSTI]

Yields Energy in Darkness · CO supports both cell growth and ATP synthesis, in darkness · ATP can be used to regenerate more water-gas shift catalysts in darkness · Dark bioreactor simplifies reactor design, operation's comments that shift reaction can support cell growth yielding energy in darkness leading to sustained H2

344

FRACTAL TILES ASSOCIATED WITH SHIFT RADIX SYSTEMS ERIE BERTH  

E-Print Network [OSTI]

FRACTAL TILES ASSOCIATED WITH SHIFT RADIX SYSTEMS VAL ?? ERIE BERTH ?? E, ANNE SIEGEL, WOLFGANG to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out a collection of fractal tiles with shift radix systems. We show that for certain classes of parameters r

345

Generalized harmonic spatial coordinates and hyperbolic shift conditions  

E-Print Network [OSTI]

We propose a generalization of the condition for harmonic spatial coordinates analogous to the generalization of the harmonic time slices introduced by Bona et al., and closely related to dynamic shift conditions recently proposed by Lindblom and Scheel, and Bona and Palenzuela. These generalized harmonic spatial coordinates imply a condition for the shift vector that has the form of an evolution equation for the shift components. We find that in order to decouple the slicing condition from the evolution equation for the shift it is necessary to use a rescaled shift vector. The initial form of the generalized harmonic shift condition is not spatially covariant, but we propose a simple way to make it fully covariant so that it can be used in coordinate systems other than Cartesian. We also analyze the effect of the shift condition proposed here on the hyperbolicity of the evolution equations of general relativity in 1+1 dimensions and 3+1 spherical symmetry, and study the possible development of blow-ups. Finally, we perform a series of numerical experiments to illustrate the behavior of this shift condition.

Miguel Alcubierre; Alejandro Corichi; Jos A. Gonzlez; Daro Nez; Bernd Reimann; Marcelo Salgado

2005-10-24T23:59:59.000Z

346

Electronic logic to enhance switch reliability in detecting openings and closures of redundant switches  

DOE Patents [OSTI]

A logic circuit is used to enhance redundant switch reliability. Two or more switches are monitored for logical high or low output. The output for the logic circuit produces a redundant and failsafe representation of the switch outputs. When both switch outputs are high, the output is high. Similarly, when both switch outputs are low, the logic circuit's output is low. When the output states of the two switches do not agree, the circuit resolves the conflict by memorizing the last output state which both switches were simultaneously in and produces the logical complement of this output state. Thus, the logic circuit of the present invention allows the redundant switches to be treated as if they were in parallel when the switches are open and as if they were in series when the switches are closed. A failsafe system having maximum reliability is thereby produced.

Cooper, James A. (Albuquerque, NM)

1986-01-01T23:59:59.000Z

347

Theoretical surface core-level shifts for Be(0001)  

SciTech Connect (OSTI)

Core-ionization potentials (CIP's) are computed for Be(0001). Three core features are observed in corresponding photoelectron spectra, with CIP's shifted relative to the bulk core level by [minus]0.825, [minus]0.570, and [minus]0.265 eV. The computed CIP shifts for the outer and subsurface layers, [minus]0.60 and [minus]0.29 eV, respectively, agree with the latter two of these. It is surmised that the [minus]0.825-eV shift is associated with a surface defect. The negative signs of the Be(0001) surface core-level shifts do not fit into the thermochemical picture widely used to explain CIP shifts. The reason is that a core-ionized Be atom is too small to bond effectively to the remainder of the unrelaxed Be lattice.

Feibelman, P.J. (Sandia National Laboratories, Albuquerque, New Mexico 87185 (United States))

1994-05-15T23:59:59.000Z

348

E-Print Network 3.0 - association logic networks Sample Search...  

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

memory. Memory... mapping. Adaptive Resonance Theory (ART). 7. Theory of fuzzy logic. Fuzzy sets and degree of association... NEURAL NETWORKS DESIGN (EE 578 and ME 578)...

349

Reconfigurable fuzzy logic system for high-frame rate stereovision object tracking.  

E-Print Network [OSTI]

??his study investigates the applicability of fuzzy logic control to high-frame rate stereovision object tracking. The technology developed in this work is based on utilizing (more)

Samarin, Oleg

2008-01-01T23:59:59.000Z

350

A fuzzy logic based motion controller for a multi-degree-of-freedom robot arm.  

E-Print Network [OSTI]

??This thesis addresses the task of producing a generic control algorithm for Cartesian motion of manipulators. The algorithm employs a self organizing fuzzy logic estimator (more)

Pate, Billy Blakley

2012-01-01T23:59:59.000Z

351

A fuzzy logic approach to command arbitration for an autonomous mobile robot  

E-Print Network [OSTI]

new defuzzification strategy that has been able to remedy this problem. Keywords:Fuzzy Logic, Fuzzy Control., Behaviors, Autonomous Mobile Robots...

Pfluger, Nathan Jay

2012-06-07T23:59:59.000Z

352

A novel dual surface type-2 fuzzy logic controller for a micro robot.  

E-Print Network [OSTI]

??Over the last few years there has been an increasing interest in the area of type-2 fuzzy logic sets and systems in academic and industrial (more)

Birkin, Philip

2010-01-01T23:59:59.000Z

353

An architecture for intelligent sensors and fuzzy inputs for fuzzy logic controllers.  

E-Print Network [OSTI]

??Many papers have shown that fuzzy logic can be successfully applied to problems that are nonlinear in nature. Specifically in the area of control, many (more)

Gillespie, Charles Wayne

2012-01-01T23:59:59.000Z

354

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

355

Shift mechanism for change-speed gearing in power transmission  

SciTech Connect (OSTI)

This patent describes a shift mechanism for a change-speed gearing in a power transmission, comprising: an actuator mounted on a support structure; a shift rod axially slidably carried on the support structure and operatively connected at a first end for reciprocating movement; means for selectively establishing a drive power gear train in response to the reciprocating movement where the support structure is formed at one side with a cylindrical portion is formed axially to contain a second end of the shift rod; a plug detachably threaded into the cylindrical portion of the support structure so as to close the axial bore, a coil spring disposed within the axial bore of the cylindrical portion and arranged in surrounding relationship with the shift rod in such a manner as to permit unbiased reciprocating movement of the shift rod within the coil spring; and a retainer interposed between the coil spring and the plug in such a manner that the coil spring is compressed by engagement at a first end. The inner end of the axial bore and second end are with the retainer; further arranged to be engaged with the second end of the shift rod when the plug is removed and fastened again in place. The coil spring is arranged to retain the shift rod in a rearward position when interposed between the retainer and the plug.

Ida, S.; Shimizu, K.; Hotta, J.

1987-06-30T23:59:59.000Z

356

Parallel decomposition of the logical link control protocol  

E-Print Network [OSTI]

INTRODUCTION II PROTOCOLS AND FINITE STATE MACHINES A. PROTOCOLS B. FINITE STATE MACHINES III LOGICAL LINK CONTROL PROTOCOL 1V LLC STATE TABLE DESCRIPTION A. LLC STATES V THE PS I ARCHITECTURE VI RESULTS A. LINK INITIALIZATION SUBMACHINES . . B... expressions that govern the transition are given below Bin I (A) SET ABME+ SET ABME (Ts=Vc=O, Vi=0) + SET ABME (Ts=Vc&, Vi =RIp). (B) DEACTIVATE LS. (G) ENTER LCL Busy + EXIT LCL Busy + LPDU Invalid + SEND XID + SET ADM+ Ti Expired+ Tl Expired+ TEST LINK...

Bajpai, Dhruv Haribanshnath

1991-01-01T23:59:59.000Z

357

Fuzzy logic approach in determining the range of electric vehicle  

SciTech Connect (OSTI)

Some efforts are underway in the automobile industry to determine the distance which an electric car will be able to traverse based on some typical battery conditions. A software package DIANE for modelling battery performance in electric vehicles has recently been developed by Marr, Walsh and Symons (1990). The objective of this paper is to introduce fuzzy logic approach in applying correction factor to the range determined by DIANE. The overall algorithm has been implemented for 8 different cars and 5 different batteries. 5 refs.

Singh, H.; Bawa, H.S.; Barada, S.; Bryant, B.; Anneberg, L. [Wayne State Univ., Detroit, MI (United States). Dept. of Electrical and Computer Engineering

1994-12-31T23:59:59.000Z

358

Isotope shift in the sulfur electron affinity: Observation and theory  

SciTech Connect (OSTI)

The sulfur electron affinities {sup e}A(S) are measured by photodetachment microscopy for the two isotopes {sup 32}S and {sup 34}S (16 752.975 3(41) and 16 752.977 6(85) cm{sup -1}, respectively). The isotope shift in the electron affinity is found to be more probably positive, {sup e}A({sup 34}S)- {sup e}A({sup 32}S) =+0.0023(70) cm{sup -1}, but the uncertainty allows for the possibility that it may be either ''normal''[{sup e}A({sup 34}S) > {sup e}A({sup 32}S)] or ''anomalous''[{sup e}A({sup 34}S) < {sup e}A({sup 32}S)]. The isotope shift is estimated theoretically using elaborate correlation models, monitoring the electron affinity and the mass polarization term expectation value. The theoretical analysis predicts a very large specific mass shift (SMS) that counterbalances the normal mass shift (NMS) and produces an anomalous isotope shift {sup e}A({sup 34}S)- {sup e}A({sup 32}S) =-0.0053(24) cm{sup -1}, field shift corrections included. The total isotope shift can always be written as the sum of the NMS (here +0.0169 cm{sup -1}) and a residual isotope shift (RIS). Since the NMS has nearly no uncertainty, the comparison between experimental and theoretical RIS is more fair. With respective values of -0.0146(70) cm{sup -1} and -0.0222(24) cm{sup -1}, these residual isotope shifts are found to agree within the estimated uncertainties.

Carette, Thomas; Scharf, Oliver; Godefroid, Michel [Chimie Quantique et Photophysique, Universite Libre de Bruxelles - CP160/09, B-1050 Brussels (Belgium); Drag, Cyril; Blondel, Christophe; Delsart, Christian [Laboratoire Aime-Cotton, CNRS, Universite Paris-sud, F-91405 Orsay cedex (France); Froese Fischer, Charlotte [National Institute of Standards and Technology Gaithersburg, Maryland 20899-8420 (United States)

2010-04-15T23:59:59.000Z

359

Lamb shift enhancement and detection in strongly driven superconducting circuits  

E-Print Network [OSTI]

It is shown that strong driving of a quantum system substantially enhances the Lamb shift induced by broadband reservoirs which are typical for solid-state devices. By varying drive parameters the impact of environmental vacuum fluctuations with continuous spectral distribution onto system observables can be tuned in a distinctive way. This provides experimentally feasible measurement schemes for the Lamb shift in superconducting circuits based on Cooper pair boxes, where it can be detected either in shifted dressed transition frequencies or in pumped charge currents.

Vera Gramich; Simone Gasparinetti; Paolo Solinas; Joachim Ankerhold

2014-05-06T23:59:59.000Z

360

Detection of a small shift in a broad distribution  

E-Print Network [OSTI]

Statistical methods for the extraction of a small shift in broad data distributions are examined by means of Monte Carlo simulations. This work was originally motivated by the CERN neutrino beam to Gran Sasso (CNGS) experiment for which the OPERA detector collaboration reported a time shift in a broad distribution with an accuracy of $\\pm 7.8\\,$ns, while the fluctuation of the average time turns with $\\pm 23.8\\,$ns out to be much larger. Although the physical result of a big shift has been withdrawn, statistical methods that make an identification in a broad distribution with such a small error possible remain of interest.

Bernd A. Berg

2014-09-05T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles: Preprint  

SciTech Connect (OSTI)

Hybrid electric vehicles, plug-in hybrid electric vehicles, and battery electric vehicles offer the potential to reduce both oil imports and greenhouse gases, as well as to offer a financial benefit to the driver. However, assessing these potential benefits is complicated by several factors, including the driving habits of the operator. We focus on driver aggression, i.e., the level of acceleration and velocity characteristic of travel, to (1) assess its variation within large, real-world drive datasets, (2) quantify its effect on both vehicle efficiency and economics for multiple vehicle types, (3) compare these results to those of standard drive cycles commonly used in the industry, and (4) create a representative drive cycle for future analyses where standard drive cycles are lacking.

Neubauer, J.; Wood, E.

2013-03-01T23:59:59.000Z

362

Aggressive fuel designs minimize fuel costs for the ANO-1 PWR  

SciTech Connect (OSTI)

Fuel cycle design objectives are influenced by the desire of utilities to attain top performer status in the industry and to become more cost competitive. At Energy, we are seeking aggressive fuel designs and core management schemes that reduce costs without compromising operating margins. Recent efforts at the Arkansas Nuclear One (ANO-1) plant demonstrated the effectiveness of this approach and led to important benefits for both the utility and the fuel vendor, Babcock Wilcox. With our acquisition of the CASMO-3/SIMULATE-3 advanced physics code, we initiated a proactive approach to the design of cycle 12 of ANO-1. The primary goal was to explore the use of advanced designs to reduce front-end fuel cycle costs for cycle 12. A secondary goal was to incorporate those features into cycle 12 that could lead to further cost or margin improvements in later cycles.

Ober, T.G.; Megehee, K.B.; Bencheikh, A.; Thompson, R.A. (Entergy Operations, Jackson, MS (United States))

1993-01-01T23:59:59.000Z

363

Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles  

SciTech Connect (OSTI)

Hybrid electric vehicles, plug-in hybrid electric vehicles, and battery electric vehicles offer the potential to reduce both oil imports and greenhouse gases, as well as to offer a financial benefit to the driver. However, assessing these potential benefits is complicated by several factors, including the driving habits of the operator. We focus on driver aggression, i.e., the level of acceleration and velocity characteristic of travel, to (1) assess its variation within large, real-world drive datasets, (2) quantify its effect on both vehicle efficiency and economics for multiple vehicle types, (3) compare these results to those of standard drive cycles commonly used in the industry, and (4) create a representative drive cycle for future analyses where standard drive cycles are lacking.

Neubauer, J.; Wood, E.

2013-01-01T23:59:59.000Z

364

LMA/ITP. Logic Machine Architecture for UNIX  

SciTech Connect (OSTI)

LMA (Logic Machine Architecture) is a set of software tools for the construction of automated reasoning systems. It is a layered architecture for the creation of inference engines. Layer 1 of the architecture supports the functions required to maintain a database of logical formulas. Layer 2 includes the functions required to construct clause-based reasoning systems, such as ITP. LMA includes most resolution inference mechanisms, paramodulation, demodulation, subsumption, weighting, and a variety of other features. This release is identified by the authors as version 2.0 of LMA. It was developed with the explicit goal of avoiding restrictions on items such as literals/clause, variables/clause, etc. ITP, an example interactive theorem prover implemented using the LMA tools, is in itself adequate for many research and educational purposes. ITP, in LMA terminology, is considered a Layer 3 program. ITP is a clause-based reasoning system supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user. Two DEC VAX11 editions of LMA, ITP are available. One is written for use with DEC VAX VMS systems, and the other edition, edition B, is for use with DEC VAX Berkeley UNIX systems.

Lusk, E.L.; Overbeek, R.A. [Argonne National Lab., IL (United States)

1992-03-02T23:59:59.000Z

365

Walsh-synthesized noise-filtering quantum logic  

E-Print Network [OSTI]

We study a novel class of open-loop control protocols constructed to perform arbitrary nontrivial single-qubit logic operations robust against time-dependent non-Markovian noise. Amplitude and phase modulation protocols are crafted leveraging insights from functional synthesis and the basis set of Walsh functions. We employ the experimentally validated generalized filter-transfer function formalism in order to find optimized control protocols for target operations in SU(2) by defining a cost function for the filter-transfer function to be minimized through the applied modulation. Our work details the various techniques by which we define and then optimize the filter-synthesis process in the Walsh basis, including the definition of specific analytic design rules which serve to efficiently constrain the available synthesis space. This approach yields modulated-gate constructions consisting of chains of discrete pulse-segments of arbitrary form, whose modulation envelopes possess intrinsic compatibility with digital logic and clocking. We derive novel families of Walsh-modulated noise filters designed to suppress dephasing and coherent amplitude-damping noise, and describe how well-known sequences derived in NMR also fall within the Walsh-synthesis framework. Finally, our work considers the effects of realistic experimental constraints such as limited modulation bandwidth on achievable filter performance.

H. Ball; M. J. Biercuk

2014-10-07T23:59:59.000Z

366

Logical Error Rate Scaling of the Toric Code  

E-Print Network [OSTI]

To date, a great deal of attention has focused on characterizing the performance of quantum error correcting codes via their thresholds, the maximum correctable physical error rate for a given noise model and decoding strategy. Practical quantum computers will necessarily operate below these thresholds meaning that other performance indicators become important. In this work we consider the scaling of the logical error rate of the toric code and demonstrate how, in turn, this may be used to calculate a key performance indicator. We use a perfect matching decoding algorithm to find the scaling of the logical error rate and find two distinct operating regimes. The first regime admits a universal scaling analysis due to a mapping to a statistical physics model. The second regime characterizes the behavior in the limit of small physical error rate and can be understood by counting the error configurations leading to the failure of the decoder. We present a conjecture for the ranges of validity of these two regimes and use them to quantify the overhead -- the total number of physical qubits required to perform error correction.

Fern H. E. Watson; Sean D. Barrett

2014-09-26T23:59:59.000Z

367

Oak Ridge K-25 Site Technology Logic Diagram  

SciTech Connect (OSTI)

The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. This Volume, Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume is divided into ten chapters. The first chapter is a brief introduction, and the second chapter details the technical approach of the TLD. These categories are the work activities necessary for successful decontamination and decommissioning, waste management, and remedial action of the K-25 Site. The categories are characterization, decontamination, dismantlement, robotics and automation, remedial action, and waste management. Materials disposition is addressed in Chap. 9. The final chapter contains regulatory compliance information concerning waste management, remedial action, and decontamination and decommissioning.

Fellows, R.L. (ed.)

1993-02-26T23:59:59.000Z

368

Pervasive poleward shifts among North American bird species  

E-Print Network [OSTI]

Climate change is expected to influence species geographic distributions in the form of poleward and upward range expansion combined with extirpations from the equatorial and downslope sides of the distribution, but such shifts observed to date...

Peterson, A. Townsend; Martí nez-Meyer, Enrique

2009-01-01T23:59:59.000Z

369

Tackling the blackbody shift in a strontium optical lattice clock  

E-Print Network [OSTI]

A major obstacle for optical clocks is the frequency shift due to black body radiation. We discuss how one can tackle this problem in an optical lattice clock; in our case 87-Sr: firstly, by a measurement of the dc Stark shift of the clock transition and, secondly, by interrogating the atoms in a cryogenic environment. Both approaches rely on transporting ultracold atoms over several cm within a probe cycle. We evaluate this approach of mechanically moving the optical lattice and conclude that it is feasible to transport the atoms over 50 mm within 300 ms. With this transport a dc Stark shift measurement will allow to reduce the contribution of the blackbody radiation to the fractional uncertainty below 2 ? 10^??17 at room temperature by improving the shift coefficient known only from atomic structure calculations up to now. We propose a cryogenic environment at 77 K that will reduce this contribution to few parts in 10^??18.

Middelmann, Thomas; Falke, Stephan; Winfred, Joseph S R Vellore; Riehle, Fritz; Sterr, Uwe

2010-01-01T23:59:59.000Z

370

Tackling the blackbody shift in a strontium optical lattice clock  

E-Print Network [OSTI]

A major obstacle for optical clocks is the frequency shift due to black body radiation. We discuss how one can tackle this problem in an optical lattice clock; in our case 87-Sr: firstly, by a measurement of the dc Stark shift of the clock transition and, secondly, by interrogating the atoms in a cryogenic environment. Both approaches rely on transporting ultracold atoms over several cm within a probe cycle. We evaluate this approach of mechanically moving the optical lattice and conclude that it is feasible to transport the atoms over 50 mm within 300 ms. With this transport a dc Stark shift measurement will allow to reduce the contribution of the blackbody radiation to the fractional uncertainty below 2 * 10^-17 at room temperature by improving the shift coefficient known only from atomic structure calculations up to now. We propose a cryogenic environment at 77 K that will reduce this contribution to few parts in 10^-18.

Thomas Middelmann; Christian Lisdat; Stephan Falke; Joseph S. R. Vellore Winfred; Fritz Riehle; Uwe Sterr

2010-09-10T23:59:59.000Z

371

Pace of shifts in climate regions increases with global temperature  

E-Print Network [OSTI]

Human-induced climate change causes significant changes in local climates, which in turn lead to changes in regional climate zones. Large shifts in the world distribution of KppenGeiger climate classifications by the end ...

Mahlstein, Irina

372

Consistent blind protein structure generation from NMR chemical shift data  

E-Print Network [OSTI]

Consistent blind protein structure generation from NMR chemical shift data Yang Shen*, Oliver Lange been successfully applied in a blind manner to nine protein targets with molecular masses up to 15.4 k

Baker, David

373

Communicating 21st century statecraft: Evaluating the paradigm shift argument  

E-Print Network [OSTI]

's criterion for paradigm shift in communications technology and diplomacy, I evaluated State's current program of social media and public diplomacy called 21st Century Statecraft. I conducted a content analysis of organizational Twitter feeds and also...

Chinn, Jacquelyn Nicole

2011-10-21T23:59:59.000Z

374

On Termination of Constraint Logic Programs Livio Colussi 1, Elena Marchiori 2, Massimo Marchiori 1  

E-Print Network [OSTI]

On Termination of Constraint Logic Programs Livio Colussi 1, Elena Marchiori 2, Massimo Marchiori 1 introduces a necessary and sufficient condition for termination of constraint logic programs. The method programs. Then termination is proven using a technique inspired by the seminal approach of Floyd

Marchiori, Elena

375

A LOGICAL INVERTED TAXONOMY OF SORTING ALGORITHMS S.M. Merritt K.K. Lau  

E-Print Network [OSTI]

A LOGICAL INVERTED TAXONOMY OF SORTING ALGORITHMS S.M. Merritt K.K. Lau School of Computer Science­ mational programming and automatic program synthesis provided the insight that led to Merritt's inverted taxonomy of sorting algorithms. This provides a logical basis for the inverted taxonomy and expands

Lau, Kung-Kiu

376

A Logical Semantics for DepthFirst Prolog with Ground Negation  

E-Print Network [OSTI]

only from valuation functions (multivalued logic interpretations in the style of Fitting and Kunen in the prooftheoretic descriptions of [And90, And91] and was developed further in [And92]. The general method, logical valuation function, and then to characterize wider classes of queries and programs with the use

Andrews, Jamie

377

Integrated Computer-Aided Engineering 9 (2002) 363372 363 Fusion of neural networks with fuzzy logic  

E-Print Network [OSTI]

in statis- tics, management sciences, and pattern recognition [1, 33]. A general result from the previous with fuzzy logic and genetic algorithm Sung-Bae Cho Department of Computer Science, Yonsei University, 134 softcomputing techniques. The first method based on fuzzy logic nonlinearly combines objective evidences

Cho, Sung-Bae

378

Safety, Liveness and Fairness in Temporal Logic \\Lambda A. Prasad Sistla  

E-Print Network [OSTI]

Safety, Liveness and Fairness in Temporal Logic \\Lambda A. Prasad Sistla Department of Electrical for proving correctness with respect to these properties. The properties that we consider include safety Logic, Safety Properties, Live­ ness Properties, Fairness Properties, Algorithms. \\Lambda This work

Sistla, A. Prasad

379

An Optimal Fuzzy Logic Power Sharing Strategy for Parallel Hybrid Electric Vehicles  

E-Print Network [OSTI]

An Optimal Fuzzy Logic Power Sharing Strategy for Parallel Hybrid Electric Vehicles F. Khoucha1 presents a fuzzy logic controller for a Parallel Hybrid Electric Vehicle (PHEV). The PHEV required driving economy, and emissions. Index Terms--Parallel Hybrid Electric Vehicle (PHEV), Internal Combustion Engine

Brest, Université de

380

Specification of an Infinite-State Local Model Checker in Rewriting Logic Bow-Yaw Wang  

E-Print Network [OSTI]

Specification of an Infinite-State Local Model Checker in Rewriting Logic Bow-Yaw Wang Institute logic and use it to analyze an infinite-state system in this paper. In order not to pursue infinite computation path endlessly, we perform bounded proof search on the system. Inconclusive proofs occurred

Wang, Bow-Yaw

Note: This page contains sample records for the topic "aggressive shift logic" 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

Incorporating business logics into RFID-enabled applications Xiaohui Zhao a,  

E-Print Network [OSTI]

resources into reusable models for efficient transaction management. Once such business logics modelling and business transaction automation a b s t r a c t Radio Frequency Identification (RFID logics to RFID edge systems. A comprehensive framework is proposed to model business rules in an event

Liu, Chengfei

382

Fuzzy Rule Reduction and Tuning of Fuzzy Logic Controllers for a HVAC System  

E-Print Network [OSTI]

Fuzzy Rule Reduction and Tuning of Fuzzy Logic Controllers for a HVAC System R. Alcal´a, J. Alcal, Ventilating and Air Conditioning (HVAC) Systems are equip- ments usually implemented for maintaining satisfactory comfort conditions in build- ings. The design of Fuzzy Logic Controllers (FLCs) for HVAC Systems

Granada, Universidad de

383

Microfluidic logic gates and timers{ Michael W. Toepke, Vinay V. Abhyankar and David J. Beebe*  

E-Print Network [OSTI]

Microfluidic logic gates and timers{ Michael W. Toepke, Vinay V. Abhyankar and David J. Beebe to create a number of microfluidic analogs to electronic circuit components. Three classes of components are demonstrated: (1) OR/AND, NOR/NAND, and XNOR digital microfluidic logic gates; (2) programmable, autonomous

Beebe, David J.

384

Belief Revision of Logic Programs under Answer Set Semantics James Delgrande  

E-Print Network [OSTI]

Belief Revision of Logic Programs under Answer Set Semantics James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. Canada V5A 1S6 Torsten Schaub Institut f¨ur Informatik Abstract We address the problem of belief revision in (nonmonotonic) logic programming under answer set

Delgrande, James P.

385

Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity  

E-Print Network [OSTI]

on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity of Interaction for Polarized Linear Logic We present a Geometry of Interaction (GoI) model for the multiplicative & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & Date: 7th November 2011 11th November 2011 Venue: Room 110, Faculty of Science Building No.3, Kyoto

Banbara, Mutsunori

386

Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics  

E-Print Network [OSTI]

Papers on neutrosophy (a generalization of dialectics), on neutrosophic logic, set, probability and statistics (generalizations of fuzzy logic, fuzzy set, and imprecise probability respectively), by Florentin Smarandache, Jean Dezert, S. Bhattacharya, Andrzej Buller, M. Khoshnevisan, S. Singh, Feng Liu, Gh. C. Dinulescu-Campina, Chris Lucas, and C. Gershenson.

Florentin Smarandache; Jean Dezert; S. Bhattacharya; Andrzej Buller; M. Khoshnevisan; S. Singh; Feng Liu; Gh. C. Dinulescu-Campina; Chris Lucas; C. Gershenson

2003-06-26T23:59:59.000Z

387

Artificial Intelligence 58 (1992) 3-20 3 The logic of  

E-Print Network [OSTI]

Artificial Intelligence 58 (1992) 3-20 3 Elsevier ARTINT 948 The logic of satisfaction constraint, Canada V6T 1W5 Abstract Mackworth, A.K., The logic of constraint satisfaction, Artificial Intelligence 58 Artificial Intelligence and related areas. The finite CSP (FCSP) framework is presented here as a restricted

Mackworth, Alan K.

388

Flow resistance for microfluidic logic operations Tor Vestad and David W. M. Marra)  

E-Print Network [OSTI]

Flow resistance for microfluidic logic operations Tor Vestad and David W. M. Marra) Chemical for the actuation of both one- and two-input microfluidic "logical gates". By taking advantage of system of Physics. [DOI: 10.1063/1.1764592] As microfluidic processes are scaled down to smaller and smaller length

Munakata, Toshinori

389

Trigger-Wave Propagation in Arbitrary Metrics in Asynchronous Cellular Logic Arrays  

E-Print Network [OSTI]

Trigger-Wave Propagation in Arbitrary Metrics in Asynchronous Cellular Logic Arrays Przemyslaw image processing tasks using trigger-wave propagation in a medium with a hardware-controlled metric. The principles of wave propagation in cellular four-connected logic arrays emulating different distance measure

Dudek, Piotr

390

Some experimental observations on common sense and fuzzy logic Maria Ajello, Filippo Spagnolo1  

E-Print Network [OSTI]

35 Some experimental observations on common sense and fuzzy logic Maria Ajello, Filippo Spagnolo1 1.0 COMMON SENSE AND FUZZY LOGIC Bart Kosko's works on fuzzy thinking have drawn great attention to some to be in control of a situation. The author (of the well known book: "fuzzy thinking") has highlighted that when we

Spagnolo, Filippo

391

Complexity of Abduction in the EL Family of Lightweight Description Logics  

E-Print Network [OSTI]

Complexity of Abduction in the EL Family of Lightweight Description Logics Meghyn Bienvenu IRIT-based abduction has been exten- sively studied for the case in which the background knowl- edge is represented by a propositional theory, but very little is known about abduction with respect to description logic knowledge bases

Baader, Franz

392

Universit a degli Studi di Bologna Using Abductive Logic Agents for  

E-Print Network [OSTI]

Universit#18;a degli Studi di Bologna DEIS Using Abductive Logic Agents for Legal Justi#12;cation A Abductive Logic Agents for Legal Justi#12;cation A. Ciampolini P. Torroni DEIS, Universit#18;a di Bologna. In this paper we present a novel approach for legal justi#12;cation based on an abductive multi-agent system

Torroni, Paolo

393

Abductive Inference using Array-Based Logic Jeppe Revall Frisvad1  

E-Print Network [OSTI]

Abductive Inference using Array-Based Logic Jeppe Revall Frisvad1 Peter Falster1 Gert L. Møller2@arraytechnology.com Abstract The notion of abduction has found its usage within a wide variety of AI fields. Computing abduc- tractability we present a new approach to logic- based abduction; through the geometrical view of data employed

394

A Tractable Approach to ABox Abduction over Description Logic Ontologies Jianfeng Du  

E-Print Network [OSTI]

A Tractable Approach to ABox Abduction over Description Logic Ontologies Jianfeng Du Guangdong abduction is an important reasoning mechanism for description logic ontologies. It computes all mini- mal of ABox abduction, called the query abduction problem, where an observation is a Boolean conjunc- tive

Wang, Kewen

395

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting  

E-Print Network [OSTI]

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting #3, Canada T6G 2E8 Abstract A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often re­ quired to generate

Wu, Dekai

396

Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates  

E-Print Network [OSTI]

Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates Elvira Albert of Computer Science, University of Roskilde, jpg@ruc.dk Abstract. Partial evaluation of logic programs which) extensible, as the information about purity can be added to programs using assertions without having

Politécnica de Madrid, Universidad

397

Process Mining and Verification of Properties: An Approach based on Temporal Logic  

E-Print Network [OSTI]

, temporal logic, business process management, workflow management, data mining, Petri nets. 1 IntroductionProcess Mining and Verification of Properties: An Approach based on Temporal Logic W.M.P. van der flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining

van der Aalst, Wil

398

Logic Based Approaches to Work ow Modeling and Veri cation 1 Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul,  

E-Print Network [OSTI]

Contents Logic Based Approaches to Work ow Modeling and Veri#12;cation 1 Saikat Mukherjee, Hasan : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 37 #12; #12; Logic-Based Approaches to Work ow Modeling and Veri#12;cation Saikat Mukherjee, 1 Hasan

Yang, Guizhen

399

Logic Based Approaches to Workflow Modeling and Verification 1 Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul,  

E-Print Network [OSTI]

Contents Logic Based Approaches to Workflow Modeling and Verification 1 Saikat Mukherjee, Hasan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 #12;#12;Logic-Based Approaches to Workflow Modeling and Verification Saikat Mukherjee,1 Hasan

Yang, Guizhen

400

Final report on the use of the modular-logic-nomenclature approach for the N-reactor probabilistic risk assessment  

SciTech Connect (OSTI)

The N-Reactor probabilistic risk assessment adaption of the modular logic approach for fault tree modeling has led to the update of the master logic diagram (MLD) nomenclature to conform with a standard modular-logic-model-nomeclature format. This report describes the MLD nomenclature system and provides a listing of the updated MLD label codes, along with the original codes.

NONE

1986-06-10T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

The Logical Inconsistency of the Old Quantum Theory of Black Body Radiation Author(s): John Norton  

E-Print Network [OSTI]

radiation was manifestly logically in- consistent. It required the energies of electric resonatorsThe Logical Inconsistency of the Old Quantum Theory of Black Body Radiation Author(s): John Norton September, 1987 THE LOGICAL INCONSISTENCY OF THE OLD QUANTUM THEORY OF BLACK BODY RADIATION* JOHN NORTONt

402

From Proc. IEEE Conference on Control Applications, Dearborn, Michigan, September 1996. c IEEE Fuzzy-Logic Controller Synthesis for  

E-Print Network [OSTI]

Fuzzy-Logic Controller Synthesis for Electro-mechanical Systems with Nonlinear Friction James H. Taylor of fuzzy-logic controllers are, in func- tional terms, of the proportional-plus-derivative (pd) where a is the input amplitude). The result- ing fuzzy-logic controller obtained in this paper includes

Taylor, James H.

403

INTRODUCTION Since Zadeh [20] introduced Fuzzy Sets, many discussions have taken place whether Fuzzy Logic (FL) deserves a place  

E-Print Network [OSTI]

Fuzzy Logic (FL) deserves a place in control theory. Three properties speak in favour of FL control larger than the true maximal input for a system, Fuzzy Logic Controllers (FLC) by nature restrict A j x µ j x ( ) NLQ THEORY BASED STABILITY ANALYSIS OF SISO FUZZY LOGIC CONTROLLERS J?RGEN VAN GORP

404

IEEE TRANSACTIONS ON POWER ELECTRONICS, VOL. 12, NO. 1, JANUARY 1997 87 Fuzzy Logic Based Intelligent Control of a Variable  

E-Print Network [OSTI]

system. The generation system has fuzzy logic control with vector control in the inner loops. A fuzzyIEEE TRANSACTIONS ON POWER ELECTRONICS, VOL. 12, NO. 1, JANUARY 1997 87 Fuzzy Logic Based a variable speed wind genera- tion system where fuzzy logic principles are used for efficiency optimization

Simões, Marcelo Godoy

405

A 5.26 Mflips Programmable Analogue Fuzzy Logic Controller in a Standard CMOS 2.4 Technology  

E-Print Network [OSTI]

A 5.26 Mflips Programmable Analogue Fuzzy Logic Controller in a Standard CMOS 2.4µ Technology analogue Fuzzy Logic Controller (FLC) is presented. The design of some new functional blocks In the last years the application of Fuzzy Logic has been extended beyond classical Process Control. Signal

Verleysen, Michel

406

Design of a pneumatically assisted shifting system for Formula SAE racing applications  

E-Print Network [OSTI]

An improved shifting system for use with the MIT Formula SAE race car was designed in order to provide drivers with a faster and easier means of shifting. The result of this design was a pneumatic shifting system weighing ...

Kennett, Andrew J. (Andrew John)

2008-01-01T23:59:59.000Z

407

PdZnAl Catalysts for the Reactions of Water-Gas-Shift, Methanol...  

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

PdZnAl Catalysts for the Reactions of Water-Gas-Shift, Methanol Steam Reforming, and Reverse-Water-Gas-Shift. PdZnAl Catalysts for the Reactions of Water-Gas-Shift, Methanol Steam...

408

Controlling of grid connected photovoltaic lighting system with fuzzy logic  

SciTech Connect (OSTI)

In this study, DC electrical energy produced by photovoltaic panels is converted to AC electrical energy and an indoor area is illuminated using this energy. System is controlled by fuzzy logic algorithm controller designed with 16 rules. Energy is supplied from accumulator which is charged by photovoltaic panels if its energy would be sufficient otherwise it is supplied from grid. During the 1-week usage period at the semester time, 1.968 kWh energy is used from grid but designed system used 0.542 kWh energy from photovoltaic panels at the experiments. Energy saving is determined by calculations and measurements for one education year period (9 months) 70.848 kWh. (author)

Saglam, Safak; Ekren, Nazmi; Erdal, Hasan [Technical Education Faculty, Marmara University, Istanbul 34722 (Turkey)

2010-02-15T23:59:59.000Z

409

The programmable (logic) controller: Adapting in an environment of change  

SciTech Connect (OSTI)

Reports of the imminent death of the PLC (programmable logic controller) were greatly exaggerated, to paraphrase Mark Twain. In fact, the PLC is not only alive and working worldwide in thousands of applications, but it is also integrating well with related technologies. Long-term survival is a larger question - probably unanswerable given the pace of technological change. However, a few questions arise about the PLC today and in the immediate future: (1) What`s happening with programming languages? (2) Will there continue to be a {open_quotes}blurring of the lines{close_quotes} between the PLC and other technologies, and what role will software play in this integration? (3) How will the PLC`s cost and size affect the market?

Levine, P.S. [ed.

1995-03-01T23:59:59.000Z

410

Observation of the Goos-Haenchen Shift with Neutrons  

SciTech Connect (OSTI)

The Goos-Haenchen effect is a spatial shift along an interface resulting from an interference effect that occurs for total internal reflection. This phenomenon was suggested by Sir Isaac Newton, but it was not until 1947 that the effect was experimentally observed by Goos and Haenchen. We provide the first direct, absolute, experimental determination of the Goos-Haenchen shift for a particle experiencing a potential well as required by quantum mechanics: namely, wave-particle duality. Here, the particle is a spin-polarized neutron reflecting from a film of magnetized material. We detect the effect through a subtle change in polarization of the neutron. Here, we demonstrate, through experiment and theory, that neutrons do exhibit the Goos-Haenchen effect and postulate that the associated time shift should also be observable.

Haan, Victor-O. de; Plomp, Jeroen; Rekveldt, Theo M.; Kraan, Wicher H.; Well, Ad A. van; Dalgliesh, Robert M.; Langridge, Sean [Department Radiation, Radionuclides and Reactors, Faculty of Applied Sciences, Delft University of Technology, Mekelweg 15, 2629 JB Delft (Netherlands); STFC, ISIS, Rutherford Appleton Laboratory, Chilton, Oxfordshire, OX11 0QX (United Kingdom)

2010-01-08T23:59:59.000Z

411

Guide to good practices for shift routines and operating practices  

SciTech Connect (OSTI)

This Guide to Good Practices is written to enhance understanding of, and provide direction for, ``Shift Routines and Operating Practices,`` Chapter 2 of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing shift routines and operating practices. ``Shift Routines and Operating Practices`` is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for a high standard of professional conduct and sound operating practices to promote safe and efficient operations. Recently, guidance pertaining to this element has been strengthened for nuclear power reactors. This additional guidance is given in Appendix C for information purposes. Though this guidance and good practices pertain to nuclear power reactors, DOE sites may choose to use a graded approach for implementing these in nuclear facilities.

NONE

1998-12-01T23:59:59.000Z

412

Guide to good practices for shift routines and operating practices  

SciTech Connect (OSTI)

This Guide to Good Practices is written to enhance understanding of, and provide direction for, Shift Routines and Operating Practices, Chapter H of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities.'' The practices in this guide should be considered when planning or reviewing shift routines and operating practices. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. Shift Routines and Operating Practices'' is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for a high standard of professional conduct and sound operating practices to promote safe and efficient operations.

Not Available

1993-06-01T23:59:59.000Z

413

Guide to good practices for shift routines and operating practices  

SciTech Connect (OSTI)

This Guide to Good Practices is written to enhance understanding of, and provide direction for, Shift Routines and Operating Practices, Chapter H of Department of Energy (DOE) Order 5480.19, ``Conduct of Operations Requirements for DOE Facilities.`` The practices in this guide should be considered when planning or reviewing shift routines and operating practices. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. ``Shift Routines and Operating Practices`` is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for a high standard of professional conduct and sound operating practices to promote safe and efficient operations.

Not Available

1993-06-01T23:59:59.000Z

414

Resonance frequency shift of strongly heated micro-cantilevers  

E-Print Network [OSTI]

In optical detection setups to measure the deflection of micro-cantilevers, part of the sensing light is absorbed, heating the mechanical probe. We present experimental evidences of a frequency shift of the resonant modes of a cantilever when the light power of the optical measurement set-up is increased. This frequency shift is a signature of the temperature rise, and presents a dependence on the mode number. An analytical model is derived to take into account the temperature profile along the cantilever, it shows that the frequency shifts are given by an average of the profile weighted by the local curvature for each resonant mode. We apply this framework to measurements in vacuum and demonstrate that huge temperatures can be reached with moderate light intensities: a thousand {\\textdegree}C with little more than 10 mW. We finally present some insight into the physical phenomena when the cantilever is in air instead of vacuum.

Sandoval, Felipe Aguilar; Bertin, ric; Bellon, Ludovic

2015-01-01T23:59:59.000Z

415

Nature of the Frequency Shift of Hydrogen Valence Vibrations  

E-Print Network [OSTI]

The physical nature of a frequency shift of hydrogen valence vibrations in a water molecule due to its interaction with neighbor molecules has been studied. Electrostatic forces connected with the multipole moments of molecules are supposed to give a dominating contribution to the intermolecular interaction. The frequency shift was calculated in the case where two neighbor molecules form a dimer. The obtained result is in qualitative agreement with the frequency shifts observed for water vapor, hexagonal ice, and liquid water, as well as for aqueous solutions of alcohols. This fact testifies to the electrostatic nature of H-bonds used to describe both the specific features of the intermolecular interaction in water and the macroscopic properties of the latter.

Zhyganiuk, I V

2015-01-01T23:59:59.000Z

416

System for computer controlled shifting of an automatic transmission  

DOE Patents [OSTI]

In an automotive vehicle having an automatic transmission that driveably connects a power source to the driving wheels, a method to control the application of hydraulic pressure to a clutch, whose engagement produces an upshift and whose disengagement produces a downshift, the speed of the power source, and the output torque of the transmission. The transmission output shaft torque and the power source speed are the controlled variables. The commanded power source torque and commanded hydraulic pressure supplied to the clutch are the control variables. A mathematical model is formulated that describes the kinematics and dynamics of the powertrain before, during and after a gear shift. The model represents the operating characteristics of each component and the structural arrangement of the components within the transmission being controlled. Next, a close loop feedback control is developed to determine the proper control law or compensation strategy to achieve an acceptably smooth gear ratio change, one in which the output torque disturbance is kept to a minimum and the duration of the shift is minimized. Then a computer algorithm simulating the shift dynamics employing the mathematical model is used to study the effects of changes in the values of the parameters established from a closed loop control of the clutch hydraulic and the power source torque on the shift quality. This computer simulation is used also to establish possible shift control strategies. The shift strategies determine from the prior step are reduced to an algorithm executed by a computer to control the operation of the power source and the transmission.

Patil, Prabhakar B. (Detroit, MI)

1989-01-01T23:59:59.000Z

417

Fuel cell system logic for differentiating between rapid and normal shutdown commands  

DOE Patents [OSTI]

A method of controlling the operation of a fuel cell system wherein each shutdown command for the system is subjected to decision logic which determines whether the command should be a normal shutdown command or rapid shutdown command. If the logic determines that the shutdown command should be a normal shutdown command, then the system is shutdown in a normal step-by-step process in which the hydrogen stream is consumed within the system. If the logic determines that the shutdown command should be a rapid shutdown command, the hydrogen stream is removed from the system either by dumping to atmosphere or routing to storage.

Keskula, Donald H. (Webster, NY); Doan, Tien M. (Columbia, MD); Clingerman, Bruce J. (Palmyra, NY)

2000-01-01T23:59:59.000Z

418

The paradigm shift in wireless platforms : from traffic business to transaction business  

E-Print Network [OSTI]

The mobile communication industry in Japan is facing a constructive revolution that will be the industry to next-generation services. Most communication companies have competed aggressively to develop and offer e-mail or ...

Matsuki, Akira

2005-01-01T23:59:59.000Z

419

Method and apparatus for executing a shift in a hybrid transmission  

SciTech Connect (OSTI)

A method for executing a transmission shift in a hybrid transmission including first and second electric machines includes executing a shift-through-neutral sequence from an initial transmission state to a target transmission state including executing an intermediate shift to neutral. Upon detecting a change in an output torque request while executing the shift-through-neutral sequence, possible recovery shift paths are identified. Available ones of the possible recovery shift paths are identified and a shift cost for each said available recovery shift path is evaluated. The available recovery shift path having a minimum shift cost is selected as a preferred recovery shift path and is executed to achieve a non-neutral transmission state.

Gupta, Pinaki; Kaminsky, Lawrence A; Demirovic, Besim

2013-09-03T23:59:59.000Z

420

Google Energy's Shift into Renewables case 1-429-226  

E-Print Network [OSTI]

Google Energy's Shift into Renewables case 1-429-226 April 3, 2012 Published by Globa With the green light from co-founder and CEO Larry Page to expand, the team from Google Energy, a recently created subsidiary, sat down to discuss the company's renewable energy investment strategy.1 Google Energy

Edwards, Paul N.

Note: This page contains sample records for the topic "aggressive shift logic" 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

Solar Supergranulation Waves Detected in Surface Doppler Shift  

E-Print Network [OSTI]

Recently Gizon, Duvall and Schou (2002) suggested that supergranulation has a wave-like component. In this paper I show that the same phenomenon can be observed using surface Doppler shift data, thereby confirming their observations. I am also able to measure the dispersion relation to lower wavenumbers and to extend the results for rotation and meridional flows beyond +/-70 degrees latitude.

J. Schou

2002-08-21T23:59:59.000Z

422

Climatic regime shift and decadal anomalous events in China  

E-Print Network [OSTI]

Climatic regime shift and decadal anomalous events in China Weihong Qian & Xiang Lin & Yafen Zhu from China showed temporal and regional patterns in the last two to three centuries, including two. The coldest event occurred in the decade of 1965­1975 in eastern China, while the periods of 1920­1930, 1940

Qian, Weihong

423

SHIFTING MODES? TRANSPORTATION AND URBAN DEVELOPMENT PATTERNS IN  

E-Print Network [OSTI]

Shares (%) ­ Journey to Work, US (varies by region) Drive alone Carpool Transit Walk #12;More data Elizabeth Deakin Professor of City and Regional Planning University of California, Berkeley March 5, 2011 & saving energy in transport via mode shifts? Prospects for the future #12;I - Factors affecting travel

Kammen, Daniel M.

424

Genetic shift in photoperiodic response correlated with global warming  

E-Print Network [OSTI]

Genetic shift in photoperiodic response correlated with global warming William E. Bradshaw observed in insects, birds, amphibians, and plants associated with global warm- ing during the latter half- tent with an adaptive evolutionary response to recent global warming. The latter half of the 20th

Cochran-Stafira, D. Liane

425

Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation  

E-Print Network [OSTI]

Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation S.J.V. Frankland *, D hydrogen in individual single-shell carbon nanotubes and nanotube ropes using a semiclassical model. The calculations predict that isolated hydrogen molecules inside of nanotubes have a Raman frequency that increases

Brenner, Donald W.

426

Developing Standard Logic for a Detailed Engineering Project Schedule in the Process Industry  

E-Print Network [OSTI]

Planning Meeting (IPPM) for a standard detailed engineering project in the process industry will be used to develop scheduling logic for use in developing detail engineering project schedules. However, because the IPPM does not clearly distinguish...

Miller-Karns, Kara A.

2009-05-15T23:59:59.000Z

427

An Institutional View on Categorical Logic and the Curry-Howard-Tait-Isomorphism  

E-Print Network [OSTI]

Systems Laboratory, Palo Alto Research Center, California 4 Dept. of Computer Science & Engineering of institution arose within computer science as a response to the population explosion among logics #12;in use

de Paiva, Valeria

428

Detection and removal of functional redundancy in multi-level logic circuits  

E-Print Network [OSTI]

Whenever digital designs are created, they may contain many logic redundancies. Minimization tools are then used to remove these redundancies. The minimized circuit should be smaller, faster, and cheaper while still behaving like the original...

Dorsey, David Michael

2013-02-22T23:59:59.000Z

429

Logic of belief and the content of God: Hans Freis theological grammar  

E-Print Network [OSTI]

This thesis offers a systematic engagement with the theological hermeneutics of Hans Frei. The two key conceptual categories are the logic of belief and the content of God. The former refers to the grammatical ...

Henderson, Frances Munro

2011-07-01T23:59:59.000Z

430

Logical Effort of Carry Propagate Adders David Harris and Ivan Sutherland  

E-Print Network [OSTI]

Logical Effort of Carry Propagate Adders David Harris and Ivan Sutherland Harvey Mudd College / Sun Microsystems Laboratories 301 E. Twelfth St. Claremont, CA 91711 David_Harris@hmc.edu / Ivan

Harris, David Money

431

Fuzzy Logic Analysis of Kinase Pathway Crosstalk in TNF/EGF/Insulin-Induced Signaling  

E-Print Network [OSTI]

When modeling cell signaling networks, a balance must be struck between mechanistic detail and ease of interpretation. In this paper we apply a fuzzy logic framework to the analysis of a large, systematic dataset describing ...

Aldridge, Bree B.

432

Synthesis and Optimization of Threshold Logic Networks with Application to Nanotechnologies  

E-Print Network [OSTI]

of nanoscale devices, research must be done at the logic level to fully harness the potential offered Zhang, Pallav Gupta, Lin Zhong, and Niraj K. Jha Department of Electrical Engineering Princeton

Zhong, Lin

433

A Smart Logic for Conference Room Terminal Box of Single Duct VAV System  

E-Print Network [OSTI]

time, the minimum outside intake ratio for AHU side should be as low as possible to save energy. This study presents a smart logic to solve the confliction while improving thermal environment and saving energy consumption. The new control sequence...

Yu, Y.; Xu, K.; Cho, Y.; Liu, M.

2007-01-01T23:59:59.000Z

434

Study on Commissioning Process for Control Logic of Thermal Storage System  

E-Print Network [OSTI]

The Heating, Ventilation, and Air-Conditioning (HVAC) System Control Logic Tracer, or 'CLT' , can trace the control moves of an HVAC system and display it on a flowchart based on operation data collected in BEMS. Through comparison between estimates...

Shioya, M.; Tsubaki, M.; Nakahara, N.

2004-01-01T23:59:59.000Z

435

A fuzzy logic based motion controller for a multi-degree-of-freedom robot arm  

E-Print Network [OSTI]

This thesis addresses the task of producing a generic control algorithm for Cartesian motion of manipulators. The algorithm employs a self organizing fuzzy logic estimator to produce joint space changes given Cartesian error. The output from...

Pate, Billy Blakley

2012-06-07T23:59:59.000Z

436

Direct comparison of Neural Network, Fuzzy Logic and Model Prediction Variable Structure vortex flow controllers  

E-Print Network [OSTI]

Predictive Variable Structure and Fuzzy Logic based controllers for the same benchmark problem. Evaluation criteria consist of closed-loop system performance, activity level of the VFC nozzles, ease of controller synthesis, time required to synthesize...

Joshi, Praveen Sudhakar

2012-06-07T23:59:59.000Z

437

Implementation of a fuzzy logic based set-point modulation scheme with SVC system applications.  

E-Print Network [OSTI]

??This thesis introduces a novel online set-point modulation (SPM) technique that employs fuzzy logic to adjust the timing and magnitude of control system set-points. After (more)

Howell, Steven

2013-01-01T23:59:59.000Z

438

Abductive Analysis of Modular Logic ROBERTO GIACOBAZZI, Dipartimento di Informatica, Universit`a  

E-Print Network [OSTI]

___________________________________________________________________________ Abductive a practical method for abductive analysis of modular logic program* *s. This is obtained by reversing k* *nowledge this is the first application of abductive reasoning in dataflow analysis of lo* *gic

Giacobazzi, Roberto

439

The Logical and Epistemological Foundations of Sociology in the Philosophy of F.S.C Northrop  

E-Print Network [OSTI]

Filmer S. C. Northrop was born in 1883* Studied at Beloit, Yale and the University of London Imperial College of Science and Technology. He was professor of Law and Philosophy at Yale. Published The Logic of the Sciences ...

Escobar, Francisco

1979-01-01T23:59:59.000Z

440

TECHNICAL ADVANCES Dye shift: a neglected source of genotyping error in molecular  

E-Print Network [OSTI]

TECHNICAL ADVANCES Dye shift: a neglected source of genotyping error in molecular ecology JOLENE T for genotyping error, yet potential errors stemming from dye-induced mobility shift (dye shift) may be frequently left uncorrected, dye shift can lead to mis-scoring alleles and even to fal- sely calling new alleles

Jamieson, Ian

Note: This page contains sample records for the topic "aggressive shift logic" 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

Which beta-shifts have a largest invariant measure? Vasso Anagnostopoulou & Oliver Jenkinson  

E-Print Network [OSTI]

Which beta-shifts have a largest invariant measure? Vasso Anagnostopoulou & Oliver Jenkinson Abstract. For a given beta-shift, the lexicographic order induces a partial order (known as first beta-shifts for which this partial order has a largest element. These beta-shifts are all of finite

Jenkinson, Oliver

442

Chemical Shifts in X-ray and Photo-Electron Spectroscopy: A Historical review  

E-Print Network [OSTI]

Chemical Shifts in X-ray and Photo-Electron Spectroscopy: A Historical review Ingvar Lindgren 1 Introduction 2 2 Chemical shift in X-ray spectroscopy 2 2.1 Discovery of the chemical shift in X-ray spectroscopy . . . . . . . . . . . . . 3 2.2 Interpretation of the chemical shift in X-ray spectroscopy

Lindgren, Ingvar

443

Isotope mass shift for two-electron atoms Petersburg Nuclear Physics Institute, Gatchina, 188300, Russia  

E-Print Network [OSTI]

, 188300, Russia (Dated: 29 April 2004) Accurate calculations of the isotope shift for atomic transitions

Kozlov, Mikhail G

444

Isotope mass shift for two-electron atoms II Petersburg Nuclear Physics Institute, Gatchina, 188300, Russia  

E-Print Network [OSTI]

, Gatchina, 188300, Russia (Dated: 31 October 2006) Accurate calculations of the isotope shift for atomic

Kozlov, Mikhail G

445

The effects of collaborative and non-aggressive communication on the relationship between the division of labor(s) and marital quality for dual-earner couples  

E-Print Network [OSTI]

Guided by equity theory and the distributive justice perspective, this study examined the explanatory role of positive communication behaviors (i.e., collaborative communication and non-aggressive communication) when looking ...

Knutson, Kristine Marie

2014-05-31T23:59:59.000Z

446

Computing single step operators of logic programming in radial basis function neural networks  

SciTech Connect (OSTI)

Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (T{sub p}:I?I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong [School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang (Malaysia)

2014-07-10T23:59:59.000Z

447

Oak Ridge National Laboratory Technology Logic Diagram. Indexes  

SciTech Connect (OSTI)

The Decontamination and Decommissioning (D&D) Index provides a comprehensive list of site problems, problem area/constituents, remedial technologies, and regulatory terms discussed in the D&D sections of the Oak Ridge National Laboratory Technology Logic Diagram. All entries provide specific page numbers, or cross-reference entries that provide specific page numbers, in the D&D volumes (Vol. 1, Pt. A; Vol. 2, Pt. A; and appropriate parts of Vol. 3). The Oak Ridge National Laboratory Technology (TLD) was developed to provide a decision-support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D&D), remedial action (RA) and WM activities. It is essential that follow-on engineering studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in the TLD and finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk.

Not Available

1993-09-01T23:59:59.000Z

448

An evidential path logic for multi-relational networks  

SciTech Connect (OSTI)

Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Description Framework (RDF). One of the primary purposes of a knowledge network is to reason; that is, to alter the topology of the network according to an algorithm that uses the existing topological structure as its input. There exist many such reasoning algorithms. With respect to the Semantic Web, the bivalent, axiomatic reasoners of the RDF Schema (RDFS) and the Web Ontology Language (OWL) are the most prevalent. However, nothing prevents other forms of reasoning from existing in the Semantic Web. This article presents a non-bivalent, non-axiomatic, evidential logic and reasoner that is an algebraic ring over a multi-relational network and two binary operations that can be composed to perform various forms of inference. Given its multi-relational grounding, it is possible to use the presented evidential framework as another method for structuring knowledge and reasoning in the Semantic Web. The benefits of this framework are that it works with arbitrary, partial, and contradictory knowledge while, at the same time, supporting a tractable approximate reasoning process.

Rodriguez, Marko A [Los Alamos National Laboratory; Geldart, Joe [UNIV OF DURHAM

2008-01-01T23:59:59.000Z

449

Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts  

SciTech Connect (OSTI)

Increased interest by state (and federal) policymakers and regulatory agencies in pursuing aggressive energy efficiency efforts could deliver significant utility bill savings for customers while having long-term implications for ratepayers (e.g. potential rate impacts). Equity and distributional concerns associated with the authorized recovery of energy efficiency program costs may necessitate the pursuit of alternative program funding approaches. In 2008, Massachusetts passed the Green Communities Act which directed its energy efficiency (EE) program administrators to obtain all cost-effective EE resources. This goal has translated into achieving annual electric energy savings equivalent to a 2.4% reduction in retail sales from energy efficiency programs in 2012. Representatives of electricity consumer groups supported the new portfolio of EE programs (and the projected bill savings) but raised concerns about the potential rate impacts associated with achieving such aggressive EE goals, leading policymakers to seek out alternative funding sources which can potentially mitigate these effects. Utility administrators have also raised concerns about under-recovery of fixed costs when aggressive energy efficiency programs are pursued and have proposed ratemaking policies (e.g. decoupling) and business models that better align the utility's financial interests with the state's energy efficiency public policy goals. Quantifying these concerns and identifying ways they can be addressed are crucial steps in gaining the support of major stakeholder groups - lessons that can apply to other states looking to significantly increase savings targets that can be achieved from their own ratepayer-funded energy efficiency programs. We use a pro-forma utility financial model to quantify the bill and rate impacts on electricity customers when very aggressive annual energy efficiency savings goals ({approx}2.4%) are achieved over the long-term and also assess the impact of different cost recovery approaches that integrate alternative revenue sources. We also analyze alternative lost fixed cost recovery approaches to better understand how to mitigate the erosion of utility shareholder returns in states that have adopted (and achieved) very aggressive savings targets.

Cappers, Peter; Satchwell, Andrew; Goldman, Charles; Schlegel, Jeff

2010-08-06T23:59:59.000Z

450

Time-shift attack in practical quantum cryptosystems  

E-Print Network [OSTI]

Recently, a new type of attack, which exploits the efficiency mismatch of two single photon detectors (SPD) in a quantum key distribution (QKD) system, has been proposed. In this paper, we propose another "time-shift" attack that exploits the same imperfection. In our attack, Eve shifts the arrival time of either the signal pulse or the synchronization pulse or both between Alice and Bob. In particular, in a QKD system where Bob employs time-multiplexing technique to detect both bit "0" and bit "1" with the same SPD, Eve, in principle, could acquire full information on the final key without introducing any error. Finally, we discuss some counter measures against our and earlier attacks.

Bing Qi; Chi-Hang Fred Fung; Hoi-Kwong Lo; Xiongfeng Ma

2006-05-11T23:59:59.000Z

451

Three dimensional imaging detector employing wavelength-shifting optical fibers  

DOE Patents [OSTI]

A novel detector element structure and method for its use is provided. In a preferred embodiment, one or more inorganic scintillating crystals are coupled through wavelength shifting optical fibers (WLSFs) to position sensitive photomultipliers (PS-PMTs). The superior detector configuration in accordance with this invention is designed for an array of applications in high spatial resolution gamma ray sensing with particular application to SPECT, PET and PVI imaging systems. The design provides better position resolution than prior art devices at a lower total cost. By employing wavelength shifting fibers (WLSFs), the sensor configuration of this invention can operate with a significant reduction in the number of photomultipliers and electronics channels, while potentially improving the resolution of the system by allowing three dimensional reconstruction of energy deposition positions.

Worstell, William A. (Framingham, MA)

1997-01-01T23:59:59.000Z

452

Three dimensional imaging detector employing wavelength-shifting optical fibers  

DOE Patents [OSTI]

A novel detector element structure and method for its use is provided. In a preferred embodiment, one or more inorganic scintillating crystals are coupled through wavelength shifting optical fibers (WLSFs) to position sensitive photomultipliers (PS-PMTs). The superior detector configuration in accordance with this invention is designed for an array of applications in high spatial resolution gamma ray sensing with particular application to SPECT, PET and PVI imaging systems. The design provides better position resolution than prior art devices at a lower total cost. By employing wavelength shifting fibers (WLSFs), the sensor configuration of this invention can operate with a significant reduction in the number of photomultipliers and electronics channels, while potentially improving the resolution of the system by allowing three dimensional reconstruction of energy deposition positions. 11 figs.

Worstell, W.A.

1997-02-04T23:59:59.000Z

453

The muonic hydrogen Lamb shift and the proton radius  

E-Print Network [OSTI]

We obtain a model independent expression for the muonic hydrogen Lamb shift up to $\\mathcal O (m_\\mu \\alpha^6, m_\\mu \\alpha^5 \\frac{m_\\mu^2}{m_\\rho^2})$. The hadronic effects are controlled by the chiral theory, which allows for their model independent determination. We give their complete expression including the pion and Delta particles. Out of this analysis and the experimental measurement of the muonic hydrogen Lamb shift we determine the electromagnetic proton radius: $r_p$=0.8412(15) fm. This number is at 6.8$\\sigma$ variance with respect to the CODATA value. The parametric control of the uncertainties allows us to obtain a model independent determination of the error, which is dominated by hadronic effects.

Clara Peset

2014-11-14T23:59:59.000Z

454

The slightly-enriched spectral shift control reactor  

SciTech Connect (OSTI)

An advanced converter reactor design utilizing mechanical spectral shift control rods in a conventional pressurized water reactor configuration is under investigation. The design is based on the principle that a harder spectrum during the early part of the fuel cycle will result in large neutron captures in fertile {sup 238}U, which can then be burned in situ in a softer spectrum later in the cycle. Preliminary design calculations performed during FY 89 showed that the slightly-enriched spectral shift reactor design offers the benefit of substantially increased fuel resource utilization with the proven safety characteristics of the pressurized water reactor technology retained. Optimization of the fuel design and development of fuel management strategies were carried out in FY 90, along with effort to develop and validate neutronic methodology for tight-lattice configurations with hard spectra. During FY 91, the final year of the grant, the final Slightly-Enriched Spectral Shift Reactor (SESSR) design was determined, and reference design analyses were performed for the assemblies as well as the global core configuration, both at the beginning of cycle (BOC) and with depletion. The final SESSR design results in approximately a 20% increase in the utilization of uranium resources, based on equilibrium fuel cycle analyses. Acceptable pin power peaking is obtained with the final core design, with assembly peaking factors equal to less than 1.04 for spectral shift control rods both inserted and withdrawn, and global peaking factors at BOC predicted to be 1.4. In addition, a negative Moderation Temperature Coefficient (MTC) is maintained for BOC, which is difficult to achieve with conventional advanced converter designs based on a closed fuel cycle. The SESSR design avoids the need for burnable poison absorber, although they could be added if desired to increase the cycle length while maintaining a negative MTC.

Martin, W.R.; Lee, J.C.; Larsen, E.W. (Michigan Univ., Ann Arbor, MI (United States). Dept. of Nuclear Engineering); Edlund, M.C. (Virginia Polytechnic Inst. and State Univ., Blacksburg, VA (United States). Dept. of Mechanical and Nuclear Engineering)

1991-11-01T23:59:59.000Z

455

Phase-shifting point diffraction interferometer grating designs  

DOE Patents [OSTI]

In a phase-shifting point diffraction interferometer, by sending the zeroth-order diffraction to the reference pinhole of the mask and the first-order diffraction to the test beam window of the mask, the test and reference beam intensities can be balanced and the fringe contrast improved. Additionally, using a duty cycle of the diffraction grating other than 50%, the fringe contrast can also be improved.

Naulleau, Patrick (Oakland, CA); Goldberg, Kenneth Alan (Berkeley, CA); Tejnil, Edita (San Carlos, CA)

2001-01-01T23:59:59.000Z

456

Self-induced ac Stark shift in lasers  

SciTech Connect (OSTI)

The ac Stark effect is a well-known, well-established effect associated with the displacement of the atomic energy levels in the presence of an electromagnetic (e.m.) field. As the origin of the e.m. field is irrelevant, a self-induced ac Stark effect should be present in a laser. However, not only has this effect never been reported but it is not included in any laser model. Here, we show that a self-induced ac Stark shift does exist in the theoretical description of a two-level laser, provided that the reduced equations are derived not from the rotating-wave approximation, but from the full density matrix formulation. Interesting fundamental consequences are discussed and quantitative estimates of the self-induced frequency shift resulting from the laser field's ac Stark shift are obtained for a variety of lasers. We find that the effect is generally small but (at least in some cases) measurable and that the transfer of laser amplitude noise into frequency noise may play a role in future, ultrahigh-precision metrological applications.

Gil, L.; Lippi, G. L. [Universite de Nice Sophia Antipolis, Institut Non Lineaire de Nice, and CNRS, UMR 6618 1361 Route des Lucioles, F-06560 Valbonne (France)

2011-04-15T23:59:59.000Z

457

Proposal for all-graphene monolithic logic circuits Jiahao Kang, Deblina Sarkar, Yasin Khatami, and Kaustav Banerjee  

E-Print Network [OSTI]

Proposal for all-graphene monolithic logic circuits Jiahao Kang, Deblina Sarkar, Yasin Khatami Jiahao Kang, Deblina Sarkar, Yasin Khatami, and Kaustav Banerjeea) Department of Electrical and Computer

458

Hand held phase-shifting diffraction Moire interferometer  

DOE Patents [OSTI]

An interferometer is described in which a coherent beam of light is generated within a remote case and transmitted to a hand held unit tethered to said remote case, said hand held unit having optical elements for directing a pair of mutually coherent collimated laser beams at a diffraction grating. Data from the secondary or diffracted beams are then transmitted to a separate video and data acquisition system for recording and analysis for load induced deformation or for identification purposes. Means are also provided for shifting the phase of one incident beam relative to the other incident beam and being controlled from within said remote case. 4 figs.

Deason, V.A.; Ward, M.B.

1994-09-20T23:59:59.000Z

459

Coherent control of the Goos-Hanchen shift  

E-Print Network [OSTI]

group index Nrg and GH shift Sr/? on the driving field Rabi frequency d/? in the three-level atomic system. This is again in agreement with our earlier observations in Fig. 3(a). V. CONCLUSION We have used three-level and four-level atomic systems.... The cavity is a stratified medium consisting of three layers, labelled 1, 2, and 3 in the schematics. Layers 1 and 3, which are acting as walls of the cavity, are nonmagnetic dielectric slabs with the same thickness d1 and permitivity ?1. Layer 2...

Ziauddin, Qamar S.; Qamar, Sajid; Zubairy, M. Suhail

2010-01-01T23:59:59.000Z

460

LEDSGP/Transportation Toolkit/Strategies/Shift | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎Avoid < LEDSGP‎Shift

Note: This page contains sample records for the topic "aggressive shift logic" 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

Plasma Frequency Shift Due to a Slowly Rotating Compact Star  

E-Print Network [OSTI]

We investigate the effects of a slowly rotating compact gravitational source on electron oscillations in a homogeneous electrically neutral plasma in the absence of an external electric or magnetic field. Neglecting the random thermal motion of the electrons we assume the gravitoelectromagnetic approximation to the general theory of relativity for the gravitational field. It is shown that there is a shift in the plasma frequency and hence in the dielectric constant of the plasma due to the gravitomagnetic force. We also give estimates for the difference in the frequency of radially transmitted electromagnetic signals for typical compact star candidates.

Babur M. Mirza; Hamid Saleem

2005-05-10T23:59:59.000Z

462

Y-12 Shift Change, famous Ed Westcott image recreated  

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 MayAtmosphericNuclear SecurityTensile Strain Switched FerromagnetismWaste and MaterialsWenjun1ofRadiative HeatingInnovationSecurityShift

463

RedShift Systems Corporation | 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 CenterFranconia, Virginia:FAQ < RAPID Jump to: navigation, search RAPIDColoradosourceRausWyoming: EnergyElec Assn Jump to:RedShift

464

Clock Controller For Ac Self-Timing Analysis Of Logic System  

DOE Patents [OSTI]

A clock controller and clock generating method are provided for AC self-test timing analysis of a logic system. The controller includes latch circuitry which receives a DC input signal at a data input, and a pair of continuous out-of-phase clock signals at capture and launch clock inputs thereof. The latch circuitry outputs two overlapping pulses responsive to the DC input signal going high. The two overlapping pulses are provided to waveform shaper circuitry which produces therefrom two non-overlapping pulses at clock speed of the logic system to be tested. The two non-overlapping pulses are a single pair of clock pulses which facilitate AC self-test timing analysis of the logic system.

Lo, Tinchee (Fishkill, NY); Flanagan, John D. (Rhinebeck, NY)

2004-05-18T23:59:59.000Z

465

Phase shift of a weak coherent beam induced by a single atom  

E-Print Network [OSTI]

We report on a direct measurement of a phase shift on a weak coherent beam by a single Rb-87 atom in a Mach-Zehnder interferometer. A maximum phase shift of about 1 degree is observed experimentally.

Syed Abdullah Aljunid; Meng Khoon Tey; Brenda Chng; Timothy Liew; Gleb Maslennikov; Valerio Scarani; Christian Kurtsiefer

2009-05-22T23:59:59.000Z

466

Analysis of a duo-selecting membrane reactor for the water-gas shift  

E-Print Network [OSTI]

The water-gas shift reaction is an exothermic and reversible catalytic process that converts carbon monoxide and water (steam) to hydrogen and carbon dioxide. In regard to energy-related issues, the water-gas shift is part ...

Hardy, AliciA Jillian Jackson, 1978-

2004-01-01T23:59:59.000Z

467

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

468

REACHABLE MATRICES BY THE QR ITERATION WITH SHIFT DELIN CHU # AND MOODY CHU +  

E-Print Network [OSTI]

is the principal powerhouse in eigenvalue computation. The shifts play a critical role in e#ecting fast convergence

469

Raft River Geothermal Area Data Models - Conceptual, Logical and Fact Models  

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

Conceptual and Logical Data Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses at Raft River a. Logical Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 b. Fact Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 Derived from Tables, Figures and other Content in Reports from the Raft River Geothermal Project: "Technical Report on the Raft River Geothermal Resource, Cassia County, Idaho," GeothermEx, Inc., August 2002. "Results from the Short-Term Well Testing Program at the Raft River Geothermal Field, Cassia County, Idaho," GeothermEx, Inc., October 2004.

Cuyler, David

470

Dunkl shift operators and Bannai-Ito polynomials  

E-Print Network [OSTI]

We consider the most general Dunkl shift operator $L$ with the following properties: (i) $L$ is of first order in the shift operator and involves reflections; (ii) $L$ preserves the space of polynomials of a given degree; (iii) $L$ is potentially self-adjoint. We show that under these conditions, the operator $L$ has eigenfunctions which coincide with the Bannai-Ito polynomials. We construct a polynomial basis which is lower-triangular and two-diagonal with respect to the action of the operator $L$. This allows to express the BI polynomials explicitly. We also present an anti-commutator AW(3) algebra corresponding to this operator. From the representations of this algebra, we derive the structure and recurrence relations of the BI polynomials. We introduce new orthogonal polynomials - referred to as the complementary BI polynomials - as an alternative $q \\to -1$ limit of the Askey-Wilson polynomials. These complementary BI polynomials lead to a new explicit expression for the BI polynomials in terms of the or...

Tsujimoto, Satoshi; Zhedanov, Alexei

2011-01-01T23:59:59.000Z

471

Upward Shift of the Atmospheric General Circulation under Global Warming: Theory and Simulations  

E-Print Network [OSTI]

, including upward shifts in the ver- tical velocities and distributions of cloud water and ice as the seaUpward Shift of the Atmospheric General Circulation under Global Warming: Theory and Simulations circulation of the atmosphere shift upward in response to warming in simu- lations of climate change with both

O'Gorman, Paul

472

A Review of Cold Fronts with Prefrontal Troughs and Wind Shifts DAVID M. SCHULTZ  

E-Print Network [OSTI]

A Review of Cold Fronts with Prefrontal Troughs and Wind Shifts DAVID M. SCHULTZ Cooperative with a pressure trough and a distinct wind shift at the surface. Many cold fronts, however, do not conform to this model--time series at a single surface station may possess a pressure trough and wind shift in the warm

Schultz, David

473

164 J. Neurosurg. / Volume 106 / January, 2007 RAIN shift during neurosurgery can significantly  

E-Print Network [OSTI]

. Substantial intraoperative brain shift has been well documented in recent literature. Cortical displacement have reported that a very extensive range of brain surface shift (0­50 mm) can occur throughout surgery to visualize intraoperative brain shift. However, the resolution of existing intraoperative MR imaging sys

Chaudhary, Vipin

474

Flow visualization for qualitative assessment of brain shift Lyubomir Zagorcheva, Ardeshir Goshtasbya, Martin Satterb  

E-Print Network [OSTI]

Flow visualization for qualitative assessment of brain shift Lyubomir Zagorcheva, Ardeshir, and visualization of brain shift in serial MR and CT images is presented. The method consists of three steps to represent complex brain deformations. Keywords: flow visualization, nonrigid registration, brain shift

Goshtasby, Arthur Ardeshir

475

He polarization-dependent EPR frequency shifts of alkali-metal3 Earl Babcock,1  

E-Print Network [OSTI]

3 He polarization-dependent EPR frequency shifts of alkali-metal­3 He pairs Earl Babcock,1 Ian A-dependent measurements of the EPR frequency shifts for Na, K, and Rb interacting with polarized 3 He. K and Na frequency also allowed us to extend the measured temperature dependence of the Rb EPR frequency shifts up to 350

Walker, Thad G.

476

Reconstructing the Shifting Balance Theory in a GA: Taking Sewall Wright Seriously  

E-Print Network [OSTI]

Reconstructing the Shifting Balance Theory in a GA: Taking Sewall Wright Seriously Franz Oppacher@scs.carleton.ca Abstract- We attempt to reconstruct Sewall Wright's Shifting Balance Theory in order to address some the Shifting Balance Genetic Algorithm (SBGA), which is shown to behave as Wright intended. For example

Wineberg, Mark

477

Fuzzy-Logic-Based Gain-Scheduling Control for State-of-Charge Balance of Distributed Energy  

E-Print Network [OSTI]

Fuzzy-Logic-Based Gain-Scheduling Control for State-of-Charge Balance of Distributed Energy Storage, the control strategy used in the microgrid must take into account the stored energy balance between strategy based on fuzzy logic that ensures balanced stored energy among distributed energy storage units

Vasquez, Juan Carlos

478

The Implementation of a FirstOrder Logic AGM Belief Revision System Simon Dixon and Wayne Wobcke  

E-Print Network [OSTI]

The Implementation of a First­Order Logic AGM Belief Revision System Simon Dixon and Wayne Wobcke­mail: simon@cs.su.oz.au, wobcke@cs.su.oz.au Abstract Belief revision is increasingly being seen as central belief revision system. The system is based on classical first­ order logic, and for any finitely

Dixon, Simon

479

LUDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas  

E-Print Network [OSTI]

LUDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas Abstract-- LUDOCORE is a logical "game engine", linking game rules as reasoned about by game this bridge is engineering a concise, safe, and flexible representation that is compatible with the semantics

California at Santa Cruz, University of

480

Conservative relativity principle: Logical ground and analysis of relevant experiments  

E-Print Network [OSTI]

We suggest a new relativity principle, which asserts the impossibility to distinguish the state of rest and the state of motion at the constant velocity of a system, if no work is done to the system in question during its motion. We suggest calling this new rule as "conservative relativity principle" (CRP). In the case of an empty space, CRP is reduced to the Einstein special relativity principle. We also show that CRP is compatible with the general relativity principle. One of important implications of CRP is the dependence of the proper time of a charged particle on the electric potential at its location. In the present paper we consider the relevant experimental facts gathered up to now, where the latter effect can be revealed. We show that in atomic physics the introduction of this effect furnishes a better convergence between theory and experiment than that provided by the standard approach. Finally, we reanalyze the Moessbauer experiments in rotating systems and show that the obtained recently puzzling deviation of the relative energy shift between emission and absorption lines from the relativistic prediction can be explained by the CRP.

Alexander Kholmetskii; Tolga Yarman; Oleg Missevitch

2014-05-08T23:59:59.000Z

Note: This page contains sample records for the topic "aggressive shift logic" 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

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION PROCESS  

SciTech Connect (OSTI)

Optimization of the water-gas shift (WGS) reaction system for hydrogen production for fuel cells is of particular interest to the energy industry. To this end, it is desirable to couple the WGS reaction to hydrogen separation using a semi-permeable membrane, with both processes carried out at high temperatures to improve reaction kinetics and permeation. Reduced equilibrium conversion of the WGS reaction at high temperatures is overcome by product H{sub 2} removal via the membrane. This project involves fundamental research and development of novel cerium oxide-based catalysts for the water-gas-shift reaction and the integration of these catalysts with Pd-alloy H{sub 2}-separation membranes supplying high purity hydrogen for fuel cell use. Conditions matching the requirements of coal gasifier-exit gas streams will be examined in the project. The first-year screening studies of WGS catalysts identified Cu-ceria as the most promising high-temperature shift catalyst for integration with H{sub 2}-selective membranes. Formulations containing iron oxide were found to deactivate in the presence of CO{sub 2}, and were thus eliminated from further consideration. Cu-containing ceria catalysts, on the other hand, showed high stability in CO{sub 2}-rich gases. This type gas will be present over much of the catalyst, as the membrane removes the hydrogen produced from the shift reaction. Several catalyst formulations were prepared, characterized and tested in the first year of study. Details from the catalyst development and testing work were given in our first annual technical report. Hydrogen permeation through Pd and Pd-alloy foils was investigated in a small membrane reactor constructed during the first year of the project. The effect of temperature on the hydrogen flux through pure Pd, Pd{sub 60}Cu{sub 40} and Pd{sub 75}Ag{sub 25} alloy membranes, each 25 {micro}m thick, was evaluated in the temperature range from 250 C to 500 C at upstream pressure of 4.4 atm and permeate hydrogen pressure of 1 atm. Flux decay was observed for the Pd-Cu membrane above 500 C. From 350-450 C, an average hydrogen flux value of 0.2 mol H{sub 2}/m{sup 2}/s was measured over this Pd-alloy membrane. These results are in good agreement with literature data. In this year's report, we discuss reaction rate measurements, optimization of catalyst kinetics by proper choice of dopant oxide (lanthana) in ceria, long-term stability studies, and H{sub 2} permeation data collected with unsupported flat, 10 {micro}m-thick Pd-Cu membranes over a wide temperature window and in various gas mixtures. The high-temperature shift catalyst composition was further improved, by proper selection of dopant type and amount. The formulation 10 at%Cu-Ce(30 at%La)Ox was the best; this was selected for further kinetic studies. WGS reaction rates were measured in a simulated coal-gas mixture. The stability of catalyst performance was examined in 40-hr long tests. A series of hydrogen permeation tests were conducted in a small flat-membrane reactor using the 10 m{micro}-thick Pd-Cu membranes. Small inhibitory effects of CO and CO{sub 2} were found at temperatures above 350 C, while H{sub 2}O vapor had no effect on hydrogen permeation. No carbon deposition took place during many hours of membrane operation. The reaction extent on the blank (catalyst-free) membrane was also negligible. A larger flat-membrane reactor will be used next year with the catalyst wash coated on screens close coupled with the Pd-Cu membrane.

Maria Flytzani-Stephanopoulos, PI; Jerry Meldon, Co-PI; Xiaomei Qi

2002-12-01T23:59:59.000Z

482

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION PROCESS  

SciTech Connect (OSTI)

This project involved fundamental research and development of novel cerium oxide-based catalysts for the water-gas-shift reaction and the integration of these catalysts with Pd-alloy H{sub 2} -separation membranes supplying high purity hydrogen for fuel cell use. Conditions matching the requirements of coal gasifier-exit gas streams were examined in the project. Cu-cerium oxide was identified as the most promising high-temperature water-gas shift catalyst for integration with H{sub 2}-selective membranes. Formulations containing iron oxide were found to deactivate in the presence of CO{sub 2}. Cu-containing ceria catalysts, on the other hand, showed high stability in CO{sub 2}-rich gases. This type gas will be present over much of the catalyst, as the membrane removes the hydrogen produced from the shift reaction. The high-temperature shift catalyst composition was optimized by proper selection of dopant type and amount in ceria. The formulation 10at%Cu-Ce(30at%La)O{sub x} showed the best performance, and was selected for further kinetic studies. WGS reaction rates were measured in a simulated coal-gas mixture. The apparent activation energy, measured over aged catalysts, was equal to 70.2 kJ/mol. Reaction orders in CO, H{sub 2}O, CO{sub 2} and H{sub 2} were found to be 0.8, 0.2, -0.3, and -0.3, respectively. This shows that H{sub 2}O has very little effect on the reaction rate, and that both CO{sub 2} and H{sub 2} weakly inhibit the reaction. Good stability of catalyst performance was found in 40-hr long tests. A flat (38 cm{sup 2}) Pd-Cu alloy membrane reactor was used with the catalyst washcoated on oxidized aluminum screens close coupled with the membrane. To achieve higher loadings, catalyst granules were layered on the membrane itself to test the combined HTS activity/ H{sub 2} -separation efficiency of the composite. Simulated coal gas mixtures were used and the effect of membrane on the conversion of CO over the catalyst was evidenced at high space velocities. Equilibrium CO conversion at 400 C was measured at a space velocity of 30,000 h{sup -1} with the 10{micro}m- thick Pd{sub 60}Cu{sub 40} membrane operating under a pressure differential of 100 psi. No carbon deposition took place during operation. The performance of the coupled Cu-ceria catalyst/membrane system at 400 C was stable in {approx} 30 h of continuous operation. The overall conclusion from this project is that Cu-doped ceria catalysts are suitable for use in high-temperature water-gas shift membrane reactors. CO{sub 2}-rich operation does not affect the catalyst activity or stability; neither does it affect hydrogen permeation through the Pd-Cu membrane. Operation in the temperature range of 400-430 C is recommended.

Maria Flytzani-Stephanopoulos; Xiaomei Qi; Scott Kronewitter

2004-02-01T23:59:59.000Z

483

30 nm In0.7Ga0.3As Inverted-Type HEMTs with Reduced Gate Leakage Current for Logic Applications  

E-Print Network [OSTI]

two orders of magnitude and yields excellent logic characteristics. This device architecture is also the development of simulators that would allows us to chart the future of a III-V logic technology [4

del Alamo, Jesús A.

484

Y-12 Plant decontamination and decommissioning Technology Logic Diagram for Building 9201-4: Volume 3, Technology evaluation data sheets: Part B, Decontamination; robotics/automation; waste management  

SciTech Connect (OSTI)

This volume consists of the Technology Logic Diagrams (TLDs) for the decontamination, robotics/automation, and waste management areas.

NONE

1994-09-01T23:59:59.000Z

485

32 IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 10, NO. 1, JANUARY 2002 A Fuzzy Logic Approach to LQG Design With  

E-Print Network [OSTI]

32 IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 10, NO. 1, JANUARY 2002 A Fuzzy Logic selection methodologies. The designer's logic is inherently "fuzzy" and it is hence natural to use fuzzy logic for algorithm implementation. This paper develops a fuzzy algorithm for selecting the weights

Collins, Emmanuel

486

ACEEE International Journal on Control System and Instrumentation, Vol. 1, No. 1, July 2010 PI with Fuzzy Logic Controller based APLC for  

E-Print Network [OSTI]

with Fuzzy Logic Controller based APLC for compensating harmonic and reactive power Karuppanan P, Kamala (PI) along with Fuzzy Logic controller (FLC) based Shunt active power line conditioners (APLC-VSI by using PI with fuzzy logic controller. The switching is done according to gating signals obtained from

Paris-Sud XI, Université de

487

836 J. GUIDANCE, VOL. 20, NO. 4: ENGINEERING NOTES 1Brown, R., "Fuzzy Logic Application for Modeling Man-in-the-Loop  

E-Print Network [OSTI]

-2800,Aug. 1991. 5Lea, R., and Jani, Y., "Fuzzy Logic Applications to Expert Systems and Control,"2nd., "A Fuzzy Logic Controller for Aircraft Flight Control," In- dustrial Applications of Fuzzy Control836 J. GUIDANCE, VOL. 20, NO. 4: ENGINEERING NOTES References 1Brown, R., "Fuzzy Logic Application

Hall, Christopher D.

488

To Appear in the Proceedings of the 1997 Meeting of the American Association of Artificial Intelligence. Learning in a Fuzzy Logic Robot Controller 1  

E-Print Network [OSTI]

Intelligence. Learning in a Fuzzy Logic Robot Controller 1 Douglas S. Blank and J. Oliver Ross University in robotics. Fuzzy logic controllers allow for the integration of high­level, human­ designed plans to operate a method for dealing with inexact variable values. A robot under the control of a fuzzy logic, behavior

Blank, Douglas

489

Towards Combining Fuzzy and Logic Programming Hung T. Nguyen 1 , Vladik Kreinovich 2 , Daniel E. Cooke 2 , Luqi 3 , and Olga Kosheleva 4  

E-Print Network [OSTI]

that such logically unusual fuzzy tech­ niques as Mamdani's approach to fuzzy control become very natural if weTowards Combining Fuzzy and Logic Programming Techniques Hung T. Nguyen 1 , Vladik Kreinovich 2 consider LP instead of classical logic [9, 15]. What do we gain by adding LP techniques to fuzzy

Kreinovich, Vladik

490

To Appear in the Proceedings of the 1997 Meeting of the American Association of Artificial Intelligence. Learning in a Fuzzy Logic Robot Controller1  

E-Print Network [OSTI]

Intelligence. Learning in a Fuzzy Logic Robot Controller1 Douglas S. Blank and J. Oliver Ross University in robotics. Fuzzy logic controllers allow for the integration of high-level, human- designed plans to operate a method for dealing with inexact variable values. A robot under the control of a fuzzy logic, behavior

Blank, Douglas

491

An Implementation for Abductive Logic Agents A. Ciampolini 1 , E. Lamma 1 , P. Mello 1 , C. Stefanelli 2 and P. Torroni 1  

E-Print Network [OSTI]

An Implementation for Abductive Logic Agents A. Ciampolini 1 , E. Lamma 1 , P. Mello 1 , C capabilities, performed by means of abduction: if the knowl­ edge available to a logic agent is insufficient represented by an abductive logic program. Agents might differ in their knowledge bases, but must agree

Torroni, Paolo

492

Isotope shift in the electron affinity of lithium  

SciTech Connect (OSTI)

Very accurate electron affinity (EA) calculations of {sup 6}Li and {sup 7}Li (and {sup {infinity}L}i) have been performed using explicitly correlated Gaussian functions and a variational approach that explicitly includes the nuclear motion in the calculations (i.e., the approach that does not assume the Born-Oppenheimer approximation). The leading relativistic and quantum electrodynamics corrections to the electron affinities were also calculated. The results are the most accurate theoretical values obtained for the studied systems to date. Our best estimates of the {sup 7}Li and {sup 6}Li EAs are 4984.9842(30) and 4984.9015(30) cm{sup -1}, respectively, and of the {sup 7}Li/{sup 6}Li EA isotope shift is 0.0827 cm{sup -1}.

Bubin, Sergiy [Department of Physics and Astronomy, Vanderbilt University, Nashville, Tennessee 37235 (United States); Komasa, Jacek [Quantum Chemistry Group, Faculty of Chemistry, A. Mickiewicz University, ulica Grunwaldzka 6, 60-780 Poznan (Poland); Stanke, Monika [Institute of Physics, Nicholas Copernicus University, ulica Grudziadzka 5, PL 87-100 Torun (Poland); Adamowicz, Ludwik [Department of Chemistry and Biochemistry, University of Arizona, Tucson, Arizona 85721 (United States); Department of Physics, University of Arizona, Tucson, Arizona 85721 (United States)

2009-12-21T23:59:59.000Z

493

DAYLIGHTING IN CAMBRIDGE LIBRARIES: SHIFTING FOCUS OVER TIME  

E-Print Network [OSTI]

This paper aims to explore the various transformations of Cambridge libraries over the ages focusing mainly on the changing role of daylighting in library design. The libraries have been categorised chronologically into four different groups: Medieval libraries, libraries between 16 th cent and Reformation, libraries between Reformation and 19 th cent and modern libraries. The study shows that with the shift from the rules of classicism in medieval libraries to individual styles in modern libraries, the architect has opened up enormous possibilities for design innovations in daylighting. Unlike other environmental services the elements of daylighting are undoubtedly the most visual and expressive. The particular challenge of modern library design is to manipulate natural light for reading and book storage while avoiding reflections on the VDU. It is still a field not fully explored and it remains to be seen how daylighting design can successfully meet all the needs of a modern library. 1.

Ayona Datta

494

Dielectric waveguide gas-filled stark shift modulator  

DOE Patents [OSTI]

An optical modulator includes a dielectric waveguide for receiving an optical beam and coupling energy of the optical beam into the waveguide. At least one Stark material is provided in the waveguide. A bias circuit generates a bias signal to produce an electrical field across the Stark material to shift at least one of the Stark absorption frequencies towards the frequency of the optical beam. A circuit for producing a time varying electric field across the Stark material modulates the optical beam. At least a portion of the bias field can be generated by an alternating bias signal, such as a square wave. A method of modulating optical signals includes the steps of providing a dielectric waveguide for receiving an optical beam and coupling energy of the optical beam into the waveguide, the waveguide having at least one Stark material disposed therein, and varying an electric field imposed across the Stark material.

Hutchinson, Donald P.; Richards, Roger K.

2003-07-22T23:59:59.000Z

495

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION  

SciTech Connect (OSTI)

Optimization of the water-gas shift (WGS) reaction system for hydrogen production for fuel cells is of particular interest to the energy industry. To this end, it is desirable to couple the WGS reaction to hydrogen separation using a semi-permeable membrane, with both processes carried out at high temperature to improve reaction kinetics. Reduced equilibrium conversion of the WGS reaction at high temperatures is overcome by product H{sub 2} removal via the membrane. This project involves fundamental research and development of novel cerium oxide-based catalysts for the water-gas-shift reaction and the integration of these catalysts with Pd-alloy H{sub 2}-separation membranes supplying high purity hydrogen for fuel cell use. Conditions matching the requirements of coal gasifier-exit gas streams will be examined in the project. In the first year of the project, we prepared a series of nanostructured Cu- and Fe-containing ceria catalysts by a special gelation/precipitation technique followed by air calcination at 650 C. Each sample was characterized by ICP for elemental composition analysis, BET-N2 desorption for surface area measurement, and by temperature-programmed reduction in H{sub 2} to evaluate catalyst reducibility. Screening WGS tests with catalyst powders were conducted in a flow microreactor at temperatures in the range of 200-550 C. On the basis of both activity and stability of catalysts in simulated coal gas, and in CO{sub 2}-rich gases, a Cu-CeO{sub 2} catalyst formulation was selected for further study in this project. Details from the catalyst development and testing work are given in this report. Also in this report, we present H{sub 2} permeation data collected with unsupported flat membranes of pure Pd and Pd-alloys over a wide temperature window.

Maria Flytzani-Stephanopoulos; Jerry Meldon; Xiaomei Qi

2001-12-01T23:59:59.000Z

496

The design and testing of a first-order logic-based stochastic modeling language.  

SciTech Connect (OSTI)

We have created a logic-based, Turing-complete language for stochastic modeling. Since the inference scheme for this language is based on a variant of Pearl's loopy belief propagation algorithm, we call it Loopy Logic. Traditional Bayesian networks have limited expressive power, basically constrained to finite domains as in the propositional calculus. Our language contains variables that can capture general classes of situations, events and relationships. A first-order language is also able to reason about potentially infinite classes and situations using constructs such as hidden Markov models(HMMs). Our language uses an Expectation-Maximization (EM) type learning of parameters. This has a natural fit with the Loopy Belief Propagation used for inference since both can be viewed as iterative message passing algorithms. We present the syntax and theoretical foundations for our Loopy Logic language. We then demonstrate three examples of stochastic modeling and diagnosis that explore the representational power of the language. A mechanical fault detection example displays how Loopy Logic can model time-series processes using an HMM variant. A digital circuit example exhibits the probabilistic modeling capabilities, and finally, a parameter fitting example demonstrates the power for learning unknown stochastic values.

Pless, Daniel J.; Rammohan, Roshan (University of New Mexico, Albuquerque, NM); Chakrabarti, Chayan (University of New Mexico, Albuquerque, NM); Luger, George F. (University of New Mexico, Albuquerque, NM)

2005-06-01T23:59:59.000Z

497

Safety Logics II: Normative Safety John Bell and Zhisheng Huang 1  

E-Print Network [OSTI]

safety, obligation, rationality and risk, and outline some extensions to the present work. 1 Introduction, and outline some extensions to the present work. 2 Absolute Safety We start with disasters and the ideaSafety Logics II: Normative Safety John Bell and Zhisheng Huang 1 Abstract. In this paper we

Huang, Zhisheng

498

Inverter Minimization in Multi-Level Logic Networks Department of ECE  

E-Print Network [OSTI]

Inverter Minimization in Multi-Level Logic Networks Alok Jain Department of ECE Carnegie Mellon Pittsburgh, PA 15213 Abstract In this paper, we look at the problem of inverter minimization in multi approach takes a more global view and maps the problem of inverter minimization into a problem of removing

Bryant, Randal E.

499

`Games That Make Sense': logic, language, and multi-agent interaction  

E-Print Network [OSTI]

`Games That Make Sense': logic, language, and multi-agent interaction Johan van Benthem Institute. In this short invited note, I will take the cruising altitude a few levels up from his, and show you a panoramic the success of communication. And once you start thinking all this through, you wind up in a `hermeneutical

Amsterdam, University of

500

New Type-2 Rule Ranking Indices for Designing Parsimonious Interval Type-2 Fuzzy Logic Systems  

E-Print Network [OSTI]

rules can be effectively selected to construct parsimonious type-2 fuzzy models while the system processing [7][8], traffic forecasting [9], mobile robot control [10], pattern recognition [11] [12FLS mod- elling. As a matter of fact, even in type-I fuzzy logic system (FLS) modelling, developing

Aickelin, Uwe