text:
Office of Scientific and Technical Information
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
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
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
Stick shift
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-
Bi-state logic
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
Relational separation logic
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
Extensional logic of hyperintensions
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��
?-connections of Description Logics
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
Reverse hoare logic
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
Typing constraint logic programs
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
Intuitionistic Control Logic
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
Finite Schematizable Algebraic Logic
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
Logic programming with temporal constraints
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
Modular logic metaprogramming
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
Logic Simulation Using Graphics Processors.
??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
Functional Logic Overloading
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
Here and there among logics for logic programming
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
Ice hockey players' perceived legitimacy of aggression.
??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.
Towards Service Description Logics
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
Logic and understanding - CECM
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�...
... LET YPPF = XCDF LET XPPF = YCDF. Default: None Synonyms: ASH is a synonym for the AVERAGE SHIFTED HISTOGRAM command. ...
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...
Programmable logic devices
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.
Sentential Logic for Psychologists Richard Grandy
) that a normal person can actually come to enjoy logic. It looks like logic is about formulas in some esoteric
Osherson, Daniel
Topology, connectedness, and modal logic
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
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
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
Logically Possible Machines
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
Logic Engines as Interactors
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
Shifts & Schedules
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.
Shift Reference Manual
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
Complexity and expressive power of logic programming
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
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 S4validity if and only
Aggressive Datacenter Power Provisioning with Batteries
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
An Intelligent Teaching Assistant System for Logic
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
Visualizing and specifying ontologies using diagrammatic logics
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�
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...
GeckoLogic | Open Energy Information
GeckoLogic Jump to: navigation, search Name GeckoLogic Place Germany Sector Buildings, Solar Product String representation "GeckoLogic is a ... toring systems." is too long....
A System for Tabled Constraint Logic Programming
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
The fuzzy description logic ALCFLH
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
Where is the business logic?
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
From XQuery to relational logics
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
Belief revision in non-monotonic reasoning and logic programming
Keywords: belief revision, logic programming, logics of knowledge and beliefs, non-monotonic reasoning
Jos� J�lio Alferes; Lu�s Moniz Pereira; Teodor C. Przymusinski
Unprecedented Generation Shifts
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 ...
Programmable Logic Controllers
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
THE OBJECTIVE INDEFINITENESS INTERPRETATION OF QUANTUM MECHANICS: Partition logic, logical information theory, and quantum mechanics
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
Transitioning to 12-hour shifts
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.
Corrosion Protection Role of Aggressive Species in Waste Solution ...
Collaborative efforts between Hanford and Savannah River are in progress to reduce the potential for deterioration of tank walls. Waste solution aggressive�...
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...
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.
Programmable logic devices. Final report
A survey of temporal extensions of description logics
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
On rewiring and simplification for canonicity in threshold logic circuits
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
Analysis of aggressive behaviours of pigs by automatic video recordings
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
Multiple signal fault detection using fuzzy logic
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
WindLogics Inc | Open Energy Information
Product WindLogics provides wind resource analysis and long-period variability forecasting services. References WindLogics Inc1 LinkedIn Connections CrunchBase Profile No...
Modifications to PDP-6 Teletype Logic
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
Photonic integrated circuits for optical logic applications
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
Ordinal completeness of bimodal provability logic GLB
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
Efficient dataflow analysis of logic programs
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
Evolving logic programs with temporal operators
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
Logical queries over views: Decidability and expressiveness
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
Expressive fuzzy description logics over lattices
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
A logical model for relational abstract domains
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
Core equivalence in economy for modal logic
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
Outlier detection by logic programming
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
Origins of Logic Greek mathematics
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
Book Series ontos mathematical logic
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
Prevalence and intent of aggressive behaviors in elite women's ice hockey.
??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.
Resonant Tunneling Device Logic Circuits
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
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
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
Permanent Load Shift Control Strategies
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...
Fuzzy description logics with general t-norms and datatypes
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
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
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
Asynchronous logic circuits and sheaf obstructions
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
River Protection Project (RPP) Level 0 Logic
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.
A Programming Logic for Java Bytecode Programs
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.
Implementation of multiple specialization in logic programs
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
Molecular scale biocomputing : an enzyme logic approach
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
Discriminative structure and parameter learning for Markov logic networks
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
Project W-058 monitor and control system logic
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.
Towards a Logic for Pragmatics. Assertions and Conjectures
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
Extending soft sets with description logics
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
Beth definability in expressive description logics
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
A magnetoelectronic macrocell employing reconfigurable threshold logic
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
Grinding circuit control using programmable logic controllers
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
Generalized cofactoring for logic function evaluation
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
Compiler implementation in a formal logical framework
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
Denotational abstract interpretation of logic programs
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
Shift register neutron coincidence module
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.
Passive Housing for an Aggressive Region | Department of Energy
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
DOE Office of Enforcement Continues Aggressive Energy Efficiency
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
Abraham Calls on Global Community to Aggressively Address Nuclear
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. .
DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly
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.
Shift Work and Potential Health Effects
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....
A correspondence between temporal description logics
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
Control of systems integrating logic, dynamics, and constraints
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
Reasoning with rough description logics: An approximate concepts approach
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
The Complexity of Reasoning for Fragments of Autoepistemic Logic
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
InMnAs magnetoresistive spin-diode logic
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
Belief Revision in Non-Monotonic Reasoning and Logic Programming
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
High performance low power CMOS dynamic logic for arithmetic circuits
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
Back and forth between guarded and modal logics
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
Well-Founded and Partial Stable Semantics Logical Aspects
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
A modal logic framework for multi-agent belief fusion
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
Effect of Statins and Anticoagulants on Prostate Cancer Aggressiveness
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: email@example.com [Department of Radiation Oncology, Centre Hospitalier de l'Universite de Montreal, Montreal, Quebec (Canada)
Effects of Trait Behavioral Approach and Inhibition Sensitivity on Behavioral Aggression
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
Disjunctive Logic Programming: A Survey and Assessment
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
MINERVA - A Dynamic Logic Programming Agent Architecture
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
Logical Control Theory Applied to Mechanical Arms
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
Boolean abstraction for temporal logic satisfiability
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
PERT as an aid to logic design
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
Refinement of higher-order logic programs
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
Individual Reuse in Description Logic Reasoning
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
Reasoning about mathematical fuzzy logic and its future
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
Modal logics of elementary classes of Kripke frames via hybrid logic
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
Lecture Notes on Classical Linear Logic 15-816: Linear Logic
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
Low Swing Dual Threshold Voltage Domino Logic
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
Paradigm Shift: Burning Coal to Geothermal | Department of Energy
Paradigm Shift: Burning Coal to Geothermal Paradigm Shift: Burning Coal to Geothermal Paradigm Shift: Burning Coal to Geothermal 20121120ballstatepresentation.pdf More Documents...
TQL: a query language for semistructured data based on the ambient logic
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
Voltage controlled spintronics device for logic applications.
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.
Voltage controlled spintronic devices for logic applications
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)
Intelligent paraconsistent logic controller and autonomous mobile robot emmy II
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
Pneu-Logic Corporation & PepsiCo, Gatorade Teaming Profile |...
& PepsiCo, Gatorade Teaming Profile cover page of document Pneu-Logic installs compressor controls and saves Gatorade 70,000 in annual energy. Pneu-Logic Corporation &...
A compositional logic for proving security properties of protocols
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
Deciding full branching time logic by program transformation
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
Automatic certification of Java source code in rewriting logic
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
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 ...
Energy Efficient Digital Logic Using Nanoscale Magnetic Devices
the power consumption of future digital logic devices. Theimpact of device scaling on power consumption [6, 7].
Lambson, Brian
PSpace Reasoning with the Description Logic ALCF(D)
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
Representing a robotic domain using temporal description logics
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
Design of an analog CMOS fuzzy logic controller chip
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
Efficient description logic reasoning in prolog: The dlog system
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
A normal form for linear temporal equilibrium logic
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
Theoretical and linguistic aspects of the fuzzy logic controller
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
A logical analysis of banks' financial strength ratings
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
TALplanner: A temporal logic based forward chaining planner
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
Modelling protocols for multiagent interaction by F-logic
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
The rewriting logic semantics project: A progress report
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
Object-oriented logical specification of time-critical systems
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
Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability
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
Bridging the Gap Between Discrete and Programmable Logic in Introductory Digital Logic Laboratories
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
A Logic Block Enabling Logic Configuration by Non-Experts in Sensor Networks
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
HALO: haskell to logic through denotational semantics
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
Fuzzy logic for cooperative robot communication
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
A logic based context query language
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
Making Music with Emagic Logic Audio
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
Software reliability assessment via fuzzy logic model
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
Universal quantum computation with shutter logic
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
Modular extensions for modular (logic) languages
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�
Strategies in Combined Learning via Logic Programs
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
Modularity and Separate Compilation in Logic Programming
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
Discovering logical knowledge for deep question answering
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
Path dependent analysis of logic programs
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
Sharing and groundness dependencies in logic programs
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
Path Dependent Analysis of Logic Programs
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
Triple Rail Logic Robustness against DPA
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
A logical model of private international law
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
LUPS - A Language for Updating Logic Programs
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
Playing Tough and Clean Hockey: Developing Emotional Management Skills to Reduce Individual Player Aggression.
??" 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.
Local stabilizer codes in three dimensions without string logical operators
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)
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. ........................
Twin logic gates: improved logic reliability by redundancy concerning gate oxide breakdown
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
Mixed wasted integrated program: Logic diagram
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)
Fault Tree Based Diagnostics Using Fuzzy Logic
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
Formal Verification of Safety Automation Logic Designs
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
Novel Solution of Mercury Perihelion Shift
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
Does accounting quality mitigate risk shifting?
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
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.
Performance Analysis of Dynamic Priority Shifting
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
Peak Load Shifting by Thermal Energy Storage
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...
logic gate and (b) a truth table describing its logicalinput chains, with the truth table given in Fig. 1.5 (b).
BioLogical Capital BLC | Open Energy Information
Zip 80202 Product Denver Colorado-based group focusing on generating long term investment returns with environmental and social co-benefits. References BioLogical Capital...
GreenShift Corporation | Open Energy Information
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":""}]}
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes
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
Substation evaluation using Diagnostic Logic System (DIALOG)
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.
Formal logics of discovery and hypothesis formation by machine
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
Logic�based decision support for strategic environmental assessment
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
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
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
BDD-based logic synthesis for LUT-based FPGAs
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
THE FUZZY DESCRIPTION LOGIC ALCFLH Steffen Holldobler, Nguyen Hoang Nga
, Vietnam firstname.lastname@example.com 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
NEXP TIME-complete description logics with concrete domains
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
SABOT: specification-based payload generation for programmable logic controllers
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
Geometry of Interaction V: Logic in the hyperfinite factor
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
Constraint Orientated Specification with CSP and Real Time Temporal Logic
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
Logical properties of foundational mereogeometrical relations in bio-ontologies
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
Adaptive fuzzy logic control of discrete-time dynamical systems
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
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
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
About Algorithm for Transformation of Logic Functions (ATLF)
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
The Application of Fuzzy Logic in Regenerative Braking of EV
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
Action Refinement from a Logical Point of View
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
Logical attestation: an authorization architecture for trustworthy computing
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
Precise and efficient groundness analysis for logic programs
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
Mechanization of invasive software composition in F-logic
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
Stochastic computational models for accurate reliability evaluation of logic circuits
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
A Theory of Modules for Logic Programming Dale Miller
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
Description Logic in a nutshell Seminar ,,Resources for Computational Linguists"
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
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
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
Logic synthesis for low power using clock gating and rewiring
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
Inspecting side-effects of abduction in logic programs
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
An Analysis of the Relationship between Weather and Aggressive Crime in Cleveland, Ohio
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
Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts
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
Assigning multiple activities to work shifts
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
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
Atomic clocks with suppressed blackbody radiation shift
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
Collisionally Induced Atomic Clock Shifts and Correlations
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
A Temporal Description Logic for Reasoning about Actions and Plans
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...
Single event upsets in gallium arsenide dynamic logic
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))
mLogic: ultra-low voltage non-volatile logic circuits using STT-MTJ devices
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
MDP Optimal Control under Temporal Logic Constraints
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
Blackbody radiation shift of B$^+$ clock transition
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
Paradigm Shift: Burning Coal to Geothermal
Paradigm Shift: Burning Coal Paradigm Shift: Burning Coal to Geothermal" November 20, 2012 email@example.com 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)
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)
Electricity pricing for conservation and load shifting
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
Thermal field theories and shifted boundary conditions
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
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
The Aggressiveness of Order Submissions, Revisions and Cancellations during the Market Preopening Period.
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
Logic Compression Of Dictionaries For Multilingual Spelling Checkers
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
On the Complexity of Dataflow Analysis of Logic Programs
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.
Reconfigurable multi-function logic based on graphene P-N junctions
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
An enhanced framework of subjective logic for semantic document analysis
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
Data complexity in the ?L family of description logics
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
Waste Logic Decommissioning Waste Manager 2.0 Users Manual
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.
Extended caching, backjumping and merging for expressive description logics
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
NEXPTIME-Complete Description Logics with Concrete Domains
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), ...
Power Analysis of Sub-threshold Logics for Security Applications.
??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
Improving sensornet performance by separating system configuration from system logic
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
Cascade Fuzzy Logic Controller for an Anaerobic Digester
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
Learning semantic grammars with constructive inductive logic programming
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
Dynamic Decision-Making in Logic Programming and Game Theory
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
Implementing temporal logics: tools for execution and proof
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
Precise goal-independent abstract interpretation of constraint logic programs
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
Multi-adjoint Logic Programming with Continuous Semantics
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
A Logical Framework for Modelling eMAS
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
Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts
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
Attenuation of single event induced pulses in CMOS combinational logic
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)
Application of programmable logic controllers to substation control and protection
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))
Pendulum Shifts, Context, Error, and Personal Accountability
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
Higgs Boson Property Shifts from Radion Mixing
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.
Reducing gain shifts in photomultiplier tubes
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)
Learning of position-invariant object representation across attention shifts
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
PowerSHIFT Biofuels LLC | Open Energy Information
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....
Fuzzy Logic Connectivity in Semiconductor Defect Clustering
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.
Automated manual transmission shift sequence controller
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)
Gating internal nodes to reduce power during scan shift
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
Red Shift in a Laboraory Environment
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
Phase-shifting point diffraction interferometer
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)
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.
Vehicle Technologies Office: Fact #647: November 1, 2010 Sales Shifting
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...
Omega-3 Oils: Applications in Functional FoodsChapter 11 Fish Oil and Aggression
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
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
Low delay and area efficient soft error correction in arbitration logic
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
1.3 An Overview of Modal Logic.................... 4
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
Project Management Plan for the INEL technology logic diagrams
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.
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.
Data Acquisition from Cell Phone using Logical Approach
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
Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines
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
The Subsumption Problem of the Fuzzy Description Logic ALCF H
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
Fuzzy logic control of batch-feeding refuse incineration
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
System Description: inka 5.0 - A Logic Voyager
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
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
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
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
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
The d-Logic of the Rational Numbers: A Fruitful Construction
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
Design and simulation for the fabrication of integrated semiconductor optical logic gates
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-
Zero-Point Energy and the Lamb Shift
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
Microsoft Word - Evaluation of Alternate Water Gas Shift for...
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...
The Shifting Landscape of Ratepayer-Funded Energy Efficiency...
LAWRENCE BERKELEY NATIONAL LABORATORY The Shifting Landscape of Ratepayer- Funded Energy Efficiency in the U.S. Galen Barbose, Charles Goldman, and Jeff Schlegel Environmental...
Ravel-XL: a hardware accelerator for assigned delay compiled-code logic gate simulation
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
Multi-objective optimal design of fuzzy logic controller using a self configurable swarm intelligence algorithm
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
An efficient approach for designing and minimizing reversible programmable logic arrays
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
Circuit optimization techniques to mitigate the effects of soft errors in combinational logic
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
Fuzzy logic system for variable message signs in Kuala Lumpur
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
Fuzzy Logic-based Mobility Metric Clustering Algorithm for MANETs
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
Towards a program logic for JavaScript
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
Representing a Robotic Domain Using Temporal Description Logics
in Section 2, the temporal language TLALCF 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 TLALCF , together with a formal definition of the subsumption and instance
Franconi, Enrico
A Temporal Logic of Robustness Tim French, John C. Mc
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
System Management Ontology Description Logic Formalization of CIM
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
The application of fuzzy logic to the precautionary principle
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
Application of fuzzy logic for autonomous bay parking of automobiles
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
Low temperature dynamics of netral atoms for quantum logic
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
Integration of a security type system into a program logic
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
Control the Robot Movement by Fuzzy Logic Controller
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
Unification of Concept Terms in Description Logics Franz Baader \\Lambda
Unification of Concept Terms in Description Logics Franz Baader \\Lambda LuFg Theoretical Computer, USA email: firstname.lastname@example.com 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
Linear Logical Algorithms Robert J. Simmons and Frank Pfenning
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.
Layered Models Top-Down Querying of Normal Logic Programs
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
Towards practical biomolecular computers using microfluidic deoxyribozyme logic gate networks
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
Attentiveness assessment in learning based on fuzzy logic analysis
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
Logic Style Comparison for Ultra Low Power Applications
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
Verifying executable object-oriented specifications with separation logic
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
Logic foundry: rapid prototyping for FPGA-based DSP systems
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
VIEWLS Final recommendations report Shift Gear to Biofuels
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
Reducing the beta-shift in domain wall fermion simulations
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
Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles (Presentation)
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.
GreenShift Industrial Design Corporation GIDC | Open Energy Information
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"
Y-12 Plant decontamination and decommissioning technology logic diagram for Building 9201-4. Volume 2: Technology logic diagram
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.
Arch. Math. Logic (2009) 48:231242 DOI 10.1007/s00153-009-0123-9 Mathematical Logic
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
Comparison of second-order impact line shifts
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))
Flow equivalence of shifts of finite type via positive factorizations
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
Aggressive Environments
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...
All-optical reversible logic gate via adiabatic population transfer
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
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
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
Oak Ridge K-25 Site Technology Logic Diagram
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.)
Microwave quantum logic spectroscopy and control of molecular ions
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
Testability of AND-EXOR Based Iterative Logic Arrays
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
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.
Multi-level logic minimization through fault dictionary analysis
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
Adaptive control of hydraulic shift actuation in an automatic transmission
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
Higgs-induced spectroscopic shifts near strong gravity sources
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)
Molecular research suggests shift needed in how drugs are created
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,...
Demand Shifting With Thermal Mass in Large Commercial Buildings...
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...
Shift Turnover and Log Keeping for Fossil Generating Stations
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...
Waste Logic�: FT 2.0: Waste Logic�: FastTrack Version 2.0 with Data Link
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...
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
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
Design of a pneumatically assisted shifting system for Formula SAE� racing applications
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)
Alternative representations of in-stream habitat: classification using remote sensing, hydraulic modeling, and fuzzy logic
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
Multidisciplinary Optimization of Hybrid Electric Vehicles: Component Sizing and Power Management Logic.
??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
Logic, genomics, and evolution of the peripheral nervous system transcriptional network of Drosophila
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
The Time vs. Money Effect: Shifting Product Attitudes and Decisions through Personal Connection
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
Selective interactions in trapped ions: State reconstruction and quantum logic
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)
Demand Shifting With Thermal Mass in Large Commercial Buildings: Case
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
RedShift Systems Corporation | Open Energy Information
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":""}]}
Transition to 12-hour shifts - The process and the product
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))
Blackbody radiation shift in 87Rb frequency standard
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
Black-body radiation shift of the Ga$^{+}$ clock transition
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.
Winds Shift for Wisconsin Company | Department of Energy
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
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'.
System for computer controlled shifting of an automatic transmission
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)
Photonic equation of motion with application to the Lamb shift
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
Goos-Hanchen like Shifts in Graphene Double Barriers
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
First order tune shift calculations for transverse betatron dynamics
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.
Method and apparatus for executing a shift in a hybrid transmission
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
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.
Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles: Preprint
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.
Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
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
Capture of evidence for summarization: an application of enhanced subjective logic
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
Logic programming in the context of multiparadigm programming: the Oz experience
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
Development of software using fuzzy logic to predict erosive wear in slurry pipeline system
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
Constructing a Climate Change Logic: An Institutional Perspective on the �Tragedy of the Commons�
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
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group
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
Multivariable self-organizing fuzzy logic control using dynamic performance index and linguistic compensators
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
From higher-order logic to Haskell: there and back again
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
Fuzzy logic - genetic algorithm method to evaluate the magnetic vector potential
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
A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge
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
Performing bitwise logic operations in cache using spintronics-based magnetic tunnel junctions
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
Short communication: Reasoning with part-part relations in a description logic
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?
An Optimal Fuzzy Logic Power Sharing Strategy for Parallel Hybrid Electric Vehicles
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
Reducing Energy Usage of NULL Convention Logic Circuits using NULL Cycle Reduction
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.
Novel universal threshold logic gate based on RTD and its application
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
Investigating finite models of non-classical logics with relation algebra and RELVIEW
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
A fuzzy logic based system for heavy metals loaded wastewaters monitoring
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
Creating a Physical Standby Database........................................ 13 Creating a Logical Standby Database.......................................... 13
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
Improving fuzzy logic controllers obtained by experts: a case study in HVAC systems
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
Model of usability evaluation of web portals based on the fuzzy logic
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
Genetic algorithm based fuzzy logic power system stabilizers in multimachine power system
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
Speed control of DC motor based on neural net and fuzzy logic
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
Design issues in low-voltage high-speed current-mode logic buffers
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
Using Description Logics for the Provision of Context-Driven Content Adaptation Services
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
The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
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
Directional Response of Wind Waves to a Large Wind Shift
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
Google Energy's Shift into Renewables case 1-429-226
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.
Diurnal Variation of Pressure-Heights: A Vertical Phase Shift
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
Change in Knowledge Bases: Special Issue of Theory and Practice of Logic Programming - Submission deadline: July 31, 2001
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
Issues In Natural Language Access To Databases From A Logic Programming Perspective
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
Energy Analysis Department Electricity Markets and Policy Group The Shifting Landscape of RatepayerThe Shifting Landscape of Ratepayer--
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
Controlling of grid connected photovoltaic lighting system with fuzzy logic
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)
Quantum logic as superbraids of entangled qubit world lines
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
Fuzzy logic based operated device identification in power distribution systems
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
Three dimensional imaging detector employing wavelength-shifting optical fibers
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)
Phase-shifting point diffraction interferometer mask designs
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)
Gain-assisted control of the Goos-Haenchen shift
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)
Anomalously small blackbody radiation shift in Tl+ frequency standard
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
Z. Zuhrianda; M. S. Safronova; M. G. Kozlov
The slightly-enriched spectral shift control reactor
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)
Plasma Frequency Shift Due to a Slowly Rotating Compact Star
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
Phase-shifting point diffraction interferometer grating designs
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)
Vehicle emissions and energy consumption impacts of modal shifts
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
Blackbody radiation shift in the Sr optical atomic clock
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
M. S. Safronova; S. G. Porsev; U. I. Safronova; M. G. Kozlov; Charles W. Clark
Precision calculation of blackbody radiation shifts for optical frequency metrology
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
Apparatus for shifting the wavelength of light. [US patent application
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.
Fuel cell system logic for differentiating between rapid and normal shutdown commands
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)
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
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
Communicating 21st century statecraft: Evaluating the paradigm shift argument
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
The relations between anger, coping with anger, and aggression, and the BIS/BAS system
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
Making Buildings Part of the Climate Solution by Enforcing Aggressive Commercial Building Codes
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
Modeling Altruistic and Aggressive Driver Behavior in a No-Notice Evacuation
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
Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic
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
FDNC: decidable non-monotonic disjunctive logic programs with function symbols
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
A mechanically verified, sound and complete theorem prover for first order logic
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
Pitch Angle Control of Variable Low Rated Speed Wind Turbine Using Fuzzy Logic Control
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
Area temperature system monitoring and computing based on adaptive fuzzy logic in wireless sensor networks
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
Single event upsets in gallium arsenide pseudo-complementary MESFET logic
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)
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
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 ...
Pattern driven lazy reduction: A unifying evaluation mechanism for functional and logic programs
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
Development of constrained fuzzy logic for modeling biological regulatory networks and predicting contextual therapeutic effects
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
Fuzzy Logic Analysis of Kinase Pathway Crosstalk in TNF/EGF/Insulin-Induced Signaling
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.
Redox-dependent structure change and hyperfine nuclear magnetic resonance shifts in cytochrome c
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))
Waste Logic� Liquid Waste Manager (WL-LWM) Software, Version 2.0
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...
Hand held phase-shifting diffraction moire interferometer
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)
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.
Hand held phase-shifting diffraction Moire interferometer
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.
Analysis of a duo-selecting membrane reactor for the water-gas shift
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-
Striatal dopamine influences the default mode network to affect shifting between object features
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
Prefrontal Wind-Shift Lines in the Plains of the United States
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
The Significance of the 1976 Pacific Climate Shift in the Climatology of Alaska
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
Currency options volatility forecasting with shift-invariant wavelet transform and neural networks
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
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
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
About the logic of the prime number distribution
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
A Fuzzy Logic Framework for Integrating Multiple Learned Models
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
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
Detecting, Characterizing and Determining the Biological Response to Regime Shifts off the California Coast
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.
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
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
Untangling the water gas shift from Fischer-Tropsch: a Gordian knot. [185 references
The water gas shift reaction is an integral part of the Fischer-Tropsch synthesis. Although it may appear convenient to consider the water gas shift a separate reaction, in some cases, a detailed examination of the mechanism indicates theat the water gas shift and other synthesis gas reactions share several elementary reactions. Experimental support for the relevant elementary reactions for the water gas shift on metals, metal oxides, and in homogeneous solution is examined, from both surface and complex chemistry. Multiple paths leading to a net water gas shift reaction may be available; oxygen transfer and reaction through C-H-O intermediates may take place. 185 references, 6 tables.
Rofer-Depoorter, C.K.
The logic behind thick, liquid-walled, fusion concepts
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.
PowerSHIFT Energy Company Inc | Open Energy Information
Energy Company Inc Energy Company Inc Jump to: navigation, search Name PowerSHIFT Energy Company Inc Place Casper, Wyoming Zip 82605 Sector Biofuels Product Wyoming-based biofuels producer. Coordinates 42.850095°, -106.327734° 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.850095,"lon":-106.327734,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}
Optimization of the water-gas shift (WGS) reaction system for hydrogen production for fuel cells is of particular interest to the energy industry. To this end, it is desirable to couple the WGS reaction to hydrogen separation using a semi-permeable membrane, with both processes carried out at high temperature to improve reaction kinetics. Reduced equilibrium conversion of the WGS reaction at high temperatures is overcome by product H{sub 2} removal via the membrane. This project involves fundamental research and development of novel cerium oxide-based catalysts for the water-gas-shift reaction and the integration of these catalysts with Pd-alloy H{sub 2}-separation membranes supplying high purity hydrogen for fuel cell use. Conditions matching the requirements of coal gasifier-exit gas streams will be examined in the project. In the first year of the project, we prepared a series of nanostructured Cu- and Fe-containing ceria catalysts by a special gelation/precipitation technique followed by air calcination at 650 C. Each sample was characterized by ICP for elemental composition analysis, BET-N2 desorption for surface area measurement, and by temperature-programmed reduction in H{sub 2} to evaluate catalyst reducibility. Screening WGS tests with catalyst powders were conducted in a flow microreactor at temperatures in the range of 200-550 C. On the basis of both activity and stability of catalysts in simulated coal gas, and in CO{sub 2}-rich gases, a Cu-CeO{sub 2} catalyst formulation was selected for further study in this project. Details from the catalyst development and testing work are given in this report. Also in this report, we present H{sub 2} permeation data collected with unsupported flat membranes of pure Pd and Pd-alloys over a wide temperature window.
Maria Flytzani-Stephanopoulos; Jerry Meldon; Xiaomei Qi
Automatic Design of Binary and Multiple-Valued Logic Gates on RTD Series
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.
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic
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
SDMSM 2.1 - Waste Logic Solid and Decommissioning Multi-Site Manager, Version 2.1
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.
Guide to good practices for control of on-shift training
This Guide to Good Practices is written to enhance understanding of, and provide direction for, Control of On-Shift Training, Chapter 5 of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing on-shift training programs. ``Control of On-Shift Training`` is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessary for a coordinated on-shift training program to meet the continuous demand for skilled, well-trained personnel to promote safe and efficient operations.
Can U.S. Supply Accommodate Shifts to Diesel-Fueled Light-Duty ...
Can U.S. Supply Accommodate Shifts to Diesel-Fueled Light-Duty Vehicles? ... the automobile manufacturers probably face the largest diesel-vehicle challenges in the ...
Evaluation of Demand Shifting with Thermal Mass in Two Large Commercial Buildings
utilizing building thermal mass for cooling load shiftingUse of Building Thermal Mass to Offset Cooling Loads. ASHRAEpeak hours, storing cooling in the building thermal mass and
Xu, Peng
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
This volume consists of the Technology Logic Diagrams (TLDs) for the decontamination, robotics/automation, and waste management areas.
Does resolving PvNP require a paradigm shift?
I shall argue that a resolution of the PvNP problem requires building an iff bridge between the domain of provability and that of computability. The former concerns how a human intelligence decides the truth of number-theoretic relations, and is formalised by the first-order Peano Arithmetic PA following Dededekind's axiomatisation of Peano's Postulates. The latter concerns how a human intelligence computes the values of number-theoretic functions, and is formalised by the operations of a Turing Machine following Turing's analysis of computable functions. I shall show that such a bridge requires objective definitions of both an `algorithmic' interpretation of PA, and an `instantiational' interpretation of PA. I shall show that both interpretations are implicit in the definition of the subjectively defined `standard' interpretation of PA. However the existence of, and distinction between, the two objectively definable interpretations---and the fact that the former is sound whilst the latter is not---is obscured by the extraneous presumption under the `standard' interpretation of PA that Aristotle's particularisation must hold over the structure N of the natural numbers. I shall argue that recognising the falseness of this belief awaits a paradigm shift in our perception of the application of Tarski's analysis (of the concept of truth in the languages of the deductive sciences) to the `standard' interpretation of PA. I shall then show that an arithmetical formula [F] is PA-provable if, and only if, [F] interprets as true under an algorithmic interpretation of PA. I shall finally show how it then follows from Goedel's construction of a formally `undecidable' arithmetical proposition that there is a Halting-type PA formula which---by Tarski's definitions---is algorithmically verifiable as true, but not algorithmically computable as true, under a sound interpretation of PA.
Bhupinder Singh Anand
A survey-based type-2 fuzzy logic system for energy management in hybrid electrical vehicles
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
Fuzzy logic hardware implementation for pneumatic control of one DOF pneumatic robot
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
Application of Fuzzy Logic Control Approach in a Microcontroller-Based Sun Tracking System
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
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations
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
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers
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
A Temporal Description Logic Based Access Control Model for Expressing History Constrained Policies in Semantic Web
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
A MPPT Control Method of PV System Based on Fuzzy Logic and Particle Swarm Optimization
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
Making a Chemical Application Record in FarmLogic Contact Information
Making a Chemical Application Record in FarmLogic Contact Information ARDEC: Chris Fryrear) email@example.com 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
A complex social system simulation using type-2 fuzzy logic and multiagent system
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
P-A logic: a compositional proof system for distributed programs
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
CSP Agenda C-4(b) Part 2 NMFS's Determination of Logical Outgrowth
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
Fully automated smart wireless frost prediction and protection system using a fuzzy logic controller
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
Design of robust fuzzy logic controllers for complex non-linear processes with time delay
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
An evaluation of the Chandy-Misra-Bryant algorithm for digital logic simulation
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
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
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
A Fuzzy Logic Based Power Electronic System for Wind Energy Conversion Scheme
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
Wind speed modeling and prediction in wind farms using fuzzy logic
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
Physical and Logical Security Convergence: Powered By Enterprise Security Management: Powered By Enterprise Security Management
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
ACTLW - An action-based computation tree logic with unless operator
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
A heuristic predictive logic controller applied to hybrid solar air conditioning plant
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
Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection
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
Application of fuzzy logic for the integration of environmental criteria in ecodesign
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
Masking and Dual-rail Logic Don't Add Up Patrick Schaumont1
-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
Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming
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
DOI 10.1007/s11083-011-9224-2 Modal Logics of Stone Spaces
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
The McKinseyLemmon logic is barely canonical Robert Goldblatt and Ian Hodkinson
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
Using On-Chip Configurable Logic to Reduce Embedded System Software Energy Greg Stitt1
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
Energy-Delay Tradeoffs in Combinational Logic using Gate Sizing and Supply Voltage Optimization
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
A general framework for semantics-based bottom-up abstract interpretation of logic programs
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
Analyzing Combined Impacts of Parameter Variations and BTI in Nano-scale Logical Gates
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
SAT(ID): satisfiability of propositional logic extended with inductive definitions
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
A study on the effect of particle size on coal flotation kinetics using fuzzy logic
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
Automated Cloud Classification of Global AVHRR Data Using a Fuzzy Logic Approach
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
Formal evaluation of the robustness of dual-rail logic against DPA attacks
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
Real-time optimization of a cascaded reservoirs hydropower plant based on fuzzy logic
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
Fuzzy Logic Controller for Enhancement of Transient Stability in Multi Machine AC-DC Power Systems
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
Broadened answer extraction of QA system capability using expanded notion of logical-linguistic approach
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
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
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
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
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
Mobile crane safe operation approach to prevent electrocution using fuzzy-set logic models
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
Tile-based QCA design using majority-like logic primitives
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
Unicast and multicast QoS routing with soft-constraint logic programming
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
Ultrafast shift and injection currents observed in wurtzite semiconductors via emitted terahertz radiation
and injection currents have been generated in bulk GaAs and strained GaAs quantum wells QWs , respectivelyUltrafast shift and injection currents observed in wurtzite semiconductors via emitted terahertz; published online 18 November 2005 Shift and injection currents are generated in the wurtzite semiconductors
Van Driel, Henry M.
NMR Nomenclature: nuclear spin properties and conventions for chemical shifts (IUPAC Recommendations 2001)
A unified scale is recommended for reporting the NMR chemical shifts of all nuclei relative to the 1H resonance of tetramethylsilane. The unified scale is designed to provide a precise ratio, ?, of the resonance frequency of a ... Keywords: IUPAC, NMR, chemical shift scales, notation, nuclear spin properties
Robin K. Harris; Edwin D. Becker; Sonia M. Cabral De Menezes; Robin Goodfellow; Pierre Granger
Feature Extraction of PDV Challenge Data Set A with Digital Down Shift (DDS)
This slide-show is about data analysis in photonic Doppler velocimetry. The digital down shift subtracts a specified velocity (frequency) from all components in the Fourier frequency domain and generates both the down shifted in-phase and out-of-phase waveforms so that phase and displacement can be extracted through a continuous unfold of the arctangent.
Tunnell, T. W.
Study of Shifting without Driving Force Interrupt for Double Electric Motor HEV
For traditional gearbox, the engine power is cut off while shifting, which will interrupt the power of power-train, make velocity down, affect the acceleration of up gear and lower the vehicle dynamic. A double electric motor hybrid electric vehicle ... Keywords: Double Electric Motor HEV, Shifting Without Driving Force Interrupt (SWDFI), Integrated Power-train
Wang Jiaxue; Wang Qingnian; Wang Weihua; Zeng Xiaohua; Li Chuan
Wideband, Efficient Optical Serrodyne Frequency Shifting with a Phase Modulator and a Nonlinear Transmission Line
We report shifting of the frequency of an 850 nm laser with an instantaneous bandwidth of (350-1650), MHz and an efficiency between 35% (minimum) to 80% (best at frequencies around 600 and 1500, MHz) by phase modulation with a sawtooth waveform ("serrodyne frequency shifting"). We use a fiber-coupled traveling wave electro-optical modulator driven by a nonlinear transmission line.
Houtz, Rachel; Mueller, Holger
Development of Novel Water-Gas Shift Membrane Reactor
This report summarizes the objectives, technical barrier, approach, and accomplishments for the development of a novel water-gas-shift (WGS) membrane reactor for hydrogen enhancement and CO reduction. We have synthesized novel CO{sub 2}-selective membranes with high CO{sub 2} permeabilities and high CO{sub 2}/H{sub 2} and CO{sub 2}/CO selectivities by incorporating amino groups in polymer networks. We have also developed a one-dimensional non-isothermal model for the countercurrent WGS membrane reactor. The modeling results have shown that H{sub 2} enhancement (>99.6% H{sub 2} for the steam reforming of methane and >54% H{sub 2} for the autothermal reforming of gasoline with air on a dry basis) via CO{sub 2} removal and CO reduction to 10 ppm or lower are achievable for synthesis gases. With this model, we have elucidated the effects of system parameters, including CO{sub 2}/H{sub 2} selectivity, CO{sub 2} permeability, sweep/feed flow rate ratio, feed temperature, sweep temperature, feed pressure, catalyst activity, and feed CO concentration, on the membrane reactor performance. Based on the modeling study using the membrane data obtained, we showed the feasibility of achieving H{sub 2} enhancement via CO{sub 2} removal, CO reduction to {le} 10 ppm, and high H{sub 2} recovery. Using the membrane synthesized, we have obtained <10 ppm CO in the H{sub 2} product in WGS membrane reactor experiments. From the experiments, we verified the model developed. In addition, we removed CO{sub 2} from a syngas containing 17% CO{sub 2} to about 30 ppm. The CO{sub 2} removal data agreed well with the model developed. The syngas with about 0.1% CO{sub 2} and 1% CO was processed to convert the carbon oxides to methane via methanation to obtain <5 ppm CO in the H{sub 2} product.
Ho, W. S. Winston
Effects of line shifts and the ion quadrupole contribution of spectral line asymmetries.
Line asymmetries and the corresponding shift of spectral lines due to the electron penetration of the radiator orbitals and the ion quadrupole contribution become more significant with increasing principal quantum number and increasing electron density. The mean field static shift due to electron penetration of the orbitals gives rise to an overall shift of the line to lower energy and a significant asymmetry near line center, but does not generate much redhlue far wing asymmetry. The ion quadrupole contribution results in a small blue shift of the spectral line and a small change in asymmetry near line center, but it gives rise to a significant redhlue wing asymmetry in the far wings of the line. Experimental data fiom recent spherical implosion experiments on OMEGA shows evidence of the mean field static shift and may also show the effects of level interactions between the Ar Lyman -{gamma}, -{delta}, -{var_epsilon} lines and also the Ar He -{gamma}, -{delta} lines.
Gunderson, M. A. (Mark A.); Delamater, N. D. (Norman D.); Kilcrease, D. P. (David P.); Haynes, D. A. (Donald A.)
Guide to good practices for the selection, training, and qualification of shift technical advisors
The DOE Guide to Good Practices For the Selection, Training, and Qualification of Shift Technical Advisors can be used by any DOE nuclear facility that has implemented the shift technical advisor (STA) position. DOE Order 5480.20A, Personnel Selection, Qualification and Training Requirements for DOE Nuclear Facilities, states that only Category A reactors must have a shift technical advisor. However, many DOE nuclear facilities have implemented the shift technical advisor position to provide independent on-shift technical advice and counsel to the shift operating personnel to help determine cause and mitigation of facility accidents. Those DOE nuclear facilities that have implemented or are going to implement the shift technical advisor position will find this guide useful. This guide addresses areas that may be covered by other training programs. In these cases, it is unnecessary (and undesirable) to duplicate these areas in the STA training program as long as the specific skills and knowledge essential for STAs are addressed. The guide is based on the premise that the trainee has not completed any facility-specific training other than general employee training.
Oxygen-17 NMR Shifts Caused by Cr{Sup ++} in Aqueous Solutions
DOE R&D Accomplishments (OSTI)
Cr{sup ++} in solution produces a paramagnetic shift in the NMR absorption of O{sup 17} in ClO{sub 4}{sup -}, as well as the expected paramagnetic shift for O{sup 17} in H{sub 2}O. As the concentration of ClO{sub 4}{sup -} increases, the shift in the H{sub 2}O{sup 17} absorption is diminished, and eventually changes sign. The effects are ascribed to preferential replacement by ClO{sub 4}{sup -} of water molecules from the axial positions in the first coordination sphere about Cr{sup ++}.
Jackson, J. A.; Lemons, J. F.; Taube, H.
Isotope shift on the chlorine electron affinity revisited by an MCHF/CI approach
Today, the electron affinity is experimentally well known for most of the elements and is a useful guideline for developing ab initio computational methods. However, the measurements of isotope shifts on the electron affinity are limited by both resolution and sensitivity. In this context, theory eventually contributes to the knowledge and understanding of atomic structures, even though correlation plays a dominant role in negative ions properties and, particularly, in the calculation of the specific mass shift contribution. The present study solves the longstanding discrepancy between calculated and measured specific mass shifts on the electron affinity of chlorine (Phys. Rev. A 51 (1995) 231)
Carette, Thomas
Long Lead Time Drought Forecasting Using a Wavelet and Fuzzy Logic Combination Model: A Case Study in Texas
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
A new fuzzy logic hydrometeor classification scheme applied to the French X, C and S-band polarimetric radars
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
Analysis and synthesis of logical-dynamic systems of automatic control of a gas-turbine engine
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
NBTI induced performance degradation in logic and memory circuits: how effectively can we approach a reliability solution?
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
WeaselBoard : zero-day exploit detection for programmable logic controllers.
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.
Fuzzy logic electric vehicle regenerative antiskid braking and traction control system
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.
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)
Non-Uniform Data Complexity of Query Answering in Description Logics
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
A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation using First-Order Logic
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
A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract)
) Brandon Bennett, Anthony G. Cohn and Amar Isli School of Computer Studies University of Leeds, Leeds LS2 9JT, England fbrandon,agc,email@example.com 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
InterProlog: Towards a declarative embedding of logic programming in Java
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
Waste Logic(TM): Decommissioning Waste Manager, Version 2.1 and Solid Waste Manager, Version 2.1
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...
Standard CMOS Implementation of a Multiple-Valued Logic Signed-Digit Adder Based on Negative Differential-Resistance Devices
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
An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs
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
Towards Resilient Critical Infrastructures: Application of Type-2 Fuzzy Logic in Embedded Network Security Cyber Sensor
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
LSRM - a tool for logic simulation of RISC-based microprocessor
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