Energy Technology Data Exchange (ETDEWEB)

Many environmental impact statements (EIS) fail to predict environmental impacts, organize information about those impacts in a concise, logical way, and communicate that information intelligibly. This paper presents a systematic, auxiliary ''language'' for environmental analysis under the National Environmental Policy Act (NEPA), in an attempt to correct this problem. The approach improves communication among disciplinary specialists, between an interdisciplinary team and a decision-maker, and between a federal agency and the general public by helping to identify important issues and impacts, and by reducing time, effort, cost, and paperwork. The basis for the approach is found in the principal aims of the NEPA regulations and other criteria. The interdisciplinary language for environmental analysis consists of a small vocabulary, used in conjuction with a simple ...

UK PubMed Central (United Kingdom)

An electroencephalogram (EEG) signal is extremely nonstationary, highly composite and very complex, all of which reflects the underlying integral neurodynamics. Understanding the EEG “grammar”,...Full Text Available

British Library Electronic Table of Contents (United Kingdom)

Drawing on work in epistemology and the philosophy of science, this paper seeks to provide very general reasons for why a comparative perspective needs to be applied to the inferential procedures of research methodologies where these concern the issue of justifying knowledge claims. In particular, the paper explores the role of culture on a number of important patterns of reasoning that figure in inferential arguments in research methodologies. The patterns examined are induction, both enumerative and analytical, hypothetico-deductive reasoning, and abductive inference. In each case it is argued that substantive theories about the world, including cultures, significantly affect inferential procedures. Examples chosen to illustrate this in more detail mostly reflect the impact of Confucian ...

KoreaScience (Korea)

Full Text Available

Energy Technology Data Exchange (ETDEWEB)

The logic named Piccolo for a picture database computer and its implementation is presented. The logic is shown to have three major advantages. One advantage is that the computer design based on this logic can handle a universal variety of pictorial data structures. Another advantage is that a set of data generated by rules such as texture distribution rules is stored in the picture computer efficiently. The third advantage is that this logic can serve as the basis of a logic for parallel processing machines. For implementation of the logic, a new methodology named architecture engineering is introduced as an architecture/design oriented methodology. Implementation case studies show the usefulness of the methodolgy. Two implementations on an abstract machine that are also on a parallel LISP machine are reported. 19 references.

CERN Document Server

There are various interesting semantics' (extensions) designed for argumentation frameworks. They enable to assign a meaning, e.g., to odd-length cycles. Our main motivation is to transfer semantics' proposed by Baroni, Giacomin and Guida for argumetation frameworks with odd-length cycles to logic programs with odd-length cycles through default negation. The developed construction is even stronger. For a given logic program an argumentation framework is defined. The construction enables to transfer each semantics of the resulting argumentation framework to a semantics of the given logic program. Weak points of the construction are discussed and some future continuations of this approach are outlined.

Science.gov (United States)

... Training System (JMATS) for joint C-130J training. However, the ... the C-130J's being procured by the Air Force. A logical ...

International Nuclear Information System (INIS)

A scheme for on-line tuning of a fuzzy-logic power system stabilizer is presented. firstly, a fuzzy-logic power system stabilizer is developed using speed deviation and accelerating power as the controller input variables. The inference mechanism of fuzzy-logic controller is represented by a decision table, constructed of linguistic IF-THEN rules. The Linguistic rules are available from experts and the design procedure is based on these rules. It assumed that an exact model of the plant is not available and it is difficult to extract the exact parameters of the power plant. Thus, the design procedure can not be based on an exact model. This is an advantage of fuzzy logic that makes the design of a controller possible without knowing the exact model of the plant. Secondly, two scaling parameters are introduced to tune the fuzzy-logic power system stabilizer. These scaling parameters ...

British Library Electronic Table of Contents (United Kingdom)

Today?s demand on high supply chain performance requires higher awareness about supply chain risks and uncertainty. The purpose of this paper is to analyse the role of temporary storage in the transport network in a supply chain perspective. The primary research question concerns the purpose or role of temporary storage and whether management of temporary storage can contribute to reducing risks and uncertainty in the supply chain. The research is based on a system-theoretical approach, which emphasizes a holistic view instead of the characteristics of the different parts. The research method used in this paper is abductive. Existing theories are used to formulate a framework which leads to a conceptual model description of the temporary storage function. This model is then supported and v...

British Library Electronic Table of Contents (United Kingdom)

A modified variable structure interacting multiple model (M-VSIMM) estimator for complex hybrid maneuver target tracking is presented. The M-VSIMM could potentially be applied to fire control systems (FCS) used on warships. Target model groups were designed using 3D dimensional dynamic target models. Optimal model group selection logic was proposed, contrary to the activation and termination logic in the original VSIMM. The system will respond faster with optimal model group selection logic. After performing simulations, the tracking performances of the Kalman, ?-?(-?), VDIE, IMM and M-VSIMM filters were compared under various maneuvering conditions.

British Library Electronic Table of Contents (United Kingdom)

Purpose - The service-dominant (S-D) logic views supply chains as value co-creation networks. These networks promote knowledge growth amongst network members via resource deployment and coordination. The exchange of knowledge and utilization of operant resources among the network members leads to co-created service offerings and value proposals for the end-users, with the ultimate goal of transforming end-user experiences to perceptions of superior value-in-use. The purpose of this paper is to develop an illustration of the value co-creation concept and use this illustration as guide to examine the research gaps that are yet to be tapped in the area where supply chain networks and S-D logic intersects. Design/methodology/approach - The literature on S-D logic is reviewed and research gaps ...

Science.gov (United States)

4), is quite efficient for multivibrators because complementary outputs are available ... age or ground, much as is done in the complementary multivibrators. ...

CERN Document Server

Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts to reconnect the two fields with a fresh look at Prolog encodings for the combinatorial objects involved in circuit synthesis. While benefiting from Prolog's fast unification algorithm and built-in backtracking mechanism, efficiency of our search algorithm is ensured by using parallel bitstring operations together with logic variable equality propagation, as a mapping mechanism from primary inputs to the leaves of candidate Leaf-DAGs implementing a combinational circuit specification. After an exhaustive expressiveness comparison of various minimal libraries, a surprising first-runner, Strict Boolean Inequality "<" together with constant function "1" also turns out to have small transistor-count implementations, competitive to NAND-only or NOR-only libraries. As a ...

Energy Technology Data Exchange (ETDEWEB)

