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

Is Quantum Logic a Logic?  

E-Print Network (OSTI)

It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either - as opposed to the standard lattice models that are orthomodular and distributive for the respective logics. Hence, we cannot attribute the orthomodularity to quantum logic itself, and we cannot attribute the distributivity to classical logic itself. The valuations of logics with respect of novel models turn out to be non-numerical, and therefore truth values and truth tables cannot in general be ascribed to the propositions of logics themselves but only to the variables of some of their models -for example, the two-valued Boolean algebra. Logics are, first of all, axiomatic deductive systems, and if we stop short of considering their semantics (models, valuations, etc.), then both quantum and classical logics will have a completely equal footing in the sense of being two deductive systems that differ from each other in a few axioms and nothing else. There is no ground for considering either of the two logics more "proper" than the other. Semantics of these logics belong to their models, and we show that there are bigger differences between the two aforementioned classical models than between two corresponding quantum and classical models.

Mladen Pavicic; Norman D. Megill

2008-12-15T23:59:59.000Z

2

Is Quantum Logic a Logic?  

E-Print Network (OSTI)

It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either - as opposed to the standard lattice models that are orthomodular and distributive for the respective logics. Hence, we cannot attribute the orthomodularity to quantum logic itself, and we cannot attribute the distributivity to classical logic itself. The valuations of logics with respect of novel models turn out to be non-numerical, and therefore truth values and truth tables cannot in general be ascribed to the propositions of logics themselves but only to the variables of some of their models -for example, the two-valued Boolean algebra. Logics are, first of all, axiomatic deductive systems, and if we stop short of considering their semantics (models, valuations, etc.), then both quantum and classical logics will have a completely equa...

Pavicic, Mladen

2008-01-01T23:59:59.000Z

3

Bi-state logic  

Science Conference Proceedings (OSTI)

This paper proposes an answer to a question recently posed by Vladimir Lifschitz about which logical system would be appropriate for reasoning about logic programs with intensional functions (IF-programs for short), a type of causal logic program introduced ...

Luis Fariñas del Cerro; David Pearce; Agustín Valverde

2012-01-01T23:59:59.000Z

4

Relational separation logic  

Science Conference Proceedings (OSTI)

In this paper, we present a Hoare-style logic for specifying and verifying how two pointer programs are related. Our logic lifts the main features of separation logic, from an assertion to a relation, and from a property about a single program to a relationship ... Keywords: Program verification, Relational reasoning, Schorr—Waite graph marking algorithm, Separation logic

Hongseok Yang

2007-05-01T23:59:59.000Z

5

Extensional logic of hyperintensions  

Science Conference Proceedings (OSTI)

In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional ... Keywords: extensional logic of hyperintensions, extensional/intensional/hyperintensional context, quantifying-in, ramified type theory, transparency, transparent intensional logic

Marie Duží

2012-01-01T23:59:59.000Z

6

?-connections of Description Logics  

E-Print Network (OSTI)

this paper is to summarize the general transfer results for E- connections that have recently been obtained in [7]. The generality of the results is due to the fact that are defined and investigated using the framework of so-called abstract description systems (ADSs), a common generalization of description logics, modal logics, logics of time and space, and many other logical formalisms [2]. Thus, we can connect not only DLs with DLs, but also, say, description logics with spatial logics [8]. A natural interpretation of link relations in this context would then be, for instance, to describe the spatial extension of abstract (DL) objects

Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev

2003-01-01T23:59:59.000Z

7

Reverse hoare logic  

Science Conference Proceedings (OSTI)

We present a novel Hoare-style logic, called Reverse Hoare Logic, which can be used to reason about state reachability of imperative programs. This enables us to give natural specifications to randomized (deterministic or nondeterministic) algorithms. ...

Edsko de Vries; Vasileios Koutavas

2011-11-01T23:59:59.000Z

8

Typing constraint logic programs  

Science Conference Proceedings (OSTI)

We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically. It introduces a type discipline for constraint logic programs and ... Keywords: Constraint logic programming, Metaprogramming, Prolog, subtyping, type systems

François Fages; Emmanuel Coquery

2001-11-01T23:59:59.000Z

9

Intuitionistic Control Logic  

E-Print Network (OSTI)

We introduce a propositional logic ICL, which adds to intuitionistic logic elements of classical reasoning without collapsing it into classical logic. This logic includes a new constant for false, which augments false in intuitionistic logic and in minimal logic. The new constant requires a simple-yet-significant modification of intuitionistic logic both semantically and proof-theoretically. We define a Kripke-style semantics as well as a topological space interpretation in which the new constant is given a precise denotation. We define a sequent calculus and prove cut-elimination. We then formulate a natural deduction proof system with a term calculus, one that gives a direct, computational interpretation of contraction. This calculus shows that ICL is fully capable of typing programming language control constructs such as call/cc while maintaining intuitionistic implication as a genuine connective.

Chuck Liang; Dale Miller

2012-01-01T23:59:59.000Z

10

Offline partial evaluation for shift and reset  

Science Conference Proceedings (OSTI)

This paper presents an offline partial evaluator for the ?-calculus with the delimited continuation constructs shift and reset. Based on Danvy and Filinski's type system for shift and reset, we first present a type system that specifies ... Keywords: CPS transformation, binding-time analysis (BTA), continuation-passing style (CPS), delimited continuations, logical relations, offline partial evaluation

Kenichi Asai

2004-08-01T23:59:59.000Z

11

Finite Schematizable Algebraic Logic  

E-Print Network (OSTI)

In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) non-axiomatizability (by any nite schema) of the valid formula schemas of rst order logic, (ii) non-axiomatizability (by nite schema) of any propositional logic equivalent with classical rst order logic (i.e., modal logic of quanti cation and substitution), and (iii) non-axiomatizability (by nite schema) of the class of representable cylindric algebras (i.e., of the algebraic counterpart of rst order logic). Here we present two nite schema axiomatizable classes of algebras that contain, as a reduct, the class of representable quasi-polyadic algebras and the class of representable cylindric algebras, respectively. We establish positive results in the direction of nitary algebraization of rst order logic without equality as well as that with equality. Finally, we will indicate how these constructions can be applied to turn negative results (i), (ii) above to positive ones.

Ildikó Sain; Viktor Gyuris

1997-01-01T23:59:59.000Z

12

Logic programming with temporal constraints  

Science Conference Proceedings (OSTI)

Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal ... Keywords: Datalog, Simple TCLP, TCLP language, decidable fragment, disjunction processing algorithms, quantification, relation symbols, syntactic structure, temporal constraint logic programming, temporal constraint networks, temporal constraint satisfaction problems, temporal logic, temporal occurrence intervals

E. Schwalb; L. Vila

1996-05-01T23:59:59.000Z

13

Modular logic metaprogramming  

Science Conference Proceedings (OSTI)

In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability ... Keywords: logic metaprogramming, modularity, separate checking

Karl Klose; Klaus Ostermann

2010-10-01T23:59:59.000Z

14

Functional Logic Overloading  

E-Print Network (OSTI)

Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conceptually predicates on types in standard Haskell, they are type functions in our approach. Thus, we can base type inference on the evaluation of functional logic programs. Functional logic programming provides a solid theoretical foundation for type functions and, at the same time, allows for programmable overloading resolution strategies by choosing di#erent evaluation strategies for functional logic programs. Type inference with type functions is an instance of type inference with constrained types, where the underlying constraint system is defined by a functional logic program. We have designed a variant of Haskell which supports our approach to overloading, and implemented a prototype frontend for the language.

Matthias Neubauer Peter; Peter Thiemann; Universität Freiburg

2001-01-01T23:59:59.000Z

15

Logic Simulation Using Graphics Processors.  

E-Print Network (OSTI)

??Logic Simulation is widely used to verify the logical correctness of hardware designs. In this work, we present the implementation of a generic graphics processor… (more)

Perinkulam, Atchuthan S

2007-01-01T23:59:59.000Z

16

Here and there among logics for logic programming  

Science Conference Proceedings (OSTI)

We explore the range of propositional logics suitable for logic programs under the stable semantics, starting with the logic of here-and-there as a primary representative. It will be shown, however, that there are other potential logics in the range. ...

Alexander Bochman

2012-01-01T23:59:59.000Z

17

Towards Service Description Logics  

Science Conference Proceedings (OSTI)

Semantic service description and matchmaking are needed in embedded and disappearing computing, cooperative multiagent systems, and the semantic web. Standard program semantics formalizations are not suited to modeling service semantics, because they ... Keywords: description logics, semantic web

Piero A. Bonatti

2002-09-01T23:59:59.000Z

18

Logic and understanding - CECM  

E-Print Network (OSTI)

Dec 24, 2003 ... In particular, the so-called logical words and, or, not, are supposed to have fixed meanings that can be specified in truth-tables. These set out ...

19

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

20

Programmable logic devices  

Science Conference Proceedings (OSTI)

Erasable programmable logic devices (EPLDs) were investigated to determine their advantages and/or disadvantages in Test Equipment Engineering applications. It was found that EPLDs performed as well as or better than identical circuits using standard TTL logic. The chip count in these circuits was reduced, saving printed circuit board space and shortening fabrication and prove-in time. Troubleshooting circuits of EPLDs was also easier with 10 to 100 times fewer wires needed. The reduced number of integrated circuits (ICs) contributed to faster system speeds and an overall lower power consumption. In some cases changes to the circuit became software changes using EPLDs instead of hardware changes for standard logic. Using EPLDs was fairly easy; however, as with any new technology, a learning curve must be overcome before EPLDs can be used efficiently. The many benefits of EPLDs outweighed this initial inconvenience.

Jacobs, J.L.

1993-04-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 Engines as Interactors  

Science Conference Proceedings (OSTI)

We introduce a new programming language construct, Interactors , supporting the agent-oriented view that programming is a dialog between simple, self-contained, autonomous building blocks. We define Interactors ... Keywords: agent oriented programming language constructs, generalized iterators, logic engines, metaprogramming

Paul Tarau

2008-12-01T23:59:59.000Z

22

Logically Possible Machines  

Science Conference Proceedings (OSTI)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined ... Keywords: convergence, fixed-point, infinite algorithm, infinite machine, infinite mind, limit, possible world, situation, super-Turing computer

Eric Steinhart

2002-05-01T23:59:59.000Z

23

Topology, connectedness, and modal logic  

E-Print Network (OSTI)

of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the effect Logic and Modal Logic In their seminal paper The algebra of topology [40], McKinsey and Tarski sought as the topological interior operator. As McKinsey and Tarski showed, a modal formula is an S4-validity if and only

Kontchakov, Roman

24

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic  

Science Conference Proceedings (OSTI)

We show that the generalized variant of formal systems where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. ... Keywords: Maude, Membership equational logic, Reflection, Reflective logics, Reflective programming languages, Rewriting logic, Universal theories

Manuel Clavel; José Meseguer; Miguel Palomino

2007-03-01T23:59:59.000Z

25

Sentential Logic for Psychologists Richard Grandy  

E-Print Network (OSTI)

) that a normal person can actually come to enjoy logic. It looks like logic is about formulas in some esoteric

Osherson, Daniel

26

Topology, connectedness, and modal logic  

E-Print Network (OSTI)

of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the e Logic and Modal Logic In their seminal paper The algebra of topology [40], McKinsey and Tarski sought as the topological interior operator. As McKinsey and Tarski showed, a modal formula # is an S4­validity if and only

Kontchakov, Roman

27

Complexity and expressive power of logic programming  

Science Conference Proceedings (OSTI)

This article surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general ... Keywords: Complexity, datalog, expressive power, logic programming, nonmonotonic logic, query languages

Evgeny Dantsin; Thomas Eiter; Georg Gottlob; Andrei Voronkov

2001-09-01T23:59:59.000Z

28

Where is the business logic?  

Science Conference Proceedings (OSTI)

One of the challenges in maintaining legacy systems is to be able to locate business logic in the code, and isolate it for different purposes, including implementing requested changes, refactoring, eliminating duplication, unit testing, and extracting ... Keywords: Business logic, business glossary, context-based search, tree-map visualization

Yael Dubinsky, Yishai Feldman, Maayan Goldstein

2013-08-01T23:59:59.000Z

29

From XQuery to relational logics  

Science Conference Proceedings (OSTI)

Predicate logic has long been seen as a good foundation for querying relational data. This is embodied in the correspondence between relational calculus and first-order logic, and can also be seen in mappings from fragments of the standard relational ...

Michael Benedikt; Christoph Koch

2009-12-01T23:59:59.000Z

30

The fuzzy description logic ALCFLH  

E-Print Network (OSTI)

We present the fuzzy description logic ALCF LH. ALCF LH is based on ALCF H, but linear hedges are used instead of exponential ones. This allows to solve the entailment and the subsumption problem in a fuzzy description logic, where arbitrary concepts and roles may be modified. 1

Steffen Hölldobler; Nguyen Hoang Nga; Technische Universität Dresden; Tran Dinh Khang

2005-01-01T23:59:59.000Z

31

GeckoLogic | Open Energy Information  

Open Energy Info (EERE)

GeckoLogic Jump to: navigation, search Name GeckoLogic Place Germany Sector Buildings, Solar Product String representation "GeckoLogic is a ... toring systems." is too long....

32

Visualizing and specifying ontologies using diagrammatic logics  

Science Conference Proceedings (OSTI)

This paper proposes a diagrammatic logic that is suitable for specifying ontologies. We take a case study style approach to presenting the diagrammatic logic, and draw contrast with RDF graphs and description logics. We provide specifications of two ...

Ian Oliver; John Howse; Gem Stapleton; Esko Nuutila; Seppo Törmä

2009-12-01T23:59:59.000Z

33

H2 Logic | Open Energy Information  

Open Energy Info (EERE)

H2 Logic Jump to: navigation, search Name H2 Logic Place Denmark Sector Hydro, Hydrogen Product H2 logic is involved in a range of activities including consultancy,research...

34

An Intelligent Teaching Assistant System for Logic  

Science Conference Proceedings (OSTI)

This paper presents the Logic-ITA, an Intelligent Teaching Assistant system for the teaching/learning of propositional logic. Intelligent Teaching Assistant Systems are dedicated both to learners and teachers. The system embeds three tools: the Logic ...

Leanna Lesta; Kalina Yacef

2002-06-01T23:59:59.000Z

35

A System for Tabled Constraint Logic Programming  

Science Conference Proceedings (OSTI)

As extensions to traditional logic programming, both tabling and Constraint Logic Programming (CLP) have proven powerful tools in many areas. They make logic programming more efficient and more declarative. However, combining the techniques of tabling ...

Baoqiu Cui; David Scott Warren

2000-07-01T23:59:59.000Z

36

Belief revision in non-monotonic reasoning and logic programming  

Science Conference Proceedings (OSTI)

Keywords: belief revision, logic programming, logics of knowledge and beliefs, non-monotonic reasoning

José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski

1996-11-01T23:59:59.000Z

37

Programmable Logic Controllers  

E-Print Network (OSTI)

Programmable Logic Controllers (PLCs) drive the behavior of industrial control systems according to uploaded programs. It is now known that PLCs are vulnerable to the uploading of malicious code that can have severe physical consequences. What is not understood is whether an adversary with no knowledge of the PLC’s interface to the control system can execute a damaging, targeted, or stealthy attack against a control system using the PLC. In this paper, we present SABOT, a tool that automatically maps the control instructions in a PLC to an adversary-provided specification of the target control system’s behavior. This mapping recovers sufficient semantics of the PLC’s internal layout to instantiate arbitrary malicious controller code. This lowers the prerequisite knowledge needed to tailor an attack to a control system. SABOT uses an incremental model checking algorithm to map a few plant devices at a time, until a mapping is found for all adversary-specified devices. At this point, a malicious payload can be compiled and uploaded to the PLC. Our evaluation shows that SABOT correctly compiles payloads for all tested control systems when the adversary correctly specifies full system behavior, and for 4 out of 5 systems in most cases where there where unspecified features. Furthermore, SABOT completed all analyses in under 2 minutes.

Stephen Mclaughlin; Patrick Mcdaniel; Stephen Mclaughlin; Patrick Mcdaniel

2012-01-01T23:59:59.000Z

38

Ice hockey players' perceived legitimacy of aggression.  

E-Print Network (OSTI)

??Recent incidents of aggressive and violent behavior in professional ice hockey have caused many in and out of the sport world to again question the… (more)

Visek, Amanda J.

2004-01-01T23:59:59.000Z

39

THE OBJECTIVE INDEFINITENESS INTERPRETATION OF QUANTUM MECHANICS: Partition logic, logical information theory, and quantum mechanics  

E-Print Network (OSTI)

THE OBJECTIVE INDEFINITENESS INTERPRETATION OF QUANTUM MECHANICS: Partition logic, logical information theory, and quantum mechanics David Ellerman University of California at Riverside www ago that quantum mechanics was not compatible with Boolean logic, then the natural thing to do would

Wüthrich, Christian

40

Programmable logic devices. Final report  

SciTech Connect

Erasable programmable logic devices (EPLDs) were investigated to determine their advantages and/or disadvantages in Test Equipment Engineering applications. It was found that EPLDs performed as well as or better than identical circuits using standard TTL logic. The chip count in these circuits was reduced, saving printed circuit board space and shortening fabrication and prove-in time. Troubleshooting circuits of EPLDs was also easier with 10 to 100 times fewer wires needed. The reduced number of integrated circuits (ICs) contributed to faster system speeds and an overall lower power consumption. In some cases changes to the circuit became software changes using EPLDs instead of hardware changes for standard logic. Using EPLDs was fairly easy; however, as with any new technology, a learning curve must be overcome before EPLDs can be used efficiently. The many benefits of EPLDs outweighed this initial inconvenience.

Jacobs, J.L.

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


41

Multiple signal fault detection using fuzzy logic  

Science Conference Proceedings (OSTI)

In this paper, we describe a multiple Signal Fault Detection system that employs fuzzy logic at two levels of detection: signal segment fault and signal fault. The system involves signal segmentation, feature extraction and fuzzy logic based segment ...

Yi Lu Murphey; Jacob Crossman; ZhiHang Chen

2003-06-01T23:59:59.000Z

42

Evolving logic programs with temporal operators  

Science Conference Proceedings (OSTI)

Logic Programming Update Languages have been proposed as extensions of logic programming that allow specifying and reasoning about knowledge bases where both extensional knowledge (facts) as well as intentional knowledge (rules) may change over time ...

José Júlio Alferes; Alfredo Gabaldon; João Leite

2011-01-01T23:59:59.000Z

43

Ordinal completeness of bimodal provability logic GLB  

Science Conference Proceedings (OSTI)

Bimodal provability logic GLB, introduced by G. Japaridze, currently plays an important role in the applications of provability logic to proof-theoretic analysis. Its topological semantics interprets diamond modalities as derived set operators on a bi-scattered ...

Lev Beklemishev

2009-09-01T23:59:59.000Z

44

Efficient dataflow analysis of logic programs  

Science Conference Proceedings (OSTI)

A framework for efficient dataflow analyses of logic programs is investigated. A number of problems arise in this context: aliasing effects can make analysis computationally expensive for sequential logic programming languages; synchronization issues ... Keywords: PROLOG, program analysis

Saumya K. Debray

1992-10-01T23:59:59.000Z

45

WindLogics Inc | Open Energy Information  

Open Energy Info (EERE)

Product WindLogics provides wind resource analysis and long-period variability forecasting services. References WindLogics Inc1 LinkedIn Connections CrunchBase Profile No...

46

Modifications to PDP-6 Teletype Logic  

E-Print Network (OSTI)

The existing teletype logic for the PDP-6 has been modified to accommodate up to four additional teletypes. These were added with a minimum of change to the existing logic, and are easily removable by taking out the cable ...

Knight, Tom

1966-08-01T23:59:59.000Z

47

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

48

Outlier detection by logic programming  

Science Conference Proceedings (OSTI)

The development of effective knowledge discovery techniques has become a very active research area in recent years due to the important impact it has had in several relevant application domains. One interesting task therein is that of singling out anomalous ... Keywords: Outlier detection, computational complexity, logic programming, nonmonotonic reasoning

Fabrizio Angiulli; Gianluigi Greco; Luigi Palopoli

2007-12-01T23:59:59.000Z

49

Origins of Logic Greek mathematics  

E-Print Network (OSTI)

­ 2007/08-1ab ­ p. 10/4 #12;Esoteric / exoteric. Aristotle: Esoteric works: lecture notes and textbooks), designed for the general public. Plato Aristotle Exoteric survive lost Esoteric ? mostly survive Core Logic ­ 2007/08-1ab ­ p. 11/4 #12;Esoteric / exoteric. Aristotle: Esoteric works: lecture notes and textbooks

Löwe, Benedikt

50

Book Series ontos mathematical logic  

E-Print Network (OSTI)

