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


1

Measuring spouse aggression  

E-Print Network [OSTI]

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

Snow, Alicia Carleen

1995-01-01T23:59:59.000Z

2

Automobile Driving and Aggressive Behavior  

E-Print Network [OSTI]

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

Novaco, Raymond W.

1991-01-01T23:59:59.000Z

3

Cost Shifting  

Science Journals Connector (OSTI)

Abstract Cost shifting exists when a provider raises prices for one set of buyers because it has lowered prices for some other buyer. In theory, cost shifting can take place only if providers have unexploited market power. The empirical evidence on the extent of cost shifting is mixed. Taken as a whole, the evidence does not support the claims that cost shifting is a large and pervasive feature of the US health-care markets. At most, one can argue that perhaps one-fifth of Medicare payment reductions have been passed on to private payers. The majority of the rigorous studies, however, have found no evidence of cost shifting.

M.A. Morrisey

2014-01-01T23:59:59.000Z

4

SPATIAL LOGIC + TEMPORAL LOGIC =? Roman Kontchakov  

E-Print Network [OSTI]

are some standard spatial and tem- poral logics, and + is some `operator' combining these two logics power of the component logics are related to the complexity and expressiveness of the resulting spatio-temporal logic x under various combination operators +. #12;2 To convey the flavour of the problems we are facing

Kurucz, Agi

5

SPATIAL LOGIC+TEMPORAL LOGIC=? Roman Kontchakov  

E-Print Network [OSTI]

are some standard spatial and tem­ poral logics, and + is some `operator' combining these two logics power of the component logics are related to the complexity and expressiveness of the resulting spatio­temporal logic x under various combination operators +. #12; 2 To convey the flavour of the problems we

Zakharyaschev, Michael

6

Einstein Shift and Doppler Shift  

Science Journals Connector (OSTI)

... IN answer to Sir Oliver Lodge's question (NATURE, December 26, p. 938), it depends on our point of view whether the Einstein shift ...

A. S. EDDINGTON

1926-01-16T23:59:59.000Z

7

Fuzzy Logic Introduction  

E-Print Network [OSTI]

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

Hawick, Ken

8

Alienation and Dialectical Logic  

E-Print Network [OSTI]

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

Wells, Harry K.

1972-04-01T23:59:59.000Z

9

Transition Logic Revisited  

Science Journals Connector (OSTI)

......115-132. [Bib93] Bibel Wolfgang . Deduction: Automated Logic (1993) London: Academic Press. [Bib98] Bibel...115132, 1986. [Bib93] Wolfgang Bibel. Deduction: Automated Logic. Academic Press, London, 1993. [Bib98] Wolfgang......

Wolfgang Bibel

2008-08-01T23:59:59.000Z

10

Reversible logic for supercomputing  

Science Journals Connector (OSTI)

This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a powerful case will have to be made to justify its substantial development expense. ... Keywords: applications modeling, climate change global warming, computer architecture, quantum dot cellular automata, reversible logic, supercomputing

Erik P. DeBenedictis

2005-05-01T23:59:59.000Z

11

Physiological Correlates of Aggression in Adolescent Females.  

E-Print Network [OSTI]

??Recently, with the development of new technology, researchers have focused on physiological predictors of aggressive behavior, specifically cortisol and alpha amylase. Gordis, Granger, Susman, and (more)

Dibble, Ashley

2009-01-01T23:59:59.000Z

12

Conditioning of aggressive water in Suriname:.  

E-Print Network [OSTI]

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

Salmin, A.

2008-01-01T23:59:59.000Z

13

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

E-Print Network [OSTI]

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

Feferman, Solomon

14

Decidability of an Xstit Logic  

Science Journals Connector (OSTI)

This paper presents proofs of completeness and decidability of a non-temporal fragment of an Xstit logic. This shows a distinction between the non-temporal fragments of Xstit logic and regular stit logic since...

Gillman Payette

2014-06-01T23:59:59.000Z

15

A restructurable logic simulator  

E-Print Network [OSTI]

elements were strictly binary and time was uniformly quantized. Interconnection information was used to confine simulation effort to active portions of the )ogic network. Delay was modeled with an event scheduling scheme, where logic state transitions... I7. g). Logic )evels become voltages and state transitions become transient responses. The circuit simulators include the effects of numerous parameters in their device models, and then generate their answers by numerically solving systems...

Ledford, Gordon Lee

2012-06-07T23:59:59.000Z

16

Decidability of an Xstit Logic  

Science Journals Connector (OSTI)

This paper presents proofs of completeness and decidability of a non-temporal fragment of an Xstit logic. This shows a distinction between the non-temporal fragments of Xstit logic and regular stit logic since the latter is undecidable. The proof of ... Keywords: Decidability, Kripke models, S5, Stit, Xstit

Gillman Payette

2014-06-01T23:59:59.000Z

17

Linear Logic as CSP  

Science Journals Connector (OSTI)

......research-article Original Articles Linear Logic as CSP ERIC MONTEIRO Department of Informatics...translation from such proofs into a corresponding CSP process is offered. It is shown that the...between the cut elimination process and the CSP execution. Generalizations and related......

ERIC MONTEIRO

1994-08-01T23:59:59.000Z

18

Testosterone and 5HIAA in dogs with intraspecific aggression  

E-Print Network [OSTI]

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

Haug, Lore I

2012-06-07T23:59:59.000Z

19

Shifts & Schedules  

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

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

20

Shifting scintillator neutron detector  

DOE Patents [OSTI]

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

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

2014-03-04T23:59:59.000Z

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


21

A Rough Logic Formalism for Fuzzy Controllers  

E-Print Network [OSTI]

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

Lin, Tsau Young

22

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

DOE Patents [OSTI]

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

Gschwind, Michael K

2013-07-23T23:59:59.000Z

23

Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?  

E-Print Network [OSTI]

Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet? 27 September) tel. 020 - 525 4531 Universiteit van Amsterdam Core logic course #12;Logic meets psychology 2 Marian course #12;Logic meets psychology 3 Marian Counihan What happens when logic and psychology meet? Two

Löwe, Benedikt

24

GeckoLogic | Open Energy Information  

Open Energy Info (EERE)

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

25

Superconducting digital logic amplifier  

SciTech Connect (OSTI)

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

Przybysz, J.X.

1989-08-22T23:59:59.000Z

26

Josephson-junction logic device  

SciTech Connect (OSTI)

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

Suzuki, H.

1987-12-01T23:59:59.000Z

27

Optimal Combinational Multi-Level Logic Synthesis.  

E-Print Network [OSTI]

??Within the field of automated logic design, the optimal synthesis of combinational logic has remained one of the most basic design objectives. However, the computational (more)

Ernst, Elizabeth Ann

2009-01-01T23:59:59.000Z

28

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

Open Energy Info (EERE)

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

29

DSM CONTINUES PORTFOLIO SHIFT  

Science Journals Connector (OSTI)

DSM CONTINUES PORTFOLIO SHIFT ... THE DUTCH specialty chemicals company DSM closed out 2010 with two transactions intended to sharpen its focus on the life and materials sciences. ... The announcements came just days after DSM signed an agreement to sell its elastomers business to Lanxess. ...

MICHAEL MCCOY

2011-01-03T23:59:59.000Z

30

Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?  

E-Print Network [OSTI]

Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet? 27 September) tel. 020 - 525 4531 Universiteit van Amsterdam Core logic course #12;Logic meets psychology 2 Marian Counihan What happens when logic and psychology meet? Two perspectives on the matter: - a psychologist

Löwe, Benedikt

31

Ambiguous Red Shifts  

E-Print Network [OSTI]

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

Carl E. Wulfman

2010-10-11T23:59:59.000Z

32

Labelled natural deduction for a bundled branching temporal logic  

Science Journals Connector (OSTI)

......other words, this logic does not enjoy the so-called...Hybrid logics. In: Handbook of Modal Logic-Blackburn...temporal logics. In: Handbook of Logic in Computer...tense and modality. In: Handbook of Philosophical Logic...other words, this logic does not enjoy the so-called......

Andrea Masini; Luca Vigan; Marco Volpe

2011-12-01T23:59:59.000Z

33

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

E-Print Network [OSTI]

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

Alvarez, Nadir

34

Experimental Results Of Fuzzy Logic Control For Lateral Vehicle Guidance  

E-Print Network [OSTI]

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

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

1994-01-01T23:59:59.000Z

35

Department Sets Aggressive Schedule for New Appliance Standards |  

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

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

36

Department Sets Aggressive Schedule for New Appliance Standards |  

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

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

37

Subtypes of aggressive children based on parent ratings  

E-Print Network [OSTI]

-proactive- instrumental-predatory subtype" (Vitiello and Stoff, 1997). Poulin, Cillessen, Hubbard, and Coie et al (1997), in studying the behavioral similarity phenomenon in childhood for aggression, found that subtypes of aggressive children existed as proactive...-94. McConaughy, S. H. , and Skiba, R. J. (1993). Comorbidity of externalizing and internalizing problems. School Ps cholo Review 22 3 421-436. Poulin, F. , Cillessen, A. H. N. , Hubbard, J. A. , & Coie, J. D. et al. (1997). Children's &iends...

Rodman, Jennifer K

2013-02-22T23:59:59.000Z

38

HYBRID LOGICS Carlos Areces and Balder ten Cate  

E-Print Network [OSTI]

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

Sattler, Ulrike

39

HYBRID LOGICS Carlos Areces and Balder ten Cate  

E-Print Network [OSTI]

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

ten Cate, Balder

40

Tarski's Conception of Logic1 Solomon Feferman  

E-Print Network [OSTI]

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

Feferman, Solomon

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


41

Optimal combinational multi-level logic synthesis  

Science Journals Connector (OSTI)

Within the field of automated logic design, the optimal synthesis of combinational logic has remained one of the most basic design objectives. However, the computational complexity of this optimization problem has limited the practical application of ...

Elizabeth Ann Ernst / Karem A. Sakallah

2009-01-01T23:59:59.000Z

42

Logical Data Expiration for Fixpoint Extensions of Temporal Logics  

E-Print Network [OSTI]

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

Toman, David

43

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

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

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

44

Hybrid Ockhamist Temporal Logic Patrick Blackburn  

E-Print Network [OSTI]

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

Goranko, Valentin

45

The Paradoxical Success of Fuzzy Logic  

E-Print Network [OSTI]

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

Baltes, Jacky

46

Fuzzy Logic for Biological and Agricultural Systems  

Science Journals Connector (OSTI)

Fuzzy logic is a powerful concept for handling non-linear, time-varying, adaptive systems. It permits the use of linguistic values of variables and imprecise relationships for modeling system behavior. The paper presents an overview of fuzzy logic ... Keywords: agricultural systems, biological systems, fuzzy logic, modeling

Brian Center; Brahm P. Verma

1998-02-01T23:59:59.000Z

47

Generic physical protection logic trees  

SciTech Connect (OSTI)

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

Paulus, W.K.

1981-10-01T23:59:59.000Z

48

ALMS: Automated logic mapping system  

Science Journals Connector (OSTI)

ALMS is a set of design automation computer programs which accepts as input a description of a logic design, specifications of modules (e.g., chips, cards, etc.) into which the blocks of the design are to be partitioned or mapped, and some constraints ...

R. L. Russo; P. K. Wolff, Sr.

1971-06-01T23:59:59.000Z

49

Abraham Calls on Global Community to Aggressively Address Nuclear  

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

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

50

DOE Office of Enforcement Continues Aggressive Energy Efficiency  

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

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

51

Passive Housing for an Aggressive Region | Department of Energy  

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

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

52

DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly  

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

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.

53

Passive Housing for an Aggressive Region | Department of Energy  

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

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

54

DOE Office of Enforcement Continues Aggressive Energy Efficiency  

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

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

55

Visions of CS, 14 April 2010 1/24 Finding Unity in Computational Logic  

E-Print Network [OSTI]