This paper describes the implementations of a fuzzy logic based self-tuned controller to improve the stability of electric power systems. The stabilizing signal is computed using the standard fuzzy membership function depending on the speed/acceleration state of the generator in the phase plane. The performance of the proposed stabilizer is demonstrated by practical implementation using a digital signal processor mounted on a PC-AT. Results of the experimental tests on a physical model of a power system are presented.

Energy Technology Data Exchange (ETDEWEB)

Using databases derived from the pattern recognition approach, the paper presents a methodology for utilizing fuzzy models to enhance the quality of decision-making using fuzzy-logic algorithms. Two multi-objective fuzzy-logic control algorithms for controlling power system static/dynamic security are presented and analyzed. The first algorithm is based on the successive inferences of fuzzy implication rules for each individual objective, and the second algorithm is an application of the method of fuzzy linear programming. The paper discusses the properties, advantages and limitations of applying fuzzy decision-making logic in the pattern-recognition approach and concludes by highlighting potential areas for further development. (author)

Science.gov (United States)

Original holdings are now kept by the World Data Centre C1 at RAL: http://wdcc1. bnsc.rl.ac.uk MODS DOY = 246 ADID_REF Not applicable LOGICAL_FILE_ID ...

UK PubMed Central (United Kingdom)

How transcription factors interpret the cis-regulatory logic encoded within enhancers to mediate quantitative changes in spatiotemporally restricted expression patterns during animal...Full Text Available

UK PubMed Central (United Kingdom)

Wild-type viruses from the ViroLogic phenotype-genotype database were evaluated to determine the upper confidence limit of the drug susceptibility distributions, or “biological cutoffs,”...Full Text Available

UK PubMed Central (United Kingdom)

Exercise-training might be a logical method to reverse muscle atrophy and weakness in patients treated with glucocorticoids. The purpose of the present investigation was to establish whether a treatment...Full Text Available

International Nuclear Information System (INIS)

This paper deals with dynamic reliability of embedded systems. It presents a method for deriving feared scenarios (which might lead the system to a critical situation) in Petri nets. A classical way to obtain scenarios in Petri nets is to generate the reachability graph. However, for complex systems, it leads to the state space explosion. To avoid this problem, in our approach, Petri net reachability is translated into provability of linear logic sequents. Linear logic bases are introduced and used to formally define scenarios and minimality of scenarios. These definitions allow the method to produce only pertinent scenarios. The steps of the method are described and illustrated through a landing-gear system example.

Energy Technology Data Exchange (ETDEWEB)

The design of High-Voltage, Direct-Current transmission cables insulated with oil-impregnated cellulose paper is constrained by the maximum temperature and the maximum steady-state and transient stresses (voltage gradients) that the cable insulation can reliably withstand over the desired operating lifetime. Because the electrical stresses in the insulation are related in a very complex fashion to temperature, applied voltage and cable geometry, iterative techniques are required to compute the values of these stresses. Digital computers are ideally suited for these iterative techniques. This paper presents the principal equations and logic needed to develop suitable computer programs.

International Nuclear Information System (INIS)

A computer software system, CLEO, is used to assist in the planning and performance of the reactor refueling operations at the Fast Flux Test Facility (FFTF). It is a recently developed application of artificial intelligence software with both expert systems and automated reasoning aspects. CLEO, an acronym for Cloned LEO, is a logic-based computer program written in Pascal. It imitates the processes that the refueling expert for FFTF performs in organizing the refueling of FFTF. The computer assistant seeks to organize the sequence of core component movements according to the rules and logic used by the expert. In this form, CLEO has aspects that tie it to both the expert systems and automated reasoning areas within the artificial intelligence field.

Energy Technology Data Exchange (ETDEWEB)

Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. We consider the problem of verifying hybrid knowledge bases that contain both Horn rules and a terminology in a description logic. Our approach to the verification problem is based on showing a close relationship to the problem of query containment. Our first contribution, based on this relationship, is presenting a thorough analysis of the decidability and complexity of the verification problem, for knowledge bases containing recursive rules and the interpreted predicates =, {le}, < and {ne}. Second, we show that important new classes of constraints on correct inputs and outputs can be expressed in a hybrid setting, in which a description logic class hierarchy is also considered, and we ...

Energy Technology Data Exchange (ETDEWEB)

Our investigation concerns the class of Josephson-like systems, sharing the same nonlinear Hamiltonian. Among the latter a Josephson junction with an external biasing circuit is considered. We diagonalize the fully nonlinear Hamiltonian (in the superconductive regime of the junction) in the Fock space of the TBHA (two-boson Heisenberg algebra) and prove that such algebra leads quite naturally to the theoretical realization of codewords and logical operators: the codewords are defined as the even and odd coherent states of the TBHA, while the logical operators are expressed in terms of operators in the same algebra. Our theoretical construction corresponds to a continuous variable quantum computation scheme; the continuous variables are identified in terms of the physical operators of the junction. The link between this scheme and the technique of fermionization of bosonic systems is also discussed.

CERN Document Server

In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of \\emph{demand} information -- i.e. knowing in advance which computations are needed and, to which extent, in a particular context. This work studies \\emph{demand analysis} -- which is closely related to \\emph{backwards strictness analysis} -- in a semantic framework of \\emph{partial predicates}, which in turn are constructive realizations of ideals in a domain. This will allow us to give a concise, unified presentation of demand analysis, to relate it to other analyses based on abstract interpretation or strictness logics, some hints for the implementation, and, more important, to prove the soundness of our analysis based on \\emph{demand equations}. There are also some innovative results. One of them is that a set constraint-based analysis has been derived in a stepwise manner using ideas taken ...

International Nuclear Information System (INIS)

This paper reports on a Level 1 PRA performed on the Omega West Reactor at Los Alamos National Laboratory. A Master Logic Diagram was used to identify possible initiating events. A chi-square distribution was used to quantify initiating event frequencies given that no initiating events have occurred in 30 years of OWR operation. The PRA results are presented as both probability density function and cumulative distribution function curves.

Energy Technology Data Exchange (ETDEWEB)

The invention deals with a pumping plant for oil filled power cables. An air driven piston type pump is used as primary pump. A PLS (Programmable Logic control System) is used to control the oil flow to the cable(s). Improvements of the pump includes means for ensuring that the pump piston is operated also at low pressure and flow, and means for sealing off the piston rod to ensure maximum life of seals, to facilitate detection of possible leakages and to avoid contamination of the cable oil. 3 figs.

CERN Document Server