Book Series ontos mathematical logic Information for Authors Edited by Wolfram Pohlers (Münster sheet. The books of this new series will be published in hardcover (except of student handbooks) and will be available for at least ten years. The books of this series will be distributed in Middle Europe by ontos

Schindler, Ralf

51

AVERAGE SHIFTED HISTOGRAM  

Science Conference Proceedings (OSTI)

... LET YPPF = XCDF LET XPPF = YCDF. Default: None Synonyms: ASH is a synonym for the AVERAGE SHIFTED HISTOGRAM command. ...

2010-12-06T23:59:59.000Z

52

Logical queries over views: Decidability and expressiveness  

Science Conference Proceedings (OSTI)

We study the problem of deciding the satisfiability of first-order logic queries over views, with our aim to delimit the boundary between the decidable and the undecidable fragments of this language. Views currently occupy a central place in database ... Keywords: Löwenheim class, Satisfiability, conjunctive query, containment, database query, database view, decidability, first-order logic, monadic logic, ontology reasoning, unary logic, unary view

James Bailey; Guozhu Dong; Anthony WIDJAJA To

2010-01-01T23:59:59.000Z

53

A survey of temporal extensions of description logics  

Science Conference Proceedings (OSTI)

This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches – which ... Keywords: description logics, temporal logics

Alessandro Artale; Enrico Franconi

2001-03-01T23:59:59.000Z

54

On rewiring and simplification for canonicity in threshold logic circuits  

Science Conference Proceedings (OSTI)

Rewiring is a well developed and widely used technique in the synthesis and optimization of traditional Boolean logic designs. The threshold logic is a new alternative logic representation to Boolean logic which poses a compactness characteristic of ...

Pin-Yi Kuo; Chun-Yao Wang; Ching-Yi Huang

2011-11-01T23:59:59.000Z

55

Benefits and Costs of Aggressive Energy Efficiency Programs and...  

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

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

56

Core equivalence in economy for modal logic  

Science Conference Proceedings (OSTI)

We investigate a pure exchange economy under uncertainty with emphasis on the logical point of view; the traders are assumed to have a multi-modal logic with non-partitional information structures.We propose a generalized notion of rational expectations ... Keywords: core equivalence theorem, ex-post core, multi-modal logic, pure exchange economy under reflexive information structure, rational expectations equilibrium

Takashi Matsuhisa

2003-06-01T23:59:59.000Z

57

Expressive fuzzy description logics over lattices  

Science Conference Proceedings (OSTI)

It is generally accepted that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. In this paper we present a fuzzy description logics framework based on certainty lattices. Our main feature ... Keywords: Certainty lattices, Description logics, Fuzzy description logics, Inverse roles, Role hierarchies, Transitive roles

Yuncheng Jiang; Yong Tang; Ju Wang; Peimin Deng; Suqin Tang

2010-03-01T23:59:59.000Z

58

A logical model for relational abstract domains  

Science Conference Proceedings (OSTI)

In this article we introduce the notion of Heyting completion in abstract interpretation. We prove that Heyting completion provides a model for Cousot's reduced cardinal power of abstract domains and that it supplies a logical basis to specify relational ... Keywords: Heyting completion, abstract interpretation, closure operators, condensing analysis, constraint logic programming, directional types, domains, intuitionistic logic, reduced cardinal power, static analysis

Roberto Giacobazzi; Francesca Scozzari

1998-09-01T23:59:59.000Z

59

Resonant Tunneling Device Logic Circuits  

E-Print Network (OSTI)

This report is a summary of the activities in the field of resonant tunneling device circuit design. The presented work has been performed by the Department of Microelectronics of the University of Dortmund (UNIDO) and the Solid-State Electronics Department of the Gerhard-Mercator University of Duisburg (GMUD) during the first year of the Microelectronics Advanced Research Initiative projects ANSWERS (Autonomous Nanoelectronic Systems with Extended Replication and Signalling) and LOCOM (Logic Circuits with Reduced Complexity based on Devices with Higher Functionality). As part of the ANSWERS work-package the principal task of UNIDO is to investigate novel logic circuit architectures for resonant tunneling devices, to perform circuit simulations, and to specify the electrical device parameters. The basic device configuration is a monolithically integrated resonant tunneling diode heterostructure field-effect transistor (RTD-HFET). This device and the demonstrator circuits are fabricated by the LOCOM partner GMUD.

Christian Pacha; Peter Glösekötter; Karl Goser; Werner Prost; Uwe Auer; Franz-J. Tegude

1999-01-01T23:59:59.000Z

60

Shifts & Schedules  

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

Shifts & Schedules This page provides links to the various shifts and schedules that are used by the User ESH Support Group. FC Shift Schedule This page lists the current Operational Shift Schedule for the Floor Coordinators. FC DOR Schedule This page lists the current DOR Schedule for the Floor Coordinators. FC Off Shift Pager Schedule This tool lists the current schedule for the Floor Coordinator carring the 0101 during APS Shutdown periods. Long Range Operations Schedule This page lists the schedule of Operations for the current APS fiscal year. Machine Studies Schedule This page lists the current schedule of Operations for the Accelerator Systems during Machine Studies. PSS Validation Schedule This page lists the beamlines currently scheduled to have their Personnel Safety Systems validated.

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

Asynchronous logic circuits and sheaf obstructions  

E-Print Network (OSTI)

This article exhibits a particular encoding of logic circuits into a sheaf formalism. The central result of this article is that there exists strictly more information available to a circuit designer in this setting than exists in static truth tables, but less than exists in event-level simulation. This information is related to the timing behavior of the logic circuits, and thereby provides a ``bridge'' between static logic analysis and detailed simulation.

Robinson, Michael

2010-01-01T23:59:59.000Z

62

River Protection Project (RPP) Level 0 Logic  

SciTech Connect

The following modifications were made to the River Protection Project Level-0 logic in going from Rev. I to Rev. 2. The first change was the change to the heading at the top of the drawing: ''TWRS Program Logic'' to ''River Protection Project Mission Logic''. Note that purely format changes (e.g., fonts, location of boxes, date format, addition of numbers to ''ghost'' boxes) are not discussed. However, the major format change was to show DOE-BNFL Inc. Interface Control Documents (ICDs) on the logic.

SEEMAN, S.E.

2000-01-20T23:59:59.000Z

63

Molecular scale biocomputing : an enzyme logic approach  

E-Print Network (OSTI)

Boolean logic. Angewandte Chemie International Edition, 124(based computing. Angewandte Chemie International Edition,make decisions. Angewandte Chemie International Edition, 46(

Windmiller, Joshua Ray; Windmiller, Joshua Ray

2012-01-01T23:59:59.000Z

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

Implementation of multiple specialization in logic programs  

Science Conference Proceedings (OSTI)

Keywords: abstract interpretation, compile-time analysis, direct manipulation, distributed computing, graphical user interfaces, logic programming, multimedia, multiple program specialization, optimization, reconfiguration, user interface management system

Germán Puebla; Manuel Hermenegildo

1995-06-01T23:59:59.000Z

66

SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions  

Science Conference Proceedings (OSTI)

Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well-founded models of the normal logic programs obtained by selecting one disjunct ... Keywords: Logic Programs with Annotated Disjunctions, Probabilistic Logic Programming, SLG Resolution, Well-Founded Semantics

Fabrizio Riguzzi

2010-08-01T23:59:59.000Z

67

Fuzzy description logics with general t-norms and datatypes  

Science Conference Proceedings (OSTI)

Fuzzy description logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, current ... Keywords: Fuzzy description logics, Fuzzy logic, Fuzzy ontologies, Logic for the semantic web

Fernando Bobillo; Umberto Straccia

2009-12-01T23:59:59.000Z

68

Shift Reference Manual  

E-Print Network (OSTI)

BERKELEY Shift Reference Manual Akash Deshpande Aleks Göllü1055-1425 S HIFT Reference Manual PRCS project SHIC versionThis is a reference manual for S HIFT . It presents its

Deshpande, Akash; Gollu, Aleks; Semenzato, Luigi

1997-01-01T23:59:59.000Z

69

Aggressive Datacenter Power Provisioning with Batteries  

Science Conference Proceedings (OSTI)

Datacenters spend $10--25 per watt in provisioning their power infrastructure, regardless of the watts actually consumed. Since peak power needs arise rarely, provisioning power infrastructure for them can be expensive. One can, thus, aggressively underprovision ... Keywords: Datacenters, UPS, batteries, cap-ex, peak power, peak shaving, provisioning, stored energy

Sriram Govindan; Di Wang; Anand Sivasubramaniam; Bhuvan Urgaonkar

2013-02-01T23:59:59.000Z

70

Grinding circuit control using programmable logic controllers  

Science Conference Proceedings (OSTI)

This paper presents an application for cement milling system. In this application the process is controlled by software running on Programmable Logic Controllers. The appliance used to observe industrial process show the following mill parameters: feed ... Keywords: PLC programming, ball mill, clinker grinding, grinding circuit, programmable logic controllers

Costea R. Claudiu; Silaghi Helga Maria; Rohde L. Ulrich; Silaghi A. Marius

2011-08-01T23:59:59.000Z

71

Generalized cofactoring for logic function evaluation  

Science Conference Proceedings (OSTI)

Logic evaluation of a Boolean function or relation is traditionally done by simulating its gate-level implementation, or creating a branching program using its Binary Decision Diagram (BDD) representation, or using a set of look-up tables. We propose ... Keywords: code generation, logic simulation

Yunjian Jiang; Slobodan Matic; Robert K. Brayton

2003-06-01T23:59:59.000Z

72

Extending soft sets with description logics  

Science Conference Proceedings (OSTI)

Molodtsov initiated the concept of soft set theory, which can be used as a generic mathematical tool for dealing with uncertainty. Description Logics (DLs) are a family of knowledge representation languages which can be used to represent the terminological ... Keywords: Description logics, Extended soft sets, Soft sets, Terminology

Yuncheng Jiang; Yong Tang; Qimai Chen; Ju Wang; Suqin Tang

2010-03-01T23:59:59.000Z

73

Beth definability in expressive description logics  

Science Conference Proceedings (OSTI)

The Beth definability property, a well-known property from classical logic, is investigated in the context of description logics (DLs): if a general LTBox implicitly defines an L-concept in terms of a given signature, where L is a DL, then does there ...

Balder Ten Cate; Enrico Franconi; ?nanç Seylan

2011-07-01T23:59:59.000Z

74

A magnetoelectronic macrocell employing reconfigurable threshold logic  

Science Conference Proceedings (OSTI)

In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ferromagnetic element, HHE devices are inherently non-volatile, retaining ... Keywords: PLA/CPLD, lookup table, magnetoelectronic circuits, non-volatility, threshold logic, wired-and logic

Steve P. Ferrera; Nicholas P. Carter

2004-02-01T23:59:59.000Z

75

Denotational abstract interpretation of logic programs  

Science Conference Proceedings (OSTI)

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

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

1994-05-01T23:59:59.000Z

76

Compiler implementation in a formal logical framework  

Science Conference Proceedings (OSTI)

The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the use of higher-order abstract syntax and term rewriting in a logical framework. All program transformations, ... Keywords: formal compiler, higher-order abstract syntax, logical programming environment

Jason Hickey; Aleksey Nogin; Adam Granicz

2003-08-01T23:59:59.000Z

77

Towards a Logic for Pragmatics. Assertions and Conjectures  

Science Conference Proceedings (OSTI)

The logic for pragmatics extends classical logic in order to characterize the logical properties of the operators of illocutionary force such as that of assertion and obligation and of the pragmatic connectives which are given ...

Gianluigi Bellin; Corrado Biasi

2004-08-01T23:59:59.000Z

78

Project W-058 monitor and control system logic  

Science Conference Proceedings (OSTI)

This supporting document contains the printout of the control logic for the Project W-058 Monitor and Control System, as developed by Programmable Control Services, Inc. The logic is arranged in five appendices, one for each programmable logic controller console.

ROBERTS, J.B.

1999-05-12T23:59:59.000Z

79

Discriminative structure and parameter learning for Markov logic networks  

Science Conference Proceedings (OSTI)

Markov logic networks (MLNs) are an expressive representation for statistical relational learning that generalizes both first-order logic and graphical models. Existing methods for learning the logical structure of an MLN are not discriminative; however, ...

Tuyen N. Huynh; Raymond J. Mooney

2008-07-01T23:59:59.000Z

80

A correspondence between temporal description logics  

E-Print Network (OSTI)

ABSTRACT. In this paper, we investigate the relationship between two decidable interval-based temporal description logics that have been proposed in the literature, T L-ALCF and ALCF(A). Although many aspects of these two logics are quite similar, the two logics suggest two rather different paradigms for representing temporal conceptual knowledge. In this paper, we exhibit a reduction from T L-ALCF concepts to ALCF(A) concepts that serves two purposes: first, it nicely illustrates the relationship between the two knowledge representation paradigms; and second, it provides a tight PSPACE upper bound for T L-ALCF concept satisfiabiliy, whose complexity was previously unknown.

Ro Artale; Carsten Lutz; Tu Dresden (germany

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


81

MINERVA - A Dynamic Logic Programming Agent Architecture  

Science Conference Proceedings (OSTI)

The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Since efficiency is not always the ...

João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira

2001-08-01T23:59:59.000Z

82

Individual Reuse in Description Logic Reasoning  

Science Conference Proceedings (OSTI)

Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowledge bases (KBs), mainly because they end up building very large models. To address ...

Boris Motik; Ian Horrocks

2008-08-01T23:59:59.000Z

83

Disjunctive Logic Programming: A Survey and Assessment  

Science Conference Proceedings (OSTI)

We describe the fields of disjunctive logic programming and disjunctive deductive databases from the time of their inception to the current time. Contributions with respect to semantics, implementations and applications are surveyed.In the last decade ...

Jack Minker; Dietmar Seipel

2002-01-01T23:59:59.000Z

84

Refinement of higher-order logic programs  

Science Conference Proceedings (OSTI)

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order ...

Robert Colvin; Ian Hayes; David Hemer; Paul Strooper

2002-09-01T23:59:59.000Z

85

Boolean abstraction for temporal logic satisfiability  

Science Conference Proceedings (OSTI)

Increasing interest towards property based design calls for effective satisfiability procedures for expressive temporal logics, e.g. the IEEE standard Property Specification Language (PSL). In this paper, we propose a new approach to the satisfiability ...

Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta

2007-07-01T23:59:59.000Z

86

PERT as an aid to logic design  

Science Conference Proceedings (OSTI)

A new application is presented for PERT, the well-known statistical project-scheduling method. Using PERT, the logic designer could circumvent usually unrealistic worst-case criteria. He substitutes a formalized statistical method which determines (1) ...

T. I. Kirkpatrick; N. R. Clark

1966-03-01T23:59:59.000Z

87

Logical Control Theory Applied to Mechanical Arms  

E-Print Network (OSTI)

A new control algorithm based upon Logical Control Theory is developed for mechanical manipulators. The controller uses discrete tesselations of state space and a finite set of fixed torques to regulate non-rehearsed ...

Pankiewicz, Ronald Joseph

88

The Complexity of Reasoning for Fragments of Autoepistemic Logic  

Science Conference Proceedings (OSTI)

Autoepistemic logic extends propositional logic by the modal operator L. A formula ϕ that is preceded by an L is said to be “believed.” The logic was introduced by Moore in 1985 for modeling an ideally rational agent’s ... Keywords: Autoepistemic logic, Post’s lattice, complexity, nonmonotonic reasoning

Nadia Creignou; Arne Meier; Heribert Vollmer; Michael Thomas

2012-04-01T23:59:59.000Z

89

InMnAs magnetoresistive spin-diode logic  

Science Conference Proceedings (OSTI)

Electronic computing relies on systematically controlling the flow of electrons to perform logical functions. Various technologies and logic families are used in modern computing, each with its own tradeoffs. In particular, diode logic allows for the ... Keywords: diode logic, magnetoresistance, spin-diode, spintronics

Joseph S. Friedman; Nikhil Rangaraju; Yehea I. Ismail; Bruce W. Wessels

2012-05-01T23:59:59.000Z

90

Belief Revision in Non-Monotonic Reasoning and Logic Programming  

Science Conference Proceedings (OSTI)

In order to be able to explicitly reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic of Beliefs, AEB, obtained by augmenting classical propositional logic with a belief operator, ?. For this language ... Keywords: Belief Revision, Logic Programming, Logics of Knowledge and Beliefs, Non-Monotonic Reasoning

José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski

1996-04-01T23:59:59.000Z

91

Well-Founded and Partial Stable Semantics Logical Aspects  

Science Conference Proceedings (OSTI)

This paper is devoted to logical aspects of two closely related semantics for logic programs: the partial stable model semantics of Przymusinski [20] and the well-founded semantics of Van Gelder, Ross and Schlipf [24]. For many years the following problem ... Keywords: equilibrium logic, partial equilibrium logic, partial stable models, well-founded semantics

Pedro Cabalar; Sergei Odintsov; David Pearce

2009-08-01T23:59:59.000Z

92

Control of systems integrating logic, dynamics, and constraints  

Science Conference Proceedings (OSTI)

This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dynamical (MLD) systems. These are described by linear dynamic equations ... Keywords: Binary logic systems, Boolean logic, Dynamic models, Hybrid systems, Mixed-integer programming, Optimization problems, Predictive control

Alberto Bemporad; Manfred Morari

1999-03-01T23:59:59.000Z

93

A modal logic framework for multi-agent belief fusion  

Science Conference Proceedings (OSTI)

This article provides a modal logic framework for reasoning about multi-agent belief and its fusion. We propose logics for reasoning about cautiously merged agent beliefs that have different degrees of reliability. These logics are obtained by combining ... Keywords: Epistemic logic, belief fusion, belief revision, database merging, multi-agent systems, multi-sources reasoning

Churn-Jung Liau

2005-01-01T23:59:59.000Z

94

Back and forth between guarded and modal logics  

Science Conference Proceedings (OSTI)

Guarded fixed-point logic ?GF extends the guarded fragment by means of least and greatest fixed points, and thus plays the same role within the domain of guarded logics as the modal ?-calculus plays within the modal domain. We provide a semantic ... Keywords: Bisimulation, guarded logic, modal logic, model theory

Erich Grädel; Colin Hirsch; Martin Otto

2002-07-01T23:59:59.000Z

95

Reasoning with rough description logics: An approximate concepts approach  

Science Conference Proceedings (OSTI)

The current research progress and the existing problems of uncertain or imprecise knowledge representation and reasoning in description logics are analyzed in this paper. Approximate concepts are introduced to description logics based on rough set theory, ... Keywords: Approximate concepts, Concepts, Description logics, Rough description logics, Rough set theory

Yuncheng Jiang; Ju Wang; Suqin Tang; Bao Xiao

2009-02-01T23:59:59.000Z

96

High performance low power CMOS dynamic logic for arithmetic circuits  

Science Conference Proceedings (OSTI)

This paper presents the design of high performance and low power arithmetic circuits using a new CMOS dynamic logic family, and analyzes its sensitivity against technology parameters for practical applications. The proposed dynamic logic family allows ... Keywords: CMOS digital integrated circuits, CMOS logic circuits, Dynamic logic, High speed arithmetic circuits, Low power arithmetic circuits

Victor Navarro-Botello; Juan A. Montiel-Nelson; Saeid Nooshabadi

2007-04-01T23:59:59.000Z

97

Unprecedented Generation Shifts  

Science Conference Proceedings (OSTI)

The economic recession, which reduced electricity demand, and falling natural gas costs have brought about unprecedented shifts in electric generation. These developments have affected coal-fired generation the most, leading to operational challenges (cycling and shut downs), deterioration of financial performance, and an awareness of the vulnerability of many units to retirement. A third force, though usually affecting natural gas unit operations more than coal, is the build-up of wind generation. This ...

2010-12-31T23:59:59.000Z

98

Reasoning about mathematical fuzzy logic and its future  

Science Conference Proceedings (OSTI)

This paper is devoted to reasoning about fuzzy logic which is based on various personal observations of the author. Our goal is to think of the state of the art in mathematical fuzzy logic (MFL) and to outline some of the tasks on which, in the author's ... Keywords: Approximate reasoning, Evaluative linguistic expressions, Fuzzy logic in broader sense, Fuzzy logic in narrow sense, Fuzzy mathematics, Fuzzy/linguistic IF--THEN rules, Intermediate quantifiers, Linguistic semantics, Perception-based logical deduction, Vagueness

Vilém Novák

2012-04-01T23:59:59.000Z

99

Modal logics of elementary classes of Kripke frames via hybrid logic  

E-Print Network (OSTI)

1 the world of modal logics GHV McKinsey 23p 32p | | | KM canonical Sahlqvist't Sahlqvist. E.g., logic KM from Lemmon notes (1966), extending McKinsey: KM : 3 ik (2pi 2¬pi) (all k 1

Hodkinson, Ian

100

Lecture Notes on Classical Linear Logic 15-816: Linear Logic  

E-Print Network (OSTI)

Originally, linear logic was conceived by Girard [Gir87] as a classical system, with one-sided sequents, an involutive negation, and an appropriate law of excluded middle. For a number of the applications, such as functional computation, logic programming, and implicit computational complexity the intuitionistic version is more suitable. In the case of concurrent computation, both classical and intuitionistic systems may be used, although the additional expressiveness afforded by the intuitionistic system seems to have some advantages even in that setting. In this lecture we present classical linear logic and then show that we can easily interpret it intuitionistically. Briefly, classical linear logic can be modeled intuitionistically as deriving a contradiction from linear assumptions. This is shown via a so-called double-negation translation. Its parametric nature allows a number of additional variants of classical linear logic to be explained intuitionistically, in particular the so-called mix rules. 1 Classical Linear Sequents

Frank Pfenning

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


101

Benefits and Costs of Aggressive Energy Efficiency Programs and...  

Open Energy Info (EERE)

Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts Jump to: navigation, search Name Benefits...

102

Corrosion Protection Role of Aggressive Species in Waste Solution ...  

Science Conference Proceedings (OSTI)

Collaborative efforts between Hanford and Savannah River are in progress to reduce the potential for deterioration of tank walls. Waste solution aggressive ...

103

Low Swing Dual Threshold Voltage Domino Logic  

E-Print Network (OSTI)

A low swing domino logic technique is proposed to decrease power consumption without sacrificing noise immunity. With the proposed low swing domino logic circuit technique, active power consumption is reduced by up to 9.4% while improving the noise immunity by 2.6% as compared to standard domino logic circuits. It is also shown that by applying a low swing contention reduction technique, the power savings can be further increased by 6.7% while the delay can be improved by 8.6%. A simple and efficient dual threshold voltage (dual-V t ) circuit technique that incorporates low swing signals is also proposed. It is shown that the proposed dual-V technique reduces the standby leakage current by approximately 235 times while offering enhanced delay characteristics as compared to a standard low threshold voltage implementation.

Volkan Kursun; Eby G. Friedman

2002-01-01T23:59:59.000Z

104

Voltage controlled spintronics device for logic applications.  

SciTech Connect

We consider logic device concepts based on our previously proposed spintronics device element whose magnetization orientation is controlled by application of a bias voltage instead of a magnetic field. The basic building block is the voltage-controlled rotation (VCR) element that consists of a four-layer structure--two ferromagnetic layers separated by both nanometer-thick insulator and metallic spacer layers. The interlayer exchange coupling between the two ferromagnetic layers oscillates as a function of applied voltage. We illustrate transistor-like concepts and re-programmable logic gates based on VCR elements.

Bader, S. D.; You, C.-Y.

1999-09-03T23:59:59.000Z

105

Voltage controlled spintronic devices for logic applications  

SciTech Connect

We consider logic device concepts based on our previously proposed spintronics device element whose magnetization orientation is controlled by application of a bias voltage instead of a magnetic field. The basic building block is the voltage-controlled rotation (VCR) element that consists of a four-layer structure--two ferromagnetic layers separated by both nanometer-thick insulator and metallic spacer layers. The interlayer exchange coupling between the two ferromagnetic layers oscillates as a function of applied voltage. We illustrate transistorlike concepts and reprogrammable logic gates based on VCR elements. (c) 2000 American Institute of Physics.

You, Chun-Yeol [Materials Science Division, Argonne National Laboratory, Argonne, Illinois 60439 (United States); Bader, S. D. [Materials Science Division, Argonne National Laboratory, Argonne, Illinois 60439 (United States)

2000-05-01T23:59:59.000Z

106

Transitioning to 12-hour shifts  

Science Conference Proceedings (OSTI)

In 1989, Yankee Rowe nuclear power station successfully implemented a 12-hour shift schedule for all shiftworkers (control room personnel, auxiliary operators, and radiation protection shift technicians) with many positive effects on morale, motivation, and performance. The transition from an 8-hour to a 12-hour shift schedule was initiated, organized, and promoted by the shiftworkers themselves after they had identified numerous inadequacies in the 8-hour shift schedule. Preliminary and final implementation required several steps: (a) a survey of needs, (b) research of potential schedules, (c) cost/benefit analysis, (d) resolution of any union contract conflicts, (e) management approval, and (f) trial shift schedule periods.

Suter, P.S.; Cervassi, S.M.

1993-03-01T23:59:59.000Z

107

Hydraulically actuated well shifting tool  

SciTech Connect

This patent describes a hydraulically actuated shifting tool for actuating a sliding member in a well tool. It comprises: a housing having a hydraulic fluid bore therein; shifting dog means positioned on the housing for movement away and toward the housing; locking dog means positioned on the housing for movement away and toward the body; shifting dog hydraulic actuating means in fluid communication with the bore for causing engagement of the shifting dogs with the sliding member; locking dog hydraulic actuating means in communication with the bore for causing engagement of the locking dogs with the locking means; and hydraulic shifting means in communication with the bore for causing relative movement between the shifting dog means and the locking dog means for shifting the sliding sleeve.

Roth, B.A.

1992-10-20T23:59:59.000Z

108

Analysis of aggressive behaviours of pigs by automatic video recordings  

Science Conference Proceedings (OSTI)

Aggression among pigs in today's production systems results in negative impact on health and welfare of animals as well as on productivity of the systems. Precision Livestock Farming technology might potentially offer a possibility to monitor and reduce ... Keywords: Aggression, Behaviour, Phases, Pigs

Maciej Oczak, Gunel Ismayilova, Annamaria Costa, Stefano Viazzi, Lilia Thays Sonoda, Michaela Fels, Claudia Bahr, Jörg Hartung, Marcella Guarino, Daniel Berckmans, Erik Vranken

2013-11-01T23:59:59.000Z

109

Pneu-Logic Corporation & PepsiCo, Gatorade Teaming Profile |...  

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

& PepsiCo, Gatorade Teaming Profile cover page of document Pneu-Logic installs compressor controls and saves Gatorade 70,000 in annual energy. Pneu-Logic Corporation &...

110

Deciding full branching time logic by program transformation  

Science Conference Proceedings (OSTI)

We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL*) properties of finite state reactive systems. The finite state systems and the CTL* properties we want to verify, are encoded ...

Alberto Pettorossi; Maurizio Proietti; Valerio Senni

2009-09-01T23:59:59.000Z

111

Intelligent paraconsistent logic controller and autonomous mobile robot emmy II  

Science Conference Proceedings (OSTI)

In this work we present a logic controller based on Paraconsistent Annotated Logic named Paracontrol, which can be applied to resolve conflicts and to deal with contradictions and/or paracompleteness, by implementing a decision-making in the presence ...

Jair M. Abe; Cláudio R. Torres; Germano L. Torres; Kazumi Nakamatsu; Michiro Kondo

2006-10-01T23:59:59.000Z

112

Automatic certification of Java source code in rewriting logic  

Science Conference Proceedings (OSTI)

In this paper we propose an abstract certification techniquefor Java which is based on rewriting logic, a very general logical and semanticframework efficiently implemented in the functional programminglanguage Maude. Starting from a specification of ...

Mauricio Alba-Castro; María Alpuente; Santiago Escobar

2007-07-01T23:59:59.000Z

113

A compositional logic for proving security properties of protocols  

Science Conference Proceedings (OSTI)

We present a logic for proving security properties of protocols that use nonces (randomly generated numbers that uniquely identify a protocol session) and public-key cryptography. The logic, designed around a process calculus with actions for each possible ...

Nancy Durgin; John Mitchell; Dusko Pavlovic

2003-07-01T23:59:59.000Z

114

Making Music with Emagic Logic Audio  

Science Conference Proceedings (OSTI)

From the Publisher:Making music is the main reason for Emagic Logic, and this book helps you do just that. It is completely flexible, totally user programmable, object orientated sequencer and can be set up in many ways. This has led to its difficult ...

Stephen Bennett

2001-03-01T23:59:59.000Z

115

Software reliability assessment via fuzzy logic model  

Science Conference Proceedings (OSTI)

Recently in software engineering it became of great importance to be able to reason about non functional characteristics of software. This holds for a large variety of application areas like embedded and safety-critical software systems as well as service-oriented ... Keywords: fuzzy logic, fuzzy models, service oriented software systems, software reliability

Olga Georgieva; Aleksandar Dimov

2011-06-01T23:59:59.000Z

116

Universal quantum computation with shutter logic  

Science Conference Proceedings (OSTI)

We show that universal quantum logic can be achieved using only linear optics and a quantum shutter device. With these elements, we design a quantum memory for any number of qubits and a CNOT gate which are the basis of a universal quantum computer. ... Keywords: interaction-free measurement, optical CNOT gate, optical quantum computation, quantum interrogation, quantum memory, quantum shutter, universal quantum computer

Juan Carlos García-Escartín; Pedro Chamorro-Posada

2006-09-01T23:59:59.000Z

117

Modular extensions for modular (logic) languages  

Science Conference Proceedings (OSTI)

We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our ... Keywords: ciao, compilation, domain specific languages, language extensions, modular program processing, modules, prolog, separate compilation

José F. Morales; Manuel V. Hermenegildo; Rémy Haemmerlé

2011-07-01T23:59:59.000Z

118

Strategies in Combined Learning via Logic Programs  

Science Conference Proceedings (OSTI)

We discuss the adoption of a three-valued setting for inductive concept learning. Distinguishing between what is true, what is false and what is unknown can be useful in situations where decisions have to be taken on the basis of scarce, ambiguous, ... Keywords: contradiction handling, explicit negation, inductive logic programming, multi-strategy learning, non-monotonic learning

Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira

2000-01-01T23:59:59.000Z

119

A logical model of private international law  

Science Conference Proceedings (OSTI)

We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they should apply to this purpose (choice of law). A formal model of the resulting ...

Phan Minh Dung; Giovanni Sartor

2010-07-01T23:59:59.000Z

120

LUPS - A Language for Updating Logic Programs  

Science Conference Proceedings (OSTI)

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced the concept of dynamic ...

José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski

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


121

HALO: haskell to logic through denotational semantics  

Science Conference Proceedings (OSTI)

Even well-typed programs can go wrong in modern functional languages, by encountering a pattern-match failure, or simply returning the wrong answer. An increasingly-popular response is to allow programmers to write contracts that express semantic properties, ... Keywords: first-order logic, static contract checking

Dimitrios Vytiniotis; Simon Peyton Jones; Koen Claessen; Dan Rosén

2013-01-01T23:59:59.000Z

122

Fuzzy logic for cooperative robot communication  

Science Conference Proceedings (OSTI)

This paper proposes a new approach which applies a recently developed fuzzy technique: Fuzzy Signature to model the communication between cooperative intelligent robots. Fuzzy signature is not only regarded as one of the key solutions to solve the rule ... Keywords: codebook, cooperative robots, fuzzy logic, fuzzy signature, possibility calculation

Dingyun Zhu; Tom Gedeon

2008-03-01T23:59:59.000Z

123

Triple Rail Logic Robustness against DPA  

Science Conference Proceedings (OSTI)

Side channel attacks are known to be efficient techniques to retrieve secret data. Within this context, the scope of this paper is to evaluate, on and for FPGA, the robustness of triple rail logic against power analyses. More precisely, this paper aims ... Keywords: SCA, DPA, CPA, STTL

Victor Lomné; Thomas Ordas; Philippe Maurine; Lionel Torres; Michel Robert; Rafael Soares; Ney Calazans

2008-12-01T23:59:59.000Z

124

A logic based context query language  

Science Conference Proceedings (OSTI)

Context is a basic ingredient in pervasive computing. It refers to user's both external environment and internal status, implying user's information needs during the interaction between the user and computer systems. By context-awareness, a variety of ... Keywords: context, context query language, temporal description logic

Ling Feng; Junhui Deng; Zhanjiang Song; Wenwei Xue

2010-11-01T23:59:59.000Z

125

Path dependent analysis of logic programs  

Science Conference Proceedings (OSTI)

This paper presents an abstract semantics that uses information about execution paths to improve precision of data flow analyses of logic programs. We illustrate the abstract semantics by abstracting execution paths using call strings of fixed length ... Keywords: Abstract interpretation, Call strings, Context sensitive analysis

Lunjin Lu

2002-01-01T23:59:59.000Z

126

Sharing and groundness dependencies in logic programs  

Science Conference Proceedings (OSTI)

We investigate Jacobs and Langen's Sharing domain, introduced for the analysis of variable sharing in logic programs, and show that it is isomorphic to Marriott and Søndergaard's Pos domain, introduced for the analysis of groundness dependencies. ... Keywords: Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis, program analysis, sharing analysis

Michael Codish; Harald Søndergaard; Peter J. Stuckey

1999-09-01T23:59:59.000Z

127

Path Dependent Analysis of Logic Programs  

Science Conference Proceedings (OSTI)

This paper presents an abstract semantics that uses information about execution paths to improve precision of data flow analyses of logic programs. The abstract semantics is illustrated by abstracting execution paths using call strings of fixed length ... Keywords: abstract interpretation, call strings, context sensitive analysis

Lunjin Lu

2003-12-01T23:59:59.000Z

128

Discovering logical knowledge for deep question answering  

Science Conference Proceedings (OSTI)

Most open-domain question answering systems achieve better performances with large corpora, such as Web, by taking advantage of information redundancy. However, explicit answers are not always mentioned in the corpus, many answers are implicitly contained ... Keywords: markov logic, question answering, semantic role labeling

Zhao Liu; Xipeng Qiu; Ling Cao; Xuanjing Huang

2012-10-01T23:59:59.000Z

129

Modularity and Separate Compilation in Logic Programming  

E-Print Network (OSTI)

Science and Engineering and Digital Technology Center University of Minnesota, 4-192 EE/CS Building 200-based devices. We describe here an approach for doing this that is a simplifica- tion and a rationalization impose a form of hiding that is explained, at the logical level, via existential quantifications over

Minnesota, University of

130

Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability  

Science Conference Proceedings (OSTI)

Programmable logic arrays (PLAs) using self-assembly nanowire crossbars have shown promising potential for future nano-scale circuit design. However, due to the density and size factors of nanowires and molecular switches, the fabrication fault densities ...

Yexin Zheng; Chao Huang

2009-04-01T23:59:59.000Z

131

A Logic Block Enabling Logic Configuration by Non-Experts in Sensor Networks  

E-Print Network (OSTI)

Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks a non-expert user, who has little or no experience with electronics or programming, is required to select, connect and/or configure one or more blocks such that the blocks compute a particular Boolean logic function of sensor values. We describe a series of experiments showing that non-expert users have much difficulty with a block based on Boolean logic truth tables, and that a logic block having a sentence-like structure with some configurable switches yields a better success rate. We also show that adding color to a truth table improves results over a traditional truth table. Author Keywords Sensor networks, Boolean logic, embedded computing

Susan Cotterell; Frank Vahid

2005-01-01T23:59:59.000Z

132

Bridging the Gap Between Discrete and Programmable Logic in Introductory Digital Logic Laboratories  

E-Print Network (OSTI)

Most contemporary introductory digital logic design laboratories utilize discrete small-scale integrated (SSI), medium-scale integrated (MSI), and programmable logic such as field programmable gate arrays (FGPAs) or complex programmable logic devices (CPLDs). These more complex programmable devices (CPLDs and FPGAs) exhibit a superset of SSI and MSI functionality, enabling instructors to completely eliminate construction of circuits using SSI and MSI chips if they so choose. This paper describes the approach taken by the authors for introductory digital design laboratories in the Engineering Science Department of Trinity University, and explains some of the reasons for the given approach. The approach begins with construction of SSI and MSI circuits, includes a bridging laboratory where a complex SSI/MSI circuit is reimplemented in a CPLD, and finally moves to more complex designs utilizing no SSI/MSI constructs. The student base for introductory digital logic in our engineering progra...

Kevin Nickels; Farzan; Farzan Aminian; J. Paul Giolma

2001-01-01T23:59:59.000Z

133

Energy Efficient Digital Logic Using Nanoscale Magnetic Devices  

E-Print Network (OSTI)

the power consumption of future digital logic devices. Theimpact of device scaling on power consumption [6, 7].

Lambson, Brian

2013-01-01T23:59:59.000Z

134

TQL: a query language for semistructured data based on the ambient logic  

Science Conference Proceedings (OSTI)

The ambient logic is a modal logic that was proposed for the description of the structural and computational properties of distributed and mobile computation. The structural part of the ambient logic is, essentially, a logic of labelled trees, hence ...

Luca Cardelli; Giorgio Ghelli

2004-06-01T23:59:59.000Z

135

Modelling protocols for multiagent interaction by F-logic  

Science Conference Proceedings (OSTI)

This paper proposes a method to represent agent Unified Modelling Language (AUML) in logic form using F-logic that provides deductive capability and uniform knowledge integration base. The AUML is used to differentiate relevant interaction more precisely ... Keywords: AUML, F-logic, interaction protocols, message route, multiagent system

Hong Feng Lai

2007-12-01T23:59:59.000Z

136

The rewriting logic semantics project: A progress report  

Science Conference Proceedings (OSTI)

Rewriting logic is an executable logical framework well suited for the semantic definition of languages. Any such framework has to be judged by its effectiveness to bridge the existing gap between language definitions on the one hand, and language implementations ... Keywords: K, Maude, Programming languages, Rewriting logic, Semantics

José Meseguer, Grigore Ro?u

2013-10-01T23:59:59.000Z

137

Object-oriented logical specification of time-critical systems  

Science Conference Proceedings (OSTI)

We define TRIO+, an object-oriented logical language for modular system specification. TRIO+ is based on TRIO, a first-order temporal language that is well suited to the specification of embedded and real-time ... Keywords: first-order logic, formal specifications, model-theoretic semantics, object-oriented methodologies, real-time systems, temporal logic

Angelo Morzenti; Pierluigi San Pietro

1994-01-01T23:59:59.000Z

138

PSpace Reasoning with the Description Logic ALCF(D)  

E-Print Network (OSTI)

PSpace Reasoning with the Description Logic ALCF(D) CARSTEN LUTZ, Institute for Theoretical and disagreements ALCF(D). We show that, for both logics, the standard reasoning tasks concept satis#12;ability Oxford University Press #12; 536 PSpace Reasoning with the Description Logic ALCF(D) #12;xed extension

Baader, Franz

139

Representing a robotic domain using temporal description logics  

Science Conference Proceedings (OSTI)

A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The ... Keywords: Action Representation, Description Logic, Robotics, Temporal Logic

Alessandro Artale; Enrico Franconi

1999-04-01T23:59:59.000Z

140

A normal form for linear temporal equilibrium logic  

Science Conference Proceedings (OSTI)

In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbitrary theories in the syntax of Linear Temporal Logic. It has already been shown ...

Pedro Cabalar

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


141

TALplanner: A temporal logic based forward chaining planner  

Science Conference Proceedings (OSTI)

We present TALplanner, a forward-chaining planner based on the use of domain-dependent search control knowledge represented as formulas in the Temporal Action Logic (TAL). TAL is a narrative based linear metric time logic used for reasoning about action ... Keywords: action and change, knowledge representation, planning, temporal logics

Jonas Kvarnström; Patrick Doherty

2001-03-01T23:59:59.000Z

142

Theoretical and linguistic aspects of the fuzzy logic controller  

Science Conference Proceedings (OSTI)

Successful applications of the fuzzy logic controller by various researchers to a variety of ill-defined processes motivated this theoretical study of the fuzzy logic controller. Initially the controller is analysed by traditional (nonlinear) algebraic ... Keywords: Computer control, fuzzy logic controllers, gas turbines, linguistic models, modelling, nonlinear systems, stability

M. Braae; D. A. Rutherford

1979-09-01T23:59:59.000Z

143

A logical analysis of banks' financial strength ratings  

Science Conference Proceedings (OSTI)

We evaluate the creditworthiness of banks using statistical, as well as combinatorics-, optimization-, and logic-based methodologies. We reverse-engineer the Fitch risk ratings of banks using ordered logistic regression, support vector machine, and Logical ... Keywords: Credit risk rating, Data mining, Decision support systems, Logical Analysis of Data

Peter L. Hammer; Alexander Kogan; Miguel A. Lejeune

2012-07-01T23:59:59.000Z

144

Design of an analog CMOS fuzzy logic controller chip  

Science Conference Proceedings (OSTI)

We propose an analog fuzzy logic controller chip structure in 1.2 µm CMOS technology. It employs a new architecture for fuzzifier circuit that generates membership functions with a very suitable range and precision. These membership functions are ... Keywords: analog CMOS fuzzy logic controller, defuzzifier, fuzzifier, fuzzy control, fuzzy hardware, fuzzy logic

Hamed Peyravi; Abdollah Khoei; Khayrollah Hadidi

2002-12-01T23:59:59.000Z

145

Efficient description logic reasoning in prolog: The dlog system  

Science Conference Proceedings (OSTI)

Traditional algorithms for description logic (DL) instance retrieval are inefficient for large amounts of underlying data. As DL is becoming more and more popular in areas such as the Semantic Web and information integration, it is very important to ... Keywords: description logic, large data sets, logic programming, open world, resolution

Gergely LukÁcsy; PÉter Szeredi

2009-05-01T23:59:59.000Z

146

Local stabilizer codes in three dimensions without string logical operators  

Science Conference Proceedings (OSTI)

We suggest concrete models for self-correcting quantum memory by reporting examples of local stabilizer codes in 3D that have no string logical operators. Previously known local stabilizer codes in 3D all have stringlike logical operators, which make the codes non-self-correcting. We introduce a notion of ''logical string segments'' to avoid difficulties in defining one-dimensional objects in discrete lattices. We prove that every stringlike logical operator of our code can be deformed to a disjoint union of short segments, each of which is in the stabilizer group. The code has surfacelike logical operators whose partial implementation has unsatisfied stabilizers along its boundary.

Haah, Jeongwan [Institute for Quantum Information, California Institute of Technology, Pasadena, California 91125 (United States)

2011-04-15T23:59:59.000Z

147

Prevalence and intent of aggressive behaviors in elite women's ice hockey.  

E-Print Network (OSTI)

??There has been a substantial amount of research on aggression in men's ice hockey. Although there is some research on aggression in women's ice hockey,… (more)

Shapcott, Kim M.

2004-01-01T23:59:59.000Z

148

RADIoLOGICALsURvEY AT  

Office of Legacy Management (LM)

RADIoLOGICALsURvEY RADIoLOGICALsURvEY AT 1411 CENTRAL AVENUE DETROIT, MICHIGAN Prepared by M.R. LANDIS Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Associated Universities Oak Ridge, TN 37831-0117 Project Staff J.D. Berger H.J. Laudeman C.H. Searcy T.J. Sowell D.A. Gibson E.A. Powell S.M. Shanmugan C.F. Weaver Prepared for U.S. Department of Energy as part of the Formerly Utilized Sites - Remedial Action Program FINAL REPORT FEBRUARY 1990 This report is based on work performed under contract number DE-AC05-760R00033 with the U.S. Department of Energy. TABLE OF CONTENTS ListofFigures .......................... List of Tables. ........................... Introduction ............................ Facility Description. ........................

149

Mixed wasted integrated program: Logic diagram  

SciTech Connect

The Mixed Waste Integrated Program Logic Diagram was developed to provide technical alternative for mixed wastes projects for the Office of Technology Development`s Mixed Waste Integrated Program (MWIP). Technical solutions in the areas of characterization, treatment, and disposal were matched to a select number of US Department of Energy (DOE) treatability groups represented by waste streams found in the Mixed Waste Inventory Report (MWIR).

Mayberry, J.; Stelle, S. [Science Applications International Corp., Idaho Falls, ID (United States); O`Brien, M. [Univ. of Arizona, Tucson, AZ (United States); Rudin, M. [Univ. of Nevada, Las Vegas, NV (United States); Ferguson, J. [Lockheed Idaho Technologies Co., Idaho Falls, ID (United States); McFee, J. [I.T. Corp., Albuquerque, NM (United States)

1994-11-30T23:59:59.000Z

150

Fault Tree Based Diagnostics Using Fuzzy Logic  

Science Conference Proceedings (OSTI)

Fuzzy set theory is investigated as a tool for the diagnostics of systems described by means of a fault tree. The objective is to diagnose component failures from the observation of fuzzy symptoms using the information contained in a fault tree. A two-step ... Keywords: causal reasoning, component failures, failure analysis, failure modes, fault tree based diagnostics, fuzzy logic, fuzzy symptoms, minimal cut-sets, triggered gates, two-step procedure

P. Gmytrasiewicz; J. A. Hassberger; J. C. Lee

1990-11-01T23:59:59.000Z

151

Formal Verification of Safety Automation Logic Designs  

E-Print Network (OSTI)

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

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

2009-01-01T23:59:59.000Z

152

Department Sets Aggressive Schedule for New Appliance Standards |  

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

Sets Aggressive Schedule for New Appliance Standards Sets Aggressive Schedule for New Appliance Standards Department Sets Aggressive Schedule for New Appliance Standards February 1, 2006 - 8:52am Addthis WASHINGTON, DC - The Department of Energy (DOE) today released a schedule for setting new appliance efficiency standards. The five-year plan outlines how DOE will work with all of its partners to address the appliance standards rulemaking backlog and meet all of the statutory requirements established in the Energy Policy and Conservation Act and the Energy Policy Act of 2005 (EPACT 2005). "Improved efficiency saves Americans money and energy," said Acting Assistant Secretary for Energy Efficiency and Renewable Energy, Douglas L. Faulkner. "This aggressive schedule shows our commitment to greater

153

Department Sets Aggressive Schedule for New Appliance Standards |  

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

Department Sets Aggressive Schedule for New Appliance Standards Department Sets Aggressive Schedule for New Appliance Standards Department Sets Aggressive Schedule for New Appliance Standards February 1, 2006 - 8:52am Addthis WASHINGTON, DC - The Department of Energy (DOE) today released a schedule for setting new appliance efficiency standards. The five-year plan outlines how DOE will work with all of its partners to address the appliance standards rulemaking backlog and meet all of the statutory requirements established in the Energy Policy and Conservation Act and the Energy Policy Act of 2005 (EPACT 2005). "Improved efficiency saves Americans money and energy," said Acting Assistant Secretary for Energy Efficiency and Renewable Energy, Douglas L. Faulkner. "This aggressive schedule shows our commitment to greater

154

Permanent Load Shift Control Strategies  

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

of Permanent Load Shifting for HVAC and other storage assets as it relates to summer on-peak demand, how it can be dynamically and autonomously controlled, and its relationship...

155

Twin logic gates: improved logic reliability by redundancy concerning gate oxide breakdown  

Science Conference Proceedings (OSTI)

Because of the aggressive scaling of integrated circuits and the given limits of atomic scales, circuit designers have to become more and more aware of the arising reliability and yield concerns. So far, only very little research efforts have been put ... Keywords: gate oxide breakdown, integrated circuit design, redundant systems, reliability

Hagen Saemrow; Claas Cornelius; Frank Sill; Andreas Tockhorn; Dirk Timmermann

2009-08-01T23:59:59.000Z

156

BioLogical Capital BLC | Open Energy Information  

Open Energy Info (EERE)

Zip 80202 Product Denver Colorado-based group focusing on generating long term investment returns with environmental and social co-benefits. References BioLogical Capital...

157

Energy Efficient Digital Logic Using Nanoscale Magnetic Devices  

E-Print Network (OSTI)

logic gate and (b) a truth table describing its logicalinput chains, with the truth table given in Fig. 1.5 (b).

Lambson, Brian

2013-01-01T23:59:59.000Z

158

Substation evaluation using Diagnostic Logic System (DIALOG)  

Science Conference Proceedings (OSTI)

This project investigated the feasibility of applying a Diagnostic Logic System (DIAGLOG) to evaluate substation operation. The purpose was to see if a determination can be made as to whether the equipment in a substation operated correctly or not when an operating event occurred. The work was directed toward modifying an already proven diagnostic system to create a simplified procedure for describing the operation of substation equipment. Special operating tables or modules of logic were identified for describing relay and breaker operations. The resulting model composed of all the modules connected together is used to evaluate the actual observations available at the substation, and to compare them with what the substation should have produced. The report covers the diagnostic approach used, information on how to construct the modules and examples of diagnosis. Also covered are discussions on the special features of substations that offer a challenge to performing diagnostics. Included in the report are the results of modeling a typical substation and several notes are provided along with an initial library of typical modules which were developed in modeling one of the substations belonging to the Pacific Gas and Electric Company. This substation served as a feasibility demonstrator. 15 figs.

Andre, W.L.

1989-08-01T23:59:59.000Z

159

DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly  

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

Continues Aggressive Energy Efficiency Enforcement Effort with Continues Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed Penalties DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed Penalties September 13, 2010 - 12:00am Addthis Washington, D.C. - As part of an ongoing commitment to rigorously enforce appliance efficiency requirements, the Department of Energy today announced 27 new proposed penalties against companies selling products in the United States without certifying that they comply with energy efficiency or water conservation standards. The legally required certifications help ensure that products sold in the U.S. deliver significant energy and cost savings to the American public. The 27 companies include manufacturers, importers, and private labelers of appliance, plumbing, and lighting products.

160

Passive Housing for an Aggressive Region | Department of Energy  

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

Passive Housing for an Aggressive Region Passive Housing for an Aggressive Region Passive Housing for an Aggressive Region July 17, 2012 - 1:59pm Addthis Lynn Meyer Presidential Management Fellow, Office of Energy Efficiency and Renewable Energy Passive is not how I would characterize the D.C. area. Ambitious, passionate, and up for a challenge -- now, that more aptly describes the Capital region and the mission of bringing passive houses to the area. A passive house meets rigorous, voluntary energy efficiency standards and requires little energy for heating or cooling. The construction of passive housing is typically more expensive upfront, but owners can recoup their investment through energy savings. Brothers Eric Lin, an interior designer, and Roger Lin, a former real estate attorney, teamed up to build a high end passive house, which just

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

Abraham Calls on Global Community to Aggressively Address Nuclear  

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

Abraham Calls on Global Community to Aggressively Address Nuclear Abraham Calls on Global Community to Aggressively Address Nuclear Nonproliferation Abraham Calls on Global Community to Aggressively Address Nuclear Nonproliferation January 13, 2005 - 9:49am Addthis WASHINGTON, DC - In a lunchtime speech to the Council on Foreign Relations in Washington, DC, Energy Secretary Spencer Abraham called on the global community to join in implementing a comprehensive nuclear nonproliferation strategy to address 21st century challenges. Outlining his vision for dealing with constantly evolving proliferation threats in an age of terrorism, Secretary Abraham said the international community must play a greater role in future efforts. "Terrorists have struck not just Washington, New York, Moscow, and Beslan," he said. "The challenge of confronting terrorism falls to every nation. .

162

DOE Office of Enforcement Continues Aggressive Energy Efficiency  

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

DOE Office of Enforcement Continues Aggressive Energy Efficiency DOE Office of Enforcement Continues Aggressive Energy Efficiency Enforcement Effort with 20 New Proposed Penalty Notices DOE Office of Enforcement Continues Aggressive Energy Efficiency Enforcement Effort with 20 New Proposed Penalty Notices May 2, 2011 - 5:06pm Addthis Demonstrating its continuing commitment to rigorous enforcement of important federal efficiency requirements, the Department of Energy's Office of Enforcement today announced 20 new enforcement cases. These cases are against companies that the Department has reason to believe are selling products in the United States without certifying that their products comply with energy efficiency or water conservation standards. The legally required certifications help ensure that products sold in the

163

Passive Housing for an Aggressive Region | Department of Energy  

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

Passive Housing for an Aggressive Region Passive Housing for an Aggressive Region Passive Housing for an Aggressive Region July 17, 2012 - 1:59pm Addthis Lynn Meyer Presidential Management Fellow, Office of Energy Efficiency and Renewable Energy Passive is not how I would characterize the D.C. area. Ambitious, passionate, and up for a challenge -- now, that more aptly describes the Capital region and the mission of bringing passive houses to the area. A passive house meets rigorous, voluntary energy efficiency standards and requires little energy for heating or cooling. The construction of passive housing is typically more expensive upfront, but owners can recoup their investment through energy savings. Brothers Eric Lin, an interior designer, and Roger Lin, a former real estate attorney, teamed up to build a high end passive house, which just

164

DOE Office of Enforcement Continues Aggressive Energy Efficiency  

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

DOE Office of Enforcement Continues Aggressive Energy Efficiency DOE Office of Enforcement Continues Aggressive Energy Efficiency Enforcement Effort with 20 New Proposed Penalty Notices DOE Office of Enforcement Continues Aggressive Energy Efficiency Enforcement Effort with 20 New Proposed Penalty Notices May 2, 2011 - 5:06pm Addthis Demonstrating its continuing commitment to rigorous enforcement of important federal efficiency requirements, the Department of Energy's Office of Enforcement today announced 20 new enforcement cases. These cases are against companies that the Department has reason to believe are selling products in the United States without certifying that their products comply with energy efficiency or water conservation standards. The legally required certifications help ensure that products sold in the

165

SABOT: specification-based payload generation for programmable logic controllers  

Science Conference Proceedings (OSTI)

Programmable Logic Controllers (PLCs) drive the behavior of industrial control systems according to uploaded programs. It is now known that PLCs are vulnerable to the uploading of malicious code that can have severe physical consequences. What is not ... Keywords: attack, critical infrastructure, programmable logic controller

Stephen McLaughlin; Patrick McDaniel

2012-10-01T23:59:59.000Z

166

Geometry of Interaction V: Logic in the hyperfinite factor  

Science Conference Proceedings (OSTI)

Geometry of Interaction is a transcendental syntax developed in the framework of operator algebras. This fifth installment of the program takes place inside a von Neumann algebra, the hyperfinite factor. It provides a built-in interpretation of cut-elimination ... Keywords: Complexity theory, Light logics, Linear logic, Operator algebras, Proof-theory

Jean-Yves Girard

2011-04-01T23:59:59.000Z

167

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

168

Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics  

Science Conference Proceedings (OSTI)

This paper extends fuzzy logic programs [12, 24] to allow the explicit representation of classical negation as well as non-monotonic negation, by introducing the notion of extended fuzzy logic programs. We present the fuzzy answer set semantics for the ...

Emad Saad

2009-08-01T23:59:59.000Z

169

Formal logics of discovery and hypothesis formation by machine  

Science Conference Proceedings (OSTI)

The following are the aims of the paper: (1) To call the attention of the community of Discovery Science (DS) to certain existing formal systems for DS developed in Prague in the 1960s through the 1980s suitable for DS and unfortunately largely unknown. ... Keywords: GUHA method, data analysis, data mining, fuzzy logic, hypothesis generation, logic of discovery

Petr Hájek; Martin Holena

2003-01-01T23:59:59.000Z

170

Logic–based decision support for strategic environmental assessment  

Science Conference Proceedings (OSTI)

Strategic Environmental Assessment is a procedure aimed at introducing systematic assessment of the environmental effects of plans and programs. This procedure is based on the so-called coaxial matrices that define dependencies between plan activities ... Keywords: causality, constraint logic programming, probabilistic logic programming, regional planning, strategic environmental assessment

Marco Gavanelli; Fabrizio Riguzzi; Michela Milano; Paolo Cagnoli

2010-07-01T23:59:59.000Z

171

Logic synthesis for low power using clock gating and rewiring  

Science Conference Proceedings (OSTI)

Traditionally, clock gating for power saving is mainly done at Register Transistor Level (RTL), while in a lower logical level some synthesis techniques, e.g. Observability Don't Care (ODC) can also be used to provide more power savings. In this paper, ... Keywords: clock gating, logic synthesis, low power

Tak-Kei Lam; Steve Yang; Wai-Chung Tang; Yu-Liang Wu

2010-05-01T23:59:59.000Z

172

The Application of Fuzzy Logic in Regenerative Braking of EV  

Science Conference Proceedings (OSTI)

Regenerative braking can improve energy usage efficiency and prolong the driving distance of electric vehicle per charge, effectively. In the paper, we design a sugeno’s fuzzy logic controller which has four inputs including driver’s braking ... Keywords: regenerative braking, fuzzy logic control, braking force distribution, ADVISOR

Zijian Zhang; Guoqing Xu; Weimin Li; Liang Zheng

2010-08-01T23:59:59.000Z

173

Mechanization of invasive software composition in F-logic  

Science Conference Proceedings (OSTI)

F-Logic is originally developed to bridge between computational formalism and data specification language while providing clear object-oriented semantic. F-Logic provides partiality on attributes and methods. This partiality is also required by software ... Keywords: reliability, reusability, software composition, software methodology

Ade Azurat

2007-01-01T23:59:59.000Z

174

Stochastic computational models for accurate reliability evaluation of logic circuits  

Science Conference Proceedings (OSTI)

As reliability becomes a major concern with the continuous scaling of CMOS technology, several computational methodologies have been developed for the reliability evaluation of logic circuits. Previous accurate analytical approaches, however, have a ... Keywords: fault tolerance, logic circuits, reliability evaluation, stochastic computation, stochastic computational model

Hao Chen; Jie Han

2010-05-01T23:59:59.000Z

175

A Theory of Modules for Logic Programming Dale Miller  

E-Print Network (OSTI)

over atomic formulas of first-order logic. Let G range over a class of formulas, called goal formulas, to be specified shortly. We shall assume, however, that this class always contains (true) and all atomic formulas to be presented at the Third IEEE Symposium on Logic Programming, Salt Lake City, Utah, 21 ­ 25 September 1986. 1

Miller, Dale

176

Description Logic in a nutshell Seminar ,,Resources for Computational Linguists"  

E-Print Network (OSTI)

person city location located_in.location ... 8 #12;Resources for Comp` Linguists 07 Description Logics - Michaela Regneri & Magdalena Wolska Description Logic - Terms · (atomic) concepts C denoting sets of individuals (person) unary predicates in FOL · (atomic) roles R: (loves) binary predicates in FOL · complex

Prasad, Sanjiva

177

THE FUZZY DESCRIPTION LOGIC ALCFLH Steffen Holldobler, Nguyen Hoang Nga  

E-Print Network (OSTI)

, Vietnam khangtd@it-hut.edu.vn ABSTRACT In this paper, we present the fuzzy description logic ALCF LH. ALCF LH is based on ALCF H, but linear hedges are used instead of exponential ones. This allows to solve hedges. They have been applied to fuzzy logic in various ways (see e.g. [3]). In ALCF H [1, 2] hedges

Hoelldobler, Steffen

178

NEXP TIME-complete description logics with concrete domains  

Science Conference Proceedings (OSTI)

Concrete domains are an extension of Description Logics (DLs) that allow one to integrate reasoning about conceptual knowledge with reasoning about "concrete qualities" of real-world entities such as their sizes, weights, and durations. In this article, ... Keywords: Computational complexity, NExpTime-completeness, concrete domains, description logic, domino problem, post correspondence problem

Carsten Lutz

2004-10-01T23:59:59.000Z

179

Action Refinement from a Logical Point of View  

Science Conference Proceedings (OSTI)

Action refinement provides a mechanism to design a complex reactive system hierarchically. This paper is devoted to action refinement from a logical point of view, and to combining the hierarchical implementation of a complex system with the hierarchical ... Keywords: action refinement, modal logics, reactive systems, specification, verification

Mila E. Majster-Cederbaum; Naijun Zhan; Harald Fecher

2002-01-01T23:59:59.000Z

180

Logical attestation: an authorization architecture for trustworthy computing  

Science Conference Proceedings (OSTI)

This paper describes the design and implementation of a new operating system authorization architecture to support trustworthy computing. Called logical attestation, this architecture provides a sound framework for reasoning about run time behavior ... Keywords: credentials-based authorization, logic, trusted platform module

Emin Gün Sirer; Willem de Bruijn; Patrick Reynolds; Alan Shieh; Kevin Walsh; Dan Williams; Fred B. Schneider

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


181

Precise and efficient groundness analysis for logic programs  

Science Conference Proceedings (OSTI)

We show how precise groundness information can be extracted from logic programs. The idea is to use abstract interpretation with Boolean functions as “approximations” to groundness dependencies between variables. This idea is not new, and ... Keywords: abstract interpretation, condensation, groundness analysis, propositional logic

Kim Marriott; Harald Søndergaard

1993-03-01T23:59:59.000Z

182

Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL  

Science Conference Proceedings (OSTI)

This paper presents a case study of a machine-aided knowledge discovery process within the general area of drug design. Within drug design, the particular problem of pharmacophore discovery is isolated, and the Inductive Logic Programming (ILP) system ... Keywords: inductive logic programming, pharmacophore, structure-activity prediction

Paul Finn; Stephen Muggleton; David Page; Ashwin Srinivasan

1998-02-01T23:59:59.000Z

183

BDD-based logic synthesis for LUT-based FPGAs  

Science Conference Proceedings (OSTI)

Contemporary FPGA synthesis is a multiphase process that involves technology-independent logic optimization followed by FPGA-specific mapping to a target FPGA technology. Conventional technology-independent transformations target standard cells and are ... Keywords: BDD, FPGA, decomposition, logic synthesis

Navin Vemuri; Priyank Kalla; Russell Tessier

2002-10-01T23:59:59.000Z

184

Computing Information Minimal Match Explanations for Logic-Based Matchmaking  

Science Conference Proceedings (OSTI)

In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/or modifying the request. To this aim, Abduction in Description Logics has been studied, ... Keywords: matchmaking, abduction, description logics, tableaux

Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini

2009-09-01T23:59:59.000Z

185

About Algorithm for Transformation of Logic Functions (ATLF)  

E-Print Network (OSTI)

In this article the algorithm for transformation of logic functions which are given by truth tables is considered. The suggested algorithm allows the transformation of many-valued logic functions with the required number of variables and can be looked in this sense as universal.

Cherbanski, Lev

2007-01-01T23:59:59.000Z

186

Logical properties of foundational mereogeometrical relations in bio-ontologies  

Science Conference Proceedings (OSTI)

One aim of this paper is to improve the logical and ontological rigor of the OBO relation ontology by providing axiomatic specifications for logical properties of relations such as part_of, located_in, connected_to, adjacent_to, attached_to, etc. All ... Keywords: Formal ontology, OBO, context, mereogeometry, mereology, mereotopology, qualitative representation and reasoning, vagueness

Thomas Bittner

2009-04-01T23:59:59.000Z

187

Adaptive fuzzy logic control of discrete-time dynamical systems  

Science Conference Proceedings (OSTI)

The objective of this paper is to achieve tracking control of a class of unknown nonlinear dynamical systems using a discrete-time fuzzy logic controller (FLC). Designing a discrete-time FLC is significant because almost all FLCs are implemented on digital ... Keywords: Adaptive control, Discrete-time control, Fuzzy approximation, Fuzzy logic, Universal fuzzy controller

S. Jagannathan; M. W. Vandegrift; F. L. Lewis

2000-02-01T23:59:59.000Z

188

Inspecting side-effects of abduction in logic programs  

Science Conference Proceedings (OSTI)

In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without ... Keywords: abduction, logic orograms, side-effects

Luís Moniz Pereira; Alexandre Miguel Pinto

2011-01-01T23:59:59.000Z

189

Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes  

Science Conference Proceedings (OSTI)

Logical characterizations of nondeterministic, probabilistic, and Markovian variants of bisimulation equivalence rely on similar modal languages, each including true, negation, conjunction, and diamond. Likewise, logical characterizations of the corresponding ... Keywords: Markovian processes, modal logic, nondeterministic processes, probabilistic processes, testing equivalence

Marco Bernardo

2009-11-01T23:59:59.000Z

190

Single event upsets in gallium arsenide dynamic logic  

SciTech Connect

The advantages and disadvantages of using gallium arsenide (GaAs) dynamic logic in computers and digital systems are briefly discussed, especially with respect to space applications. A short introduction to the topology and operation of GaAs Two-Phase Dynamic FET Logic (TDFL) circuits is presented. Experiments for testing the SEU sensitivity of GaAs TDFL, using a laser to create charge collection events, are described. Results are used to estimate the heavy-ion, soft error rate for TDFL in a spacecraft in geosynchronous orbit, and the dependence of the SEU sensitivity on clock frequency, clock voltage, and clock phase. Analysis of the data includes a comparison between the SEU sensitivities of TDFL and the more common static form of GaAs logic, Directly Coupled FET Logic (DCFL). This is the first reported SEU testing of GaAs dynamic logic.

Fouts, D.J. (Naval Postgraduate School, Monterey, CA (United States). ECE Dept.); Weatherford, T. (SFA Inc., Landover, MD (United States)); McMorrow, C.; Melinger, J.S.; Campbell, A.B. (Naval Research Lab., Washington, DC (United States))

1994-12-01T23:59:59.000Z

191

A Temporal Description Logic for Reasoning about Actions and Plans  

E-Print Network (OSTI)

A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. The basic language TL-F is considered #rst: it is the composition of a temporal logic TL # able to express interval temporal networks # together with the non-temporal logic F # a Feature Description Logic. It is proven that subsumption in this language is an NP-complete problem. Then it is shown how to reason with the more expressive languages TLU-FU and TL-ALCF . The former adds disjunction both at...

Alessandro Artale; Enrico Franconi

1998-01-01T23:59:59.000Z

192

Shift register neutron coincidence module  

SciTech Connect

A neutron coincidence module was designed using multistage shift registers to produce the coincidence gates and a crystal controlled oscillator with variable clock outputs to change the gate lengths. The advantage of this system over the conventional, thermal-neutron coincidence gates is a decrease in deadtime by more than an order of magnitude. (auth)

Stephens, M.M.; Swansen, J.E.; East, L.V.

1975-11-01T23:59:59.000Z

193

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 over a set of propositions defined on the states of the MDP. We synthesize a control policy such that the MDP satisfies the given specification almost surely, if such a policy exists. In addition, we designate an "optimizing proposition" to be repeatedly satisfied, and we formulate a novel optimization criterion in terms of minimizing the expected cost in between satisfactions of this proposition. We propose a sufficient condition for a policy to be optimal, and develop a dynamic programming algorithm that synthesizes a policy that is optimal under some conditions, and sub-optimal otherwise. This problem is motivated by robotic applications requiring persistent tasks, such as environmental monitoring or data gathering, to be performed.

Ding, Xu Chu; Belta, Calin; Rus, Daniela

2011-01-01T23:59:59.000Z

194

mLogic: ultra-low voltage non-volatile logic circuits using STT-MTJ devices  

Science Conference Proceedings (OSTI)

This paper introduces the design of logic circuits based exclusively on novel magnetoelectronic devices. Current signals are steered by 2x resistance change switching while operating with sub-100 mV voltage pulses for power and synchronization. The inherent ... Keywords: MRAM, emerging circuits and devices, magnetic logic, spin-transfer torque, spintronics

Daniel Morris; David Bromberg; Jian-Gang (Jimmy) Zhu; Larry Pileggi

2012-06-01T23:59:59.000Z

195

Effect of Statins and Anticoagulants on Prostate Cancer Aggressiveness  

SciTech Connect

Purpose: Statins and anticoagulants (ACs) have both been associated with a less-aggressive prostate cancer (PCa) and a better outcome after treatment of localized PCa. The results of these studies might have been confounded because patients might often take both medications. We examined their respective influence on PCa aggressiveness at initial diagnosis. Materials and Methods: We analyzed 381 patients treated with either external beam radiotherapy or brachytherapy for low-risk (n = 152), intermediate-risk (n = 142), or high-risk (n = 87) localized PCa. Univariate and multivariate logistic regression analyses were used to investigate an association between these drug classes and prostate cancer aggressiveness. We tested whether the concomitant use of statins and ACs had a different effect than that of either AC or statin use alone. Results: Of the 381 patients, 172 (45.1%) were taking statins and 141 (37.0%) ACs; 105 patients (27.6%) used both. On univariate analysis, the statin and AC users were associated with the prostate-specific antigen (PSA) level (p = .017) and National Comprehensive Cancer Network risk group (p = .0022). On multivariate analysis, statin use was associated with a PSA level <10 ng/mL (odds ratio, 2.9; 95% confidence interval, 1.3-6.8; p = .012) and a PSA level >20 ng/mL (odds ratio, 0.29; 95% confidence interval, 0.08-0.83; p = .03). The use of ACs was associated with a PSA level >20 ng/mL (odds ratio, 0.13; 95% confidence interval, 0.02-0.59, p = .02). Conclusion: Both AC and statins have an effect on PCa aggressiveness, with statins having a more stringent relationship with the PSA level, highlighting the importance of considering statin use in studies of PCa aggressiveness.

Alizadeh, Moein [Department of Radiation Oncology, Centre Hospitalier de l'Universite de Montreal, Montreal, Quebec (Canada); Sylvestre, Marie-Pierre [Research Center, Department of Statistics, University of Montreal, Montreal, Quebec (Canada); Zilli, Thomas; Van Nguyen, Thu; Guay, Jean-Pierre; Bahary, Jean-Paul [Department of Radiation Oncology, Centre Hospitalier de l'Universite de Montreal, Montreal, Quebec (Canada); Taussky, Daniel, E-mail: daniel.taussky.chum@ssss.gouv.qc.ca [Department of Radiation Oncology, Centre Hospitalier de l'Universite de Montreal, Montreal, Quebec (Canada)

2012-07-15T23:59:59.000Z

196

Shift Work and Potential Health Effects  

Science Conference Proceedings (OSTI)

The objective of this report is to inform the electric power industry of current scientific knowledge on worker health and safety risks associated with shift work in order to support future research planning. Shift work has been found to be associated with increased cancer risks8212primarily of breast cancer and (to a lesser extent) prostate and colon cancer. Risk of occupational injuries increases with several common characteristics of shift work8212particularly rotating shifts and longer shift lengths....

2011-10-31T23:59:59.000Z

197

Logic Compression Of Dictionaries For Multilingual Spelling Checkers  

E-Print Network (OSTI)

To provide practical spelling checkers on micro-computers, good compression algorithms ,are essential. Curtcut techniques used to compress lexicons for indo-European languages provide efficient spelling checker. Applying mine methods to languages which have a different morpho- logical system (Arabic, Turkish,...) gives insufficicut resalts. To get better results, we apply other "logical" compression mechanisms based on the strnctare of the lan guage itself. Experiments with multilingual dictionaries show a significant reduction rate attributable to our logic colnpression Illone and even better resulls when using our method in conjunction with existing me0uxls.

Boubaker Meddeb Hamrouni

1994-01-01T23:59:59.000Z

198

On the Complexity of Dataflow Analysis of Logic Programs  

E-Print Network (OSTI)

This article reports some results on this correlation in the context of logic programs. A formal notion of the "precision" of an analysis algorithm is proposed, and this is used to characterize the worst-case computational complexity of a number of dataflow analyses with different degrees of precision. While this article considers the analysis of logic programs, the technique proposed, namely the use of "exactness sets" to study relationships between complexity and precision of analyses, is not specific to logic programming in any way, and is equally applicable to flow analyses of other language families.

Saumya K. Debray

1992-01-01T23:59:59.000Z

199

Effects of Trait Behavioral Approach and Inhibition Sensitivity on Behavioral Aggression  

E-Print Network (OSTI)

Behavioral approach sensitivity (BAS) has been found to relate to anger contrary to perspectives positing that BAS is only involved in positive emotions. The present study extends this work by examining relations between behavioral aggression and BAS and behavioral inhibition sensitivity (BIS) measures. Forty-three undergraduate participants were socially ostracized to induce anger, and then given an opportunity to behave aggressively. Higher levels of BAS relate to increased aggressive behavior, whereas higher levels of BIS related to decreased aggressive behavior.

Gravens, Laura Christine

2011-05-01T23:59:59.000Z

200

Fuzzy Logic Connectivity in Semiconductor Defect Clustering  

Science Conference Proceedings (OSTI)

In joining defects on semiconductor wafer maps into clusters, it is common for defects caused by different sources to overlap. Simple morphological image processing tends to either join too many unrelated defects together or not enough together. Expert semiconductor fabrication engineers have demonstrated that they can easily group clusters of defects from a common manufacturing problem source into a single signature. Capturing this thought process is ideally suited for fuzzy logic. A system of rules was developed to join disconnected clusters based on properties such as elongation, orientation, and distance. The clusters are evaluated on a pair-wise basis using the fuzzy rules and are joined or not joined based on a defuzzification and threshold. The system continuously re-evaluates the clusters under consideration as their fuzzy memberships change with each joining action. The fuzzy membership functions for each pair-wise feature, the techniques used to measure the features, and methods for improving the speed of the system are all developed. Examples of the process are shown using real-world semiconductor wafer maps obtained from chip manufacturers. The algorithm is utilized in the Spatial Signature Analyzer (SSA) software, a joint development project between Oak Ridge National Lab (ORNL) and SEMATECH.

Gleason, S.S.; Kamowski, T.P.; Tobin, K.W.

1999-01-24T23: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.


201

Cascade Fuzzy Logic Controller for an Anaerobic Digester  

Science Conference Proceedings (OSTI)

A cascade controller is introduced for operating Up flow Anaerobic Sludge Blanket (UASB) digesters efficiently. The Upper-level controller is a Fuzzy Logic Controller (FLC) and the Lower-level controller is a conventional PI controller. The inner loop ...

Albino Martinez-Sibaja; Ruben Posada-Gomez; Alejandro Alvarado-Lassman; Angel Sebastia-Cortes

2007-09-01T23:59:59.000Z

202

Learning semantic grammars with constructive inductive logic programming  

Science Conference Proceedings (OSTI)

Automating the construction of semantic grammars is a difficult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be viewed as the learning of search-control heuristics in a logic program. ...

John M. Zelle; Raymond J. Mooney

1993-07-01T23:59:59.000Z

203

Dynamic Decision-Making in Logic Programming and Game Theory  

Science Conference Proceedings (OSTI)

We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice Logic Programming, allows decisions that comprise multiple alternatives, which become available only when a choice ...

Marina De Vos; Dirk Vermeir

2002-12-01T23:59:59.000Z

204

Multi-adjoint Logic Programming with Continuous Semantics  

Science Conference Proceedings (OSTI)

Considering different implication operators, such as "?ukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this ...

Jesús Medina; Manuel Ojeda-Aciego; Peter Vojtás

2001-09-01T23:59:59.000Z

205

A Logical Framework for Modelling eMAS  

Science Conference Proceedings (OSTI)

We investigate how to explicitly represent organizational structures in epistemic multi-agent systems (eMAS). We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative ...

Pierangelo Dell'Acqua; Luís Moniz Pereira

2003-01-01T23:59:59.000Z

206

An enhanced framework of subjective logic for semantic document analysis  

Science Conference Proceedings (OSTI)

Unlike propositional logic which works on truth or falsity of statements, human judgements are subjective in nature having certain degree of uncertainty. Two different people will analyse and interpret a document in two different ways based on their ...

Sukanya Manna; B. Sumudu. U. Mendis; Tom Gedeon

2010-10-01T23:59:59.000Z

207

Waste Logic Decommissioning Waste Manager 2.0 Users Manual  

Science Conference Proceedings (OSTI)

The Decommissioning Waste Manager, part of EPRI's Waste Logic series of computer programs, analyzes decommissioning waste cost and volume reduction strategies with the intent of quantifying the existing waste management program for any given waste generator.

2001-10-29T23:59:59.000Z

208

Extended caching, backjumping and merging for expressive description logics  

Science Conference Proceedings (OSTI)

With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic $\\mathcal{SROIQ}$. The developed method is based on a sophisticated dependency management and a precise unsatisfiability ...

Andreas Steigmiller; Thorsten Liebig; Birte Glimm

2012-06-01T23:59:59.000Z

209

NEXPTIME-Complete Description Logics with Concrete Domains  

Science Conference Proceedings (OSTI)

Concrete domains are an extension of Description Logics (DLs) allowing to integrate reasoning about conceptual knowledge with reasoning about "concrete properties" of objects such as sizes, weights, and durations. It is known that reasoning with ALC(D), ...

Carsten Lutz

2001-06-01T23:59:59.000Z

210

Power Analysis of Sub-threshold Logics for Security Applications.  

E-Print Network (OSTI)

??Requirements of ultra-low power for many portable devices have drawn increased attention to digital sub-threshold logic design. Major reductions in power consumption and frequency of… (more)

Haghighizadeh, Farhad

2012-01-01T23:59:59.000Z

211

Improving sensornet performance by separating system configuration from system logic  

Science Conference Proceedings (OSTI)

Many sensor network protocols are self-configuring, but independent self-configuration at different layers often results in suboptimal performance. We present Chi, a full-system configuration architecture that separates system logic from system configuration. ...

Niclas Finne; Joakim Eriksson; Nicolas Tsiftes; Adam Dunkels; Thiemo Voigt

2010-02-01T23:59:59.000Z

212

Precise goal-independent abstract interpretation of constraint logic programs  

Science Conference Proceedings (OSTI)

We present a goal-independent abstract interpretation framework for constraint logic programs, and prove the sufficiency of a set of conditions for abstract domains to ensure that the analysis will never lose precision. Along the way, we formally define ...

Peter Schachte

2003-02-01T23:59:59.000Z

213

Data complexity in the ?L family of description logics  

Science Conference Proceedings (OSTI)

We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability. We identify a large number of intractable extensions of EL, but also ...

Adila Krisnadhi; Carsten Lutz

2007-10-01T23:59:59.000Z

214

Implementing temporal logics: tools for execution and proof  

Science Conference Proceedings (OSTI)

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

Michael Fisher

2005-06-01T23:59:59.000Z

215

Application of programmable logic controllers to substation control and protection  

Science Conference Proceedings (OSTI)

This paper describes the application of programmable logic controllers (PLCs) to control and protection of bulk power and regional supply substations. PLC requirements are discussed and the concept of zones of control is explained as applied to standard PP L substation arrangements. The use of a peer-to-peer communication network between logic controllers and other substation equipment is also discussed. Details of an installation completed in spring, 1992, are presented, including experience acquired from power system faults.

Gilbert, J.G.; Diehl, G.R. (Pennsylvania Power Light Co., Allentown, PA (United States))

1994-01-01T23:59:59.000Z

216

Attenuation of single event induced pulses in CMOS combinational logic  

Science Conference Proceedings (OSTI)

Results are presented of a study of SEU generated transient pulse attenuation in combinational logic structures built using common digital CMOS design practices. SPICE circuit analysis, heavy ion tests, and pulsed, focused laser simulations were used to examine the response characteristics of transient pulse behavior in long logic strings. Results show that while there is an observable effect, it cannot be generally assumed that attenuation will significantly reduce observed circuit bit error rates.

Baze, M.P. [Boeing Defense and Space Group, Seattle, WA (United States)] [Boeing Defense and Space Group, Seattle, WA (United States); Buchner, S.P. [SFA Inc., Landover, MD (United States)] [SFA Inc., Landover, MD (United States)

1997-12-01T23:59:59.000Z

217

Reconfigurable multi-function logic based on graphene P-N junctions  

Science Conference Proceedings (OSTI)

In this paper, we introduce a novel reconfigurable graphene logic based on graphene p-n junctions. In this logic device, switching is accomplished by using co-planar split gates that modulate the properties that are unique to graphene, including ambipolar ... Keywords: device, graphene, logic gate, p-n junction, reconfigurable logic

Sansiri Tanachutiwat; Ji Ung Lee; Wei Wang; Chun Yung Sung

2010-06-01T23:59:59.000Z

218

A Temporal Description Logic for Reasoning about Actions and Plans  

E-Print Network (OSTI)

A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. The basic language TL-F is considered first: it is the composition of a temporal logic TL -- able to express interval temporal networks -- together with the non-temporal logic F -- a Feature Description Logic. It is proven that subsumption in this language is an NP-complete problem. Then it is shown how to reason with the more expressive languages TLU-FU and TL-ALCF. The former adds disjunction both at the temporal and non-temporal s...

Artale, A; 10.1613/jair.516

2011-01-01T23:59:59.000Z

219

Data Acquisition from Cell Phone using Logical Approach  

E-Print Network (OSTI)

Abstract—Cell phone forensics to acquire and analyze data in the cellular phone is nowadays being used in a national investigation organization and a private company. In order to collect cellular phone flash memory data, we have two methods. Firstly, it is a logical method which acquires files and directories from the file system of the cell phone flash memory. Secondly, we can get all data from bit-by-bit copy of entire physical memory using a low level access method. In this paper, we describe a forensic tool to acquire cell phone flash memory data using a logical level approach. By our tool, we can get EFS file system and peek memory data with an arbitrary region from Korea CDMA cell phone. Keywords—Forensics, logical method, acquisition, cell phone, flash memory. I.

Keonwoo Kim; Dowon Hong; Kyoil Chung; Jae-cheol Ryou

2007-01-01T23:59:59.000Z

220

Project Management Plan for the INEL technology logic diagrams  

SciTech Connect

This Project Management Plan (PjMP) describes the elements of project planning and control that apply to activities outlined in Technical Task Plan (TTP) ID-121117, ``Technology Logic Diagrams For The INEL.`` The work on this project will be conducted by personnel in EG&G Idaho, Inc.`s Waste Technology Development Program. Technology logic diagrams represent a formal methodology to identify technology gaps or needs within Environmental Restoration/Waste Management Operations, which will focus on Office of Environmental Restoration and Waste Management (EM-50) research and development, demonstration, test, and evaluation efforts throughout the US Department of Energy complex. This PjMP describes the objectives, organization, roles and responsibilities, workscope and processes for implementing and managing the technology logic diagram for the Idaho National Engineering Laboratory project.

Rudin, M.J.

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


221

Project Management Plan for the INEL technology logic diagrams  

SciTech Connect

This Project Management Plan (PjMP) describes the elements of project planning and control that apply to activities outlined in Technical Task Plan (TTP) ID-121117, Technology Logic Diagrams For The INEL.'' The work on this project will be conducted by personnel in EG G Idaho, Inc.'s Waste Technology Development Program. Technology logic diagrams represent a formal methodology to identify technology gaps or needs within Environmental Restoration/Waste Management Operations, which will focus on Office of Environmental Restoration and Waste Management (EM-50) research and development, demonstration, test, and evaluation efforts throughout the US Department of Energy complex. This PjMP describes the objectives, organization, roles and responsibilities, workscope and processes for implementing and managing the technology logic diagram for the Idaho National Engineering Laboratory project.

Rudin, M.J.

1992-10-01T23:59:59.000Z

222

1.3 An Overview of Modal Logic.................... 4  

E-Print Network (OSTI)

In this paper I provide a brief overview of modal and tense logic, their semantics, and the nested sequent calculus. I detail how structural rules can be added to a logical system using a process involving Scott-Lemmon axioms, and how path axioms can be added to systems by analyzing their effect on Kripke frames. I show logical rules for the shallow and deep inference on the nested sequent calculus systems SKt and DKt, and show how the deep inference system can eliminate structural rules, thus aiding proof search over the systems. Finally, I provide an extension of the nested sequent calculus with seriality, and then show how further extensions of these new systems SKt+D and DKt+D are possible using

Luke English

2012-01-01T23:59:59.000Z

223

Low delay and area efficient soft error correction in arbitration logic  

DOE Patents (OSTI)

There is provided an arbitration logic device for controlling an access to a shared resource. The arbitration logic device comprises at least one storage element, a winner selection logic device, and an error detection logic device. The storage element stores a plurality of requestors' information. The winner selection logic device selects a winner requestor among the requestors based on the requestors' information received from a plurality of requestors. The winner selection logic device selects the winner requestor without checking whether there is the soft error in the winner requestor's information.

Sugawara, Yutaka

2013-09-10T23:59:59.000Z

224

Paradigm Shift: Burning Coal to Geothermal | Department of Energy  

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

Paradigm Shift: Burning Coal to Geothermal Paradigm Shift: Burning Coal to Geothermal Paradigm Shift: Burning Coal to Geothermal 20121120ballstatepresentation.pdf More Documents...

225

Fuzzy logic control of batch-feeding refuse incineration  

Science Conference Proceedings (OSTI)

The municipal solid waste (MSW) or refuse incineration plant is designated to reduce the volume of the refuse and recover energy from it. The steam generated from a boiler heated by burning refuse is sent to a turbine to generate the electricity. Batch-feeding ... Keywords: Singapore, Ulu Pandan refuse incineration plant, batch-feeding refuse incineration, boiler, boilers, combustion, complete combustion, electricity generation, energy recovery, flow control, fuzzy control, fuzzy logic control, grate rotating rates, incomplete combustion, municipal solid waste plant, rule-base fuzzy logic control algorithms, steam flow rate, steam power stations, uncertain fluctuation, waste disposal, waste-to-energy power plants

Desong Chen

1995-03-01T23:59:59.000Z

226

The Subsumption Problem of the Fuzzy Description Logic ALCF H  

E-Print Network (OSTI)

We present the fuzzy description logic ALCF H where primitive concepts are modified by means of hedges taken from hedge algebras. ALCF H is strictly more expressive than Fuzzy-ALC defined in [9]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a decision procedure for the unsatisfiability problem in ALCF H and for the subsumption problem in a fragment of ALCF H. Key words: fuzzy logic, hedge algebras, description

Steffen Hölldobler; Hans-peter Störr

2004-01-01T23:59:59.000Z

227

Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines  

E-Print Network (OSTI)

Fundamental astronomical questions on the composition of the universe, the abundance of Earth-like planets, and the cause of the brightest explosions in the universe are being attacked by robotic telescopes costing billions of dollars and returning vast pipelines of data. The success of these programs depends on the accuracy of automated real time processing of the astronomical images. In this paper the needs of modern astronomical pipelines are discussed in the light of fuzzy-logic based decision-making. Several specific fuzzy-logic algorithms have been develop for the first time for astronomical purposes, and tested with excellent results on data from the existing Night Sky Live sky survey.

Lior Shamir; Robert J. Nemiroff

2005-06-27T23:59:59.000Z

228

System Description: inka 5.0 - A Logic Voyager  

E-Print Network (OSTI)

this paper are implemented and used for some example logics and sequent calculus proof search. The core inka is implemented in Allegro Common Lisp. The interface runs on distributed Oz, which is available for Unix and Windows. As a next step we intend to integrate a logic for algorithmic function and predicate definitions as well as the methods to prove their termination as tactics. Termination proofs can be inspected and already proven lemmata can be used during the construction of termination proofs, which are the main advantages wrt. the black box implementation of these methods in the old inka system [8]. References

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

1999-01-01T23:59:59.000Z

229

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability  

E-Print Network (OSTI)

We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL. Our characterizations are relative to first-order logic, based on a wide range of semantic notions such as bisimulation, equisimulation, disjoint union, and direct product. We exemplify the use of the characterizations by a first study of the following novel family of decision problems: given a TBox T formulated in a DL L, decide whether T can be equivalently rewritten as a TBox in the fragment L ? of L.

Carsten Lutz; Robert Piro; Frank Wolter

2011-01-01T23:59:59.000Z

230

Natural gas consumption reflects shifting sectoral patterns ...  

U.S. Energy Information Administration (EIA)

U.S. natural gas consumption since 1997 reflects shifting patterns. Total U.S. natural gas consumption rose 7% between 1997 and 2011, but this modest ...

231

Playing Tough and Clean Hockey: Developing Emotional Management Skills to Reduce Individual Player Aggression.  

E-Print Network (OSTI)

??" Aggression in youth ice hockey is prevalent and has many negative consequences including the possibility of injury (Widmeyer & McGuire, 1993). Multiple antecedents lead… (more)

Lauer, Larry L.

2005-01-01T23:59:59.000Z

232

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

233

The d-Logic of the Rational Numbers: A Fruitful Construction  

Science Conference Proceedings (OSTI)

We present a geometric construction that yields completeness results for modal logics including K4, KD4, GL and GL ... Keywords: Modal logic, derivative/derived set operator, topological semantics, trees

Joel Lucero-Bryan

2011-03-01T23:59:59.000Z

234

System Management Ontology Description Logic Formalization of CIM  

E-Print Network (OSTI)

SMO System Management Ontology Description Logic Formalization of CIM Andrea Cal`i, Diego Calvanese Information Model (CIM) has the goal of providing a suitable approach for modeling systems and networks using the object-oriented paradigm. In this document we illustrate how to map CIM onto an expressive Description

Calvanese, Diego

235

Linear Logical Algorithms Robert J. Simmons and Frank Pfenning  

E-Print Network (OSTI)

will formally define a program P as a series of rules. Each rule has one or more atomic propositions A0 of abstract running time, reasoning about the complexity of algorithms requires understanding the intricacies The pure bottom-up logic programming language introduced in the previous section is built from atomic

Andrews, Peter B.

236

Layered Models Top-Down Querying of Normal Logic Programs  

Science Conference Proceedings (OSTI)

For practical applications, the use of top-down query-driven proof-procedures is essential for an efficient use and computation of answers using Logic Programs as knowledge bases. Additionally, abductive reasoning on demand is intrinsically a top-down ... Keywords: Relevance, Semantics, Smodels, XSB-XASP

Luís Moniz Pereira; Alexandre Miguel Pinto

2009-01-01T23:59:59.000Z

237

Towards practical biomolecular computers using microfluidic deoxyribozyme logic gate networks  

Science Conference Proceedings (OSTI)

We propose a way of implementing a biomolecular computer in the laboratory using deoxyribozyme logic gates inside a microfluidic reaction chamber. We build upon our previous work, which simulated the operation of a flip-flop and an oscillator based on ...

Joseph Farfel; Darko Stefanovic

2005-06-01T23:59:59.000Z

238

Fuzzy logic system for variable message signs in Kuala Lumpur  

Science Conference Proceedings (OSTI)

Intelligent Transportation Systems refer to a wide variety of advanced and emerging technology applications designed mainly to reduce traffic congestion and emissions, and to improve highway efficiency, safety, and convenience. Variable message signs ... Keywords: fuzzy controller, fuzzy logic, intelligent transportation systems, variable message signs

Arash Moradkhani Roshandeh; Majid Joshani; Othman Che Puan

2009-06-01T23:59:59.000Z

239

Fuzzy Logic-based Mobility Metric Clustering Algorithm for MANETs  

Science Conference Proceedings (OSTI)

Mobile ad-hoc network, MANET is a collection of wireless mobile nodes dynamically forming a temporary communication network without using any existing infrastructure or centralized administration. To reduce routing overhead, computational complexity ... Keywords: Cluster, Fuzzy Clustering, Fuzzy Logic, MANET, Mobility Metric

P. Venkateswaran; Mousumi Kundu; Srishti Shaw; Kanika Orea; R. Nandi

2011-07-01T23:59:59.000Z

240

Attentiveness assessment in learning based on fuzzy logic analysis  

Science Conference Proceedings (OSTI)

Learner attention affects learning efficiency. However, in many classes, teachers cannot assess the degree of attention of every learner. When a teacher is capable of addressing inattentive learners immediately, he can avoid situations in which learners ... Keywords: Fuzzy logic, Image processing, Learner attention analysis

Kuo-An Hwang; Chia-Hao Yang

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


241

Logic Style Comparison for Ultra Low Power Applications  

E-Print Network (OSTI)

inverter in the FA is not necessary. However, connecting both Q and Qb increases the energy usage of the CSE. Typically, this option yields worse results at nominal voltage because the energy loss from of addition logic and a register, we show a combination of CMOS and passgates performs best in terms of energy

242

Verifying executable object-oriented specifications with separation logic  

Science Conference Proceedings (OSTI)

Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at runtime whether an assertion, such as a precondition or class invariant, ... Keywords: contracts, executable assertions, object-orientation, separation logic, specification, verification

Stephan van Staden; Cristiano Calcagno; Bertrand Meyer

2010-06-01T23:59:59.000Z

243

Logic foundry: rapid prototyping for FPGA-based DSP systems  

Science Conference Proceedings (OSTI)

We introduce the Logic Foundry, a system for the rapid creation and integration of FPGA-based digital signal processing systems. Recognizing that some of the greatest challenges in creating FPGA-based systems occur in the integration of the various components, ... Keywords: CAD tools, DSP, FPGA, design methodology, integration, rapid prototyping

Gary Spivey; Shuvra S. Bhattacharyya; Kazuo Nakajima

2003-01-01T23:59:59.000Z

244

Representing a Robotic Domain Using Temporal Description Logics  

E-Print Network (OSTI)

in Section 2, the temporal language TL­ALCF is introduced in Section 3. The lan­ guage syntax is first (undefinedness) p; q ! f j (atomic feature) p ffi q (path) Figure 1: Syntax rules for the ALCF Description Logic the model theoretic semantics of TL­ALCF , together with a formal definition of the subsumption and instance

Franconi, Enrico

245

A Temporal Logic of Robustness Tim French, John C. Mc  

E-Print Network (OSTI)

if a certain number of failures occur. This paper proposes a logic, RoCTL*, which extends CTL* with operators step. The Robustly operator roughly represents the phrase "even if an additional failure occurs now, the path is successful. That is, a path with a finite number of failures has a successful suffix. We

French, Tim

246

Control the Robot Movement by Fuzzy Logic Controller  

Science Conference Proceedings (OSTI)

Recently, great interest has been the reluctance to move to DC motors and its applications in industry Such as robotics, textiles, and household electric vehicle or application or Aviation domains. The first control techniques used classic controllers ... Keywords: control, fuzzy logic controller, pid controller, dc motor, robot movement, simulation

Yousfi Khemissi; Amrani Abdulwahab

2010-03-01T23:59:59.000Z

247

Unification of Concept Terms in Description Logics Franz Baader \\Lambda  

E-Print Network (OSTI)

Unification of Concept Terms in Description Logics Franz Baader \\Lambda LuFg Theoretical Computer, USA e­mail: dran@cs.albany.edu Abstract Unification of concept terms is a new kind of in­ ference concept names by con­ cept terms before testing for equivalence. We show that this inference problem

Baader, Franz

248

Towards a program logic for JavaScript  

Science Conference Proceedings (OSTI)

JavaScript has become the most widely used language for client-side web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading to buggy programs and a lack of adequate static-analysis tools. We believe ... Keywords: javascript, separation logic, web

Philippa Anne Gardner; Sergio Maffeis; Gareth David Smith

2012-01-01T23:59:59.000Z

249

Integration of a security type system into a program logic  

Science Conference Proceedings (OSTI)

Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensuring non-interference in a simple while language can be expressed through ...

Reiner Hähnle; Jing Pan; Philipp Rümmer; Dennis Walter

2006-11-01T23:59:59.000Z

250

The application of fuzzy logic to the precautionary principle  

Science Conference Proceedings (OSTI)

One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a formal method that determines the weight of evidence based on the specific parameters ... Keywords: environmental law, fuzzy logic, precautionary principle

Mirit Shamir; Lior Shamir; Mary H. Durfee

2007-12-01T23:59:59.000Z

251

Application of fuzzy logic for autonomous bay parking of automobiles  

Science Conference Proceedings (OSTI)

In this paper, we investigate the control problem of autonomous bay parking system. We choose a referenced parking lot and define a suitable parking spot based on some measurements at various places. A kinetic model is set up for the convenience of analysis ... Keywords: Fuzzy logic, autonomous vehicle control, bay parking, kinetic model, simulation

Zhao-Jian Wang; Jian-Wei Zhang; Ying-Ling Huang; Hui Zhang; Aryan Saadat Mehr

2011-11-01T23:59:59.000Z

252

Low temperature dynamics of netral atoms for quantum logic  

Science Conference Proceedings (OSTI)

We study from the point of view of quantum logic the properties of the collective oscillations of two Rydberg atoms in two harmonic traps. The difference in the frequency of two normal modes of motion expands with the difference in the mass of the two ... Keywords: Rydberg state, normal mode, quantum state transfer

Fang-Yu Hong; Yang Xiang; Z. Y. Zhu; W. H. Tang

2011-11-01T23:59:59.000Z

253

Ravel-XL: a hardware accelerator for assigned delay compiled-code logic gate simulation  

Science Conference Proceedings (OSTI)

Keywords: design verification, digital logic simulation, hardware accelerators, levelized compiled code, simulation engines, special purpose architectures, timing analysis

Michael A. Riepe; João P. Marques Silva; Karem A. Sakallah; Richard B. Brown

1996-03-01T23:59:59.000Z

254

An efficient approach for designing and minimizing reversible programmable logic arrays  

Science Conference Proceedings (OSTI)

Reversible computing dissipates zero energy in terms of information loss at input and also it can detect error of circuit by keeping unique input-output mapping. In this paper, we have proposed a cost effective design of Reversible Programmable Logic ... Keywords: MUX gate, programmable logic arrays, reversible logic

Sajib Kumar Mitra; Lafifa Jamal; Mineo Kaneko; Hafiz Md. Hasan Babu

2012-05-01T23:59:59.000Z

255

Multi-objective optimal design of fuzzy logic controller using a self configurable swarm intelligence algorithm  

Science Conference Proceedings (OSTI)

This paper presents a multi-objective fuzzy logic controller (PSO-FLC) for active vibration control of seismically exited buildings by combining a new self configurable multi-objective PSO (particle swarm optimisation) algorithm with fuzzy logic controller. ... Keywords: Active vibration control, Fuzzy logic, Pareto optimal solutions, Particle swarm optimisation, Seismic excitation

A. Rama Mohan Rao; K. Sivasubramanian

2008-12-01T23:59:59.000Z

256

Circuit optimization techniques to mitigate the effects of soft errors in combinational logic  

Science Conference Proceedings (OSTI)

Soft errors in combinational logic circuits are emerging as a significant reliability problem for VLSI designs. Technology scaling trends indicate that the soft error rates (SER) of logic circuits will be dominant factor for future technology generations. ... Keywords: Soft errors, circuit optimization, combinational logic, sequential circuits

Rajeev R. Rao; Vivek Joshi; David Blaauw; Dennis Sylvester

2009-12-01T23:59:59.000Z

257

Y-12 Plant decontamination and decommissioning technology logic diagram for Building 9201-4. Volume 2: Technology logic diagram  

Science Conference Proceedings (OSTI)

The Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 (TLD) was developed to provide a decision-support tool that relates decontamination and decommissioning (D and D) problems at Bldg. 9201-4 to potential technologies that can remediate these problems. This TLD identifies the research, development, demonstration, testing, and evaluation needed for sufficient development of these technologies to allow for technology transfer and application to D and D and waste management (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 by finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Volume 2 contains the logic linkages among environmental management goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 2 has been divided into five sections: Characterization, Decontamination, Dismantlement, Robotics/Automation, and Waste Management. Each section contains logical breakdowns of the Y-12 D and D problems by subject area and identifies technologies that can be reasonably applied to each D and D challenge.

NONE

1994-09-01T23:59:59.000Z

258

Arch. Math. Logic (2009) 48:231242 DOI 10.1007/s00153-009-0123-9 Mathematical Logic  

E-Print Network (OSTI)

compactification Mathematics Subject Classification (2000) 03B45 · 03G05 · 54D35 1 Introduction It was shown by McKinsey)/Fin, as a corollary we obtain that S4 is the modal logic of N, thus adding to completeness results of McKinsey

Harding, John

259

Novel Solution of Mercury Perihelion Shift  

E-Print Network (OSTI)

We present a novel solution of the Mercury perihelion advance shift in the new gravity model. It is found that the non-relativistic reduction of the Dirac equation with the gravitational potential produces the new gravitational potential of $\\displaystyle{V(r)=-{GMm\\over r}+{G^2M^2m^2\\over 2mc^2r^2}}$. This potential can explain the Mercury perihelion advance shift without any free parameters. Also, it can give rise to the $\\omega-$shift of the GPS satellite where the advance shift amounts to $({\\Delta \\omega\\over \\omega})_{th} \\simeq 3.4\\times 10^{-10}$ which should be compared to the recent observed value of $({\\Delta \\omega\\over \\omega})_{exp} \\simeq 4.5\\times 10^{-10}$.

Takehisa Fujita; Naohiro Kanda

2009-11-11T23:59:59.000Z

260

Stabilizing windings for tilting and shifting modes  

DOE Patents (OSTI)

This invention provides simple, inexpensive, independent and passive, conducting loops for stabilizing a plasma ring having externally produced equilibrium fields on opposite sides of the plasma ring and internal plasma currents that interact to tilt and/or shift the plasma ring relative to the externally produced equilibrium field so as to produce unstable tilting and/or shifting modes in the plasma ring. More particularly this invention provides first and second passive conducting loops for containing first and second induced currents in first and second directions corresponding to the amplitude and directions of the unstable tilting and/or shifting modes in the plasma ring. To this end, the induced currents provide additional magnetic fields for producing restoring forces and/or restoring torques for counteracting the tilting and/or shifting modes when the conducting loops are held fixed in stationary positions relative to the externally produced equilibrium fields on opposite sides of the plasma ring.

Jardin, S.C.; Christensen, U.R.

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


261

Performance Analysis of Dynamic Priority Shifting  

Science Conference Proceedings (OSTI)

We investigate the benefit of priority shifting for resource allocation in systems with a shared resource, where higher priority implies better service. Priority schemes where priority levels are assigned fixed shares of the resource experience underutilisation ...

Philipp Reinecke; Katinka Wolter; Johannes Zapotoczky

2008-08-01T23:59:59.000Z

262

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

263

Peak Load Shifting by Thermal Energy Storage  

Science Conference Proceedings (OSTI)

This technical update from the Electric Power Research Institute (EPRI) reviews the technology of storing energy in hot water and explores the potential for implementing this form of thermal energy storagethrough means of smart electric water heatersas a way to shift peak load on the electric grid. The report presents conceptual background, discusses strategies for peak load shifting and demand response, documents a series of laboratory tests conducted on a representative model of smart water heater, and...

2011-12-14T23:59:59.000Z

264

Quantified Differential Dynamic Logic for Distributed Hybrid Systems  

E-Print Network (OSTI)

We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control. They may even form dynamic networks, where neither structure nor dimension stay the same while the system follows mixed discrete and continuous dynamics. We provide the logical foundations for closing this analytic gap. We develop a system model for distributed hybrid systems that combines quantified differential equations with quantified assignments and dynamic dimensionality-changes. We introduce a dynamic logic for verifying distributed hybrid systems and present a proof calculus for it. We prove that this calculus is a sound and complete axiomatization of the behavior of distributed hybrid systems relative to quantified differential equations. In our calculus we have proven collision freedom in distributed car control even when new cars may appear dynamically on the road.

André Platzer

2010-01-01T23:59:59.000Z

265

Oak Ridge K-25 Site Technology Logic Diagram  

Science Conference Proceedings (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

266

All-optical reversible logic gate via adiabatic population transfer  

E-Print Network (OSTI)

The Toffoli gate is an essential logic element, which permits implementation of a reversible processor. It is of relevance both for classical as well as quantum logics. We propose and theoretically study all-optical implementations of three-bit and four-bit Toffoli gates by application of adiabatic population transfer techniques. For a three-bit Toffoli gate we use variants of stimulated Raman adiabatic passage (STIRAP) processes in a $\\Lambda$-type level scheme, driven by two laser pulses at sufficiently large detunings. For the implementation of a four-bit Toffoli gate, we apply reversible adiabatic population transfer in five-level quantum systems, interacting with three laser pulses. We demonstrate correct all-optical implementation of the truth table of three-bit and four-bit Toffoli gates. Moreover, we derive conditions for adiabatic evolution of the population dynamics and robust operation of the gates.

G. Grigoryan; V. Chaltykyan; E. Gazazyan; O. Tikhova; T. Halfmann

2013-06-10T23:59:59.000Z

267

Oak Ridge K-25 Site Technology Logic Diagram  

SciTech Connect

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

268

Multi-level logic minimization through fault dictionary analysis  

E-Print Network (OSTI)

This thesis presents the results of the study of a new ics. algorithm for multi-level logic minimization. This study is based upon the premises that an investable node is a redundant node and that nodes that do not demonstrably cause conflicting behavior at primary outputs may be compatible. Using fault simulation data, compatible nodes are identified and merged. While offering some improvement, this technique by itself leaves many potential reductions undiscovered. As has been noted in (1), adding wires may allow more gated to be eliminated. Using similar fault data to those used to identify compatible bates, implied gate functions are identified and injected. The addition of these new implicant functions creates more compatible pairs, which in some cases can then be eliminated. Data gathered using these techniques show that matrix analysis is a powerful tool that produces minimization results in selected benchmark circuits superior to any previously published academic work. The algorithm developed in this study, Texas Aggies Logic Optimizing Netlister (TALON), is shown to be competitive with, and complimentary to, other methodologies. TALON can be used by itself to reduce the size of a logic network, or it can be used as a preprocessor or postprocessor for other tools, giving superior results to those obtained by any of them working independently.

Mehler, Ronald W

1998-01-01T23:59:59.000Z

269

Testability of AND-EXOR Based Iterative Logic Arrays  

E-Print Network (OSTI)

Iterative Logic Arrays (ILAs) are ideal as VLSI sub-systems because of their regular structure and its close resemblance with FPGAs (Field Programmable Gate Arrays). AND-EXOR based circuits are of interest in the design of very low power circuits where energy loss implied by high frequency switching is of much consideration. This paper examines the testability of AND-EXOR based Iterative Logic Arrays (ILAs). For certain ILAs it is possible to find a test set whose size remains constant irrespective of the size of the ILA, while for others it varies with array size. Former type of ILAs is known as Constant-Testable (C-Testable). It has been shown that AND-EXOR based Logic Arrays are C-Testable and size of test set is equal to number of entries in cell truth table. The test generation problem has been shown to be related to certain properties of cycles in a set of graphs derived from cell truth table. By careful analysis of these cycles an efficient test generation technique that can be easily converted to an A...

Chakraborty, Avik

2008-01-01T23:59:59.000Z

270

Waste Logic™: FT 2.0: Waste Logic™: FastTrack Version 2.0 with Data Link  

Science Conference Proceedings (OSTI)

Tracking and trending liquid processing performance data is critical for utility low-level waste (LLW) managers to sufficiently recognize good performance of their liquid processing systems and identify areas for improvement. In response to this challenge, EPRI's LLW group developed FastTrack. EPRI's Waste Logic™: FastTrack Version 2.0 with Data Link software for Microsoft Windows-based PC computers is a custom database software application that provides storage, retrieval, analysis, graphing, repo...

2004-10-25T23:59:59.000Z

271

GreenShift Corporation | Open Energy Information  

Open Energy Info (EERE)

GreenShift Corporation GreenShift Corporation Jump to: navigation, search Name GreenShift Corporation Address 1 Penn Plaza, Suite 1612 Place New York, New York Zip 10119 Sector Biofuels Product Produce biomass-derived oils and fuels Stock Symbol GERS.OB Website http://www.greenshift.com/ Coordinates 40.7495594°, -73.9916617° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":40.7495594,"lon":-73.9916617,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

272

Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts  

Open Energy Info (EERE)

Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts Focus Area: Energy Efficiency Topics: Policy Impacts Website: eetd.lbl.gov/ea/emp/reports/lbnl-3833e.pdf Equivalent URI: cleanenergysolutions.org/content/benefits-and-costs-aggressive-energy- Language: English Policies: Regulations Regulations: Utility/Electricity Service Costs This analysis, based on the Massachusetts Green Communities Act, looks at the impact of energy efficiency targets mandated by the Act on rates and

273

An Analysis of the Relationship between Weather and Aggressive Crime in Cleveland, Ohio  

Science Conference Proceedings (OSTI)

This study investigated the relationship between weather and aggressive crime for the period from 1999 through 2004 for the city of Cleveland, Ohio. The majority of the analysis focused on meteorological summer (June–August), because this is the ...

Paul Butke; Scott C. Sheridan

2010-04-01T23:59:59.000Z

274

Microwave quantum logic spectroscopy and control of molecular ions  

E-Print Network (OSTI)

A general method for rotational microwave spectroscopy and control of polar molecular ions via direct microwave addressing is considered. Our method makes use of spatially varying ac Stark shifts, induced by far off-resonant, ...

Drewsen, M

275

Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T, unpublished, http://hal.ccsd.cnrs.fr/ccsd-00127016 8. Dambreville F., Cross-entropic learning of a machine for the decision in a partially observable universe  

E-Print Network (OSTI)

In this paper a conditional logic is defined and studied. This conditional logic, DmBL, is constructed as a deterministic counterpart to the Bayesian conditional. The logic is unrestricted, so that any logical operations are allowed. A notion of logical independence is also defined within the logic itself. This logic is shown to be nontrivial and is not reduced to classical propositions. A model is constructed for the logic. Completeness results are proved. It is shown that any unconditioned probability can be extended to the whole logic DmBL. The Bayesian conditional is then recovered from the probabilistic DmBL. At last, it is shown why DmBL is compliant with Lewis ’ triviality.

Frédéric Dambreville

2006-01-01T23:59:59.000Z

276

Selective interactions in trapped ions: State reconstruction and quantum logic  

SciTech Connect

We propose the implementation of selective interactions of atom-motion subspaces in trapped ions. These interactions yield resonant exchange of population inside a selected subspace, leaving the others in a highly dispersive regime. Selectivity allows us to generate motional Fock (and other nonclassical) states with high purity out of a wide class of initial states, and becomes an unconventional cooling mechanism when the ground state is chosen. Individual population of number states can be distinctively measured, as well as the motional Wigner function. Furthermore, a protocol for implementing quantum logic through a suitable control of selective subspaces is presented.

Solano, E. [Max-Planck-Institut fuer Quantenoptik, Hans-Kopfermann-Strasse 1, D-85748 Garching, Germany and Seccion Fisica, Departamento de Ciencias, Pontificia Universidad Catolica del Peru, Apartado 1761, Lima (Peru)

2005-01-01T23:59:59.000Z

277

Atomic clocks with suppressed blackbody radiation shift  

E-Print Network (OSTI)

We develop a nonstandard concept of atomic clocks where the blackbody radiation shift (BBRS) and its temperature fluctuations can be dramatically suppressed (by one to three orders of magnitude) independent of the environmental temperature. The suppression is based on the fact that in a system with two accessible clock transitions (with frequencies $\

Yudin, V I; Okhapkin, M V; Bagayev, S N; Tamm, Chr; Peik, E; Huntemann, N; Mehlstaubler, T E; Riehle, F

2011-01-01T23:59:59.000Z

278

Collisionally Induced Atomic Clock Shifts and Correlations  

E-Print Network (OSTI)

We develop a formalism to incorporate exchange symmetry considerations into the calculation of collisional frequency shifts and blackbody radiation effects for atomic clock transitions using a density matrix formalism. The formalism is developed for both fermionic and bosonic atomic clocks. Results for a finite temperature ${}^{87}$Sr ${}^1S_0$ ($F = 9/2$) atomic clock in a magic wavelength optical lattice are presented.

Y. B. Band; I. Osherov

2010-11-15T23:59:59.000Z

279

Assigning multiple activities to work shifts  

Science Conference Proceedings (OSTI)

In some companies such as large retail stores, the employees perform different activities (e.g., cashier or clerk in a specific department) to respond to a customer demand for each activity that varies over the planning horizon and must be fulfilled ... Keywords: Activity assignment, Column generation, Multi-commodity network flow model, Rolling horizon, Work shifts

Quentin Lequy; Mathieu Bouchard; Guy Desaulniers; François Soumis; Beyime Tachefine

2012-04-01T23:59:59.000Z

280

Majors' Shift to Natural Gas, The  

Reports and Publications (EIA)

The Majors' Shift to Natural Gas investigates the factors that have guided the United States' major energy producers' growth in U.S. natural gas production relative to oil production. The analysis draws heavily on financial and operating data from the Energy Information Administration's Financial Reporting System (FRS)

Bruce Bawks

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


281

Alternative representations of in-stream habitat: classification using remote sensing, hydraulic modeling, and fuzzy logic  

E-Print Network (OSTI)

C. , 1996, Two-dimensional hydraulic simulation of physicalfish: Linking statistical hydraulic models with multivariateusing Remote Sensing, Hydraulic Modeling, and Fuzzy Logic

Legleiter, Carl J.; Goodchild, M F

2005-01-01T23:59:59.000Z

282

Multidisciplinary Optimization of Hybrid Electric Vehicles: Component Sizing and Power Management Logic.  

E-Print Network (OSTI)

??A survey of the existing literature indicates that optimization on the power management logic of hybrid electric vehicle is mostly performed after the design of… (more)

Fan, Brian Su-Ming

2011-01-01T23:59:59.000Z

283

Logic, genomics, and evolution of the peripheral nervous system transcriptional network of Drosophila  

E-Print Network (OSTI)

CALIFORNIA, SAN DIEGO Logic, genomics, and evolution of thetechnician in a cattle genomics lab, I decided to apply toBiology Studies in Developmental Genomics Professor James W.

Rebeiz, Mark John

2006-01-01T23:59:59.000Z

284

Oak Ridge K-25 Site Technology Logic Diagram  

SciTech Connect

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

285

The Aggressiveness of Order Submissions, Revisions and Cancellations during the Market Preopening Period.  

E-Print Network (OSTI)

This paper analyses the impact of the limit order book information on the aggressiveness observed in the submission of limit orders and the revision or cancellation of orders queued in the preopening period of an electronic limit order book equity market. To our knowledge we are the first to do so. We model each side of the order book separately using ordered probit models for submissions, forward and backward revisions, and order cancellations. In essence, we rank the aggressiveness of order submissions, revisions and cancellations based upon the impact of the action on the execution probability of the order. The empirical results indicate that the aggressiveness of order submissions and forward price revisions react to the existing and subsequent changes in the execution probability driven in part by the depth on either side of the order book. We find that backward price revisions less affected by order book depth, except that aggressive backward bid price revisions reduce when there is an increase in the ask depth below the top of the order book. This suggests that the bid side relies on the ask side to provide liquidity. We find that the aggressiveness of order cancellations increases on both sides of the order book when the depth at the top of the ask order book increases. Order submissions and forward and backward revisions aggression increase on the bid side when there is an increase in the height on both sides; however, we find mixed reactions on the ask side. Finally, the results indicates that aggressiveness observed in order cancellations is not impacted by the magnitude of the inside spread.

Michael Bowe; Stuart Hyde; Ike Johnson

2009-01-01T23:59:59.000Z

286

Paradigm Shift: Burning Coal to Geothermal  

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

Paradigm Shift: Burning Coal Paradigm Shift: Burning Coal to Geothermal" November 20, 2012 jlowe@bsu.edu 765.285.2805 Ball State University Ball State University Administration Building 1899 Ball State 1920s Ball State University Ball State University (4) Coal Fired Boilers Installed 1941/1955 (3) Natural Gas Fired Boilers Installed in the 1970s Heat and Chilled Water Plant Operations Heat Plant: 4 Coal Fired Boilers 3 Natural Gas Fired Boilers 320,000 Lbs/Hr nameplate 240,000 Lbs/Hr current 700,000,000 Lbs/Year Chilled Water Plant: 5 Electrical Centrifugal Chillers 9,300 ton capacity 25,000,000 Ton Hours/Year Pollutants Produced from Burning 36,000 tons of Coal * Carbon Dioxide 85,000 tons (Global Warming)

287

Blackbody radiation shift of B$^+$ clock transition  

E-Print Network (OSTI)

A calculation of the blackbody radiation shift of the B$^+$ clock transition is performed. The polarizabilities of the B$^+$ $2s^2$ $^1$S$^e$, $2s2p$ $^1$P$^o$, and $2s2p$ $^3$P$^o$ states are computed using the configuration interaction method with an underlying semi-empirical core potential. The recommended dipole polarizabilities are 9.64(3) $a_0^3$, 7.78(3) $a_0^3$ and 16.55(5) $a_0^3$ respectively. The derived frequency shift for the $2s^2$ $^1$S$^e$ $\\to$ $2s2p$ $^3$P$^o_0$ transition at 300 K is 0.0160(5) Hz. The dipole polarizabilities agree with an earlier relativistic calculation (Safronova {\\em et al.} Phys. Rev. Lett. {\\bf 107} 143006 (2011)) to better than 0.2%. Quadrupole and octupole polarizabilities and non-adiabatic multipole polarizabilities are also reported.

Cheng, Yongjun

2012-01-01T23:59:59.000Z

288

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

289

Electricity pricing for conservation and load shifting  

Science Conference Proceedings (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

290

Thermal field theories and shifted boundary conditions  

E-Print Network (OSTI)

The analytic continuation to an imaginary velocity of the canonical partition function of a thermal system expressed in a moving frame has a natural implementation in the Euclidean path-integral formulation in terms of shifted boundary conditions. The Poincare' invariance underlying a relativistic theory implies a dependence of the free-energy on the compact length L_0 and the shift xi only through the combination beta=L_0(1+xi^2)^(1/2). This in turn implies that the energy and the momentum distributions of the thermal theory are related, a fact which is encoded in a set of Ward identities among the correlators of the energy-momentum tensor. The latter have interesting applications in lattice field theory: they offer novel ways to compute thermodynamic potentials, and a set of identities to renormalize non-perturbatively the energy-momentum tensor. At fixed bare parameters the shifted boundary conditions also provide a simple method to vary the temperature in much smaller steps than with the standard procedure.

Leonardo Giusti; Harvey B. Meyer

2013-10-29T23:59:59.000Z

291

Thermal field theories and shifted boundary conditions  

E-Print Network (OSTI)

The analytic continuation to an imaginary velocity of the canonical partition function of a thermal system expressed in a moving frame has a natural implementation in the Euclidean path-integral formulation in terms of shifted boundary conditions. The Poincare' invariance underlying a relativistic theory implies a dependence of the free-energy on the compact length L_0 and the shift xi only through the combination beta=L_0(1+xi^2)^(1/2). This in turn implies that the energy and the momentum distributions of the thermal theory are related, a fact which is encoded in a set of Ward identities among the correlators of the energy-momentum tensor. The latter have interesting applications in lattice field theory: they offer novel ways to compute thermodynamic potentials, and a set of identities to renormalize non-perturbatively the energy-momentum tensor. At fixed bare parameters the shifted boundary conditions also provide a simple method to vary the temperature in much smaller steps than with the standard procedur...

Giusti, Leonardo

2013-01-01T23:59:59.000Z

292

Multivariable self-organizing fuzzy logic control using dynamic performance index and linguistic compensators  

Science Conference Proceedings (OSTI)

As far as fuzzy logic based multivariable control systems are concerned, it is not always an easy task to express control strategies in the form of related multi-situations to multi-actions control rules. Decoupled control is one possible and attractive ... Keywords: Compensator, Decoupled control, Fuzzy logic control, Multivariable system, Self-organizing

Qing Lu; Mahdi Mahfouf

2012-12-01T23:59:59.000Z

293

From higher-order logic to Haskell: there and back again  

Science Conference Proceedings (OSTI)

We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns specifications formulated in Isabelle's higher-order logic into executable Haskell ... Keywords: code generation, haskell, higher-order logic, isabelle, theorem proving

Florian Haftmann

2010-01-01T23:59:59.000Z

294

Fuzzy logic - genetic algorithm method to evaluate the magnetic vector potential  

Science Conference Proceedings (OSTI)

The paper presents a Fuzzy Logic - Genetic Algorithm combined method to scale the Magnetic Vector Potential from a given data set of case geometries, to any other constructive geometry, for an electromagnetic interference problem between a high voltage ... Keywords: electromagnetic interference, fuzzy logic, genetic algorithm, pipeline, power line

I. Czumbil; D. D. Micu; A. Ceclan; D. Ste?; D. O. Micu

2010-10-01T23:59:59.000Z

295

A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge  

Science Conference Proceedings (OSTI)

Lexical knowledge is increasingly important in information systems—for example in indexing documents using keywords, or disambiguating words in a query to an information retrieval system, or a natural language interface. However, it is a difficult ... Keywords: default logic, knowledge representation, lexical knowledge, non-monotonic logic, reasoning under uncertainty

Anthony Hunter

2001-01-01T23:59:59.000Z

296

Performing bitwise logic operations in cache using spintronics-based magnetic tunnel junctions  

Science Conference Proceedings (OSTI)

Recent exciting developments in the emerging field of spintronics have enabled rapid advances in spintronic devices such as magnetic tunnel junctions (MTJs). While MTJs are being primarily used as the basic devices in non-volatile memory, they have also ... Keywords: magnetic tunnel junctions, spintronic logic functions, spintronics logic in memory

Shruti Patil; David J. Lilja

2011-05-01T23:59:59.000Z

297

Improving fuzzy logic controllers obtained by experts: a case study in HVAC systems  

Science Conference Proceedings (OSTI)

One important Artificial Intelligence tool for automatic control is the use of fuzzy logic controllers, which are fuzzy rule-based systems comprising expert knowledge in form of linguistic rules. These rules are usually constructed by an expert in the ... Keywords: Fuzzy logic controllers, Genetic tuning, HVAC systems, Linguistic 2-tuples representation, Linguistic 3-tuples representation, Rule selection

Rafael Alcalá; Jesús Alcalá-Fdez; María José Gacto; Francisco Herrera

2009-08-01T23:59:59.000Z

298

Model of usability evaluation of web portals based on the fuzzy logic  

Science Conference Proceedings (OSTI)

This paper presents a model of usability evaluation based on fuzzy logic which results from a need to establish a common approach to deal with the usability evaluation of various kinds of systems. The model definition arises from the methodology of fuzzy ... Keywords: fuzzy logic, software engineering, usability, usability engineering, usability evaluation

Miloslav Hub; Michal Zatloukal

2010-04-01T23:59:59.000Z

299

Genetic algorithm based fuzzy logic power system stabilizers in multimachine power system  

Science Conference Proceedings (OSTI)

This paper presents an approach for the design of fuzzy logic power system stabilizers using genetic algorithms. In the proposed fuzzy expert system, speed deviation and its derivative have been selected as fuzzy inputs. In this approach the parameters ... Keywords: dynamic stability, fuzzy logic based power system stabilizer, genetic Algorithms, genetic based power system stabilizer, power system stabilizer

Manisha Dubey; Nikos E. Mastorakis

2009-07-01T23:59:59.000Z

300

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets  

Science Conference Proceedings (OSTI)

The Hybrid Automata Stochastic Logic (HASL) has been recently defined as a flexible way to express classical performance measures as well as more complex, path-based ones (generically called "HASL formulas"). The considered paths are executions of Generalized ... Keywords: generalized stochastic petri nets, hybrid automata stochastic logic, simulation-based verification, stochastic symmetric nets

Elvio Gilberto Amparore, Benoit Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

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.


301

Capture of evidence for summarization: an application of enhanced subjective logic  

Science Conference Proceedings (OSTI)

In this paper, we present a method to generate an extractive summary from a single document using subjective logic The idea behind our approach is to consider words and their co-occurrences between sentences in a document as evidence of their relatedness ... Keywords: events, evidence, information extraction, opinions, subjective logic, summarization

Sukanya Manna; B. Sumudu U. Mendis; Tom Gedeon

2010-06-01T23:59:59.000Z

302

Logic programming in the context of multiparadigm programming: the Oz experience  

Science Conference Proceedings (OSTI)

Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) ... Keywords: Oz, Prolog, concurrent constraint programming, encapsulated search, history, language design, multiparadigm programming, software development

Peter Van Roy; Per Brand; Denys Duchier; Seif Haridi; Christian Schulte; Martin Henz

2003-11-01T23:59:59.000Z

303

Speed control of DC motor based on neural net and fuzzy logic  

Science Conference Proceedings (OSTI)

This paper presented the speed control of DC motor based on neural net and fuzzy logic. To bypass the difficulties caused by system constraints and modelling uncertainties of the speed control of DC motor a neural network approach for on-line speed control ... Keywords: DC motor, fuzzy logic, neural network, speed control

Zahra Moravej

2005-09-01T23:59:59.000Z

304

Design issues in low-voltage high-speed current-mode logic buffers  

Science Conference Proceedings (OSTI)

A current-mode logic (CML) buffer is based on a simple differential circuit. This paper investigates important problems involved in the design of a CML buffer as well as a chain of tapered CML buffers. A new design procedure to systematically design ... Keywords: VLSI, current-mode logic, high-speed, integrated circuit, noise

Payam Heydari

2003-04-01T23:59:59.000Z

305

Using Description Logics for the Provision of Context-Driven Content Adaptation Services  

Science Conference Proceedings (OSTI)

This article presents our design and development of a description logics-based planner for providing contextdriven content adaptation services. This approach dynamically transforms requested Web content into a proper format conforming to receiving contexts ... Keywords: Content Adaptation, Context-Driven, Description Logics, Mobile Internet

Stephen J.H. Yang; Jia Zhang; Jeff J.S. Huang; Jeffrey J.P. Tsai

2010-01-01T23:59:59.000Z

306

A fuzzy logic based system for heavy metals loaded wastewaters monitoring  

Science Conference Proceedings (OSTI)

The paper presents a fuzzy logic based system for wastewater quality monitoring with the purpose of attenuating the environmental impact of the heavy metals loaded wastewaters. The proposed method offers an improvement over the traditionally modelling ... Keywords: environmental indices, fuzzy logic, fuzzy rules, wastewater quality monitoring

Daniel Dunea; Mihaela Oprea

2010-04-01T23:59:59.000Z

307

Constructing a Climate Change Logic: An Institutional Perspective on the “Tragedy of the Commons”  

Science Conference Proceedings (OSTI)

Despite increasing interest in transnational fields, transnational commons have received little attention. In contrast to economic models of commons, which argue that commons occur naturally and are prone to collective inaction and tragedy, we introduce ... Keywords: climate change, climate policy, frames, global commons, governance, hybrid logics, institutional logics, institutional theory, institutionalization, mechanisms, qualitative research, social construction, transnational commons, transnational fields

Shahzad Shaz Ansari; Frank Wijen; Barbara Gray

2013-07-01T23:59:59.000Z

308

f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group  

Science Conference Proceedings (OSTI)

To satisfy the need of representing and reasoning with fuzzy knowledge and fuzzy data information in the context of the Semantic Web, an expressive fuzzy Description Logic (DL) named f-SROIQ(G) is proposed in this paper. The fuzzy DL f-SROIQ(G) ... Keywords: f-SROIQ(G), fuzzy data type group, fuzzy description logic

Li Yan; Fu Zhang; Z. M. Ma

2012-03-01T23:59:59.000Z

309

Creating a Physical Standby Database........................................ 13 Creating a Logical Standby Database.......................................... 13  

E-Print Network (OSTI)

Failing Over to a Local Standby Database................................... 14 Switching Over to a Local Standby Database.............................. 15 Upgrading Oracle Database with a Logical Standby Database.... 16 Upgrading Oracle Database with a Transient Logical Standby.... 17 Testing with a Physical Standby Database...................................... 19

Oracle Data Guard; Operational Procedures; Peoplesoft Multi-pillar Environments

2010-01-01T23:59:59.000Z

310

Development of software using fuzzy logic to predict erosive wear in slurry pipeline system  

Science Conference Proceedings (OSTI)

The phenomenon of wear is a major challenge in transportation through slurry pipeline system. A predictive software tool has been devised using Fuzzy Logic for predicting the erosive wear rate in slurry pipeline system. It is based on published experimental ... Keywords: Java, erosive wear, fuzzy logic, slurry pipeline system, software

Rajat Gupta; Bikramjit Chowdhury; Ambarish Kapil Barpujari; Jnandeep Borbarua

2008-05-01T23:59:59.000Z

311

Investigating finite models of non-classical logics with relation algebra and RELVIEW  

Science Conference Proceedings (OSTI)

In computer science, scenarios with interacting agents are often developed using modal logic. We show how to interpret modal logic of knowledge in relation algebra. This allows the use of the RelView tool for the purpose of investigating finite models ...

Rudolf Berghammer; Renate A. Schmidt

2006-01-01T23:59:59.000Z

312

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

Paris-Sud XI, Université de

313

Reducing Energy Usage of NULL Convention Logic Circuits using NULL Cycle Reduction  

E-Print Network (OSTI)

in approximately 25% overall lower energy usage. Keywords: asynchronous circuits; NULL Convention Logic (NCL); NULLReducing Energy Usage of NULL Convention Logic Circuits using NULL Cycle Reduction Combined with Supply Voltage Scaling Brett Sparkman and Scott C. Smith Department of Electrical Engineering, University

Smith, Scott C.

314

Novel universal threshold logic gate based on RTD and its application  

Science Conference Proceedings (OSTI)

Resonant tunneling diodes (RTDs) are receiving much attention because of their high-speed switching capability and functional versatility. Due to the negative differential resistance exhibited by RTDs, great functionality with a single gate can be achieved. ... Keywords: Monostable-bistable logic element (MOBILE), Resonant tunneling diode (RTD), Spectral technology, Threshold logic

Yi Wei; Jizhong Shen

2011-06-01T23:59:59.000Z

315

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

Science Conference Proceedings (OSTI)

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

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

2010-03-01T23:59:59.000Z

316

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

Science Conference Proceedings (OSTI)

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

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

2009-11-01T23:59:59.000Z

317

Short communication: Reasoning with part-part relations in a description logic  

Science Conference Proceedings (OSTI)

In this paper, we propose an extension of the SROIQ description logic (DL) in order to support part-part relations among concepts in knowledge representation. The proposed extension introduces a conjunction of a pair of role inclusion axioms (RIAs) and ... Keywords: Description logic, Manufacturing, Ontology, Part-part relation, Tableau algorithm

Nenad Krdavac; Dragan Gaševi?

2011-03-01T23:59:59.000Z

318

Issues In Natural Language Access To Databases From A Logic Programming Perspective  

E-Print Network (OSTI)

I shall discuss issues in natural language (NL) access to databases in the light of an experimental NL question-answering system, Chat, which I wrote with Fernando Perelra at Edinburgh University, and which is described more fully elsewhere [8] [6] [5]. Our approach was strongly influenced by the work of Alain Colmerauer [2] and Veronlca Dahl [3] at Marseille University. Chat processes a NL question in three main stages: translation planning execution English .... > logic .... > Prolog .... > answer corresponding roughly to: "What does the question mean?", "How shall I answer it?", "What is the answer?". The meaning of a NL question, and the database of information about the application domain, are both represented as statements in an extension of a subset of first-order logic, which we call "definite closed world" (DCW) logic. This logic is a subset of first-order logic, in that it admits only "definite" statements; uncertain information ("Either this or that") is no

David H. D. Warren

1982-01-01T23:59:59.000Z

319

Quantum logic as superbraids of entangled qubit world lines  

E-Print Network (OSTI)

Presented is a topological representation of quantum logic that views entangled qubit spacetime histories (or qubit world lines) as a generalized braid, referred to as a superbraid. The crossing of world lines is purely quantum in nature, most conveniently expressed analytically with ladder-operator-based quantum gates. At a crossing, independent world lines can become entangled. Complicated superbraids are systematically reduced by recursively applying novel quantum skein relations. If the superbraid is closed (e.g. representing quantum circuits with closed-loop feedback, quantum lattice gas algorithms, loop or vacuum diagrams in quantum field theory), then one can decompose the resulting superlink into an entangled superposition of classical links. In turn, for each member link, one can compute a link invariant, e.g. the Jones polynomial. Thus, a superlink possesses a unique link invariant expressed as an entangled superposition of classical link invariants.

Jeffrey Yepez

2009-07-30T23:59:59.000Z

320

Controlling of grid connected photovoltaic lighting system with fuzzy logic  

SciTech Connect

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

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

Fuzzy logic based operated device identification in power distribution systems  

E-Print Network (OSTI)

Fault location in distribution systems is a challenging task because of the lack of homogeneity in the system and due to uncertainity in the data used for estimating the faulted sections. Fuzzy logic has widely been applied for handling uncertainities in the input data and its processing. Fuzzy logic has also been used to model human expertise and decision making capabilites and to determine the possibility of a fault on a particular section. This thesis presents the design and implementation of an operated device identification algorithm to be used as one of four modules in an automated modular scheme for fault section estimation on radial distribution systems. This algorithm will be executed in tandem with the other fault location modules that form the second stage of a three stage scheme. The operated device identification algorithm can assign section fault possibilities representing the possibility of involvement of each section of a distribution feeder in an event. The operated device algorithm uses the recorded current waveform of an abnormal event, the time-current characteristics and settings of various protective devices on a feeder, and feeder topology information as inputs. The algorithm then assigns a fault possibility value to each section of a feeder using fuzzy rules and fuzzy membership functions to compare a fault event with protective device settings and characteristics. The section fault possibility values can be superimposed on the feeder map by color coding the sections of a feeder according to their fault possibility values. This helps in easy visualization of possibly faulted sections. A detailed illustration of the results obtained from running the algorithm is presented in this thesis. They prove the effectiveness of the algorithm in locating faults in a distribution feeder. The operated device identification module was tested using real data measured at feeder substations. The results obtained by the algorithm were verified with feedback given by the utilities that owned the feeders. The results obtained from the tests were encouraging.

Manivannan, Karthick Muthu

2002-01-01T23:59:59.000Z

322

Change in Knowledge Bases: Special Issue of Theory and Practice of Logic Programming - Submission deadline: July 31, 2001  

Science Conference Proceedings (OSTI)

Significant advances have recently been made in the area of updates of logic programs, and, more generally, updates of knowledge bases and their applications. Accordingly, the journal Theory and Practice of Logic Programming has planned a special ...

Luís Moniz Pereira; Teodor Przymusinski

2001-03-01T23:59:59.000Z

323

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

E-Print Network (OSTI)

achieve all cost-effective energy efficiency. The final PAwith the “all cost- effective energy efficiency provisions”Benefits and Costs of Aggressive Energy Efficiency Programs

Cappers, Peter

2010-01-01T23:59:59.000Z

324

Reducing gain shifts in photomultiplier tubes  

SciTech Connect

A means is provided for reducing gain shifts in multiplier tubes due to varying event count rates. It includes means for limiting the number of cascaded, active dynodes of the multiplier tube to a predetermined number with the last of predetermined number of dynodes being the output terminal of the tube. This output is applied to an amplifier to make up for the gain sacrificed by not totally utilizing all available active stages of the tube. Further reduction is obtained by illuminating the predetermined number of dynodes with a light source of such intensity that noise appearing at the output dynode associated with the illumination is negligible.

Cohn, Charles E. (Clarendon Hills, IL)

1976-01-01T23:59:59.000Z

325

Pendulum Shifts, Context, Error, and Personal Accountability  

Science Conference Proceedings (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

326

Higgs Boson Property Shifts from Radion Mixing  

SciTech Connect

We discuss how mixing between the Standard Model Higgs boson, h, and the radion of the Randall-Sundrum model can lead to significant shifts in the expected properties of the Higgs boson. In particular we show that the total and partial decay widths of the Higgs, as well as the h {yields} gg branching fraction, can be substantially altered from their SM expectations, while the remaining branching fractions are modified less than {approx}< 5% for most of the parameter space volume. Precision measurements of Higgs boson properties at a Linear Collider are shown to probe a large region of the Randall-Sundrum model parameter space.

Rizzo, Thomas G.

2002-07-09T23:59:59.000Z

327

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

328

Learning of position-invariant object representation across attention shifts  

Science Conference Proceedings (OSTI)

Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by attention shifts. Training of the network is controlled by signals associated with ...

Muhua Li; James J. Clark

2004-05-01T23:59:59.000Z

329

PowerSHIFT Biofuels LLC | Open Energy Information  

Open Energy Info (EERE)

PowerSHIFT Biofuels LLC Jump to: navigation, search Name PowerSHIFT Biofuels LLC Place Wyoming Product Focused on biodiesel plants and power generation facilities in the US....

330

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

DOE Green Energy (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

331

Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic  

E-Print Network (OSTI)

Separation Logic is a non-classical logic used to verify pointer-intensive code. In this paper, however, we show that Separation Logic, along with its natural extensions, can also be used as a specification language for concurrent-system design. To do so, we express the behavior of three very different concurrent systems: a Subway, a Stopwatch, and a 2x2 Switch. The Subway is originally implemented in LUSTRE, the Stopwatch in Esterel, and the 2x2 Switch in Bluespec.

Daylight, Edgar G; Sergio, Davide; 10.4204/EPTCS.8.3

2009-01-01T23:59:59.000Z

332

Gating internal nodes to reduce power during scan shift  

Science Conference Proceedings (OSTI)

It is a common practice to gate a limited number of scan cells in order to reduce overall switching activity during shift, thereby, reducing the circuit's dynamic power consumption. In this paper, we propose a novel approach to reduce overall shift power ... Keywords: gating internal nodes, low power test, scan shift power reduction

Dheepakkumaran Jayaraman; Rajamani Sethuram; Spyros Tragoudas

2010-05-01T23:59:59.000Z

333

Omega-3 Oils: Applications in Functional FoodsChapter 11 Fish Oil and Aggression  

Science Conference Proceedings (OSTI)

Omega-3 Oils: Applications in Functional Foods Chapter 11 Fish Oil and Aggression Health Nutrition Biochemistry eChapters Health - Nutrition - Biochemistry 82DDA2AD6BB3EF2DB2699383666E37C6 AOCS Press Downloadable pdf

334

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

335

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

336

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

337

A Fuzzy Logic Framework for Integrating Multiple Learned Models  

SciTech Connect

The Artificial Intelligence field of Integrating Multiple Learned Models (IMLM) explores ways to combine results from sets of trained programs. Aroclor Interpretation is an ill-conditioned problem in which trained programs must operate in scenarios outside their training ranges because it is intractable to train them completely. Consequently, they fail in ways related to the scenarios. We developed a general-purpose IMLM solution, the Combiner, and applied it to Aroclor Interpretation. The Combiner's first step, Scenario Identification (M), learns rules from very sparse, synthetic training data consisting of results from a suite of trained programs called Methods. S1 produces fuzzy belief weights for each scenario by approximately matching the rules. The Combiner's second step, Aroclor Presence Detection (AP), classifies each of three Aroclors as present or absent in a sample. The third step, Aroclor Quantification (AQ), produces quantitative values for the concentration of each Aroclor in a sample. AP and AQ use automatically learned empirical biases for each of the Methods in each scenario. Through fuzzy logic, AP and AQ combine scenario weights, automatically learned biases for each of the Methods in each scenario, and Methods' results to determine results for a sample.

Bobi Kai Den Hartog

1999-03-01T23:59:59.000Z

338

About the logic of the prime number distribution  

E-Print Network (OSTI)

There are two basic number sequences which play a major role in the prime number distribution. The first Number Sequence SQ1 contains all prime numbers of the form 6n+5 and the second Number Sequence SQ2 contains all prime numbers of the form 6n+1. All existing prime numbers seem to be contained in these two number sequences, except of the prime numbers 2 and 3. Riemanns Zeta Function also seems to indicate, that there is a logical connection between the mentioned number sequences and the distribution of prime numbers. This connection is indicated by lines in the diagram of the Zeta Function, which are formed by the points s where the Zeta Function is real. Another key role in the distribution of the prime numbers plays the number 5 and its periodic occurrence in the two number sequences SQ1 and SQ2. All non-prime numbers in SQ1 and SQ2 are caused by recurrences of these two number sequences with increasing wave-lengths in themselves, in a similar fashion as Overtones (harmonics) or Undertones derive from a fundamental frequency. On the contrary prime numbers represent spots in these two basic Number Sequences SQ1 and SQ2 where there is no interference caused by these recurring number sequences. The distribution of the non-prime numbers and prime numbers can be described in a graphical way with a -Wave Model- (or Interference Model) -- see Table 2.

Harry K. Hahn

2008-01-28T23:59:59.000Z

339

FDNC: decidable non-monotonic disjunctive logic programs with function symbols  

Science Conference Proceedings (OSTI)

Current Answer Set Programming systems are built on nonmonotonic logic programs without function symbols; as well-known, they lead to high undecidability in general. However, function symbols are highly desirable for various applications, which challenges ...

Mantas Šimkus; Thomas Eiter

2007-10-01T23:59:59.000Z

340

A mechanically verified, sound and complete theorem prover for first order logic  

Science Conference Proceedings (OSTI)

We present a system of first order logic, together with soundness and completeness proofs wrt. standard first order semantics. Proofs are mechanised in Isabelle/HOL. Our definitions are computable, allowing us to derive an algorithm to test for first ...

Tom Ridge; James Margetson

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


341

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints  

Science Conference Proceedings (OSTI)

This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent's view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of ...

João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira

2001-12-01T23:59:59.000Z

342

Pattern driven lazy reduction: A unifying evaluation mechanism for functional and logic programs  

Science Conference Proceedings (OSTI)

A novel lazy evaluation mechanism, pattern-driven lazy reduction, is developed that serves as a unifying evaluation mechanism for both functional and logic programs. The reduction of a function call can be viewed as “semantically” ...

P. A. Subrahmanyam; J-H. You

1984-01-01T23:59:59.000Z

343

Development of constrained fuzzy logic for modeling biological regulatory networks and predicting contextual therapeutic effects  

E-Print Network (OSTI)

Upon exposure to environmental cues, protein modifications form a complex signaling network that dictates cellular response. In this thesis, we develop methods for using continuous logic-based models to aide our understanding ...

Morris, Melody K

2012-01-01T23:59:59.000Z

344

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.

345

Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic  

Science Conference Proceedings (OSTI)

Two criteria of decidability for axiomatic systems based on J.Lukasiewicz's three-valued logic are established. Keywords: Luk-consistent theory, Luk-decidable theory, Luk-theory, Lukcomplete theory, three-valued predicate

I. D. Zaslavsky

2007-07-01T23:59:59.000Z

346

Single event upsets in gallium arsenide pseudo-complementary MESFET logic  

SciTech Connect

An introduction to gallium arsenide (GaAs) Pseudo-Complementary MESFET Logic (PCML) circuits is presented. PCML was developed to reduce the sensitivity of high-speed GaAs logic to radiation-induced single event upsets (SEUs). Experiments for testing the single-event upset (SEU) sensitivity of GaAs PCML integrated circuits (ICs) are described. The results of the experiments are analyzed. This new type of high-speed, low-power, GaAs logic provides decreased sensitivity to SEUs compared to more traditional circuit designs such as Directly-Coupled FET Logic (DCFL). PCML is fully compatible with existing GaAs E/D MESFET fabrication processes, such as those commonly used to make DCFL.

Fouts, D.J.; Wolfe, K.; Van Dyk, S.E. [Naval Postgraduate School, Monterey, CA (United States). Dept. of Electrical and Computer Engineering; Weatherford, T.R. [SFA Inc., Landover, MD (United States); McMorrow, D.; Melinger, J.S.; Tran, L.H.; Campbell, A.B. [Naval Research Lab., Washington, DC (United States)

1995-12-01T23:59:59.000Z

347

Area temperature system monitoring and computing based on adaptive fuzzy logic in wireless sensor networks  

Science Conference Proceedings (OSTI)

The many subfields in the wireless sensor networking literature include data fusion, data aggregation, remote environmental monitoring, sensing (temperature, pressure speed) and various military applications. The distance between sensor nodes can be ... Keywords: Fuzzy logic, Monitoring, RSSI, Temperature, WSN

Ing-Jiunn Su; Chia-Chih Tsai; Wen-Tsai Sung

2012-05-01T23:59:59.000Z

348

Pitch Angle Control of Variable Low Rated Speed Wind Turbine Using Fuzzy Logic Control  

E-Print Network (OSTI)

Abstract — Pitch angle control of wind turbine has been used widely to reduce torque and output power variation in high rated wind speed areas. It is a challenge to maximize available energy in the low rated wind speed areas. In this paper, a wind turbine prototype with a pitch angle control based on fuzzy logic to maximize the output power is built and demonstrated. In the varying low rated wind speed of 4-6 m/s, the use of fuzzy logic controller can maximize the average output power of 14.5 watt compared to 14.0 watt at a fixed pitch angle of the blade. Implementation of pitch angle fuzzy logic-based control to the wind turbine is suitable for the low rated wind speed areas. Index Terms — low rated wind speed areas, pitch angle control, fuzzy logic, wind turbine. T I.

A. Musyafa; A. Harika; I. M. Y. Negara; I. Rob

2010-01-01T23:59:59.000Z

349

Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting  

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

7: November 1, 7: November 1, 2010 Sales Shifting from Light Trucks to Cars to someone by E-mail Share Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting from Light Trucks to Cars on Facebook Tweet about Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting from Light Trucks to Cars on Twitter Bookmark Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting from Light Trucks to Cars on Google Bookmark Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting from Light Trucks to Cars on Delicious Rank Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting from Light Trucks to Cars on Digg Find More places to share Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting from Light Trucks to Cars on AddThis.com...

350

Waste Logic™ Liquid Waste Manager (WL-LWM) Software, Version 2.0  

Science Conference Proceedings (OSTI)

In response to continuing industry efforts to reduce operating expenditures, EPRI developed the Waste Logic&trade: Liquid Waste Manager code to analyze costs associated with liquid waste processing and the disposition of its resultant solid waste. EPRI's Waste Logic: Liquid Waste Manager software for windows-based PC computers provides a detailed economic and performance view of liquid waste processing activities. The software will help nuclear utilities evaluate the costs associated with liquid radwaste...

2002-06-05T23:59:59.000Z

351

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing  

E-Print Network (OSTI)

Timed temporal logics exhibit a bewildering diversity of operators and the resulting decidability and expressiveness properties also vary considerably. We study the expressive powers of timed logics TPTL[U,S] and MTL[U,S] as well as their several fragments. Extending the LTL EF games of Etessami and Wilke, we define MTL Ehrenfeucht-Fraisse games on a pair of timed words. Using the associated EF theorem we show that, expressively, the timed logics BoundedMTL[U,S], MTL[F,P] and MITL[U,S] (respectively incorporating the restrictions of boundedness, unary modalities and non-punctuality), are all pairwise incomparable. Going to more expressive logics, we show that MTL[U,S] is expressively incomparable with the unary freeze logic TPTL[F,P] extending the result of Bouyer et al. Finally, we consider the deterministic freeze logic TTL[X,Y], which is expressively equivalent to partially ordered 2-way deterministic timed automata (po2DTA). As our second main result, we show by explicit reductions that TTL[X,Y] lies stri...

Pandya, Paritosh K

2011-01-01T23:59:59.000Z

352

The logic behind thick, liquid-walled, fusion concepts  

Science Conference Proceedings (OSTI)

It may be possible to surround the region where fusion reactions are taking place with a neutronically thick liquid blanket which has penetrations that allow only a few tenths of a percent of the neutrons to leak out. Even these neutrons can be attenuated by adding an accurately placed liquid or solid near the target to shadow-shield the beam ports from line-of-sight neutrons. The logic of such designs are discussed and their evolution is described with examples applied to both magnetic and inertial fusion (HYLIFE-II). These designs with liquid protection are self healing when exposed to pulsed loading and have a number of advantages-over the usual designs with solid first walls. For example, the liquid-protected solid components will last the life of the plant, and therefore the capacity factor is estimated to be approximately 10% higher than for the non-liquid-walled blankets, because no blanket replacement shutdowns are required. The component replacement, operations, and maintenance costs might be half the usual value because no blanket change-out costs or accompanying facilities are required. These combined savings might lower the cost of electricity by 20%. Nuclear-grade construction should not be needed, largely because the liquid attenuates neutrons and results in less activation of materials. Upon decommissioning, the reactor materials should qualify for disposal by shallow burial even when constructed of ordinary 304 stainless steel. The need for a high-intensity 14-MeV neutron test facility to develop first-wall materials is avoided or greatly reduced, saving billions of development dollars. Flowing molten Li, the molten salt Flibe (Li{sub 2}BeF{sub 4}), and molten Li{sub l7}Pb{sub 83} have been considered. An advantage of molten salt is that it will not burn and has a low tritium solubility and therefore low tritium inventory.

Moir, R.W.

1994-04-15T23:59:59.000Z

353

Atomic clocks with suppressed blackbody radiation shift  

E-Print Network (OSTI)

We develop a nonstandard concept of atomic clocks where the blackbody radiation shift (BBRS) and its temperature fluctuations can be dramatically suppressed (by one to three orders of magnitude) independent of the environmental temperature. The suppression is based on the fact that in a system with two accessible clock transitions (with frequencies v1 and v2) which are exposed to the same thermal environment, there exists a "synthetic" frequency v_{syn} (v1-e12 v2) largely immune to the BBRS. As an example, it is shown that in the case of ion 171Yb+ it is possible to create a clock in which the BBRS can be suppressed to the fractional level of 10^{-18} in a broad interval near room temperature (300\\pm 15 K). We also propose a realization of our method with the use of an optical frequency comb generator stabilized to both frequencies v1 and v2. Here the frequency v_{syn} is generated as one of the components of the comb spectrum and can be used as an atomic standard.

V. I. Yudin; A. V. Taichenachev; M. V. Okhapkin; S. N. Bagayev; Chr. Tamm; E. Peik; N. Huntemann; T. E. Mehlstaubler; F. Riehle

2011-03-03T23:59:59.000Z

354

Advanced Water-Gas Shift Membrane Reactor  

DOE Green Energy (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

355

Zero-Point Energy and the Lamb Shift  

Science Conference Proceedings (OSTI)

A suggestion by Feynman that the Lamb-shift energy can be obtained from the changes in zero-point energy due to the presence of the atoms involved is worked through in detail for the Bethe nonrelativistic contribution to the energy shift. The self energy of a free electron is obtained in the same way and is equivalent to the state independent shift due to the e 2 A 2 /2m 2 term in the normal perturbation methods.

Edwin A. Power

1966-01-01T23:59:59.000Z

356

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

SciTech Connect

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

357

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

SciTech Connect

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

358

Microsoft Word - Evaluation of Alternate Water Gas Shift for...  

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

Evaluation of Alternate Water Gas Shift Configurations for IGCC Systems August 5, 2009 DOENETL-401080509 Disclaimer This report was prepared as an account of work sponsored by an...

359

The Shifting Landscape of Ratepayer-Funded Energy Efficiency...  

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

LAWRENCE BERKELEY NATIONAL LABORATORY The Shifting Landscape of Ratepayer- Funded Energy Efficiency in the U.S. Galen Barbose, Charles Goldman, and Jeff Schlegel Environmental...

360

Aggressive Environments  

Science Conference Proceedings (OSTI)

Table 5   Selected corrosion fatigue crack growth data for steels...Yes 4 50crude oil No 1 10crude oil Yes 5 25crude No 20 10crude Yes 20 25<Î? K <70 90 9Ni-4Co-0.25C 3 % NaCl No 1 50<Î? K <100 95 12Ni (1240...

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

VIEWLS Final recommendations report Shift Gear to Biofuels  

E-Print Network (OSTI)

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 the market introduction costs of biofuels when entering the transport fuels market. Having spent most

362

Reducing the beta-shift in domain wall fermion simulations  

E-Print Network (OSTI)

The beta-shift induced from dynamical domain wall quarks leads to increased roughness of the gauge field, thus reversing the effect of smoothing from the gauge action improvement. By exploiting the relation of overlap and domain wall fermions in greater detail,we propose an algorithm which reduces the beta-shift to the level of dynamical overlap fermions.

Alban Allkoci; Artan Borici

2006-01-24T23:59:59.000Z

363

GreenShift Industrial Design Corporation GIDC | Open Energy Information  

Open Energy Info (EERE)

Industrial Design Corporation GIDC Industrial Design Corporation GIDC Jump to: navigation, search Name GreenShift Industrial Design Corporation (GIDC) Place Mount Arlington, New Jersey Zip NJ 07856 Product Focused on the engineering and marketing of green innovations and processes that enhance manufacturing efficiencies, improve resource utilization and minimize waste. References GreenShift Industrial Design Corporation (GIDC)[1] LinkedIn Connections CrunchBase Profile No CrunchBase profile. Create one now! This article is a stub. You can help OpenEI by expanding it. GreenShift Industrial Design Corporation (GIDC) is a company located in Mount Arlington, New Jersey . References ↑ "GreenShift Industrial Design Corporation (GIDC)" Retrieved from "http://en.openei.org/w/index.php?title=GreenShift_Industrial_Design_Corporation_GIDC&oldid=346110"

364

Automatic Design of Binary and Multiple-Valued Logic Gates on RTD Series  

E-Print Network (OSTI)

In this paper, we contribute to the binary and multiplevalued applications of resonant tunneling devices (RTDs). We propose a method of systematic design of physical parameters of RTD based logic. From the abstraction of their behavior, we model the design space as a handful of systems of linear inequalities generated for a given circuit topology and an arbitrary logic function. Any valid solution reflects the physical parameters assignment that implements the function given. We solve these systems using off-theshelf optimization tool and verify the results using SystemC based RTD circuit model. Our simulations confirm, that the numerical solutions are valid parameter assignments.

Krzysztof S. Berezowski; et al.

2005-01-01T23:59:59.000Z

365

Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic  

Science Conference Proceedings (OSTI)

In his logical papers, Leo Esakia studied corresponding ordered topological spaces and order-preserving mappings. Similar spaces and mappings appear in many other application areas such the analysis of causality in space-time. It is known that under ... Keywords: logic, open and closed orders, order-preserving mappings, ordered topological space, space-time geometry

Francisco Zapata; Vladik Kreinovich

2012-04-01T23:59:59.000Z

366

SDMSM 2.1 - Waste Logic Solid and Decommissioning Multi-Site Manager, Version 2.1  

Science Conference Proceedings (OSTI)

The Waste Logic Solid and Decommissioning Multi-Site Manager (SDMSM) software, Version 2.1, combines several existing Waste Logic programs into a single software package offering comprehensive waste management cost and performance input and analysis for multiple nuclear stations.

2006-06-27T23:59:59.000Z

367

Flow equivalence of shifts of finite type via positive factorizations  

E-Print Network (OSTI)

Together with M. Boyle and D. Huang (2000), this paper gives an alternate development of the Huang classification of shifts of finite type up to flow equivalence, and provides additionalfunctorialinformation, used to analyze the action of the mapping class group of the mapping torus of a shift of finite type on the “isotopy futures” group, which is introduced here. For a shift of finite type ?A, this group is isomorphic to the Bowen-Franks group cok(I ?A). The action on the isotopy futures group of a subshift is the flow equivalence analogue of the dimension group representation.

Mike Boyle

2002-01-01T23:59:59.000Z

368

Comparison of second-order impact line shifts  

DOE Green Energy (OSTI)

The second-order impact shifts in hydrogen obtained from the Baranger formalism are compared with those from a kinetic theory approach. The resulting {Delta}{ital n}=0 contributions to the shift from the two theories are shown to be identical, except for the neglect of electron-electron correlations in the Baranger formalism. It is also shown that some care is required in taking the classical limit for the perturbing electrons, or else the shift from {Delta}{ital n}=0 interactions vanishes.

Griem, H.R. (Laboratory for Plasma Research, University of Maryland, College Park, Maryland (USA)); Iglesias, C.A.; Boercker, D.B. (Lawrence Livermore National Laboratory, University of California, Livermore, California (USA))

1991-10-15T23:59:59.000Z

369

A complex social system simulation using type-2 fuzzy logic and multiagent system  

Science Conference Proceedings (OSTI)

The need of better representation of complex systems, such social systems, has made that the use of new simulation techniques are increasingly accepted, one of these accepted techniques are multi-agent systems. In addition to represent the uncertainty ... Keywords: fuzzy logic, intelligent organizations, social simulations, uncertainty

Dora-Luz Flores; Manuel Castañón-Puga; Carelia Gaxiola-Pacheco

2011-11-01T23:59:59.000Z

370

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

Science Conference Proceedings (OSTI)

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

Paritosh K. Pandya; Mathai Joseph

1991-06-01T23:59:59.000Z

371

CSP Agenda C-4(b) Part 2 NMFS's Determination of Logical Outgrowth  

E-Print Network (OSTI)

3/14/2012 CSP Agenda C-4(b) Part 2 NMFS's Determination of Logical Outgrowth For Potential Changes) request for analysis of charter management measures not included in the CSP Preferred Alternative (Part 4 published on July 22, 2011 (76 FR 44156). The proposed CSP would (1) establish sector allocations

372

Fully automated smart wireless frost prediction and protection system using a fuzzy logic controller  

Science Conference Proceedings (OSTI)

A smart fuzzy logic controller system is presented to protect the crops from frost damage that occurs every year. The system is a fully automated system to predict the frost and to protect the crops using wireless sensor network technology. The sensors ...

Shadi A. Alboon; Amin T. Alqudah; Hussein R. Al-Zoubi; Abedalgany A. Athamneh

2012-09-01T23:59:59.000Z

373

Design of robust fuzzy logic controllers for complex non-linear processes with time delay  

Science Conference Proceedings (OSTI)

The progress of industrial applications of fuzzy logic controllers (FLCs) for high performance control of complex, non-linear, time-varying processes, sets demands for their design - to be laid on theoretical grounds, to be general and simple, to bind ... Keywords: PI-like FLC design, frequency domain, robust performance, time delay, tuning algorithm

Snejana Yordanova

2009-02-01T23:59:59.000Z

374

An evaluation of the Chandy-Misra-Bryant algorithm for digital logic simulation  

Science Conference Proceedings (OSTI)

We explore the suitability of the Chandy-Misra-Bryant (CMB) algorithm for the domain of digital logic simulation. Our evaluation is based on results for six realistic benchmark circuits, one of them being the R6000 microprocessor form MIPS. A quantitative ...

Larry Soulé; Anoop Gupta

1991-10-01T23:59:59.000Z

375

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks  

Science Conference Proceedings (OSTI)

Alarm correlation is a necessity in large mobile phone networks, where the alarm bursts resulting from severe failures would otherwise overload the network operators. In this paper, we describe how to realize alarm-correlation in cellular phone networks ... Keywords: alarm-correlation, diagnosis, logic programming

C. V. Damásio; P. Fröhlich; W. Nejdl; L. M. Pereira; M. Schroeder

2002-07-01T23:59:59.000Z

376

Analyzing Combined Impacts of Parameter Variations and BTI in Nano-scale Logical Gates  

E-Print Network (OSTI)

Analyzing Combined Impacts of Parameter Variations and BTI in Nano-scale Logical Gates Seyab Khan conclusions. 2 Background and Analysis Framework Fig. 1(a) shows the threshold voltage increment (Vth) due variation, delay model, and presents the analysis framework. First MEDIAN Workshop 2012 7 #12;2 Seyab Khan

Hamdioui, Said

377

SAT(ID): satisfiability of propositional logic extended with inductive definitions  

Science Conference Proceedings (OSTI)

We investigate the satisfiability problem, SAT(ID), of an extension of propositional logic with inductive definitions. We demonstrate how to extend existing SAT solvers to become SAT(ID) solvers, and provide an implementation on top of MiniSat. We also ...

Maarten Mariën; Johan Wittocx; Marc Denecker; Maurice Bruynooghe

2008-05-01T23:59:59.000Z

378

A study on the effect of particle size on coal flotation kinetics using fuzzy logic  

Science Conference Proceedings (OSTI)

This paper investigates the effect of particle size on the flotation kinetics of coal in a batch flotation cell. The relationship between flotation kinetics constant and theoretical flotation recovery with particle size was estimated with nonlinear equations. ... Keywords: Coal, Flotation kinetics, Fuzzy logic, Modeling

Emad Abkhoshk; Mohammad Kor; Bahram Rezai

2010-07-01T23:59:59.000Z

379

A survey-based type-2 fuzzy logic system for energy management in hybrid electrical vehicles  

Science Conference Proceedings (OSTI)

Hybrid electrical vehicles combine two or more energy sources (at least one electrical) to benefit from their different characteristics regarding autonomy, reversibility and dynamic response. Energy management consists in discovering an energy distribution ... Keywords: Energy management, Group decision making, Hybrid electrical vehicles, Linguistic modelling, Survey-based fuzzy logic systems, Type-2 fuzzy sets

Javier Solano Martínez; Robert I. John; Daniel Hissel; Marie-Cécile Péra

2012-05-01T23:59:59.000Z

380

Fuzzy logic hardware implementation for pneumatic control of one DOF pneumatic robot  

Science Conference Proceedings (OSTI)

The pneumatic actuators can be a useful way to control the position of a manipulator robot, instead of an electrical actuator. The major problem with pneumatic actuators is the compressibility of the air, due to the fact that the mathematical model is ... Keywords: FPGA, fuzzy logic, hardware, pneumatic, robot

Juan-Manuel Ramos-Arreguin; Emmanuel Guillen-Garcia; Sandra Canchola-Magdaleno; Jesus-Carlos Pedraza-Ortega; Efren Gorrostieta-Hurtado; Marco-Antonio Aceves-Fernández; Carlos-Alberto Ramos-Arreguin

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


381

Automated Cloud Classification of Global AVHRR Data Using a Fuzzy Logic Approach  

Science Conference Proceedings (OSTI)

A fuzzy logic classification (FLC) methodology is proposed to achieve the two goals of this paper: 1) to discriminate between clear sky and clouds in a 32 × 32 pixel array, or sample, of 1.1-km Advanced Very High Resolution Radiometer (AVHRR) ...

Bryan A. Baum; Vasanth Tovinkere; Jay Titlow; Ronald M. Welch

1997-11-01T23:59:59.000Z

382

Formal evaluation of the robustness of dual-rail logic against DPA attacks  

Science Conference Proceedings (OSTI)

Based on a first order model of the switching current flowing in CMOS cell, an investigation of the robustness against DPA of dual-rail logic is carried out. The result of this investigation, performed on 130nm process, is a formal identification of ...

Alin Razafindraibe; Michel Robert; Philippe Maurine

2006-09-01T23:59:59.000Z

383

Real-time optimization of a cascaded reservoirs hydropower plant based on fuzzy logic  

Science Conference Proceedings (OSTI)

One of the important industrial areas that involve complex nonlinear dynamics, control problems, and difficult optimization tasks is that of cascaded reservoirs hydropower plants. For the purpose of minimizing the non-hydraulic power production expenses ... Keywords: cascaded reservoirs, fuzzy logic, hydropower, nonlinear control, optimization

M. Mahmoud; K. Dutton

2007-03-01T23:59:59.000Z

384

Fuzzy Logic Controller for Enhancement of Transient Stability in Multi Machine AC-DC Power Systems  

Science Conference Proceedings (OSTI)

This paper discusses the impact of HVDC on Power System Stability and proposes a new type of control mechanism based on Fuzzy set theory to augment dynamic performance of a multi-machine power system. To have good damping characteristics over a wide ... Keywords: HVDC, Power System Stability, Multi-Machine Stability, Fuzzy Logic Controller

M. Uma Vani; P. V. Ramana Rao

2010-11-01T23:59:59.000Z

385

Broadened answer extraction of QA system capability using expanded notion of logical-linguistic approach  

Science Conference Proceedings (OSTI)

The idea of this paper is to discuss the capability of question answering (QA) system by simulating understanding with respect to read a short passage and answering questions pertaining to it. Currently, passage understanding task received increased ... Keywords: logical linguistic, natural language understanding, question answering system

A. K. Rabiah; T. M. T. Sembok; B. Z. Halimah

2009-04-01T23:59:59.000Z

386

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics  

Science Conference Proceedings (OSTI)

Java+ITP is an experimental tool for the verification of properties of a sequential imperative subset of the Java language. It is based on an algebraic continuation passing style (CPS) semantics of this fragment as an equational theory in Maude. It supports ... Keywords: Hoare logic, Java, algebraic semantics, program verification

Ralf Sasse; José Meseguer

2007-07-01T23:59:59.000Z

387

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic  

Science Conference Proceedings (OSTI)

In this paper we present and analyze a novel algorithm to synthesize controllers enforcing linear temporal logic specifications on discrete-time linear systems. The central step within this approach is the computation of the maximal controlled invariant ... Keywords: controller synthesis, robustness

Matthias Rungger; Manuel Mazo, Jr.; Paulo Tabuada

2013-04-01T23:59:59.000Z

388

Mobile crane safe operation approach to prevent electrocution using fuzzy-set logic models  

Science Conference Proceedings (OSTI)

Mobile cranes are involved in over 90% of crane accidents because their mobility increases risks over those faced by stationary cranes. Contact between crane and power lines is the most common cause of fatalities, with approximately 40% of all fatalities ... Keywords: Construction accident, Construction safety, Crane, Electrocution, Fuzzy logic, Fuzzy set, Overhead power line

H. M. Al-Humaidi; F. Hadipriono Tan

2009-08-01T23:59:59.000Z

389

DOI 10.1007/s11083-011-9224-2 Modal Logics of Stone Spaces  

E-Print Network (OSTI)

Topological semantics of modal logic was first developed by McKinsey and Tarski [13], who interpreted modal, the Cantor space C is the unique dense-in-itself metriz- able Stone space. The result of McKinsey and Tarski of countable Boolean algebras and of complete Boolean algebras. The original result of McKinsey and Tarski

Harding, John

390

The McKinseyLemmon logic is barely canonical Robert Goldblatt and Ian Hodkinson  

E-Print Network (OSTI)

of axioms generalising McKinsey's formula. We prove that the class of all frames for this logic axioms, elementary class, inverse limit. 1 Introduction Our story starts with McKinsey's formula,1 M : p class of frames [6], and is not canonical [7]. M is 1 McKinsey actually studied (in [18]) the system S4

Goldblatt, Rob

391

Application of Fuzzy Logic Control Approach in a Microcontroller-Based Sun Tracking System  

Science Conference Proceedings (OSTI)

The efficiency of a solar panel is related to the amount of solar energy it acquired, so it is necessary for the panel to track the sun’s position accurately. A microcontroller-based sun tracking system is proposed in this paper, which is comprised ... Keywords: sun tracking, solar panel, microcontroller, fuzzy logic control

Zhou Yan; Zhu Jiaxing

2010-08-01T23:59:59.000Z

392

Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations  

Science Conference Proceedings (OSTI)

Ambient Intelligence systems need to represent information about their environment and recognize relevant situations to perform appropriate actions proactively and autonomously. The context information gathered by these systems comes with imperfections ... Keywords: OWL DL, Situation-awareness, description logics, modeling context information, reasoning services

Thomas Springer; Anni-Yasmin Turhan

2009-08-01T23:59:59.000Z

393

The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers  

E-Print Network (OSTI)

we present the fuzzy description logic ALCF H introduced, where primitive concepts are modified by means of hedges taken from hedge al- gebras. ALCF H is strictly more expressive than Fuzzy-ALC defined procedure for the unsatisfiability problem in ALCF H , and discuss knowledge base expansion when using

Hoelldobler, Steffen

394

A Temporal Description Logic Based Access Control Model for Expressing History Constrained Policies in Semantic Web  

Science Conference Proceedings (OSTI)

An access control model for Semantic Web should be compatible with the corresponding semantic model. The access control procedure(s) should also take the semantic relationships between the entities (specified as ontologies) into account. Considering ... Keywords: Access Control, Description Logic, Semantic Web, History of Accesses

Fathieh Faghih; Morteza Amini; Rasool Jalili

2009-07-01T23:59:59.000Z

395

A MPPT Control Method of PV System Based on Fuzzy Logic and Particle Swarm Optimization  

Science Conference Proceedings (OSTI)

In the view of the fact that if crystalline silicon cell's photovoltaic system used for power output can not be controlled, it is hard to grantee the maximum power output, which will cause energy dissipation and high cost. Regarding the PV inverter system ... Keywords: MPPT, Fuzzy Logic, Particle Swarm Optimization

Yufeng Hu; Jun Liu; Bin Liu

2012-01-01T23:59:59.000Z

396

Making a Chemical Application Record in FarmLogic Contact Information  

E-Print Network (OSTI)

Making a Chemical Application Record in FarmLogic Contact Information ARDEC: Chris Fryrear) William.Folsom@colostate.edu Obtain Username and Password In order to make a chemical application and password (both must contain a minimum of 6 characters). Forward List of Chemicals to Chris Fryrear

397

Using On-Chip Configurable Logic to Reduce Embedded System Software Energy Greg Stitt1  

E-Print Network (OSTI)

Using On-Chip Configurable Logic to Reduce Embedded System Software Energy Greg Stitt1 , Brian We examine the energy savings possible by re-mapping critical software loops from a microprocessor that reduced software energy is an additional benefit, making such chips even more useful. We find critical

Vahid, Frank

398

Energy-Delay Tradeoffs in Combinational Logic using Gate Sizing and Supply Voltage Optimization  

E-Print Network (OSTI)

Energy-Delay Tradeoffs in Combinational Logic using Gate Sizing and Supply Voltage Optimization savings to the energy profile of a circuit. These savings are obtained by using gate sizing and supply of energy to delay is derived from a linear delay model extended to multiple supplies. The optimizations

Nikolic, Borivoje

399

A general framework for semantics-based bottom-up abstract interpretation of logic programs  

Science Conference Proceedings (OSTI)

The theory of abstract interpretation provides a formal framework to develop advanced dataflow analysis tools. The idea is to define a nonstandard semantics which is able to compute, in finite time, an approximated model of the program. In this paper, ... Keywords: abstract interpretation, logic programming, program analysis

Roberto Barbuti; Roberto Giacobazzi; Giorgio Levi

1993-01-01T23:59:59.000Z

400

Application of fuzzy logic for the integration of environmental criteria in ecodesign  

Science Conference Proceedings (OSTI)

The ecodesign of a product implies that different potential environmental problems of diverse nature must be considered, apart from the general design criteria (i.e., technical, functional, ergonomic, aesthetic or economical). In this sense, an ecodesign ... Keywords: Ecodesign tool, Ecological Footprint, Environmental Risk Assessment, Fuzzy logic, Life Cycle Assessment

Marta Herva; Amaya Franco-Uría; Eugenio F. Carrasco; Enrique Roca

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


401

Masking and Dual-rail Logic Don't Add Up Patrick Schaumont1  

E-Print Network (OSTI)

-consumption pattern and can be exploited in power analysis attacks. Third, the loading imbalance of dual-rail circuits is that the circuit switches between two complementary states with a different power profile. Earlier work has shown that the mask-bit value can be estimated from the power con- sumption profile, and that masked logic remains

Schaumont, Patrick

402

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming  

Science Conference Proceedings (OSTI)

We propose a new method to mitigate (identify and address) adverse interactions (drug-drug or drug-disease) that occur when a patient with comorbid diseases is managed according to two concurrently applied clinical practice guidelines (CPGs). A lack ... Keywords: Clinical decision support, Clinical practice guideline, Comorbid diseases, Constraint logic programming, Domain knowledge

Szymon Wilk; Wojtek Michalowski; Martin Michalowski; Ken Farion; Marisela Mainegra Hing; Subhra Mohapatra

2013-04-01T23:59:59.000Z

403

Wind speed modeling and prediction in wind farms using fuzzy logic  

Science Conference Proceedings (OSTI)

In this paper, the upcoming wind speed is forecasted using the stochastic characteristics of wind speed of previous years. The wind speed is estimated in the fuzzy inference system and simulated with the fuzzy logic. The simulation results illustrate ... Keywords: fuzzy, prediction, wind farm

Shahram Javadi; Zeinab Hojjatinia

2012-01-01T23:59:59.000Z

404

Physical and Logical Security Convergence: Powered By Enterprise Security Management: Powered By Enterprise Security Management  

Science Conference Proceedings (OSTI)

Government and companies have already invested hundreds of millions of dollars in the convergence of physical and logical security solutions, but there are no books on the topic.This book begins with an overall explanation of information security, ... Keywords: Computer Science, Security

Brian T. Contos; Steve Hunt; Colby Derodeff

2007-04-01T23:59:59.000Z

405

ACTLW - An action-based computation tree logic with unless operator  

Science Conference Proceedings (OSTI)

Model checkers for systems represented by labelled transition systems are not as extensively used as those for systems represented by Kripke structures. This is partially due to the lack of an elegant formal language for property specification which ... Keywords: Action-based temporal logic, Fixed point, Formal verification, Model checking, Mutual-exclusion algorithm

Robert Meolic; Tatjana Kapus; Zmago Brezo?nik

2008-03-01T23:59:59.000Z

406

A heuristic predictive logic controller applied to hybrid solar air conditioning plant  

Science Conference Proceedings (OSTI)

This paper shows the development of a heuristic predictive logic controller (HPLoC) applied to a solar air conditioning plant. The plant uses two energy sources, solar and gas, in order to warm up the water. The hot water feeds a single-effect absorption ...

Darine Zambrano; Winston García-Gabín; Eduardo F. Camacho

2007-04-01T23:59:59.000Z

407

Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection  

Science Conference Proceedings (OSTI)

We present a novel multiple-threshold circuit using resonant-tunneling diodes (RTDs). The logic operation is based on detecting a switching sequence in the RTD circuit. This scheme enables us to increase the number of threshold voltages by more than ... Keywords: Resonant-tunneling diode, Multiple-threshold, analog-to-digital converter

Takao Waho; Kazufumi Hattori; Kouji Honda

2000-05-01T23:59:59.000Z

408

Tile-based QCA design using majority-like logic primitives  

Science Conference Proceedings (OSTI)

The design of circuits and systems in Quantum-dot Cellular Automata (QCA) is still in infancy. The basic logic primitive in QCA is the majority voter (MV), that is not a universal function; so, inverters (INV) are also required. Blocks (referred to as ... Keywords: QCA, emerging technologies, processing-by-wire

J. Huang; M. Momenzadeh; L. Schiano; M. Ottavi; F. Lombardi

2005-10-01T23:59:59.000Z

409

A Fuzzy Logic Based Power Electronic System for Wind Energy Conversion Scheme  

Science Conference Proceedings (OSTI)

This paper used fuzzy logic theory to study the behavior of a simple pulse width modulated three phase voltage controlled VSI, which feeds a weak ac network with power produced from an offshore wind farm (WF) of induction generators. Its control system, ...

Lata Gidwani; Rajesh Kumar

2007-12-01T23:59:59.000Z

410

Unicast and multicast QoS routing with soft-constraint logic programming  

Science Conference Proceedings (OSTI)

We present a formal model to represent and solve the unicast/multicast routing problem in networks with quality-of-service (QoS) requirements. To attain this, first we translate the network adapting it to a weighted graph (unicast) or and-or ... Keywords: Constraints, Quality of Service (QoS), constraint logic programming (CLP), preferences, routing, soft constraints

Stefano Bistarelli; Ugo Montanari; Francesca Rossi; Francesco Santini

2010-10-01T23:59:59.000Z

411

Adaptive control of hydraulic shift actuation in an automatic transmission  

E-Print Network (OSTI)

A low-order dynamic model of a clutch for hydraulic control in an automatic transmission is developed by separating dynamics of the shift into four regions based on clutch piston position. The first three regions of the ...

Thornton, Sarah Marie

2013-01-01T23:59:59.000Z

412

Demand Shifting With Thermal Mass in Large Commercial Buildings...  

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

Demand Shifting With Thermal Mass in Large Commercial Buildings: Case Studies and Tools Speaker(s): Peng Xu Date: March 9, 2007 - 12:00pm Location: 90-3122 The idea of pre-cooling...

413

Higgs-induced spectroscopic shifts near strong gravity sources  

SciTech Connect

We explore the consequences of the mass generation due to the Higgs field in strong gravity astrophysical environments. The vacuum expectation value of the Higgs field is predicted to depend on the curvature of spacetime, potentially giving rise to peculiar spectroscopic shifts, named hereafter 'Higgs shifts'. Higgs shifts could be searched through dedicated multiwavelength and multispecies surveys with high spatial and spectral resolution near strong gravity sources such as Sagittarius A* or broad searches for signals due to primordial black holes. The possible absence of Higgs shifts in these surveys should provide limits to the coupling between the Higgs particle and the curvature of spacetime, a topic of interest for a recently proposed Higgs-driven inflationary model. We discuss some conceptual issues regarding the coexistence between the Higgs mechanism and gravity, especially for their different handling of fundamental and composite particles.

Onofrio, Roberto [Dipartimento di Fisica 'Galileo Galilei', Universita di Padova, Via Marzolo 8, Padova 35131 (Italy) and ITAMP, Harvard-Smithsonian Center for Astrophysics, 60 Garden Street, Cambridge, Massachusetts 02138 (United States)

2010-09-15T23:59:59.000Z

414

Molecular research suggests shift needed in how drugs are created  

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

Molecular research suggests shift needed in how drugs are created -Press: Release Number: PR-UIUC-05-2 -Source: University of Illinois at Urbana Champaign -Date issued: October 3,...

415

Shift Turnover and Log Keeping for Fossil Generating Stations  

Science Conference Proceedings (OSTI)

Decreases in staff productivity, lost generation, and adverse events are occurring in the industry as a result of less-than-effective communication during shift turnovers and log-keeping practices that do not provide sufficient information on plant and equipment status. The shift turnover and log-keeping practices observed at numerous fossil generating stations vary between best in the industry to ineffective, and most stations have had equipment failures and lost efficiencies as a result of less-than-ef...

2010-12-19T23:59:59.000Z

416

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

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

1994-09-01T23:59:59.000Z

417

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

DOE Green Energy (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

418

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

DOE Green Energy (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

419

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

420

Winds Shift for Wisconsin Company | Department of Energy  

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

Winds Shift for Wisconsin Company Winds Shift for Wisconsin Company Winds Shift for Wisconsin Company July 14, 2010 - 3:53pm Addthis Wind turbine generator nacelle enclosures and nosecones manufactured by Wausaukee Composites, Inc., at a wind farm in northern Illinois | Photo courtesy of Wausaukee Composites. Wind turbine generator nacelle enclosures and nosecones manufactured by Wausaukee Composites, Inc., at a wind farm in northern Illinois | Photo courtesy of Wausaukee Composites. Stephen Graff Former Writer & editor for Energy Empowers, EERE What are the key facts? Wausaukee Composites to reopen wind turbine parts facility in 2010. 150 jobs expected to be created. Plant will make nacelles for 1.5 MW to 3 MW turbines. A wind turbine parts facility in Cuba City, Wis., is getting another chance

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

Willis Lamb, Jr., the Hydrogen Atom, and the Lamb Shift  

Office of Scientific and Technical Information (OSTI)

Willis E. Lamb, Jr., the Hydrogen Atom, and the Lamb Shift Willis E. Lamb, Jr., the Hydrogen Atom, and the Lamb Shift Resources with Additional Information Willis E. Lamb, Jr., was awarded the 2000 National Medal of Science for "his towering contributions to classical and quantum theories of laser radiation and quantum optics, and to the proper interpretation of non-relativistic quantum mechanics. ... The National Medal of Science, established by Congress in 1959 and administered for the President by the National Science Foundation, is the nation's highest scientific honor." Willis E. Lamb, Jr. Courtesy W.E. Lamb, Jr. In 1955, Lamb won the Nobel Prize in Physics for his discoveries concerning "the fine structure of the hydrogen atom and discovery of a phenomenon called the Lamb shift, which revolutionized the quantum theory of matter." He shared the prize with Polykarp Kusch who won for 'his precision determination of the magnetic moment of the electron'.

422

Winds Shift for Wisconsin Company | Department of Energy  

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

Winds Shift for Wisconsin Company Winds Shift for Wisconsin Company Winds Shift for Wisconsin Company July 14, 2010 - 3:53pm Addthis Wind turbine generator nacelle enclosures and nosecones manufactured by Wausaukee Composites, Inc., at a wind farm in northern Illinois | Photo courtesy of Wausaukee Composites. Wind turbine generator nacelle enclosures and nosecones manufactured by Wausaukee Composites, Inc., at a wind farm in northern Illinois | Photo courtesy of Wausaukee Composites. Stephen Graff Former Writer & editor for Energy Empowers, EERE What are the key facts? Wausaukee Composites to reopen wind turbine parts facility in 2010. 150 jobs expected to be created. Plant will make nacelles for 1.5 MW to 3 MW turbines. A wind turbine parts facility in Cuba City, Wis., is getting another chance

423

Demand Shifting With Thermal Mass in Large Commercial Buildings: Case  

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

Demand Shifting With Thermal Mass in Large Commercial Buildings: Case Demand Shifting With Thermal Mass in Large Commercial Buildings: Case Studies and Tools Speaker(s): Peng Xu Date: March 9, 2007 - 12:00pm Location: 90-3122 The idea of pre-cooling and demand limiting is to pre-cool buildings at night or in the morning during off-peak hours, storing cooling energy in the building thermal mass and thereby reducing cooling loads during the peak periods. Savings are achieved by reducing on-peak energy and demand charges. The potential for utilizing building thermal mass for load shifting and peak demand reduction has been demonstrated in a number of simulation, laboratory, and field studies. Case studies in a number of office buildings in California has found that a simple demand limiting strategy reduced the chiller power by 20-100% (0.5-2.3W/ft2) during six

424

RedShift Systems Corporation | Open Energy Information  

Open Energy Info (EERE)

RedShift Systems Corporation RedShift Systems Corporation Jump to: navigation, search Name RedShift Systems Corporation Address 41 Second Avenue Place Burlington, Massachusetts Zip 01803 Sector Efficiency Product Thermal imaging systems for building efficiency tools, smart grid monitoring Website http://redshiftsystems.com/sit Coordinates 42.483819°, -71.222836° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":42.483819,"lon":-71.222836,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

425

Blackbody radiation shift in 87Rb frequency standard  

E-Print Network (OSTI)

The operation of atomic clocks is generally carried out at room temperature, whereas the definition of the second refers to the clock transition in an atom at absolute zero. This implies that the clock transition frequency should be corrected in practice for the effect of finite temperature of which the leading contributor is the blackbody radiation (BBR) shift. Experimental measurements of the BBR shifts are difficult. In this work, we have calculated the blackbody radiation shift of the ground-state hyperfine microwave transition in 87Rb using the relativistic all-order method and carried out detailed evaluation of the accuracy of our final value. Particular care is taken to accurately account for the contributions from highly-excited states. Our predicted value for the Stark coefficient, k_S=-1.240(4)\\times 10^{-10}\\text{Hz/(V/m)}^{2} is three times more accurate than the previous calculation [1].

M. S. Safronova; Dansha Jiang; U. I. Safronova

2010-07-03T23:59:59.000Z

426

Black-body radiation shift of the Ga$^{+}$ clock transition  

E-Print Network (OSTI)

The blackbody radiation shift of the Ga$^+$ $4s^2 \\ ^1S^e_0 \\to 4s4p \\ ^3P^o_0$ clock transition is computed to be $-$$0.0140 \\pm 0.0048$ Hz at 300 K. The small shift is consistent with the blackbody shifts of the clock transitions of other group III ions which are of a similar size. The polarizabilities of the Ga$^+$ $4s^2 \\ ^1S^e_0$, $4s4p \\ ^3P^o_0$, and $4s4p \\ ^1P^o_1$ states were computed using the configuration interaction method with an underlying semi-empirical core potential. A byproduct of the analysis involved large scale calculations of the low lying spectrum and oscillator strengths of the Ga$^{2+}$ ion.

Cheng, Yongjun

2013-01-01T23:59:59.000Z

427

Transition to 12-hour shifts - The process and the product  

Science Conference Proceedings (OSTI)

This paper examines Yankee Atomic Electric Company's (YAEC's) transition to a 12-h shift schedule for the operations department staff. It presents the approach to implementation, reactions of both shift workers and management to the new schedule (including perceived benefits and shortcomings), and provides recommendations to others considering this change. Experience demonstrates the ease of any transition when the desire for change originates with the individuals directly affected. Close cooperation with any union representation is also vital to its success. When all parties are in apparent agreement (e.g., that a 12-h rotation should commence), this allows for a trial period (in this case of at least two shift cycles) in order to evaluate and refine the program, thus leaving the option open to revert back to the previous condition if things prove unsatisfactory. At all costs, mutual respect must be maintained for all parties.

Suter, P. (Yankee Atomic Electric Co., Rowe, MA (United States))

1992-01-01T23:59:59.000Z

428

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

429

WeaselBoard : zero-day exploit detection for programmable logic controllers.  

SciTech Connect

Critical infrastructures, such as electrical power plants and oil refineries, rely on programmable logic controllers (PLCs) to control essential processes. State of the art security cannot detect attacks on PLCs at the hardware or firmware level. This renders critical infrastructure control systems vulnerable to costly and dangerous attacks. WeaselBoard is a PLC backplane analysis system that connects directly to the PLC backplane to capture backplane communications between modules. WeaselBoard forwards inter-module traffic to an external analysis system that detects changes to process control settings, sensor values, module configuration information, firmware updates, and process control program (logic) updates. WeaselBoard provides zero-day exploit detection for PLCs by detecting changes in the PLC and the process. This approach to PLC monitoring is protected under U.S. Patent Application 13/947,887.

Mulder, John C.; Schwartz, Moses Daniel; Berg, Michael J.; Van Houten, Jonathan Roger; Urrea, Jorge Mario; King, Michael Aaron; Clements, Abraham Anthony; Jacob, Joshua A.

2013-10-01T23:59:59.000Z

430

A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract)  

E-Print Network (OSTI)

) Brandon Bennett, Anthony G. Cohn and Amar Isli School of Computer Studies University of Leeds, Leeds LS2 9JT, England fbrandon,agc,islig@scs.leeds.ac.uk The paper explores the application to GIS of formal logical representations and reasoning algorithms for manipulating qualitative spatial information. We consider a number of different formal representations from the point of view of expressive power, `naturalness' and computational tractability. We find that, whilst there are tradeoffs between these properties, it it is possible to compute effectively with a quite expressive set of spatial relations. Specifically by using an encoding into intuitionistic propositional logic (Bennett 1994) it is possible to construct a decision procedure for a large vocabulary of topological relations, which runs in polynomial time (Nebel 1995). A considerably more expressive and arguably more natural representation is provided by the 1st-order Region Connection Calculus (RCC) (Randell, Cui and Cohn ...

Brandon Bennett; On Bennett; Anthony G. Cohn; Amar Isli

1997-01-01T23:59:59.000Z

431

Fuzzy logic electric vehicle regenerative antiskid braking and traction control system  

DOE Patents (OSTI)

An regenerative antiskid braking and traction control system using fuzzy logic for an electric or hybrid vehicle having a regenerative braking system operatively connected to an electric traction motor, and a separate hydraulic braking system includes sensors for monitoring present vehicle parameters and a processor, responsive to the sensors, for calculating vehicle parameters defining the vehicle behavior not directly measurable by the sensor and determining if regenerative antiskid braking control, requiring hydraulic braking control, and requiring traction control are required. The processor then employs fuzzy logic based on the determined vehicle state and provides command signals to a motor controller to control operation of the electric traction motor and to the brake controller to control fluid pressure applied at each vehicle wheel to provide the appropriate regenerative braking control, hydraulic braking control, and traction control. 123 figs.

Cikanek, S.R.

1994-10-25T23:59:59.000Z

432

Fuzzy logic electric vehicle regenerative antiskid braking and traction control system  

DOE Patents (OSTI)

An regenerative antiskid braking and traction control system using fuzzy logic for an electric or hybrid vehicle having a regenerative braking system operatively connected to an electric traction motor, and a separate hydraulic braking system includes sensors for monitoring present vehicle parameters and a processor, responsive to the sensors, for calculating vehicle parameters defining the vehicle behavior not directly measurable by the sensor and determining if regenerative antiskid braking control, requiring hydraulic braking control, and requiring traction control are required. The processor then employs fuzzy logic based on the determined vehicle state and provides command signals to a motor controller to control operation of the electric traction motor and to the brake controller to control fluid pressure applied at each vehicle wheel to provide the appropriate regenerative braking control, hydraulic braking control, and traction control.

Cikanek, Susan R. (Wixom, MI)

1994-01-01T23:59:59.000Z

433

InterProlog: Towards a declarative embedding of logic programming in Java  

E-Print Network (OSTI)

Abstract. InterProlog is the first Prolog-Java interface to support multiple Prolog systems through the same API; currently XSB and SWI Prolog, with GNU Prolog and YAP under development – on Windows, Linux and Mac OS X. It promotes coarse-grained integration between logic and object-oriented layers, by providing the ability to bidirectionally map any class data structure to a Prolog term; integration is done either through the Java Native Interface or TCP/IP sockets. It is proposed as a first step towards a common standard Java + Prolog API, gifting the Java developer with the best inference engines, and the logic programmer with simple access to the mainstream object-oriented platform. 1

Miguel Calejo

2004-01-01T23:59:59.000Z

434

A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation using First-Order Logic  

Science Conference Proceedings (OSTI)

Topic models have been used successfully for a variety of problems, often in the form of application-specific extensions of the basic Latent Dirichlet Allocation (LDA) model. Because deriving these new models in order to encode domain knowledge can be difficult and time-consuming, we propose the Fold-all model, which allows the user to specify general domain knowledge in First-Order Logic (FOL). However, combining topic modeling with FOL can result in inference problems beyond the capabilities of existing techniques. We have therefore developed a scalable inference technique using stochastic gradient descent which may also be useful to the Markov Logic Network (MLN) research community. Experiments demonstrate the expressive power of Fold-all, as well as the scalability of our proposed inference method.

Andrzejewski, D; Zhu, X; Craven, M; Recht, B

2011-01-18T23:59:59.000Z

435

Non-Uniform Data Complexity of Query Answering in Description Logics  

E-Print Network (OSTI)

In ontology-based data access (OBDA), ontologies are used as an interface for querying instance data. Since in typical applications the size of the data is much larger than the size of the ontology and query, data complexity is the most important complexity measure. In this paper, we propose a new method for investigating data complexity in OBDA: instead of classifying whole logics according to their complexity, we aim at classifying each individual ontology within a given master language. Our results include a P/coNP-dichotomy theorem for ontologies of depth one in the description logic ALCFI, the equivalence of a P/coNP-dichotomy theorem for ALC/ALCI-ontologies of unrestricted depth to the famous dichotomy conjecture for CSPs by Feder and Vardi, and a non-P/coNP-dichotomy theorem for ALCF-ontologies.

Carsten Lutz; Frank Wolter

2012-01-01T23:59:59.000Z

436

First order tune shift calculations for transverse betatron dynamics  

Science Conference Proceedings (OSTI)

An effective Hamiltonian, with non-linear magnetic multipole terms and momentum dispersion contributions, is used to obtain the first order tune-shift results for transverse betatron motion for protons in the Superconducting Super Collider (SSC). This Hamiltonian is represented in terms of action angle variables, and analytical results are obtained using symbolic algebra methods. Mathematical derivations of the transverse multipole expansion and of the transverse betatron equations, using an invariant action and curvilinear coordinates, are given in the appendices. Numerical and graphical tune-space results are given that illustrate the dependence of tune-shifts on injection amplitude and momentum spread. 10 refs., 7 figs.

Garavaglia, T.

1991-09-01T23:59:59.000Z

437

Photonic equation of motion with application to the Lamb shift  

DOE Green Energy (OSTI)

A photonic equation of motion is proposed which is the scalar product of four-vectors and therefore a Lorentz invariant. A photonic equation of motion, which has not been heretofore established in quantum electrodynamics (QED), would capture the quantum nature of light but yet not have the standard field-operator form, thereby making practical calculations easier to perform. The equation of motion proposed here is applied to the Lamb shift. No divergences exist, and the result agrees with the observed Lamb shift for the 1S{sub 1/2} state of hydrogen within experimental error.

Ritchie, A B

2006-12-21T23:59:59.000Z

438

Goos-Hanchen like Shifts in Graphene Double Barriers  

E-Print Network (OSTI)

We study the Goos-Hanchen like shifts for Dirac fermions in graphene scattered by double barrier structures. After obtaining the solution for the energy spectrum, we use the boundary conditions to explicitly determine the Goos-Hanchen like shifts and the associated transmission probability. We analyze these two quantities at resonances by studying their {main} characteristics as a function of the energy and electrostatic potential parameters. To check the validity of our computations we recover previous results obtained for a single barrier under appropriate limits.

Ahmed Jellal; Ilham Redouani; Youness Zahidi; Hocine Bahlouli

2013-06-24T23:59:59.000Z

439

The Time vs. Money Effect: Shifting Product Attitudes and Decisions through Personal Connection  

E-Print Network (OSTI)

The Time vs. Money Effect?: Shifting Product Attitudes andreveal a ?time vs. money effect? whereby activating time (vs. money) leads to a favorable shift in product attitudes

Mogilner, Cassie; Aaker, Jennifer

2008-01-01T23:59:59.000Z

440

An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs  

E-Print Network (OSTI)

Static global analyses based on abstract interpretation have been used to derive properties of programs. The analyses differ in the expressiveness of the abstract domains and the precision and efficiency of domain operations. We extend an abstract domain defined by Jacobs and Langen and present new abstract domain operations to derive freeness, groundness, and sharing of variables in logic programs. Analysis of non-trivial programs shows that our method is more precise and more efficient than previous proposals.

Renganathan Sundararajan; John S. Conery

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


441

Long Lead Time Drought Forecasting Using a Wavelet and Fuzzy Logic Combination Model: A Case Study in Texas  

Science Conference Proceedings (OSTI)

Drought forecasting is important for drought risk management. Considering the El Niño–Southern Oscillation (ENSO) variability and persistence in drought characteristics, this study developed a wavelet and fuzzy logic (WFL) combination model for ...

Mehmet Özger; Ashok K. Mishra; Vijay P. Singh

2012-02-01T23:59:59.000Z

442

NBTI induced performance degradation in logic and memory circuits: how effectively can we approach a reliability solution?  

Science Conference Proceedings (OSTI)

This paper evaluates the severity of negative bias temperature instability (NBTI) degradation in two major circuit applications: random logic and memory array. For improved lifetime stability, we propose/select an efficient reliability-aware circuit ...

Kunhyuk Kang; Saakshi Gangwal; Sang Phill Park; Kaushik Roy

2008-01-01T23:59:59.000Z

443

Analysis and synthesis of logical-dynamic systems of automatic control of a gas-turbine engine  

Science Conference Proceedings (OSTI)

Specific features of analysis and synthesis of logical-dynamic automatic control systems with algebraic selectors for gas-turbine engines are considered. Equivalent nonlinear structures of these systems are obtained. Methods for providing stability, ...

V. I. Petunin; A. I. Frid

2012-11-01T23:59:59.000Z

444

A new fuzzy logic hydrometeor classification scheme applied to the French X, C and S-band polarimetric radars  

Science Conference Proceedings (OSTI)

A new fuzzy logic hydrometeor classification algorithm is proposed that takes into account data-based membership functions, measurement conditions and three-dimensional temperature information provided by a high-resolution non-hydrostatic ...

Hassan Al-Sakka; Abdel-Amin Boumahmoud; Béatrice Fradon; Stephen J. Frasier; Pierre Tabary

445

LSRM - a tool for logic simulation of RISC-based microprocessor  

E-Print Network (OSTI)

Due to their high performance, Reduced Instruction Set Computer (RISC) based microprocessors have been widely used in computing systems as well as embedded control and communication systems. The first and the most important step in designing a RISC microprocessor is to define the instruction set and its corresponding architecture. It will be inconvenient in terms of time and cost to verify an instruction set and its architecture through complete hardware realization. Therefore, a logic simulator for RISC microprocessor is highly desirable. This thesis studies the logic simulation of RISC microprocessors based on behavioral modeling approach. Many behavioral models for the components of RISC microprocessors, like ALU, multiplexer, memory, control unit, are proposed. A prototype, called LSRM (a Logic Simulator for RISC-based Microprocessor), is also designed and implemented in SUN/UNIX environment. LSRM consists of a graphical user interface and a simulator. The user interface is built on the X-window/Motif system while the simulator is implemented in C, Verilog and PLI. The system model adopted in this research is based on the DLX machine. However, substantial extension is made in order to satisfy as many applications as possible.

Jiang, Xiaohua

1993-01-01T23:59:59.000Z

446

Towards Resilient Critical Infrastructures: Application of Type-2 Fuzzy Logic in Embedded Network Security Cyber Sensor  

SciTech Connect

Resiliency and cyber security of modern critical infrastructures is becoming increasingly important with the growing number of threats in the cyber-environment. This paper proposes an extension to a previously developed fuzzy logic based anomaly detection network security cyber sensor via incorporating Type-2 Fuzzy Logic (T2 FL). In general, fuzzy logic provides a framework for system modeling in linguistic form capable of coping with imprecise and vague meanings of words. T2 FL is an extension of Type-1 FL which proved to be successful in modeling and minimizing the effects of various kinds of dynamic uncertainties. In this paper, T2 FL provides a basis for robust anomaly detection and cyber security state awareness. In addition, the proposed algorithm was specifically developed to comply with the constrained computational requirements of low-cost embedded network security cyber sensors. The performance of the system was evaluated on a set of network data recorded from an experimental cyber-security test-bed.

Ondrej Linda; Todd Vollmer; Jim Alves-Foss; Milos Manic

2011-08-01T23:59:59.000Z

447

Waste Logic(TM): Decommissioning Waste Manager, Version 2.1 and Solid Waste Manager, Version 2.1  

Science Conference Proceedings (OSTI)

Waste Logic(TM) Decommissioning Waste Manager, Version 2.1: Rising program costs and a more competitive business environment have made solid waste management a major cost concern. Effective management of solid waste can reduce long range operating costs for a large nuclear plant by millions of dollars. To assist waste managers in maximizing potential cost savings, EPRI developed the Waste Logic Decommissioning Waste Manager(TM) computer code. It provides a comprehensive methodology for capturing and quan...

2003-03-03T23:59:59.000Z

448

Standard CMOS Implementation of a Multiple-Valued Logic Signed-Digit Adder Based on Negative Differential-Resistance Devices  

Science Conference Proceedings (OSTI)

This paper presents MOS-NDR, a new prototyping technique for multiple-valued logic circuits combining MOS transistors and multipeak negative differential-resistance (NDR) devices such as resonant-tunneling diodes (RTDs). MOS-NDR emulates the folded current-voltage ... Keywords: signed-digit adder, redundant number systems, negative differential-resistance devices, NDR devices, resonant-tunneling diodes, RTDs, multiple-valued logic

Alejandro F. Gonzalez; Mayukh Bhattacharya; Shriram Kulkarni; Pinaki Mazumder

2000-05-01T23:59:59.000Z

449

Method and apparatus for executing a shift in a hybrid transmission  

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

450

Diurnal Variation of Pressure-Heights: A Vertical Phase Shift  

Science Conference Proceedings (OSTI)

A vertical phase shift of the diurnal harmonic of geopotential height S1(Z) in the lower troposphere of low latitudes is shown by a comparison of diurnal harmonic of surface pressure at two surface stations that have an elevation difference close ...

Tsing-Chang Chen; Ming-Cheng Yen; Siegfried Schubert

2001-09-01T23:59:59.000Z

451

Directional Response of Wind Waves to a Large Wind Shift  

Science Conference Proceedings (OSTI)

The directional response of a fully arisen sea to a 90° wind shift is studied using a combination of airborne radar and in situ directional wave observations. The observations were made in February 1991 as a part of the Surface Wave Dynamics ...

Frederick C. Jackson; Robert E. Jensen

1999-11-01T23:59:59.000Z

452

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 rather than to illustrate either effective or ineffective handling of an administrative situation. Google is not a conventional company. We do not intend to become one. --Co-founder Larry Page, before Google's IPO in 2004

Edwards, Paul N.

453

Energy Analysis Department Electricity Markets and Policy Group The Shifting Landscape of RatepayerThe Shifting Landscape of Ratepayer--  

E-Print Network (OSTI)

Energy Analysis Department Electricity Markets and Policy Group The Shifting Landscape of Ratepayer trends in state policies affecting ratepayer-funded energy efficiency (EE) programs Berkeley Lab-up ratepayer-funded EE program activity #12;Energy Analysis Department Electricity Markets and Policy Group 33

454

Making Buildings Part of the Climate Solution by Enforcing Aggressive Commercial Building Codes  

E-Print Network (OSTI)

This paper examines the impact of an aggressive commercial building codes policy in the United States. The policy would require both new construction and existing buildings that undergo major modifications to comply with higher building shell efficiency and more stringent equipment standards similar to the latest versions of the ASHRAE 90.1 Standard. Using the Georgia Tech version of the National Energy Modeling System (GT-NEMS), we estimate that the building codes policy could reduce the energy consumption of commercial buildings by 0.94 Quads in 2035, equal to 4 % of the projected energy consumption of commercial buildings in that year. In the four targeted end-uses – space heating and cooling, water heating and lighting – estimated energy consumption would be 17%, 15%, 20 % and 5 % less than the Reference case forecast in 2035, respectively. The reduction of electricity and natural gas prices along with the consumption decline could save commercial consumers $12.8 billion in energy bills in 2035 and a cumulative $110 billion of bill savings between 2012 and 2035. The environmental benefits of the policy could also be significant. In 2035, 47 MMT of CO2 emissions could be avoided, generating cumulative benefits of $17 billion by 2035. The estimated benefit-cost ratio of this policy within the commercial sector is 1.4, with a resulting net benefit of $59 billion. The positive spillover effect of this policy would lead to an even higher economy-wide benefit-cost ratio. *Corresponding author:

Xiaojing Sun; Marilyn A. Brown; Roderick Jackson; Matt Cox; Dr. Marilyn; A. Brown; D. M. Smith Building

2012-01-01T23:59:59.000Z

455

Modeling Altruistic and Aggressive Driver Behavior in a No-Notice Evacuation  

Science Conference Proceedings (OSTI)

This study examines the impact of altruistic and aggressive driver behavior on the effectiveness of an evacuation for a section of downtown Atlanta. The study area includes 37 signalized intersections, seven ramps, and 48 parking lots that vary by size, type (lot versus garage), peak volume, and number of ingress and egress points. A detailed microscopic model of the study area was created in VISSIM. Different scenarios examined the impacts of driver behavior on parking lot discharge rates and the loading rates from side streets on primary evacuation routes. A new methodology was created to accurately represent parking lot discharge rates. This study is also unique in that it assumes a "worst case scenario" that occurs with no advance notice during the morning peak period, when vehicles must transition from inbound to outbound routes. Simulation results indicate that while overall network clearance times are similar across scenarios, the distribution of delay on individual routes and across parking lots differ markedly. More equitable solutions (defined as the allocation of delay from parking lots and side streets to main evacuation routes) were observed with altruistic driver behavior.

Brandstetter, Tim [Kimley-Horn and Associates; Garrow, Dr. Laurie [Georgia Institute of Technology; Hunter, Dr. Michael [Georgia Institute of Technology; Southworth, Frank [ORNL

2007-01-01T23:59:59.000Z

456

The relations between anger, coping with anger, and aggression, and the BIS/BAS system  

E-Print Network (OSTI)

In two studies, the relations between the experience and expression of anger and the Behavioral Inhibition System/Behavioral Approach System were investigated with self-report data. In a first study, our results replicated previous findings that trait anger relates positively to both BIS and BAS, and generalized these findings to a measure of trait anger based on contextual anger responses. In a second study, the relations between anger coping-styles, anger expression, and BIS/BAS were examined. It was hypothesized that coping with anger involves low activity of either BIS or BAS, resulting in the anger coping styles of angerout and anger-in, respectively. Measures of anger-out were found to be positively related to a measure of BAS and negatively to a measure of BIS, whereas the opposite pattern of associations was obtained for anger-in. Furthermore, corresponding to an anger-out coping style, both physical and verbal aggression were found to be positively related to BAS, and negatively to BIS.

Dirk J. M. Smits

2005-01-01T23:59:59.000Z

457

Anomalously small blackbody radiation shift in Tl+ frequency standard  

E-Print Network (OSTI)

The operation of atomic clocks is generally carried out at room temperature, whereas the definition of the second refers to the clock transition in an atom at absolute zero. This implies that the clock transition frequency should be corrected in practice for the effect of finite temperature of which the leading contributor is the blackbody radiation (BBR) shift. In the present work, we used configuration interaction + coupled-cluster method to evaluate polarizabilities of the $6s^2 ^1S_0$ and $6s6p ^3P_0$ states of Tl$^+$ ion; we find $\\alpha_0(^1S_0)=19.6$ a.u. and $\\alpha_0(^3P_0)=21.4$ a.u.. The resulting BBR shift of the $6s6p ^3P_0 - 6s^2 ^1S_0$ Tl$^+$ transition at $300 K$ is $\\Delta \

Zuhrianda, Z; Kozlov, M G

2012-01-01T23:59:59.000Z

458

Anomalously small blackbody radiation shift in Tl+ frequency standard  

E-Print Network (OSTI)

The operation of atomic clocks is generally carried out at room temperature, whereas the definition of the second refers to the clock transition in an atom at absolute zero. This implies that the clock transition frequency should be corrected in practice for the effect of finite temperature of which the leading contributor is the blackbody radiation (BBR) shift. In the present work, we used configuration interaction + coupled-cluster method to evaluate polarizabilities of the $6s^2 ^1S_0$ and $6s6p ^3P_0$ states of Tl$^+$ ion; we find $\\alpha_0(^1S_0)=19.6$ a.u. and $\\alpha_0(^3P_0)=21.4$ a.u.. The resulting BBR shift of the $6s6p ^3P_0 - 6s^2 ^1S_0$ Tl$^+$ transition at $300 K$ is $\\Delta \

Z. Zuhrianda; M. S. Safronova; M. G. Kozlov

2012-01-31T23:59:59.000Z

459

Gain-assisted control of the Goos-Haenchen shift  

SciTech Connect

A gain-assisted model is considered to study the Goos-Haenchen (GH) shift behavior in the reflected and transmitted light. In this model, a probe light is incident on a cavity containing three-level dilute gaseous atomic medium. The atom-field interaction follows two-photon Raman transitions, and the dielectric susceptibility of the medium exhibits dispersion and gain properties [L. J. Wang, A. Kuzmich, and A. Dogariu, Nature (London) 406, 227 (2000)]. Under appropriate conditions, two gain peaks are observed with anomalous dispersion between the peaks, whereas normal dispersion can be observed at and around the gain maxima. The manipulation of the detuning associated with the probe light field which interacts with the intracavity medium during its propagation through the cavity can lead to a control over negative and positive GH shift in the reflected and transmitted light beam via the anomalous and normal dispersion of the medium.

Ziauddin,; Qamar, Sajid [Centre for Quantum Physics, COMSATS Institute of Information Technology, Islamabad (Pakistan); Department of Physics, COMSATS Institute of Information Technology, Islamabad (Pakistan)

2011-11-15T23:59:59.000Z

460

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

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

Phase-shifting point diffraction interferometer mask designs  

DOE Patents (OSTI)

In a phase-shifting point diffraction interferometer, different image-plane mask designs can improve the operation of the interferometer. By keeping the test beam window of the mask small compared to the separation distance between the beams, the problem of energy from the reference beam leaking through the test beam window is reduced. By rotating the grating and mask 45.degree., only a single one-dimensional translation stage is required for phase-shifting. By keeping two reference pinholes in the same orientation about the test beam window, only a single grating orientation, and thus a single one-dimensional translation stage, is required. The use of a two-dimensional grating allows for a multiplicity of pinholes to be used about the pattern of diffracted orders of the grating at the mask. Orientation marks on the mask can be used to orient the device and indicate the position of the reference pinholes.

Goldberg, Kenneth Alan (Berkeley, CA)

2001-01-01T23:59:59.000Z

462

The slightly-enriched spectral shift control reactor  

SciTech Connect

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

463

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 plasma oscillations using the gravitoelectromagnetic approximation to General Relativity. It is shown that there is a shift in the plasma frequency and hence in the refractive index of the plasma due to the gravitomagnetic force. Estimates for the difference in frequency of radially transmitted electromagnetic signals are given for typical compact star candidates. 1

Babur M. Mirza; Hamid Saleem

2005-01-01T23:59:59.000Z

464

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

465

LOGIC CIRCUIT  

DOE Patents (OSTI)

A device for safety rod counting in a nuclear reactor is described. A Wheatstone bridge circuit is adapted to prevent de-energizing the hopper coils of a ball backup system if safety rods, sufficient in total control effect, properly enter the reactor core to effect shut down. A plurality of resistances form one arm of the bridge, each resistance being associated with a particular safety rod and weighted in value according to the control effect of the particular safety rod. Switching means are used to switch each of the resistances in and out of the bridge circuit responsive to the presence of a particular safety rod in its effective position in the reactor core and responsive to the attainment of a predetermined velocity by a particular safety rod enroute to its effective position. The bridge is unbalanced in one direction during normal reactor operation prior to the generation of a scram signal and the switching means and resistances are adapted to unbalance the bridge in the opposite direction if the safety rods produce a predetermined amount of control effect in response to the scram signal. The bridge unbalance reversal is then utilized to prevent the actuation of the ball backup system, or, conversely, a failure of the safety rods to produce the predetermined effect produces no unbalance reversal and the ball backup system is actuated. (AEC)

Strong, G.H.; Faught, M.L.

1963-12-24T23:59:59.000Z

466

Blackbody radiation shift in the Sr optical atomic clock  

E-Print Network (OSTI)

We evaluated the static and dynamic polarizabilities of the 5s^2 ^1S_0 and 5s5p ^3P_0^o states of Sr using the high-precision relativistic configuration interaction + all-order method. Our calculation explains the discrepancy between the recent experimental 5s^2 ^1S_0 - 5s5p ^3P_0^o dc Stark shift measurement \\Delta \\alpha = 247.374(7) a.u. [Middelmann et. al, arXiv:1208.2848 (2012)] and the earlier theoretical result of 261(4) a.u. [Porsev and Derevianko, Phys. Rev. A 74, 020502R (2006)]. Our present value of 247.5 a.u. is in excellent agreement with the experimental result. We also evaluated the dynamic correction to the BBR shift with 1 % uncertainty; -0.1492(16) Hz. The dynamic correction to the BBR shift is unusually large in the case of Sr (7 %) and it enters significantly into the uncertainty budget of the Sr optical lattice clock. We suggest future experiments that could further reduce the present uncertainties.

Safronova, M S; Safronova, U I; Kozlov, M G; Clark, Charles W

2012-01-01T23:59:59.000Z

467

Blackbody radiation shift in the Sr optical atomic clock  

E-Print Network (OSTI)

We evaluated the static and dynamic polarizabilities of the 5s^2 ^1S_0 and 5s5p ^3P_0^o states of Sr using the high-precision relativistic configuration interaction + all-order method. Our calculation explains the discrepancy between the recent experimental 5s^2 ^1S_0 - 5s5p ^3P_0^o dc Stark shift measurement \\Delta \\alpha = 247.374(7) a.u. [Middelmann et. al, arXiv:1208.2848 (2012)] and the earlier theoretical result of 261(4) a.u. [Porsev and Derevianko, Phys. Rev. A 74, 020502R (2006)]. Our present value of 247.5 a.u. is in excellent agreement with the experimental result. We also evaluated the dynamic correction to the BBR shift with 1 % uncertainty; -0.1492(16) Hz. The dynamic correction to the BBR shift is unusually large in the case of Sr (7 %) and it enters significantly into the uncertainty budget of the Sr optical lattice clock. We suggest future experiments that could further reduce the present uncertainties.

M. S. Safronova; S. G. Porsev; U. I. Safronova; M. G. Kozlov; Charles W. Clark

2012-10-26T23:59:59.000Z

468

Precision calculation of blackbody radiation shifts for optical frequency metrology  

E-Print Network (OSTI)

We show that three group IIIB divalent ions, B+, Al+, and In+, have anomalously small blackbody radiation (BBR) shifts of the ns^2 1S0 - nsnp 3P0 clock transitions. The fractional BBR shifts for these ions are at least 10 times smaller than those of any other present or proposed optical frequency standards at the same temperature, and are less than 0.3% of the Sr clock shift. We have developed a hybrid configuration interaction + coupled-cluster method that provides accurate treatment of correlation corrections in such ions, considers all relevant states in the same systematic way, and yields a rigorous upper bound on the uncertainty of the final results. We reduce the BBR contribution to the fractional frequency uncertainty of the Al+ clock to 4 \\times 10^{-19} at T=300K. We also reduce the uncertainties due to this effect at room temperature to 10^{-18} level for B+ and In+ to facilitate further development of these systems for metrology and quantum sensing. These uncertainties approach recent estimates of the feasible precision of currently proposed optical atomic clocks.

M. S. Safronova; M. G. Kozlov; Charles W. Clark

2011-05-16T23:59:59.000Z

469

Apparatus for shifting the wavelength of light. [US patent application  

DOE Patents (OSTI)

This invention, which resulted from a contract with the United States Department of Energy, relates to a means for shifting the wavelength of light and, more particularly, to a means for changing the wavelength of a laser beam so that the beam can be effectively used in a process for separation uranium isotopes. As disclosed in US Patent 3,940,615, /sup 235/U can be separated from /sup 238/U by selectively ionizing the /sup 235/U isotope in a vapor containing both /sup 235/U and /sup 238/U, this ionization being effected by passing a laser beam having a proper frequency (or wavelength) through the vapor. Doppler shifting of the wavelength of a laser beam to obtain an optimal light wavelength for ionizing /sup 235/U in such a separation process has been proposed heretofore. However, the applicants are aware of no apparatus for Doppler shifting of the wavelength of light that has the features or advantages of apparatus constructed in accordance with the principles of their invention. A light beam is reflected back and forth between a rotating body having a retroreflection corner at opposite ends thereof and a fixed mirror to change the wavelength of the light beam by the Doppler effect.

McCulla, W.H.; Allen, J.D. Jr.

1982-01-29T23:59:59.000Z

470

Vehicle emissions and energy consumption impacts of modal shifts  

E-Print Network (OSTI)

Growing concern over air quality has prompted the development of strategies to reduce vehicle emissions in these areas. Concern has also been expressed regarding the current dependency of the U,S, on foreign oil. An option for addressing these concerns is to reduce vehicle-miles travelled (VMT), High- occupancy vehicle (HOV) lanes have been cited as one alternative for achieving this goal. However, latent travel demand frequently negates some or all of the VMT savings brought about by HOV lanes, The net effects of modal shifts to HOV lanes and the subsequent latent travel demand were studied in the thesis, A methodology was developed for estimating vehicle emissions and energy consumption impacts of modal shifts from private vehicles in the freeway mainlanes to buses in an HOV lane when latent travel demand is considered. The methodology was evaluated and determined to yield reasonable results, Finally, the methodology was applied to a freeway corridor in Houston, Texas. The results of the application indicate that reductions in VMT do not necessarily cause reductions in vehicle emissions of interest even when considered, all three of the pollutants of latent travel demand is not consumption was decreased at considered. Energy consumption was decreased a virtually all levels of latent travel demand except where latent travel demand was equivalent to the mode shift.

Mallett, Vickie Lynn

1993-01-01T23:59:59.000Z

471

Control of a benchmark structure using GA-optimized fuzzy logic control  

E-Print Network (OSTI)

Mitigation of displacement and acceleration responses of a three story benchmark structure excited by seismic motions is pursued in this study. Multiple 20-kN magnetorheological (MR) dampers are installed in the three-story benchmark structure and managed by a global fuzzy logic controller to provide smart damping forces to the benchmark structure. Two configurations of MR damper locations are considered to display multiple-input, single-output and multiple-input, multiple-output control capabilities. Characterization tests of each MR damper are performed in a laboratory to enable the formulation of fuzzy inference models. Prediction of MR damper forces by the fuzzy models shows sufficient agreement with experimental results. A controlled-elitist multi-objective genetic algorithm is utilized to optimize a set of fuzzy logic controllers with concurrent consideration to four structural response metrics. The genetic algorithm is able to identify optimal passive cases for MR damper operation, and then further improve their performance by intelligently modulating the command voltage for concurrent reductions of displacement and acceleration responses. An optimal controller is identified and validated through numerical simulation and fullscale experimentation. Numerical and experimental results show that performance of the controller algorithm is superior to optimal passive cases in 43% of investigated studies. Furthermore, the state-space model of the benchmark structure that is used in numerical simulations has been improved by a modified version of the same genetic algorithm used in development of fuzzy logic controllers. Experimental validation shows that the state-space model optimized by the genetic algorithm provides accurate prediction of response of the benchmark structure to base excitation.

Shook, David Adam

2006-12-01T23:59:59.000Z

472

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

Science Conference Proceedings (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 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 ranking os 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. The focus of Vol. 1, Pt. B, is RA, and it has been divided into six chapters. The first chapter is an introduction, which defines problems specific to the ER Program for ORNL. Chapter 2 provides a general overview of the TLD. Chapters 3 through 5 are organized into necessary subelement categories: RA, characterization, and robotics and automation. The final chapter contains regulatory compliance information concerning RA.

Not Available

1993-09-01T23:59:59.000Z

473

A logical treatment of special relativity, with and without faster-than-light observers  

E-Print Network (OSTI)

There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the existence of faster-than-light observers, which are normally excluded from the theory of special relativity. The modifications to the axiom system should be as slight as possible, and should be motivated by the question: what features of the original axiom system preclude the existence of faster-than-light observers?

Benjamin Hoffman

2013-06-25T23:59:59.000Z

474

Communicating 21st century statecraft: Evaluating the paradigm shift argument  

E-Print Network (OSTI)

This project examines how social media is being used by individuals within the State Department engaged in public diplomacy and how the use of these technologies may or may not represent a paradigm shift in diplomatic operation. Assessments of social media and government in popular culture argue a fundamental shift has taken place in government operations. Yet this argument calls for theoretical examination using communication theory and via examination of organizational praxis. Using Ammon'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 interviewed actors within the organization working with public diplomacy and social media. I also examined historical accounts of State's Voice of America radio program, and compared current organizational uses of social media with the appropriation of radio in the second half of the 20th century. The results suggest that paradigm shift has not yet occurred despite the uses of the new technologies. In many cases, social media is being used akin to technologies from previous paradigms due in part to the constraints of organizational structures. Twitter platforms were used as spaces to push information and policy to the masses, similar to the ways in which radio was used after World War II and throughout the Cold War. Organizational actors characterized social media as a tool to accomplish public diplomacy, not as the change agent those outside of the organization have argued it to be. They described organizational challenges of incorporating social media including questions of voice, information control, and doing 'in-reach' inside the organization. Finally, they described aspects of the interaction that took place as an opportunity to create dialogue amongst interested citizens around the world and to come into face-to-face contact with individuals outside the embassy. Although anomalous practices have begun to emerge as a result of new media's use in the State Department, we have not reached what Kuhn would term a 'critical mass,' necessitating a shift in worldview and practice.

Chinn, Jacquelyn Nicole

2011-08-01T23:59:59.000Z

475

Vacuum-Pump Control System Using Programmable Logic Controllers on the TCP/IP Network for the 2.5-GeV Storage Ring  

E-Print Network (OSTI)

Vacuum-Pump Control System Using Programmable Logic Controllers on the TCP/IP Network for the 2.5-GeV Storage Ring

Kanaya, N; Maezawa, H; Factory, P

1999-01-01T23:59:59.000Z

476

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

SciTech Connect

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

477

Oak Ridge National Laboratory Technology Logic Diagram. Volume 1, Technology Evaluation: Part A, Decontamination and Decommissioning  

Science Conference Proceedings (OSTI)

The Strategic Roadmap for the Oak Ridge Reservation is a generalized planning document that identifies broad categories of issues that keep ORNL outside full compliance with the law and other legally binding agreements. Possible generic paths to compliance, issues, and the schedule for resolution of the issues one identified. The role of the Oak Ridge National Laboratory Technology Logic Diagram (TLD) is then to identify specific site issues (problems), identify specific technologies that can be brought to bear on the issues, and assess the current status and readiness of these remediation technologies within the constraints of the schedule commitment. Regulatory requirements and commitments contained in the Strategic Roadmap for the Oak Ridge Reservation are also included in the TLD as constraints to the application of immature technological solutions. Some otherwise attractive technological solutions may not be employed because they may not be deployable on the schedule enumerated in the regulatory agreements. The roadmap for ORNL includes a list of 46 comprehensive logic diagrams for WM of low-level, radioactive-mixed, hazardous, sanitary and industrial. and TRU waste. The roadmapping process gives comparisons of the installation as it exists to the way the installation should exist under full compliance. The identification of the issues is the goal of roadmapping. This allows accurate and timely formulation of activities.

Not Available

1993-09-01T23:59:59.000Z

478

A quantum logic gate between a solid-state quantum bit and a photon  

E-Print Network (OSTI)

Integrated quantum photonics provides a promising route towards scalable solid-state implementations of quantum networks, quantum computers, and ultra-low power opto-electronic devices. A key component for many of these applications is the photonic quantum logic gate, where the quantum state of a solid-state quantum bit (qubit) conditionally controls the state of a photonic qubit. These gates are crucial for development of robust quantum networks, non-destructive quantum measurements, and strong photon-photon interactions. Here we experimentally realize a quantum logic gate between an optical photon and a solid-state qubit. The qubit is composed of a quantum dot (QD) strongly coupled to a nano-cavity, which acts as a coherently controllable qubit system that conditionally flips the polarization of a photon on picosecond timescales, implementing a controlled-NOT (cNOT) gate. Our results represent an important step towards solid-state quantum networks and provide a versatile approach for probing QD-photon inter...

Kim, Hyochul; Shen, Thomas C; Solomon, Glenn S; Waks, Edo; 10.1038/nphoton.2013.48

2013-01-01T23:59:59.000Z

479

Y-12 Plant Remedial Action technology logic diagram. Volume I: Technology evaluation  

Science Conference Proceedings (OSTI)

The Y-12 Plant Remedial Action Program addresses remediation of the contaminated groundwater, surface water and soil in the following areas located on the Oak Ridge Reservation: Chestnut Ridge, Bear Creek Valley, the Upper and Lower East Fork Popular Creek Watersheds, CAPCA 1, which includes several areas in which remediation has been completed, and CAPCA 2, which includes dense nonaqueous phase liquid wells and a storage facility. There are many facilities within these areas that are contaminated by uranium, mercury, organics, and other materials. This Technology Logic Diagram identifies possible remediation technologies that can be applied to the soil, water, and contaminants for characterization, treatment, and waste management technology options are supplemented by identification of possible robotics or automation technologies. These would facilitate the cleanup effort by improving safety, of remediation, improving the final remediation product, or decreasing the remediation cost. The Technology Logic Diagram was prepared by a diverse group of more than 35 scientists and engineers from across the Oak Ridge Reservation. Most are specialists in the areas of their contributions. 22 refs., 25 tabs.

NONE

1994-09-01T23:59:59.000Z

480

Pausing and activating thread state upon pin assertion by external logic monitoring polling loop exit time condition  

DOE Patents (OSTI)

A system and method for enhancing performance of a computer which includes a computer system including a data storage device. The computer system includes a program stored in the data storage device and steps of the program are executed by a processer. The processor processes instructions from the program. A wait state in the processor waits for receiving specified data. A thread in the processor has a pause state wherein the processor waits for specified data. A pin in the processor initiates a return to an active state from the pause state for the thread. A logic circuit is external to the processor, and the logic circuit is configured to detect a specified condition. The pin initiates a return to the active state of the thread when the specified condition is detected using the logic circuit.

Chen, Dong; Giampapa, Mark; Heidelberger, Philip; Ohmacht, Martin; Satterfield, David L; Steinmacher-Burow, Burkhard; Sugavanam, Krishnan

2013-05-21T23: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

Hand held phase-shifting diffraction moire interferometer  

DOE Patents (OSTI)

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

Deason, Vance A. (Idaho Falls, ID); Ward, Michael B. (Idaho Falls, ID)

1994-01-01T23:59:59.000Z

482

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

483

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

484

Redox-dependent structure change and hyperfine nuclear magnetic resonance shifts in cytochrome c  

SciTech Connect

Proton nuclear magnetic resonance assignments for reduced and oxidized equine cytochrome c show that many individual protons exhibit different chemical shifts in the two protein forms, reflecting diamagnetic shift effects due to structure change, and in addition contact and pseudocontact shifts that occur only in the paramagnetic oxidized form. To evaluate the chemical shift differences for structure change, the authors removed the pseudocontact shift contribution by a calculation based on knowledge of the electron spin g tensor. The g-tensor calculation, when repeated using only 12 available C{sub {alpha}}H proton resonances for cytochrom c from tuna, proved to be remarkably stable. The derived g tensor was then used together with spatial coordinates for the oxidized form to calculate the pseudocontact shift contribution to proton resonances at 400 identifiable sites throughout the protein, so that the redox-dependent chemical shift discrepancy, could be evaluated. Large residual changes in chemical shift define the Fermi contact shifts, where are found as expected to be limited to the immediate covalent structure of the heme and its ligands and to be asymmetrically distributed over the heme. The chemical shift discrepancies observed appear in the main to reflect structure-dependent diamagnetic shifts rather than hyperfine effects due to displacements in the pseudocontact shift field. Although 51 protons in 29 different residues exhibit significant chemical shift changes, the general impressions one of small structural adjustments to redox-dependent strain rather than sizeable structural displacements or rearrangements.

Feng, Yiquing; Roder, H.; Englander, S.W. (Univ. of Pennsylvania, Philadelphia (USA))

1990-04-10T23:59:59.000Z

485

The Significance of the 1976 Pacific Climate Shift in the Climatology of Alaska  

Science Conference Proceedings (OSTI)

The 1976 Pacific climate shift is examined, and its manifestations and significance in Alaskan climatology during the last half-century are demonstrated. The Pacific Decadal Oscillation index shifted in 1976 from dominantly negative values for ...

Brian Hartmann; Gerd Wendler

2005-11-01T23:59:59.000Z

486

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

487

Striatal dopamine influences the default mode network to affect shifting between object features  

Science Conference Proceedings (OSTI)

Cognitive flexibility or the ability to change behavior in response to external cues is conceptualized as two processes: one for shifting between perceptual features of objects and another for shifting between the abstract rules governing the selection ...

Linh C. Dang; Aneesh Donde; Cindee Madison; James P. O'Neil; William J. Jagust

2012-09-01T23:59:59.000Z

488

Prefrontal Wind-Shift Lines in the Plains of the United States  

Science Conference Proceedings (OSTI)

In the central United States, cold fronts are sometimes preceded by a surface wind shift by several hours. These wind shifts are examined to determine their origins and characteristics. A climatology and a case study of an autumn “prefrontal wind ...

Todd A. Hutchinson; Howard B. Bluestein

1998-01-01T23:59:59.000Z

489

Currency options volatility forecasting with shift-invariant wavelet transform and neural networks  

Science Conference Proceedings (OSTI)

This paper describes four currency options volatility forecasting models. These models are based on shift-invariant wavelet transform and neural networks techniques. The à trous algorithm is used to realize the shift-invariant wavelet transform. ...

Fan-Yong Liu; Fan-Xin Liu

2006-10-01T23:59:59.000Z

490

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION PROCESS  

DOE Green Energy (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

491

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION PROCESS  

DOE Green Energy (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

492

Detecting, Characterizing and Determining the Biological Response to Regime Shifts off the California Coast  

E-Print Network (OSTI)

power point presentation on regime shifts to the RAP, which represents the research arm of the Monterey Bay National Marine

Breaker, Laurence C.; Welschmeyer, Nicholas A.

2010-01-01T23:59:59.000Z

493

A multi-objective evolutionary algorithm for an effective tuning of fuzzy logic controllers in heating, ventilating and air conditioning systems  

Science Conference Proceedings (OSTI)

This paper focuses on the use of multi-objective evolutionary algorithms to develop smartly tuned fuzzy logic controllers dedicated to the control of heating, ventilating and air conditioning systems, energy performance, stability and indoor comfort ... Keywords: Fuzzy logic controllers, Genetic tuning, HVAC systems, Heating, ventilating, and air conditioning systems, Linguistic 2-tuples representation, Multi-objective evolutionary algorithms, Rule selection

María José Gacto; Rafael Alcalá; Francisco Herrera

2012-03-01T23:59:59.000Z

494

Comparison of artificial neural network and fuzzy logic models for prediction of long-term compressive strength of silica fume concrete  

Science Conference Proceedings (OSTI)

In this study, an artificial neural network (ANN) and fuzzy logic (FL) study were developed to predict the compressive strength of silica fume concrete. A data set of a laboratory work, in which a total of 48 concretes were produced, was utilized in ... Keywords: Compressive strength, Concrete, Fuzzy logic, Neural networks, Silica fume

Fatih Özcan; Cengiz D. Ati?; Okan Karahan; Erdal Uncuo?lu; Harun Tanyildizi

2009-09-01T23:59:59.000Z

495

Combinational logic optimization for low power using implication-based transformations  

E-Print Network (OSTI)

The demand for portable equipment has increased the emphasis on low-power designs. Higher power consumption results in shorter battery-lifetime of portable electronic devices. As a result larger batteries are required for a reasonable operational time and this reduces the portability of the devices. There are several techniques which reduce power consumption during design of a it. This work presents one such technique which is applicable to a gate-level design. A combinational logic optimizer, Minpower, which reduces power consumption is presented. Heuristics and methods which help in guiding the optimization procedure towards a circuit with minimal power cost will be presented. Finally, experimental results on the ISCAS85 benchmark set and a comparision with various other techniques will be presented to demonstrate the effectiveness of the proposed technique.

Swarna, Madhukiran V.

1997-01-01T23:59:59.000Z

496

Logic Tells Us that Appearances May Be Deceptive | Advanced Photon Source  

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

Detecting a Spin Transition Zone in Earth's Lower Mantle Detecting a Spin Transition Zone in Earth's Lower Mantle A 450-million-year-old Protein Reveals Evolution's Steps What Keeps Bugs from Being Bigger? A Mystery No More Understanding Materials Under High Pressure Science Highlights Archives: 2013 | 2012 | 2011 | 2010 2009 | 2008 | 2007 | 2006 2005 | 2004 | 2003 | 2002 2001 | 2000 | 1998 | Subscribe to APS Science Highlights rss feed Logic Tells Us that Appearances May Be Deceptive SEPTEMBER 24, 2007 Bookmark and Share The figure above comprises a scanning electron micrograph (greenish ellipses) of NiFe (5 nm)/Cu (3 nm)/Co (5 nm)/ Cu (3 nm) rings with a width of 0.75 µm and outer diameter of 2 μm; micromagnetic simulations (red, white, and blue discs) of the spin configuration in the NiFe (right) and Co (left) layer in the pseudo-spin-valve-type ring structure at

497

Fuzzy Logic Based Anomaly Detection for Embedded Network Security Cyber Sensor  

Science Conference Proceedings (OSTI)

Resiliency and security in critical infrastructure control systems in the modern world of cyber terrorism constitute a relevant concern. Developing a network security system specifically tailored to the requirements of such critical assets is of a primary importance. This paper proposes a novel learning algorithm for anomaly based network security cyber sensor together with its hardware implementation. The presented learning algorithm constructs a fuzzy logic rule based model of normal network behavior. Individual fuzzy rules are extracted directly from the stream of incoming packets using an online clustering algorithm. This learning algorithm was specifically developed to comply with the constrained computational requirements of low-cost embedded network security cyber sensors. The performance of the system was evaluated on a set of network data recorded from an experimental test-bed mimicking the environment of a critical infrastructure control system.

Ondrej Linda; Todd Vollmer; Jason Wright; Milos Manic

2011-04-01T23:59:59.000Z

498

Fuzzy Logic Application for Optimization of the Cooling Towers Control System  

E-Print Network (OSTI)

The control system for the SPS-BA6 cooling towers station is considered in order to introduce the concept of a multivariable process. Multivariable control means the maintenace of several controlled variables at independent set points. In a single-variable system, to keep the single process variables within their critical values is considered a rather simple operation. In a complex multivariable system, the determination of the optimal operation point results in a combination of all set values of the variables. Control of a multivariable system requires therefore a more complex analysis. As the solution based on a mathematical model of the process is far beyond acceptable complexity, most mathematical models involve extensive simplifications and linearizations to optimize the resulting controllers. In this report the author will demonstrate how fuzzy logic might provide elegant and efficient solutions in the design of multivariable control based on experimental results rather than on mathematical models.

Blanc, D

2000-01-01T23:59:59.000Z

499

Saltwell Leak Detector Station Programmable Logic Controller (PLC) Software Configuration Management Plan (SCMP)  

Science Conference Proceedings (OSTI)

This document provides the procedures and guidelines necessary for computer software configuration management activities during the operation and maintenance phases of the Saltwell Leak Detector Stations as required by HNF-PRO-309, Rev. 1, Computer Software Quality Assurance, Section 2.4, Software Configuration Management. The software configuration management plan (SCMP) integrates technical and administrative controls to establish and maintain technical consistency among requirements, physical configuration, and documentation for the Saltwell Leak Detector Station Programmable Logic Controller (PLC) software during the Hanford application, operations and maintenance. This SCMP establishes the Saltwell Leak Detector Station PLC Software Baseline, status changes to that baseline, and ensures that software meets design and operational requirements and is tested in accordance with their design basis.

WHITE, K.A.

2000-11-28T23:59:59.000Z

500

Saltwell PIC Skid Programmable Logic Controller (PLC) Software Configuration Management Plan  

Science Conference Proceedings (OSTI)

This document provides the procedures and guidelines necessary for computer software configuration management activities during the operation and maintenance phases of the Saltwell PIC Skids as required by LMH-PRO-309, Rev. 0, Computer Software Quality Assurance, Section 2.6, Software Configuration Management. The software configuration management plan (SCMP) integrates technical and administrative controls to establish and maintain technical consistency among requirements, physical configuration, and documentation for the Saltwell PIC Skid Programmable Logic Controller (PLC) software during the Hanford application, operations and maintenance. This SCMP establishes the Saltwell PIC Skid PLC Software Baseline, status changes to that baseline, and ensures that software meets design and operational requirements and is tested in accordance with their design basis.

KOCH, M.R.

1999-11-16T23:59:59.000Z