logic An early dream for automated logic: Let us implement logic (and why not, since its syntactic side

Miller, Dale

56

Logical foundation of theoretical physics  

E-Print Network [OSTI]

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

G. A. Quznetsov

2005-08-07T23:59:59.000Z

57

An Adaption Method For Fuzzy Logic Controllers In Lateral Vehicle Guidance  

E-Print Network [OSTI]

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

Hessburg, Thomas; Tomizuka, Masayoshi

1995-01-01T23:59:59.000Z

58

Shifts in fisheries management: adapting to regime shifts  

Science Journals Connector (OSTI)

...into fisheries management. regime shifts|precautionary approach|fisheries management|management strategy...years, fisheries science and management...The current approach in fisheries science and management couples risk management...

2015-01-01T23:59:59.000Z

59

Comparative studies of low-temperature watergas shift reaction over Pt=CeO2, Au=CeO2,  

E-Print Network [OSTI]

and Petrochemical College, Chulalongkorn University, Bangkok 10330, Thailand b Department of Chemical Engineering on board steam reforming of gas- oline and diesel fuel is the most logical means powering the PEFCs. However, the H2 produced from reformed gas contains $10% CO. In general, water­gas shift (WGS) reaction

Gulari, Erdogan

60

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

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

Kreinovich, Vladik

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


61

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

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

Ward, Karen

62

Automating Logic Rectification by Approximate SPFDs  

Science Journals Connector (OSTI)

In the digital VLSI cycle, a netlist is often modified to correct design errors, perform small specification changes or implement incremental rewiring-based optimization operations. Most existing automated logic rectification tools use a small set of ... Keywords: SAT-based algorithm, approximate SPFD, digital VLSI cycle, design errors, incremental rewiring-based optimization operations, automated logic rectification tools, predefined logic transformations, memory/time explosion problem

Yu-Shen Yang; S. Sinha; A. Veneris; R. K. Brayton

2007-01-01T23:59:59.000Z

63

Automated Logic Restructuring with aSPFDs  

Science Journals Connector (OSTI)

This chapter presents a comprehensive methodology to automate logic restructuring in combinational and sequential circuits. This technique algorithmically constructs the required transformation by utilizing a ...

Yu-Shen Yang; Subarna Sinha; Andreas Veneris

2011-01-01T23:59:59.000Z

64

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

E-Print Network [OSTI]

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

Kozick, Richard J.

65

Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical  

E-Print Network [OSTI]

Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical://www.cs.ubc.ca/spider/poole/ April 7, 2000 Abstract There are good normative arguments for using Bayesian decision theory multiple individuals (things). This paper shows how decision theory and logical ar- gumentation can

Poole, David

66

Automated Resoning in Modal Logics 0 (GENERAL PURPOSE) AUTOMATED REASONING IN MODAL LOGICS  

E-Print Network [OSTI]

Automated Resoning in Modal Logics 0 (GENERAL PURPOSE) AUTOMATED REASONING IN MODAL LOGICS BRANDEN FITELSON Department of Philosophy San Jos�e State University & Automated Reasoning Group.wisc.edu/fitelson BF @ AR @ MCS @ ANL & Philosophy @ SJSU May 16, 2002 Automated Resoning in Modal Logics 1

Fitelson, Branden

67

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

E-Print Network [OSTI]

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

Granada, Universidad de

68

E-Print Network 3.0 - aggressive skin malignancy Sample Search...  

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

Stanford University Collection: Biology and Medicine 3 Publication Schedule Advertising Summary: aggressive form of skin cancer -- malignant melanoma -- stress, including...

69

Micro-mechanical logic for field produceable gate arrays  

E-Print Network [OSTI]

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

Prakash, Manu

2005-01-01T23:59:59.000Z

70

Automating Logical Preservation for Small Institutions with Hoppla  

E-Print Network [OSTI]

Automating Logical Preservation for Small Institutions with Hoppla Stephan Strodl, Petar Petrov and outsources digital preservation expertise. This paper presents the automated logical preservation process of automating logical preservation by outsourcing expertise. 1 Introduction Digital information form essential

71

The police are not the army: context-dependent aggressiveness in a clonal ant  

Science Journals Connector (OSTI)

...much less in aggression after fusion (median 3%, quartiles 0...of worker policing in colony fusion experiments, and likewise only...context-specific, though similar types of behaviour are involved...who had been aggressive after fusion exhibit similar aggression several...

2010-01-01T23:59:59.000Z

72

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

E-Print Network [OSTI]

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

Grünwald, Niklaus J.

73

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

E-Print Network [OSTI]

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

Rostock, Universität

74

A logic for rough sets Ivo Dntsch  

E-Print Network [OSTI]

A logic for rough sets Ivo Düntsch School of Information and Software Engineering, University of a set forms a Boolean algebra under the usual set theoretic operations, while the collection of rough that regular double Stone algebras are a class of algebras appropriate for a logic of rough sets. Using

Düntsch, Ivo

75

A Reconfigurable PLA Architecture for Nanomagnet Logic  

Science Journals Connector (OSTI)

In order to continue the performance and scaling trends that we have come to expect from Moores Law, many emergent computational models, devices, and technologies are actively being studied to either replace or augment CMOS technology. Nanomagnet ... Keywords: Nanotechnology, benchmarking, defect tolerance, logic mapping, nanomagnet logic, quantum-dot cellular automata

Michael Crocker; Michael Niemier; X. Sharon Hu

2012-02-01T23:59:59.000Z

76

ALGEBRAIZATIONS OF QUANTIFIER LOGICS, AN INTRODUCTORY OVERVIEW  

E-Print Network [OSTI]

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

77

Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems1  

E-Print Network [OSTI]

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

Platzer, André

78

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

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

Ward, Karen

79

The Paradoxical Success of Fuzzy Logic \\Lambda Charles Elkan  

E-Print Network [OSTI]

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

Wang, Deli

80

Which Fuzzy Logic Is the Best: Pragmatic Approach  

E-Print Network [OSTI]

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

Kreinovich, Vladik

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


81

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

E-Print Network [OSTI]

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

Gerla, Giangiacomo

82

AUTOMATED LOGIC SYNTHESIS OF RANDOM PATTERN TESTABLE CIRCUITS  

E-Print Network [OSTI]

AUTOMATED LOGIC SYNTHESIS OF RANDOM PATTERN TESTABLE CIRCUITS Nur A. Touba and Edward J. Mc during logic synthesis. An automated logic synthesis procedure is described which takes as an input a two. The approach taken in this paper is to consider random pattern testability during logic synthesis. An automated

Touba, Nur A.

83

A System for Logic Program Synthesis from Incomplete Specifications  

E-Print Network [OSTI]

). It aims at automated logic pro- gram synthesis from incomplete specifications. After introducing the idea

Flener, Pierre

84

An improved proof-theoretic compilation of logic programs  

Science Journals Connector (OSTI)

In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant. ... Keywords: Abstract Logic Programming, Compilation, Hereditary Harrop Formulas, Well-Moded Logic Programs

Iliano Cervesato

2012-09-01T23:59:59.000Z

85

Combinations and completeness transfer for quantified modal logics  

Science Journals Connector (OSTI)

......counterpart (QML)? (ii) Does (frame-) completeness...First-order modal logic. In: Handbook of Modal Logic-Blackburn...for modal logic. In: Handbook of the Philosophy of...Correspondence theory. In: Handbook of Philosophical Logic-Gabbay...counterpart (QML)? (ii) Does (frame-) completeness......

Gerhard Schurz

2011-08-01T23:59:59.000Z

86

Generalized precedent logics for resolving insecurity dilemmas  

E-Print Network [OSTI]

This paper proposes the development and application of a series of gradually more powerful "reflective" logical procedures to increasingly complex and realistic sets of data on collective insecurity dilemmas. Such procedures ...

Alker, Hayward R.

1980-01-01T23:59:59.000Z

87

Dynamic Epistemic Temporal Logic Bryan Renne  

E-Print Network [OSTI]

, The Netherlands. http://bryan.renne.org/ School of Computer Science, Reykjav´ik University, Iceland. http. 080039021) and "Processes and Modal Logic" of The Icelandic Research Fund along with a grant from Reykjav

Renne, Bryan

88

Graphic update of automated logic diagrams  

Science Journals Connector (OSTI)

The Automated Logic Diagram, or ALD, is a well defined document prepared by engineers to specify the design of a machine. 1 The document is coded for computer input by highly trained transcription personnel. Changes or corrections ...

Richard J. Uhlik

1968-07-01T23:59:59.000Z

89

Automated Logic Design of Mos Networks  

Science Journals Connector (OSTI)

With the technological progress of integrated circuits of very large scale integration (VLSI), MOS logic families such as nMOS and C/MOS are becoming increasingly important because large integration size can b...

Hung Chi Lai; Saburo Muroga

1985-01-01T23:59:59.000Z

90

MATH20302 Propositional Logic 2012 Coursework 1  

E-Print Network [OSTI]

truth tables; (iii) using the method of replacing terms by logically equivalent terms (i.e. using which are entailed by/consequences of s. The proof of 1.6.1 in the notes (the Interpolation Theorem

Prest, Mike

91

H2 Logic | Open Energy Information  

Open Energy Info (EERE)

including consultancy,research and development, design and production in the hydrogen and fuel cell market. References: H2 Logic1 This article is a stub. You can help OpenEI by...

92

Application of Fuzzy Logic to Matrix FMECA  

Science Journals Connector (OSTI)

A methodology combining the benefits of Fuzzy Logic and Matrix FMEA is presented in this paper. The presented methodology extends the risk prioritization beyond the conventional Risk Priority Number (RPN) method. Fuzzy logic is used to calculate the criticality rank. Also the matrix approach is improved further to develop a pictorial representation retaining all relevant qualitative and quantitative information of several FMEA elements relationships. The methodology presented is demonstrated by application to an illustrative example.

N. Ravi Shankar; B. S. Prabhu

2001-01-01T23:59:59.000Z

93

Managing Complex Environmental Remediation amidst Aggressive Facility Revitalization Milestones  

SciTech Connect (OSTI)

Unlike the final closure projects at Rocky Flats and Fernald, many of the Department of Energy's future CERCLA and RCRA closure challenges will take place at active facilities, such as the Oak Ridge National Laboratory (ORNL) central campus. ORNL has aggressive growth plans for a Research Technology Park and cleanup must address and integrate D and D, soil and groundwater remediation, and on-going and future business plans for the Park. Different planning and tracking tools are needed to support closures at active facilities. To support some large Airport redevelopment efforts, we created tools that allowed the Airline lease-holder to perform environmental remediation on the same schedule as building D and D and new building construction, which in turn allowed them to migrate real estate from unusable to usable within an aggressive schedule. In summary: The FIM and OpenGate{sup TM} spatial analysis system were two primary tools developed to support simultaneous environmental remediation, D and D, and construction efforts at an operating facility. These tools helped redevelopers to deal with environmental remediation on the same schedule as building D and D and construction, thereby meeting their goals of opening gates, restarting their revenue streams, at the same time complying with all environmental regulations. (authors)

Richter Pack, S. [PMP Science Applications International Corporation, Oak Ridge, TN (United States)

2008-07-01T23:59:59.000Z

94

Fuzzy Logic Control For Lane Change Maneuvers In Lateral Vehicle Guidance  

E-Print Network [OSTI]

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

Hessburg, Thomas; Tomizuka, Masayoshi

1995-01-01T23:59:59.000Z

95

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

E-Print Network [OSTI]

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

Bauer, M.; Tomizuka, M.

1995-01-01T23:59:59.000Z

96

SVN commits: code Ss-shifted architecture  

E-Print Network [OSTI]

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

97

A Unifying Field in Logics: Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics (fourth edition)  

E-Print Network [OSTI]

In this book one makes an introduction to non-standard analysis in the first part, needed to the next four chapters in order to study the neutrosophics: 1. Neutrosophy - a new branch of philosophy. 2. Neutrosophic Logic - a unifying field in logics. 3. Neutrosophic Set - a unifying field in sets. 4. Neutrosophic Probability - a generalization of classical and imprecise probabilities - and Neutrosophic Statistics.

Florentin Smarandache

2001-01-28T23:59:59.000Z

98

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

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

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

99

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

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

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

100

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

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

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

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


101

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

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

in Drosophila, the signals that elicit aggression remain unclear. Here we show Source: Hale, John - Departments of Linguistics & Computer Science and Engineering, Michigan State...

102

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

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

REDUCTION FOR MULTIROBOT SYSTEMS Summary: SPATIAL INTERFERENCE REDUCTION FOR MULTI-ROBOT SYSTEMS USING RATIONAL AND TEAM-BASED AGGRESSION... Using Rational And Team-based...

103

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

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

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

104

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

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

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

105

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

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

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

106

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

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

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

107

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

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

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

108

E-Print Network 3.0 - aggression Sample Search Results  

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

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

109

Convection automated logic oven control  

SciTech Connect (OSTI)

For the past few years, there has been a greater push to bring more automation to the cooling process. There have been attempts at automated cooking using a wide range of sensors and procedures, but with limited success. The authors have the answer to the automated cooking process; this patented technology is called Convection AutoLogic (CAL). The beauty of the technology is that it requires no extra hardware for the existing oven system. They use the existing temperature probe, whether it is an RTD, thermocouple, or thermistor. This means that the manufacturer does not have to be burdened with extra costs associated with automated cooking in comparison to standard ovens. The only change to the oven is the program in the central processing unit (CPU) on the board. As for its operation, when the user places the food into the oven, he or she is required to select a category (e.g., beef, poultry, or casseroles) and then simply press the start button. The CAL program then begins its cooking program. It first looks at the ambient oven temperature to see if it is a cold, warm, or hot start. CAL stores this data and then begins to look at the food`s thermal footprint. After CAL has properly detected this thermal footprint, it can calculate the time and temperature at which the food needs to be cooked. CAL then sets up these factors for the cooking stage of the program and, when the food has finished cooking, the oven is turned off automatically. The total time for this entire process is the same as the standard cooking time the user would normally set. The CAL program can also compensate for varying line voltages and detect when the oven door is opened. With all of these varying factors being monitored, CAL can produce a perfectly cooked item with minimal user input.

Boyer, M.A.; Eke, K.I. [Apollo U.S.A. Inc., Orlando, FL (United States)] [Apollo U.S.A. Inc., Orlando, FL (United States)

1998-03-01T23:59:59.000Z

110

Fibred Coalgebraic Logic and Quantum Protocols  

E-Print Network [OSTI]

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

Daniel Marsden

2014-12-30T23:59:59.000Z

111

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

E-Print Network [OSTI]

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

Simunic, Tajana

112

Fuzzy Logic?Based Audio Pattern Recognition  

Science Journals Connector (OSTI)

Audio and audio?pattern recognition is becoming one of the most important technologies to automatically control embedded systems. Fuzzy logic may be the most important enabling methodology due to its ability to rapidly and economically model such application. An audio and audio?pattern recognition engine based on fuzzy logic has been developed for use in very low?cost and deeply embedded systems to automate human?to?machine and machine?to?machine interaction. This engine consists of simple digital signal?processing algorithms for feature extraction and normalization and a set of pattern?recognition rules manually tuned or automatically tuned by a self?learning process.

M. Malcangi

2008-01-01T23:59:59.000Z

113

A fuzzy logic controller for autonomous vehicle control  

E-Print Network [OSTI]

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

Vinson, Yale Patrick

2012-06-07T23:59:59.000Z

114

Automating Logic Rectification by Approximate SPFDs Yu-Shen Yang  

E-Print Network [OSTI]

Automating Logic Rectification by Approximate SPFDs Yu-Shen Yang Dept. of ECE University of Toronto changes or implement incremental rewiring-based optimization operations. Most existing automated logic

Veneris, Andreas

115

Verification of a technical system model with linear temporal logic  

Science Journals Connector (OSTI)

We consider the verification problem for an electromechanical device with a variable number of connectors and solve it with the modal logic LTL (Linear Temporal Logic). In the course of the analysis, we prove continuity and unambiguity theorems for the ...

A. N. Nepeivoda

2012-09-01T23:59:59.000Z

116

On the logical formalization of theory change and scientific anomalies  

Science Journals Connector (OSTI)

......explanatory scope of a theory that does not agree with the theory prevision...Fitting M. Basic modal logic. In: Handbook of Logic in Artificial Intelligence...explanatory scope of a theory that does not agree with the theory prevision......

Ricardo Sousa Silvestre

2012-04-01T23:59:59.000Z

117

MODAL LOGIC This Handbook documents the current state of modal logic, a lively area of logical research which  

E-Print Network [OSTI]

-truth-functional nature of the operators, reflecting the larger space of relevant situations, typically leads to systems- order predicate logic, but they restrict expressive power by using operators instead of explicit to light the inner structure of classical systems. But these views are not in conflict. As the Handbook

Sattler, Ulrike

118

SPECTRAL BASED NUMERICAL METHODS FOR COMBINATIONAL LOGIC SYNTHESIS  

E-Print Network [OSTI]

judged to be inappropriate for automated logic synthesis systems since the nec­ essary calculations were

Thornton, Mitchell

119

HIGH LEVEL MODELLING AND DESIGN OF ASYNCHRONOUS INTERFACE LOGIC  

E-Print Network [OSTI]

implementation until its size can be handled by automated logic synthesis tools, as well as replacing symbolic

Newcastle upon Tyne, University of

120

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

E-Print Network [OSTI]

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

Ryan, Mark

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


121

Correctness of linear logic proof structures is NL-complete  

Science Journals Connector (OSTI)

We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a linear logic proof structure is NL-complete. Keywords: Complexity classes, Correctness criteria, Linear logic, Nondeterministic logspace

Paulin Jacob De Naurois; Virgile Mogbil

2011-04-01T23:59:59.000Z

122

Logic and Philosophy See also Philosophy page 146  

E-Print Network [OSTI]

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

Brierley, Andrew

123

Coordination of Excitation and Governing Control Based on Fuzzy Logic  

E-Print Network [OSTI]

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

124

Genetic Programming of Full Knowledge Bases for Fuzzy Logic Controllers  

E-Print Network [OSTI]

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

Fernandez, Thomas

125

The Promise of Fuzzy Logic in Generalised Music Composition  

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

126

Fuzzy Logic Programming and Fuzzy Control Giangiacomo Gerla  

E-Print Network [OSTI]

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

Gerla, Giangiacomo

127

The fuzzy logic of visuomotor control1 Arthur Prochazka  

E-Print Network [OSTI]

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

Prochazka, Arthur

128

USING TREE AUTOMATA TO INVESTIGATE INTUITIONISTIC PROPOSITIONAL LOGIC  

E-Print Network [OSTI]

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

Shore, Richard A.

129

Logical and Analytic Truths That Are Not Edward N. Zalta  

E-Print Network [OSTI]

are consequences of the tradi- tional conception of logical truth, analytic truth, and necessity: (1Logical and Analytic Truths That Are Not Necessary Edward N. Zalta Center for the Study of Language and Information Stanford University The notions of logical truth, analytic truth, and necessary truth

Zalta, Edward N.

130

Computational Use of Informal Logic Dialogue Games  

E-Print Network [OSTI]

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

Reed, Chris

131

Quantum logic gates for superconducting resonator qudits  

SciTech Connect (OSTI)

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

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

2011-11-15T23:59:59.000Z

132

Pretopology semantics for bimodal intuitionistic linear logic  

Science Journals Connector (OSTI)

......is sho wn b y structural induction? F or parts ? and ? pro ceed b y induc? tion on pro ofs? P art ? follo ws from ???? Ha...s ??? mo deling of mo dalities in linear logic one can pro ceed as these authors do to a phase?space seman tics mo deling t......

C Hartonas

1997-01-01T23:59:59.000Z

133

Logical Systems Incorporated The Help Systems  

E-Print Network [OSTI]

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

Mann, Tim

134

Computer-Aided Logic Synthesis for VLSI Chips  

Science Journals Connector (OSTI)

Publisher Summary Logic design in designing computers generally means the design of a logic network, with prespecified types of logic gates, that realizes a given logic function. This chapter provides an overview of the research on automated logic synthesis, the design of minimal logic networks by integer programming, the transduction method for the design of NOR logic networks, the logic design of MOS networks, and SYLONthe new Logic-Synthesis system. Minimal networks do not necessarily lead to the most compact layout on a chip, but minimal or near-minimal networks generally would lead to the most compact layouts. Because of the progress of the VLSI technology, a single chip can be packed with an enormous number of transistors. The transduction method is based on the following: design of an initial network, reduction of a network, transformation of a network, and repetition of reduction and transformation. The significance of the transduction method is the introduction of the basic concept whereby local and/or global transformation and reduction were repeatedly applied to initial networks at a time when initial networks with simple transformations based on certain connection patterns were considered to be the final result of the logic design. Future computers will consist of a far larger number of logic gates than present ones. Faced only recently with the formidable task of designing networks with such a large number of logic gates, the computer industry has no choice but to use automated logic synthesis. This is just the beginning of extensive use of automated logic synthesis, and will need many years to improve it in numerous aspects, such as computational efficiency, capability of handling logic networks of ever-increasing size, quality of designed networks, and types of electronic circuits.

Saburo Muroga

1991-01-01T23:59:59.000Z

135

Constructing a logical, regular axis topology from an irregular topology  

DOE Patents [OSTI]

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

Faraj, Daniel A.

2014-07-01T23:59:59.000Z

136

Constructing a logical, regular axis topology from an irregular topology  

DOE Patents [OSTI]

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

Faraj, Daniel A.

2014-07-22T23:59:59.000Z

137

Intermediate Energy NN Phase Shifts. II  

Science Journals Connector (OSTI)

......Progress Letters Intermediate Energy NN Phase Shifts. II Norio...Takatoshi Watanabe Department of Nuclear Engineering, Faculty of Engineering...1019-1024 Intermediate Energy pp Phase Shifts to 1000 MeV...Dakhno et al. Leningrad Nuclear Physics Institute report 692......

Norio Hoshizaki; Takatoshi Watanabe

1991-08-01T23:59:59.000Z

138

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

139

Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts  

Open Energy Info (EERE)

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

140

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

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

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

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


141

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

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

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

142

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

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

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

143

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

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

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

144

Tax aggressiveness, R&D spending, and firms claims for R&D tax deductions.  

E-Print Network [OSTI]

??Using proprietary data obtained from a local tax office in China, I examine how tax aggressiveness affects a firms incentive to claim for R&D tax (more)

Wang, Zitian.

2013-01-01T23:59:59.000Z

145

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

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

of medicine Summary: , Watanabe T, et al. Mutations of the p53 gene as a prognos- tic factor in aggressive B-cell lymphoma. N Engl... of Bcl-2 pro- tein expression and Bcl-2...

146

E-Print Network 3.0 - aggressive brain tumor Sample Search Results  

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

brain tumor Search Powered by Explorit Topic List Advanced Search Sample search results for: aggressive brain tumor Page: << < 1 2 3 4 5 > >> 1 10th International Conference on...

147

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

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

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

148

Encoding a logical qubit into physical qubits  

SciTech Connect (OSTI)

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

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

2005-02-01T23:59:59.000Z

149

Logical Structure of Physical Probability Assertions  

E-Print Network [OSTI]

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

Joseph F. Johnson

2005-08-07T23:59:59.000Z

150

Reliability concerns with logical constants in Xilinx FPGA designs  

SciTech Connect (OSTI)

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

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

2009-01-01T23:59:59.000Z

151

Scalar Field Theories with Polynomial Shift Symmetries  

E-Print Network [OSTI]

We continue our study of naturalness in nonrelativistic QFTs of the Lifshitz type, focusing on scalar fields that can play the role of Nambu-Goldstone (NG) modes associated with spontaneous symmetry breaking. Such systems allow for an extension of the constant shift symmetry to a shift by a polynomial of degree $P$ in spatial coordinates. These "polynomial shift symmetries" in turn protect the technical naturalness of modes with a higher-order dispersion relation, and lead to a refinement of the proposed classification of infrared Gaussian fixed points available to describe NG modes in nonrelativistic theories. Generic interactions in such theories break the polynomial shift symmetry explicitly to the constant shift. It is thus natural to ask: Given a Gaussian fixed point with polynomial shift symmetry of degree $P$, what are the lowest-dimension operators that preserve this symmetry, and deform the theory into a self-interacting scalar field theory with the shift symmetry of degree $P$? To answer this (essen...

Griffin, Tom; Horava, Petr; Yan, Ziqi

2014-01-01T23:59:59.000Z

152

Search for Higgs shifts in white dwarfs  

E-Print Network [OSTI]

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

Roberto Onofrio; Gary A. Wegner

2014-09-30T23:59:59.000Z

153

Muon Knight Shift Studies in Metals  

Science Journals Connector (OSTI)

The Knight shift K? of the positive muon implanted as a proton substitute in various ... has been measured by means of a stroboscopic muon spin rotation method 1). The stroboscopic ... + SR technique bases on a p...

F. N. Gygax; A. Hintermann; W. Regg

1980-01-01T23:59:59.000Z

154

Algebra and Geometry of Rough Logic Controllers T. Y. Lin 1 tylin@cs.susu.edu  

E-Print Network [OSTI]

for intelligent controls, is a mathematical formalism that integrates fuzzy logic, rough sets , evolutionary: control, fuzzy logic, evolutionary computing, modal logic, rough logic, rough set. 1 IntroductionAlgebra and Geometry of Rough Logic Controllers T. Y. Lin 1 tylin@cs.susu.edu Martin Wildberger 2

Lin, Tsau Young

155

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting  

Science Journals Connector (OSTI)

This paper presents a model checker for LTLR, a subset of the temporal logic of rewriting TLR* extending linear temporal logic with spatial action patterns. Both LTLR and TLR* are very expressive logics generalizing well-known state-based and action-based ... Keywords: model checking, reflective transformation, rewriting logic, temporal logic of rewriting

Kyungmin Bae; Jos Meseguer

2012-12-01T23:59:59.000Z

156

A fuzzy logic controller for autonomous vehicle control.  

E-Print Network [OSTI]

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

Vinson, Yale Patrick

2012-01-01T23:59:59.000Z

157

Development of an adaptive fuzzy logic controller for HVAC system.  

E-Print Network [OSTI]

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

Navale, Rahul Laxman

2006-01-01T23:59:59.000Z

158

Epistemic Friction: Reflections on Knowledge, Truth, and Logic  

E-Print Network [OSTI]

operators, truths, and consequences of other disciplines.its operators, its truths, and its consequences, fromlogical truth grounded in reality, logical consequence, too,

Sher, Gila

2010-01-01T23:59:59.000Z

159

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

E-Print Network [OSTI]

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

Stowell, Michael

160

Substation evaluation using Diagnostic Logic System (DIALOG)  

SciTech Connect (OSTI)

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

Andre, W.L.

1989-08-01T23:59:59.000Z

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


161

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

Office of Environmental Management (EM)

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

162

Constraint Orientated Specification with CSP and Real Time Temporal Logic  

E-Print Network [OSTI]

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

Kent, University of

163

Description Logics as Ontology Languages for the Semantic Web  

E-Print Network [OSTI]

Description Logics as Ontology Languages for the Semantic Web Franz Baader 1 , Ian Horrocks 2. The vision of a Semantic Web has recently drawn consider- able attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web and thus help to make

Baader, Franz

164

Carnap on the Foundations of Logic and Mathematics  

E-Print Network [OSTI]

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

Koellner, Peter

165

Logic and Philosophy See also Philosophy page 136  

E-Print Network [OSTI]

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

Brierley, Andrew

166

The Logic of Global Warming A bitter pill  

E-Print Network [OSTI]

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

Pratt, Vaughan

167

The Role of Fuzzy Logic Control in Evolutionary Robotics  

E-Print Network [OSTI]

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

Hoffmann, Frank

168

Relevance Logic in Computer Science Stuart C. Shapiro  

E-Print Network [OSTI]

Relevance Logic in Computer Science #3; Stuart C. Shapiro Department of Computer Science State@vaxa.isi.edu October 12, 1987 x83. Relevance logic in computer science (by Stuart C. Shapiro). Arti#12;- cial University of New York at Bu#11;alo Bu#11;alo, NY 14260 shapiro@cs.bu#11;alo.edu during 1987{88 on sabbatical

Shapiro, Stuart C.

169

Fusion of sequent modal logic systems labelled with truth values  

Science Journals Connector (OSTI)

......2010 research-article Original Articles Fusion of sequent modal logic systems labelled...utl.pt , css@math.ist.utl.pt Fusion is a well-known form of combining normal...calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent......

Joo Rasga; Karina Roggia; Cristina Sernadas

2010-12-01T23:59:59.000Z

170

Fuzzy logic design of self-tuning switching power supply  

Science Journals Connector (OSTI)

This paper presents the design of a variable-voltage DC source using proportional and integral (PI)-like fuzzy logic controller (FLC). Three types of topology (buck converter, boost converter, and buck-boost converter) are used to step down, step up, ... Keywords: Duty cycle, PI-like fuzzy logic controller, Self-tuning switching power supply

Chin-Hsing Cheng; Po-Jen Cheng; Ming-Tzong Wu

2010-04-01T23:59:59.000Z

171

Testing Programmable Logic Controllers from Finite State Machines specification  

E-Print Network [OSTI]

Testing Programmable Logic Controllers from Finite State Machines specification Julien Provost, on the basis of experiments, that execution of conformance tests of programmable logic controllers with minimum-length test sequences built from specifications in FSMs may yield spurious results. A new approach to build

Paris-Sud XI, Université de

172

Logic Synthesis with High Speed CMOS Circuit Techniques  

Science Journals Connector (OSTI)

Systems for automated logic synthesis with the True Single Phase Clocking circuit technique (TSPC) and a modified form of the Clock and Data Precharged Dynamic (CDPD) circuit technique, are presented. The CDPD system synthesizes high speed one clock ... Keywords: CMOS integrated circuits, logic synthesis

Johnny Pihl; Einar J. Aas

1997-01-01T23:59:59.000Z

173

A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning  

E-Print Network [OSTI]

-words: Truth Functional Belief, Uncertain Reasoning, Probability Logic, Fuzzy Logic. Abstract A new criterion in a probabilistic world and the relationship of this criterion to several established criteria, and its consequences for truth functional belief, are investigated. Introduction It is a rather widespread assumption

Paris, Jeff

174

Multi-valued Logics, Effectiveness and Domains Giangiacomo Gerla  

E-Print Network [OSTI]

with the related fuzzy subset of logical consequences. Now it is evident that a basic task for fuzzy logic that the fuzzy subset of consequences of a "decidable" fuzzy subset of axioms is "effectively enumerable". To do of truth values is a continuum. More precisely, density is suggested by the existence of intermediate

Gerla, Giangiacomo

175

Unification of arrays in spreadsheets with logic programming  

Science Journals Connector (OSTI)

Unification, one of the key processes underlying logic programming (LP), provides a powerful mechanism for assembling and disassembling structures, lists in particular, by matching patterns. In recent work, we showed how spreadsheets can be enhanced ... Keywords: array, logic programming, spreadsheet, unification

Philip T. Cox; Patrick Nicholson

2008-01-01T23:59:59.000Z

176

Nominal (Universal) Algebra: Equational Logic with Names and Binding  

Science Journals Connector (OSTI)

......terms for unknowns does not avoid capture...this last step as a calculation: [b]([a...with types. In Handbook of Logic in Computer...equational logic. Electronic Notes in Theoretical...theory of contexts. Electronic Notes in Theoretical...pi-calculus. In Handbook of Process Algebra......

Murdoch J. Gabbay; Aad Mathijssen

2009-12-01T23:59:59.000Z

177

On Action Logic: Equational Theories of Action Algebras  

Science Journals Connector (OSTI)

......all i = 1, ,n . If gamma1, ,gamman* does not belong to T, then gamma1, ,gamma...Benthem J and ter Meulen A (Eds.). Handbook of Logic and Language(Elsevier, Amsterdam...Benthem J and ter Meulen A (Eds.). Handbook of Logic and Language(Elsevier, Amsterdam......

Wojciech Buszkowski

2007-02-01T23:59:59.000Z

178

GreenShift Corporation | Open Energy Information  

Open Energy Info (EERE)

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

179

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

E-Print Network [OSTI]

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

Pham, Cao Van

2009-01-01T23:59:59.000Z

180

Sequential Logic Rectifications with Approximate SPFDs Yu-Shen Yang1, Subarna Sinha2, Andreas Veneris1, Robert K. Brayton3, and Duncan Smith4  

E-Print Network [OSTI]

such logic transformations. An automated logic restructuring methodology for combinational cir- cuits

Veneris, Andreas

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


181

Proton Mass Shift in Muonic Hydrogen Atom  

E-Print Network [OSTI]

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

Aiichi Iwazaki

2014-08-11T23:59:59.000Z

182

Hopping Hotspots: Global Shifts in Marine Biodiversity  

E-Print Network [OSTI]

Hopping Hotspots: Global Shifts in Marine Biodiversity W. Renema,1,4 * D. R. Bellwood,2 J. C. Braga species diversity are a prominent feature of modern global biodiversity patterns. Fossil and molecular evidence is starting to reveal the history of these hotspots. There have been at least three marine

Bermingham, Eldredge

183

Regime shifts in models of dryland vegetation  

Science Journals Connector (OSTI)

...Department of Solar Energy and Environmental...pattern-forming systems showing self-organized...incipient shift to a hybrid state consisting...conditions of high wind power-[33...multitude of stable hybrid states. The...extended root systems in inducing hybrid states. This...

2013-01-01T23:59:59.000Z

184

Comments on Origin of Solvent Knight Shifts in Alloys  

Science Journals Connector (OSTI)

The various sources of changes in solvent Knight shifts upon alloying, and nonlinear effects are examined.

R. E. WATSON; L. H. BENNETT; A. J. FREEMAN

1969-03-10T23:59:59.000Z

185

MIXING PROPERTIES OF TRIANGULAR FEEDBACK SHIFT BERND SCHOMBURG  

E-Print Network [OSTI]

generators and to stream ciphers in CFB mode. Key words. Feedback shift registers, Markov chains, stochastic

186

34 Chemical Shifts and Coupling Constants for CHP  

Science Journals Connector (OSTI)

It contains 31P NMR data (chemical shift, coupling constant), structural diagram, and solvent of CHP

M. Kumar

2013-01-01T23:59:59.000Z

187

Clear Cell Renal Cell Carcinoma: Gene Expression Analyses Identify a Potential Signature for Tumor Aggressiveness  

Science Journals Connector (OSTI)

...light green) and aggressive primaries (dark green). Nonaggressive CCRCC primaries...protein in renal cell carcinoma to meet the energy demands of the tumor cells following diminished...transcription-PCR (RT-PCR). Both the discovery and the validation cohorts included nonaggressive...

Farhad Kosari; Alexander S. Parker; Dagmar Marie Kube; Christine M. Lohse; Bradley C. Leibovich; Michael L. Blute; John C. Cheville; and George Vasmatzis

2005-07-15T23:59:59.000Z

188

Densely Ionizing Radiation Acts via the Microenvironment to Promote Aggressive Trp53-Null Mammary Carcinomas  

Science Journals Connector (OSTI)

...Radiation Acts via the Microenvironment to Promote Aggressive Trp53-Null Mammary...changes from radiation contribute strongly to carcinogenic potential. Densely ionizing...radiation chimera in which mice were exposed to densely ionizing 350 MeV/amu Si-particles...

Irineu Illa-Bochaca; Haoxu Ouyang; Jonathan Tang; Christopher Sebastiano; Jian-Hua Mao; Sylvain V. Costes; Sandra Demaria; Mary Helen Barcellos-Hoff

2014-12-01T23:59:59.000Z

189

Respiratory patterns reflect different levels of aggressiveness and emotionality in Wild-type Groningen rats  

Science Journals Connector (OSTI)

Abstract Respiratory patterns represent a promising physiological index for assessing emotional states in preclinical studies. Since disturbed emotional regulation may lead to forms of excessive aggressiveness, in this study we investigated the hypothesis that rats that differ largely in their level of aggressive behavior display matching alterations in respiration. Respiration was recorded in male high-aggressive (HA, n=8) and non-aggressive (NA, n=8) Wild-type Groningen rats using whole-body plethysmography. Subsequently, anxiety-related behaviors were evaluated in the elevated plus maze and social avoidanceapproach tests. During respiratory testing, HA rats showed elevated basal respiratory rate, reduced sniffing, exaggerated tachypnoeic response to an acoustic stimulus and a larger incidence of sighs. In addition, HA rats spent less time in the open arms of the plus maze and displayed higher levels of social avoidance behavior compared to NA rats. These findings indicate that HA rats are characterized by alterations in respiratory functioning and behavior that are overall indicative of an anxiety-like phenotype.

Luca Carnevali; Eugene Nalivaiko; Andrea Sgoifo

2014-01-01T23:59:59.000Z

190

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

E-Print Network [OSTI]

Assisted Teleoperation Strategies for Aggressively Controlling a Robot Arm with 2D Input Erkang You,hauserk}@indiana.edu Abstract--This paper studies assisted teleoperation techniques for controlling a 6DOF robot arm using click enable novice users to control robot arms successfully in applications such as material handling

Indiana University

191

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

E-Print Network [OSTI]

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

192

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

E-Print Network [OSTI]

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

Moore, Paul A.

193

Shift of the emission band upon excitation at the long wavelength absorption edge. II. Importance of the solutesolvent interaction and the solvent reorientation relaxation process  

Science Journals Connector (OSTI)

Fluorescence and phosphorescence of quinine and its related compounds such as 6?methoxyquinoline are found to exhibit a red shift when excitation is achieved at the long wavelength edge of the first absorption band and this anomalous shift is investigated in detail. The anomalous shift is observed not only in room temperature fluorescence but also in low temperature fluorescence and phophorescence. The term e d g e e x c i t a t i o n r e d s h i f t (EERS) is introduced. After various plausible interpretations we have suggested a logical mechanism for EERS. In the suggested mechanism EERS is observed if the solvent reorientation relaxation rate is small compared with the emission rate and the FranckCondon solvation energy is reasonably large with respect to solvent orientation. All the experimental observations are satisfactorily interpreted within the framework of the suggested mechanism.

Ken?ichi Itoh; Tohru Azumi

1975-01-01T23:59:59.000Z

194

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

E-Print Network [OSTI]

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

Gerla, Giangiacomo

195

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

E-Print Network [OSTI]

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

196

MIXSyn: An Efficient Logic Synthesis Methodology for Mixed XOR-AND/OR Dominated Circuits  

E-Print Network [OSTI]

, respectively. I. INTRODUCTION Automated logic synthesis has been the corner stone of modern electronic design

De Micheli, Giovanni

197

Dimensions of Difficulty in Translating Natural Language into First Order Logic  

E-Print Network [OSTI]

automated logic assessment tool; in particular, it suggests we should provide different kinds of assistance

Dale, Robert

198

Paradigm Shift: Burning Coal to Geothermal  

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

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

199

Nuclear sizes and the isotope shift  

Science Journals Connector (OSTI)

Darwin-Foldy nuclear-size corrections in electronic atoms and nuclear radii are discussed from the nuclear-physics perspective. The interpretation of precise isotope-shift measurements is formalism dependent, and care must be exercised in interpreting these results and those obtained from relativistic electron scattering from nuclei. We strongly advocate that the entire nuclear-charge operator be used in calculating nuclear-size corrections in atoms rather than relegating portions of it to the nonradiative recoil corrections. A preliminary examination of the intrinsic deuteron radius obtained from isotope-shift measurements suggests the presence of small meson-exchange currents (exotic binding contributions of relativistic order) in the nuclear charge operator, which contribute approximately 12%.

J. L. Friar; J. Martorell; D. W. L. Sprung

1997-12-01T23:59:59.000Z

200

Red Shift from Gravitational Back Reaction  

E-Print Network [OSTI]

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

Ernst Fischer

2007-03-30T23:59:59.000Z

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


201

Lapse and shift in Regge calculus  

Science Journals Connector (OSTI)

I use my (3+1)-dimensional Regge calculus code to give the first explicit verification that there is an approximate diffeomorphism invariance in Regge calculus. In particular I evolve a neighborhood in a spacelike hypersurface numerically, and show that one may choose lapse and shift freely. I use my numerical approach to analyze the structure of this discrete diffeomorphism group. I also study the constraints in Regge calculus, and find that they are proportional to the third power of the lattice spacing.

Mark Galassi

1993-04-15T23:59:59.000Z

202

Stabilizing windings for tilting and shifting modes  

DOE Patents [OSTI]

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

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

1984-01-01T23:59:59.000Z

203

Concurrent Constraint Programming and NonCommutative Logic  

E-Print Network [OSTI]

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

Ruet, Paul

204

Circuits for high-performance low-power VLSI logic  

E-Print Network [OSTI]

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

Ma, Albert

2006-01-01T23:59:59.000Z

205

Some improvements of fuzzy logic controllers with applications.  

E-Print Network [OSTI]

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

Zhang, Shanshan (???)

2007-01-01T23:59:59.000Z

206

On the Logic of the Ontological Argument Paul E. Oppenheimer  

E-Print Network [OSTI]

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

Zalta, Edward N.

207

Logical Effort of Higher Valency Adders David Harris  

E-Print Network [OSTI]

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

Harris, David Money

208

Deriving a mode logic using failure modes and effects analysis  

Science Journals Connector (OSTI)

Modes are widely used to structure the behaviour of control systems. However, derivation and verification of a mode logic for complex systems is challenging due to a large number of modes and intricate mode transitions. In this paper, we propose an approach to deriving, formalising and verifying consistency of a mode logic for fault-tolerant control systems. We propose to use failure modes and effects analysis (FMEA) to systematically derive the fault tolerance part of the mode logic. We formalise the mode logic and define mode consistency properties for layered systems with reconfigurable components. We use our formalisation to develop and verify a mode-rich system by refinement in Event-B.

Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala

2012-01-01T23:59:59.000Z

209

Parameter Mismatches, Chaos Synchronization and Fast Dynamic Logic Gates  

E-Print Network [OSTI]

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

E. M. Shahverdiev

2009-07-02T23:59:59.000Z

210

Automated logic design techniques applicable to integrated circuitry technology  

Science Journals Connector (OSTI)

Rapidly advancing integrated circuit technology has placed many new and often unforeseen demands on logic packaging techniques and, hence, is also impacting traditional computer design concepts. For instance, one of the most pertinent and immediate requirements ...

R. Waxman; M. T. McMahon; B. J. Crawford; A. B. DeAndrade

1966-11-01T23:59:59.000Z

211

Unification of Arrays in Spreadsheets with Logic Programming  

Science Journals Connector (OSTI)

Unification, one of the key processes underlying logic programming (LP), provides a powerful mechanism for assembling and disassembling structures, lists in particular, by matching patterns. In recent work, we...

Philip T. Cox; Patrick Nicholson

2008-01-01T23:59:59.000Z

212

The Temporal Logic of Rewriting: A Gentle Introduction  

Science Journals Connector (OSTI)

This paper presents the temporal logic of rewriting $\\mathit{TLR}^{\\ast}$. Syntactically, $\\mathit{TLR}^{\\ast}$ is a very simple extension of $\\mathit{CTL}^{\\ast}$ which just adds action atoms, in the form of spatial action patterns, ...

Jos Meseguer

2008-06-01T23:59:59.000Z

213

Generation of Test Sequences for programmable logic array-based Finite State Machines  

E-Print Network [OSTI]

, single, new-state fault for benchmark FSMs 69 XVI XVII Percentage of faults (Logical simulation) (1000 and 2500 iterations): Ran- dom Input Faults Percentage of faults (Logical simulation) (3500 and 5000 iterations): Ran- 70 dom Input Faults 71... TABLE Page XVIII Percentage of saults (Logical simulation) (1000 and 2500 iterations): Ran- dom Output Faults Percentage of faults (Logical simulation) (3500 and 5000 iterations): Ran- 72 dom Output Faults 73 XX Percentage of faults (Logical...

Sathyanarayana, Murali Kadaba

2012-06-07T23:59:59.000Z

214

Application of programmable logic controllers to substation control and protection  

SciTech Connect (OSTI)

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

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

1994-01-01T23:59:59.000Z

215

Speech Recognition, Using Analog Threshold Logic  

Science Journals Connector (OSTI)

A speech?analysis system using analog threshold logic (ATL) for feature abstraction is being developed to recognize consonants in utterances of CVC words by a number of talkers. The ATL element originally modeled after the biological neuron has an output that is linearly proportional to the net sum of excitatory and inhibitory inputs provided that this net sum is greater than some adjustable threshold. The speech?analysis system abstracts relatively steady?state as well as transient features over almost 60 dB of dynamic range from the logarithmitized outputs of 19 low?Q filters. Feature abstraction takes place in real time does not require segmentation utilizes parallel processing and provides information about both the presence and magnitude of the frequency?energy?temporal characteristics of speech sounds. Many features corresponding to results of speech?recognition experiments described in the literature have been automatically abstracted by ATL networks which measure the slope of the spectral envelope in real time. Using the experimental system recognition scores in the range of 82%99% were obtained for 16 consonants. Results for the fricative consonants are discussed and some of their invariant features described. [Work supported by the U. S. Air Force Research and Technology Division Air Force Avionics Laboratory.

T. B. Martin; H. J. Zadell; A. L. Nelson; M. B. Herscher

1964-01-01T23:59:59.000Z

216

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

E-Print Network [OSTI]

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

Eklund, Patrik

217

Shift Invariant Spaces on Lca Groups  

E-Print Network [OSTI]

In this article we extend the theory of shift-invariant spaces to the context of LCA groups. We introduce the notion of H-invariant space for a countable discrete subgroup H of an LCA group G, and show that the concept of range function and the techniques of fiberization are valid in this context. As a consequence of this generalization we prove characterizations of frames and Riesz bases of these spaces extending previous results, that were known for Rd and the lattice Zd .

Cabrelli, Carlos

2009-01-01T23:59:59.000Z

218

Resonance-shifting luminescent solar concentrators  

DOE Patents [OSTI]

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

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

2014-09-23T23:59:59.000Z

219

Pendulum Shifts, Context, Error, and Personal Accountability  

SciTech Connect (OSTI)

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

Harold Blackman; Oren Hester

2011-09-01T23:59:59.000Z

220

Synthesis Dependent Core Level Binding Energy Shift in the Oxidation...  

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

Energy Shift in the Oxidation State ofPlatinum Coated on CeriaTitania and its Synthesis Dependent Core Level Binding Energy Shift in the Oxidation State ofPlatinum Coated...

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


221

VIEWLS Final recommendations report Shift Gear to Biofuels  

E-Print Network [OSTI]

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

222

Experimental Stark widths and shifts of Cr II spectral lines  

Science Journals Connector (OSTI)

......Stark widths and shifts of Crii spectral lines J. A. Aguilera 1 C. Aragon 1 J. Manrique...Spain Stark widths and shifts of Crii lines with wavelengths in the range 2000-3500-a...to control the self-absorption of the lines. The Stark widths and shifts are compared......

J. A. Aguilera; C. Aragn; J. Manrique

2014-01-01T23:59:59.000Z

223

Low delay and area efficient soft error correction in arbitration logic  

DOE Patents [OSTI]

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

Sugawara, Yutaka

2013-09-10T23:59:59.000Z

224

Phase-shifting point diffraction interferometer  

DOE Patents [OSTI]

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

Medecki, H.

1998-11-10T23:59:59.000Z

225

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

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

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

226

Aggressively Passive  

E-Print Network [OSTI]

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

Upadhyaya, K.

2013-01-01T23:59:59.000Z

227

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

SciTech Connect (OSTI)

The Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 (TLD) was developed to provide a decision-support tool that relates decontamination and decommissioning (D&D) problems at 9201-4 to potential technologies that can remediate these problems. The TLD uses information from the Strategic Roadmap for the Oak Ridge Reservation, the Oak K-25 Site technology Logic Diagram, and Oak Ridge National Laboratory Technology Logic Diagram, and a previous Hanford logic diagram. 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&D and waste management 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 the cost and risk. The TLD consists of three volumes. Volume 1 presents an overview of the TLD, an explanation of the program-specific responsibilities, a review of identified technologies, and the rankings of remedial technologies. Volume 2 contains the logic linkages among the environmental management goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 contains the TLD data sheets.

NONE

1994-09-01T23:59:59.000Z

228

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

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

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

229

A survey of Indian logic from the point of view of computer science  

Science Journals Connector (OSTI)

Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely,Nyaya andVaisesika. The generally accepted definition of Indian logic over the age...

VVS Sarma

1994-12-01T23:59:59.000Z

230

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

E-Print Network [OSTI]

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

Gillespie, Charles Wayne

2012-06-07T23:59:59.000Z

231

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

E-Print Network [OSTI]

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

Royer, David Andrew

2010-04-22T23:59:59.000Z

232

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

E-Print Network [OSTI]

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

Markina, Aleksandra, 1977-

2006-01-01T23:59:59.000Z

233

Logic Synthesis Techniques for Reduced Area Implementation of Multilevel Circuits with Concurrent Error Detection  

E-Print Network [OSTI]

on using automated logic synthesis techniques (such as those used in MIS [1]) to design multilevel circuits

McCluskey, Edward J.

234

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

E-Print Network [OSTI]

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

Aickelin, Uwe

235

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

E-Print Network [OSTI]

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

Brass, Stefan

236

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

E-Print Network [OSTI]

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

ten Cate, Balder

237

Invariance Under Stuttering in a Temporal Logic without the "Until" Operator  

Science Journals Connector (OSTI)

We show that a stutter-invariant property is expressible in propositional temporal logic without the "until" operator if and only if it is expressible in the Generalized Temporal Logic of Actions. Keywords: Propositional temporal logic, invariance under stuttering, temporal interpretations

Michael Kaminski

2008-07-01T23:59:59.000Z

238

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

E-Print Network [OSTI]

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

Fan, Jeffrey

239

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

E-Print Network [OSTI]

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

Ryu, Jee-Hwan

240

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

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


241

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

E-Print Network [OSTI]

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

Mendle, Jerry M.

242

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

E-Print Network [OSTI]

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

Prevedouros, Panos D.

243

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

E-Print Network [OSTI]

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

Singh, Pritpal

244

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

E-Print Network [OSTI]

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

LaMeres, Brock J.

245

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

E-Print Network [OSTI]

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

Verleysen, Michel

246

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

E-Print Network [OSTI]

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

247

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

E-Print Network [OSTI]

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

Andrew, Lachlan

248

Modeling Fuzzy Rules with Description Logics Sudhir Agarwal and Pascal Hitzler  

E-Print Network [OSTI]

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

Hitzler, Pascal

249

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

E-Print Network [OSTI]

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

Lucas, Simon M.

250

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

E-Print Network [OSTI]

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

Andrew, Lachlan

251

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

E-Print Network [OSTI]

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

Singh, Pritpal

252

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

E-Print Network [OSTI]

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

Kreinovich, Vladik

253

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

E-Print Network [OSTI]

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

Parker, Gary B.

254

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

E-Print Network [OSTI]

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

Doran, Simon J.

255

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

E-Print Network [OSTI]

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

Parker, Gary B.

256

Research on fuzzy logic based dynamic boundary voltage and reactive power integrated control method  

Science Journals Connector (OSTI)

Aiming at the existing problems of conventional substation voltage and reactive power integrated control method, a new fuzzy logic based dynamic reactive power boundary voltage and reactive power integrated control method is proposed. Fuzzy logic control ... Keywords: dynamic boundary, fuzzy logic, reactive power, voltage

Zigang Xu; Fei Wang

2009-06-01T23:59:59.000Z

257

Generalization of Rough Sets using Modal Logics Department of Computer Science, Lakehead University  

E-Print Network [OSTI]

Generalization of Rough Sets using Modal Logics Y.Y. Yao Department of Computer Science, Lakehead@cs.sjsu.edu Abstract The theory of rough sets is an extension of set theory with two addi­ tional unary set operators in modal logics. By explor­ ing the relationship between rough sets and modal logics, this paper

Lin, Tsau Young

258

Automated Logic Restructuring with aSPFDs 1.1 Chapter Overview  

E-Print Network [OSTI]

Chapter 1 Automated Logic Restructuring with aSPFDs 1.1 Chapter Overview This chapter presents a comprehensive methodology to automate logic restructuring in combinational and sequential circuits designs that fail functional verification at locations identified by a debugging 1 #12;2 1 Automated Logic

Veneris, Andreas

259

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers  

Science Journals Connector (OSTI)

The task of reasoning with fuzzy description logics with fuzzy quantification is approached by means of an evolutionary algorithm. An essential ingredient of the proposed method is a heuristic, implemented as an intelligent mutation operator, which observes ... Keywords: description logics, evolutionary algorithms, fuzzy logic, fuzzy quantification

Mauro Dragoni; Andrea G. B. Tettamanzi

2007-07-01T23:59:59.000Z

260

Advanced Water-Gas Shift Membrane Reactor  

SciTech Connect (OSTI)

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

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

2009-01-07T23:59:59.000Z

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


261

Radiative energy shifts of an accelerated two-level system  

Science Journals Connector (OSTI)

We consider the influence of acceleration on the radiative energy shifts of atoms in Minkowski space. We study a two-level atom coupled to a scalar quantum field. Using a Heisenberg picture approach, we are able to separate the contributions of vacuum fluctuations and radiation reaction to the Lamb shift of the two-level atom. The resulting energy shifts for the special case of a uniformly accelerated atom are then compared with those of an atom at rest.

Jrgen Audretsch and Rainer Mller

1995-07-01T23:59:59.000Z

262

Low-Energy Pion-Nucleon Scattering Phase Shifts  

Science Journals Connector (OSTI)

Low-energy pion-nucleon scattering phase shifts have been calculated using a model which includes only N, N*, ?, and ? intermediate states. This remarkably simple model yields good agreement with phase shifts determined from experimental data. There are two adjustable parameters in the model. The even s-wave scattering length fixes one of these, and the other is determined by the ?-nucleon magnetic moment coupling. The phase shifts are not sensitive to the choice of this coupling.

Binayak Dutta-Roy; I. Richard Lapidus; Menasha J. Tausner

1969-05-25T23:59:59.000Z

263

A Program Logic for Verifying Secure Routing Protocols  

E-Print Network [OSTI]

reasoning. Existing protocol analysis tools [7, 12, 14] are rarely used in analyzing rout- ing protocolsA Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng done to understand and verify the formal security guarantees of proposed secure inter-domain routing

Pennsylvania, University of

264

A Program Logic for Verifying Secure Routing Protocols  

E-Print Network [OSTI]

protocol analysis tools [7, 11, 13] are rarely used in analyzing routing protocols becauseA Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 done to understand and verify the formal security guarantees of proposed secure inter-domain routing

Sandholm, Tuomas W.

265

A Modal Logic for Coalitional Power in Games  

Science Journals Connector (OSTI)

......for Coalitional Power in Games MARC PAULY...theory, multiagent systems. 1 Introduction...for Coalitional Power in Games actions...players. While operations on games are not...Dynamic logic. In Handbook of Philosophical...of provability in systems of modal propositional......

Marc Pauly

2002-02-01T23:59:59.000Z

266

SEMANTICS OF LOGIC PROGRAMS AND REPRESENTATION OF SMYTH POWERDOMAIN  

E-Print Network [OSTI]

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

Zhang, Guo-Qiang

267

The Jobs Puzzle A Challenge for Logical Expressibility  

E-Print Network [OSTI]

The Jobs Puzzle A Challenge for Logical Expressibility and Automated Reasoning Stuart C. Shapiro such as Otter (Kalman 2001; McCune and Wos 1997) Copyright c 2011, Stuart C. Shapiro. All rights reserved. 1 York at Buffalo Buffalo, NY 14260-2000 shapiro@buffalo.edu Abstract The Jobs Puzzle, introduced

Shapiro, Stuart C.

268

System Management Ontology Description Logic Formalization of CIM  

E-Print Network [OSTI]

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

Calvanese, Diego

269

Improving Translation of Live Sequence Charts to Temporal Logic  

E-Print Network [OSTI]

Mercer2 Computer Science Department, Brigham Young University, Provo, Utah 84606, USA Annette Bunker3:rahul@cs.byu.edu 2 Email:egm@cs.byu.edu 3 Email:annette.bunker@intel.com 4 Annette Bunker performed this work while: www.elsevier.nl/locate/entcs #12;Kumar, Mercer and Bunker Logic/Automata System Model Checker YES

Brigham Young University

270

Applying Logic Programming to Derive Novel Functional Information of Genomes  

E-Print Network [OSTI]

Applying Logic Programming to Derive Novel Functional Information of Genomes Arvind K. Bansal1, and to enhance the effects of useful bacteria. It is anticipated that the complete human genome will be fully to develop tools to understand human genome components: the functionality of genes and an understanding

Bansal, Arvind K.

271

Controlling the speed of Coding Line Conveyor using fuzzy logic  

Science Journals Connector (OSTI)

This paper presents performance improvement of a Coding Line Conveyer system (CLC), which is a key component of the automated parcels sorting complexes PP2000 used in logistics centers of Swiss Post. Normally, CLC operates with constant speed. The rules ... Keywords: control systems, fuzzy logic, parcels processing

Atanas Atanassov

2009-06-01T23:59:59.000Z

272

Tuning Fuzzy Logic Controllers for Energy Efficiency Consumption in Buildings  

E-Print Network [OSTI]

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

Casillas Barranquero, Jorge

273

The Complexity of Decision Problems in Automata Theory and Logic  

E-Print Network [OSTI]

The Complexity of Decision Problems in Automata Theory and Logic by Larry J. Stockmeyer #12, and the f i r s t order theory of two successors and prefix, among others. It follows that the decision of recursive function theory. Keywords: computational complexity, decision procedure star- free, Turing machine

Polz, Martin

274

Inductive Logic Programming and Embodied Agents: Possibilities and Limitations  

Science Journals Connector (OSTI)

Open-ended learning is regarded as the ultimate milestone, especially in intelligent robotics. Preferably it should be unsupervised and it is by its nature inductive. In this article we want to give an overview of attempts to use Inductive Logic Programming ...

Andrea Kulakov; Joona Laukkanen; Blerim Mustafa; Georgi Stojanov

2009-01-01T23:59:59.000Z

275

The logical diversity of explanations in OWL ontologies  

Science Journals Connector (OSTI)

Given the high expressivity of the Web Ontology Language OWL 2, there is a potential for great diversity in the logical content of OWL ontologies. The fact that many naturally occurring entailments of such ontologies have multiple justifications indicates ... Keywords: bioinformatics, debugging, explanation, ontologies, owl, semantic web

Samantha Bail; Bijan Parsia; Ulrike Sattler

2013-10-01T23:59:59.000Z

276

Bridging Gaps Between Subjective Logic and Semantic Web  

E-Print Network [OSTI]

of operators that allow to combine such assertions and to derive the truth values of the consequences. This logic focuses on the representation and the reasoning on assertions of which the truth value and the source of this evidence), allows correctly representing how the es- timated truth value of an assertion

Fokkink, Wan

277

Harmony and Separability in Classical Logic Julien Murzi  

E-Print Network [OSTI]

... and the consequences of an utterance of it ... (Dummett, 1973, p. 396) In the case of complex sentences, these two #12;From rules to meanings Moderate inferentialism Rules determine truth-conditions (1) I- and E-rules determine meanings in the sense of determining the truth-conditions of the logical operators (rules first

Fitelson, Branden

278

A calculus Semantics of Logical Variables and Unification  

E-Print Network [OSTI]

A ­calculus Semantics of Logical Variables and Unification Brian J. Ross Department of Computer Science Brock University St. Catharines, Ontario, Canada L2S 3A1 bross@cosc.brocku.ca Abstract A ­calculus, which can be seen by its modelling of the ­calculus in [MPW89a]. In First North American Process

Ross, Brian J.

279

Application of Inductive Logic Programming for Learning ECG Waveforms  

E-Print Network [OSTI]

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

Alexin, Zoltán

280

Dynamical shift conditions for the Z4 and BSSN formalisms  

Science Journals Connector (OSTI)

A class of dynamical shift conditions is shown to lead to a pseudohyperbolic evolution system, both in the Z4 and in the BSSN numerical relativity formalisms. This is done by using a plane-wave analysis which can be viewed as an extension of the standard Fourier analysis for this kind of systems. The proposed class generalizes the harmonic shift condition, where light speed is the only nontrivial characteristic speed, and it is contained into the multiparameter family of minimal distortion shift conditions recently proposed by Lindblom and Scheel. The relationship with the analogous dynamical freezing shift conditions used in black hole simulations is discussed.

C. Bona and C. Palenzuela

2004-05-07T23:59:59.000Z

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


281

Inhibitor-induced Conformational Shifts and Ligand Exchange Dynamics...  

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

been used to observe the ligand-induced conformational shift of inactive HIV-1 PR at cryogenic temperature. However, the methodology is often criticized for lack of physiological...

282

Vibration measurement using phase-shifting speckle-pattern interferometry  

Science Journals Connector (OSTI)

Digital speckle-pattern interferometries for the measurement of a vibration amplitude are presented, based on phase shifting of a speckle interferogram. The calculation of the square...

Nakadate, Suezou

1986-01-01T23:59:59.000Z

283

Frequency Shift of Radio Signals in Curved Spacetimes  

E-Print Network [OSTI]

space . . . . . . . . . . . . . . . . . . . . . . . . . . 21 7.2 Schwarzschild space . . . . . . . . . . . . . . . 33 10 Another source of the shift in frequency 34 10.1 Reflection in a relativistically moving mirror

284

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

SciTech Connect (OSTI)

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

NONE

1994-09-01T23:59:59.000Z

285

Note on the Origin of Solvent Knight Shifts in Alloys  

Science Journals Connector (OSTI)

It is shown that the good agreement between theory and experiment which Watson, Bennett, and Freeman claim in a recent paper on the origin of solvent Knight shifts in alloys does not exist and that consequently one cannot conclude that their results per se point to deficiencies in other methods of evaluating Knight shifts.

D. O. Van Ostenburg and L. C. R. Alfred

1968-06-24T23:59:59.000Z

286

Development of Novel Water-Gas-Shift Membrane Reactor  

E-Print Network [OSTI]

Development of Novel Water- Gas-Shift Membrane Reactor Addressing Barrier L: H2 Purification-22, 2003 #12;Water-Gas-Shift Membrane Reactor · Relevance/Objectives - Produce Enhanced H2 Product with ppm CO at High Pressure Used for Reforming - Overcome Barrier L: H2 Purification/CO Clean-up - Achieve

287

A distributed shifting bottleneck heuristic for complex job shops  

Science Journals Connector (OSTI)

In this paper, we consider distributed versions of a modified shifting bottleneck heuristic for complex job shops. The considered job shop environment contains parallel batching machines, machines with sequence-dependent setup times and reentrant process ... Keywords: Complex job shops, Computational experiments, Distributed scheduling, Hierarchical production control, Shifting bottleneck heuristic

Lars Mnch; Ren Drieel

2005-11-01T23:59:59.000Z

288

Parallel Cycle Based Logic Simulation using Graphics Processing Units Alper Sen, Baris Aksanli, Murat Bozkurt, and Melih Mert  

E-Print Network [OSTI]

Parallel Cycle Based Logic Simulation using Graphics Processing Units Alper Sen, Baris Aksanli-based parallelization of logic simulation algorithm for electronic designs. Logic simulation is a crucial component attempts to speedup the verification process (and logic simulation) results in great savings and shorter

Sen, Alper

289

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

E-Print Network [OSTI]

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

Taylor, James H.

290

GreenShift Industrial Design Corporation GIDC | Open Energy Information  

Open Energy Info (EERE)

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

291

Theoretical surface core-level shifts for Be(0001)  

SciTech Connect (OSTI)

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

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

1994-05-15T23:59:59.000Z

292

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

SciTech Connect (OSTI)

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

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

1993-01-01T23:59:59.000Z

293

Enrollment Logics and Discourse: Toward Professionalizing Higher Education Enrollment Management  

E-Print Network [OSTI]

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

Snowden, Monique Lavette

2012-10-19T23:59:59.000Z

294

1.1 (predicate logic) 1.1 ( (term))  

E-Print Network [OSTI]

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

Minamide, Yasuhiko

295

Programmable Logic Circuits for Functional Integrated Smart Plastic Systems  

E-Print Network [OSTI]

, Cambridge, UK bProgrammable logic circuits for func plastic systems Antony Sou a,?, Sungjune Jung a,1, Enrico Gili a, Guillaume Fichet b, Henning Sirringhaus a,*nal integrated smart cenzo Pecunia a, Jerome Joimel b, ctronics sevier .com/locate /orgel 3112 A... - edge Centre (CIKC), and the Technology Strategy Board (TSB). We acknowledge Reckitt Benckiser for the design of the graphical pattern of the display on the FIPS2 foil. Appendix A. Supplementary material Supplementary data associated with this article...

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

2014-09-12T23:59:59.000Z

296

Shift mechanism for change-speed gearing in power transmission  

SciTech Connect (OSTI)

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

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

1987-06-30T23:59:59.000Z

297

Isotope shift in the sulfur electron affinity: Observation and theory  

SciTech Connect (OSTI)

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

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

2010-04-15T23:59:59.000Z

298

Detection of a small shift in a broad distribution  

E-Print Network [OSTI]

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

Bernd A. Berg

2012-01-24T23:59:59.000Z

299

Control of the Lamb shift by a driving field  

E-Print Network [OSTI]

early, through the work of Bethe [2], that most of the Lamb shift can be explained within nonrelativistic quantum electrodynamics. There are a number of approaches to the calculation of the Lamb shift. One such approach is due to Feynman [3..., this problem is motivated by Feynman?s derivation of the Lamb shift. In this interpreta- tion, a dilute gas with N atoms per unit volume in a box of volume V is considered [4]. Since the dimension of the box determines the allowed wavelengths in the box...

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

2010-01-01T23:59:59.000Z

300

Communicating 21st century statecraft: Evaluating the paradigm shift argument  

E-Print Network [OSTI]

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

Chinn, Jacquelyn Nicole

2011-10-21T23:59:59.000Z

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


301

Y-12 Shift Change, famous Ed Westcott image recreated  

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

Shift Change, famous Ed Westcott image recreated In the Jack Case Center there is a huge 20' by 50' photographic mural that was donated to Y-12 by Turner Universal. It has become...

302

Search and Discovery Strategies for Biotechnology: the Paradigm Shift  

Science Journals Connector (OSTI)

...diversity, and data integration. For example, typical...during a shift to sustainable land management...be maximized. The integration of information from...presents a significant challenge. Such integration should facilitate...

Alan T. Bull; Alan C. Ward; Michael Goodfellow

2000-09-01T23:59:59.000Z

303

Tackling the blackbody shift in a strontium optical lattice clock  

E-Print Network [OSTI]

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

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

2010-01-01T23:59:59.000Z

304

Tackling the blackbody shift in a strontium optical lattice clock  

E-Print Network [OSTI]

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

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

2010-09-10T23:59:59.000Z

305

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

E-Print Network [OSTI]

Biological Water Gas Shift DOE Hydrogen, Fuel Cell, and Infrastructure Technologies Program Review was produced from water in a linked cyanobacterial- hydrogenase hybrid system Isolated mutants and cloned 2

306

Researchers Unlock the Mystery of Shape Shifting Neutrinos  

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

scientists help researchers discover how neutrinos flavor-shift as they travel at near light-speed March 8, 2012 | Tags: High Energy Physics (HEP), HPSS, Science Gateways Linda...

307

E-Print Network 3.0 - adaptive logic networks Sample Search Results  

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

University of South Carolina Collection: Engineering 3 Mining Networked Data Nicola Di Mauro and Donato Malerba Summary: Logic Networks 6 it is possible to represent different...

308

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

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

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

309

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

E-Print Network [OSTI]

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

Samarin, Oleg

2008-01-01T23:59:59.000Z

310

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

E-Print Network [OSTI]

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

Pate, Billy Blakley

2012-01-01T23:59:59.000Z

311

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

E-Print Network [OSTI]

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

Birkin, Philip

2010-01-01T23:59:59.000Z

312

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

E-Print Network [OSTI]

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

Gillespie, Charles Wayne

2012-01-01T23:59:59.000Z

313

Constraining Credential Usage in Logic-Based Access Control Carnegie Mellon University  

E-Print Network [OSTI]

how to modularly extend well- studied authorization logics to support the specification picture frames to smart refrigerators and Internet-connected security systems. The new functionality

Bauer, Lujo

314

On the use of Description Logic for Semantic Interoperability of Enterprise Systems  

E-Print Network [OSTI]

Systems, Semantic Interoperability, Description Logic, Ontology 1 Introduction Today's needs for more-oriented architectures (SOA) [2]. The integration in manufacturing paradigm (CIM concept) which underlies the global

Paris-Sud XI, Université de

315

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

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

languages, and the development of dynamic logics of actions that can... ), and as an applied tool (contemporary model checking technology is based on ... Source: Sattler,...

316

The Availability of Logical Operation Induced by Dichotomous Noise for a Nonlinear Bistable System  

E-Print Network [OSTI]

Instead of a continuous system driven by Gaussian white noise, logical stochastic resonance will be investigated in a nonlinear bistable system with two thresholds driven by dichotomous noise, which shows a phenomenon different from Gaussian white noise. We can realize two parallel logical operations by simply adjusting the values of these two thresholds. Besides, to quantify the reliability of obtaining the correct logic output, we numerically calculate the success probability, and effects of dichotomous noise on the success probability are observed, these observations show that the reliability of realizing logical operation in the bistable system can be improved through optimizing parameters of dichotomous noise.

Yong Xu; Xiaoqin Jin; Huiqing Zhang; Tingting Yang

2013-09-04T23:59:59.000Z

317

Classroom Assignment using Constraint Logic Programming Slim Abdennadher, Matthias Saft and Sebastian Will  

E-Print Network [OSTI]

Classroom Assignment using Constraint Logic Programming Slim Abdennadher, Matthias Saft fabdennad, saft, willsg@informatik.uni­muenchen.de Abstract The Classroom Assignment problem consists

Will, Sebastian

318

The relativistic Doppler effect: when a zero frequency shift or a red shift exists for sources approaching the observer  

E-Print Network [OSTI]

It is shown without making use of Lorentz transformation that there exists a phenomenon of relativistic zero-frequency shift in Doppler effect for a plane wave in free space, observed in two inertial frames of relative motion, and the zero shift takes place at a maximum aberration of light. When it is applied to analysis of a moving point light source, two unconventional physical implications result: (1) a light source, when it is approaching (moving closer to) the observer, may cause a red shift; (2) a zero-frequency-shift observation does not necessarily mean that the light source is not moving closer, and in contrast, the light source may be moving closer to the observer at a high speed. This fundamental result of special relativity may provide an alternative way to experimentally examine the principle of relativity, and might have a significant application in astrophysics.

Changbiao Wang

2010-06-23T23:59:59.000Z

319

Synthesis of Ternary Quantum Logic Circuits by Decomposition  

E-Print Network [OSTI]

Recent research in multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. Multivalued quantum systems have also been used in the framework of quantum cryptography, and the concept of a qudit cluster state has been proposed by generalizing the qubit cluster state. An evolutionary algorithm based synthesizer for ternary quantum circuits has recently been presented, as well as a synthesis method based on matrix factorization.In this paper, a recursive synthesis method for ternary quantum circuits based on the Cosine-Sine unitary matrix decomposition is presented.

Faisal Shah Khan; Marek Perkowski

2005-11-04T23:59:59.000Z

320

Free-Energy Shift of Conduction Electrons Due to the s-d Exchange Interaction  

Science Journals Connector (OSTI)

......1968 research-article Articles Free-Energy Shift of Conduction Electrons...Laboratory, Tanashi, Tokyo The free-energy shift of the conduction electrons...usual procedure to obtain the free-energy shift at finite temperature by......

Jun Kondo

1968-10-01T23:59:59.000Z

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


321

E-Print Network 3.0 - alteration shift patterns Sample Search...  

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

an altered mapping (x-shift and y-shift... . The pattern of generalization ... Source: Jordan, Michael I. - Department of Electrical Engineering and Computer Sciences, University...

322

The Adoption of Smallholder Rubber Production by Shifting Cultivators in Northern Laos: A Village Case Study  

Science Journals Connector (OSTI)

Rubber smallholdings are being established by shifting cultivators ... particular, from shifting cultivation to tree crop production. This study examines the economics of smallholder rubber production in an estab...

Vongpaphane Manivong; R. A. Cramb

2008-01-01T23:59:59.000Z

323

Demand Shifting With Thermal Mass in Large Commercial Buildings: Case  

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

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

324

RedShift Systems Corporation | Open Energy Information  

Open Energy Info (EERE)

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

325

Winds Shift for Wisconsin Company | Department of Energy  

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

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

326

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

327

Winds Shift for Wisconsin Company | Department of Energy  

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

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

328

Guide to good practices for shift routines and operating practices  

SciTech Connect (OSTI)

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

NONE

1998-12-01T23:59:59.000Z

329

Guide to good practices for shift routines and operating practices  

SciTech Connect (OSTI)

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

Not Available

1993-06-01T23:59:59.000Z

330

Guide to good practices for shift routines and operating practices  

SciTech Connect (OSTI)

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

Not Available

1993-06-01T23:59:59.000Z

331

Nature of the Frequency Shift of Hydrogen Valence Vibrations  

E-Print Network [OSTI]

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

Zhyganiuk, I V

2015-01-01T23:59:59.000Z

332

A LogicModel Semantics for SCR Software Requirements Joanne M. Atlee \\Lambda Michael A. Buckley  

E-Print Network [OSTI]

A Logic­Model Semantics for SCR Software Requirements Joanne M. Atlee \\Lambda Michael A. Buckley a simple logic­model semantics for Software Cost Reduction (SCR) soft­ ware requirements. Such a semantics enables model­ checking of native SCR requirements and obviates the need to transform the requirements

Atlee, Joanne M.

333

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

Science Journals Connector (OSTI)

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

Zahra Moravej

2005-09-01T23:59:59.000Z

334

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

E-Print Network [OSTI]

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

Politécnica de Madrid, Universidad

335

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

E-Print Network [OSTI]

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

Wang, Bow-Yaw

336

Synthesis of Logic Programs KungKiu Lau Geraint A Wiggins  

E-Print Network [OSTI]

Tutorial: Synthesis of Logic Programs Kung­Kiu Lau Geraint A Wiggins Dept of Computer Science Dept@aisb.ed.ac.uk Overview ffl Introduction -- What is Logic Program Synthesis? -- Classification and Terminology ffl Constructive Synthesis -- Definition -- General Description -- Example ffl Deductive Synthesis -- Definition

Lau, Kung-Kiu

337

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

E-Print Network [OSTI]

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

Brest, Université de

338

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

E-Print Network [OSTI]

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

Spagnolo, Filippo

339

Bisimulation and public announcements in logics of evidence-based knowledge  

E-Print Network [OSTI]

Bisimulation and public announcements in logics of evidence-based knowledge Bryan Renne Computer for Artemov's logics of evidence-based knowledge. Bisimulation allows us to study the effect of dynamic epistemic operation, add expressivity to the language of evidenced-based knowledge. It is also shown

Renne, Bryan

340

Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, and Examples  

E-Print Network [OSTI]

, and Examples Stuart C. Shapiro Department of Computer Science and Engineering University at Buffalo, The State, and Examples. In Lucja M. Iwa´nska & Stuart C. Shapiro, Eds., Natural Language Processing and Knowledge University of New York 226 Bell Hall Buffalo, NY 14260-2000 shapiro@cse.buffalo.edu 1 What is Logic? Logic

Shapiro, Stuart C.

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


341

Completeness and decidability results for a logic of contrary-to-duty conditionals  

Science Journals Connector (OSTI)

......contrary-to-duties. In: Handbook of Philosophical Logic-Gabbay...sentences presented in our 2002 handbook chapter `Deontic logic and...offer a cigarette comes into force when he firmly decides that...from killing Mr X. It was a fundamental feature of the [1] approach......

Jos M. C. L. M. Carmo; Andrew J. I. Jones

2013-06-01T23:59:59.000Z

342

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

E-Print Network [OSTI]

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

Lau, Kung-Kiu

343

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

E-Print Network [OSTI]

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

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

2003-06-26T23:59:59.000Z

344

Testing logic cores using a BIST P1500 compliant approach: a case of P. Bernardi2  

E-Print Network [OSTI]

Testing logic cores using a BIST P1500 compliant approach: a case of study P. Bernardi2 , G. Masera In this paper we describe how we applied a BIST-based ap- proach to the test of a logic core to be included, the simple test interface (thanks also to the adoption of the P1500 standard), the possibility to run

Paris-Sud XI, Université de

345

Fuzzy Logic-Based Determination of Pb-Acid Battery SOC by Impedance Interrogation Methods  

E-Print Network [OSTI]

the on-board status of both energy storage and energy conversion devices in hybrid electric vehicles the impedance response at a few discrete frequencies (using a fuzzy logic methodology) (4), without counting, voltage delay and EIS (2, 3). By combining fuzzy logic and EIS at specific frequencies, a robust

Singh, Pritpal

346

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

E-Print Network [OSTI]

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

Sistla, A. Prasad

347

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

E-Print Network [OSTI]

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

Granada, Universidad de

348

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

E-Print Network [OSTI]

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

Beebe, David J.

349

A general framework for lazy functional logic programming with algebraic polymorphic types  

Science Journals Connector (OSTI)

We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set 𝒞 of equational axioms. On top of a given 𝒞, we specify a program ... Keywords: algebraic data constructor, functional logic programming, lazy narrowing, polymorphic types

Puri Arenas-Snchez; Mario Rodrguez-Artalejo

2001-03-01T23:59:59.000Z

350

Verification of logic controllers for continuous plants using timed condition/event-system models  

Science Journals Connector (OSTI)

An approach to the formal verification of logic controllers for processes with switched continuous dynamics is presented. The method builds on modular, timed discrete event models of the plant and the controller. Subsystems with continuous dynamics are ... Keywords: Condition/event systems, Discretization of continuous systems, Distributed control systems, Formal verification, Hybrid systems, Programmable logic controllers, Timed automata

S. Kowalewski; S. Engell; J. Preu?ig; O. Stursberg

1999-03-01T23:59:59.000Z

351

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

E-Print Network [OSTI]

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

Yang, Guizhen

352

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

E-Print Network [OSTI]

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

Yang, Guizhen

353

Shift-modulation invariant spaces on LCA groups  

E-Print Network [OSTI]

A $(K,\\Lambda)$ shift-modulation invariant space is a subspace of $L^2(G)$, that is invariant by translations along elements in $K$ and modulations by elements in $\\Lambda$. Here $G$ is a locally compact abelian group, and $K$ and $\\Lambda$ are closed subgroups of $G$ and the dual group $\\hat G$, respectively. In this article we provide a characterization of shift-modulation invariant spaces in this general context when $K$ and $\\Lambda$ are uniform lattices. This extends previous results known for $L^2(\\R^d)$. We develop fiberization techniques and suitable range functions adapted to LCA groups needed to provide the desired characterization.

Cabrelli, Carlos

2011-01-01T23:59:59.000Z

354

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting  

Science Journals Connector (OSTI)

This paper presents a model checker for LTLR, a subset of the temporal logic of rewriting TLR* extending linear temporal logic with spatial action patterns. Both LTLR and TLR* are very expressive logics generalizing well-known state-based and action-based logics. Furthermore, the semantics of TLR* is given in terms of rewrite theories, so that the concurrent systems on which the LTLR properties are model checked can be specified at a very high level with rewrite rules. This paper answers a nontrivial challenge, namely, to be able to build a model checker to model check LTLR formulas on rewrite theories with relatively little effort by reusing Maude?s LTL model checker for rewrite theories. For this, the reflective features of both rewriting logic and its Maude implementation have proved extremely useful.

Kyungmin Bae; Jos Meseguer

2012-01-01T23:59:59.000Z

355

Method and apparatus for executing a shift in a hybrid transmission  

DOE Patents [OSTI]

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

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

2013-09-03T23:59:59.000Z

356

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

E-Print Network [OSTI]

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

Knutson, Kristine Marie

2014-05-31T23:59:59.000Z

357

Abstract B05: Multivitamin supplement use and prostate cancer aggressiveness by race in the North Carolina-Louisiana Prostate Cancer Project (PCaP)  

Science Journals Connector (OSTI)

...by race with adjustment for age, education, prostate specific antigen screening history, smoking, body mass index, and energy intake. Results: Overall, fewer men with highly aggressive prostate cancer took multivitamins one year prior to diagnosis...

Daria M. McMahon; Susan E. Steck; L. Joseph Su; Hongmei Zhang; James R. Hebert; Jeannette T. Bensen; Elizabeth T. H. Fontham; James L. Mohler; Lenore Arab

2014-11-01T23:59:59.000Z

358

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

SciTech Connect (OSTI)

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

NONE

1986-06-10T23:59:59.000Z

359

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

E-Print Network [OSTI]

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

Taylor, James H.

360

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

E-Print Network [OSTI]

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

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


361

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

E-Print Network [OSTI]

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

Simões, Marcelo Godoy

362

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

E-Print Network [OSTI]

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

Verleysen, Michel

363

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

SciTech Connect (OSTI)

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

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

2010-08-06T23:59:59.000Z

364

SHIFTING MODES? TRANSPORTATION AND URBAN DEVELOPMENT PATTERNS IN  

E-Print Network [OSTI]

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

Kammen, Daniel M.

365

Genetic shift in photoperiodic response correlated with global warming  

E-Print Network [OSTI]

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

Cochran-Stafira, D. Liane

366

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

E-Print Network [OSTI]

With the green light from co-founder and CEO Larry Page to expand, the team from Google Energy, a recentlyGoogle Energy's Shift into Renewables case 1-429-226 April 3, 2012 Published by Globa Enterprise at the Ross School of Business at the University of Michigan, as the basis for class discussion

Edwards, Paul N.

367

Phase Shift Analysis of Elastic n3He Scattering  

E-Print Network [OSTI]

Basing on the kwon experimental measurements of differential cross sections on n3He elastic scattering in the angular energy range 200 - 1600 the standard phase shifts analysis was performed at the energies from 1 MeV up to 5 MeV.

S. B. Dubovichenko; Ch. T. Omarov; N. A. Burkova

2014-02-01T23:59:59.000Z

368

Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation  

E-Print Network [OSTI]

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

Brenner, Donald W.

369

A test for a shift in the boundary of the geographical range of a species  

Science Journals Connector (OSTI)

...research-article Global change biology 1001 60 A test for a shift in the boundary of the geographical...unconnected to a boundary shift. A formal test for a boundary shift is described that allows for such changes. The test is applied to detect northward shifts...

2014-01-01T23:59:59.000Z

370

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

E-Print Network [OSTI]

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

Kozlov, Mikhail G

371

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

E-Print Network [OSTI]

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

Kozlov, Mikhail G

372

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

SciTech Connect (OSTI)

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

Levine, P.S. [ed.

1995-03-01T23:59:59.000Z

373

Quantum logic as superbraids of entangled qubit world lines  

E-Print Network [OSTI]

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

Jeffrey Yepez

2009-07-30T23:59:59.000Z

374

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

DOE Patents [OSTI]

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

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

2000-01-01T23:59:59.000Z

375

Three dimensional imaging detector employing wavelength-shifting optical fibers  

DOE Patents [OSTI]

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

Worstell, William A. (Framingham, MA)

1997-01-01T23:59:59.000Z

376

Three dimensional imaging detector employing wavelength-shifting optical fibers  

DOE Patents [OSTI]

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

Worstell, W.A.

1997-02-04T23:59:59.000Z

377

Theory of muonic hydrogen - muonic deuterium isotope shift  

E-Print Network [OSTI]

We calculate the corrections of orders alpha^3, alpha^4 and alpha^5 to the Lamb shift of the 1S and 2S energy levels of muonic hydrogen (mu p) and muonic deuterium (mu d). The nuclear structure effects are taken into account in terms of the proton r_p and deuteron r_d charge radii for the one-photon interaction and by means of the proton and deuteron electromagnetic form factors in the case of one-loop amplitudes. The obtained numerical value of the isotope shift (mu d) - (mu p) for the splitting (1S-2S) 101003.3495 meV can be considered as a reliable estimation for corresponding experiment with the accuracy 10^{-6}. The fine structure interval E(1S)-8E(2S) in muonic hydrogen and muonic deuterium are calculated.

A. P. Martynenko

2004-12-17T23:59:59.000Z

378

The muonic hydrogen Lamb shift and the proton radius  

E-Print Network [OSTI]

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

Clara Peset

2014-11-14T23:59:59.000Z

379

The muonic hydrogen Lamb shift and the proton radius  

E-Print Network [OSTI]

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

Peset, Clara

2014-01-01T23:59:59.000Z

380

Soliton self-frequency shift in telecommunications fiber  

Science Journals Connector (OSTI)

When subpicosecond solitons propagate in an optical fiber the soliton self-frequency shift occurs. We have made observations of this effect in standard telecommunication fiber, which show a strong departure from the predicted behavior. This difference is shown to be due to the residual birefringence in the standard fiber. Results are also presented on the power and length dependence and detailed comparisons with numerical simulations are made.

J. K. Lucek and K. J. Blow

1992-05-01T23:59:59.000Z

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


381

The slightly-enriched spectral shift control reactor  

SciTech Connect (OSTI)

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

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

1991-11-01T23:59:59.000Z

382

Doppler effect and frequency-shift in optics  

E-Print Network [OSTI]

A critical review of frequency-shift phenomena a la Doppler effect is presented. The importance of Fermi's theory of 1932 is pointed out, and it is argued that there exists a gap in our understanding of this phenomena at a fundamental level. Alternative mechanism in terms of photon number oscillations is suggested for polarization changing experiments. The physical reality of single photon is revisited, and a possible experimental scheme to test the alternative mechanism is suggested.

S C Tiwari

2004-10-12T23:59:59.000Z

383

Nuclear structure contribution to the Lamb shift in muonic deuterium  

E-Print Network [OSTI]

We consider the two-photon exchange contribution to the $2P-2S$ Lamb shift in muonic deuterium in the framework of forward dispersion relations. The dispersion integrals are evaluated using experimental data on elastic deuteron form factors and inelastic electron-deuteron scattering, both in the quasielastic and hadronic range. The subtraction constant that is required to ensure convergence of the dispersion relation for the forward Compton amplitude $T_1(\

Carlson, Carl E; Vanderhaeghen, Marc

2014-01-01T23:59:59.000Z

384

Testing numerical relativity with the shifted gauge wave  

E-Print Network [OSTI]

Computational methods are essential to provide waveforms from coalescing black holes, which are expected to produce strong signals for the gravitational wave observatories being developed. Although partial simulations of the coalescence have been reported, scientifically useful waveforms have so far not been delivered. The goal of the AppleswithApples (AwA) Alliance is to design, coordinate and document standardized code tests for comparing numerical relativity codes. The first round of AwA tests have now being completed and the results are being analyzed. These initial tests are based upon periodic boundary conditions designed to isolate performance of the main evolution code. Here we describe and carry out an additional test with periodic boundary conditions which deals with an essential feature of the black hole excision problem, namely a non-vanishing shift. The test is a shifted version of the existing AwA gauge wave test. We show how a shift introduces an exponentially growing instability which violates the constraints of a standard harmonic formulation of Einstein's equations. We analyze the Cauchy problem in a harmonic gauge and discuss particular options for suppressing instabilities in the gauge wave tests. We implement these techniques in a finite difference evolution algorithm and present test results. Although our application here is limited to a model problem, the techniques should benefit the simulation of black holes using harmonic evolution codes.

Maria C. Babiuc; Bela Szilagyi; Jeffrey Winicour

2005-11-29T23:59:59.000Z

385

The Dimits Shift in More Realistic Gyrokinetic Plasma Turbulence Simulations  

SciTech Connect (OSTI)

In simulations of turbulent plasma transport due to long wavelength, (k?pi ? 1), electrostatic drift-type instabilities we find that a nonlinear upshift of the effective threshold persists. This `Dimits shift' represents the difference between the linear threshold, at the onset of instability, and the nonlinear threshold, where transport increases suddenly as the driving temperature gradient is increased. As the drive increases, the magnitudes of turbulent eddies and zonal ows grow until the zonal flows become nonlinearly unstable to 'tertiary' modes and their sheared ows no longer grow fast enough to strongly limit eddy size. The tertiary mode threshold sets the effective nonlinear threshold for the heat transport, and the Dimits shift arises when this occurs at a zonal flow magnitude greater than that needed to limit transport near the linear threshold. Nextgeneration tokamaks will likely benefit from the higher effective threshold for turbulent transport, and transport models should incorporate suitable corrections to linear thresholds. These gyrokinetic simulations are more realistic than previous reports of a Dimits shift because they include nonadiabatic electron dynamics, strong collisional damping of zonal flows, and finite electron and ion collisionality together with realistic shaped magnetic geometry. Reversing previously reported results based on idealized adiabatic electrons, we find that increasing collisionality reduces the heat flux because collisionality reduces the nonadiabatic electron drive.

D.R. Mikkelsen and W. Dorland

2008-07-23T23:59:59.000Z

386

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

E-Print Network [OSTI]

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

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

2007-01-01T23:59:59.000Z

387

Study on Commissioning Process for Control Logic of Thermal Storage System  

E-Print Network [OSTI]

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

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

2004-01-01T23:59:59.000Z

388

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

E-Print Network [OSTI]

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

Pate, Billy Blakley

2012-06-07T23:59:59.000Z

389

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

E-Print Network [OSTI]

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

Joshi, Praveen Sudhakar

2012-06-07T23:59:59.000Z

390

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

E-Print Network [OSTI]

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

Howell, Steven

2013-01-01T23:59:59.000Z

391

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

E-Print Network [OSTI]

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

Miller-Karns, Kara A.

2009-05-15T23:59:59.000Z

392

A Model for Fuzzy Logic Assessment of Real Estate Investment Risks  

Science Journals Connector (OSTI)

Assessing the real estate investment risks is a major issue for the responsible management and the sustainable regional development. The paper proposes a fuzzy logic model for complex estimation of the real estate

Plamena Zlateva; Dimiter Velev

2011-01-01T23:59:59.000Z

393

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

E-Print Network [OSTI]

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

de Paiva, Valeria

394

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

E-Print Network [OSTI]

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

Dorsey, David Michael

2013-02-22T23:59:59.000Z

395

Logical Effort of Carry Propagate Adders David Harris and Ivan Sutherland  

E-Print Network [OSTI]

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

Harris, David Money

396

Synthesis and Optimization of Threshold Logic Networks with Application to Nanotechnologies  

E-Print Network [OSTI]

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

Zhong, Lin

397

InGaAs self-aligned HEMT for logic applications  

E-Print Network [OSTI]

As CMOS scaling approaches the end of the roadmap it has become a matter of great urgency to explore alternative options to conventional Si devices for logic applications. The high electron mobilities of III-V based compounds ...

Waldron, Niamh, 1974-

2007-01-01T23:59:59.000Z

398

Revision 1, Submitted to IEEE Transactions on Computer-Aided Design Logic Synthesis of Multilevel Circuits  

E-Print Network [OSTI]

detection capability, it requires a large area overhead. Recently, research has been done on using automated logic synthesis techniques (such as those used in MIS [Brayton 87a]) to design multilevel circuits

Stanford University

399

Enzyme-Based Logic Systems for Information Processing  

E-Print Network [OSTI]

We review enzymatic systems which involve biocatalytic reactions utilized for information processing (biocomputing). Extensive ongoing research in biocomputing, mimicking Boolean logic gates has been motivated by potential applications in biotechnology and medicine. Furthermore, novel sensor concepts have been contemplated with multiple inputs processed biochemically before the final output is coupled to transducing "smart-material" electrodes and other systems. These applications have warranted recent emphasis on networking of biocomputing gates. First few-gate networks have been experimentally realized, including coupling, for instance, to signal-responsive electrodes for signal readout. In order to achieve scalable, stable network design and functioning, considerations of noise propagation and control have been initiated as a new research direction. Optimization of single enzyme-based gates for avoiding analog noise amplification has been explored, as were certain network-optimization concepts. We review and exemplify these developments, as well as offer an outlook for possible future research foci. The latter include design and uses of non-Boolean network elements, e.g., filters, as well as other developments motivated by potential novel sensor and biotechnology applications.

Evgeny Katz; Vladimir Privman

2009-10-01T23:59:59.000Z

400

Oak Ridge National Laboratory Technology Logic Diagram. Indexes  

SciTech Connect (OSTI)

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

Not Available

1993-09-01T23:59:59.000Z

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


401

Analysis of cook-off using logic models  

SciTech Connect (OSTI)

Developing a predictive model for cook-off is a difficult task. Recent experiments with PBX 9501 have shown that under certain heating and confinement conditions it is possible to generate large regions of almost uniform temperature in an explosive. Such regions react violently in a coherent fashion and may have the potential to produce unusually symmetric detonation waves in certain geometries. These results were unexpected before the experiments and have generated considerable additional activity both experimentally and in model building. At this time, there is no unambiguous explanation for the observed behavior, and therefore, there is a considerable number of fledgling models in existence. These models suggest varying and possibly contradictory mechanisms to explain the thermal profiles and wave behavior data. In this paper, we present an approach to model development for cook-off of PBX 9501 based on logic models called process trees. Process trees are well-suited to the task of describing causal sequences and delineating alternative descriptions of observed phenomenology. Therefore, they provide a valuable basis for constructing physical models and integrating them.

Luck, L. B.

2001-01-01T23:59:59.000Z

402

Coherent control of the Goos-Hanchen shift  

E-Print Network [OSTI]

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

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

2010-01-01T23:59:59.000Z

403

Hand held phase-shifting diffraction moire interferometer  

DOE Patents [OSTI]

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

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

1994-01-01T23:59:59.000Z

404

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

E-Print Network [OSTI]

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

Hardy, AliciA Jillian Jackson, 1978-

2004-01-01T23:59:59.000Z

405

Random coil chemical shift for intrinsically disordered proteins: effects of temperature and pH  

Science Journals Connector (OSTI)

Secondary chemical shift analysis is the main NMR method for detection of transiently formed secondary structure in intrinsically disordered proteins. The quality of the secondary chemical shifts...2001...). The ...

Magnus Kjaergaard; Sren Brander; Flemming M. Poulsen

2011-02-01T23:59:59.000Z

406

Partial scan design and test sequence generation based on reduced scan shift method  

Science Journals Connector (OSTI)

This paper presents a partial scan algorithm, calledPARES (PartialscanAlgorithm based onREduced Scan shift), for designing partial scan circuits. PARES is based on the reduced scan shift that has been previously ...

Yoshinobu Higami; Seiji Kajihara; Kozo Kinoshita

407

Improved Description of the Plasmon Resonance Wavelength Shift in Metallic Nanoparticle Pairs  

Science Journals Connector (OSTI)

Increasing the gap between dimers shifts the plasmon resonance toward the blue region of the spectrum, and this shift is generally described by an exponential decay[1118]. We propose in this paper a different f...

Montacer Dridi; Alexandre Vial

2011-12-01T23:59:59.000Z

408

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

E-Print Network [OSTI]

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

409

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

E-Print Network [OSTI]

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

410

Electrodynamic Displacement of Atomic Energy Levels. II. Lamb Shift  

Science Journals Connector (OSTI)

The vacuum fluctuations of the photon and pair fields modify the interaction of an electron with an electromagnetic field. The effects on the energy levels are conveniently described in terms of the mass operator and the vacuum polarization potential. An operator calculus for handling the mass operator is used to separate the contribution of low energy quanta, for which the external electromagnetic field may not be treated as weak. The remainder is given as a power series in the field. The additional displacement of order Z? with respect to the published values for the Lamb shift is calculated by specializing the external field to the Coulomb field of the nucleus and by taking the matrix element of the operators in an S-state of a hydrogen-like atom. It is found that the nS-level is raised by Z5?4n3Ry1+11128-12ln2+5192. The theoretical value for the Lamb shift of an atom with infinitely heavy nucleus becomes 1058.42 Mc/sec. Effects of finite nuclear mass and size change this value to 1057.8 Mc/sec and 1058.9 Mc/sec for hydrogen and deuterium, respectively.

Robert Karplus, Abraham Klein, and Julian Schwinger

1952-05-01T23:59:59.000Z

411

Free Energy Shift of Condition Electrons Due to the s-d Exchange Interaction  

Science Journals Connector (OSTI)

......1969 research-article Articles Free Energy Shift of Condition Electrons Due...University, Toyonaka, Osaka The free energy shift of the s-d system is recalculated...Vol. 41, No.6, June 1969 Free Energy Shift of Conduction Electrons Due......

Kei Yosida; Hirosi Miwa

1969-06-01T23:59:59.000Z

412

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

E-Print Network [OSTI]

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

O'Gorman, Paul

413

The impact of policy measures on promoting the modal shift from road to rail  

Science Journals Connector (OSTI)

This paper aims to examine the impact of policy measures on promoting a modal shift. Based on the results put forth by previous research, we first formulate hypotheses that describe the effects between policy measures and modal shift. Using these hypotheses, ... Keywords: Modal shift, Packaging logistics, Policy measures, SEM

Bu-Lim Choi; Kyung-Yong Chung; Kang-Dae Lee

2014-08-01T23:59:59.000Z

414

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

E-Print Network [OSTI]

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

Schultz, David

415

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

E-Print Network [OSTI]

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

Goshtasby, Arthur Ardeshir

416

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

E-Print Network [OSTI]

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

Chaudhary, Vipin

417

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

E-Print Network [OSTI]

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

Walker, Thad G.

418

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

E-Print Network [OSTI]

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

Wineberg, Mark

419

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION PROCESS  

SciTech Connect (OSTI)

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

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

2002-12-01T23:59:59.000Z

420

WATER-GAS SHIFT WITH INTEGRATED HYDROGEN SEPARATION PROCESS  

SciTech Connect (OSTI)

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

Maria Flytzani-Stephanopoulos; Xiaomei Qi; Scott Kronewitter

2004-02-01T23:59:59.000Z

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


421

The logic behind thick, liquid-walled, fusion concepts  

SciTech Connect (OSTI)

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

Moir, R.W.

1994-04-15T23:59:59.000Z

422

Yield Enhancement of Asynchronous Logic Circuits through 3-Dimensional Integration Technology  

E-Print Network [OSTI]

Aggressive technology scaling results in continuously increasing process complexity and wafer handling cost of different materials (such as SiGe and III-V materials) or technologies (such as sub- micron and nanometer the diagram of a 3-D structure with two device layers. Higher clock frequency and decreased feature sizes

Manohar, Rajit

423

Phase-shifting point-diffraction interferometry at EUV wavelengths  

SciTech Connect (OSTI)

A novel phase-shifting point-diffraction interferometer (PS/PDI) operating at the Advanced Light Source (ALS) is being used to perform wavefront-measuring metrology at 13.4-nm wavelength to characterize aberrations in a multilayer-coated 10x Schwarzschild objective designed for extreme ultraviolet (EUV) projection lithography experiments. To achieve 0.1-micron critical dimension pattern transfer with EUV projection lithography at 13.4-nm wavelength, nearly diffraction-limited all-reflective multilayer-coated optical systems with 0.1 numerical aperture are required. The EUV wavefront, determined by the mirror surfaces and the reflective multilayer coatings, is measurable only at the operational wavelength of the system. The authors goal is to measure the EUV wavefront to an accuracy of 0.01 waves rms (0.13 nm). The PS/PDI is a type of point-diffraction interferometer, modified for significantly improved throughput and phase-shifting capability. The interferometer design utilizes a grating beamsplitter and pinhole spatial filters in the object and image planes of the optical system under test. The 10x-reduction Schwarzschild objective, with image-side numerical aperture of 0.08, is illuminated by a sub-micron pinhole in the object plane. A coarse, 20-micron pitch grating placed between the illumination pinhole and the Schwarzschild system serves a dual role as a small-angle beam-splitter and a phase-shifting element. The first-order diffracted beam from the grating is spatially filtered in the image plane of the Schwarzschild with a sub-100-nm pinhole and becomes the `D reference` wave in the interferometer. The zero-order beam is the `test` wave, and it passes unobstructed through a 4.5-{mu}m window in the image plane. The test and reference beams are separated by several microns in the image plane to minimize beam overlap. The interference fringes are recorded with a CCD detector placed about 12 cm from the Schwarzschild image plane.

Goldberg, K.A.; Tejnil, E.; Sang Lee [Ernest Orlando Lawrence Berkeley National Lab., CA (United States)] [and others

1997-04-01T23:59:59.000Z

424

9/7/12 To Avoid Humans, Tigers Take Night Shift 1/3www.voanews.com/content/to-avoid-humans-tigers-take-night-shift/1503593.html  

E-Print Network [OSTI]

9/7/12 To Avoid Humans, Tigers Take Night Shift 1/3www.voanews.com/content/to the start of the 20th century, the tiger population has declined by 97 percent to approximately 3.voanews.com/content/to-avoid-humans-tigers-take-night-shift/1503593.html But the area is home to people

425

Isotope shift in the electron affinity of lithium  

SciTech Connect (OSTI)

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

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

2009-12-21T23:59:59.000Z

426

PowerSHIFT Energy Company Inc | Open Energy Information  

Open Energy Info (EERE)

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":""}]}

427

Automated Interpretation of LIBS Spectra using a Fuzzy Logic Inference Engine  

SciTech Connect (OSTI)

Automated interpretation of laser-induced breakdown spectroscopy (LIBS) data is necessary due to the plethora of spectra that can be acquired in a relatively short time. However, traditional chemometric and artificial neural network methods that have been employed are not always transparent to a skilled user. A fuzzy logic approach to data interpretation has now been adapted to LIBS spectral interpretation. A fuzzy logic inference engine (FLIE) was used to differentiate between various copper containing and stainless steel alloys as well as unknowns. Results using FLIE indicate a high degree of confidence in spectral assignment.

Jeremy J. Hatch; Timothy R. McJunkin; Cynthia Hanson; Jill R. Scott

2012-02-01T23:59:59.000Z

428

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

SciTech Connect (OSTI)

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

David Cuyler

2012-07-19T23:59:59.000Z

429

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

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

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

David Cuyler

430

First Order Rough LogicRevisited T.Y. Lin 1;2 and Qing Liu 3  

E-Print Network [OSTI]

on axiomatic rough set theory, first order rough logic was developed earlier. In this paper, a new model theory and rough set theory. Rough set theory is based on a known equivalence relation (indis­ cernibility relation equivalence relation. How­ ever, to see clearly the relationships between rough logic and rough set theories

Lin, Tsau Young

431

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

E-Print Network [OSTI]

Proposal for all-graphene monolithic logic circuits Jiahao Kang, Deblina Sarkar, Yasin Khatami://apl.aip.org/features/most_downloaded Information for Authors: http://apl.aip.org/authors #12;Proposal for all-graphene monolithic logic circuits. This letter introduces and explores an "all-graphene" device-interconnect co-design scheme, where a single 2

432

Conservative relativity principle: Logical ground and analysis of relevant experiments  

E-Print Network [OSTI]

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

Alexander Kholmetskii; Tolga Yarman; Oleg Missevitch

2014-05-08T23:59:59.000Z

433

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

E-Print Network [OSTI]

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

del Alamo, Jesús A.

434

An analytic solution for a fault tree with circular logics in which the systems are linearly interrelated  

Science Journals Connector (OSTI)

A circular logic or a logical loop is defined as the infinite circulation of supporting relations due to their mutual dependencies among the systems in the fault tree analysis. While many methods to break the circular logic have been developed and used in the fault tree quantification codes, the general solution for a circular logic is not generally known as yet. This paper presents an analytic solution for circular logics in which the systems are linearly interrelated with each other. To formulate the analytic solution, the relations among systems in the fault tree structure are described by the Boolean equations. The solution is, then, obtained from the successive substitutions of the Boolean equations, which is equivalent to the attaching processes of interrelated system's fault tree to a given fault tree. The solution for three interrelated systems and their independent fault tree structures are given as an example.

Ho-Gon Lim; Seung-Cheol Jang

2007-01-01T23:59:59.000Z

435

Further development of a versatile computer-assisted learning program for dental education with an exemplifying application on how to logically arrange and mount periapical and bitewing radiographs  

Science Journals Connector (OSTI)

To develop interactive computer-assisted learning software for teaching dental students to logically arrange periapical and bitewing radiographs.

Hideyuki Tanimoto; Hans-Gran Grndahl; Kerstin Grndahl; Yoshinori Arai

2006-12-01T23:59:59.000Z

436

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

SciTech Connect (OSTI)

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

NONE

1994-09-01T23:59:59.000Z

437

Droplet Formation via Solvent Shifting in a Microfluidic Device  

E-Print Network [OSTI]

Solvent shifting is a process in which a non-solvent is added to a solvent/solute mixture and extracts the solvent. The solvent and the non-solvent are miscible. Because of solution supersaturation a portion of the solute transforms to droplets. In this paper, based on this process, we present an investigation on droplet formation and their radial motion in a microfluidic device in which a jet is injected in a co-flowing liquid stream. Thanks to the laminar flow, the microfluidic setup enables studying diffusion mass transfer in radial direction and obtaining well-defined concentration distributions. Such profiles together with Ternary Phase Diagram (TPD) give detailed information about the conditions for droplet formation condition as well as their radial migration in the channel. The ternary system is composed of ethanol (solvent), de-ionized water (non-solvent) and divinyle benzene (solute). We employ analytical/numerical solutions of the diffusion equation to obtain concentration profiles of the component...

Hajian, Ramin

2014-01-01T23:59:59.000Z

438

Relations among Intensity, Time, and Temporary Threshold Shift  

Science Journals Connector (OSTI)

The results of a series of studies using normal ears on the effects of broad?band noise (equal energy in all octave bands from 75 to 10 000 cps) can be summarized by the equation TTS ?=?1.06R(S?85)?( log 10 ?T/1.7)?(10.37? log 10 ?t/2) where TTS is the threshold shift at 4000 cps in db t minutes after cessation of a T?minute exposure to the noise;S is the sound?pressure level of the noise and R is the fraction of time that the noise is on. This equation is shown to hold for 05 min t>2 min and all values of R provided that the noise pulses are 1 sec to 1 min long. Thus the relation between intensity and duration for constant TTS is much more complicated than predicted by the equation IT = K of classical psychophysics or the I 2 T = k recently suggested although both are approximately true in particular regions. Furthermore it is evident that a noise on only part of the time is much less dangerous than one on continuously. (This research was supported in part by a grant from the National Institutes of Health.)

W. D. Ward; A. Glorig; D. L. Sklar

1958-01-01T23:59:59.000Z

439

Environmental Effects on TPB Wavelength-Shifting Coatings  

E-Print Network [OSTI]

The scintillation detection systems of liquid argon time projection chambers (LArTPCs) require wavelength shifters to detect the 128 nm scintillation light produced in liquid argon. Tetraphenyl butadiene (TPB) is a fluorescent material that can shift this light to a wavelength of 425 nm, lending itself well to use in these detectors. We can coat the glass of photomultiplier tubes (PMTs) with TPB or place TPB-coated plates in front of the PMTs. In this paper, we investigate the degradation of a chemical TPB coating in a laboratory or factory environment to assess the viability of long-term TPB film storage prior to its initial installation in an LArTPC. We present evidence for severe degradation due to common fluorescent lights and ambient sunlight in laboratories, with potential losses at the 40% level in the first day and eventual losses at the 80% level after a month of exposure. We determine the degradation is due to wavelengths in the UV spectrum, and we demonstrate mitigating methods for retrofitting lab and factory environments.

C. S. Chiu; C. Ignarra; L. Bugel; H. Chen; J. M. Conrad; B. J. P. Jones; T. Katori; I. Moult

2012-04-25T23:59:59.000Z

440

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

E-Print Network [OSTI]

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

Collins, Emmanuel

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


441

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

442

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

E-Print Network [OSTI]

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

Hall, Christopher D.

443

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

E-Print Network [OSTI]

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

Blank, Douglas

444

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

E-Print Network [OSTI]

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

Kreinovich, Vladik

445

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

E-Print Network [OSTI]

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

Blank, Douglas

446

Localized aggressive non-Hodgkins lymphoma of the nasal cavity: a survey by the Japan Lymphoma Radiation Therapy Group  

Science Journals Connector (OSTI)

Purpose: To clarify the role of radiotherapy and chemotherapy in the treatment of patients with localized aggressive non-Hodgkins lymphomas (NHL) originating in the nasal cavity. Methods and Materials: The survey, administered at 25 Japanese institutes in 1998, enabled us to collect the clinical data for 787 patients with localized aggressive NHL who were treated between 1988 and 1992. Results: There were 42 patients (5%) with nasal lymphomas. Twelve of these patients received radiotherapy alone, and 30 were treated with a combination of radiotherapy and chemotherapy. The median radiation dose was 47 Gy (2266). Twelve patients were reviewed histopathologically according to REAL (Revised European-American Classification of Lymphoid neoplasms) classification. T-cell or natural killer (NK) cell lymphomas were detected in 9 patients (75%), and diffuse large B-cell lymphomas in 3 (25%). The 5-year overall and disease-free survival (DFS) rates of all patients were 57% and 59%, respectively. The 5-year DFS rate for the 30 patients treated with the combined therapy was 64% and that for the 12 patients treated with radiotherapy alone was 46% (p = 0.021). For the 34 patients with stage-modified International Prognostic Index (m-IPI) 01, the 5-year DFS rates of those treated with the combined therapy and radiotherapy alone were 68% and 45%, respectively (p = 0.020), but there was no difference in DFS rate among the two groups of patients with m-IPI 23. The 5-year local control rates of the patients who received >46 Gy (n = 22) and ?46 Gy (n = 20) were 95% and 76% (p = 0.087), respectively. There was no significant difference among the 5-year DFS rates (62% vs. 67%) and local control rates (87% vs. 100%) of the patients with T-cell or NK-cell lymphoma and diffuse large B-cell lymphoma. Conclusions: Patients with nasal lymphomas (m-IPI 01) should be treated with combined therapy. For the patients with high risk (m-IPI 23), the effectiveness of combined therapy was not clarified because of the small number of the patients. A high radiation dose >46 Gy may need to be used to achieve good local control.

Naoto Shikama; Hiroshi Ikeda; Shigeo Nakamura; Masahiko Oguchi; Kouichi Isobe; Saeko Hirota; Masatoshi Hasegawa; Katsumasa Nakamura; Keisuke Sasai; Naofumi Hayabuchi

2001-01-01T23:59:59.000Z

447

Goos-H\\"anchen and Imbert-Fedorov shifts for astigmatic Gaussian beams  

E-Print Network [OSTI]

In this work we investigate the role of the beam astigmatism in the Goos-H\\"anchen and Imbert-Fedorov shift. As a case study, we consider a Gaussian beam focused by an astigmatic lens and we calculate explicitly the corrections to the standard formulas for beam shifts due to the astigmatism induced by the lens. Our results show that astigmatism may enhance the angular part of the shift.

Ornigotti, Marco

2015-01-01T23:59:59.000Z

448

E-Print Network 3.0 - attentional set shifting Sample Search...  

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

Sample search results for: attentional set shifting Page: << < 1 2 3 4 5 > >> 1 Bullet trains and steam engines: Exogenous attention zips but endogenous attention chugs along...

449

Understanding Sustainable Transportation Choices: Shifting Routine Automobile Travel to Walking and Bicycling  

E-Print Network [OSTI]

and G.F. Ulfarsson. Curbing Automobile Use for Sustainablebe able to shift routine automobile travel to pedestrian andChanges in Respondent Automobile Mode Shares Under Different

Schneider, Robert James

2011-01-01T23:59:59.000Z

450

Isotope shifts of multipole lines of Pb I and Pb II  

Science Journals Connector (OSTI)

Studies of isotope shifts of three multipole lines between levels of the ground configuration 6s26p2 of Pb I, i.e.:...

Wasowicz, Tomasz Jaroslaw; Werbowy, Slawomir; Kwela, Jerzy; Drozdowski, Ryszard

2010-01-01T23:59:59.000Z

451

Relativistic calculations of the isotope shifts in highly charged Li-like ions  

E-Print Network [OSTI]

Relativistic calculations of the isotope shifts of energy levels in highly charged Li-like ions are performed. The nuclear recoil (mass shift) contributions are calculated by merging the perturbative and large-scale configuration-interaction Dirac-Fock-Sturm (CI-DFS) methods. The nuclear size (field shift) contributions are evaluated by the CI-DFS method including the electron-correlation, Breit, and QED corrections. The nuclear deformation and nuclear polarization corrections to the isotope shifts in Li-like neodymium, thorium, and uranium are also considered. The results of the calculations are compared with the theoretical values obtained with other methods.

Zubova, N A; Shabaev, V M; Tupitsyn, I I; Volotka, A V; Plunien, G; Brandau, C; Sthlker, Th

2014-01-01T23:59:59.000Z

452

Pricing Structure and Tools for Profitable Load-Shifting by Aggregator...  

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

via incentive pricing. Also, a complementary visualization technique for assessing demand response plans and peak load shifts. Description As power grids struggle to keep up with...

453

Comparison of Palladium and Platinum Water Gas Shift Kinetics Using Density Functional Theory Models.  

E-Print Network [OSTI]

??The Water Gas Shift (WGS) reaction can be either thermodynamically or kinetically limited, depending on process conditions. Improved catalysts are of particular interest at low (more)

Clay, John

2014-01-01T23:59:59.000Z

454

Comparison of palladium and platinum Water Gas Shift reaction kinetics using density functional theory models.  

E-Print Network [OSTI]

?? The Water Gas Shift (WGS) reaction can be either thermodynamically or kinetically limited, depending on process conditions. Improved catalysts are of particular interest at (more)

Clay, John P.

2014-01-01T23:59:59.000Z

455

Observation and cancellation of the dc Stark shift in strontium optical lattice clocks  

E-Print Network [OSTI]

We report on the observation of a dc Stark frequency shift at the $10^{-13}$ level by comparing two strontium optical lattice clocks. This frequency shift arises from the presence of electric charges trapped on dielectric surfaces placed under vacuum close to the atomic sample. We show that these charges can be eliminated by shining UV light on the dielectric surfaces, and characterize the residual dc Stark frequency shift on the clock transition at the $10^{-18}$ level by applying an external electric field. This study shows that the dc Stark shift can play an important role in the accuracy budget of lattice clocks, and should be duly taken into account.

Lodewyck, Jrme; Lorini, Luca; Gurov, Mikhail; Lemonde, Pierre

2011-01-01T23:59:59.000Z

456

Guide to good practices for control of on-shift training  

SciTech Connect (OSTI)

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.

NONE

1998-12-01T23:59:59.000Z

457

Vibration measurement using phase-shifting time-average holographic interferometry  

Science Journals Connector (OSTI)

Computer image processing techniques for the measurement of vibration amplitude are presented, which utilize phase-shifted time-average holographic interferograms. The calculation of...

Nakadate, Suezou

1986-01-01T23:59:59.000Z

458

A Fuzzy Logic-Based Approach for Node Localization in Mobile Sensor Networks  

E-Print Network [OSTI]

and signal interference. We propose FuzLoc, a range-based, anchor-based, fuzzy logic enabled system system for localization. Quantities like RSS and distance are transformed into linguistic variables such as Low, Medium, High etc. by binning. The location...

Chenji Jayanth, Harshavardhan

2011-02-22T23:59:59.000Z

459

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

Science Journals Connector (OSTI)

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

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

2013-04-01T23:59:59.000Z

460

Ports for Objects in Concurrent Logic Programs Sverker Janson Johan Montelius Seif Haridi  

E-Print Network [OSTI]

Ports for Objects in Concurrent Logic Programs Sverker Janson Johan Montelius Seif Haridi Swedish Institute of Computer Sciencey . July 13, 1993 Abstract We introduce ports, an alternative to streams a pragmatic point of view ports provide e cient many-to- one communication, object identity, means for garbage

Janson, Sverker

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


461

Chapter Nine: Logic Clue Game (continued) Suspects, Weapons, and Scenes of the Crime  

E-Print Network [OSTI]

Chapter Nine: Logic ­ Clue Game (continued) Suspects, Weapons, and Scenes of the Crime The following is a list of the possible suspects, murder weapons, and murder scenes. There are six suspects, six weapons, and nine rooms. Suspects: Mr. Green, Colonel Mustard, Mrs. Peacock, Professor Plum, Miss Scarlet

Morton, Dena - Department of Mathematics and Computer Science, Xavier University

462

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

E-Print Network [OSTI]

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

Jiang, Xiaohua

2012-06-07T23:59:59.000Z

463

NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan  

E-Print Network [OSTI]

June 2009 NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan Execution Language Gilles Dowek University of Illinois at Urbana-Champaign, Illinois #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific

Muñoz, César A.

464

EEL 4712 Digital Design 1. Catalog Description (3 credits) Advanced modular logic design, design languages,  

E-Print Network [OSTI]

EEL 4712 Digital Design 1. Catalog Description ­ (3 credits) Advanced modular logic design, design systems, using the state of the art technologies and design environments and tools. 4. Contribution containing an Altera Cyclone II EP2C8T144C8 FPGA (will be provided to you, included in lab fee) 13

Fang, Yuguang "Michael"

465

NORTHWESTERN LAKES OF THE UNITED STATES: BIO-LOGICAL AND CHEMICAL STUDIES WITH REFERENCE  

E-Print Network [OSTI]

102 102 103 103 Lakes in western Washington-Continued. Lake Stevens, Wash . Swan Lake, Wash . Lake '" . Lakes in California and Oregon . Crater Lake, Oreg .. Temperatures .. Net plankton '" . Fallen Leaf LakeNORTHWESTERN LAKES OF THE UNITED STATES: BIO- LOGICAL AND CHEMICAL STUDIES WITH REFERENCE

466

Formalizing action and change in modal logic I: the frame problem  

Science Journals Connector (OSTI)

......and Sandewall's review of the domain [54...logic of action and plans (LAP), is slightly...semantics, and show that standard proof-theoretic...by: 2), then a plan can be found by the...not needed for the standard tasks in reasoning about actions and plans. Let fh S 1; 1......

MA Castilho; O Gasquet; A Herzig

1999-10-01T23:59:59.000Z

467

Ian Hacking. An Introduction to Probability and Inductive Logic. Cambridge University Press 2000, xvii + 302 pp.  

E-Print Network [OSTI]

Ian Hacking. An Introduction to Probability and Inductive Logic. Cambridge University Press 2000, and as an introduction to statistical inference and decision theory, it is even better. Hacking writes very clearly and engagingly throughout. A good supply of well-chosen exercises appear at the end of each chapter, and Hacking

Fitelson, Branden

468

A linear logical view of linear type isomorphisms Vincent Balat and Roberto Di Cosmo  

E-Print Network [OSTI]

A linear logical view of linear type isomorphisms Vincent Balat and Roberto Di Cosmo LIENS ' Ecole lambda calculus) have recently been investigated due to their practical interest in library search, where they provide a means to search functions by type (see [18, 19, 17, 20, 9, 8, 10]) and to match

Balat, Vincent - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7

469

Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments  

E-Print Network [OSTI]

Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland rarnold of propositional logic when you see traffic lights at intersections? Or do you reason about what the throughput of a street might be while being caught up in a traffic jam? Most people do not, we presume. But as Info

470

International Phenomenological Society Backwards and Forwards in the Modal Logic of Agency  

E-Print Network [OSTI]

International Phenomenological Society Backwards and Forwards in the Modal Logic of Agency Author(s): Nuel Belnap Source: Philosophy and Phenomenological Research, Vol. 51, No. 4 (Dec., 1991), pp. 777-807 Published by: International Phenomenological Society Stable URL: http://www.jstor.org/stable/2108182

Belnap, Nuel

471

Control of Stand-Alone Photovoltaic System Using Fuzzy-Logic Controller  

E-Print Network [OSTI]

the fuzzy-logic controller (flc) in order to control of maximum power point tracker (mppt) of PV generator under variable radiation conditions. For this, we used as solution the control of the mppt variation in order to deliver the highest power to the load...

Mellit, A.; Benghanme, M.; Arab, A. H.; Guessoum, A.

2004-01-01T23:59:59.000Z

472

Proc. KR2004 1 A Logic of Arbitrary and Indefinite Objects  

E-Print Network [OSTI]

Proc. KR2004 1 A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro Department of Computer 1992; Shapiro 2000c; Shapiro & The SNePS Implementa- tion Group 2002). SNePS is a propositional. Copyright c 2004, Stuart C. Shapiro. All rights reserved. In the remainder of this section, we will give

Shapiro, Stuart C.

473

Journal of Applied Logic 5 (2007) 7091 www.elsevier.com/locate/jal  

E-Print Network [OSTI]

resolution refutation Debra T. Burhans a, , Stuart C. Shapiro b a Department of Computer Science, Canisius author. E-mail addresses: burhansd@canisius.edu (D.T. Burhans), shapiro@cse.buffalo.edu (S.C. Shapiro.12.004 #12;D.T. Burhans, S.C. Shapiro / Journal of Applied Logic 5 (2007) 70­91 71 factoring is refutation

Shapiro, Stuart C.

474

Safety Logics II: Normative Safety John Bell and Zhisheng Huang 1  

E-Print Network [OSTI]

safety, obligation, rationality and risk, and outline some extensions to the present work. 1 Introduction, and outline some extensions to the present work. 2 Absolute Safety We start with disasters and the ideaSafety Logics II: Normative Safety John Bell and Zhisheng Huang 1 Abstract. In this paper we

Huang, Zhisheng

475

Thermal Efficiency Optimization for Industrial Power Plants Under Load Fluctuations Using Fuzzy Logic  

E-Print Network [OSTI]

by better techniques for automated control of throttle valves in the steam turbine of the plant. One of these options, fuzzy logic, is selected, and defended, as being the more effective than current approaches. A comparative analysis is conducted of control...

Steffenhagan, W.; de Sam Lazaro, A.

476

Inverter Minimization in Multi-Level Logic Networks Department of ECE  

E-Print Network [OSTI]

Inverter Minimization in Multi-Level Logic Networks Alok Jain Department of ECE Carnegie Mellon Pittsburgh, PA 15213 Abstract In this paper, we look at the problem of inverter minimization in multi approach takes a more global view and maps the problem of inverter minimization into a problem of removing

Bryant, Randal E.

477

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

Science Journals Connector (OSTI)

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

Brian T. Contos; Steve Hunt; Colby Derodeff

2007-04-01T23:59:59.000Z

478

`Games That Make Sense': logic, language, and multi-agent interaction  

E-Print Network [OSTI]

`Games That Make Sense': logic, language, and multi-agent interaction Johan van Benthem Institute. In this short invited note, I will take the cruising altitude a few levels up from his, and show you a panoramic the success of communication. And once you start thinking all this through, you wind up in a `hermeneutical

Amsterdam, University of

479

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

Science Journals Connector (OSTI)

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

Darine Zambrano; Winston Garca-Gabn; Eduardo F. Camacho

2007-04-01T23:59:59.000Z

480

A new relational Tri-training system with adaptive data editing for inductive logic programming  

Science Journals Connector (OSTI)

Relational Tri-training (R-Tri-training for short), as a relational semi-supervised learning system, can effectively exploit unlabeled examples to improve the generalization ability. However, the R-Tri-training may also suffer from the common problem ... Keywords: Adaptive strategy, Data editing, Inductive logic programming, Machine learning, PAC learning, Relational Tri-training, Tri-training

Yanjuan Li; Maozu Guo

2012-11-01T23:59:59.000Z

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


481

Modeling Medical System Threats with Conditional Probabilities using Multiple-Valued Logic Decision  

E-Print Network [OSTI]

Modeling Medical System Threats with Conditional Probabilities using Multiple-Valued Logic Decision system reliability has become an area of increasing importance. Medical system threats, which include system operation. To address these problems, we build upon our previous threat cataloging methodology

Thornton, Mitchell

482

THE LOGIC OF ENTERPRISE MODELLING M. Gruninger and M.S. Fox  

E-Print Network [OSTI]

for creating manufacturing software and modelling standards. · CIM-OSA: A reference model developed, but to logical models as found in Computer Science. Towards this end, the T'OVE ontology [Fox et al. 93] has been developed. An ontology [Gruber 93] is a formal description of entities and their properties; it forms

Grüninger, Michael

483

Knowledge acquisition method from domain text based on theme logic model and artificial neural network  

Science Journals Connector (OSTI)

In order to acquire knowledge from domain text such as failure analysis text of aviation product, a framework is proposed to enhance the efficiency and accuracy of knowledge acquisition. In this framework, sentence templates are defined to extract the ... Keywords: Artificial neural network, Domain text, Failure analysis report, Knowledge acquisition, Theme logic model

Jun Wang; Yunpeng Wu; Xuening Liu; Xiaoying Gao

2010-01-01T23:59:59.000Z

484

Computing in the 21st century: nanocircuitry, defect tolerance and quantum logic  

Science Journals Connector (OSTI)

...estimate of the energy required to add...from ENIAC. The implementation of some reversibility...similar to the challenges that are faced...Teramac and its implementation of defect tolerance...even such exotic implementations of quantum logic...pursued today could wind up in desktop computers...

1998-01-01T23:59:59.000Z

485

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

Science Journals Connector (OSTI)

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

Lata Gidwani; Rajesh Kumar

2007-12-01T23:59:59.000Z

486

Temporal Logic Theorem Proving and its Application to the Feature Interaction Problem  

E-Print Network [OSTI]

a specialized automated proof procedure that handles the class of linear temporal logic formulas that arise School of Information Technology and Engineering, University of Ottawa 150 Louis Pasteur, P.O. Box 450 of properties that can be handled by our technique. Using a model checker restricted us to consider only

Felty, Amy

487

Using Markov Logic Network for On-line Activity Recognition from Non-Visual Home  

E-Print Network [OSTI]

Using Markov Logic Network for On-line Activity Recognition from Non-Visual Home Automation Sensors automation equipments coexist. This research is linked to the Sweet-Home project which aims at developing and dissemination of assistive technology would be more efficient if it is built on standard home automation

Paris-Sud XI, Université de

488

Classical Logical versus Quantum Conceptual Thought: Examples in Economics, Decision theory and Concept Theory  

E-Print Network [OSTI]

Inspired by a quantum mechanical formalism to model concepts and their disjunctions and conjunctions, we put forward in this paper a specific hypothesis. Namely that within human thought two superposed layers can be distinguished: (i) a layer given form by an underlying classical deterministic process, incorporating essentially logical thought and its indeterministic version modeled by classical probability theory; (ii) a layer given form under influence of the totality of the surrounding conceptual landscape, where the different concepts figure as individual entities rather than (logical) combinations of others, with measurable quantities such as 'typicality', 'membership', 'representativeness', 'similarity', 'applicability', 'preference' or 'utility' carrying the influences. We call the process in this second layer 'quantum conceptual thought', which is indeterministic in essence, and contains holistic aspects, but is equally well, although very differently, organized than logical thought. A substantial part of the 'quantum conceptual thought process' can be modeled by quantum mechanical probabilistic and mathematical structures. We consider examples of three specific domains of research where the effects of the presence of quantum conceptual thought and its deviations from classical logical thought have been noticed and studied, i.e. economics, decision theory, and concept theories and which provide experimental evidence for our hypothesis.

Diederik Aerts; Bart D'Hooghe

2008-10-29T23:59:59.000Z

489

microbial community. Coevolution altered eco-logical population dynamics and resulted in  

E-Print Network [OSTI]

microbial community. Coevolution altered eco- logical population dynamics and resulted in bacteria-nutrient broth, coevolutionary dynam- ics in soil appear to be driven by fluctuating selection--a form (2007). 6. S. Gandon, A. Buckling, E. Decaestecker, T. Day, J. Evol. Biol. 21, 1861 (2008). 7. C. M

Farrell, Anthony P.

490

EE 101 EE Dept., New Mexico Tech Introduction to Logic Gates  

E-Print Network [OSTI]

The Necessity of an Interpreter 17 3 Consequences of Encodingism 19 LOGICAL CONSEQUENCES 19 Skepticism 19 Consequences of the Encodingism Impasse 47 REPRESENTATION 47 LEARNING 47 THE MENTAL 51 WHY ENCODINGISM? 51 II Observer Semantics 78 Truth as a Counterexample to Encodingism 79 #12;vii TURING 80 Semantics

Wedeward, Kevin

491

A Fuzzy Formal Logic for Interval-valued Residuated Lattices B. Van Gasse  

E-Print Network [OSTI]

that this truth- functional approach, along with the residu- ation principle, has some consequences that seem truth values instead of only `true' and `false'. A wide range of such logics were introduced cases it may be preferable to work with graded truth values, e.g. for propositions like `a cat

Gent, Universiteit

492

Subjective Logic Extensions for the Semantic Web Davide Ceolin, Archana Nottamkandath, and Wan Fokkink  

E-Print Network [OSTI]

such assertions and to derive the truth values of the consequences. Subjective logic is well on the representation and the reasoning on assertions of which truth value is not fully determined, but estimated the estimated truth value of an assertion is bound to the source of the corresponding evidence and allows

Fokkink, Wan

493

Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages  

E-Print Network [OSTI]

of Warren's Abstract Machine. The paper complements previous work of P. Kursawe who reconstructed several for the design of abstract machines and intermediate languages. Much of that work is due to M. Wand who designedTowards a Methodology for the Design of Abstract Machines for Logic Programming Languages Ulf

Zhao, Yuxiao

494

DNA "Nano-Claw": Logic-Based Autonomous Cancer Targeting and Mingxu You,,  

E-Print Network [OSTI]

DNA "Nano-Claw": Logic-Based Autonomous Cancer Targeting and Therapy Mingxu You,, Lu Peng, Na Shao for Research at the Bio/Nano Interface, Shands Cancer Center, UF Genetics Institute, McKnight Brain Institute a DNA- based device, called "Nano-Claw". Combining the special structure-switching properties of DNA

Tan, Weihong

495

Multiple-valued logics based on SET/CMOS hybrid technology K.-W. Song1  

E-Print Network [OSTI]

elementary function blocks such as multiple-valued logic has a significant importance in nanoelectronics era along the groove edge by the sidewall process. For the electrical isolation between sidewall depletion resistance. SET control gates and CMOS gates are formed simultaneously. Fig. 1(c) and (d) show the DC

Lee, Jong Duk

496

Expression of EGFR Under Tumor Hypoxia: Identification of a Subpopulation of Tumor Cells Responsible for Aggressiveness and Treatment Resistance  

SciTech Connect (OSTI)

Purpose: Overexpression of epidermal growth factor receptor (EGFR) and tumor hypoxia have been shown to correlate with worse outcome in several types of cancer including head-and-neck squamous cell carcinoma. Little is known about the combination and possible interactions between the two phenomena. Methods and Materials: In this study, 45 cases of histologically confirmed squamous cell carcinomas of the head and neck were analyzed. All patients received intravenous infusions of the exogenous hypoxia marker pimonidazole prior to biopsy. Presence of EGFR, pimonidazole binding, and colocalization between EGFR and tumor hypoxia were examined using immunohistochemistry. Results: Of all biopsies examined, respectively, 91% and 60% demonstrated EGFR- and pimonidazole-positive areas. A weak but significant association was found between the hypoxic fractions of pimonidazole (HFpimo) and EGFR fractions (F-EGFR) and between F-EGFR and relative vascular area. Various degrees of colocalization between hypoxia and EGFR were found, increasing with distance from the vasculature. A high fraction of EGFR was correlated with better disease-free and metastasis-free survival, whereas a high degree of colocalization correlated with poor outcome. Conclusions: Colocalization of hypoxia and EGFR was demonstrated in head-and-neck squamous cell carcinomas, predominantly at longer distances from vessels. A large amount of colocalization was associated with poor outcome, which points to a survival advantage of hypoxic cells that are also able to express EGFR. This subpopulation of tumor cells might be indicative of tumor aggressiveness and be partly responsible for treatment resistance.

Hoogsteen, Ilse J., E-mail: i.hoogsteen@rther.umcn.nl [Department of Radiation Oncology, Radboud University Nijmegen Medical Centre, Nijmegen (Netherlands); Marres, Henri A.M.; Hoogen, Franciscus J.A. van den [Department of Otorhinolaryngology/Head-Neck Surgery, Radboud University Nijmegen Medical Centre, Nijmegen (Netherlands); Rijken, Paul F.J.W.; Lok, Jasper; Bussink, Johan; Kaanders, Johannes H.A.M. [Department of Radiation Oncology, Radboud University Nijmegen Medical Centre, Nijmegen (Netherlands)

2012-11-01T23:59:59.000Z

497

Empirical Assessment of Shareholder Incentive Mechanisms Designs under Aggressive Savings Goals: Case Study of a Kansas"Super-Utility"  

SciTech Connect (OSTI)

Achieving significant reductions in retail electric sales is becoming a priority for policymakers in many states and is echoed at the federal level with the introduction of legislation to establish a national energy efficiency resource standard. Yet, as the National Action Plan on Energy Efficiency (NAPEE) pointed out, many utilities continue to shy away from seriously expanding their energy efficiency program offerings because they claim there is insufficient profit motivation, or even a financial disincentive, when compared to supply-side investments. In response to an information request from the Kansas Corporation Commission staff, we conducted a financial analysis to assess the utility business case in Kansas for pursuing more aggressive energy efficiency that complies with recent state legislation. Kansas' utilities are vertically integrated and don't face retail competition. With historically low retail rates and modest experience with energy efficiency, the achievement of rapid and substantial sales reductions from energy efficiency will require a viable utility business model. Using a conglomerate of the three largest utilities in Kansas, we quantitatively illustrate the tradeoff between ratepayer and shareholder interests when a 1percent reduction in incremental sales is achieved through energy efficiency both with and without the impact of future carbon regulation. We then assess if the utility can be compensated in a manner that produces a sufficient business case but leaves an adequate amount of net resource benefits for ratepayers at a cost that is not overly burdensome. Finally, we show how several common shareholder incentive mechanisms would be designed to achieve this balance.

Cappers, Peter; Goldman, Charles

2009-08-03T23:59:59.000Z

498

Direct quadrature phase shift keying modulator using six-port technology  

E-Print Network [OSTI]

Direct quadrature phase shift keying modulator using six-port technology Y. Zhao, C. Viereck, J.F. Frigon, R.G. Bosisio and K. Wu A direct quadrature phase shift keying modulator based on six-port technology is presented. The modulator comprises a six-port circuit, a switch matrix and open and short

Frigon, Jean-François

499

Approximation using scattered shifts of a multivariate Ronald DeVore and Amos Ron  

E-Print Network [OSTI]

Approximation using scattered shifts of a multivariate function # Ronald DeVore and Amos Ron February 17, 2008 Abstract The approximation of a general d­variate function f by the shifts #(· - #), # # # # R d , of a fixed function # occurs in many applications such as data fit­ ting, neural networks

Liblit, Ben

500

Enhanced Conformational Space Sampling Improves the Prediction of Chemical Shifts in Proteins  

E-Print Network [OSTI]

, such as SHIFTS,3 SHIFTX,4 and SPARTA,5 allow for the rapid and automated prediction of chemical shifts data, simultaneous structure-dynamics determination protocols have been developed using molecular-modeling approaches,9 or in the framework of ensemble-averaged molecular dynamics (MD) simulation.10 We have recently

Komives, Elizabeth A.