We show that usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we obtain some new decomposition theorems by eliminating GCH from some proofs concerning bond-faithful decompositions of graphs.

Science.gov (United States)

A device for marking and searching for information on a magnetic carrier is described. In order to increase the noise immunity and reliability of the data recording and reading paths, the recording head is included between the amplifier of the clock pulses for the master oscillator and through the amplifier of the code pulses for the logical element unit. The reproduction head is connected through the code pulse shaper-amplifier with a switch which is connected with the display unit, and through another analogous clock pulse amplifier with a multivibrator.

Energy Technology Data Exchange (ETDEWEB)

A heuristic algorithm that employs fuzzy logic is proposed to the power system transmission expansion planning problem. The algorithm is based on the divide to conquer strategy, which is controlled by the fuzzy system. The algorithm provides high quality solutions with the use of fuzzy decision making, which is based on nondeterministic criteria to guide the search. The fuzzy system provides a self-adjusting mechanism that eliminates the manual adjustment of parameters to each system being solved. (author)

Energy Technology Data Exchange (ETDEWEB)

We defined the Korean unique safety-critical software development methodology by modifying Dr. Harel`s statechart-based on formal methods in order to digitalized the reactor protection system. It is suggested software requirement specification guideline to specify design specification which is basis for requirement specification and automatic programming by the caused by shutdown parameter logic of the steam generator water level for Wolsung 2/3/4 unit SDS no.1 and simulated it by binding the Graphic User Interface (GUI). We generated the K and R C code automatically by utilizing the Statemate MAGNUM Sharpshooter/C code generator. Auto-generated K and R C code is machine independent code and has high productivity, quality and provability. The following are the summaries of major research and development. - Set up the Korean unique safety-critical software development methodology - Developed software requirement specification guidelines - Developed software design ...

Energy Technology Data Exchange (ETDEWEB)

Organic electronic devices using a pentacene have improved importantly in the last several years. We fabricated pentacene organic thin-film transistors (OTFTs) with dielectric SiO{sub 2} and ferroelectric Pb(Zr{sub 0.3},Ti{sub 0.7})O{sub 3} (PZT) gate insulators. The organic devices using SiO{sub 2} and PZT films had the field-effect mobility of approximately 0.1 and 0.004 cm{sup 2}/V s, respectively. The drain current in the transfer curve of pentacene/PZT transistors showed a hysteresis behavior originated in a ferroelectric polarization switching. In order to investigate the polarization effect of PZT gate dielectrics in a logic circuit, the simple voltage inverter using SiO{sub 2} and PZT films was fabricated and measured by an output-input measurement. The gain of inverter at the poling-down state was approximately 7.2 and it was three times larger than the value measured at the poling-up state.

Energy Technology Data Exchange (ETDEWEB)

Various main circuit equipment with large capacity GTO thyristors are outlined for AC and DC electric cars. The configuration of a PWM converter system is presented for the AC main motor drive system of the Shinkansen trains, and its following features are described: the high power factor control capable of keeping a power factor 100% constantly, energy saving by power regenerative braking, the small triple structure with large capacity reverse-conducting GTO thyristors of 4,500V/3,000A, and the reduction of equivalent interfering current and harmonic current by three phase-triple phase difference operation. Furthermore, a control logic equipment with 16 bit MPU and a main transformer are outlined, and the verification test results of the control logic equipment by an analog model simulation and the combinational test results of the commercial equipment are reported. Prototype VVVF inverter system for DC electric cars is also presented. 6 ...

International Nuclear Information System (INIS)

The Regulation 761/2001 EMAS (Environmental Management and Audit Scheme), introduced by the 1836/93 Community regulation, is one of the tools activated by the European Union in order to apply the 5. and 6. Community Environmental Programme, in the field of firm-environment interactions at first (overcoming the old Command and Control logic), then by extending its applicability to ali Organisations. EMAS is a voluntary tool that enables Organisations to evaluate their own interaction with the Environment, to plan and check the yearly improvement of their environmental performance, providing the public documented relevant information. The report illustrates the procedure far applying this regulation, its implementation and new application trends in Italy and the advantages far firms.

Energy Technology Data Exchange (ETDEWEB)

This paper reports progress in the fabrication and characterization of an array of 1nm-scale colloidal particles (i.e., quantum-dot array) that can be operated to execute nontrivial and innovative computations, possibly including quantum logic. We discuss the actual fabrication of 2-nm metal clusters as an example of possible quantum dot implementation. Innovative and unconventional paradigms underlie the different stages of this work. For example, regular array geometry is achieved by directing appropriately derivatized metal clusters to preselected locations along a stretched strand of an engineered DNA sequence.

British Library Electronic Table of Contents (United Kingdom)

Abstract Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical frameworks which might be combined with the Saunders-Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds.

British Library Electronic Table of Contents (United Kingdom)

Ontologies ? a form of structured and logically related knowledge or classification hierarchy embedded in a computer system ? are regarded by many scientists as having enormous promise for the consistent use and re-use of data. To realise this promise, however, is not straightforward. In this paper, based on ethnographic observation, we argue that the challenges for ontology building are ?social? as much as they are technical. By this we mean the routine work undertaken in the building process and the problems and difficulties entailed can be understood in terms of the practices of knowledge workers and the practical nature of ?sorting things out?. Getting a better sense of how, in practise, this work gets done gives a sense of the main challenges of building successful ontologies and how ...

Energy Technology Data Exchange (ETDEWEB)

The aim of this research is the design and implementation of a decentralized power system stabilizer (PSS) capable of performing well for a wide range of variations in system parameters and/or loading conditions. The framework of the design is based on Fuzzy Logic Control (FLC). In particular, the neuro-fuzzy control rules are derived from training three classical PSSs; each is tuned using GA so as to perform optimally at one operating point. The effectiveness and robustness of the designed stabilizer, after implementing it to the laboratory model, is investigated. The results of real-time implementation prove that the proposed PSS offers a superior performance in comparison with the conventional stabilizer. (author)

British Library Electronic Table of Contents (United Kingdom)

We study uncertainties surrounding competition on business networks and board games. We investigate these uncertainties using concepts of fuzzy logic and game theory. We investigate how the payoff of the players is affected by a number of factors. These include the level of connectivity or number of links, the number of competitors, possible constraints on the networks and on the boards, as well as choice of strategy adopted by competitors. We introduce one fuzzy player in the game. This player uses fuzzy rules to make strategic decisions. We introduce learning to train and analyze how the fuzzy player adapts over time during the game.

Energy Technology Data Exchange (ETDEWEB)

This paper presents a self-organizing power system stabilizer (SOPSS) which use the Fuzzy Auto-Regressive Moving Average (FARMA) model. The control rules and the membership functions of the proposed logic controller are generated automatically without using any plant model. The generated rules are stored in the fuzzy rule space and updated on-line by a self-organizing procedure. To show the effectiveness of the proposed controller, comparison with a conventional controller for one-machine infinite-bus system is presented.

CERN Document Server

Bedwyr is a generalization of logic programming that allows model checking directly on syntactic expressions possibly containing bindings. This system, written in OCaml, is a direct implementation of two recent advances in the theory of proof search. The first is centered on the fact that both finite success and finite failure can be captured in the sequent calculus by incorporating inference rules for {\\em definitions} that allow {\\em fixed points} to be explored. As a result, proof search in such a sequent calculus can capture simple model checking problems as well as may and must behavior in operational semantics. The second is that higher-order abstract syntax is directly supported using term-level $\\lambda$-binders and the quantifier known as $\

British Library Electronic Table of Contents (United Kingdom)

Early technical history of electric supply to electric railways is briefly reviewed as an introduction to the following seven papers included in this special issue on technologies for saving energy in railway operation. Continuous power supply played a significant role in the early history of railway technologies. The variable voltage variable frequency (VVVF) power electronic technology had also a substantial impact on railway traction systems after 1980s. VVVF technology made it possible to have more efficient drives, downsize rolling stocks, and develop regenerative brakes. Because detailed discussions on each technical development are presented in the following papers, the general remarks of those technologies made in this introduction provide logical links to the ideas presented in th...

Energy Technology Data Exchange (ETDEWEB)

The performance requirements of the Advanced Photon Source (APS) challenge the control system in a number of areas. This paper will review a few applications of advanced technology in the control and monitoring of the APS. The application of digital signal processors (DSPs) and techniques will be discussed, both from the perspective of a large distributed multiprocessor system and from that of embedded systems. In particular, two embedded applications will be highlighted, a beam position monitor processor and a DSP-based power supply controller. Fast data distribution is often a requirement. The application of a high-speed network based on reflective memory will also be discussed in the context of the APS global orbit feedback system. Timing systems provide opportunities to apply technologies such as high-speed logic and fiber optics. Examples of the use of these technologies will also be included. Finally, every modern accelerator control system of any size ...

CERN Document Server

The physical foundations of a variety of emerging technologies --- ranging from the applications of quantum entanglement in quantum information to the applications of nonequilibrium bulk and interface phenomena in microfluidics, biology, materials science, energy engineering, etc. --- require understanding thermodynamic entropy beyond the equilibrium realm of its traditional definition. This paper presents a rigorous logical scheme that provides a generalized definition of entropy free of the usual unnecessary assumptions which constrain the theory to the equilibrium domain. The scheme is based on carefully worded operative definitions for all the fundamental concepts employed, including those of system, property, state, isolated system, environment, process, separable system, system uncorrelated from its environment, and parameters of a system. The treatment considers also systems with movable internal walls and/or semipermeable walls, with chemical reactions ...

International Nuclear Information System (INIS)

The Department of Energy has issued a Quality Assurance (QA) specification for organizations involved in making a canistered high-level waste form product that is acceptable for storage in a deep geologic federal repository. The logic for the waste form acceptance process is described. In addition to NQA-1 requirements, fourteen supplemental QA requirements have been drafted to fit the waste form production process. A review plan for assuring complicance with the QA specification is provided. Guidelines for preparation of a waste form producer QA program are also presented. It is expected that the QA program description that result will be influential in supporting the acceptybility of the product to OCRWM and for ultimate disposal of the high-level waste in a deep geologic repository. (author) 3 figs., 4 refs.

British Library Electronic Table of Contents (United Kingdom)

Internet is providing essential communication between an infinite number of people and is being increasingly used as a tool for commerce. At the same time, security is becoming a tremendously important issue to deal with. Different network security solutions exist and contribute to enhanced security. From these solutions, Intrusion detection systems (IDS) have become one of the most common countermeasures for monitoring safety in computer systems and networks. The purpose of IDSs is distinguishing between intruders and normal users. However, IDSs report a massive number of isolated alerts. These isolated alerts represent low-level security-related events. Many of these isolated alerts are logically involved in a single multi-stage intrusion incident and a security officer often wants to an...

International Nuclear Information System (INIS)

The aim of this thesis is the design of a faults diagnosis-aiding system in a nuclear facility of the Cea. Actually the existing system allows the optimization of the production processes in regular operating conditions. Meanwhile during accidental events, the alarms, managed by threshold, are bringing no relevant information. To increase the reliability and the safety, the human operator needs a faults diagnosis-aiding system. The developed system, SECAPI, combines problem solving techniques and automatic learning techniques, that allow the diagnosis and the the simulation of various faults happening on nuclear facilities. Its reasoning principle uses case-based and rules-based techniques. SECAPI owns a learning module which reads out knowledge connected with faults. It can then simulate various faults, using the inductive logical computing. SECAPI has been applied on a radioactive tritium treatment operating channel, at the Cea with good results. (A.L.B.)

International Nuclear Information System (INIS)

Causal paradoxes arising in the tachyon theory have been systematically solved by using the reinterpretation principle as a consequence of which cause and effect no longer retain an absolute meaning. However, even in the tachyon theory, a cause is always seen to chronologically precede its effect, but this is obtained at the price of allowing cause and effect to be interchanged when required. A recent result has shown that this interchange-ability of cause and effect must not be unlimited if heavy paradoxes are to be avoided. This partial recovery of the classical concept of causality has been expressed by the conjecture that transcendent tachyons cannot be absorbed by a tachyon detector. In this paper the directional properties of the flow of information between two observers in relative motion and its consequences on the logical self-consistency of the theory of superluminal particles are analyzed. It is shown that the above conjecture does not provide a ...

International Nuclear Information System (INIS)

The risks from mining and processing of ores is reviewed on a generic basis with particular reference to some of the confusions which can arise due to lack of consistency or common logic in the use of exclusion, exemption and clearance. The difference in exclusion and exemption are challenged by comparing doses received in high background radiation areas and the doses received from a mining practice. The common principle of risk to the human species is not applied consistently. The differences between IAEA recommendations and local regulatory conditions are compared, and the use of exemption levels as clearance levels is considered. A case study on management of mine tailings is presented with special focus on the use of clearance levels. In all areas of review the interpretation of regulation is subject to confusion resulting from inconsistencies which can distort free market economics. (author).

International Nuclear Information System (INIS)

Emergency Core Cooling System (ECCS) is a safety critical system provided to mitigate the consequence of Loss of Coolant Accident (LOCA) in PHWR. Unlike 220MWe, all header injection has been introduced in 540MWe to simplify the logic. ECCS Integrated Test is schematic approach to establish that ECC system will behave as per design intent during actual LOCA condition. Objective of ECCS Integrated test is to ascertain that various ECC system components operate as intended in design. Additionally, the various system resistances which form the input to LOCA analysis are validated. This test has been carried out by creating actual LOCA during cold and pressurised condition of PHT system to establish all phases of injection with overlap. This paper discusses the results obtained during the Integrated Test and comparison with the prediction during the commissioning of first unit of 540 MWe. (author)

Energy Technology Data Exchange (ETDEWEB)

This guidebook concerns the design of air-conditioning and air-treatment installations in recent and old buildings. The design of indoor atmosphere treatment systems is based on a rigorous and safe methodology. The following aspects are reviewed: situation of ambient air treatment, different aspects of a project, humid-air technique, principles of air treatment, basic conditions for a successful project, determination of enthalpy and hydric loads of rooms, design of ambient treatment systems, cold water production using a thermodynamical system, aeraulics, hydraulics, acoustics, logics of operation, forecasting of energy consumptions, global management of air-conditioning installations, ambient air-treatment systems. (J.S.)

Energy Technology Data Exchange (ETDEWEB)

This paper describes research and development presently being conducted on oil-fired space and tap water heating systems by the Advanced Combustion Technology Group, CCRL/ERL/CANMET, in Ottawa, Canada. The presentation will focus on R&D activities at CCRL in support of the Canadian Oil Heat Association (COHA) and of the energy policy initiatives of Natural Resources Canada. Progress will be reported on activities to develop suitable oil-fired integrated systems to satisfy the low energy demands of new homes. The utilization of fuzzy logic-based control heating systems including fan coils for a complete range of old and new North American housing will be discussed. Additional activities to be discussed in the presentation will relate to the development of appropriate seasonal efficiency standards for complex integrated space/water heating systems, as well as an evaluation of alternative sidewall venting technologies and their implications for seasonal energy ...

Energy Technology Data Exchange (ETDEWEB)

This two-tomes book brings together the 108 presentations given at the first conference of the international institute of refrigeration (IIF/IIR) about air conditioning in high rise office buildings. The main themes are: general design and control systems, including split systems, radiant panels, fluctuating and gravity ventilation etc..; energy consumption, optimization and heat recovery; cold storage for peak shaving, including ice slurry circulation; indoor air quality; fire and smokes protection, protection against chimney effects and lighting spots; use of fuzzy logic and of neural networks. It includes also a description of the high rise building situation and works in progress in China, Japan and in some other countries. (J.S.)

Energy Technology Data Exchange (ETDEWEB)

This paper presents a real-time wavelet-Fuzzy combined approach for digital relaying. The algorithm for fault classification employs wavelet multi resolution analysis (MRA) to overcome the difficulties associated with conventional voltage and current based measurements due to effect of factors such as fault inception angle, fault impedance and fault distance. The proposed algorithm for fault location, different from conventional algorithms that are based on deterministic computations on a well-defined model to be protected, employs wavelet transform together with fuzzy logic. The wavelet transform captures the dynamic characteristics of the non-stationary transient fault signals using wavelet MRA coefficients. The fuzzy logic is employed to incorporate expert evaluation through fuzzy inference system (FIS) so as to extract important features from wavelet MRA coefficients for obtaining coherent conclusions regarding fault location. Computer ...

International Nuclear Information System (INIS)

This paper propose a two-level suboptimal control using fuzzy predication to control large-scale systems. A class of large-scale linear systems composed of interconnected subsystems is investigated. The overall control problem that is posed as a minimization of overall objective function, which is considered to be of quadratic form, is reduced to some optimization problems of lower order (sub)systems. The control input of each subsystem is composed of two signals. The first represents the local control signal (first level) and the second is the predication signal (second level). In fact, the second signals is the prediction of other subsystems. It applies to each subsystem at every specified sample time (coordination sample times ). The fuzzy logic theory is used for interaction prediction, where the prediction single is constructed by a set of fuzzy sets with respect to state variable in an appropriate inference engine manner. The number of fuzzy sets and their ...

International Nuclear Information System (INIS)

The nuclide "2"4"1Am decays by alpha emission to "2"3"7Np. Most of the decays (84.6%) populate the excited level of "2"3"7Np with energy of 59.54 keV. Digital coincidence counting was applied to standardize a solution of "2"4"1Am by alpha-gamma coincidence counting with efficiency extrapolation. Electronic discrimination was implemented with a pressurized proportional counter and the results were compared with two other independent techniques: Liquid scintillation counting using the logical sum of double coincidences in a TDCR array and defined solid angle counting taking into account activity inhomogeneity in the active deposit. The results show consistency between the three methods within a limit of a 0.3%. An ampoule of this solution will be sent to the International Reference System (SIR) during 2009. Uncertainties were analysed and compared in detail for the three applied methods.

Energy Technology Data Exchange (ETDEWEB)

This work describes a combinatorial model for estimating the reliability of the embedded digital system by means of multi-state function. This model includes a coverage model for fault-handling techniques implemented in digital systems. The fault-handling techniques make it difficult for many types of components in digital system to be treated as binary state, good or bad. The multi-state function provides a complete analysis of multi-state systems as which the digital systems can be regarded. Through adaptation of software operational profile flow to multi-state function, the HW/SW interaction is also considered for estimation of the reliability of digital system. Using this model, we evaluate the reliability of one board controller in a digital system, Interposing Logic System (ILS), which is installed in YGN nuclear power units 3 and 4. Since the proposed model is a generalized combinatorial model, the simplification of this model becomes the conventional model ...

International Nuclear Information System (INIS)

Process control transmitters that incorporate digital signal processing could be used advantageously in nuclear power plants; however, because such transmitters are too sensitive to radiation, they are not used. The Electric Power Research Institute sponsored work at Sandia National Laboratories under EPRI contract RP2614-58 to determine why SMART transmitters fail when exposed to radiation and to design and demonstrate SMART transmitter circuits that could tolerate radiation. The term ''SMART'' denotes transmitters that contain digital logic. Tests showed that transmitter failure was caused by failure of the complementary metal oxide semiconductors (CMOS)-integrated circuits which are used extensively in commercial transmitters. Radiation-hardened replacements were not available for the radiation-sensitive CMOS circuits. A conceptual design showed that a radiation-tolerant transmitter could be constructed. A prototype for an analog-to-digital converter subsection ...

Energy Technology Data Exchange (ETDEWEB)

In the Energy Balance Analysis Model (Standard Review Plan (USNRC, 1981), Section 3.6.2, ''Determination of Rupture Locations and Dynamic Effects Associated with the Postulated Rupture of Piping''), time dependence is not considered, and a constant blowdown thrust force is assumed. This force includes an amplification factor of 1.1 to account for potential effects of rebound. Many of the assumptions used in establishing the acceptance criteria, as stated in the Standard Review Plan, were based on engineering judgment and logic intended to assure upper bound design rather than on a mechanistic assessment of actual pipe rupture phenomena and their effects. As a result of the current practice an exceedingly conservative design may be introduced. This report represents a parametric study of the amplification factor to account for rebound effects in the Energy Balance Method. Of the 71 distinct cases we chose for our parametric study, ...

Energy Technology Data Exchange (ETDEWEB)

To keep up with the speeds of modern production lines, most machine vision applications require very powerful computers (often parallel-processing machines), which process millions of points of data in real time. The human brain performs approximately 100 billion logical floating-point operations each second. That is 400 times the speed of a Cray-1 supercomputer. The right software must be developed for parallel-processing computers. The NSF has awarded Rensselaer Polytechnic Institute (Troy, N.Y.) a $2 million grant for parallel- and image-processing software research. Over the last 15 years, Rensselaer has been conducting image-processing research, including work with high-definition TV (HDTV) and image coding and understanding. A similar NSF grant has been awarded to Michigan State University (East Lansing, Mich.) Neural networks are supposed to emulate human learning patterns. These networks and their hardware implementations (neurocomputers) show a great deal ...

Energy Technology Data Exchange (ETDEWEB)

Low and intermediate waste disposal facilities safety assessment is comprised of several steps from site selection , construction and operation to post-closure performance assessment. This is a multidisciplinary and complex task , and can not be analyzed by one expert only. This high complexity can lead to ambiguity and vagueness in information and consequently in the decision making process. In order to make the decision process clear and objective, there is the need to provide the decision makers with a clear and comprehensive picture of the whole process and, at the same time, simple and easily understandable by the public. This paper suggests the development of an inference system based on fuzzy decision making methodology. Fuzzy logic tools are specially suited to deal with ambiguous data by using language expressions. This process would be capable of integrating knowledge from various fields of environmental sciences. It has an advantage of keeping record of ...

Energy Technology Data Exchange (ETDEWEB)

Video images of laser beams imprinted with distinguishable features are used for alignment of 192 laser beams at the National Ignition Facility (NIF). Algorithms designed to determine the position of these beams enable the control system to perform the task of alignment. Centroiding is a common approach used for determining the position of beams. However, real world beam images suffer from intensity fluctuation or other distortions which make such an approach susceptible to higher position measurement variability. Matched filtering used for identifying the beam position results in greater stability of position measurement compared to that obtained using the centroiding technique. However, this gain is achieved at the expense of extra processing time required for each beam image. In this work we explore the possibility of using a field programmable logic array (FPGA) to speed up these computations. The results indicate a performance improvement of 20 using the FPGA ...

CERN Document Server

Deduction modulo is a paradigm which consists in applying the inference rules of a deductive system (such as for instance natural deduction) modulo a rewrite system over terms and propositions. It has been shown that higher-order logic can be simulated into the first-order natural deduction modulo. However, a theorem stated by Goedel and proved by Parikh expresses that proofs in second-order arithmetic may be unboundedly shorter than proofs in first-order arithmetic, even when considering only formulae provable in first-order arithmetic. We investigate how deduction modulo can be used to translate proofs of higher-order arithmetic into first-order proofs without inflating their length. First we show how higher orders can be encoded through a quite simple (finite, terminating, confluent, left-linear) rewrite system. Then, a proof in higher-order arithmetic can be linearly translated into a proof in first-order arithmetic modulo this system. Second, in the ...

Energy Technology Data Exchange (ETDEWEB)

In the upgrade project of the Beijing Electron-Positron Collider (BEPCII), a novel Detector-Control System (DCS) for the Beijing Spectrometer (BESIII) has been built and started its successful operation for the BESIII Commissioning. The main task of the DCS is to monitor and control the status of the BESIII detector and to guarantee a safe operation of the detector. The DCS must provide a uniform and coherent interface to detector operators even though there are a large number of distributed I/O channels from a large variety of equipments. For this reason, the DCS is hierarchically organized and divided into three layers: front-end layer (FEL), local control layer (LCL) and global control layer (GCL). In the FEL, devices ranging from simple sensors up to complex computer-based devices like embedded systems and programmable logical controllers (PLC) are utilized. A LabVIEW-based software framework has been developed for the LCL. Network communication and web server ...

Energy Technology Data Exchange (ETDEWEB)

The purpose of this text is to train engineers and technologists not just to understand corrosion but to control it. Materials selection, coatings, chemical inhibitors, cathodic and anodic protection, and equipment design are covered in separate chapters. High-temperature oxidation is discussed in the final two chapters ne on oxidation theory and one on controlling oxidation by alloying and with coatings. This book treats corrosion and high-temperature oxidation separately. Corrosion is divided into three groups: (1) chemical dissolution including uniform attack, (2) electrochemical corrosion from either metallurgical or environmental cells, and (3) stress-assisted corrosion. Corrosion is logically grouped according to mechanisms rather than arbitrarily separated into different types of corrosion as if they were unrelated. For those university students and industry personnel who approach corrosion theory very hesitantly, this text will present the electrochemical ...

CERN Multimedia

The last of our series on the Task Forces. PS accelerator 'We had a clear mandate, which we could approach in a logical way', explains Steve Myers, Head of SL Division and convenor of Task Force 5, 'To avoid duplication of effort in the accelerator sector through a restructuring that would lead to greater efficiency and flexibility and so release resources for the LHC.' The implementation of all their recommendations is already underway, albeit with different time scales. In 2001 the accelerator sector involved more than 900 staff members in three divisions (LHC, PS and SL) and one unit (AC), working in 141 sections within 34 groups. The first step for the Task Force was to identify major activities within the sector and to set up inter-divisional working groups to review these activities (16 in all), identifying the technologies and the numbers of staff associated with each activity. The working groups were also asked to propose ways of grouping the activities ...

Energy Technology Data Exchange (ETDEWEB)

The application of neural networks, alone or in conjunction with other advanced technologies (expert systems, fuzzy logic, and/or genetic algorithms), to some of the problems of complex engineering systems has the potential to enhance the safety, reliability, and operability of these systems. Typically, the measured variables from the systems are analog variables that must be sampled and normalized to expected peak values before they are introduced into neural networks. Often data must be processed to put it into a form more acceptable to the neural network (e.g., a fast Fourier transformation of the time-series data to produce a spectral plot of the data). Specific applications described include: (1) Diagnostics: State of the Plant (2) Hybrid System for Transient Identification, (3) Sensor Validation, (4) Plant-Wide Monitoring, (5) Monitoring of Performance and Efficiency, and (6) Analysis of Vibrations. Although specific examples described deal with nuclear power ...

CERN Document Server

All gauge theories need ``something fixed'' even as ``something changes.'' Underlying the implementation of these ideas all major physical theories make indispensable use of an elaborately designed spacetime model as the ``something fixed,'' i.e., absolute. This model must provide at least the following sequence of structures: point set, topological space, smooth manifold, geometric manifold, base for various bundles. The ``fine structure'' of spacetime inherent in this sequence is of course empirically unobservable directly, certainly when quantum mechanics is taken into account. This issue is at the basis of the difficulties in quantizing general relativity and has been approached in many different ways. Here we review an approach taking into account the non-Boolean properties of quantum logic when forming a spacetime model. Finally, we recall how the fundamental gauge of diffeomorphisms (the issue of general covariance vs coordinate conditions) raised deep ...

International Nuclear Information System (INIS)

This paper presents a spatial gaming model with price caps for deregulated electricity markets. There has been heated debate on price caps that have been enforced in deregulated electricity markets. Opponents argue that price caps may send wrong economic signals while advocates argue that price caps are good for damping market power. This paper does not intend to take a stand in the argument. Given the fact that price caps are enforced in several deregulated regional electricity markets in the US, a logical step is to reflect this reality in gaining modeling. However, current gaining models have not included any price cap formulation. This paper is the first one to address the issue. DC power flow equations are used for representing the spatial nature of an electrical network. An algorithm is proposed to find a generalized Nash equilibrium under the enforcement of price caps based on the Kuhn-Tucker Vector Optimization Theorem. Case studies show the successful ...

Science.gov (United States)

Dust detection and control in real time, represent one of the most challenging problem in all those environments where fine and ultrafine airborne particulate solids products are present. The presence of such products can be linked to several factors, often directly related and influenced by the working-production actions performed. Independently from the causes generating dust, airborne contaminants are an occupational problem of increasing interest as they are related to a wide number of diseases. In particular, airborne dusts are well known to be associated with several classical occupational lung diseases, such as the pneumoconiosis, especially at high levels of exposure. Nowadays there is also an increasing interest in other dust related diseases, from the most serious as cancer and asthma, to those related with allergies or irritation and other illnesses, also occurring at lower levels of exposure. Among the different critical factors influencing health risk for airborne dust ...

Energy Technology Data Exchange (ETDEWEB)

The Advanced Photon Source consists of five accelerators. The injection timing system provides the signals required to cause a bunch emitted from the electron gun to navigate through intermediate accelerators to a specific bucket (1 out of 1296) within the storage ring. Two linacs and a positron accumulator ring operate at 60Hz while a booster synchrotron ramps and injects into the storage ring at 2Hz. The distributed, modular VME/VXI-based injection timing system is controlled by two EPICS-based input/output controllers (IOCs). Over 40 VME/VXI cards have been developed to implement the system. Card types range from 352MHz VXI timing modules to VME-based fiber optic fanouts and logic translators/drivers. All timing is distributed with fiber optics. Timing references are derived directly from machine low-level rf of 9.77MHz and 352MHz. The timing references provide triggers to programmable delay generators. Three grades of timing are provided. Precision timing is ...

Energy Technology Data Exchange (ETDEWEB)

Two geochemical surveys were conducted in 1992 and 2000 respectively in the Yimeng Uplift of the Ordos Basin, China. The earlier survey grid had 1 x 5km spacing and the later survey grid had 0.5 x 0.5km spacing. The acid-extractable hydrocarbons of both surveys show similar geochemical trends. However, the anomalies obtained with traditional statistical methods do not correlate with existing oil/gas fields. This study reveals two problems in the data and their processing. The first one is interference caused by the variation of soil composition. We applied a wavelet-analysis-based method to eliminate this interference in the data of the later survey. The second is that micro-seepage anomalies did not identify existing oil/gas fields and seepage anomalies related with faults had not been previously recognized. We modified the logic multiplication cluster analysis and applied a multi-fractal model and a back propagation artificial neural network to recognize these ...

International Nuclear Information System (INIS)

Perspectives from industry, academe, and the NRC are brought together in this report and used to develop a logical framework that links management and organization factors and safety in nuclear power plant performance. The framework focuses on intermediate outcomes which can be predicted by organizational and management factors, and which are subsequently linked to safety. The intermediate outcomes are efficiency, compliance, quality, and innovation. The organization and management factors can be classified in terms of environment, context, organizational governance, organizational design, and emergent processes. Initial empirical analyses were conducted on a limited set of hypotheses derived from the framework. One set of hypotheses concerned the relationships between one of the intermediate outcome variables, efficiency, as measured by critical hours and outage rate, and safety, as measured by 5 NRC indicators. Results of the analysis suggest that critical hours ...

Energy Technology Data Exchange (ETDEWEB)

Approximately 700m of deep water clastic deposits of Mt. Messenger Formation are superbly exposed along the Taranaki coast of North Island, New Zealand. Biostratigraphy indicates the interval was deposited during the time span 10.5-9.2m.y. in water depths grading upward from lower bathyal to middle-upper bathyal. This interval is considered part of a 3rd order depositional sequence deposited under conditions of fluctuating relative sea-level, concomitant with high sedimentation rates. Several 4th order depositional sequences, reflecting successive sea-level falls, are recognized within the interval. Sequence boundaries display a range of erosive morphologies from metre-wide canyons to scours several hundred metres across. All components of a generic lowstand systems tract--basin floor fan, channel-levee complex and progading complex--are present in logical and temporal order. They are repetitive through the interval, with the relatively shallower-water components ...

International Nuclear Information System (INIS)

In a 540 MWe PHWR reactor at TAPP-4 the pressuriser has been incorporated in the PHT pressure control system to provide the necessary vapour cushion for PHT main circuit to reduce pressure variations due to transients involving swell and shrinkage. Need for the Pressuriser is due to the large inventory in PHT main circuit and relatively large heat source. The incorporation of Pressuriser is one of the modifications while upgrading from prevalent operating 220 MWe reactors to the present 540 MWe at TAPP-4. The sizing, design and selection of the 540 MWe Pressuriser has been done w.r.t swell/shrinkage requirement during normal/transient operation of the reactor. In this paper the commissioning and operating experience of the Pressuriser in conjunction with the PHT pressure control system is presented. During light water commissioning of PHT circuit some major hurdles like failure of pressuriser heaters due to faulty instrumentation were faced. Subsequently the following corrective action ...

Energy Technology Data Exchange (ETDEWEB)

The computer program is developed based on Visual C++, which is equipped with a user-friendly interface of the input/output(I/O) and a display function for the measuring conditions. This program consists of three parts which are the port communication, PLC(Programmable Logic Controller) and the MCA(Multi Channel Analyzer) control parts. The communication type between the CPU of the PLC module box and the computer is selected as be the Rs-232 asynchronous type and the thread method is adapted in the development of the first part of the program. The PLC-related program has been developed so that the data communication between the PLC CPU and the computer could be harmonized with the unique commands which have already been defined in the PLC. The measuring space and time intervals, the start and end ROI(region of interest) values, and the allowable error limitation are input at each measurement in this program. Finally the controlling MCA program has been developed by ...

Energy Technology Data Exchange (ETDEWEB)

The traditional process for developing large-scale simulations is cumbersome, time consuming, costly, and in some cases, inadequate. The topics of software components and component-based software engineering are being explored by software professionals in academic and industrial settings. A component is a well-delineated, relatively independent, and replaceable part of a software system that performs a specific function. Many researchers have addressed the potential to derive a component-based approach to simulations in general, and a few have focused on military simulations in particular. In a component-based approach, functional or logical blocks of the simulation entities are represented as coherent collections of components satisfying explicitly defined interface requirements. A simulation is a top-level aggregate comprised of a collection of components that interact with each other in the context of a simulated environment. A component may represent a ...

Energy Technology Data Exchange (ETDEWEB)

Many of today's automated real-time testing systems for embedded systems were developed using expensive custom hardware and software. In this article they describe how to use commercially available off-the-shelf hardware and software to design and develop an automated real-time test systems for Embedded Programmable Logic Controller (PLC) Based Control Systems. The system development began with the implementation of the VALI/TEST Pro testing methodology as a means for structuring the testing. Using this methodology, they were able to decompose system requirement documents for a Personnel Safety System (PSS) into its high, intermediate and detail level requirements. next, the validation procedures for the PSS system were decomposed into testing units called builds, test runs and test cases. To measure the PSS system's test coverage three levels of system requirements were mapped to their respective unit level of test using a specially constructed ...

Energy Technology Data Exchange (ETDEWEB)

US Department of Energy (DOE) Order 5820.2A (DOE, 1988) requires performance assessments on all new and existing low-level radioactive waste (LLW) disposal sites. An integral part of performance assessment is estimating the fluxes of radioactive gases such as radon-220 and radon-222. Data needs pointed out by mathematical models drive site characterization. They provide a logical means of performing the required flux estimations. Thorium-230 waste, consisting largely of thorium hydroxide and thorium oxides, has been approved for disposal in shallow trenches and pits at the LLW Radioactive Waste Management Site in Area 5 of the Nevada Test Site. A sophisticated gas transport model, CASCADR8 (Lindstrom et al., 1992b), was used to simulate the transport and fate of radon-222 from its source of origin, nine feet below a closure cap of native soil, through the dry alluvial earth, to its point of release into the atmosphere. CASCADR8 is an M-chain gas-phase radionuclide ...

Energy Technology Data Exchange (ETDEWEB)

The European Court of Justice has defined a clear means by which waste utilisation methods can be distinguished from waste disposal methods in a logical, well-understandable manner. With its stringent definition of ''utilisation'' this judgement points the way to quality-oriented waste management practices. We do not share the often voiced fear that this decision will lead to an increased incineration of compound wastes in industrial plants such as cement works. From the fact that, according to the decision by the European Court of Justice, wastes destined for utilisation fulfil a certain purpose and therefore, if not available in sufficient quantity must be replaced by primary raw materials, it follows that these wastes are required to fulfil specific quality criteria. This is rarely the case, if at all, with compound wastes. From the viewpoint of Luxembourg the decision by the European Court of Justice can be regarded as a ...

Energy Technology Data Exchange (ETDEWEB)

The Petroleum Technology Transfer Council (PTTC) and cooperating Regional Lead Organizations (RLOs) in its South Midcontinent (Oklahoma Geological Survey, Norman, Oklahoma) and West Coast (University of Southern California, Los Angeles, California) regions conducted a ''Mentor-Based Effort to Advance Implementation of Preferred Management Practices (PMPs) For Oil Producers'' (DE-FC26-01BC15272) under an award in Phase I of Department of Energy's (DOE's) PUMP (Preferred Upstream Management Practices) program. The project's objective was to enable producers in California, Oklahoma and Arkansas to increase oil production, moderating or potentially reversing production declines and extending the life of marginal wells in the near term. PTTC identified the primary constraints inhibiting oil production through surveys and PUMPer direct contacts in both regions. The leading common constraint was excess produced water and ...

Energy Technology Data Exchange (ETDEWEB)

Since information has been regarded os a physical entity, the field of quantum information theory has blossomed. This brings novel applications, such as quantum computation. This field has attracted the attention of numerous researchers with backgrounds ranging from computer science, mathematics and engineering, to the physical sciences. Thus, we now have an interdisciplinary field where great efforts are being made in order to build devices that should allow for the processing of information at a quantum level, and also in the understanding of the complex structure of some physical processes at a more basic level. This thesis is devoted to the theoretical study of structures at the nanometer-scale, 'nanostructures', through physical processes that mainly involve the solid-state and quantum optics, in order to propose reliable schemes for the processing of quantum information. Initially, the main results of quantum information theory and quantum computation are ...