National Library of Energy BETA

Sample records for terminal control number

  1. Decision support systems for automated terminal area air traffic control

    E-Print Network [OSTI]

    Pararas, John Demetrios

    1982-01-01

    This work studies the automation of the terminal area Air Traffic Management and Control (ATM/C) system. The ATM/C decision-making process is analyzed and broken down into a number of "automation functions". Each of these ...

  2. Terminal control of a variable-stability slender reentry vehicle

    E-Print Network [OSTI]

    Karmondy, Matthew T

    2008-01-01

    Various terminal control schemes are applied to a proposed slender reentry vehicle, controlled by two separately-articulating flaps. The flap deflections are summarized as symmetric and asymmetric flap deflections; the ...

  3. Optimization Control Strategies for HVAC Terminal Boxes 

    E-Print Network [OSTI]

    Zhu, Y.; Batten, T.; Noboa, H.; Claridge, D. E.; Turner, W. D.; Liu, M.; Zhou, J.; Cameron, C.; Keeble, D.; Hirchak, R.

    2000-01-01

    was limited for some boxes due to the existing box design setting. In some cases, the boxes can only supply a certain amount of hot air even in the full heating mode even though the hot duct of the boxes can allow more air flow through. Instead, the boxes..., > CFMb(due to hot duct inlet size limit) Figure 3- 1. The new VAV box operation control schedule when minimum CFM requirements exceed hot duct capacity -Heating Load Cooling Load - If CFMmi, = CFM h,, Figure 3-2 The new VAV box operation control...

  4. Terminal 

    E-Print Network [OSTI]

    Unknown

    2011-08-17

    and angular positions of the cylinders as a function of time. The experimental error encountered due to video resolution was studied and minimized through the use of a proper data sampling rate The terminal velocities of the cylinders are found to increase...

  5. Optimal Terminal Box Control for Single Duct Air-Handling Units 

    E-Print Network [OSTI]

    Cho, Y.; Vondal, J.; Wang, G.; Liu, M.

    2006-01-01

    Terminal boxes maintain room temperature by modulating supply air temperature and airflow in building HVAC systems. Terminal boxes with conventional control sequences often supply inadequate airflow to a conditioned space, resulting in occupant...

  6. Performance of ECM controlled VAV fan powered terminal units 

    E-Print Network [OSTI]

    Cramlet, Andrew Charles

    2009-05-15

    Empirical performance models of fan airflow, primary airflow and power consumption were developed for series and parallel variable air volume fan powered terminal units. An experimental setup and test procedure were created to test the terminal...

  7. Swimming by numbers QUANTUM CONTROL

    E-Print Network [OSTI]

    Mahadevan, L.

    flow, providing key qualitative insight in fluid mechanics. For example, the so-called Reynolds number be described by a universal mechanical principle seems optimistic -- if not entirely unrealistic. Now, however and pressure forces relevant for net propulsion. A measure of the thrust force is given by the mass

  8. To examine how the dynamics of recall processes are affected by the control processes involved with search termination, to study

    E-Print Network [OSTI]

    Dougherty, Michael

    involved with search termination, to study the implications of these control processes for the development at understanding the metacognitive control processes involved with the decision to terminate memory search. Specifically, research examines the impact of search termination decisions on the natural retrieval dynamics

  9. Nonlinear Control Design and Analysis of a Multi-Terminal VSC-HVDC System

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    a large transmission capacity (larger than the AC network) and can provide a more flexible, efficient. The controller is able to provide global asymptotic stability for the power transmission system consisting of N-terminal HVDC transmission system can only carry out point-to-point power transfer. Under the requirements

  10. Review of Literature on Terminal Box Control, Occupancy Sensing Technology and Multi-zone Demand Control Ventilation (DCV)

    SciTech Connect (OSTI)

    Liu, Guopeng; Dasu, Aravind R.; Zhang, Jian

    2012-03-01

    This report presents an overall review of the standard requirement, the terminal box control, occupancy sensing technology and DCV. There is system-specific guidance for single-zone systems, but DCV application guidance for multi-zone variable air volume (VAV) systems is not available. No real-world implementation case studies have been found using the CO2-based DCV. The review results also show that the constant minimum air flow set point causes excessive fan power consumption and potential simultaneous heating and cooling. Occupancy-based control (OBC) is needed for the terminal box in order to achieve deep energy savings. Key to OBC is a technology for sensing the actual occupancy of the zone served in real time. Several technologies show promise, but none currently fully meets the need with adequate accuracy and sufficiently low cost.

  11. Electrical Control of Broadband Terahertz Wave Transmission with Two-Terminal Graphene Oxide Devices

    E-Print Network [OSTI]

    Lee, Seungwoo; Lee, Won Jun; Park, Byung Cheol; Kang, Byungsoo; Hwang, Euyheon; Kim, Sang Ouk

    2015-01-01

    Carbon nanomaterials such as carbon nanotubes and graphene have proved to be efficient building blocks for active optoelectronic devices. Especially, the exotic properties of crystalline graphene, such as a linear/gapless energy dispersion, offer a generic route to the development of active photonic modulator at the infrared (IR) and terahertz (THz) regime with large modulation depth. Here, we show that graphene oxide (GO), an oxygenated derivative of graphene with randomly distributed molecular defects (e.g., adsorbed water molecules and punched holes), can provide a different way to effectively control broadband THz transmission amplitude, when incorporated into two-terminal electrode devices. Electrically trapped charge carriers within localized impurity states (LIS) of GO, which originate from fully randomized defective structure of GO, results in a large modulation of transmission amplitude (~30%) for broadband THz waves (0.3 ~ 2.0 THz) even at room temperature. Interesting hysteretic behavior observed i...

  12. Control of mRNA Export and Translation Termination by Inositol Hexakisphosphate Requires Specific Interaction with Gle1*S

    E-Print Network [OSTI]

    Bedwell, David M.

    Control of mRNA Export and Translation Termination by Inositol Hexakisphosphate Requires Specific of the nuclear pore complex (NPC) is mediated by interactions between soluble mRNA export fac- tors and distinct binding sites on the NPC. At the cytoplasmic side of the NPC, the conserved mRNA export factors Gle1

  13. Abstract--With the rapid expansion of satellite communication, an increasing number of unattended ground terminals are

    E-Print Network [OSTI]

    Huang, Changcheng

    -of-site impairment fault. A power fault can be an unexpected power outage raised by the local hydro firm or the local local customers. Since the satellite transmission power is maintained at optimum level and the links identification (TFI), the faults can be generalized as power fault, terminal hardware fault and line

  14. Modeling of Electronically Commutated Motor Controlled Fan-powered Terminal Units 

    E-Print Network [OSTI]

    Edmondson, Jacob Lee

    2011-02-22

    : Dr. Dennis O?Neal Empirical models of airflow and power consumption were developed for series and parallel variable air volume fan powered terminal units (FPTUs). An experimental setup and test procedure were developed to test the terminal... (THD) was also recorded and presented. For the series terminal units, models were developed for fan airflow, fan power, and primary airflow. The models for fan airflow all had R2 values above 0.987. The iv models for fan power all had R2 values...

  15. Controlling synchronization in large laser networks using number theory

    E-Print Network [OSTI]

    Micha Nixon; Moti Fridman; Eitan Ronen; Asher A. Friesem; Nir Davidson; Ido Kanter

    2011-12-18

    Synchronization in networks with delayed coupling are ubiquitous in nature and play a key role in almost all fields of science including physics, biology, ecology, climatology and sociology. In general, the published works on network synchronization are based on data analysis and simulations, with little experimental verification. Here we develop and experimentally demonstrate various multi-cluster phase synchronization scenarios within coupled laser networks. Synchronization is controlled by the network connectivity in accordance to number theory, whereby the number of synchronized clusters equals the greatest common divisor of network loops. This dependence enables remote switching mechanisms to control the optical phase coherence among distant lasers by local network connectivity adjustments. Our results serve as a benchmark for a broad range of coupled oscillators in science and technology, and offer feasible routes to achieve multi-user secure protocols in communication networks and parallel distribution of versatile complex combinatorial tasks in optical computers.

  16. Modeling of ECM Controlled Series Fan-powered VAV Terminal Units 

    E-Print Network [OSTI]

    Yin, Peng

    2011-10-21

    Semi-empirical models for series fan-powered variable air volume terminal units (FPTUs) were developed based on models of the primary, plenum, fan airflow and the fan power consumption. The experimental setups and test procedures were developed...

  17. W-026 acceptance test plan plant control system hardware (submittal {number_sign} 216)

    SciTech Connect (OSTI)

    Watson, T.L., Fluor Daniel Hanford

    1997-02-14

    Acceptance Testing of the WRAP 1 Plant Control System Hardware will be conducted throughout the construction of WRAP I with the final testing on the Process Area hardware being completed in November 1996. The hardware tests will be broken out by the following functional areas; Local Control Units, Operator Control Stations in the WRAP Control Room, DMS Server, PCS Server, Operator Interface Units, printers, DNS terminals, WRAP Local Area Network/Communications, and bar code equipment. This document will contain completed copies of each of the hardware tests along with the applicable test logs and completed test exception reports.

  18. Size and composition-controlled fabrication of VO2 nanocrystals by terminated cluster growth

    SciTech Connect (OSTI)

    Anders, Andre; Slack, Jonathan

    2013-05-14

    A physical vapor deposition-based route for the fabrication of VO2 nanoparticles is demonstrated, consisting of reactive sputtering and vapor condensation at elevated pressures. The oxidation of vanadium atoms is an efficient heterogeneous nucleation method, leading to high nanoparticle throughtput. Fine control of the nanoparticle size and composition is obtained. Post growth annealing leads to crystalline VO2 nanoparticles with optimum thermocromic and plasmonic properties.

  19. CONTROL CHART DASHBOARDS MANAGING YOUR NUMBERS INSTEAD OF YOU NUMBER MANAGING YOU

    SciTech Connect (OSTI)

    PREVETTE, S.S.

    2006-11-15

    This paper, which documents Fluor Hanford's application of Statistical Process Control (SPC) and Dashboards to support planning and decision making, is a sequel to ''Leading with Leading Indicators'' that was presented at WM 05. This year's paper provides more detail on management's use of SPC and control charts and discusses their integration into an executive summary using the popular color-cod3ed dashboard methodology. Fluor Hanford has applied SPC in a non-traditional (that is non-manufacturing) manner. Dr. Shewhart's 75-year-old control-chart methodologies have been updated to modern data processing, but are still founded on his sound, tried and true principles. These methods are playing a key role in safety and quality at what has been called the world's largest environmental cleanup project. The US Department of Energy's (DOE's) Hanford Site played a pivotal role in the nation's defense, beginning in the 1940s when it was established as part of the Manhattan Project. After more than 50 years of producing nuclear weapons, Hanford--which covers 586 square miles in southeastern Washington state--is now focused on three outcomes: (1) restoring the Columbia River corridor for multiple uses; (2) transitioning the central plateau to support long-term waste management; and (3) putting DOE assets to work for the future.

  20. Paper number 275 n-1 International Symposium on Fluid Control,

    E-Print Network [OSTI]

    , in the aircraft landing gear wells or in the weapon bays of modern supersonic military airplanes. Such resonance control approach, which utilizes supersonic microjet actuators, has been applied to suppress the flow, Supersonic Cavity Flow, Particle image velocimetry 1. Introduction Cavity flow has been the focus of research

  1. Superconducting Cable Termination

    DOE Patents [OSTI]

    Sinha, Uday K. (Carrollton, GA); Tolbert, Jerry (Newnan, GA)

    2005-08-30

    Disclosed is a termination that connects high temperature superconducting (HTS) cable immersed in pressurized liquid nitrogen to high voltage and neutral (shield) external bushings at ambient temperature and pressure. The termination consists of a splice between the HTS power (inner) and shield (outer) conductors and concentric copper pipes which are the conductors in the termination. There is also a transition from the dielectric tape insulator used in the HTS cable to the insulators used between and around the copper pipe conductors in the termination. At the warm end of the termination the copper pipes are connected via copper braided straps to the conventional warm external bushings which have low thermal stresses. This termination allows for a natural temperature gradient in the copper pipe conductors inside the termination which enables the controlled flashing of the pressurized liquid coolant (nitrogen) to the gaseous state. Thus the entire termination is near the coolant supply pressure and the high voltage and shield cold bushings, a highly stressed component used in most HTS cables, are eliminated. A sliding seal allows for cable contraction as it is cooled from room temperature to ˜72-82 K. Seals, static vacuum, and multi-layer superinsulation minimize radial heat leak to the environment.

  2. Terminal electrode

    SciTech Connect (OSTI)

    Zagrodnik, J.P.; Bowen, G.K.

    1990-08-14

    This paper discusses a bipolar flow battery. It comprises a series of half cells in electrical communication with one another, the cells being defined by partitions comprising alternating electrodes and separators, each partition being secured to each adjacent partition about a common perimeter therewith, the series of half cells having a terminal electrode at an end thereof; an endblock, disposed at an end of the series of half cells, the endblock being secured to the terminal electrode; an electrolyte manifold in hydraulic communication with the half cells; and an electrolyte pump for urging electrolyte through the manifold and into the half cells.

  3. Controller certification : the generalized stability margin inference for a large number of MIMO controllers

    E-Print Network [OSTI]

    Park, Jisang

    2007-01-01

    of the F100 Jet Engine . . . . . . . . . . . . . . 2.9.2.of candidate F100 jet engine controllers. . . . . . . . .a high performance jet engine must respect many possible

  4. Terminal structure

    DOE Patents [OSTI]

    Schmidt, Frank (Langenhagen, DE); Allais, Arnaud (Hannover, DE); Mirebeau, Pierre (Villebon sur Yvette, FR); Ganhungu, Francois (Vieux-Reng, FR); Lallouet, Nicolas (Saint Martin Boulogne, FR)

    2009-10-20

    A terminal structure (2) for a superconducting cable (1) is described. It consists of a conductor (2a) and an insulator (2b) that surrounds the conductor (2a), wherein the superconducting cable (1) has a core with a superconducting conductor (5) and a layer of insulation that surrounds the conductor (5), and wherein the core is arranged in such a way that it can move longitudinally in a cryostat. The conductor (2a) of the terminal structure (2) is electrically connected with the superconducting conductor (5) or with a normal conductor (6) that is connected with the superconducting conductor (5) by means of a tubular part (7) made of an electrically conductive material, wherein the superconducting conductor (5) or the normal conductor (6) can slide in the part (7) in the direction of the superconductor.

  5. Generalizing the Control Number for 6-dof UCU Hexapods with classic or eccentric U-joints

    E-Print Network [OSTI]

    Nawratil, Georg

    Generalizing the Control Number for 6-dof UCU Hexapods with classic or eccentric U-joints Georg), which evaluates the closeness of a given non-singular configuration of a hexapod with UCU the cylinder axis c and the other a rotation around c. For the hexapods under consideration, only

  6. p chart control limits based on a small number of subgroups 

    E-Print Network [OSTI]

    Nedumaran, Gunabushanam

    1994-01-01

    run situations and during the early stages of a production run. This thesis offers a solution to this issue by proposing a method for setting up p chart control limits even when the data available is from only a small number of subgroups. The run...

  7. Interactive Termination Proofs using Termination Cores

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    Interactive Termination Proofs using Termination Cores Panagiotis Manolios and Daron Vroon College@ccs.neu.edu, daron.vroon@gmail.com Abstract. Recent advances in termination analysis have yielded new methods and determining how to proceed. In this paper, we address the issue of building termination analysis engines

  8. From outermost termination to innermost termination

    E-Print Network [OSTI]

    Middeldorp, Aart

    From outermost termination to innermost termination Ren´e Thiemann Institute of Computer Science mechanism of func- tional programming languages. Therefore, termination analysis of term rewrite systems transformation such that a TRS is outermost terminating iff the transformed TRS is innermost terminat- ing

  9. Improving Building Comfort and Energy Savings of the McKenzie Airport Terminal by Maintaining and Improving Pneumatic Control Systems 

    E-Print Network [OSTI]

    Liu, C.; Bruner, H. L.; Deng, S.; Brundidge, T.; Turner, W. D.; Claridge, D. E.

    2004-01-01

    , had some form of deteriorated controls, components, and operational function. For example, most of pneumatic controls were failed due to bad components, wrong settings, and disconnection before the Continuous CommissioningR (CCSM). This caused humid...

  10. Termination unit

    DOE Patents [OSTI]

    Traeholt, Chresten [Frederiksberg, DK; Willen, Dag [Klagshamn, SE; Roden, Mark [Newnan, GA; Tolbert, Jerry C [Carrollton, GA; Lindsay, David [Carrollton, GA; Fisher, Paul W [Heiskell, TN; Nielsen, Carsten Thidemann [Jaegerspris, DK

    2014-01-07

    This invention relates to a termination unit comprising an end-section of a cable. The end section of the cable defines a central longitudinal axis and comprising end-parts of N electrical phases, an end-part of a neutral conductor and a surrounding thermally insulation envelope adapted to comprising a cooling fluid. The end-parts of the N electrical phases and the end-part of the neutral conductor each comprising at least one electrical conductor and being arranged in the cable concentrically around a core former with a phase 1 located relatively innermost, and phase N relatively outermost in the cable, phase N being surrounded by the neutral conductor, electrical insulation being arrange between neighboring electrical phases and between phase N and the neutral conductor, and wherein the end-parts of the neutral conductor and the electrical phases each comprise a contacting surface electrically connected to at least one branch current lead to provide an electrical connection: The contacting surfaces each having a longitudinal extension, and being located sequentially along the longitudinal extension of the end-section of the cable. The branch current leads being individually insulated from said thermally insulation envelope by individual electrical insulators.

  11. Refuting the odd number limitation of time-delayed feedback control

    E-Print Network [OSTI]

    B. Fiedler; V. Flunkert; M. Georgi; P. Hoevel; E. Schoell

    2007-02-12

    We refute an often invoked theorem which claims that a periodic orbit with an odd number of real Floquet multipliers greater than unity can never be stabilized by time-delayed feedback control in the form proposed by Pyragas. Using a generic normal form, we demonstrate that the unstable periodic orbit generated by a subcritical Hopf bifurcation, which has a single real unstable Floquet multiplier, can in fact be stabilized. We derive explicit analytical conditions for the control matrix in terms of the amplitude and the phase of the feedback control gain, and present a numerical example. Our results are of relevance for a wide range of systems in physics, chemistry, technology,and life sciences, where subcritical Hopf bifurcations occur.

  12. Connecticut Controlled Substance Number (CSR) The State Department of Consumer Protection mandates that all residents/fellows (with or

    E-Print Network [OSTI]

    Page 55 Connecticut Controlled Substance Number (CSR) The State Department of Consumer Protection of Connecticut must be registered to prescribe any controlled substance to any patient. This is different than of Connecticut when renewal is required. Residents/fellows are required to renew their biennial registration

  13. On Termination and Derivation Lengths for Ground Rewrite Systems

    E-Print Network [OSTI]

    Giesl, Juergen

    On Termination and Derivation Lengths for Ground Rewrite Systems Dieter Hofbauer 1 Universit¨at GH@theory.informatik.uni­kassel.de Abstract. It is shown that for terminating ground term rewrite systems the length of derivations a suitable interpretation into the natural numbers. Terminating ground systems are not necessarily

  14. NIOSH publications on video display terminals (revised)

    SciTech Connect (OSTI)

    Not Available

    1991-06-01

    Materials developed by NIOSH concerning video display terminals (VDTs) comprise the publication. The first section listed citations of reports developed by NIOSH concerning VDTs and possible hazards associated with their use, and contained ordering information for these publications. Types of publications included NIOSH numbered publications, hazard evaluation and technical assistance reports, contract reports, journal articles, book chapters, presentations, and miscellaneous reports. The second section of the report contained full text copies of selected references from the bibliography. These references included testimony before congressional committees, presentations and articles dealing with radiation issues, reproductive outcomes of workers using VDTs the risk of spontaneous abortion, an epidemiologic investigation of electric and magnetic fields and operator exposure, controlling glare problems in the VDT work environment, and the design of rest breaks for VDT operators.

  15. The Heliospheric Termination Shock

    E-Print Network [OSTI]

    R. A. Treumann; C. H. Jaroschek

    2008-07-25

    The heliospheric Termination Shock is the largest (by dimension) shock in the heliosphere. It is believed that it is also the strongest shock and is responsible for the generation of the Anomalous Cosmic Ray component in the heliosphere. This chapter review the gross properties and observations of the Termination Shock. It is structured as follows: 1. The heliosphere, providing the heliospheric stage for Termination Shock formation, 2. The argument for a heliospheric Termination Shock, 3. The global heliospheric system, 4. Termination Shock properties, 5. Observations: the Voyager passages, radio observations, plasma waves and electron beams, traces of plasma and magnetic field, energetic particles, galactic cosmic rays, Termination Shock particles, the anomalous cosmic ray component, 6. Conclusions.

  16. Termination Casts: A Flexible Approach to Termination with General Recursion

    E-Print Network [OSTI]

    Weirich, Stephanie

    distinguishes terminating terms and total functions from possibly diverging terms and partial functionsTermination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump Computer type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced

  17. Clothes Dryer Automatic Termination Evaluation

    SciTech Connect (OSTI)

    TeGrotenhuis, Ward E.

    2014-10-01

    Volume 2: Improved Sensor and Control Designs Many residential clothes dryers on the market today provide automatic cycles that are intended to stop when the clothes are dry, as determined by the final remaining moisture content (RMC). However, testing of automatic termination cycles has shown that many dryers are susceptible to over-drying of loads, leading to excess energy consumption. In particular, tests performed using the DOE Test Procedure in Appendix D2 of 10 CFR 430 subpart B have shown that as much as 62% of the energy used in a cycle may be from over-drying. Volume 1 of this report shows an average of 20% excess energy from over-drying when running automatic cycles with various load compositions and dryer settings. Consequently, improving automatic termination sensors and algorithms has the potential for substantial energy savings in the U.S.

  18. Termination-Insensitive Computational Indistinguishability

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Termination-Insensitive Computational Indistinguishability (and applications to computational indistinguishability: termination-insensitive computational indistinguishability (tic-indistinguishability). Tic-indistinguishability models indistinguishability with respect to distinguishers that cannot distinguish be- tween termination

  19. Termination and Recovery

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-08-21

    This volume defines event Termination and determination of when it is appropriate to cease emergency response activities and of associated notifications. Canceled by DOE G 151.1-4.

  20. Local Termination: theory and practice

    E-Print Network [OSTI]

    Endrullis, Joerg; Waldmann, Johannes

    2010-01-01

    The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic characterisation and most known termination methods are concerned with global termination, uniformly of all the terms of a term rewriting system (TRS). In this paper we consider local termination, of specific sets of terms within a given TRS. The principal goal of this paper is generalising the semantic characterisation of global termination to local termination. This is made possible by admitting the well-founded monotone algebras to be partial. We also extend our approach to local relative termination. The interest in local termination naturally arises in program verification, where one is probably interested only in sensible inputs, or just wants to characterise the set of inputs for which a program terminates. Local termination will be also be of interest when dealing with a specif...

  1. Termination of Isabelle Functions via Termination of Rewriting

    E-Print Network [OSTI]

    Ábrahám, Erika

    Termination of Isabelle Functions via Termination of Rewriting Alexander Krauss,1 ChristianFG Informatik 2, RWTH Aachen University, Germany Abstract. We show how to automate termination proofs and invoking an external termination prover. Our link to the external prover includes full proof reconstruction

  2. Control of a high Reynolds number Mach 0.9 heated jet using plasma actuators

    SciTech Connect (OSTI)

    Kearney-Fischer, M.; Kim, J.-H.; Samimy, M.

    2009-09-15

    The results of particle image velocimetry (PIV) measurements in a high subsonic, heated, jet forced using localized arc filament plasma actuators (LAFPAs) show that LAFPAs can consistently produce significant mixing enhancement over a wide range of temperatures. These actuators have been used successfully in high Reynolds number, high-speed unheated jets. The facility consists of an axisymmetric jet with different nozzle blocks of exit diameter of 2.54 cm and variable jet temperature in an anechoic chamber. The focus of this paper is on a high subsonic (M{sub j}=0.9) jet. Twelve experiments with various forcing azimuthal modes (m=0, 1, and {+-}1) and temperatures (T{sub o}/T{sub a}=1.0, 1.4, and 2.0) at a fixed forcing Strouhal number (St{sub DF}=0.3) have been conducted and PIV results compared with the baseline results to characterize the effectiveness of LAFPAs for mixing enhancement. Centerline velocity and turbulent kinetic energy as well as jet width are used for determining the LAFPAs' effectiveness. The characteristics of large-scale structures are analyzed through the use of Galilean streamlines and swirling strength. Across the range of temperatures collected, the effectiveness of LAFPAs improves as temperature increases. Possible reasons for the increase in effectiveness are discussed.

  3. Effect of Fuel Wobbe Number on Pollutant Emissions from Advanced Technology Residential Water Heaters: Results of Controlled Experiments

    SciTech Connect (OSTI)

    Rapp, Vi H.; Singer, Brett C.

    2014-03-01

    The research summarized in this report is part of a larger effort to evaluate the potential air quality impacts of using liquefied natural gas in California. A difference of potential importance between many liquefied natural gas blends and the natural gas blends that have been distributed in California in recent years is the higher Wobbe number of liquefied natural gas. Wobbe number is a measure of the energy delivery rate for appliances that use orifice- or pressure-based fuel metering. The effect of Wobbe number on pollutant emissions from residential water heaters was evaluated in controlled experiments. Experiments were conducted on eight storage water heaters, including five with “ultra low-NO{sub X}” burners, and four on-demand (tankless) water heaters, all of which featured ultra low-NO{sub X} burners. Pollutant emissions were quantified as air-free concentrations in the appliance flue and fuel-based emission factors in units of nanogram of pollutant emitter per joule of fuel energy consumed. Emissions were measured for carbon monoxide (CO), nitrogen oxides (NO{sub X}), nitrogen oxide (NO), formaldehyde and acetaldehyde as the water heaters were operated through defined operating cycles using fuels with varying Wobbe number. The reference fuel was Northern California line gas with Wobbe number ranging from 1344 to 1365. Test fuels had Wobbe numbers of 1360, 1390 and 1420. The most prominent finding was an increase in NO{sub X} emissions with increasing Wobbe number: all five of the ultra low-NO{sub X} storage water heaters and two of the four ultra low-NO{sub X} on-demand water heaters had statistically discernible (p<0.10) increases in NO{sub X} with fuel Wobbe number. The largest percentage increases occurred for the ultra low-NO{sub X} water heaters. There was a discernible change in CO emissions with Wobbe number for all four of the on-demand devices tested. The on-demand water heater with the highest CO emissions also had the largest CO increase with increasing fuel Wobbe number.

  4. Report Form for Program Termination

    E-Print Network [OSTI]

    Saskatchewan, University of

    Report Form for Program Termination Program(s) to be deleted: Effective date of termination: 1. List reasons for termination and describe the background leading to this decision. 2. Technical the last five years. #12;3. Impact of the termination. Internal 3.1 What if any impact

  5. Shipboard regasification terminal

    SciTech Connect (OSTI)

    Campbell, G.; Zednik, J.

    1999-07-01

    Mobil Technology Company and Mobil Shipping and Transportation Company have jointly developed a new combination of existing proven equipment to regasify LNG. Advantages of this Shipboard Regasification Terminal (SRT) include accelerated initial gas delivery schedule, low capital cost, delivery of smaller quantities of LNG at a competitive price and shorter term of LNG purchase and improved financing options. These advantages benefit both the supplier of LNG and the purchaser. SRT can be used as an interim supply to developing markets allowing the demand to grow while developing downstream infrastructure. This concept does not involve offshore transfer of cryogenic fluids while delivering near-ambient temperature pipeline quality gas at typical pipeline pressures. During times when gas is not required, the SRT ship can easily be returned to the trade of transporting and delivering LNG to conventional land based terminals. This paper will discuss the merits of Shipboard Regasification Terminals in general, cover the development of this concept and review the factors guiding the use of SRT vs. an onshore terminal.

  6. Termination Casts: A Flexible Approach to Termination with General Recursion

    E-Print Network [OSTI]

    Stump, Aaron; Weirich, Stephanie; 10.4204/EPTCS.43.6

    2010-01-01

    This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.

  7. Eternal Inflation with Arrival Terminals

    E-Print Network [OSTI]

    Henry Stoltenberg; Andreas Albrecht

    2015-01-18

    We analyze the cosmological role of terminal vacua in the string theory landscape, and point out that existing work on this topic makes very strong assumptions about the properties of the terminal vacua. We explore the implications of relaxing these assumptions (by including "arrival" as well as "departure" terminals) and demonstrate that the results in earlier work are highly sensitive to their assumption of no arrival terminals. We use our discussion to make some general points about tuning and initial conditions in cosmology.

  8. Early Termination in Ben-Or/Tiwari Sparse Interpolation and a Hybrid of Zippel's Algorithm

    E-Print Network [OSTI]

    Kaltofen, Erich

    Early Termination in Ben-Or/Tiwari Sparse Interpolation and a Hybrid of Zippel's Algorithm Wen, ei = deg fxi. #12;Idea # 1 Early termination degree? number of terms? What if an upper bound. And double the guess if fails. Early termination. Interpolate the polynomial at a random point, when

  9. Two terminal micropower radar sensor

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1995-01-01

    A simple, low power ultra-wideband radar motion sensor/switch configuration connects a power source and load to ground. The switch is connected to and controlled by the signal output of a radar motion sensor. The power input of the motion sensor is connected to the load through a diode which conducts power to the motion sensor when the switch is open. A storage capacitor or rechargeable battery is connected to the power input of the motion sensor. The storage capacitor or battery is charged when the switch is open and powers the motion sensor when the switch is closed. The motion sensor and switch are connected between the same two terminals between the source/load and ground.

  10. Two terminal micropower radar sensor

    DOE Patents [OSTI]

    McEwan, T.E.

    1995-11-07

    A simple, low power ultra-wideband radar motion sensor/switch configuration connects a power source and load to ground. The switch is connected to and controlled by the signal output of a radar motion sensor. The power input of the motion sensor is connected to the load through a diode which conducts power to the motion sensor when the switch is open. A storage capacitor or rechargeable battery is connected to the power input of the motion sensor. The storage capacitor or battery is charged when the switch is open and powers the motion sensor when the switch is closed. The motion sensor and switch are connected between the same two terminals between the source/load and ground. 3 figs.

  11. Termination Detection of Local Computations

    E-Print Network [OSTI]

    Godard, Emmanuel; Tel, Gerard

    2010-01-01

    Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the problem of the detection of the termination of local computations. We define four types of termination detection: no detection, detection of the local termination, detection by a distributed observer, detection of the global termination. We give a complete characterisation (except in the local termination detection case where a partial one is given) for each of this termination detection and show that they define a strict hierarchy. These results emphasise the difference between computability of a distributed task and termination detection. Furthermore, these characterisations encompass all standard criteria that are usually formulated : topological restriction (tree, rings, or triangu- lated networks ...), topological knowledge (size, diameter ...), and local knowledge to distinguish nodes (identities, sense of direction). These re- sult...

  12. Effect of Fuel Wobbe Number on Pollutant Emissions from Advanced Technology Residential Water Heaters: Results of Controlled Experiments

    E-Print Network [OSTI]

    Rapp, VH

    2014-01-01

    Table 8. Calibration gases used for LNG interchangeabilityof liquefied natural gas (LNG) in California. The currentnumbers associated with many LNG supplies. Wobbe number is a

  13. Co-Terminal Handbook I. What is a co-terminal degree?.................................................................3

    E-Print Network [OSTI]

    Heller, Barbara

    Co-Terminal Handbook 2014-2015 #12;Contents I. What is a co-terminal degree................................................................................10 VIII. Transferring to a Different Co-Terminal Program............................111 IX. Withdrawing from the Co-Terminal Program....................................122 X. Resources

  14. Static power reduction for midpoint-terminated busses

    DOE Patents [OSTI]

    Coteus, Paul W. (Yorktown Heights, NY); Takken, Todd (Brewster, NY)

    2011-01-18

    A memory system is disclosed which is comprised of a memory controller and addressable memory devices such as DRAMs. The invention provides a programmable register to control the high vs. low drive state of each bit of a memory system address and control bus during periods of bus inactivity. In this way, termination voltage supply current can be minimized, while permitting selected bus bits to be driven to a required state. This minimizes termination power dissipation while not affecting memory system performance. The technique can be extended to work for other high-speed busses as well.

  15. TERMINATION OF IDEAL COS m phi WINDING

    E-Print Network [OSTI]

    Laslett, L.J.

    2010-01-01

    6 III . Termination of the cos A. B. Analysis ExamplesTERMINATION OF IDEAL COS m~ WINDING L.J. Laslett, S. Caspi,MAG-77 TERMINATION OF IDEAL COS WINDING L. J . Las1ett, S.

  16. TERMINATION OF IDEAL COS m phi WINDING

    E-Print Network [OSTI]

    Laslett, L.J.

    2010-01-01

    6 III . Termination of the cos A. B.of Dipole Magnets 1. The Lambertson-Coupland TerminationTerminations Employing the Function f(y) = k(y/a)P

  17. Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs

    E-Print Network [OSTI]

    Kröning, Daniel

    Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs Cristina David, Daniel Kroening, and Matt Lewis University of Oxford Abstract. Proving program termination is typically for proving termination of many terminating programs, and furthermore a termination argument for a program

  18. Terminality implies non-signalling

    E-Print Network [OSTI]

    Bob Coecke

    2014-12-30

    A 'process theory' is any theory of systems and processes which admits sequential and parallel composition. `Terminality' unifies normalisation of pure states, trace-preservation of CP-maps, and adding up to identity of positive operators in quantum theory, and generalises this to arbitrary process theories. We show that terminality and non-signalling coincide in any process theory, provided one makes causal structure explicit. In fact, making causal structure explicit is necessary to even make sense of non-signalling in process theories. We conclude that because of its much simpler mathematical form, terminality should be taken to be a more fundamental notion than non-signalling.

  19. Controllable synthesis of graphene sheets with different numbers of layers and effect of the number of graphene layers on the specific capacity of anode material in lithium-ion batteries

    SciTech Connect (OSTI)

    Tong, Xin [Key Laboratory of Synthetic and Natural Functional Molecule Chemistry (Ministry of Education), College of Chemistry and Materials Science, Northwest University, Xi'an 710069 (China); Wang, Hui, E-mail: huiwang@nwu.edu.c [Key Laboratory of Synthetic and Natural Functional Molecule Chemistry (Ministry of Education), College of Chemistry and Materials Science, Northwest University, Xi'an 710069 (China); National Key Laboratory of Photoelectric Technology and Functional Materials (Culture Base), National Photoelectric Technology and Functional Materials and Application International Cooperation Base, Institute of Photonics and Photon-Technology, Northwest University, Xi'an 710069 (China); Wang, Gang [Key Laboratory of Synthetic and Natural Functional Molecule Chemistry (Ministry of Education), College of Chemistry and Materials Science, Northwest University, Xi'an 710069 (China); Wan, Lijuan; Ren, Zhaoyu; Bai, Jintao [National Key Laboratory of Photoelectric Technology and Functional Materials (Culture Base), National Photoelectric Technology and Functional Materials and Application International Cooperation Base, Institute of Photonics and Photon-Technology, Northwest University, Xi'an 710069 (China); Bai, Jinbo [Lab. MSS/MAT, CNRS UMR 8579, Ecole Centrale Paris, 92295 Chatenay Malabry (France)

    2011-05-15

    High quality graphene sheets are synthesized through efficient oxidation process followed by rapid thermal expansion and reduction by H{sub 2}. The number of graphene layers is controlled by tuning the oxidation degree of GOs. The higher the oxidation degree of GOs is getting, the fewer the numbers of graphene layers can be obtained. The material is characterized by elemental analysis, thermo-gravimetric analysis, scanning electron microscopy, atomic force microscopy, transmission electron microscopy and Fourier transform infrared spectroscopies. The obtained graphene sheets with single, triple and quintuplicate layers as anode materials exhibit a high reversible capacity of 1175, 1007, and 842 mA h g{sup -1}, respectively, which show that the graphene sheets with fewer layers have higher reversible capacity. -- Graphical abstract: The typical TEM images of the graphene sheets derived from GO3(a), GO2(b) and GO1(c). Display Omitted Highlights: {yields} With the oxidation degree of GO increasing, the numbers of graphene layers decreased. {yields} With the numbers of graphene layers decreasing, the reversible capacity improved. {yields} Graphene sheets with single-layer exhibit the best electrochemical performances.

  20. McKenize Terminal - 3 

    E-Print Network [OSTI]

    Unknown

    2009-01-01

    ©2008 ASHRAE 83 ABSTRACT Empirical models of airflow output, power consumption, and primary airflow were developed for parallel fan powered variable air volume terminal units at typical operating pres- sures. Both 8 in. (203 mm) and 12 in. (304 mm...) primary air inlet terminal units from three manufacturers were evaluated. Generalized models were developed from the experimental data with coefficients varying by size and manufacturer. Fan power and airflow data were collected at down- stream static...

  1. Integrated emissions control system for residential CWS furnace. Annual status report number 1, 20 September 1989--30 September 1990

    SciTech Connect (OSTI)

    Balsavich, J.C.; Breault, R.W.

    1990-10-01

    One of the major obstacles to the successful development and commercialization of a coal-fired residential furnace is the need for a reliable, cost-effective emission control system. Tecogen Inc. is developing a novel, integrated emission control system to control NO{sub x}, SO{sub 2}, and particulate emissions. A reactor provides high sorbent particle residence time within the reactor to control SO{sub 2} emissions, while providing a means of extracting a substantial amount of the particulates present in the combustion gases. Final cleanup of any flyash exiting the reactor is completed with the use of high-efficiency bag filters. Tecogen Inc. developed a residential-scale Coal Water Slurry (CWS) combustor which makes use of centrifugal forces to separate and confine larger unburned coal particles in the furnace upper chamber. Various partitions are used to retard the axial, downward flow of these particles, and thus maximize their residence time in the hottest section of the combustor. By operating this combustor under staged conditions, the local stoichiometry in the primary zone can be controlled to minimize NO{sub x} emissions. During the first year of the program, work encompassed a literature search, developing an analytical model of the SO{sub 2} reactor, fabricating and assembling the initial prototype components, testing the prototype component, and estimating the operating and manufacturing costs.

  2. Distributed Termination Detection for Dynamic Systems

    E-Print Network [OSTI]

    Dhamdhere, Dhananjay Madhav

    systems, Termination detection. \\Lambda Address all correspondence to this author. 1 #12; Distributed

  3. Program termination discussed by BOT AA

    E-Print Network [OSTI]

    Almor, Amit

    Program termination discussed by BOT AA and BOT Full (termination of concentrations does Education (CHE) Approval Process Timeline Program Terminations 2014-2015 NOTE: These dates reflect the shortest amount of time it takes to process a program termination through the approval cycle

  4. Division of Human Resources Termination Of

    E-Print Network [OSTI]

    Meyers, Steven D.

    Division of Human Resources Termination Of Domestic Partnership Health Stipend Questions (813) 974 Insurance Stipend will terminate as of the Effective Date on this Termination of Domestic Partnership Health. ______ The Domestic Partnership Declaration attested to and filed by me with USF shall be and is terminated

  5. Termination of Nondeterministic Quantum Programs

    E-Print Network [OSTI]

    Yangjia Li; Nengkun Yu; Mingsheng Ying

    2012-01-04

    We define a language-independent model of nondeterministic quantum programs in which a quantum program consists of a finite set of quantum processes. These processes are represented by quantum Markov chains over the common state space. An execution of a nondeterministic quantum program is modeled by a sequence of actions of individual processes. These actions are described by super-operators on the state Hilbert space. At each step of an execution, a process is chosen nondeterministically to perform the next action. A characterization of reachable space and a characterization of diverging states of a nondeterministic quantum program are presented. We establish a zero-one law for termination probability of the states in the reachable space of a nondeterministic quantum program. A combination of these results leads to a necessary and sufficient condition for termination of nondeterministic quantum programs. Based on this condition, an algorithm is found for checking termination of nondeterministic quantum programs within a fixed finite-dimensional state space. A striking difference between nondeterministic classical and quantum programs is shown by example: it is possible that each of several quantum programs simulates the same classical program which terminates with probability 1, but the nondeterministic program consisting of them terminates with probability 0 due to the interference carried in the execution of them.

  6. Cyanobacterial bloom termination: the disappearance of Planktothrix rubescens from Lake Bourget (France) after

    E-Print Network [OSTI]

    Jacquet, Stéphan

    Cyanobacterial bloom termination: the disappearance of Planktothrix rubescens from Lake Bourget and since the 1980s has been partially restored by reductions in nutrient loadings. 2. Here, we analyse termination, although a number of other factors could also be important, such as temperature-dependent water

  7. Termination or Transfer Checklist for Managers Employees can terminate from their positions for many reasons including

    E-Print Network [OSTI]

    Fletcher, Robin

    HR-FRM-050 Termination or Transfer Checklist for Managers Employees can terminate from etc. This checklist is to be used by managers when an employee is going to terminate from as part of the termination process. Type of Termination Resignation: If your employee is resigning, review

  8. Roles of Oxygen and Water Vapor in the Oxidation of Halogen Terminated Ge(111) Surfaces

    SciTech Connect (OSTI)

    Sun, Shiyu; /Stanford U., Phys. Dept.; Sun, Yun; Liu, Zhi; Lee, Dong-Ick; Pianette, Piero; /SLAC, SSRL

    2006-12-18

    The initial stage of the oxidation of Cl and Br terminated Ge(111) surfaces is studied using photoelectron spectroscopy. The authors perform controlled experiments to differentiate the effects of different factors in oxidation, and find that water vapor and oxygen play different roles. Water vapor effectively replaces the halogen termination layers with the hydroxyl group, but does not oxidize the surfaces further. In contrast, little oxidation is observed for Cl and Br terminated surfaces with dry oxygen alone. However, with the help of water vapor, oxygen oxidizes the surface by breaking the Ge-Ge back bonds instead of changing the termination layer.

  9. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization a program can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness

  10. Phospholipase C activity increases in cerebrospinal fluid from migraineurs in proportion to the number of comorbid conditions: a case--control study

    E-Print Network [OSTI]

    Fonteh, Alfred N; Pogoda, Janice M; Chung, Rainbow; Cowan, Robert P; Harrington, Michael G

    2013-01-01

    from migraineurs in proportion to the number of comorbidcontrols, increases in proportion to the number of migrainefrom migraineurs in proportion to the number of comorbid

  11. Using indicators in finite termination procedures

    SciTech Connect (OSTI)

    P. J. Williams; A. S. El-Bakry; R. W. Tapia

    1999-10-01

    The presence of bounded variables complicates finite termination procedures in interior-point methods for linear programming.

  12. Complete LNG Terminal Status Maps | Department of Energy

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

    Complete LNG Terminal Status Maps Complete LNG Terminal Status Maps A series of slides showing the status of various LNG terminals (existing, under construction, proposed, etc.) in...

  13. Termination by Aphasia & Carotid Artery Disease: History and Definition

    E-Print Network [OSTI]

    Tkachuk, Emma

    2014-01-01

    nonfiction. Her paper on Termination by Aphasia and CarotidVol. 6 Issue 1 2014 Termination by Aphasia & Carotid Arterywith Leonid Krukov in Termination by Aphasia. People like

  14. Pooh-Poohing Copyright Law’s “Inalienable” Termination Rights

    E-Print Network [OSTI]

    Menell, Peter; Nimmer, David

    2010-01-01

    Accordingly, the relevant termination window under § 304(d)between them, to use termination rights to enhance theirand clarity of the termination of transfer provisions. ©

  15. Modularity of Termination Using Dependency Pairs ?

    E-Print Network [OSTI]

    Ábrahám, Erika

    Modularity of Termination Using Dependency Pairs ? Thomas Arts 1 and J¨urgen Giesl 2 1 Computer@informatik.tu­darmstadt.de Abstract. The framework of dependency pairs allows automated ter­ mination and innermost termination proofs of this framework in order to prove termination in a modular way. Our mod­ ularity results significantly increase

  16. Termination of Linear Programs Ashish Tiwari

    E-Print Network [OSTI]

    Tiwari, Ashish

    Termination of Linear Programs Ashish Tiwari SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A tiwari@csl.sri.com Abstract. We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination

  17. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Middeldorp, Aart

    Improved Modular Termination Proofs Using Dependency Pairs Ren´e Thiemann, J¨urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well-founded orders. However, proving innermost termination is considerably easier than

  18. Revised December, 2014 DOSIMETRY TERMINATION REQUEST

    E-Print Network [OSTI]

    Revised December, 2014 DOSIMETRY TERMINATION REQUEST In order to ensure that dosimetry records are accurately maintained we require that persons wishing to terminate personal dosimetry fill out this form attention. Your badge(s) will be terminated upon receipt of this form. PIs may be charged

  19. Fourth International Workshop on Termination Dagstuhl, Germany

    E-Print Network [OSTI]

    Giesl, Juergen

    Fourth International Workshop on Termination WST '99 Dagstuhl, Germany May 10­12, 1999 Abstracts #12; Fourth International Workshop on Termination WST '99 Dagstuhl, Germany May 10­12, 1999 Abstracts, The Netherlands) #12; Contents Hans Zantema The Termination Hierarchy for Term Rewriting

  20. Total termination of term rewriting is undecidable

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Total termination of term rewriting is undecidable Hans Zantema Utrecht University, Department Usually termination of term rewriting systems (TRS's) is proved by means of a monotonic well­founded order. If this order is total on ground terms, the TRS is called totally terminating. In this paper we prove that total

  1. Termination Analysis with Compositional Transition Invariants

    E-Print Network [OSTI]

    Kröning, Daniel

    Termination Analysis with Compositional Transition Invariants Daniel Kroening1 , Natasha Sharygina2 termination provers rely on a safety checker to con- struct disjunctively well-founded transition invariants that uses a light-weight check based on transitivity of ranking relations to prove program termination. We

  2. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Ábrahám, Erika

    Improved Modular Termination Proofs Using Dependency Pairs Renâ??e Thiemann, JË?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well­founded orders. However, proving innermost termination is considerably easier than

  3. Termination of Linear Programs Ashish Tiwari #

    E-Print Network [OSTI]

    Tiwari, Ashish

    Termination of Linear Programs Ashish Tiwari # SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A tiwari@csl.sri.com Abstract. We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete­time linear systems with a loop condition governing termination

  4. Terminals and Ports Jan C. Willems

    E-Print Network [OSTI]

    Terminals and Ports Jan C. Willems ESAT, K.U. Leuven, B-3001 Leuven, Belgium Email: Jan. An electrical circuit is a device that interacts with its environment through wires, called terminals. On each terminal, there are two interaction variables, a potential and a current. Interconnection of circuits

  5. Semicontinuous Sized Types and Termination Andreas Abel #

    E-Print Network [OSTI]

    Abel, Andreas

    , and classical applications are total correctness and termination of partial evaluation. In languagesSemi­continuous Sized Types and Termination Andreas Abel # Institut für Informatik Ludwig to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type

  6. TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS

    E-Print Network [OSTI]

    Giesl, Juergen

    is borrowed from [9], defining a similar notion in the context of termination of off­line partial evaluation only partially corresponds to our intuitive notion of a ``terminating computation''. This is becauseTERMINATION OF SIMPLY MODED WELL­TYPED LOGIC PROGRAMS UNDER TABLED EXECUTION MECHANISM Sofie

  7. Termination or Transfer Checklist for Employees Employees can terminate from their positions for many reasons

    E-Print Network [OSTI]

    Fletcher, Robin

    HR-FRM-051 Termination or Transfer Checklist for Employees Employees can terminate from etc. This checklist is to be used by employees who are terminating from the University or transferring the University, review the voluntary termination policy for the minimum notice guidelines required

  8. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation

    E-Print Network [OSTI]

    Vidal, Germán

    Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation Germ´an Vidal challenges in partial evaluation is the design of automatic methods for ensuring the termination of spe- cialisation. It is well known that the termination of partial evalua- tion can be ensured when the considered

  9. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation ?

    E-Print Network [OSTI]

    Vidal, Germán

    Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation ? Germ#19;an approach by designing a simple partial evaluator in which global termination is always ensured o#15;ine (i but only provides partial termination guarantees. Holst [18] was the #12;rst to relate (within

  10. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation

    E-Print Network [OSTI]

    Vidal, Germán

    Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation Germ´an Vidal approach by designing a simple partial evaluator in which global termination is always ensured offline (i for ensuring the termination of offline partial eval- uation yet. Recent progress include [9], which presents

  11. A remote image analysis terminal 

    E-Print Network [OSTI]

    Daigle, Lucien Don

    1976-01-01

    A APPENDIX B APPENDIX C APPENDIX D VITA 140 142 157 157 162 163 164 170 179 190 234 Vrzt I, I S'I' III' I: I OIIRI:. 8 The Remote Image Analysis Terminal System Block Diagram The Digital Interface The Analog Interface Digitizer...- flow Chart Loading and Transmission of Position Coordinates Page 59 61 63 65 66 II-22 II-23 Keyboard Block Diagram Generation and Transmission cE a Hex Digit 69 70 II- 24 I I-25 Opcode Table 73 Partial Block Diagram...

  12. International Journal of Systems Science, 2000, volume 31, number 4, pages 519 527 Multi machine power system excitation control design via theories

    E-Print Network [OSTI]

    Qu, Zhihua

    power system excitation control design via theories of feedback linearization control and nonlinear equilibrium. Based on the latest development of nonlinear robust control theory, a novel control design. Controllers designed using modern state-space theory have been serving power systems for decades

  13. A superconducting-nanowire 3-terminal electronic device

    E-Print Network [OSTI]

    Adam N. McCaughan; Karl K. Berggren

    2014-03-25

    In existing superconducting electronic systems, Josephson junctions play a central role in processing and transmitting small-amplitude electrical signals. However, Josephson-junction-based devices have a number of limitations including: (1) sensitivity to magnetic fields, (2) limited gain, (3) inability to drive large impedances, and (4) difficulty in controlling the junction critical current (which depends sensitively on sub-Angstrom-scale thickness variation of the tunneling barrier). Here we present a nanowire-based superconducting electronic device, which we call the nanocryotron (nTron), that does not rely on Josephson junctions and can be patterned from a single thin film of superconducting material with conventional electron-beam lithography. The nTron is a 3-terminal, T-shaped planar device with a gain of ~20 that is capable of driving impedances of more than 100 k{\\Omega}, and operates in typical ambient magnetic fields at temperatures of 4.2K. The device uses a localized, Joule-heated hotspot formed in the gate to modulate current flow in a perpendicular superconducting channel. We have characterized the nTron, matched it to a theoretical framework, and applied it both as a digital logic element in a half-adder circuit, and as a digital amplifier for superconducting nanowire single-photon detectors pulses. The nTron has immediate applications in classical and quantum communications, photon sensing and astronomy, and its performance characteristics make it compatible with existing superconducting technologies. Furthermore, because the hotspot effect occurs in all known superconductors, we expect the design to be extensible to other materials, providing a path to digital logic, switching, and amplification in high-temperature superconductors.

  14. An Emerging Concept for 4G+ Wireless Cellular Networks: Terminal Relaying

    E-Print Network [OSTI]

    Yanikomeroglu, Halim

    consider a cellular system in which the wireless terminals (WTs), in addition to transmitting their own signals, act as relays to assist other WTs. In such a system the number of relays scales with the number of WTs offering the system designer significantly more degrees of freedom. However, using WTs as relays

  15. Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting Calling

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting.Ayala-Rinc´on & C.A.Munoz IX Semin´ario Informal(, mas Formal!) November 29, 2013 1 / 32 #12;Automation science. While classical results state the undecidability of various termination problems, automated

  16. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler­Style Course­Of­Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  17. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler-Style Course-Of-Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  18. Termination Analysis of Term Rewriting by Polynomial

    E-Print Network [OSTI]

    Middeldorp, Aart

    Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations of the University of Innsbruck in partial fulfillment of the requirements for the degree of "Doktor der technischen Wissenschaften" advisor: Univ.-Prof. Dr. Aart Middeldorp Innsbruck, March 2012 #12;#12;dissertation Termination

  19. Program Termination and Well Partial Orderings

    E-Print Network [OSTI]

    Blass, Andreas R.

    Program Termination and Well Partial Orderings Andreas Blass Yuri Gurevich Abstract The following observation may be useful in establishing program termination: if a transitive relation R is covered of the stature P of a well partial ordering P and show that |R| 1 × · · · × n and that this bound is tight

  20. Distributed Approaches for Determination of Reconfiguration Algorithm Termination

    E-Print Network [OSTI]

    Lai, Hong-jian

    Distributed Approaches for Determination of Reconfiguration Algorithm Termination Pinak Tulpule architecture was used as globally shared memory structure for detection of algorithm termination. This paper of algorithm termination. Keywords--autonomous agent-based reconfiguration, dis- tributed algorithms, shipboard

  1. Increasing Creel Interview Efficiency Through Early Survey Termination

    E-Print Network [OSTI]

    Increasing Creel Interview Efficiency Through Early Survey Termination HAL R. OSBURN and MIKE G were terminated early when no angler interviews were con ducted by a specified time. Using this method, terminating

  2. Termination Analysis of Java Bytecode Elvira Albert1

    E-Print Network [OSTI]

    Arenas, Puri

    program properties is often split into separately proving partial correctness and termination. ObjectTermination Analysis of Java Bytecode Elvira Albert1 , Puri Arenas1 , Michael Codish2 , Samir Abstract. Termination analysis has received considerable attention, traditionally in the context

  3. Vindicator Lidar Assessment for Wind Turbine Feed-Forward Control Applications: Cooperative Research and Development Final Report, CRADA Number CRD-09-352

    SciTech Connect (OSTI)

    Wright, A.

    2014-01-01

    Collaborative development and testing of feed-forward and other advanced wind turbine controls using a laser wind sensor.

  4. Notice of Termination for Authorization under TPDES General Permit...

    Open Energy Info (EERE)

    Termination for Authorization under TPDES General Permit (TXR150000) Jump to: navigation, search OpenEI Reference LibraryAdd to library Reference: Notice of Termination for...

  5. Planning for a Sustainable Future of the Cincinnati Union Terminal

    SciTech Connect (OSTI)

    2012-04-30

    The Cincinnati Museum Center invited a number of local stakeholders, political leaders, nationally and internationally recognized design professionals and the Design Team, that has been engaged to help shape the future of this remarkable resource, to work together in a Workshop that would begin to shape a truly sustainable future for both the Museum and its home, the Union Terminal, one of the most significant buildings in America. This report summarizes and highlights the discussions that took place during the Workshop and presents recommendations for shaping a direction and a framework for the future.

  6. other animals were inseminated after return to heat 20 days post treatment (control group). Parallel to that, the effect of the number of spermatozoa per insemination was studied.

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    other animals were inseminated after return to heat 20 days post treatment (control group to the observations of the farmer. In the control group 6 p. ioo of the animals were not inseminated because they did not return to heat. The variability of the results was essentially due to differences between herds

  7. Change Number

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene Network ShapingDate: M-16-04-04 Federal FacilityChange Number

  8. Termination of Safeguards for Accountable Nuclear Materials at the Idaho National Laboratory

    SciTech Connect (OSTI)

    Michael Holzemer; Alan Carvo

    2012-04-01

    Termination of safeguards ends requirements of Nuclear Material Control and Accountability (MC&A) and thereby removes the safeguards basis for applying physical protection requirements for theft and diversion of nuclear material, providing termination requirements are met as described. Department of Energy (DOE) M 470.4 6 (Nuclear Material Control and Accountability [8/26/05]) stipulates: 1. Section A, Chapter I (1)( q) (1): Safeguards can be terminated on nuclear materials provided the following conditions are met: (a) 'If the material is special nuclear material (SNM) or protected as SNM, it must be attractiveness level E and have a measured value.' (b) 'The material has been determined by DOE line management to be of no programmatic value to DOE.' (c) 'The material is transferred to the control of a waste management organization where the material is accounted for and protected in accordance with waste management regulations. The material must not be collocated with other accountable nuclear materials.' Requirements for safeguards termination depend on the safeguards attractiveness levels of the material. For attractiveness level E, approval has been granted from the DOE Idaho Operations Office (DOE ID) to Battelle Energy Alliance, LLC (BEA) Safeguards and Security (S&S). In some cases, it may be necessary to dispose of nuclear materials of attractiveness level D or higher. Termination of safeguards for such materials must be approved by the Departmental Element (this is the DOE Headquarters Office of Nuclear Energy) after consultation with the Office of Security.

  9. Detecting Termination of Active Database Rules Using Symbolic Model Checking

    E-Print Network [OSTI]

    Ray, Indrakshi

    Detecting Termination of Active Database Rules Using Symbolic Model Checking Indrakshi Ray is the non-termination of rules. Although algorithms have been proposed to detect non-termination, al- most all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination

  10. Financial Policy Manual 2411 NOTIFICATION OF EMPLOYEE TERMINATION

    E-Print Network [OSTI]

    George, Edward I.

    Financial Policy Manual Page 1 2411 NOTIFICATION OF EMPLOYEE TERMINATION Effective: December 1986 To establish policy regarding the timely processing of the termination notice to the Payroll Department is required for effecting an employee's termination. Terminating the current pay distribution does

  11. Termination of algebraic type systems: the syntactic approach

    E-Print Network [OSTI]

    van Raamsdonk, Femke

    Termination of algebraic type systems: the syntactic approach Gilles Barthe and Femke van Raamsdonk applications in proof­checking. A natural question in this field concerns the termination or strong normalisation of such systems and is as follows: given a terminating type system T and a terminating rewriting

  12. DISCIPLINE AND TERMINATION POLICY Employees covered by this policy

    E-Print Network [OSTI]

    DISCIPLINE AND TERMINATION POLICY Employees covered by this policy This policy applies to all non to discipline, suspend with or without pay, or terminate employees for just cause. Just cause includes to discipline or termination for just cause, the University reserves the right to demote, suspend or terminate

  13. Termination Semantics of Logic Programs with Cut and Related Features

    E-Print Network [OSTI]

    Giesl, Juergen

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

  14. Tyrolean Termination Tool Nao Hirokawa and Aart Middeldorp

    E-Print Network [OSTI]

    Hirokawa, Nao

    Tyrolean Termination Tool Nao Hirokawa and Aart Middeldorp Institute of Computer Science University describes the Tyrolean Termination Tool (TTT in the sequel), the successor of the Tsukuba Termination Tool are not (yet) avail- able in any other termination tool, in some detail. TTT is a tool for automatically

  15. TERMINATION OF THE POROUS WALL CONCEPT To: APEX GROUP

    E-Print Network [OSTI]

    California at Los Angeles, University of

    TERMINATION OF THE POROUS WALL CONCEPT To: APEX GROUP From: Anter El-Azab (anter@seas.ucla.edu) Re with Lithium will can not work and this concept should be terminated. For the case of vanadium alloy on this concept should be terminated. #12;TERMINATION OF THE POROUS WALL CONCEPT Best Regards, Anter #12;

  16. Comments on "Min-Max Predictive Control Strategies for Input-Saturated Polytopic Uncertain Systems"

    E-Print Network [OSTI]

    , with similar notation for Algoritm 2 of [1]), it is not guaranteed that the terminal controller will satisfy

  17. Energy Savings for Occupancy-Based Control (OBC) of Variable-Air-Volume (VAV) Systems

    SciTech Connect (OSTI)

    Zhang, Jian; Lutes, Robert G.; Liu, Guopeng; Brambley, Michael R.

    2013-01-24

    This study evaluates the savings potential of occupancy based control (OBC) for large office buildings with VAV terminal boxes installed.

  18. SSC termination will be lengthy and expensive

    SciTech Connect (OSTI)

    Hanson, D.

    1994-03-14

    Closing down the huge Superconducting Super Collider (SSC) is going to take a lot of time and money. Congress gave the Department of Energy $640 million to begin the shutdown in fiscal 1994, and DOE is asking for another $180 million next year. In the meantime, Energy Secretary Hazel R. O'Leary has come up with a termination plan for the project that will guide the department's activities. Much of the expense associated with terminating the SSC project involves closing out the many contracts the department has for building and supplying the site. Other major parts of the termination will be the environmental restoration and asset closeout, and the benefits provided for the SSC's employees. Two things still unresolved are the settlement DOE must make with Texas for the state's investment in the project and deciding what will be done with the facilities already there.

  19. Dream controller

    DOE Patents [OSTI]

    Cheng, George Shu-Xing; Mulkey, Steven L; Wang, Qiang; Chow, Andrew J

    2013-11-26

    A method and apparatus for intelligently controlling continuous process variables. A Dream Controller comprises an Intelligent Engine mechanism and a number of Model-Free Adaptive (MFA) controllers, each of which is suitable to control a process with specific behaviors. The Intelligent Engine can automatically select the appropriate MFA controller and its parameters so that the Dream Controller can be easily used by people with limited control experience and those who do not have the time to commission, tune, and maintain automatic controllers.

  20. Convexity in partial cubes: the hull number Marie Albenque1

    E-Print Network [OSTI]

    Felsner, Stefan

    that the combinatorial optimization problem of de- termining the hull number of a partial cube is NP-complete. This makesConvexity in partial cubes: the hull number Marie Albenque1 and Kolja Knauer2 1 LIX UMR 7161 partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some

  1. Analysis of LNG import terminal release prevention systems

    SciTech Connect (OSTI)

    Baker, E G

    1982-04-01

    The release prevention systems of liquefied natural gas (LNG) import terminal were analyzed. A series of potential release scenarios were analyzed to determine the frequency of the release events, the probability these releases are not stopped or isolated by emergency shutdown systems, the estimated release quantities, and the critical components of the system. The two plant areas identified as being most significant with respect to safety are the unloading system and the storage system. Rupture of the main transfer line and gross failure of the storage tanks are the two release scenarios of primary safety interest. Reducing the rate of failure by improved design, better maintenance and testing, or adding redundancy of the critical system components for these plant areas and release scenarios will result in improved safety. Several design alternatives which have the potential to significantly reduce the probability of a large release of LNG occurring at an import terminal are identified. These design alternatives would reduce the probability of a large release of LNG by reducing the expected number of failures which could cause a release or by reducing the magnitude of releases that do occur. All of these alternatives are technically feasible and have been used or considered for use in at least one LNG facility. A more rigorous analysis of the absolute risk of LNG import terminal operation is necessary before the benefits of these design alternatives can be determined. In addition, an economic evaluation of these alternatives must be made so the costs and benefits can be compared. It is concludd that for remotely located facilities many of these alternatives are probably not justified; however, for facilities located in highly populated areas, these alternatives deserve serious consideration.

  2. Cost reduction ideas for LNG terminals

    SciTech Connect (OSTI)

    Habibullah, A.; Weldin, F.

    1999-07-01

    LNG projects are highly capital intensive and this has long been regarded as being inevitable. However, recent developments are forcing the LNG industry to aggressively seek cost reductions. For example, the gas-to-liquids (GTL) process is increasingly seen as a potential rival technology and is often being touted as an economically superior alternative fuel source. Another strong driving force behind needed cost reductions is the low crude oil price which seems to have settled in the $10--13/bb. range. LNG is well positioned as the fuel of choice for environmentally friendly new power projects. As a result of the projected demand for power especially in the Pacific Rim countries several LNG terminal projects are under consideration. Such projects will require a new generation of LNG terminal designs emphasizing low cost, small scale and safe and fully integrated designs from LNG supply to power generation. The integration of the LNG terminal with the combined cycle gas turbine (CCGT) power plant offers substantial cost savings opportunities for both plants. Various cost reduction strategies and their impact on the terminal design are discussed including cost reduction due to integration.

  3. eRA Training Team1 Terminations

    E-Print Network [OSTI]

    Baker, Chris I.

    eRA Training Team1 xTrain Terminations Electronic Research Administration Sponsored by: The National Institutions of Health, Office of Extramural Research April 2010 #12;eRA Training Team2 xTrain General Information xTrain Overview The following section provides general information on the xTrain

  4. eRA Training Team1 Terminations

    E-Print Network [OSTI]

    Baker, Chris I.

    eRA Training Team1 xTrain Terminations Electronic Research Administration Sponsored by: The National Institutes of Health, Office of Extramural Research March 2012 #12;eRA Training Team2 xTrain General Information xTrain Overview The following section provides general information on the xTrain

  5. Terminal Spacecraft Rendezvous and Capture with LASSO Model Predictive Control

    E-Print Network [OSTI]

    Hartley, Edward N.; Gallieri, Marco; Maciejowski, Jan M.

    2013-08-20

    . Int. Conf. Instrumentation, Communication Information Technology, and Biomedical Engineering, Badung, 23–25 Nov, pp. 435–439. Kawai, F., Ito, H., Nakazawa, C., Matsui, T., Fukuyama, Y., Suzuki, R., and Aiyoshi, E. (2007), “Automatic Tuning for Model...

  6. ISSUANCE 2015-06-08: Energy Conservation Program: Test Procedures for Packaged Terminal Air Conditioners and Packaged Terminal Heat Pumps, Final Rule

    Broader source: Energy.gov [DOE]

    Energy Conservation Program: Test Procedures for Packaged Terminal Air Conditioners and Packaged Terminal Heat Pumps, Final Rule

  7. N-Terminal T4 Lysozyme Fusion Facilitates Crystallization of...

    Office of Scientific and Technical Information (OSTI)

    N-Terminal T4 Lysozyme Fusion Facilitates Crystallization of a G Protein Coupled Receptor Citation Details In-Document Search Title: N-Terminal T4 Lysozyme Fusion Facilitates...

  8. Stochastic partial differential equations with singular terminal condition

    E-Print Network [OSTI]

    Popier, Alexandre

    Stochastic partial differential equations with singular terminal condition A Matoussi, Lambert Piozin, A Popier To cite this version: A Matoussi, Lambert Piozin, A Popier. Stochastic partial differential equations with singular terminal condition. 2015. HAL Id: hal-01152687 https

  9. General Properties and Termination Conditions for Soft Constraint Propagation

    E-Print Network [OSTI]

    Rossi, Francesca

    General Properties and Termination Conditions for Soft Constraint Propagation S. Bistarelli (bista for its termination. 1. Introduction Soft constraints allow to model faithfully many real­life problems [14], probabilistic [10] and partial [11] constraints. The constraint propagation techniques usually

  10. RPM-1 suppressors Act in synapse formation and axon termination in Caenorhabditis elegans

    E-Print Network [OSTI]

    Trujillo, Gloriana Victoria

    2010-01-01

    Variant Protein in Axon Termination and Synaptogenesis. St.Protein Acts in Axon Termination and Synaptogenesis in C.RPM-1 Regulates Axon Termination and Synaptogenesis through

  11. Rotor Termination in a Patient-Specific Model of Atrial Fibrillation /

    E-Print Network [OSTI]

    Gonzales, Matthew James

    2013-01-01

    of atrial fibrillation termination by rapidly unbinding Na+of atrial fibrillation termination by pure sodium channelfor spontaneous termination of reentrant tachycardias.

  12. Roles for Wnts and their receptors in topographic mapping and laminar termination

    E-Print Network [OSTI]

    Richman, Alisha

    2011-01-01

    tectum may be assigned termination sites on a "first come,Mapping and Laminar Termination A dissertation submitted inTermination ..

  13. Unraveling the Molecular Mechanism of Poly(A)-Dependent Transcription Termination

    E-Print Network [OSTI]

    Zhang, Huimin

    2014-01-01

    dependent transcription termination. Nature 463, 245–249.of transcription termination factors with the RNA polymerasecomplexes in vitro by the termination factor Rat1. J. Biol.

  14. Creating Clarity for the Process of Managing Residents through Remediation, Probation and Termination

    E-Print Network [OSTI]

    2015-01-01

    Remediation, Probation and Termination Murano T, Lypson M,remediation, probation and termination (RPT), as well as theobservation period. 4. Termination: when a resident is

  15. Vehicle drive module having improved terminal design

    DOE Patents [OSTI]

    Beihoff, Bruce C.; Radosevich, Lawrence D.; Phillips, Mark G.; Kehl, Dennis L.; Kaishian, Steven C.; Kannenberg, Daniel G.

    2006-04-25

    A terminal structure for vehicle drive power electronics circuits reduces the need for a DC bus and thereby the incidence of parasitic inductance. The structure is secured to a support that may receive one or more power electronic circuits. The support may aid in removing heat from the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as by direct contact between the terminal assembly and AC and DC circuit components. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  16. Power converter having improved terminal structure

    DOE Patents [OSTI]

    Radosevich, Lawrence D.; Kannenberg, Daniel G.; Phillips, Mark G.; Kaishian, Steven C.

    2007-03-06

    A terminal structure for power electronics circuits reduces the need for a DC bus and thereby the incidence of parasitic inductance. The structure is secured to a support that may receive one or more power electronic circuits. The support may aid in removing heat from the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as by direct contact between the terminal assembly and AC and DC circuit components. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  17. Visual Simulation of Offshore Liquefied Natural Gas (LNG) Terminals

    E-Print Network [OSTI]

    Visual Simulation of Offshore Liquefied Natural Gas (LNG) Terminals in a Decision-Making Context1 potential offshore Liquified Natural Gas (LNG) sites and the types of terminals that might occupy those sites. The study had to evaluate the engineering feasibility of siting an LNG receiving terminal

  18. Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz

    E-Print Network [OSTI]

    Buchholz, Wilfried

    Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz Mathematisches Institut der the order type of a termination ordering #30; places a bound on the lengths of reduction sequences; is the order type of a termination ordering #30; for a #12;nite rewrite system R then the function G#3; from

  19. SAT Instances for Termination Analysis with Carsten Fuhs

    E-Print Network [OSTI]

    Ábrahám, Erika

    SAT Instances for Termination Analysis with AProVE Carsten Fuhs LuFG Informatik 2, RWTH Aachen for tackling the search problems in automated termination analysis for term rewrite systems and for programming languages. Indeed, even since the last SAT competition in 2007, many new termination techniques have been

  20. Type-Based Termination of Functional Programs Andreas Abel

    E-Print Network [OSTI]

    Abel, Andreas

    Type-Based Termination of Functional Programs Andreas Abel Department of Computer Science Ludwig Timmendorfer Strand, Germany Andreas Abel (LMU Munich) Type-Based Termination KPS'07 1 / 21 #12;Introduction Termination Question: Will the run of a program eventually halt? Undecidable for Turing-complete programming

  1. DETECTING TERMINATION OF DISTRIBUTED COMPUTATIONS USING MARKERS Jayadev Misra

    E-Print Network [OSTI]

    Tropper, Carl

    DETECTING TERMINATION OF DISTRIBUTED COMPUTATIONS USING MARKERS Jayadev Misra Department in designing computations by process networks, is detection of termination. We propose a very simple algorithm for termination detection in an arbitrary network using a single marker We show an application of this scheme

  2. Abstraction and Implementation of a Lightweight Distributed Termination Protocol

    E-Print Network [OSTI]

    Dobson, Simon

    Abstraction and Implementation of a Lightweight Distributed Termination Protocol D.M. Goodeve , C, University of Leeds, UK Department of Computer Science, Trinity College Dublin, Eire Abstract Termination synchronisation on this state costly. Many parallel applica- tions are structured such that termination occurs

  3. 9-1 (03/25/15) TERMINATION OF EMPLOYMENT

    E-Print Network [OSTI]

    9-1 (03/25/15) SECTION 9 TERMINATION OF EMPLOYMENT 9.1 NON-RENEWAL OF APPOINTMENT Non employees, except tenured and tenure-track faculty, are employees at-will, who may be terminated at any time unenforceable and is subject to termination without advance notice if, during the term of the faculty member

  4. Loop summarization and termination analysis Aliaksei Tsitovich1

    E-Print Network [OSTI]

    Kröning, Daniel

    Loop summarization and termination analysis Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M termination analysis based on loop summarization. The algorithm relies on a library of ab- stract domains Introduction The program termination problem has received increased interest in the recent past. In practice

  5. Plasma waves associated with the termination W. S. Kurth

    E-Print Network [OSTI]

    Gurnett, Donald A.

    Plasma waves associated with the termination shock W. S. Kurth , D. A. Gurnett and R. B. Decker, Johns Hopkins University, Laurel, MD Abstract. Voyager 1 crossed the termination shock for nearly a year prior to the termination shock crossing. The Langmuir waves are thought to be produced

  6. Termination Checking: Comparing Structural Recursion and Sized Types by Examples

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking: Comparing Structural Recursion and Sized Types by Examples David Thibodeau Decemer 3, 2011 Abstract Termination is an important property for programs and is necessary for formal proofs to make sense. In order to make sure that a program using recursion is terminating, one can use

  7. Semi-continuous Sized Types and Termination Andreas Abel?

    E-Print Network [OSTI]

    Abel, Andreas

    Semi-continuous Sized Types and Termination Andreas Abel-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored criterion, * *a calculus for semi-continuous function is developed. 1 Introduction Termination

  8. THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES

    E-Print Network [OSTI]

    Hyvernat, Pierre

    THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES PIERRE HYVERNAT Laboratoire describes an automatic termination checker for a generic first- order call-by-value language in ML style. We arguments of recursive calls evolve during evaluation. The result is a criterion for termination extending

  9. Type-Based Termination, Inflationary Fixed-Points, and

    E-Print Network [OSTI]

    Abel, Andreas

    Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Science (FICS 2012) ETAPS 2012, Tallinn, Estonia 24 March 2012 Andreas Abel (LMU) Type-Based Termination AIM XV 1 / 1 #12;Introduction Aspects of Termination What the talk is about: foundational approach

  10. Termination and Reduction Checking for Higher-Order Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

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

  11. Computer Science at Kent On Modular Termination Proofs

    E-Print Network [OSTI]

    Kent, University of

    Computer Science at Kent On Modular Termination Proofs Jonathan C. Martin and Andy King Technical by the Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK. Abstract Reasoning about termination is a key issue in logic program development. One classic technique for proving termination is to construct

  12. On Automating Inductive and Non-Inductive Termination Methods

    E-Print Network [OSTI]

    Kamareddine, Fairouz

    On Automating Inductive and Non-Inductive Termination Methods Fairouz Kamareddine and Francois of the function which satis es a notion of terminal prop- erty and then verifying that this construction processPre can only deal with the termination proofs that are inductive. There are however many functions

  13. The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs #

    E-Print Network [OSTI]

    Ábrahám, Erika

    The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs # J of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now of new methods for termination analy­ sis. To demonstrate this, we present several new techniques within

  14. On Termination of Integer Linear Loops Joel Ouaknine

    E-Print Network [OSTI]

    Oxford, University of

    On Termination of Integer Linear Loops Jo¨el Ouaknine Department of Computer Science Oxford con- cerns the termination of simple linear loops of the form: x u ; while Bx c do x Ax + a , where initial integer vectors u, such a loop terminates. The correctness of our algorithm relies

  15. The termination hierarchy for term rewriting Hans Zantema

    E-Print Network [OSTI]

    Giesl, Juergen

    The termination hierarchy for term rewriting Hans Zantema Utrecht University, The Netherlands e-mail: hansz@cs.uu.nl (Tutorial talk) A natural way to prove termination of a term rewriting system is to #12. If the operations are strictly monotone in all arguments then indeed termination of the TRS can be concluded

  16. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

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

  17. Termination of Narrowing in Left-Linear Constructor Systems

    E-Print Network [OSTI]

    Vidal, Germán

    [24], partial evaluation [1, 48], refining methods for proving the termination of rewriting [8, 9Termination of Narrowing in Left-Linear Constructor Systems Germ´an Vidal Technical University.g., it forms the basis of functional logic languages). Surprisingly, the termination of narrowing has been

  18. Termination of Narrowing in Left-Linear Constructor Systems

    E-Print Network [OSTI]

    Vidal, Germán

    ], model checking [17], partial evaluation [1, 32], refining methods for proving the terminationTermination of Narrowing in Left-Linear Constructor Systems Germ´an Vidal Technical University in different contexts, ranging from the- orem proving to language design. Surprisingly, the termination of nar

  19. Modular Termination of Basic Narrowing and Equational Unification

    E-Print Network [OSTI]

    Escobar, Santiago

    constraint solving [4, 5], partial evaluation [6], and model checking [17], among others. TerminationModular Termination of Basic Narrowing and Equational Unification Mar´ia Alpuente Santiago Escobar steps to a set of unblocked (or basic) positions. In this work, we study the modularity of termination

  20. Semi-continuous Sized Types and Termination Andreas Abel

    E-Print Network [OSTI]

    Abel, Andreas

    , and classical applications are total correctness and termination of partial evaluation. In languagesSemi-continuous Sized Types and Termination Andreas Abel Institut für Informatik Ludwig to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type

  1. Development of a Laboratory Verified Single-Duct VAV System Model with Fan Powered Terminal Units Optimized Using Computational Fluid Dynamics 

    E-Print Network [OSTI]

    Davis, Michael A.

    2011-10-21

    Single Duct Variable Air Volume (SDVAV) systems use series and parallel Fan Powered Terminal Units to control the air flow in conditioned spaces. This research developed a laboratory verified model of SDVAV systems that ...

  2. Photovoltaic module electrical termination design requirement study. Final report

    SciTech Connect (OSTI)

    Mosna, F.J. Jr.; Donlinger, J.

    1980-07-01

    Motorola Inc., in conjunction with ITT Cannon, has conducted a study to develop information to facilitate the selection of existing, commercial, electrical termination hardware for photovoltaic modules and arrays. Details of the study are presented in this volume. Module and array design parameters were investigated and recommendations were developed for use in surveying, evaluating, and comparing electrical termination hardware. Electrical termination selection criteria factors were developed and applied to nine generic termination types in each of the four application sectors. Remote, residential, intermediate and industrial. Existing terminations best suited for photovoltaic modules and arrays were identified. Cost information was developed to identify cost drivers and/or requirements which might lead to cost reductions. The general conclusion is that there is no single generic termination that is best suited for photovoltaic application, but that the appropriate termination is strongly dependent upon the module construction and its support structure as well as the specific application sector.

  3. Method of making hermetic seals for hermetic terminal assemblies

    DOE Patents [OSTI]

    Hsu, John S.; Marlino, Laura D.; Ayers, Curtis W.

    2010-04-13

    This invention teaches methods of making a hermetic terminal assembly comprising the steps of: inserting temporary stops, shims and jigs on the bottom face of a terminal assembly thereby blocking assembly core open passageways; mounting the terminal assembly inside a vacuum chamber using a temporary assembly perimeter seal and flange or threaded assembly interfaces; mixing a seal admixture and hardener in a mixer conveyor to form a polymer seal material; conveying the polymer seal material into a polymer reservoir; feeding the polymer seal material from the reservoir through a polymer outlet valve and at least one polymer outlet tube into the terminal assembly core thereby filling interstitial spaces in the core adjacent to service conduits, temporary stop, and the terminal assembly casing; drying the polymer seal material at room temperature thereby hermetically sealing the core of the terminal assembly; removing the terminal assembly from the vacuum chamber, and; removing the temporary stops, shims.

  4. Reproductive Termination in Female Japanese Monkeys: A Comparative Life History Perspective

    E-Print Network [OSTI]

    Fedigan, Linda M.

    Reproductive Termination in Female Japanese Monkeys: A Comparative Life History Perspective MARY S; reproductive termination ABSTRACT This study explores the question of reproductive termination (loss used a large sample of completed lives to identify reproductively terminated female Japanese macaques

  5. Coordinating Tectons: Bipyridyl Terminated Allenylidene Complexes

    SciTech Connect (OSTI)

    Cifuentes, Marie P.; Humphrey, Mark G.; Koutsantonis, George A.; Lengkeek, Nigel A.; Petrie, Simon; Sanford, Vanessa; Schauer, Phil A.; Skelton, Brian W.; Stranger, Robert; White, Allan H.

    2009-01-15

    A series of complexes with {pi}-conjugated carbon chains terminated by bipyridyl moieties has been prepared. These allenylidene complexes were derived from 9-hydroxy-9-ethynyl-4,5-diazafluorene, the preparation of which is reported; the new allenylidene complexes are highly colored with the cumulated carbon chain terminating in a bipyridyl unit providing a site for further coordination. The synthesis, characterization, and X-ray structure determination of trans-[MCl(P{intersection}P){sub 2}{sub {double_bond}}C{sub {double_bond}}C{sub {double_bond}}(4,5-diazafluoren-9-yl)]PF{sub 6} (M = Ru, P{intersection}P = bis(diphenylphosphino)methane (dppm), 1,2-bis(diphenylphosphino)ethane (dppe), 1,2-bis(dimethylphosphino)ethane (dmpe); M = Os, P{intersection}P = dppm) are described. The effect of the variation in metal and ligand on electronic and electrochemical characteristics of these complexes has been investigated by using UV-vis, solution electrochemistry, and a combination of these techniques in spectroelectrochemical experiments. DFT calculations have been performed on trans-[RuCl(P{intersection}P){sub 2}{sub {double_bond}}C{sub {double_bond}}C{sub {double_bond}}(4,5-diazafluoren-9-yl)]{sup q} (P{intersection}P = dppm, bis(dimethylphosphino)methane (dmpm); q = -1, 0, +1, +2) and subsequently solvent-corrected calculations with use of COSMO were also undertaken to examine the nature of electronic transitions in various oxidation states.

  6. Table 2. Change in the Number of Personal Computers and Computer Terminals

    U.S. Energy Information Administration (EIA) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home PageMonthly","10/2015"4,"Ames5 Tables July 1996 Energy Information Administration Office of Coal, Nuclear,DecadeYearbyWithdrawalsHome6,672 7,2060 0 1 0 0 0a.in Commercial

  7. OMB Control Number: 1910-5165

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

    1910-5165 Expires: xxxx201x SEMI-ANNUAL DAVIS-BACON ENFORCEMENT REPORT Please submit this Semi-Annual Davis-Bacon Enforcement Report to your site DOENNSA Contractor Human...

  8. OMB Control Number: 1910-5165

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

    1910-5165 Expires: 01312018 SEMI-ANNUAL DAVIS-BACON ENFORCEMENT REPORT For State Energy Grant and Energy Efficiency and Conservation Block Grant Recipients, please submit this...

  9. OMB Control Number: 1910-5165

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration wouldMass map shinesSolarNewsusceptometer under pressureNavyNumericalO K30 See 16C4 See 16C5

  10. OMB Control Number: 1910-5165

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergy Bills and ReduceNovember 2014Marketing2014) |D D O O E E / / H H GJ1910-5165

  11. OMB Control Number: 1910-5165

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAand DOEDepartmentNew2008Group, Inc. Order(National4,< Back1D OControl

  12. Identification of Export Control Classification Number - ITER

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (JournalvivoHighHussein KhalilResearch88 SignPriceresponse |

  13. A complete characterization of termination of Hans ZANTEMA

    E-Print Network [OSTI]

    Utrecht, Universiteit

    A complete characterization of termination of 0 p 1 q ! 1 r 0 s Hans ZANTEMA Universiteit Utrecht@fmi.uni­passau.de Abstract We completely characterize termination of one­rule string rewriting systems of the form 0 p 1 q ! 1 r 0 s for every choice of positive integers p, q, r, and s. For the simply terminating cases, we

  14. Small Scale LNG Terminals Market Installed Capacity is anticipated...

    Open Energy Info (EERE)

    Although large scale LNG terminals have been preferably constructed across the world till date, the emergence of small demand centers for natural gas within small...

  15. Apparatus and method for detecting and measuring changes in linear relationships between a number of high frequency signals

    DOE Patents [OSTI]

    Bittner, John W. (Shoreham, NY); Biscardi, Richard W. (Ridge, NY)

    1991-01-01

    An electronic measurement circuit for high speed comparison of the relative amplitudes of a predetermined number of electrical input signals independent of variations in the magnitude of the sum of the signals. The circuit includes a high speed electronic switch that is operably connected to receive on its respective input terminals one of said electrical input signals and to have its common terminal serve as an input for a variable-gain amplifier-detector circuit that is operably connected to feed its output to a common terminal of a second high speed electronic switch. The respective terminals of the second high speed electronic switch are operably connected to a plurality of integrating sample and hold circuits, which in turn have their outputs connected to a summing logic circuit that is operable to develop first, second and third output voltages, the first output voltage being proportional to a predetermined ratio of sums and differences between the compared input signals, the second output voltage being proportional to a second summed ratio of predetermined sums and differences between said input signals, and the third output voltage being proportional to the sum of signals to the summing logic circuit. A servo system that is operably connected to receive said third output signal and compare it with a reference voltage to develop a slowly varying feedback voltage to control the variable-gain amplifier in said common amplifier-detector circuit in order to make said first and second output signals independent of variations in the magnitude of the sum of said input signals.

  16. Battery system including batteries that have a plurality of positive terminals and a plurality of negative terminals

    DOE Patents [OSTI]

    Dougherty, Thomas J; Symanski, James S; Kuempers, Joerg A; Miles, Ronald C; Hansen, Scott A; Smith, Nels R; Taghikhani, Majid; Mrotek, Edward N; Andrew, Michael G

    2014-01-21

    A lithium battery for use in a vehicle includes a container, a plurality of positive terminals extending from a first end of the lithium battery, and a plurality of negative terminals extending from a second end of the lithium battery. The plurality of positive terminals are provided in a first configuration and the plurality of negative terminals are provided in a second configuration, the first configuration differing from the second configuration. A battery system for use in a vehicle may include a plurality of electrically connected lithium cells or batteries.

  17. On Ramsey Numbers

    E-Print Network [OSTI]

    Dhananjay P. Mehendale

    2006-05-24

    In this paper we define new numbers called the Neo-Ramsay numbers. We show that these numbers are in fact equal to the Ramsay numbers. Neo-Ramsey numbers are easy to compute and for finding them it is not necessary to check all possible graphs but enough to check only special kind of graphs having a well-defined adjacency pattern.

  18. y:\\academic staff relations\\career processes\\terminations\\forms\\termination of employment -vacation payout 2014-2015.doc 14-12-22 hiTERMINATION OF EMPLOYMENT VACATION PAYOUT

    E-Print Network [OSTI]

    Calgary, University of

    y:\\academic staff relations\\career processes\\terminations\\forms\\termination of employment - vacation payout 2014-2015.doc 14-12-22 hiTERMINATION OF EMPLOYMENT ­ VACATION PAYOUT DURING 2014 - 2015/FACULTY: _________________________________________________ TERMINATION DATE: _________________________________________________ A. A staff member is expected to take his

  19. Bacterial Diversity in Livestock Manure Composts as Characterized by Terminal

    E-Print Network [OSTI]

    Tiquia-Arashiro, Sonia M.

    Bacterial Diversity in Livestock Manure Composts as Characterized by Terminal Restriction Fragment in the decomposition of organic matter during the composting process. However, microbial communities active in composts of bacterial communities in livestock manure compost was determined based on terminal restriction fragment

  20. Influence of perovskite termination on oxide heteroepitaxy D. A. Schmidta

    E-Print Network [OSTI]

    Olmstead, Marjorie

    Influence of perovskite termination on oxide heteroepitaxy D. A. Schmidta Department of Physics, regardless of termination, indicating that the substrate cations and perovskite surface polarity play little- monly used substrate for growth of high Tc super- conductors1­4 and other perovskite-based materials,5

  1. TERMINATION OF NONSIMPLE REWRITE SYSTEMS CHARLES GLEN HOOT

    E-Print Network [OSTI]

    Dershowitz, Nachum

    TERMINATION OF NON­SIMPLE REWRITE SYSTEMS BY CHARLES GLEN HOOT B.A., University of California, San Diego, 1982 M.A., Princeton University, 1985 THESIS Submitted in partial fulfillment of the requirements at Urbana­Champaign, 1996 Urbana, Illinois #12; TERMINATION OF NON­SIMPLE REWRITE SYSTEMS Charles Glen Hoot

  2. TERMINATION OF NON-SIMPLE REWRITE SYSTEMS CHARLES GLEN HOOT

    E-Print Network [OSTI]

    Dershowitz, Nachum

    TERMINATION OF NON-SIMPLE REWRITE SYSTEMS BY CHARLES GLEN HOOT B.A., University of California, San Diego, 1982 M.A., Princeton University, 1985 THESIS Submitted in partial ful llment of the requirements at Urbana-Champaign, 1996 Urbana, Illinois #12;TERMINATION OF NON-SIMPLE REWRITE SYSTEMS Charles Glen Hoot

  3. Columbia River : Terminal Fisheries Research Report : Annual Report 1994.

    SciTech Connect (OSTI)

    Hirose, Paul; Miller, Marc; Hill, Jim

    1996-12-01

    In 1993 the Northwest Power Planning Council recommended in its Strategy for Salmon that terminal fishing sites be identified and developed. The Council called on the Bonneville Power Administration to fund a 10-year study to investigate the feasibility of creating and expanding terminal known stock fisheries in the Columbia River Basin.

  4. 1 -Routing Number 2 -Account Number

    E-Print Network [OSTI]

    Chen, Yiling

    you will need: · Your Harvard University Id Number (HUID) · Your HUID pin number · Your Checking/Savings on the right side of the screen under Payroll and Compensation. #12;*Please, in an effort to save paper and if you do not wish to receive a paper copy of the check. Click the small box above the SAVE button. CLICK

  5. Optimal threshold policies in a workload model with a variable number of service phases per job

    E-Print Network [OSTI]

    Brouns, Gido

    and termination control, optimal threshold policies, Markov decision processes. 1 Introduction Workload models of performance optimization is the question of how to control some type of system in an optimal way within in literature so far. Stidham and Weber 4 present a comprehensive overview of models for the optimal control

  6. Terminating Safeguards on Excess Special Nuclear Material: Defense TRU Waste Clean-up and Nonproliferation - 12426

    SciTech Connect (OSTI)

    Hayes, Timothy; Nelson, Roger

    2012-07-01

    The Department of Energy (DOE) and the National Nuclear Security Administration (NNSA) manages defense nuclear material that has been determined to be excess to programmatic needs and declared waste. When these wastes contain plutonium, they almost always meet the definition of defense transuranic (TRU) waste and are thus eligible for disposal at the Waste Isolation Pilot Plant (WIPP). The DOE operates the WIPP in a manner that physical protections for attractiveness level D or higher special nuclear material (SNM) are not the normal operating condition. Therefore, there is currently a requirement to terminate safeguards before disposal of these wastes at the WIPP. Presented are the processes used to terminate safeguards, lessons learned during the termination process, and how these approaches might be useful for future defense TRU waste needing safeguards termination prior to shipment and disposal at the WIPP. Also described is a new criticality control container, which will increase the amount of fissile material that can be loaded per container, and how it will save significant taxpayer dollars. Retrieval, compliant packaging and shipment of retrievably stored legacy TRU waste has dominated disposal operations at WIPP since it began operations 12 years ago. But because most of this legacy waste has successfully been emplaced in WIPP, the TRU waste clean-up focus is turning to newly-generated TRU materials. A major component will be transuranic SNM, currently managed in safeguards-protected vaults around the weapons complex. As DOE and NNSA continue to consolidate and shrink the weapons complex footprint, it is expected that significant quantities of transuranic SNM will be declared surplus to the nation's needs. Safeguards termination of SNM varies due to the wide range of attractiveness level of the potential material that may be directly discarded as waste. To enhance the efficiency of shipping waste with high TRU fissile content to WIPP, DOE designed an over-pack container, similar to the pipe component, called the criticality control over-pack, which will significantly enhance the efficiency of disposal. Hundreds of shipments of transuranic SNM, suitably packaged to meet WIPP waste acceptance criteria and with safeguards terminated have been successfully emplaced at WIPP (primarily from the Rocky Flats site clean-up) since WIPP opened. DOE expects that thousands more may eventually result from SNM consolidation efforts throughout the weapons complex. (authors)

  7. Mechanism of the Initial Oxidation of Hydrogen andHalogen Terminated Ge(111) Surfaces in Air

    SciTech Connect (OSTI)

    Sun, Shiyu; /Stanford U., Phys. Dept.; Sun, Yun; Liu, Zhi; Lee, Dong-Ick; Pianetta, Piero; /SLAC, SSRL

    2006-08-23

    The initial stage of the oxidation of Ge(111) surfaces etched by HF, HCl and HBr solutions is systematically studied using synchrotron radiation photoelectron spectroscopy (SR-PES). We perform controlled experiments to differentiate the effects of different oxidation factors. SR-PES results show that both moisture and oxygen contribute to the oxidation of the surfaces; however, they play different roles in the oxidation process. Moisture effectively replaces the hydrogen and halogen termination layers with hydroxyl (OH), but hardly oxidizes the surfaces further. On the other hand, dry oxygen does not replace the termination layers, but breaks the Ge-Ge back bonds and oxidizes the substrates with the aid of moisture. In addition, room light enhances the oxidation rate significantly.

  8. Initiate Job Termination Request Salaried Job This job aid provides the steps for initiating a Job Termination Request form from the Manager Self

    E-Print Network [OSTI]

    Calgary, University of

    Page 1 Initiate Job Termination Request ­ Salaried Job Purpose This job aid provides the steps for initiating a Job Termination Request form from the Manager Self Service menu. This process is for Voluntary Terminations only. Please see your HR Services team for support with involuntary terminations. Complete

  9. An Algebraic Semantics of Prolog Control 

    E-Print Network [OSTI]

    Ross, Brian James

    applications using the semantics include proving program termination, verifying transformations which use cut, and characterising some control issues of partial evaluation. Since progress algebras have already been used to model concurrency, this thesis...

  10. A study of carbon-14 of paleoatmospheric methane for the last glacial termination from ancient glacial ice

    E-Print Network [OSTI]

    Petrenko, Vasilii Victorovich

    2008-01-01

    for the last glacial termination." xii VITA Education Ph.D.the Last Glacial Termination: a horizontal ice core.the Last Glacial Termination: a horizontal ice core.

  11. Physical properties of naked DNA influence nucleosome positioning and correlate with transcription start and termination sites in yeast

    E-Print Network [OSTI]

    Deniz, Özgen; Flores, Oscar; Battistini, Federica; Pérez, Alberto; Soler-López, Montserrat; Orozco, Modesto

    2011-01-01

    with transcription start and termination sites in yeast. BMCtranscription start and termination sites in yeast Özgenand TTS (Transcription Termination Site) (at least in yeast)

  12. Floating LNG terminal and LNG carrier interaction analysis for side-by-side offloading operation 

    E-Print Network [OSTI]

    Kuriakose, Vinu P.

    2005-11-01

    Floating LNG terminals are a relatively new concept with the first such terminal in the world installed this year. The hydrodynamic interaction effects between the terminal and a LNG carrier in a side-by-side offloading arrangement is investigated...

  13. Initiation propagation and termination of elastodynamic ruptures associated with segmentation of faults and shaking

    E-Print Network [OSTI]

    Shaw, Bruce E.

    Initiation propagation and termination of elastodynamic ruptures associated with segmentation the initiation, propagation, and termination of ruptures and their relationship to fault geometry and shaking of terminations near fault ends; and persistent propagation directivity effects. Taking advantage of long

  14. Magnetic reconnection at the termination shock in a striped pulsar wind

    E-Print Network [OSTI]

    Jerome Petri; Yuri Lyubarsky

    2007-07-12

    Most of the rotational luminosity of a pulsar is carried away by a relativistic magnetised wind in which the matter energy flux is negligible compared to the Poynting flux. Near the equatorial plane of an obliquely rotating pulsar magnetosphere, the magnetic field reverses polarity with the pulsar period, forming a wind with oppositely directed field lines. This structure is called a striped wind; dissipation of alternating fields in the striped wind is the object of our study. The aim of this paper is to study the conditions required for magnetic energy release at the termination shock of the striped pulsar wind. Magnetic reconnection is considered via analytical methods and 1D relativistic PIC simulations. An analytical condition on the upstream parameters for partial and full magnetic reconnection is derived from the conservation laws of energy, momentum and particle number density across the relativistic shock. Furthermore, by using a 1D relativistic PIC code, we study in detail the reconnection process at the termination shock. We found a very simple criterion for dissipation of alternating fields at the termination shock, depending on the upstream parameters of the flow. 1D relativistic PIC simulations are in agreement with our criterion. Thus, alternating magnetic fields annihilate easily at relativistic highly magnetised shocks.

  15. Transfer passenger needs at airports : human factors in terminal design

    E-Print Network [OSTI]

    Brillembourg, Marie-Claire

    1982-01-01

    This thesis analyzes the needs of particular users of airport: transfer passengers. The object of this work has been to produce a set of design guidelines for terminals. these guidelines are framed upon a user-need survey ...

  16. The dynamic scheduling of aircraft in the near terminal area

    E-Print Network [OSTI]

    Dear, Roger George

    1976-01-01

    Aircraft arrive in a random fashion into a terminal area seeking to land at a given runway. The aircraft are differentiated by their landing velocities. All aircraft are required to maintain a prespecified minimum horizontal ...

  17. A Terminal Molybdenum Arsenide Complex Synthesized from Yellow Arsenic

    E-Print Network [OSTI]

    Curley, John J.

    A terminal molybdenum arsenide complex is synthesized in one step from the reactive As4 molecule. The properties of this complex with its arsenic atom ligand are discussed in relation to the analogous nitride and phosphide ...

  18. Shannon Capacity Ramsey Numbers

    E-Print Network [OSTI]

    Radziszowski, Stanislaw P.

    Shannon Capacity Ramsey Numbers Old links between Shannon and Ramsey New links between Shannon and Ramsey Bounds on Shannon Capacity and Ramsey Numbers from Product of Graphs Xiaodong Xu1 Stanislaw Institute of Technology, NY, USA March 2014 1/24 #12;Shannon Capacity Ramsey Numbers Old links between

  19. Reachability and Termination Analysis of Concurrent Quantum Programs

    E-Print Network [OSTI]

    Nengkun Yu; Mingsheng Ying

    2012-06-09

    We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli's probabilistic concurrent programs. Some characterizations of the reachable space, uniformly repeatedly reachable space and termination of a concurrent quantum program are derived by the analysis of their mathematical structures. Based on these characterizations, algorithms for computing the reachable space and uniformly repeatedly reachable space and for deciding the termination are given.

  20. GAP-independent termination of photoreceptor light response by excess gamma subunit of the cGMP-phosphodiesterase

    E-Print Network [OSTI]

    2006-01-01

    of photoreceptor signal termination. Invest Oph- thalmol VisMolecular GAP-Independent Termination of Photoreceptor Light

  1. Evaluation of research and development for terminal isolation of nuclear wastes

    SciTech Connect (OSTI)

    Burton, B.W.

    1982-08-01

    The National Waste Terminal Storage program is responsible for identifying and constructing a geologic repository for spent reactor fuel, high-level waste, and transuranic waste. Extensive research and development work is in progress in the areas of site selection, waste treatment and waste form development, model development and validation, and long-term repository performance assessment. Many potential technologies are under investigation, but specific technologies cannot be identified until a repository site is selected. It is too early in the program to assess the adequacy of environmental control technologies for deep geologic disposal.

  2. CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all university policies and

    E-Print Network [OSTI]

    Wu, Shin-Tson

    CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all://hr.ucf.edu/files/EmployeeExitQuestionnaire.pdf · Termination Checklist at: https://hr.ucf.edu/files/TerminationChecklist.pdf CAH TERMINATION PROCEDURES assigned to him/her. Specific PeopleSoft access should be terminated as well. Terminating employees must

  3. Number Theory Seminar

    E-Print Network [OSTI]

    $author.value

    2014-12-03

    Dec 3, 2014 ... TBA, Rachel Davis ... September 26, Rachel Davis .... Dessins d'Enfants · Indiana Pi Bill · Notes and Publications · Number Theory Seminar ...

  4. VCU Human Resources November 14, 2011 Instructions for Termination ePAF

    E-Print Network [OSTI]

    Hammack, Richard

    VCU Human Resources November 14, 2011 Instructions for Termination ePAF TERME and TERMJ Overview We have revised the termination process and related ePAFs to help improve the efficiency and tracking of termination information. Effective July 26, 2010, Personnel Administrators (PAs) must submit termination e

  5. Enhanced surface diffusion through termination conversion during epitaxial SrRuO3 growth

    E-Print Network [OSTI]

    Eom, Chang Beom

    Enhanced surface diffusion through termination conversion during epitaxial SrRuO3 growth Guus of the ferromagnetic oxide SrRuO3 on TiO2-terminated SrTiO3 , we observe a self-organized conversion of the terminating to surface termination and growth mode.6 Because their application is mostly in mirror-symmetric trilayer

  6. Distributed Termination Detection for Dynamic D.M. Dhamdhere Sridhar Iyer E.K.K.Reddy

    E-Print Network [OSTI]

    Iyer, Sridhar

    Distributed Termination Detection for Dynamic Systems D.M. Dhamdhere Sridhar Iyer E.K.K.Reddy Dept of Computer Science IIT Bombay Mumbai, INDIA Abstract A symmetric algorithm for detecting the termination Distributed algorithms, Distributed computation, Distributed termination, Dynamic systems, Termination

  7. Termination of Domestic Partnership Signature of faculty/staff/student domestic partner

    E-Print Network [OSTI]

    Arnold, Jonathan

    Termination of Domestic Partnership Signature of faculty/staff/student domestic partner Printed as of ________________________. I certify I have mailed a copy of this Termination to my above named former domestic partner. We the domestic partnership is terminated. In the event more than one such Termination of Domestic Partnership

  8. Properties of the termination shock observed by Voyager 2 and J. D. Richardson3

    E-Print Network [OSTI]

    Richardson, John

    Properties of the termination shock observed by Voyager 2 H. Li,1,2 C. Wang,1 and J. D. Richardson3] In August 2007, Voyager 2 reached the termination shock and entered the heliosheath at a distance of about, the termination shock moved back and forth, and Voyager 2 crossed the termination shock multiple times. We use

  9. Quasi-Termination Analysis of Logic Programs Using Size-Change Graphs

    E-Print Network [OSTI]

    Vidal, Germán

    is a relevant problem in several areas, like tabled evaluation or partial evaluation, where quasi-termination analysis Keywords Quasi-Termination, Partial Deduction 1. INTRODUCTION While the termination of logic notion in the context of of- fline partial evaluation of functional programs [25], where quasi-termination

  10. 2014-03-06 Issuance: Test Procedures for Packaged Terminal Air Conditioners and Packaged Terminal Heat Pumps; Notice of Proposed Rulemaking

    Broader source: Energy.gov [DOE]

    This document is a pre-publication Federal Register notice of proposed rulemaking regarding test procedures for packaged terminal air conditioners and packaged terminal heat pumps, as issued by the Deputy Assistant Secretary on March 6, 2014.

  11. Transmission Infrared Spectroscopy of Methyl-and Ethyl-Terminated Silicon(111) Surfaces Lauren J. Webb, Sandrine Rivillon, David J. Michalak, Yves J. Chabal,*, and

    E-Print Network [OSTI]

    Webb, Lauren J.

    in ambient air, forming a large number of surface electronic trap states.2 In contrast, alkylated Si surfaces tunneling micros- copy8 and low-energy electron diffraction studies9 have revealed both short-range and long-terminated Si(111) surfaces have a very low surface electron-hole recombination velocity,6 but oxidize rapidly

  12. Cooled electrical terminal assembly and device incorporating same

    DOE Patents [OSTI]

    Beihoff, Bruce C.; Radosevich, Lawrence D.; Phillips, Mark G.; Kehl, Dennis L.; Kaishian, Steven C.; Kannenberg, Daniel G.

    2005-05-24

    A terminal structure provides interfacing with power electronics circuitry and external circuitry. The thermal support may receive one or more power electronic circuits. The support may aid in removing heat from the terminal structure and the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as improved terminal configurations. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  13. Cooled electrical terminal assembly and device incorporating same

    DOE Patents [OSTI]

    Beihoff, Bruce C.; Radosevich, Lawrence D.; Phillips, Mark G.; Kehl, Dennis L.; Kaishian, Steven C.; Kannenberg, Daniel G.

    2006-08-22

    A terminal structure provides interfacing with power electronics circuitry and external circuitry. The thermal support may receive one or more power electronic circuits. The support may aid in removing heat from the terminal structure and the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as improved terminal configurations. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  14. Defrost Temperature Termination in Supermarket Refrigeration Systems

    SciTech Connect (OSTI)

    Fricke, Brian A; Sharma, Vishaldeep

    2011-11-01

    The objective of this project was to determine the potential energy savings associated with implementing demand defrost strategies to defrost supermarket refrigerated display case evaporators, as compared to the widely accepted current practice of controlling display case defrost cycles with a preset timer. The defrost heater energy use of several representative display case types was evaluated. In addition, demand defrost strategies for refrigerated display cases as well as those used in residential refrigerator/freezers were evaluated. Furthermore, it is anticipated that future work will include identifying a preferred defrost strategy, with input from Retail Energy Alliance members. Based on this strategy, a demand defrost system will be designed which is suitable for supermarket refrigerated display cases. Limited field testing of the preferred defrost strategy will be performed in a supermarket environment.

  15. VOLUME 86, NUMBER 24 P H Y S I C A L R E V I E W L E T T E R S 11 JUNE 2001 Control of Coherent Acoustic Phonons in Semiconductor Quantum Wells

    E-Print Network [OSTI]

    Everitt, Henry

    established in atomic and molecular sys- tems [1­3]. Control of coherent behavior in condensed matter systems that such problems are not insurmountable, and that control of coherent phenomena in condensed matter systems-flow horizontal reactor on double polished c-plane sapphire [15]. It consists of a ten period, 12 nm per period

  16. Optimal threshold policies in a workload model with a variable number of service phases per job \\Lambda

    E-Print Network [OSTI]

    Brouns, Gido

    models, admission and termination control, optimal threshold policies, Markov decision processes. 1 systems. The basic principle of performance optimization is the question of how to control some type of models for the optimal control of queueing systems. Emphasis is laid on models based on Markov decision

  17. Protocol number: ###### Protocol date: ##/##/####

    E-Print Network [OSTI]

    Casagrandi, Renato

    /07/2012 PROBLEMS 072648 TECNOLOGIES OF AERONAUTICS CONTROL 7.50 26 26/06/2012 SYSTEMS 072652 DYNAMIC MODELS

  18. Role of chemical termination in edge contact to graphene

    SciTech Connect (OSTI)

    Gao, Qun; Guo, Jing, E-mail: guoj@ufl.edu [Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida 32611 (United States)

    2014-05-01

    Edge contacts to graphene can offer excellent contact properties. Role of different chemical terminations is examined by using ab initio density functional theory and quantum transport simulations. It is found that edge termination by group VI elements O and S offers considerably lower contact resistance compared to H and group VII element F. The results can be understood by significantly larger binding energy and shorter binding distance between the metal contact and these group VI elements, which results in considerably lower interface potential barrier and larger transmission. The qualitative conclusion applies to a variety of contact metal materials.

  19. Base drive circuit for a four-terminal power Darlington

    DOE Patents [OSTI]

    Lee, Fred C. (Blacksburg, VA); Carter, Roy A. (Salem, VA)

    1983-01-01

    A high power switching circuit which utilizes a four-terminal Darlington transistor block to improve switching speed, particularly in rapid turn-off. Two independent reverse drive currents are utilized during turn off in order to expel the minority carriers of the Darlington pair at their own charge sweep-out rate. The reverse drive current may be provided by a current transformer, the secondary of which is tapped to the base terminal of the power stage of the Darlington block. In one application, the switching circuit is used in each power switching element in a chopper-inverter drive of an electric vehicle propulsion system.

  20. Big Numbers | Jefferson Lab

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

    with a length of 35 cm, which certainly helps . With Avogadro's number and the density of liquid hydrogen, we have about 1024 protons per cm2. We then take the beam of 160...

  1. KPA Activity Number

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

    September 2002 Page 1 KPA Activity Number KPA Activity SEM Section SME Work Product SQSE Web Site http:cio.doe.govsqse REQUIREMENTS MANAGEMENT RM-1 The software engineering...

  2. Building Automation and Controls Systems: Integrated Room Control for Personalized Comfort and Increased ROI 

    E-Print Network [OSTI]

    Gill, D.

    2014-01-01

    Configurations ? Summary ESL-IC-14-09-05 Proceedings of the 14th International Conference for Enhanced Building Operations, Beijing, China, September 14-17, 2014 Room Control – System Fundamentals ? HVAC ? Terminal units ? Temperature and air flow control..., September 14-17, 2014 The Solution? ESL-IC-14-09-05 Proceedings of the 14th International Conference for Enhanced Building Operations, Beijing, China, September 14-17, 2014 Smart Room Control ? End-to-end system for the control of HVAC room terminal...

  3. Mixed Nash Equilibria in Concurrent Terminal-Reward Games

    E-Print Network [OSTI]

    Doyen, Laurent

    Mixed Nash Equilibria in Concurrent Terminal-Reward Games Patricia Bouyer, Nicolas Markey, and Daniel Stan LSV ­ CNRS & ENS Cachan ­ France Abstract We study mixed-strategy Nash equilibria states with a value for each player). We show undecidability of the existence of a constrained Nash

  4. Snowball Earth termination by destabilization of equatorial permafrost methane clathrate

    E-Print Network [OSTI]

    Kennedy, Martin J.

    LETTERS Snowball Earth termination by destabilization of equatorial permafrost methane clathrate-gassing during post-glacial oceanic overturn7 or methane hydrate destabilization8­10 . Here we report the broadest range of oxygen isotope values yet measured in mar- ine sediments (225% to 112%) in methane seeps

  5. Prfungen 1. Termin FS 2015 Bachelor / Master Chemie

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Prüfungen 1. Termin FS 2015 Bachelor / Master Chemie Bachelor Biochemie Grundstudium Pharmazie to be handed in. Achtung: Die Wiederholungsprüfungstermine aus dem Bereich Chemie, Biochemie und Biologie make sure you always sign-up for the first exam date. Departement für Chemie und Biochemie

  6. Conservation of Heat Energy at Hot Petroleum Products Terminals 

    E-Print Network [OSTI]

    Powell, J. C.; Graham, R. M.

    1981-01-01

    Exxon operates several terminals which store asphalt and heavy fuel oil. Due to the rising cost of fuels, Exxon initiated a study to identify economic investments which would reduce the fuel needed to heat these products. First, fuel usage at four...

  7. TECHNICAL POLLUTION PREVENTION GUIDE FOR DRY BULK TERMINALS

    E-Print Network [OSTI]

    #12;TECHNICAL POLLUTION PREVENTION GUIDE FOR DRY BULK TERMINALS IN THE LOWER FRASER BASIN DOE FRAP 1996-19 Prepared for: Enviromnent Canada Environmental Protection Fraser Pollution Abatement North's report was fùnded by Environment Canada under the Fraser River Action Plan through its Fraser Pollution

  8. Despite its chaotic and disrupted opening, Heathrow's Terminal 5 is

    E-Print Network [OSTI]

    are famous for late completion and huge budget overruns. BAA, the company responsible for T5, avoided into the planning and construction of Terminal 5 at London's Heathrow airport shows how organisations can learn from major infrastructure programmes to improve their management of future projects. #12;Between June 2005

  9. BARNARD COLLEGE Termination of a Research Protocol Involving Human Subjects

    E-Print Network [OSTI]

    BARNARD COLLEGE Termination of a Research Protocol Involving Human Subjects Title: Principal) Study subjects: A total of _____ subjects were enrolled since the last report to the IRB. Since initial study approval on _____________ a total of _____ subjects have been enrolled in this study and ____ have

  10. QER- Comment of Lake Charles Harbor & Terminal District

    Broader source: Energy.gov [DOE]

    Good Afternoon, Please find the Lake Charles Harbor and Terminal District’s comments on Infrastructure Constraints in re: the QER Investigation hearing scheduled for Bismarck, ND on August 8, 2014. Please include these comments in the public record of the hearing. Thank you.

  11. Report number codes

    SciTech Connect (OSTI)

    Nelson, R.N.

    1985-05-01

    This publication lists all report number codes processed by the Office of Scientific and Technical Information. The report codes are substantially based on the American National Standards Institute, Standard Technical Report Number (STRN)-Format and Creation Z39.23-1983. The Standard Technical Report Number (STRN) provides one of the primary methods of identifying a specific technical report. The STRN consists of two parts: The report code and the sequential number. The report code identifies the issuing organization, a specific program, or a type of document. The sequential number, which is assigned in sequence by each report issuing entity, is not included in this publication. Part I of this compilation is alphabetized by report codes followed by issuing installations. Part II lists the issuing organization followed by the assigned report code(s). In both Parts I and II, the names of issuing organizations appear for the most part in the form used at the time the reports were issued. However, for some of the more prolific installations which have had name changes, all entries have been merged under the current name.

  12. Author's copy. Final version published by Elsevier in Energy Procedia volume 1 number 1, pages 2809-2816, February 2009. Proceedings of the 9th International Conference on Greenhouse Gas Control Technologies (GHGT-

    E-Print Network [OSTI]

    Information System; storage capacities; aquifers; coual deposits; depleted fields; risk assessment 1Author's copy. Final version published by Elsevier in Energy Procedia volume 1 number 1, pages 2809 to look for potential storage zones in France D. Bonijoly1 , M. Ha-Duong6 , A. Leynet11 ; A. Bonneville2

  13. Columbia River: Terminal fisheries research project. 1994 Annual report

    SciTech Connect (OSTI)

    Hirose, P.; Miller, M.; Hill, J.

    1996-12-01

    Columbia River terminal fisheries have been conducted in Youngs Bay, Oregon, since the early 1960`s targeting coho salmon produced at the state facility on the North Fork Klaskanine River. In 1977 the Clatsop County Economic Development Council`s (CEDC) Fisheries Project began augmenting the Oregon Department of Fish and Wildlife production efforts. Together ODFW and CEDC smolt releases totaled 5,060,000 coho and 411,300 spring chinook in 1993 with most of the releases from the net pen acclimation program. During 1980-82 fall commercial terminal fisheries were conducted adjacent to the mouth of Big Creek in Oregon. All past terminal fisheries were successful in harvesting surplus hatchery fish with minimal impact on nonlocal weak stocks. In 1993 the Northwest Power Planning Council recommended in its` Strategy for Salmon that terminal fishing sites be identified and developed. The Council called on the Bonneville Power Administration to fund a 10-year study to investigate the feasibility of creating and expanding terminal known stock fisheries in the Columbia River Basin. The findings of the initial year of the study are included in this report. The geographic area considered for study extends from Bonneville Dam to the river mouth. The initial year`s work is the beginning of a 2-year research stage to investigate potential sites, salmon stocks, and methodologies; a second 3-year stage will focus on expansion in Youngs Bay and experimental releases into sites with greatest potential; and a final 5-year phase establishing programs at full capacity at all acceptable sites. After ranking all possible sites using five harvest and five rearing criteria, four sites in Oregon (Tongue Point, Blind Slough, Clifton Channel and Wallace Slough) and three in Washington (Deep River, Steamboat Slough and Cathlamet Channel) were chosen for study.

  14. Magnetic reconnection at the termination shock in a striped pulsar wind

    SciTech Connect (OSTI)

    Petri, Jerome [Max-Planck-Institut fuer Kernphysik, Saupfercheckweg 1, 69117 Heidelberg (Germany); Lyubarsky, Yuri [Department of Physics, Ben-Gurion University, P.O. Box 653, Beer-Sheva 84105 (Israel)

    2008-02-27

    Most of the rotational luminosity of a pulsar is carried away by a relativistic magnetized wind in which the matter energy flux is negligible compared to the Poynting flux. However, observations indicate that most of the Poynting flux is eventually converted into ultra-relativistic particles. The mechanism responsible for this transformation remains poorly understood. Near the equatorial plane of an obliquely rotating pulsar magnetosphere, the magnetic field reverses polarity with the pulsar period, forming a wind with oppositely directed field lines and called a striped wind.We study the conditions required for magnetic energy release at the termination shock of the striped pulsar wind. Magnetic reconnection is considered via analytical methods and 1D relativistic PIC simulations. An analytical condition on the upstream parameters for partial and full magnetic reconnection is derived from the conservation laws of energy, momentum and particle number density across the relativistic shock. Furthermore, by using a 1D relativistic PIC code, we study in detail the reconnection process at the termination shock for different upstream Lorentz factors and magnetizations, and find good agreement with our analytical criterion. Thus, alternating magnetic fields annihilate easily at relativistic highly magnetized shocks. We apply our criterion for dissipation to deduce bounds on the pair multiplicity, {kappa}, in the pulsar wind.

  15. Successive Backward Sweep Methods for Optimal Control of Nonlinear Systems with Constraints 

    E-Print Network [OSTI]

    Cho, Donghyurn

    2013-08-13

    Continuous and discrete-time Successive Backward Sweep (SBS) methods for solving nonlinear optimal control problems involving terminal and control constraints are proposed in this dissertation. They closely resemble the Neighboring Extremals...

  16. Optimizing HVAC Control to Improve Building Comfort and Energy Performance 

    E-Print Network [OSTI]

    Song, L.; Joo, I.; Dong, D.; Liu, M.; Wang, J.; Hansen, K.; Quiroz, L.; Swiatek, A.

    2003-01-01

    include a terminal box temperature integrated minimum airflow reset. The building has been used and operated based on the design intents. This paper presents both the existing and the optimal control schedules, which include the VAV box operation schedule...

  17. Supply Fan Control for Constant Air Volume Air Handling Units 

    E-Print Network [OSTI]

    Cho, Y.; Wang, G.; Liu, M.

    2007-01-01

    Since terminal boxes do not have a modulation damper in constant volume (CV) air handling unit (AHU) systems, zone reheat coils have to be modulated to maintain the space temperature with constant supply airflow. This conventional control sequence...

  18. Energy Control Centers 1.0 Introduction

    E-Print Network [OSTI]

    McCalley, James D.

    terminal unit SCADA Master Station Communicationlink Energy control center with EMS EMS alarm display EMS 1), the supervisory control and data acquisition (SCADA), and the communications interconnecting the EMS and the SCADA (which is often thought of as part of the SCADA itself). Figure 3a [1] provides a block diagram

  19. UCGE Reports Number 20284

    E-Print Network [OSTI]

    Calgary, University of

    ABSTRACT Oil and gas are global fuels obtained primarily from drilling wells in underground terrestrial reservoirs. Vertical drilling is preferred because of its simplicity and therefore low cost, but subsurfaceUCGE Reports Number 20284 Department of Geomatics Engineering Continuous Measurement-While-Drilling

  20. Student Code Number: Thermodynamics

    E-Print Network [OSTI]

    Feeny, Brian

    Student Code Number: Thermodynamics Ph.D. Qualifying Exam Department of Mechanical Engineering;Thermodynamics Qualifier January 2013 Problem 1 Air is compressed in an axial-flow compressor operating at steady of exergy destruction within the compressor, in kJ per kg of air flowing. #12;Thermodynamics Qualifier

  1. UCGE Reports Number 20146

    E-Print Network [OSTI]

    Calgary, University of

    in considerable operational cost savings for many exploration and open-pit mining companies in the energy sectorUCGE Reports Number 20146 Department of Geomatics Engineering Development of a Mobile Equipment Equipment Management System solution. In the open-pit mining industries there is a need for these companies

  2. Australia NO REGISTRATION NUMBER

    E-Print Network [OSTI]

    Portugal Romania Slovenia Spain Turkey UK USA Australia Austria Belgium Cyprus France Germany Greece#12;#12;Australia Austria Belgium Cyprus France Germany Greece Ireland Italy Japan Macedonia Ireland Italy Japan Macedonia Portugal Romania Slovenia Spain Turkey UK USA #12;NO REGISTRATION NUMBER 1

  3. VOLUME 76, NUMBER 18 P H Y S I C A L R E V I E W L E T T E R S 29 APRIL 1996 Nonlinear Control of Dynamical Systems from Time Series

    E-Print Network [OSTI]

    Showalter, Kenneth

    developments and experimental applications of feedback control to nonlinear dynamical systems [2­11]. Recent of Dynamical Systems from Time Series Valery Petrov and Kenneth Showalter* Department of Chemistry, West of multidimensional, nonlinear single-input single-output systems is formulated in terms of an invariant hypersurface

  4. Graphene flakes with defective edge terminations: Universal and topological aspects, and one-dimensional quantum behavior

    E-Print Network [OSTI]

    Yannouleas, Constantine

    Graphene flakes with defective edge terminations: Universal and topological aspects, and one graphene nanoflakes with reconstructed zigzag edges, where a succes- sion of pentagons and heptagons these spectra. The electronic spectra of trigonal graphene nanoflakes with reczag edge terminations exhibit

  5. Alpha Emission Near 100Sn and the Termination of the rp Process

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

    Alpha Emission Near 100 Sn and the Termination of the rp Process The astrophysical rp-process is thought to reach a termination point in the region of 100 Sn, via the...

  6. Energy, Shading and Daylighting Analysis for the Austin Bergstrom International Airport Terminal 

    E-Print Network [OSTI]

    Holder, L. M. III; Holder, L. M. IV

    2002-01-01

    Our firm was under contract with the City of Austin, Texas to perform energy analysis and analysis of the daylighting potential within the New Austin Bergstrom International Airport Terminal. Design of the Passenger Terminal Facility for the New...

  7. Termination of the magnetorotational instability via parasitic instabilities in core-collapse supernovae

    E-Print Network [OSTI]

    Rembiasz, Tomasz; Cerdá-Durán, Pablo; Müller, Ewald; Aloy, Miguel-Ángel

    2015-01-01

    The magnetorotational instability (MRI) can be a powerful mechanism amplifying the magnetic field in core collapse supernovae. However, whether initially weak magnetic fields can be amplified by this instability to dynamically relevant strengths is still a matter of active scientific debate. One of the main uncertainties concerns the process that terminates the growth of the instability. Parasitic instabilities of both Kelvin-Helmholtz (KH) and tearing-mode type have been suggested to play a crucial role in this process, disrupting MRI channel flows and quenching magnetic field amplification. We performed two-dimensional and three-dimensional sheering-disc simulations of a differentially rotating proto-neutron star layer in non-ideal MHD with unprecedented high numerical resolution. Our simulations show that KH parasitic modes dominate tearing modes in the regime of large hydrodynamic and magnetic Reynolds numbers, as encountered in proto-neutron stars. They also determine the maximum magnetic field stress ac...

  8. U.S. LPG pipeline begins deliveries to Pemex terminal

    SciTech Connect (OSTI)

    Bodenhamer, K.C.

    1997-08-11

    LPG deliveries began this spring to the new Mendez LPG receiving terminal near Juarez, State of Chihuahua, Mexico. Supplying the terminal is the 265-mile, 8-in. Rio Grande Pipeline that includes a reconditioned 217-mile, 8-in. former refined-products pipeline from near Odessa, Texas, and a new 48-mile, 8-in. line beginning in Hudspeth County and crossing the US-Mexico border near San Elizario, Texas. Capacity of the pipeline is 24,000 b/d. The LPG supplied to Mexico is a blend of approximately 85% propane and 15% butane. Before construction and operation of the pipeline, PGPB blended the propane-butane mix at a truck dock during loading. Demand for LPG in northern Mexico is strong. Less than 5% of the homes in Juarez have natural gas, making LPG the predominant energy source for cooking and heating in a city of more than 1 million. LPG also is widely used as a motor fuel.

  9. The Fermi Bubbles as Starburst Wind Termination Shocks

    E-Print Network [OSTI]

    Lacki, Brian C

    2013-01-01

    The enhanced star formation in the inner 100 pc of the Galaxy launches a superwind, reaching ~1600 km/s for M82-like parameters. The ram pressure of the wind is very low compared to more powerful starburst winds. I show that halo gas stops the wind a few kpc from the Galactic Center. I argue that the termination shock accelerates cosmic rays, and that the resulting Inverse Compton gamma-rays are visible as the Fermi Bubbles. The Bubbles are thus wind bubbles, which the starburst can inflate within 10 Myr. They remain in steady state as long as the starburst lasts. The shock may accelerate PeV electrons and ultra-high energy protons. The Bubbles may be analogs of galactic wind termination shocks in the intergalactic medium. I discuss the advantages and problems of this model.

  10. Neutral atom transport from the termination shock to 1 AU

    E-Print Network [OSTI]

    Maciej Bzowski; Slawomir Tarnopolski

    2006-04-27

    Dynamics of H, D, and heavy Energetic Neutral Atoms (ENA) between the termination shock and 1 AU is discussed in the context of the forthcoming NASA SMEX mission IBEX. In particular, effects of the velocity-dependent radiation pressure on atomic trajectories are considered and ionization losses between TS and 1 AU are studied. It is shown, among others, that most of the dynamical effects and ionization losses are induced within a few AU from the Sun, which translates to the time domain into $\\sim 1 - 3$ solar rotations before detection. This loosens considerably time requirements for tracking the ionization and radiation pressure history to just prior 3 months. ENA seem excellent tracers of the processes within the heliospheric interface, with the transport effects between the termination shock and detector relatively mild and easy to account for.

  11. Probing effective nucleon-nucleon interaction at band termination

    E-Print Network [OSTI]

    Wojciech Satula

    2006-10-27

    Low-energy nuclear structure is not sensitive enough to resolve fine details of nucleon-nucleon (NN) interaction. Insensitivity of infrared physics to the details of short-range strong interaction allows for consistent, free of ultraviolet divergences, formulation of local theory at the level of local energy density functional (LEDF) including, on the same footing, both particle-hole as well as particle-particle channels. Major difficulty is related to parameterization of the nuclear LEDF and its density dependence. It is argued that structural simplicity of terminating or isomeric states offers invaluable source of informations that can be used for fine-tuning of the NN interaction in general and the nuclear LEDF parameters in particular. Practical applications of terminating states at the level of LEDF and nuclear shell-model are discussed.

  12. On Detecting Termination in the Crash-Recovery Model Felix C. Freiling1

    E-Print Network [OSTI]

    Mittal, Neeraj

    Graduiertenkolleg "Software for Mobile Communicaton Systems" at RWTH Aachen University. A.-M. Kermarrec, L. Boug-passing system where processes may crash and recover. We show that it is impossible to solve the termination termination detection problem under these conditions. Keywords: asynchronous distributed system, termination

  13. Termination Graphs for Java Bytecode M. Brockschmidt, C. Otto, C. von Essen, and J. Giesl

    E-Print Network [OSTI]

    Ábrahám, Erika

    Termination Graphs for Java Bytecode M. Brockschmidt, C. Otto, C. von Essen, and J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract. To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all pos- sible runs of the program

  14. Transforming Termination by SelfLabelling Aart Middeldorp, 1 Hitoshi Ohsaki, 1 Hans Zantema 2

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Transforming Termination by Self­Labelling Aart Middeldorp, 1 Hitoshi Ohsaki, 1 Hans Zantema 2 1 introduce a new technique for proving termination of term rewriting systems. The technique, a specialization of transformation methods that attempt to prove termination by transforming term rewriting systems into systems

  15. Detecting the Termination Shock and Beyond Chi Wang and John W. Belcher

    E-Print Network [OSTI]

    Richardson, John

    Detecting the Termination Shock and Beyond Chi Wang and John W. Belcher Center for Space Research of the termination shock by the Voyager spacecraft. The multiple crossings caused by large-scale solar wind, including the termination shock and the heliopause. As the Voyager spacecraft reach distances where crossing

  16. TERMINATION FORM Send complete, signed form to your Human Resources Services Area Office

    E-Print Network [OSTI]

    Haykin, Simon

    TERMINATION FORM Send complete, signed form to your Human Resources Services Area Office HR/ REV1.8/2007/12/11 A EMPLOYEE INFORMATION Employee ID First Name & Initial(s) Surname Effective Date of Termination (dd for Current Benefit Year Reason for Termination Comments B AUTHORIZATION Department Ext. Name Signature Date

  17. Growth Termination of Carbon Nanotubes at Millimeter Thickness Due to Structural Change in Catalyst

    E-Print Network [OSTI]

    Maruyama, Shigeo

    Growth Termination of Carbon Nanotubes at Millimeter Thickness Due to Structural Change in Catalyst, it is reported that "supergrowth" rate decreases with reaction time and finally the growth terminates [2]. Our group recently reproduced "supergrowth" [3] and observed similar "supergrowth" termination within a few

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

    E-Print Network [OSTI]

    Marchiori, Elena

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

  19. To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting

    E-Print Network [OSTI]

    Ábrahám, Erika

    To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting Using Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems for which such proofs were not possible before

  20. SAT-based Termination Analysis for Java Bytecode with AProVE

    E-Print Network [OSTI]

    Ábrahám, Erika

    SAT-based Termination Analysis for Java Bytecode with AProVE Carsten Fuhs LuFG Informatik 2, RWTH solving engines for the search problems in automated termination analysis. Consequently, the performance of current termination tools heavily relies on the speed of modern SAT solvers on the corresponding SAT

  1. Endoplasmic Reticulum-bound Ribosomes Reside in Stable Association with the Translocon following Termination of

    E-Print Network [OSTI]

    Nicchitta, Chris

    Termination of Protein Synthesis* Received for publication, March 15, 2002, and in revised form, April 18 pathway and dissociation occurring upon the termination of protein synthesis. Recent stud- ies indicate, however, that ribosomal subunits remain membrane-bound following the termination of protein synthesis

  2. Holocene climate instability during the termination of the African Humid Period

    E-Print Network [OSTI]

    Renssen, Hans

    Holocene climate instability during the termination of the African Humid Period H. Renssen January 2003; published 25 February 2003. [1] The termination of the Holocene African Humid Period ($9. Goosse, Holocene climate instability during the termination of the African Humid Period, Geophys. Res

  3. Fundamenta Informaticae 33(2), 1998, 201{209 1 Termination of graph rewriting is undecidable

    E-Print Network [OSTI]

    Plump, Detlef

    Fundamenta Informaticae 33(2), 1998, 201{209 1 IOS Press Termination of graph rewriting pushout approach") is terminating. The proof is by a reduction of the Post Correspondence Problem or of the termination problem for string rewriting systems to the present problem. Keywords: graph rewriting

  4. PROGRAM TERMINATION FORM Board of Governors, State University System of Florida

    E-Print Network [OSTI]

    Sin, Peter

    PROGRAM TERMINATION FORM Board of Governors, State University System of Florida UNIVERSITY TERMINATION DATE: _____________________________________ (Last date that students will be accepted into program for this program) 1. Provide a narrative rationale for the request to terminate the program. 3. Indicate on which

  5. Meridional movement of wind anomalies during ENSO events and their role in event termination

    E-Print Network [OSTI]

    Santoso, Agus

    Meridional movement of wind anomalies during ENSO events and their role in event termination Shayne), Meridional movement of wind anomalies during ENSO events and their role in event termination, Geophys. Res, setting up conditions favorable for the termination of ENSO warm events. The basic principles of the RDO

  6. Magnetic fields at the solar wind termination shock L. F. Burlaga1

    E-Print Network [OSTI]

    Richardson, John

    LETTERS Magnetic fields at the solar wind termination shock L. F. Burlaga1 , N. F. Ness2 , M. H and dynamics of the termination shock, made by Voyager 2 on 31 August­1 September 2007 at a distance of 83.7 AU') at the shock. This Letter discusses three termination shock crossings (TS-2, TS- 3 and TS-4) that were observed

  7. APPEAL TO STUDENT PROGRESS APPEALS COMMITTEE TERMINATION FROM COURSE NOT ACHIEVING SATISFACTORY COURSE PROGRESS

    E-Print Network [OSTI]

    Mucina, Ladislav

    APPEAL TO STUDENT PROGRESS APPEALS COMMITTEE TERMINATION FROM COURSE NOT ACHIEVING SATISFACTORY COURSE PROGRESS This form is to be used to lodge an appeal against the decision to terminate you from ID Student Name Course Code and Name Faculty Year and Study Period of Termination Citizenship status

  8. College Policy and Procedure for the Termination of a Student's Registration Introduction

    E-Print Network [OSTI]

    Crawford, Ian

    College Policy and Procedure for the Termination of a Student's Registration Introduction 1. The College reserves the right to terminate the registration of any student on academic grounds, disciplinary be followed in order for a student's registration to be terminated for academic reasons, or where the student

  9. Modular Termination of Basic Narrowing Maria Alpuente, Santiago Escobar, and Jose Iborra

    E-Print Network [OSTI]

    Alpuente, María

    Modular Termination of Basic Narrowing Mar´ia Alpuente, Santiago Escobar, and Jos´e Iborra theories. Another application is analyzing ter- mination of narrowing by checking the termination of basic narrowing, as done in pioneering work by Hullot. In this work, we study the modu- larity of termination

  10. Electronic structure of the Si(111):GaSe van der Waals-like surface termination

    E-Print Network [OSTI]

    Olmstead, Marjorie

    Electronic structure of the Si(111):GaSe van der Waals-like surface termination Reiner Rudolph-like surface termination has been determined by angle-resolved photoelectron spectroscopy using photons. This explains both the absence of a surface core-level shift in Si 2p photoelectron spectra of the terminated

  11. Supervisors and Termination A presentation to FGSR Council, 16 November 2011 (updated June 2014)

    E-Print Network [OSTI]

    Wang, Hao "Howard"

    Supervisors and Termination A presentation to FGSR Council, 16 November 2011 (updated June 2014) Dr that their supervisor has terminated their program of studies. In some cases, the supervisor sent a letter to the student stating that the student's program of studies had come to an end. Supervisors cannot terminate

  12. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages

    E-Print Network [OSTI]

    Middeldorp, Aart

    Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages J the application of existing techniques from term rewriting in order to prove termination of programs in the functional language Has- kell. In particular, we show how termination techniques for ordinary re- writing can

  13. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages #

    E-Print Network [OSTI]

    Ábrahám, Erika

    Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages # J the application of existing techniques from term rewriting in order to prove termination of programs in the functional language Has­ kell. In particular, we show how termination techniques for ordinary re­ writing can

  14. REQUEST FOR REVIEW OF DECISION / REQUEST FOR READMISSION TERMINATION FROM COURSE NOT ACHIEVING SATISFACTORY COURSE PROGRESS

    E-Print Network [OSTI]

    Mucina, Ladislav

    REQUEST FOR REVIEW OF DECISION / REQUEST FOR READMISSION TERMINATION FROM COURSE NOT ACHIEVING is obliged to report student visa holders who have been Terminated for not achieving satisfactory course of the appeals process. COURSE DETAILS COURSE FROM WHICH I HAVE BEEN TERMINATED Course code Course name STUDY

  15. Transforming Termination by Self-Labelling Aart Middeldorp,1 Hitoshi Ohsaki,1 Hans Zantema2

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Transforming Termination by Self-Labelling Aart Middeldorp,1 Hitoshi Ohsaki,1 Hans Zantema2 1 introduce a new technique for proving termination of term rewriting systems. The technique, a specialization of transformation methods that attempt to prove termination by transforming term rewriting systems into systems

  16. RESEARCH Open Access Cell type-specific termination of transcription by

    E-Print Network [OSTI]

    Jordan, King

    RESEARCH Open Access Cell type-specific termination of transcription by transposable element sequences necessary for their own transposition, including signals required for the termination to terminate the transcription of host gene transcripts. While there is evidence in support of this model

  17. Abrupt change of Antarctic moisture origin at the end of Termination II

    E-Print Network [OSTI]

    Chappellaz, Jérôme

    Abrupt change of Antarctic moisture origin at the end of Termination II V. Masson-Delmottea,1 , B of events involved in Termination II, the transition between the penultimate glacial and interglacial periods. This termination is marked by a north­south seesaw behavior, with first a slow methane concen

  18. Improvements on the "Size Change Termination Principle" in a functional language

    E-Print Network [OSTI]

    Improvements on the "Size Change Termination Principle" in a functional language Pierre Hyvernat improvements of Lee, Jones and Ben-Amram size change termination principle specialised to functional-graphs and yields a more precise test for termination. 1 Introduction Lee, Jones and Ben-Amram size change

  19. Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary

    E-Print Network [OSTI]

    Mittal, Neeraj

    Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. Detecting termination of a distributed computation is a fun- damental problem in distributed systems. We present two optimal algo- rithms for detecting termination of a non-diffusing distributed computa- tion

  20. Intense plasma waves at and near the solar wind termination shock

    E-Print Network [OSTI]

    Gurnett, Donald A.

    LETTERS Intense plasma waves at and near the solar wind termination shock D. A. Gurnett1 & W. S wind termination shock. The observations were obtained from the plasma-wave instrument on the Voyager 2 a series of crossings of the termination shock at a heliocentric radial distance of 83.7 AU. The spectrum

  1. Termination Detection in an Asynchronous Distributed System with Crash-Recovery

    E-Print Network [OSTI]

    Mittal, Neeraj

    Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures Felix C 75083, USA 1 Termination Detection In practice, it cannot easily be detected whether a computation running in a distributed system has terminated or not. Thus, suitable observing algorithms are required

  2. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

    E-Print Network [OSTI]

    Vidal, Germán

    Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation Michael-46022, Valencia, Spain {stamarit,gvidal}@dsic.upv.es Abstract. A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule--like Pro- log's leftmost

  3. United States National Waste Terminal Storage argillaceous rock studies

    SciTech Connect (OSTI)

    Brunton, G.D.

    1981-01-01

    The past and present argillaceous rock studies for the US National Waste Terminal Storage Program consist of: (1) evaluation of the geological characteristics of several widespread argillaceous formations in the United States; (2) laboratory studies of the physical and chemical properties of selected argillaceous rock samples; and (3) two full-scale in situ surface heater experiments that simulate the emplacement of heat-generating radioactive waste in argillaceous rock.

  4. Pick-up ion energization at the termination shock

    SciTech Connect (OSTI)

    Gary, S Peter [Los Alamos National Laboratory; Winske, Dan [Los Alamos National Laboratory; Wu, Pin [BOSTON UNIV.; Schwadron, N A [BOSTON UNIV.

    2009-01-01

    One-dimensional hybrid simulations are used to investigate how pickup ions are energized at the perpendicular termination shock. Contrary to previous models based on pickup ion energy gain by repeated crossings of the shock front (shock surfing) or due to a reforming shock front, the present simulations show that pickup ion energy gain involves a gyro-phasedependent interaction with the inhomogeneous motional electric field at the shock. The process operates at all relative concentrations of pickup ion density.

  5. Lower Columbia River Terminal Fisheries Research Project : Final Environmental Assessment.

    SciTech Connect (OSTI)

    United States. Bonneville Power Administration.

    1995-04-01

    This notice announces BPA`S`s decision to fund the Oregon Department of Fish and Wildlife (ODFW), the Washington Department of Fish and Wildlife (WDFW), and the Clatsop Economic Development Committee for the Lower Columbia River Terminal Fisheries Research Project (Project). The Project will continue the testing of various species/stocks, rearing regimes, and harvest options for terminal fisheries, as a means to increase lower river sport and commercial harvest of hatchery fish, while providing both greater protection of weaker wild stocks and increasing the return of upriver salmon runs to potential Zone 6 Treaty fisheries. The Project involves relocating hatchery smolts to new, additional pen locations in three bays/sloughs in the lower Columbia River along both the Oregon and Washington sides. The sites are Blind Slough and Tongue Point in Clatsop County, Oregon, and Grays Bay/Deep River, Wahkiakum County, Washington. The smolts will be acclimated for various lengths of time in the net pens and released from these sites. The Project will expand upon an existing terminal fisheries project in Youngs Bay, Oregon. The Project may be expanded to other sites in the future, depending on the results of this initial expansion. BPA`S has determined the project is not a major Federal action significantly affecting the quality of the human environment, within the meaning of the National Environmental Policy Act (NEPA) of 1969. Therefore, the preparation of an environmental impact statement is not required, and BPA`S is issuing this FONSI.

  6. On Optimal Causal Coding of Partially Observed Markov Sources in Single and Multi-Terminal Settings

    E-Print Network [OSTI]

    Yüksel, Serdar

    2010-01-01

    The optimal causal coding of a partially observed Markov process is studied, where the cost to be minimized is a bounded, non-negative, additive, measurable single-letter function of the source and the receiver output. A structural result is obtained extending Witsenhausen's and Walrand-Varaiya's structural results on the optimal real-time coders to a partially observed setting. The decentralized (multi-terminal) setup is also considered. For the case where the source is an i.i.d. process, it is shown that the design of optimal decentralized causal coding of correlated observations admits a separation. For Markov sources, a counterexample to a natural separation conjecture is presented. Applications in estimation and networked control problems are discussed, in the context of a linear, Gaussian setup.

  7. Quantum random number generator

    E-Print Network [OSTI]

    M. Stipcevic; B. Medved Rogina

    2007-01-01

    We report upon a novel principle for realization of a fast nondeterministic random number generator whose randomness relies on intrinsic randomness of the quantum physical processes of photonic emission in semiconductors and subsequent detection by the photoelectric effect. Timing information of detected photons is used to generate binary random digits-bits. The bit extraction method based on restartable clock theoretically eliminates both bias and autocorrelation while reaching efficiency of almost 0.5 bits per random event. A prototype has been built and statistically tested.

  8. Neither Name, Nor Number

    E-Print Network [OSTI]

    Federico Holik

    2011-12-20

    Since its origins, Quantum mechanics has presented problems with the concept of individuality. It is argued that quantum particles do not have individuality, and so, one can speak about "entities without identity". On the contrary, we claim that the problem of quantum non individuality goes deeper, and that one of its most important features is the fact that there are quantum systems for which particle number is not well defined. In this work, we continue this discussion in relation to the problem about the one and the many.

  9. On Some Zarankiewicz Numbers and Bipartite Ramsey Numbers for

    E-Print Network [OSTI]

    Radziszowski, Stanislaw P.

    On Some Zarankiewicz Numbers and Bipartite Ramsey Numbers for Quadrilateral Janusz Dybizba Ramsey number b(n1, · · · , nk) is the least positive integer b such that any coloring of the edges of Kb Ramsey numbers avoiding quadrilateral. In particular, we prove that b4(2) = 19, and establish new general

  10. Date Created: 4/24/2012 6:29:00 AM Page 1 Initiating a Termination Checklist from the online Termination form

    E-Print Network [OSTI]

    Calgary, University of

    your Workforce Administration menu, when a termination form is not required (e.g. Term Jobs with end #12;Date Created: 4/24/2012 6:29:00 AM Page 3 Complete the following steps: Step Action 4. Enter terminating employee's EmplID and select Search #12;Page 4 Date Created: 4/24/2012 6:29:00 AM Complete

  11. The construction and use of a plasmid vector system for studying Q mediated transcription termination in bacteriophage (lambda) 

    E-Print Network [OSTI]

    Eller, Richard Frank

    1986-01-01

    , the lacZ fusion is under direct control of the 1sc promoter since ps, as well as c?, were deleted from this plasmid. As noted, pTER3 produces a nonfunctional Q protein since it does not carry the last part of the Q gene (Fig. 6E). pTER3 was used... Genes 57 DISCUSSION AND CONCLUSIONS 59 Components of the pTER Vector System A. The lac Promoter and Operator B. The px. Promoter C. The ts. Terminator D. The trpzzlacZ Operon Fusion Induction Leads to Q Protein Synthesis gpQ Modified...

  12. Self-terminating diffraction gates femtosecond X-ray nanocrystallography

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservation ofAlbuquerque| StanfordOfficeImplementationmeasurements Self-terminating

  13. Effects of surface termination on the band gap of ultrabright Si29 nanoparticles: Experiments and computational models

    E-Print Network [OSTI]

    Braun, Paul

    Effects of surface termination on the band gap of ultrabright Si29 nanoparticles: Experiments constituting a H-terminated reconstructed Si surface was recently proposed as a structural prototype termination with a N linkage in butylamine and O linkage in pentane . The emission band for N-termination

  14. Metadata of the chapter that will be visualized online ChapterTitle Observations of the Termination Shock and Heliosheath

    E-Print Network [OSTI]

    Richardson, John

    Metadata of the chapter that will be visualized online ChapterTitle Observations of the Termination termination shock and are now in the heliosheath, the region of shocked solar wind plasma before the heliopause. This paper reviews observations of the termination foreshock, the termination shock (TS

  15. Termination of Rewriting with Right-Flat Rules Guillem Godoy 1 , Eduard Huntingford 2 , and Ashish Tiwari 3

    E-Print Network [OSTI]

    Tiwari, Ashish

    Termination of Rewriting with Right-Flat Rules Guillem Godoy 1 , Eduard Huntingford 2 , and Ashish, Menlo Park, CA 94025 tiwari@csl.sri.com Abstract. Termination and innermost termination are shown occur at depth at most one) and linear. Innermost termination is also shown to be decidable for shallow

  16. CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all university policies and

    E-Print Network [OSTI]

    Wu, Shin-Tson

    CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all Questionnaire at: http://www.hr.ucf.edu/web/forms/employeerelations/exitinterview.pdf CAH TERMINATION PROCEDURES assigned to him/her. Specific PeopleSoft access should be terminated as well. Terminating employees must

  17. Decommissioning the Fuel Process Building, a Shift in Paradigm for Terminating Safeguards on Process Holdup

    SciTech Connect (OSTI)

    Ivan R. Thomas

    2010-07-01

    INMM Abstract 51st Annual Meeting Decommissioning the Fuel Process Building, a Shift in Paradigm for Terminating Safeguards on Process Holdup The Fuel Process Building at the Idaho Nuclear Technology and Engineering Center (INTEC) is being decommissioned after nearly four decades of recovering high enriched uranium from various government owned spent nuclear fuels. The separations process began with fuel dissolution in one of multiple head-ends, followed by three cycles of uranium solvent extraction, and ending with denitration of uranyl nitrate product. The entire process was very complex, and the associated equipment formed an extensive maze of vessels, pumps, piping, and instrumentation within several layers of operating corridors and process cells. Despite formal flushing and cleanout procedures, an accurate accounting for the residual uranium held up in process equipment over extended years of operation, presented a daunting safeguards challenge. Upon cessation of domestic reprocessing, the holdup remained inaccessible and was exempt from measurement during ensuing physical inventories. In decommissioning the Fuel Process Building, the Idaho Cleanup Project, which operates the INTEC, deviated from the established requirements that all nuclear material holdup be measured and credited to the accountability books and that all nuclear materials, except attractiveness level E residual holdup, be transferred to another facility. Instead, the decommissioning involved grouting the process equipment in place, rather than measuring and removing the contained holdup for subsequent transfer. The grouting made the potentially attractiveness level C and D holdup even more inaccessible, thereby effectually converting the holdup to attractiveness level E and allowing for termination of safeguards controls. Prior to grouting the facility, the residual holdup was estimated by limited sampling and destructive analysis of solutions in process lines and by acceptable knowledge based upon the separations process, plant layout, and operating history. The use of engineering estimates, in lieu of approved measurement methods, was justified by the estimated small quantity of holdup remaining, the infeasibility of measuring the holdup in a highly radioactive background, and the perceived hazards to personnel. The alternate approach to quantifying and terminating safeguards on process holdup was approved by deviation.

  18. High-spin structure and Band Termination in $^{103}$Cd

    E-Print Network [OSTI]

    A. Chakraborty; Krishichayan; S. Mukhopadhyay; S. Ray; S. N. Chintalapudi; S. S. Ghugre; N. S. Pattabiraman; A. K. Sinha; S. Sarkar; U. Garg; S. Zhu; M. Saha Sarkar

    2007-09-11

    Excited states of the neutron deficient $^{103}$Cd nucleus have been investigated via the $^{72}$Ge($^{35}$Cl, p3n) reaction at beam energy of 135 MeV by use of in-beam spectroscopic methods. Gamma rays depopulating the excited states were detected using the Gammasphere spectrometer with high-fold $\\gamma$-ray coincidences. A quadrupole $\\gamma$-ray coincidence analysis ($\\gamma^{4}$) has been used to extend the known level scheme. The positive parity levels have been established up to $J = 35/2\\hbar$ and $E_{x} = 7.071$ MeV. In addition to the observation of highly-fragmented level scheme belonging to the positive-parity sequences at E$_{x}\\sim$ 5 MeV, the termination of a negative-parity sequence connected by $E2$ transitions has been established at $J = 47/2 \\hbar$ and $E_{x} = 11.877$ MeV. The experimental results corresponding to both the positive- and negative-parity sequences have been theoretically interpreted in the framework of the core particle coupling model. Evidence is presented for a shape change from collective prolate to non-collective oblate above the $J^{\\pi} = 39/2^{-}$ (8011 keV) level and for a smooth termination of the negative-parity band.

  19. The termination shock in a striped pulsar wind

    E-Print Network [OSTI]

    Y. E. Lyubarsky

    2003-06-22

    The origin of radio emission from plerions is considered. Recent observations suggest that radio emitting electrons are presently accelerated rather than having been injected at early stages of the plerion evolution. The observed flat spectra without a low frequency cutoff imply an acceleration mechanism that raises the average particle energy by few orders of magnitude but leaves most of the particles at the energy less than about few hundred MeV. It is suggested that annihilation of the alternating magnetic field at the pulsar wind termination shock provides the necessary mechanism. Toroidal stripes of opposite magnetic polarity are formed in the wind emanated from an obliquely rotating pulsar magnetosphere (the striped wind). At the termination shock, the flow is compressed and the magnetic field annihilates by driven reconnection. Jump conditions are obtained for the shock in a striped wind. It is shown that postshock MHD parameters of the flow are the same as if the energy of alternating field has already been converted into the plasma energy upstream the shock. Therefore the available estimates of the ratio of the Poynting flux to the matter energy flux, $\\sigma$, should be attributed not to the total upstream Poynting flux but only to that associated with the average magnetic field. A simple model for the particle acceleration in the shocked striped wind is presented.

  20. Three-terminal ferroelectric synapse device with concurrent learning function for artificial neural networks

    SciTech Connect (OSTI)

    Nishitani, Y.; Kaneko, Y.; Ueda, M.; Fujii, E. [Advanced Technology Research Laboratories, Panasonic Corporation, Seika, Kyoto 619-0237 (Japan); Morie, T. [Graduate School of Life Science and Systems Engineering, Kyushu Institute of Technology, Wakamatsu-ku, Kitakyushu 808-0196 (Japan)

    2012-06-15

    Spike-timing-dependent synaptic plasticity (STDP) is demonstrated in a synapse device based on a ferroelectric-gate field-effect transistor (FeFET). STDP is a key of the learning functions observed in human brains, where the synaptic weight changes only depending on the spike timing of the pre- and post-neurons. The FeFET is composed of the stacked oxide materials with ZnO/Pr(Zr,Ti)O{sub 3} (PZT)/SrRuO{sub 3}. In the FeFET, the channel conductance can be altered depending on the density of electrons induced by the polarization of PZT film, which can be controlled by applying the gate voltage in a non-volatile manner. Applying a pulse gate voltage enables the multi-valued modulation of the conductance, which is expected to be caused by a change in PZT polarization. This variation depends on the height and the duration of the pulse gate voltage. Utilizing these characteristics, symmetric and asymmetric STDP learning functions are successfully implemented in the FeFET-based synapse device by applying the non-linear pulse gate voltage generated from a set of two pulses in a sampling circuit, in which the two pulses correspond to the spikes from the pre- and post-neurons. The three-terminal structure of the synapse device enables the concurrent learning, in which the weight update can be performed without canceling signal transmission among neurons, while the neural networks using the previously reported two-terminal synapse devices need to stop signal transmission for learning.

  1. Performance of VAV Parallel Fan Powered Terminal Units: Experimental Results and Models 

    E-Print Network [OSTI]

    Furr, J.; O'Neal, D.; Davis, M.; Bryant, J.; Cramlet, A.

    2008-01-01

    to develop empirical models of airflow, power, and leakage of both parallel and series fan power terminal units. These models are suitable for use in annual energy use models of variable air volume systems in commer- cial buildings. This paper provides a... was the development of empirical models of power and airflow output for parallel and series fan powered terminal units at typical operating pres- sures. An experimental setup was developed and used to test fan powered terminal units from three manufacturers...

  2. The Distribution of Ramsey Numbers

    E-Print Network [OSTI]

    Lane Clark; Frank Gaitan

    2014-11-10

    We prove that the number of integers in the interval [0,x] that are non-trivial Ramsey numbers r(k,n) (3 <= k <= n) has order of magnitude (x ln x)**(1/2).

  3. Digitally controlled distributed phase shifter

    DOE Patents [OSTI]

    Hietala, V.M.; Kravitz, S.H.; Vawter, G.A.

    1993-08-17

    A digitally controlled distributed phase shifter is comprised of N phase shifters. Digital control is achieved by using N binary length-weighted electrodes located on the top surface of a waveguide. A control terminal is attached to each electrode thereby allowing the application of a control signal. The control signal is either one or two discrete bias voltages. The application of the discrete bias voltages changes the modal index of a portion of the waveguide that corresponds to a length of the electrode to which the bias voltage is applied, thereby causing the phase to change through the underlying portion of the waveguide. The digitally controlled distributed phase shift network has a total phase shift comprised of the sum of the individual phase shifters.

  4. Ordered Ramsey numbers David Conlon

    E-Print Network [OSTI]

    Fox, Jacob

    Ordered Ramsey numbers David Conlon Jacob Fox Choongbum Lee Benny Sudakov§ Abstract Given a labeled graph H with vertex set {1, 2, . . . , n}, the ordered Ramsey number r with vertices appearing in the same order as in H. The ordered Ramsey number of a labeled graph H is at least

  5. Hypergraph Ramsey numbers David Conlon

    E-Print Network [OSTI]

    Fox, Jacob

    Hypergraph Ramsey numbers David Conlon Jacob Fox Benny Sudakov Abstract The Ramsey number rk(s, n). In this paper we obtain new estimates for several basic hypergraph Ramsey problems. We give a new upper bound-color Ramsey number r3(n, n, n), which is the minimum N such that every 3-coloring of the triples

  6. Data Compression with Prime Numbers

    E-Print Network [OSTI]

    Gordon Chalmers

    2005-11-16

    A compression algorithm is presented that uses the set of prime numbers. Sequences of numbers are correlated with the prime numbers, and labeled with the integers. The algorithm can be iterated on data sets, generating factors of doubles on the compression.

  7. A Catalytic Mechanism for Cysteine N-Terminal Nucleophile Hydrolases, as Revealed by Free Energy Simulations

    E-Print Network [OSTI]

    2012-01-01

    2 | e32397 A Catalytic Mechanism for Cysteine Ntn-Hydrolaseson the catalytic mechanism of aspartylglucosaminidase (AGA):serine protease- like mechanism with an N-terminal threonine

  8. Multi-terminal Subsystem Model Validation for Pacific DC Intertie

    SciTech Connect (OSTI)

    Yang, Bo; Huang, Zhenyu; Kosterev, Dmitry

    2008-07-20

    this paper proposes to validate dynamic model of Pacific DC Intertie with the concept of hybrid simulation by combing simulation with PMU measurements. The Playback function available in GE PSLF is adopted for hybrid simulation. It is demonstrated for the first time the feasibility of using Playback function on multi-terminal subsystem. Sensitivity studies are also presented as a result of common PMU measurement quality problem, ie, offset noise and time synchronization. Results indicate a good tolerance of PDCI model generally. It is recommended that requirements should apply to phasor measurements in model validation work to ensure better analysis. Key parameters are identified based on impact of value change to model behavior. Two events are employed for preliminary model validation with PMU measurements. Suggestions are made for PDCI model validation work in the future.

  9. Power line carrier interference from HVDC converter terminals

    SciTech Connect (OSTI)

    Tatro, P.J.; Adamson, K.A. (New England Power Service Co., Westborough, MA (United States)); Eitzmann, M.A.; Smead, M. (GE Industrial and Power Systems, Schenectady, NY (United States). Power Systems Engineering Dept.)

    1993-07-01

    Power line carrier (PLC) equipment typically operates in the frequency range from 25 kHz to 300 kHz. Interference studies for HVDC converters usually concentrate on interference from noise sources within this frequency range. However, operating experience at the Sandy Pond converter terminal has indicated that PLC equipment is also susceptible to interference from sources of power system harmonics below the PLC frequency range. Extensive field testing and analytical studies have shown that each PLC circuit has a resonant frequency below the operating frequency. If excited at this resonant frequency, high voltages may exist within the PLC circuit. The resulting saturation of PLC components leads to local generation of radio frequency (RF) noise that interferes with proper operation of PLC circuits. Sources of power system harmonics in the 3-10 kHz range, such as line commutated dc converters, are potential sources of this type of interference.

  10. High pressure, high current, low inductance, high reliability sealed terminals

    DOE Patents [OSTI]

    Hsu, John S. (Oak Ridge, TN) [Oak Ridge, TN; McKeever, John W. (Oak Ridge, TN) [Oak Ridge, TN

    2010-03-23

    The invention is a terminal assembly having a casing with at least one delivery tapered-cone conductor and at least one return tapered-cone conductor routed there-through. The delivery and return tapered-cone conductors are electrically isolated from each other and positioned in the annuluses of ordered concentric cones at an off-normal angle. The tapered cone conductor service can be AC phase conductors and DC link conductors. The center core has at least one service conduit of gate signal leads, diagnostic signal wires, and refrigerant tubing routed there-through. A seal material is in direct contact with the casing inner surface, the tapered-cone conductors, and the service conduits thereby hermetically filling the interstitial space in the casing interior core and center core. The assembly provides simultaneous high-current, high-pressure, low-inductance, and high-reliability service.

  11. Distributed Voltage and Current Control of Multi-Terminal High-Voltage Direct

    E-Print Network [OSTI]

    Dimarogonas, Dimos

    to AC transmission systems. Off-shore wind farms also typically require HVDC power transmission. With increased HVDC line constructions, future HVDC transmission systems are likely to consist of multiple

  12. Terminal Box Airflow Reset: An Effective Operation and Control Strategy for Comfort Improvement and Energy Conservation 

    E-Print Network [OSTI]

    Liu, M.; Abbas, M.; Zhu, Y.; Claridge, D. E.

    2002-01-01

    . It decreases heating, cooling, and fan power significantly. A case study measured 40% of the design airflow reduction in the Air Handling Unit level. This paper presents airflow reset strategies, potential heating and cooling energy savings models...

  13. Control of Aircraft in the Terminal Manoeuvring Area using Parallelised Sequential Monte Carlo

    E-Print Network [OSTI]

    Eele, Alison; Maciejowski, Jan; Chau, Thomas; Luk, Wayne

    and vertical angle P? where ?i is described later in Equation 12. Constraint 2d ensures that the aircraft is pointing towards the runway assuming an East to West landing without significant crosswind. Finally constraint 2e limits the airspeed (Pvs)at which...

  14. Unsteady Aerodynamic Models for Agile Flight at Low Reynolds Numbers

    E-Print Network [OSTI]

    Rowley, Clarence W.

    for Wagner's and Theodorsen's models, making them compatible with modern control-system analysis. A number thanks are to my advisor, Clancy Rowley, who has been both a role model and a source of encouragementUnsteady Aerodynamic Models for Agile Flight at Low Reynolds Numbers Steven L. Brunton

  15. Data Integration and Information Exchange for Enhanced Control and Protection of Power Systems

    E-Print Network [OSTI]

    (SCADA) System . The SCADA system acquires and processes field data through Remote Terminal Units (RTUs substation relaying and control solutions are quite independent from the EMS and SCADA systems

  16. Quantitative Analysis for Controllability of Symmetric Control Systems

    E-Print Network [OSTI]

    Murota, Kazuo

    Quantitative Analysis for Controllability of Symmetric Control Systems Reiko Tanaka 1 and Kazuo with the controllability of systems possessing symmetries. In partic­ ular, we aim to give a lower bound for the number of functioning modules needed to ensure the controllability of the entire symmetric system. Our concern

  17. STATEMENT AND ACKNOWLEDGMENT OMB Control Number: 9000-0014

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust, High-Throughput Analysis of Protein1-0845*RV6STAT 12293GG STATE OF

  18. Mobile Terminal Energy Management for Sustainable Multi-homing Video Transmission

    E-Print Network [OSTI]

    Zhuang, Weihua

    ]. In addition to develop- ing new battery technology with improved capacity, the MT operational period between1 Mobile Terminal Energy Management for Sustainable Multi-homing Video Transmission Muhammad Ismail-system is proposed for mobile terminals (MTs) to support a sustainable multi-homing video transmission, over the call

  19. Ballistic transport and electrical spin signal enhancement in a nanoscale three-terminal spintronic device

    E-Print Network [OSTI]

    Yu, Edward T.

    Ballistic transport and electrical spin signal enhancement in a nanoscale three-terminal spintronic dimensions is investigated and exploited in a nanoscale three-terminal, all-electrical spintronic-electrical spintronic switching device in which ballistic electron transport at nanoscale dimensions combined

  20. Chemical passivity of III-VI bilayer terminated Si,,111... Jonathan A. Adamsa

    E-Print Network [OSTI]

    Olmstead, Marjorie

    Chemical passivity of III-VI bilayer terminated Si,,111... Jonathan A. Adamsa and Aaron A online 17 October 2005 The chemical stability of Si 111 , terminated with bilayer AlSe and GaSe, upon electronic and atomic structure do not imply similar chemical passivity. While Si 111 :GaSe is largely

  1. MANAGEMENT OF DANGEROUS GOODS IN CONTAINER TERMINAL WITH MAS Mansoriya Hamidou*

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    MANAGEMENT OF DANGEROUS GOODS IN CONTAINER TERMINAL WITH MAS MODEL Mansoriya Hamidou* , Dominique the dangerous container storage problem. It is an optimization problem since the aim is to improve the container. Keywords: container terminal, dangerous container, multi-agents system, security 1. INTRODUCTION This paper

  2. Chlorination of hydrogen-terminated silicon ,,111... surfaces Sandrine Rivillon and Yves J. Chabala

    E-Print Network [OSTI]

    Webb, Lauren J.

    Chlorination of hydrogen-terminated silicon ,,111... surfaces Sandrine Rivillon and Yves J. Chabala the chlorination of hydrogen-terminated Si 111 surfaces by three different methods: a exposure to a saturated introduced onto clean silicon surfaces using either vapor deposition under ultrahigh vacuum or by use

  3. Three-dimensional terminally attached self-avoiding walks and bridges

    E-Print Network [OSTI]

    Nathan Clisby; Andrew R. Conway; Anthony J. Guttmann

    2015-07-24

    We study terminally attached self-avoiding walks and bridges on the simple cubic lattice, both by series analysis and Monte Carlo methods. We provide strong numerical evidence supporting a scaling relation between self-avoiding walks, bridges, and terminally attached self-avoiding walks, and posit that a corresponding amplitude ratio is a universal quantity.

  4. Vehicle Dispatching Problem at the Container Terminal with Tandem Lift Quay Cranes 

    E-Print Network [OSTI]

    Xing, Yao

    2013-07-09

    , the tandem lift operations bring new challenges to the vehicle dispatching at terminals and this has become a big issue in the application of tandem lift QCs. The vehicle dispatching at terminals is to enhance the QCs’ productivities by coordinating the QCs...

  5. Signal Processing Algorithms for the Terminal Doppler Weather Radar: Build 2

    E-Print Network [OSTI]

    Cho, John Y. N.

    Signal Processing Algorithms for the Terminal Doppler Weather Radar: Build 2 February 21, 2010 John to the public through the National Technical Information Service, Springfield, VA 22161 Signal Processing) was developed for the Terminal Doppler Weather Radar (TDWR), enhanced signal processing algorithms taking

  6. Termination for a Class of Algorithms for Constructing Algebras Given by Generators and Relations

    E-Print Network [OSTI]

    van Leeuwen, Marc

    Termination for a Class of Algorithms for Constructing Algebras Given by Generators" of the algebra is used. The algorithm itself is only partially specified: it proceed* *s by repeatedly taking* * for selecting steps is assumed. We study the question whether termination of the algorithm is guaranteed

  7. An Effective Termination Criterion for the Rudin-Osher-Fatemi Algorithm for Image Restoration

    E-Print Network [OSTI]

    Lu, Wu-Sheng

    An Effective Termination Criterion for the Rudin-Osher-Fatemi Algorithm for Image Restoration results from the algorithm only when one terminates the algorithm at the "right time" which turns out to be way before the corresponding parabolic partial differential equation converges to its steady

  8. Equational Termination by Semantic Labelling Hitoshi Ohsaki \\Lambda Aart Middeldorp y Jurgen Giesl z

    E-Print Network [OSTI]

    Giesl, Juergen

    Equational Termination by Semantic Labelling Hitoshi Ohsaki \\Lambda Aart Middeldorp y J¨urgen Giesl z Semantic labelling (Zantema [5]) is a powerful tool for proving termination of term rewrite, parameterized by three choices: (1) the well­founded order on the underlying algebra (partial order vs. quasi

  9. Termination Problem of the APO Algorithm Tal Grinshpoun, Moshe Zazon, Maxim Binshtok, and Amnon Meisels

    E-Print Network [OSTI]

    Meisels, Amnon

    Termination Problem of the APO Algorithm Tal Grinshpoun, Moshe Zazon, Maxim Binshtok, and Amnon. Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed contradict the termination and consequently the completeness of the APO algo- rithm. A correction

  10. Small-Angle Neutron Scattering Studies of Charged Carboxyl-Terminated Dendrimers in Solutions

    E-Print Network [OSTI]

    Dubin, Paul D.

    Small-Angle Neutron Scattering Studies of Charged Carboxyl-Terminated Dendrimers in Solutions Q. R-angle neutron scattering was used to characterize the solution behavior of charged carboxylic acid terminated- copy,16 small-angle X-ray scattering,17 and small-angle neutron scattering (SANS),18-25 have been used

  11. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

    E-Print Network [OSTI]

    Zanardini, Damiano

    COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E. Albert1 and termination together is interesting, as both analyses share most of the machinery to, respectively, infer cost analysis share most of the system machinery, as they need to consider and infer roughly the same

  12. Compendium of Experimental Cetane Numbers

    SciTech Connect (OSTI)

    Yanowitz, J.; Ratcliff, M. A.; McCormick, R. L.; Taylor, J. D.; Murphy, M. J.

    2014-08-01

    This report is an updated version of the 2004 Compendium of Experimental Cetane Number Data and presents a compilation of measured cetane numbers for pure chemical compounds. It includes all available single compound cetane number data found in the scientific literature up until March 2014 as well as a number of unpublished values, most measured over the past decade at the National Renewable Energy Laboratory. This Compendium contains cetane values for 389 pure compounds, including 189 hydrocarbons and 201 oxygenates. More than 250 individual measurements are new to this version of the Compendium. For many compounds, numerous measurements are included, often collected by different researchers using different methods. Cetane number is a relative ranking of a fuel's autoignition characteristics for use in compression ignition engines; it is based on the amount of time between fuel injection and ignition, also known as ignition delay. The cetane number is typically measured either in a single-cylinder engine or a constant volume combustion chamber. Values in the previous Compendium derived from octane numbers have been removed, and replaced with a brief analysis of the correlation between cetane numbers and octane numbers. The discussion on the accuracy and precision of the most commonly used methods for measuring cetane has been expanded and the data has been annotated extensively to provide additional information that will help the reader judge the relative reliability of individual results.

  13. Number

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouthReport for the Weldon Spring,7=cr5rnP 7694 i+lJNew York,' , /v-i 2

  14. Control rod driveline and grapple

    DOE Patents [OSTI]

    Germer, John H. (San Jose, CA)

    1987-01-01

    A control rod driveline and grapple is disclosed for placement between a control rod drive and a nuclear reactor control rod containing poison for parasitic neutron absorption required for reactor shutdown. The control rod is provided with an enlarged cylindrical handle which terminates in an upwardly extending rod to provide a grapple point for the driveline. The grapple mechanism includes a tension rod which receives the upwardly extending handle and is provided with a lower annular flange. A plurality of preferably six grapple segments surround and grip the control rod handle. Each grapple rod segment grips the flange on the tension rod at an interior upper annular indentation, bears against the enlarged cylindrical handle at an intermediate annulus and captures the upwardly flaring frustum shaped handle at a lower and complementary female segment. The tension rods and grapple segments are surrounded by and encased within a cylinder. The cylinder terminates immediately and outward extending annulus at the lower portion of the grapple segments. Excursion of the tension rod relative to the encasing cylinder causes rod release at the handle by permitting the grapple segments to pivot outwardly and about the annulus on the tension rod so as to open the lower defined frustum shaped annulus and drop the rod. Relative movement between the tension rod and cylinder can occur either due to electromagnetic release of the tension rod within defined limits of travel or differential thermal expansion as between the tension rod and cylinder as where the reactor exceeds design thermal limits.

  15. Random Numbers Certified by Bell's Theorem

    E-Print Network [OSTI]

    S. Pironio; A. Acin; S. Massar; A. Boyer de la Giroday; D. N. Matsukevich; P. Maunz; S. Olmschenk; D. Hayes; L. Luo; T. A. Manning; C. Monroe

    2010-10-19

    Randomness is a fundamental feature in nature and a valuable resource for applications ranging from cryptography and gambling to numerical simulation of physical and biological systems. Random numbers, however, are difficult to characterize mathematically, and their generation must rely on an unpredictable physical process. Inaccuracies in the theoretical modelling of such processes or failures of the devices, possibly due to adversarial attacks, limit the reliability of random number generators in ways that are difficult to control and detect. Here, inspired by earlier work on nonlocality based and device independent quantum information processing, we show that the nonlocal correlations of entangled quantum particles can be used to certify the presence of genuine randomness. It is thereby possible to design of a new type of cryptographically secure random number generator which does not require any assumption on the internal working of the devices. This strong form of randomness generation is impossible classically and possible in quantum systems only if certified by a Bell inequality violation. We carry out a proof-of-concept demonstration of this proposal in a system of two entangled atoms separated by approximately 1 meter. The observed Bell inequality violation, featuring near-perfect detection efficiency, guarantees that 42 new random numbers are generated with 99% confidence. Our results lay the groundwork for future device-independent quantum information experiments and for addressing fundamental issues raised by the intrinsic randomness of quantum theory.

  16. Pipeline MT Instructions Identification Number

    E-Print Network [OSTI]

    Hong, Don

    Pipeline MT Instructions Identification Number For identification purposes, you will be assigned a special identification number. M# You can activate your MT email, login to PipelineMT to register for classes or pay tuition and fees. Activating the MTSU Email and PipelineMT accounts: Visit the website

  17. High-spin structure and Band Termination in $^{103}$Cd

    E-Print Network [OSTI]

    Chakraborty, A; Mukhopadhyay, S; Ray, S; Chintalapudi, S N; Ghugre, S S; Pattabiraman, N S; Sinha, A K; Sarkar, S; Garg, U; Zhu, S; Sarkar, M Saha

    2007-01-01

    Excited states of the neutron deficient $^{103}$Cd nucleus have been investigated via the $^{72}$Ge($^{35}$Cl, p3n) reaction at beam energy of 135 MeV by use of in-beam spectroscopic methods. Gamma rays depopulating the excited states were detected using the Gammasphere spectrometer with high-fold $\\gamma$-ray coincidences. A quadrupole $\\gamma$-ray coincidence analysis ($\\gamma^{4}$) has been used to extend the known level scheme. The positive parity levels have been established up to $J = 35/2\\hbar$ and $E_{x} = 7.071$ MeV. In addition to the observation of highly-fragmented level scheme belonging to the positive-parity sequences at E$_{x}\\sim$ 5 MeV, the termination of a negative-parity sequence connected by $E2$ transitions has been established at $J = 47/2 \\hbar$ and $E_{x} = 11.877$ MeV. The experimental results corresponding to both the positive- and negative-parity sequences have been theoretically interpreted in the framework of the core particle coupling model. Evidence is presented for a shape chan...

  18. N-terminal protein processing: A comparative proteogenomic analysis

    SciTech Connect (OSTI)

    Bonissone, Stefano; Gupta, Nitin; Romine, Margaret F.; Bradshaw, Ralph A.; Pevzner, Pavel A.

    2013-01-01

    N-Terminal Methionine Excision (NME) is a universally conserved mechanism with the same specificity across all life forms that removes the first Methionine in proteins when the second residue is Gly, Ala, Ser, Cys, Thr, Pro, or Val. In spite of its necessity for proper cell functioning, the functional role of NME remains unclear. In 1988, Arfin and Bradshaw connected NME with the N-end protein degradation rule and postulated that the role of NME is to expose the stabilizing residues with the goal to resist protein degradation. While this explanation (that treats 7 stabilizing residues in the same manner) has become the de facto dogma of NME, comparative proteogenomics analysis of NME tells a different story. We suggest that the primary role of NME is to expose only two (rather than seven) amino acids Ala and Ser for post-translational modifications (e.g., acetylation) rather than to regulate protein degradation. We argue that, contrary to the existing view, NME is not crucially important for proteins with 5 other stabilizing residue at the 2nd positions that are merely bystanders (their function is not affected by NME) that become exposed to NME because their sizes are comparable or smaller than the size of Ala and Ser.

  19. Defining the Termination of the Asymptotic Giant Branch

    E-Print Network [OSTI]

    Noam Soker

    2007-12-22

    I suggest a theoretical quantitative definition for the termination of the asymptotic giant branch (AGB) phase and the beginning of the post-AGB phase. I suggest that the transition will be taken to occur when the ratio of the dynamical time scale to the the envelope thermal time scale, Q, reaches its maximum value. Time average values are used for the different quantities, as the criterion does not refer to the short time-scale variations occurring on the AGB and post-AGB, e.g., thermal pulses (helium shell flashes) and magnetic activity. Along the entire AGB the value of Q increases, even when the star starts to contract. Only when a rapid contraction starts does the value of Q start to decrease. This criterion captures the essence of the transition from the AGB to the post AGB phase, because Q is connected to the stellar effective temperature, reaching its maximum value at T~4000-6000 K, it is related to the mass loss properties, and it reaches its maximum value when rapid contraction starts and envelope mass is very low.

  20. Types of random numbers and Monte Carlo Methods Pseudorandom number generation

    E-Print Network [OSTI]

    Mascagni, Michael

    Types of random numbers and Monte Carlo Methods Pseudorandom number generation Quasirandom number generation Conclusions WE246: Random Number Generation A Practitioner's Overview Prof. Michael Mascagni #12;Types of random numbers and Monte Carlo Methods Pseudorandom number generation Quasirandom number

  1. The effect of weaving maneuvers on operation of a free right-turn lane at ramp terminals 

    E-Print Network [OSTI]

    Park, Minchul

    2006-04-12

    Service interchange ramp terminals provide access from the local highway or urban street system to the freeway. In urban areas, the ramp terminals at the arterial road are usually signalized for separation of all high-volume conflicting movements...

  2. Termination of the 12C(12C,12C[3-])12C[3-] band of resonances

    E-Print Network [OSTI]

    C. A. Bremner; S. P. G. Chappell; I. Boztosun; B. Fulton; D. L. Watson; B. J. Greenhalgh; G. K. Dillon; R. L. Cowin; M. Freer; M. P. Nicoli; S. M. Singer

    2001-10-10

    New experimental data for the 12C+12C reaction have been measured in the centre-of-mass energy range E_{c.m.}= 40 to 60 MeV. Excitation functions for a number of single and mutual $^{12}$C inelastic channels have been measured which include the 0_{gs}, 2_{1}^+, 0_{2}^+, 3_{1}^-, and 4$_1^+$ 12C states. All of the reactions display largely unstructured excitation functions over this energy range. The absence of further resonances in this energy region for the 12C(12C,2C[3_1^-])12C[3_1^-$] reaction confirms theoretical predictions of the termination of the band of resonances found at lower centre-of-mass energies in this channel.

  3. Evolution of Plasma Parameters in the Termination Phase of High Confinement H-modes at JET and Implications for ITER

    E-Print Network [OSTI]

    Evolution of Plasma Parameters in the Termination Phase of High Confinement H-modes at JET and Implications for ITER

  4. 17-Hydroxyprogesterone caproate to prolong pregnancy after preterm rupture of the membranes: early termination of a double-blind, randomized clinical trial

    E-Print Network [OSTI]

    2011-01-01

    of the membranes: early termination of a double-blind,of the membranes: early termination of a double-blind,Because of premature termination, the trial does not have

  5. Terminal Chaos: Why U.S. AirTravel Is

    E-Print Network [OSTI]

    . Unless aviation infrastructure (airports and air traffic control) were also transformed by market forces success in democ- ratizing air travel. It unleashed competition that transformed air travel from a luxury

  6. Three-terminal semiconductor laser for wave mixing 

    E-Print Network [OSTI]

    Belyanin, Alexey; Kocharovsky, V.; Kocharovsky, V.; Scully, Marlan O.

    2002-01-01

    We suggest and analyze the concept of a semiconductor laser device that incorporates two basic ideas: (i) dual-wavelength generation of two optical fields on the interband transitions with independent control of each field in a three...

  7. Dynamic reconfiguration of terminal airspace during convective weather

    E-Print Network [OSTI]

    Michalek, Diana

    Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National Airspace System (NAS) in ways that allow air traffic control to better manage aircraft flows. Although past research has largely focused ...

  8. Substrate Atomic-Termination-Induced Anisotropic Growth of ZnO Nanowires/Nanorods by the VLS Process

    E-Print Network [OSTI]

    Wang, Zhong L.

    Substrate Atomic-Termination-Induced Anisotropic Growth of ZnO Nanowires/Nanorods by the VLSO substrate, we demonstrate the effect of substrate surface termination on nanowire growth. Symmetric) substrates have asymmetrically grown nanostructures. For the Zn-terminated (0001) substrate surface, uniform

  9. UNIVERSITY OF FLORIDA 6C1-7.048 Academic Affairs; Suspension, Termination, and Other Disciplinary Action for

    E-Print Network [OSTI]

    Sin, Peter

    1 RULES OF UNIVERSITY OF FLORIDA 6C1-7.048 Academic Affairs; Suspension, Termination, and Other Disciplinary Action for Faculty: Definition of Just Cause, Termination, Suspension, and Other Disciplinary for termination, suspension, and/or other disciplinary action imposed on a faculty member shall be defined

  10. PUBLISHED ONLINE: 26 JANUARY 2015 | DOI: 10.1038/NGEO2329 The time-transgressive termination of the African

    E-Print Network [OSTI]

    Fay, Noah

    -transgressive termination of the African Humid Period Timothy M. Shanahan1 *, Nicholas P. McKay2 , Konrad A. Hughen3 of the African monsoon. Hydrologic reconstructions from arid North Africa show an abrupt onset and termination of hydrologic reconstructions from across Africa shows that the termination of the African Humid Period

  11. Output Harmonic Termination Techniques for AlGaN/GaN HEMT Power Amplifiers Using Active Integrated Antenna Approach

    E-Print Network [OSTI]

    Itoh, Tatsuo

    Output Harmonic Termination Techniques for AlGaN/GaN HEMT Power Amplifiers Using Active Integrated 1200, Los Angeles, CA 90045 Abstract -- In this paper, effects of output harmonic terminations on PAE termination, we observe a substantial increase in PAE and output power. Further, we demonstrate the high

  12. Enhanced self-termination of re-entrant arrhythmias as a pharmacological strategy for anti-arrhythmic action.

    E-Print Network [OSTI]

    Biktashev, Vadim N.

    1 Enhanced self-termination of re-entrant arrhythmias as a pharmacological strategy for anti-diffusion equations. A spiral wave in a bounded medium can be terminated if its core reaches a boundary. Ventricular tachyarrhythmias in patients are sometimes observed to spontaneously self-terminate. One possible mechanism

  13. UCF-3.0124 Discipline and Termination for Cause of Non-unit Faculty and A&P Staff Members.

    E-Print Network [OSTI]

    Wu, Shin-Tson

    UCF-3.0124 Discipline and Termination for Cause of Non-unit Faculty and A&P Staff Members. (1) Just cause shall be defined as: (a) Incompetence; or (b) Misconduct. (2) Termination and Suspension. (a) The appointment of a non-unit faculty or an A&P staff member may be terminated or suspended during its term

  14. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 24, 159-174 (2008) Improving the Efficacy of a Termination Detection Algorithm*

    E-Print Network [OSTI]

    Mittal, Neeraj

    2008-01-01

    of a Termination Detection Algorithm* SATHYA PERI AND NEERAJ MITTAL Department of Computer Science The University@utdallas.edu} An important problem in distributed systems is to detect termination of a distributed computation. A distributed computation is said to have terminated when all processes have become passive and all channels

  15. Motion at low Reynolds number

    E-Print Network [OSTI]

    Tam, Daniel See Wai, 1980-

    2008-01-01

    The work described in this thesis centers on inertialess motion at low Reynolds numbers at the crossroad between biofluids and microfluids. Here we address questions regarding locomotion of micro-swimmers, transport of ...

  16. Departmental Business Instrument Numbering System

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2005-01-27

    The Order prescribes the procedures for assigning identifying numbers to all Department of Energy (DOE) and National Nuclear Security Administration (NNSA) business instruments. Cancels DOE O 540.1. Canceled by DOE O 540.1B.

  17. Departmental Business Instrument Numbering System

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-12-05

    To prescribe procedures for assigning identifying numbers to all Department of Energy (DOE), including the National Nuclear Security Administration, business instruments. Cancels DOE 1331.2B. Canceled by DOE O 540.1A.

  18. MOTOR POOL RESERVATIONS Reservation Number:_______________

    E-Print Network [OSTI]

    Ottino, Julio M.

    of Department Chair or Organization Advisor: ________________________________________ Chart String Number: Fund: ______________________________________________________________________ Name of Department or Organization: _____________________________________________________ Name reservations require the "Organization Authorization for University Vehicles" form to be faxed to Motor Pool

  19. Recent results at ultrahigh spin: Terminating states and beyond in mass 160 rare-earth nuclei

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Paul, E. S.; Rees, J. M.; Hampson, P.; Riley, M. A.; Simpson, J.; Ayangeakaa, A. D.; Baron, J. S.; Carpenter, M. P.; Chiara, C. J.; Garg, U.; et al

    2015-01-01

    A classic region of band termination at high spin occurs in rare-earth nuclei with around ten valence nucleons above the 146Gd closed core. The results are presented here for such non-collective oblate (? = 60°) terminating states in odd-Z 155Ho, odd–odd 156Ho, and even–even 156Er, where they are compared with neighboring nuclei. In addition to these particularly favoured states, the occurrence of collective triaxial strongly deformed (TSD) bands, bypassing the terminating states and extending to over 65?, is reviewed.

  20. Termination of Reentry in an Inhomogeneous Ring of Model Cardiac Cells

    E-Print Network [OSTI]

    Sitabhra Sinha; David J. Christini

    2003-04-21

    Reentrant waves propagating in a ring or annulus of excitable media model is the basic mechanism underlying a major class of irregular cardiac rhythms known as anatomical reentry. Such reentrant waves are terminated by rapid electrical stimulation (pacing) from an implantable device. Because the mechanisms of such termination are poorly understood, we study pacing of anatomical reentry in a one-dimensional ring of model cardiac cells. For realistic off-circuit pacing, our model-independent results suggest that circuit inhomogeneities, and the electrophysiological dynamical changes they introduce, may be essential for terminating reentry in some cases.

  1. Monitoring Environmental Recovery at Terminated Produced Water Discharge Sites in Coastal Louisiana Waters

    SciTech Connect (OSTI)

    Continental Shelf Associates, Inc.

    1999-08-16

    This report presents the results of a study of terminated produced water discharge sites in the coastal waters of Louisiana. Environmental recovery at the sites is documented by comparing pre-termination and post-termination (six months and one year) data. Produced water, sediments, and sediment interstitial water samples were analyzed for radionuclides, metals, and hydrocarbons. Benthic infauna were identified from samples collected in the vicinity of the discharge and reference sites. Radium isotope activities were determined in fish and crustacean samples. In addition, an environmental risk assessment is made on the basis of the concentrations of metals and hydrocarbons determined in the samples.

  2. Search for the Heliospheric Termination Shock (TS) and Heliosheath (HS)

    SciTech Connect (OSTI)

    Ness, Norman F. [Bartol Research Institute, University of Delaware, Newark, DE 19716 (United States); Burlaga, Leonard F.; Acuna, Mario H. [NASA-Goddard Space Flight Center, Greenbelt, MD 20771 (United States); Stone, Edward C. [California Institute of Technology, Pasadena, CA 91109 (United States); McDonald, Frank B. [Institute for Physical Science and Technology, University of Maryland, College Park, MD 20742 (United States)

    2005-08-01

    Voyager 1 continues to measure the very distant Heliospheric Magnetic Field (HMF) beyond 95 AU at {approx}35 North latitude. The MAG instrument data covers more than a full 22 years solar magnetic cycle. The magnitude of the observed HMF is well described, on average, by Parker's Archimedean spiral structure if due account is made for time variations of the source field strength and solar wind velocity. The V1 magnetic field observations do not provide any evidence for a field increase associated with entry into a subsonic solar wind region, such as the heliosheath is expected to be, nor an exit from this regime. We see no evidence for crossing of the Termination Shock (TS) as has been reported at {approx}85 AU by the LECP instrument. Merged Interaction Regions are identified by an increased HMF and associated decreases in the flux of >70 MeV/nuc cosmic rays which are then followed by a flux recovery. This CR-B relationship has been identified in V1 data and studied since 1982 when V1 was at 11 AU. The variance of HMF, a direct measure of the energy**1/2 in the HMF fluctuations, shows no significant changes associated with the alleged TS crossings in 2002-2003. Thus, the absence of any HMF increase at the entry into the heliosheath appears not to be due to the onset of mesoscale turbulence as proposed by Fisk. The TS has yet to be directly observed in-situ by the V1 MAG experiment in data through 2003.

  3. Kentucky Natural Gas Number of Residential Consumers (Number of Elements)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustments (Billion Cubic Feet) Wyoming963Residential Consumers (Number of Elements) Kentucky Natural Gas Number

  4. Supplementary information to "Dynamics of initiation, termination and reinitiation of DNA translocation by the motor protein EcoR124I"

    E-Print Network [OSTI]

    Seidel, Ralf

    - 1 - Supplementary information to "Dynamics of initiation, termination and reinitiation of DNA resting length due to termination of translocation. Considering only one of the translocation directions

  5. TRANSPORT NUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION

    E-Print Network [OSTI]

    De Jonghe, Lutgard C.

    2014-01-01

    NUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION LutgardNUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION LutgardNUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION Lutgard

  6. TRANSPORT NUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION

    E-Print Network [OSTI]

    De Jonghe, Lutgard C.

    2012-01-01

    NUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION LutgardNUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION LutgardNUMBER GRADIENTS AND SOLID ELECTROLYTE DEGRADATION Lutgard

  7. Development of models for series and parallel fan variable air volume terminal units 

    E-Print Network [OSTI]

    Furr, James C., Jr

    2007-09-17

    Empirical models of airflow output and power consumption were developed for series and parallel fan powered variable air volume terminal units at typical design pressure conditions. A testing procedure and experimental setup were developed to test...

  8. Prfungen 1. Termin HS2015 fr Bachelor / Master Chemie und Molekulare Wissenschaften

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Prüfungen 1. Termin HS2015 für Bachelor / Master Chemie und Molekulare Wissenschaften Bachelor nur eine Berichtsabgabe erfolgt. · Die Wiederholungsprüfungstermine aus dem Bereich Chemie, Biochemie for exam admittance or grade calculation under the individual KSL entries. Departement für Chemie und

  9. Edinburgh Research Explorer Brr2p carboxy-terminal Sec63 domain modulates Prp16 splicing

    E-Print Network [OSTI]

    Millar, Andrew J.

    , JD & Beggs, JD 2014, 'Brr2p carboxy- terminal Sec63 domain modulates Prp16 splicing RNA helicase , Cosmin Saveanu3 , J. David Barrass1 and Jean D. Beggs1,* 1 Wellcome Trust Centre for Cell Biology

  10. Vulnerability of ex vivo ?-motor nerve terminals to hypoxia-reperfusion injury. 

    E-Print Network [OSTI]

    Baxter, Rebecca L.

    2010-01-01

    A growing body of evidence shows that presynaptic nerve terminals throughout the nervous system are vulnerable to a range of traumatic, toxic and disease-related neurodegenerative stimuli. The aim of this study was to ...

  11. Automated identification of terminal area air traffic flows and weather related deviations

    E-Print Network [OSTI]

    Ng, Tony M. Eng. Massachusetts Institute of Technology

    2008-01-01

    Air traffic in terminal air space is very complex, making it very difficult to identify air traffic flows. Finding air traffic flows and flow boundaries are very helpful in analyzing how air traffic would react to weather. ...

  12. Prediction of Terminal-Area Weather Penetration Based on Operational Factors

    E-Print Network [OSTI]

    Lin, Yi-Hsin

    Convective weather is known to reduce airspace capacity, but the extent of the impact is not well understood. Understanding how weather affects terminal area capacity is essential for quantification of the uncertainty in ...

  13. Bayesian-lopa methodology for risk assessment of an LNG importation terminal 

    E-Print Network [OSTI]

    Yun, Geun-Woong

    2009-05-15

    LNG (Liquefied Natural Gas) is one of the fastest growing energy sources in the U.S. to fulfill the increasing energy demands. In order to meet the LNG demand, many LNG facilities including LNG importation terminals are operating currently...

  14. Electronic structure analyses and activation studies of a dinitrogen-derived terminal nitride of molybdenum

    E-Print Network [OSTI]

    Sceats, Emma Louise, 1978-

    2004-01-01

    Chapter 1: Complexes obtained by electrophilic attack on a dinitrogen-derived terminal molybdenum nitride: Electronic structure analysis by solid state CP/MAS ¹?N NMR in combination ... Chapter 2. Carbene chemistry in the ...

  15. A Study on the Effects of Unwanted Air Infiltration on Thermal Comfort at an Airport Terminal 

    E-Print Network [OSTI]

    Lander, B.; Wei, G.; Claridge, D.; Caeiro, J.

    2009-01-01

    the comfort levels that people have become accustomed to in public buildings. Airport terminal buildings, such as the one in this study, built before the current energy awareness that is prevalent today have many problems associated with air infiltration...

  16. Do all raindrops fall at terminal speed? Guillermo Montero-Martinez,1,2

    E-Print Network [OSTI]

    Kostinski, Alex

    Do all raindrops fall at terminal speed? Guillermo Montero-Marti´nez,1,2 Alexander B. Kostinski,3 periods of high rainfall rates). Citation: Montero-Marti´nez, G., A. B. Kostinski, R. A. Shaw, and F

  17. SCADA computer sytem controls major Saudi Aramco crude oil pipeline

    SciTech Connect (OSTI)

    Dempsey, J.; Al-Habib, R. [Saudi Aramco, Dhahran (Saudi Arabia)

    1996-12-31

    A replacement Supervisory Control and Data Acquisition (SCADA) computer system which monitors and controls two 1,100 kilometer pipelines and eleven associated pump stations is described. The SCADA system was designed to meet two objectives: (1) decentralize the overall control system and provide a distributed control system capable of regulatory control at each pump and pressure reducing station, and (2) provide system wide monitoring and supervisory control function during normal operations at the crude oil terminal. The SCADA computer system hardware (host computers and consoles), software modules, and applications are overviewed. A data flow diagram and a hardware configuration diagram are provided. 3 figs.

  18. Performance of VAV Fan Powered Terminal Units: Experimental Results and Models for Parallel Units 

    E-Print Network [OSTI]

    Furr, J.; O'Neal, D.; Davis, M.; Bryant, J.; Cramlet, A.

    2008-01-01

    Empirical models of airflow output, power consumption, and primary airflow were developed for parallel fan powered variable air volume terminal units at typical operating pres- sures. Both 8 in. (203 mm) and 12 in. (304 mm) primary air inlet terminal units... from three manufacturers were evaluated. Generalized models were developed from the experimental data with coefficients varying by size and manufacturer. Fan power and airflow data were collected at down- stream static pressures over a range from 0...

  19. Performance of VAV Fan Powered Terminal Units: Experimental Results and Models for Series Units 

    E-Print Network [OSTI]

    Furr, J.; O'Neal, D.; Davis, M.; Bryant, J.; Cramlet, A.

    2008-01-01

    Empirical models of airflow output and power consump- tion were developed for series fan powered variable air volume terminal units at typical operating pressures. Terminal units with 8 in. (203 mm) and 12 in. (304 mm) primary air inlets from three different... manufacturers were evaluated. Generalized models were developed from the experimental data with coef- ficients varying by size and manufacturer. Fan power and airflow data were collected at downstream static pressures of 0.25 w.g. (63 Pa). Upstream static...

  20. Horizontal cryogenic bushing for the termination of a superconducting power-transmission line

    DOE Patents [OSTI]

    Minati, K.F.; Morgan, G.H.; McNerney, A.J.; Schauer, F.

    1982-07-29

    A termination for a superconducting power transmission line is disclosed which is comprised of a standard air entrance insulated vertical bushing with an elbow, a horizontal cryogenic bushing linking the pressurized cryogenic cable environment to the ambient temperature bushing and a stress cone which terminated the cable outer shield and transforms the large radial voltage gradient in the cable dielectric into a much lower radial voltage gradient in the high density helium coolant at the cold end of the cryogenic bushing.

  1. EIS-0493: Corpus Christi LNG Terminal and Pipeline Project, Nueces and San Patricio Counties, Texas

    Broader source: Energy.gov [DOE]

    The Federal Energy Regulatory Commission (FERC) prepared, with DOE as a cooperating agency, an EIS to analyze the potential environmental impacts of a proposal to construct and operate a liquefied natural gas export and import terminal on the north shore of Corpus Christi Bay in Nueces and San Patricio Counties, Texas; a marine berth connecting the terminal to the adjacent La Quinta Channel; and an approximately 23-mile-long natural gas transmission pipeline and associated facilities.

  2. Termination for a superconducting power transmission line including a horizontal cryogenic bushing

    DOE Patents [OSTI]

    Minati, Kurt F. (Northport, NY); Morgan, Gerry H. (Patchogue, NY); McNerney, Andrew J. (Shoreham, NY); Schauer, Felix (Upton, NY)

    1984-01-01

    A termination for a superconducting power transmission line is disclosed which is comprised of a standard air entrance insulated vertical bushing with an elbow, a horizontal cryogenic bushing linking the pressurized cryogenic cable environment to the ambient temperature bushing and a stress cone which terminates the cable outer shield and transforms the large radial voltage gradient in the cable dielectric into a much lower radial voltage gradient in the high density helium coolant at the cold end of the cryogenic bushing.

  3. Experimental determination of Ramsey numbers

    E-Print Network [OSTI]

    Zhengbing Bian; Fabian Chudak; William G. Macready; Lane Clark; Frank Gaitan

    2013-08-14

    Ramsey theory is a highly active research area in mathematics that studies the emergence of order in large disordered structures. Ramsey numbers mark the threshold at which order first appears and are extremely difficult to calculate due to their explosive rate of growth. Recently, an algorithm that can be implemented using adiabatic quantum evolution has been proposed that calculates the two-color Ramsey numbers $R(m,n)$. Here we present results of an experimental implementation of this algorithm and show that it correctly determines the Ramsey numbers R(3,3) and $R(m,2)$ for $4\\leq m\\leq 8$. The R(8,2) computation used 84 qubits of which 28 were computational qubits. This computation is the largest experimental implementation of a scientifically meaningful adiabatic evolution algorithm that has been done to date.

  4. Distribution, Morphology, and Synaptic Targets of Corticothalamic Terminals in

    E-Print Network [OSTI]

    Casanova, Christian

    Vision, E´ cole d'Optome´trie, Universite´ de Montre´al, Montre´al, Que´bec, Canada H3C 3J7 2 De´partement de Physiologie, Universite´ de Montre´al, Montre´al, Que´bec, Canada H3C 3J7 3 Department number: NS35377 (to M.E.B.). Scholarship sponsor: Fonds de la Recherche en Sante´ du Que´bec Fellowship

  5. Constrained Ramsey Numbers of Graphs

    E-Print Network [OSTI]

    Jiang, Tao

    Constrained Ramsey Numbers of Graphs Robert E. Jamison,1 Tao Jiang,2* and Alan C. H. Ling3 1-like trees. � 2002 Wiley Periodicals, Inc. J Graph Theory 42: 1­16, 2003 Keywords: Ramsey; monochromatic edges have the same color and rainbow iff all of its edges have different colors. In classical Ramsey

  6. Constraining the atmospheric composition of the day-night terminators of HD 189733b: Atmospheric retrieval with aerosols

    SciTech Connect (OSTI)

    Lee, Jae-Min; Irwin, Patrick G. J.; Fletcher, Leigh N.; Barstow, Joanna K.; Heng, Kevin

    2014-07-01

    A number of observations have shown that Rayleigh scattering by aerosols dominates the transmission spectrum of HD 189733b at wavelengths shortward of 1 ?m. In this study, we retrieve a range of aerosol distributions consistent with transmission spectroscopy between 0.3-24 ?m that were recently re-analyzed by Pont et al. To constrain the particle size and the optical depth of the aerosol layer, we investigate the degeneracies between aerosol composition, temperature, planetary radius, and molecular abundances that prevent unique solutions for transit spectroscopy. Assuming that the aerosol is composed of MgSiO{sub 3}, we suggest that a vertically uniform aerosol layer over all pressures with a monodisperse particle size smaller than about 0.1 ?m and an optical depth in the range 0.002-0.02 at 1 ?m provides statistically meaningful solutions for the day/night terminator regions of HD 189733b. Generally, we find that a uniform aerosol layer provide adequate fits to the data if the optical depth is less than 0.1 and the particle size is smaller than 0.1 ?m, irrespective of the atmospheric temperature, planetary radius, aerosol composition, and gaseous molecules. Strong constraints on the aerosol properties are provided by spectra at wavelengths shortward of 1 ?m as well as longward of 8 ?m, if the aerosol material has absorption features in this region. We show that these are the optimal wavelengths for quantifying the effects of aerosols, which may guide the design of future space observations. The present investigation indicates that the current data offer sufficient information to constrain some of the aerosol properties of HD189733b, but the chemistry in the terminator regions remains uncertain.

  7. NOTIFICATION OF TERMINATION FOR HEALTH BENEFITS It is extremely important that this form is completed and faxed to the Employee Benefits

    E-Print Network [OSTI]

    Boynton, Walter R.

    NOTIFICATION OF TERMINATION FOR HEALTH BENEFITS It is extremely important that this form subsidized benefits. NOTE: Please do not send a Notice of Termination form for an employee who):__________________________________________ _ Check one box in each of the following columns: Termination Reason Terminated Resigned Deceased - Date

  8. VOLUME NUMBER E DECEMBER 1997

    E-Print Network [OSTI]

    are calculated in terms single unknown parameter, Consequently, this parameter also controls rates GsK !p 1 2 dy.20 0.04, more than above value obtained from simultaneous fit. Our previous search decay mode 1 !p 1 magnetic field. each 1.5­s beam spill, approximately 3 3 5 kaons enter stopping target. Requiring a delay

  9. Louisiana Natural Gas Number of Residential Consumers (Number of Elements)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustments (Billion Cubic Feet) Wyoming963Residential Consumers (Number of33Cubic Foot)Year Jan

  10. California Natural Gas Number of Residential Consumers (Number of Elements)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustments (Billion Cubic Feet) Wyoming963 1.969 1.979Coal4 ArizonaResidential Consumers (Number of Elements)

  11. Nebraska Natural Gas Number of Industrial Consumers (Number of Elements)

    U.S. Energy Information Administration (EIA) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home PageMonthly","10/2015"4,"Ames5 Tables July 1996 Energy Information Administration Office of Coal, Nuclear,Decade Year-03.823,172 3,009165,360Industrial Consumers (Number of

  12. Nebraska Natural Gas Number of Residential Consumers (Number of Elements)

    U.S. Energy Information Administration (EIA) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home PageMonthly","10/2015"4,"Ames5 Tables July 1996 Energy Information Administration Office of Coal, Nuclear,Decade Year-03.823,172 3,009165,360Industrial Consumers (Number

  13. North Dakota Natural Gas Number of Industrial Consumers (Number of

    U.S. Energy Information Administration (EIA) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home PageMonthly","10/2015"4,"Ames5 Tables July 1996 Energy Information Administration Office of Coal, Nuclear,DecadeYear Jan FebElements) Industrial Consumers (Number of

  14. North Dakota Natural Gas Number of Residential Consumers (Number of

    U.S. Energy Information Administration (EIA) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home PageMonthly","10/2015"4,"Ames5 Tables July 1996 Energy Information Administration Office of Coal, Nuclear,DecadeYear Jan FebElements) Industrial Consumers (Number

  15. Instrumentation & Controls Electrical Engineer | Princeton Plasma...

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

    Instrumentation & Controls Electrical Engineer Department: Engineering Supervisor(s): Tim Stevenson Staff: EM 4 Requisition Number: 151018 Provides general Electrical Engineering,...

  16. The Fermat and Mersenne Numbers 

    E-Print Network [OSTI]

    Nowlin, W. D.

    1960-01-01

    . (Throughout this thesis, F will always denote a Feraat nmaber and M a Mersenne nuuber. ) The problea of deternining p which of the Fernat and Mersenne nmabers are prius has concerned uany matheuaticians during the last two centuries. This research has... or a Fermat, number. Next? Froth~a theorem, of which Pepin's test is a special case, is stated and proved. In the last section the theory of recurring series is used to establish primality tests of the Lucas type for both the Fermat and Mersenne...

  17. Multi-mode ultrasonic welding control and optimization

    DOE Patents [OSTI]

    Tang, Jason C.H.; Cai, Wayne W

    2013-05-28

    A system and method for providing multi-mode control of an ultrasonic welding system. In one embodiment, the control modes include the energy of the weld, the time of the welding process and the compression displacement of the parts being welded during the welding process. The method includes providing thresholds for each of the modes, and terminating the welding process after the threshold for each mode has been reached, the threshold for more than one mode has been reached or the threshold for one of the modes has been reached. The welding control can be either open-loop or closed-loop, where the open-loop process provides the mode thresholds and once one or more of those thresholds is reached the welding process is terminated. The closed-loop control provides feedback of the weld energy and/or the compression displacement so that the weld power and/or weld pressure can be increased or decreased accordingly.

  18. Non-synchronous control of self-oscillating resonant converters

    DOE Patents [OSTI]

    Glaser, John Stanley (Niskayuna, NY); Zane, Regan Andrew (Scotia, NY)

    2002-01-01

    A self-oscillating switching power converter has a controllable reactance including an active device connected to a reactive element, wherein the effective reactance of the reactance and the active device is controlled such that the control waveform for the active device is binary digital and is not synchronized with the switching converter output frequency. The active device is turned completely on and off at a frequency that is substantially greater than the maximum frequency imposed on the output terminals of the active device. The effect is to vary the average resistance across the active device output terminals, and thus the effective output reactance, thereby providing converter output control, while maintaining the response speed of the converter.

  19. Four-Terminal Mechanically Stacked GaAs/Si Tandem Solar Cells

    E-Print Network [OSTI]

    Hassan, S

    2015-01-01

    This study investigates a four-terminal mechanically stacked double junction photovoltaic device based on GaAs as a top subcell and Si as a bottom subcell. Unlike two terminal monolithically series connected double junction photovoltaics, four-terminal mechanically stacked devices benefit from the ability to choose a combination of materials that are not constrained to lattice matching condition. GaAs top subcell is the best sensitive to visible light and Si bottom subcell is chosen to be grown on Si substrate which has relatively low cost. Moreover, the carriers generated by each subcell is collected independently to the external circuit. This electrical isolation of the subcells ensures higher efficiency, where no current matching nor tunnel junctions and related losses exist. A conversion efficiency of the device with a thickness in the order of 10 microns surpassed 27%.

  20. Band termination in the N=Z Odd-Odd Nucleus 46V

    E-Print Network [OSTI]

    S. M. Lenzi; D. R. Napoli; C. A. Ur; D. Bazzacco; F. Brandolini; J. A. Cameron; E. Caurier; G. de Angelis; M. De Poli; E. Farnea; A. Gadea; S. Hankonen; S. Lunardi; G. Martinez-Pinedo; Zs. Podolyak; A. Poves; C. Rossi Alvarez; J. Sanchez-Solano; H. Somacal

    1999-07-01

    High spin states in the odd-odd N=Z nucleus 46V have been identified. At low spin, the T=1 isobaric analogue states of 46Ti are established up to I = 6+. Other high spin states, including the band terminating state, are tentatively assigned to the same T=1 band. The T=0 band built on the low-lying 3+ isomer is observed up to the 1f7/2-shell termination at I=15. Both signatures of a negative parity T=0 band are observed up to the terminating states at I = 16- and I = 17-, respectively. The structure of this band is interpreted as a particle-hole excitation from the 1d3/2 shell. Spherical shell model calculations are found to be in excellent agreement with the experimental results.

  1. DRAFT CRUISE REPORT Cruise Number: DY0807

    E-Print Network [OSTI]

    Neuston (Neu) 68 Deployment of satellite buoy (SatBuoy) 3 Samples Collected Tows Number Number of larvae of buoy or mooring (Deploy) 3 3 Stimulated fluorescence collected during CTD casts (Fluor) 18 Number

  2. Processing of 3'-Phosphoglycolate-Terminated DNA Double-StrandBreaks by Artemis Nuclease

    SciTech Connect (OSTI)

    Povrik, Lawrence F.; Zhou, Tong; Zhou, Ruizhe; Cowan, Morton J.; Yannone, Steven M.

    2005-10-01

    The Artemis nuclease is required for V(D)J recombination and for repair of an as yet undefined subset of radiation-induced DNA double-strand breaks. To assess the possibility that Artemis functions on oxidatively modified double-strand break termini, its activity toward model DNA substrates, bearing either 3{prime}-hydroxyl or 3{prime}-phosphoglycolate moieties, was examined. A 3{prime}-phosphoglycolate had little effect on Artemis-mediated trimming of long 3{prime} overhangs (>9 nucleotides), which were efficiently trimmed to 4-5 nucleotides. However, 3{prime}-phosphoglycolates on overhangs of 4-5 bases promoted selective Artemis-mediated trimming of a single 3{prime}-terminal nucleotide, while at least 2 nucleotides were trimmed from identical hydroxyl-terminated substrates. Artemis also efficiently removed a single nucleotide from a phosphoglycolate-terminated 3-base 3{prime} overhang, while leaving an analogous hydroxyl-terminated overhang largely intact. Such removal was dependent upon Ku, DNA-dependent protein kinase, and ATP. Together, these data suggest that Artemis-mediated cleavage of 3{prime} overhangs requires a minimum of 2 nucleotides, or a nucleotide plus a phosphoglycolate, 3{prime} to the cleavage site. Shorter 3{prime}-phosphoglycolate-terminated overhangs and blunt ends were also processed by Artemis, but much less efficiently. Consistent with the in vitro substrate specificity of Artemis, human cells lacking Artemis exhibited hypersensitivity to X-rays, bleomycin and neocarzinostatin, which all induce 3{prime}-phosphoglycolate-terminated double-strand breaks. Collectively, these results suggest that 3{prime}-phosphoglycolate termini and/or specific classes of DNA ends that arise from such blocked termini are relevant Artemis substrates in vivo.

  3. The r-Process in Supersonic Neutrino-Driven Winds: The Roll of Wind Termination Shock

    E-Print Network [OSTI]

    Takami Kuroda; Shinya Wanajo; Ken'ichi Nomoto

    2007-09-17

    Recent hydrodynamic studies of core-collapse supernovae imply that the neutrino-heated ejecta from a nascent neutron star develops to supersonic outflows. These supersonic winds are influenced by the reverse shock from the preceding supernova ejecta, forming the wind termination shock. We investigate the effects of the termination shock in neutrino-driven winds and its roll on the r-process. Supersonic outflows are calculated with a semi-analytic neutrino-driven wind model. Subsequent termination-shocked, subsonic outflows are obtained by applying the Rankine-Hugoniot relations. We find a couple of effects that can be relevant for the r-process. First is the sudden slowdown of the temperature decrease by the wind termination. Second is the entropy jump by termination-shock heating, up to several 100NAk. Nucleosynthesis calculations in the obtained winds are performed to examine these effects on the r-process. We find that 1) the slowdown of the temperature decrease plays a decisive roll to determine the r-process abundance curves. This is due to the strong dependences of the nucleosynthetic path on the temperature during the r-process freezeout phase. Our results suggest that only the termination-shocked winds with relatively small shock radii (~500km) are relevant for the bulk of the solar r-process abundances (A~100-180). The heaviest part in the solar r-process curve (A~180-200), however, can be reproduced both in shocked and unshocked winds. These results may help to constrain the mass range of supernova progenitors relevant for the r-process. We find, on the other hand, 2) negligible roles of the entropy jump on the r-process. This is a consequence that the sizable entropy increase takes place only at a large shock radius (~10,000km) where the r-process has already ceased.

  4. Dynamical properties of three terminal magnetic tunnel junctions: Spintronics meets spin-orbitronics

    SciTech Connect (OSTI)

    Tomasello, R.; Carpentieri, M.; Finocchio, G.

    2013-12-16

    This Letter introduces a micromagnetic model able to characterize the magnetization dynamics in three terminal magnetic tunnel junctions, where the effects of spin-transfer torque and spin-orbit torque are taken into account. Our results predict that the possibility to separate electrically those two torque sources is very promising from a technological point of view for both next generation of nanoscale spintronic oscillators and microwave detectors. A scalable synchronization scheme based on the parallel connection of those three terminal devices is also proposed.

  5. Probing the Impact of the EchinT C-Terminal Domain on Structure and Catalysis

    SciTech Connect (OSTI)

    S Bardaweel; J Pace; T Chou; V Cody; C Wagner

    2011-12-31

    Histidine triad nucleotide binding protein (Hint) is considered as the ancestor of the histidine triad protein superfamily and is highly conserved from bacteria to humans. Prokaryote genomes, including a wide array of both Gram-negative bacteria and Gram-positive bacteria, typically encode one Hint gene. The cellular function of Hint and the rationale for its evolutionary conservation in bacteria have remained a mystery. Despite its ubiquity and high sequence similarity to eukaryote Hint1 [Escherichia coli Hint (echinT) is 48% identical with human Hint1], prokaryote Hint has been reported in only a few studies. Here we report the first conformational information on the full-length N-terminal and C-terminal residues of Hint from the E. coli complex with GMP. Structural analysis of the echinT-GMP complex reveals that it crystallizes in the monoclinic space group P2{sub 1} with four homodimers in the asymmetric unit. Analysis of electron density for both the N-terminal residues and the C-terminal residues of the echinT-GMP complex indicates that the loops in some monomers can adopt more than one conformation. The observation of conformational flexibility in terminal loop regions could explain the presence of multiple homodimers in the asymmetric unit of this structure. To explore the impact of the echinT C-terminus on protein structure and catalysis, we conducted a series of catalytic radiolabeling and kinetic experiments on the C-terminal deletion mutants of echinT. In this study, we show that sequential deletion of the C-terminus likely has no effect on homodimerization and a modest effect on the secondary structure of echinT. However, we observed a significant impact on the folding structure, as reflected by a significant lowering of the T{sub m} value. Kinetic analysis reveals that the C-terminal deletion mutants are within an order of magnitude less efficient in catalysis compared to wild type, while the overall kinetic mechanism that proceeds through a fast step, followed by a rate-limiting hydrolysis step, was conserved. Nevertheless, the ability of the C-terminal deletion mutants to hydrolyze lysyl-AMP generated by LysU was greatly impaired. Taken together, our results highlight the emerging role of the C-terminus in governing the catalytic function of Hints.

  6. Gas field ion source current stability for trimer and single atom terminated W(111) tips

    SciTech Connect (OSTI)

    Urban, Radovan; Wolkow, Robert A. [Department of Physics, University of Alberta, Edmonton, Alberta T6G 2G7 (Canada); National Institute for Nanotechnology, National Research Council of Canada, Edmonton, Alberta T6G 2M9 (Canada); Pitters, Jason L. [National Institute for Nanotechnology, National Research Council of Canada, Edmonton, Alberta T6G 2M9 (Canada)

    2012-06-25

    Tungsten W(111) oriented trimer-terminated tips as well as single atom tips, fabricated by a gas and field assisted etching and evaporation process, were investigated with a view to scanning ion microscopy and ion beam writing applications. In particular, ion current stability was studied for helium and neon imaging gases. Large ion current fluctuations from individual atomic sites were observed when a trimer-terminated tip was used for the creation of neon ion beam. However, neon ion current was stable when a single atom tip was employed. No such current oscillations were observed for either a trimer or a single atom tip when imaged with helium.

  7. Bi-directional power control system for voltage converter

    DOE Patents [OSTI]

    Garrigan, N.R.; King, R.D.; Schwartz, J.E.

    1999-05-11

    A control system for a voltage converter includes: a power comparator for comparing a power signal on input terminals of the converter with a commanded power signal and producing a power comparison signal; a power regulator for transforming the power comparison signal to a commanded current signal; a current comparator for comparing the commanded current signal with a measured current signal on output terminals of the converter and producing a current comparison signal; a current regulator for transforming the current comparison signal to a pulse width modulator (PWM) duty cycle command signal; and a PWM for using the PWM duty cycle command signal to control electrical switches of the converter. The control system may further include: a command multiplier for converting a voltage signal across the output terminals of the converter to a gain signal having a value between zero (0) and unity (1), and a power multiplier for multiplying the commanded power signal by the gain signal to provide a limited commanded power signal, wherein power comparator compares the limited commanded power signal with the power signal on the input terminals. 10 figs.

  8. Bi-directional power control system for voltage converter

    DOE Patents [OSTI]

    Garrigan, Neil Richard (Niskayuna, NY); King, Robert Dean (Schenectady, NY); Schwartz, James Edward (Slingerlands, NY)

    1999-01-01

    A control system for a voltage converter includes: a power comparator for comparing a power signal on input terminals of the converter with a commanded power signal and producing a power comparison signal; a power regulator for transforming the power comparison signal to a commanded current signal; a current comparator for comparing the commanded current signal with a measured current signal on output terminals of the converter and producing a current comparison signal; a current regulator for transforming the current comparison signal to a pulse width modulator (PWM) duty cycle command signal; and a PWM for using the PWM duty cycle command signal to control electrical switches of the converter. The control system may further include: a command multiplier for converting a voltage signal across the output terminals of the converter to a gain signal having a value between zero (0) and unity (1), and a power multiplier for multiplying the commanded power signal by the gain signal to provide a limited commanded power signal, wherein power comparator compares the limited commanded power signal with the power signal on the input terminals.

  9. Ramsey numbers of sparse hypergraphs David Conlon

    E-Print Network [OSTI]

    Fox, Jacob

    Ramsey numbers of sparse hypergraphs David Conlon Jacob Fox Benny Sudakov Abstract We give a short proof that any k-uniform hypergraph H on n vertices with bounded degree has Ramsey number at most c(, k on the Ramsey number of hypergraphs with at most m edges. 1 Introduction For a graph H, the Ramsey number r

  10. Nash resolution for binomial varieties as Euclidean division. Apriori termination bound, polynomial complexity in dim 2

    E-Print Network [OSTI]

    Grigoriev, Dima

    Nash resolution for binomial varieties as Euclidean division. Apriori termination bound, polynomial of the normalizations with Nash blowings up, albeit that only for affine binomial varieties of (essential) dimen- sion 2, the equivalence of the Nash algorithm to a com- binatorial algorithm that resembles Euclidean division in dimen

  11. Chemical and gravity dependent factors affecting Escherichia coli lag phase termination 

    E-Print Network [OSTI]

    Elms, Rene ?Davina

    2002-01-01

    at the end of lag phase in small amounts. Evidence was not found to support the hypothesis that either lactic acid or CO? are critical by-products for lag phase termination. At a significance level of ? = 0.05, lactic acid (20 and 30 mg/L) supplementation...

  12. Offshore refrigerated LPG loading/unloading terminal using a CALM buoy

    SciTech Connect (OSTI)

    Bonjour, E.L.; Simon, J.M.

    1985-03-01

    In existing Liquefied Petroleum Gases terminals, the transfer of liquefied gases to the tanker is performed via articulated loading arms or flexible hoses, working under quasistatic conditions. The tanker has to be firmly moored alongside a jetty or a process barge in a protected area (such as a harbour in most cases). This paper gives the main results of the development of an offshore refrigerated LPG (-48/sup 0/C) loading/unloading system, using a CALM buoy and LPG floating hoses working under dynamic conditions. The aim of this new concept is to replace the standard harbour structure for loading/unloading refrigerated LPG and to provide a considerable reduction in investments and a greater flexibility regarding the terminal location. The main components of that terminal have been designed so as to enable the loading of a 75 000 cubic meter LPG carrier in 15 hours. The results of static and dynamic low temperature tests on a LPG swivel joint for CALM buoy and LPG floating hoses show that such a SPM terminal is now a realistic solution.

  13. Changing boreal methane sources and constant biomass burning during the last termination

    E-Print Network [OSTI]

    Chappellaz, Jérôme

    LETTERS Changing boreal methane sources and constant biomass burning during the last termination. Stocker3 Past atmospheric methane concentrations show strong fluctua- tions in parallel to rapid glacial climate changes in the Northern Hemisphere1,2 superimposed on a glacial­interglacial doubling of methane

  14. Effect of Surface Termination on the Electonic Properties of LaNiO? Films

    SciTech Connect (OSTI)

    Kumah, Divine P.; Malashevich, Andrei; Disa, Ankit S.; Arena, Dario A.; Walker, Fred J.; Ismail-Beigi, Sohrab; Ahn, Charles H.

    2014-11-06

    The electronic and structural properties of thin LaNiO? films grown by using molecular beam epitaxy are studied as a function of the net ionic charge of the surface terminating layer. We demonstrate that electronic transport in nickelate heterostructures can be manipulated through changes in the surface termination due to a strong coupling of the surface electrostatic properties to the structural properties of the Ni—O bonds that govern electronic conduction. We observe experimentally and from first-principles theory an asymmetric response of the structural properties of the films to the sign of the surface charge, which results from a strong interplay between electrostatic and mechanical boundary conditions governing the system. The structural response results in ionic buckling in the near-surface NiO? planes for films terminated with negatively charged NiO? and bulklike NiO? planes for films terminated with positively charged LaO planes. The ability to modify transport properties by the deposition of a single atomic layer can be used as a guiding principle for nanoscale device fabrication.

  15. Kinetic properties and physiological role of the plastoquinone terminal oxidase (PTOX) in a vascular plant

    E-Print Network [OSTI]

    September 2012 Keywords: Plastid terminal oxidase Plastoquinone pool Photosystem NADPH dehydrogenase Cyclic and oxidation of the plastoquinone pool, in a process by which reducing equivalents (in the form of NADPH, or ferredoxin, [1]) are consumed to reduce the plastoquinone (PQ) pool through the activity of NDH complexes

  16. Effect of Surface Termination on the Electonic Properties of LaNiO? Films

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Kumah, Divine P.; Malashevich, Andrei; Disa, Ankit S.; Arena, Dario A.; Walker, Fred J.; Ismail-Beigi, Sohrab; Ahn, Charles H.

    2014-11-06

    The electronic and structural properties of thin LaNiO? films grown by using molecular beam epitaxy are studied as a function of the net ionic charge of the surface terminating layer. We demonstrate that electronic transport in nickelate heterostructures can be manipulated through changes in the surface termination due to a strong coupling of the surface electrostatic properties to the structural properties of the Ni—O bonds that govern electronic conduction. We observe experimentally and from first-principles theory an asymmetric response of the structural properties of the films to the sign of the surface charge, which results from a strong interplay betweenmore »electrostatic and mechanical boundary conditions governing the system. The structural response results in ionic buckling in the near-surface NiO? planes for films terminated with negatively charged NiO? and bulklike NiO? planes for films terminated with positively charged LaO planes. The ability to modify transport properties by the deposition of a single atomic layer can be used as a guiding principle for nanoscale device fabrication.« less

  17. Drosophila C-terminal Src kinase regulates growth via the Hippo signaling pathway

    E-Print Network [OSTI]

    Singh, Amit

    with poor prognosis. The Drosophila C-terminal Src kinase (d-Csk) is a genetic modifier of warts (wts size during development. Given the similarity in the loss-of-function phenotypes of d-Csk and wts, we of the network of genes that interact to regulate Wts and its effector Yki in the Hippo signaling pathway. & 2014

  18. Process for producing radiation-induced self-terminating protective coatings on a substrate

    DOE Patents [OSTI]

    Klebanoff, Leonard E. (Dublin, CA)

    2001-01-01

    A gas and radiation are used to produce a protective coating that is substantially void-free on the molecular scale, self-terminating, and degradation resistant. The process can be used to deposit very thin (.apprxeq.5-20 .ANG.) coatings on critical surfaces needing protection from degradative processes including, corrosion and contamination.

  19. Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip

    E-Print Network [OSTI]

    Black, Paul E.

    Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip Use? Paul E. Black of a world be like if it were a plant instead of an animal? Examining existing plants, we suggest a plausible intelligent plant. It is definitely not humanoid. Our intelli­ gent plant is stationary, senses

  20. Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip

    E-Print Network [OSTI]

    Black, Paul E.

    Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip Abstract What would the dominant species of a world be like if it were a plant instead of an animal? Examining existing plants, we suggest a plausible intelligent plant. It is definitely

  1. A Biometric Attendance Terminal and its Application to Health Programs in India

    E-Print Network [OSTI]

    Toronto, University of

    A Biometric Attendance Terminal and its Application to Health Programs in India Michael Paik New York University Navkar Samdaria, Aakar Gupta Microsoft Research India Julie Weber University Microsoft Research India Abstract Tracking attendance is a necessity in a variety of contexts

  2. Grasp and Force Based Taxonomy of Split-Hook Prosthetic Terminal Devices

    E-Print Network [OSTI]

    Dollar, Aaron M.

    Grasp and Force Based Taxonomy of Split-Hook Prosthetic Terminal Devices Joseph T. Belter, Bo C developed two taxonomies of split-hook use, one on grasp shape and one on force exertion, illustrating of the classifications. These taxonomies serve to establish a common language and means of comparing the types of grasps

  3. Pervasive Internet Access by Vehicles through Satellite Receive-only Terminals

    E-Print Network [OSTI]

    Zou, Cliff C.

    Pervasive Internet Access by Vehicles through Satellite Receive-only Terminals Baber Aslam, Ping Florida Orlando, FL, USA {ababer, pwang, czou}@cs.ucf.edu Abstract--Ubiquitous Internet connectivity is very important in present environment. A lot of research has been done to extend Internet connectivity

  4. N-terminal contributions of the -subunit of fetal hemoglobin to its tetramer strength: Remote effects

    E-Print Network [OSTI]

    Chait, Brian T.

    N-terminal contributions of the -subunit of fetal hemoglobin to its tetramer strength: Remote, 2001; ACCEPTED October 4, 2001) Abstract The greatly increased tetramer strength of liganded fetal hemoglobin compared with adult hemoglobin is shown by its 70-fold smaller tetramer-dimer dissociation

  5. Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas of Emphasis, Certificate Programs,

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas of study within the unit. Note: The Higher Education Policy Commission (HEPC) has the authority to review on the official HEPC inventory of degree programs. Policy: #12; A degree program is specified by a degree

  6. Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas of Emphasis, Certificate Programs,

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas academic units to describe the areas of study within the unit. Note: The Higher Education Policy Commission as such by the institution and BOG and listed on the official HEPC inventory of degree programs. Policy: #12; A degree

  7. STUDENT HOUSING UNIVERSITY OF CALIFORNIA, IRVINE Request for Termination of Housing Contract

    E-Print Network [OSTI]

    Mease, Kenneth D.

    STUDENT HOUSING UNIVERSITY OF CALIFORNIA, IRVINE Request for Termination of Housing Contract Submit this form to your community housing office with required documents and call the housing office to set up DOMESTIC STATUS CHANGE* *Contact a Student Housing Accounts Counselor at shac@uci.edu if you are under 25

  8. Prfungen 1. Termin HS2015 fr Bachelor / Master Chemie und Molekulare Wissenschaften

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Prüfungen 1. Termin HS2015 für Bachelor / Master Chemie und Molekulare Wissenschaften Bachelor nur eine Berichtsabgabe erfolgt. · Die Wiederholungsprüfungstermine aus dem Bereich Chemie, Biochemie for exam admittance or grade calculation under the individual KSL entries. Departement für Chemie und

  9. TEA: Automatically proving termination of programs in a nonstrict higherorder functional

    E-Print Network [OSTI]

    Schmidt-Schauss, Manfred

    TEA: Automatically proving termination of programs in a non­strict higher­order functional language (69)­798­22890 Fax: +49 (69)­798­28919 Abstract. We present TEA, a tool that is able to detect language, we use such a core language as the source language for the analysis. TEA is able to detect two

  10. Fast Non-Local Means (NLM) Computation with Probabilistic Early Termination

    E-Print Network [OSTI]

    Li, Fei-Fei

    , Byung Tae Oh and C.-C.Jay Kuo Dept. of Electrical Engineering, Indian Institute of Technology, Kharagpur - 721302, India Signal and Image Processing Institute, Ming Hsieh Dept. of Electrical Engineering) image denoising algorithm based on probabilistic early termination (PET) is proposed. A significant

  11. Department for Analysis and Computational Number Theory Additive functions and number systems

    E-Print Network [OSTI]

    Department for Analysis and Computational Number Theory Additive functions and number systems systems April 7, 2010 1 / 35 #12;Department for Analysis and Computational Number Theory Outline Number and Computational Number Theory Number systems Let R be an integral domain, b R, and N = {n1, . . . , nm} R

  12. Biphasic metabolic rate trajectory of pupal diapause termination and post-diapause development in a tephritid fly

    E-Print Network [OSTI]

    Hahn, Dan

    to exploit favorable periods. The role of diapause in life cycle synchronization is particularly apparent that is characterized by several physiologically distinct states including diapause induction, maintenance, and termination (Kosta´l, 2006). The transition from diapause maintenance to termination is typically associated

  13. Scroll Wave Filaments Terminate in the Back of Traveling Fronts Tamas Bansagi, Jr., Christine Palczewski, and Oliver Steinbock*

    E-Print Network [OSTI]

    Steinbock, Oliver

    Scroll Wave Filaments Terminate in the Back of Traveling Fronts Tama´s Ba´nsa´gi, Jr., Christine with the 1,4-cyclohexanedione Belousov-Zhabotinsky reaction demonstrate that three-dimensional scroll waves and the wave-termination of filaments are direct consequences of the system's anomalous dispersion relation

  14. Surface Science Letters Initial oxidation stages of hydrogen-and styrene-terminated Si(100) surfaces: A

    E-Print Network [OSTI]

    Ciobanu, Cristian

    Surface Science Letters Initial oxidation stages of hydrogen- and styrene-terminated Si(100- and styrene-terminated Si(100)-2×1 films in O2 atmosphere at 500 K using molecular dynamics (MD) simulations of these reactions leads to increased amorphization of the surface as the oxidation proceeds. In the case of styrene

  15. ASSESSING THE BARGAINING MODEL OF WAR TERMINATION: AN EXAMINATION OF THE PHILIPPINE-AMERICAN WAR, 1899-1902

    E-Print Network [OSTI]

    Brown, Adam David

    2008-05-27

    Through a detailed case study of the Philippine-American War (1899-1902), this thesis presents a test of the bargaining model of war termination. The study begins with a review of the war termination theory literature, tracing the currently dominant...

  16. Influence of the surface termination to the point imaging by a photonic crystal slab with negative refraction

    E-Print Network [OSTI]

    Sanshui Xiao; Min Qiu; Zhichao Ruan; Sailing He

    2005-09-01

    Point imaging by a photonic crystal slab due to the negative refraction is studied theoretically. By investigating the transfer function of the imaging system, the influence of the surface termination to the imaging quality is analyzed. It is shown that an appropriate surface termination is important for obtaining an image of good quality.

  17. Effects of the seasonal cycle on the development and termination of the Indian Ocean Zonal Dipole Mode

    E-Print Network [OSTI]

    Han, Weiqing

    Effects of the seasonal cycle on the development and termination of the Indian Ocean Zonal Dipole of atmospheric surface forcings on the development and termination of the Indian Ocean Zonal Dipole Mode (IOZDM) are studied using a nonlinear, 4-1/2 layer ocean model partially coupled to an advective atmospheric mixed

  18. Loss of solar wind plasma neutrality and affect on surface potentials near the lunar terminator and shadowed polar regions

    E-Print Network [OSTI]

    California at Berkeley, University of

    Loss of solar wind plasma neutrality and affect on surface potentials near the lunar terminator (2008), Loss of solar wind plasma neutrality and affect on surface potentials near the lunar terminator observations confirm a consistent solar wind-to-wake potential difference of many hundreds of volts (negative

  19. Proactive investigation of hydrocarbons released into a linked groundwater-surfacewater hydrologic system: Chevron Estero Marine Terminal

    SciTech Connect (OSTI)

    Tormey, D.; Waldron, J.; Culbertson, D.

    1996-12-31

    When regulatory concern is high, it is critical to address potential ecological impacts early, and hence {open_quotes}close the door{close_quotes} on further unnecessary studies, as illustrated by the Chevron Estero Marine Terminal case study. Cutter stock (diesel-like hydrocarbons) leaked from a facility sump, reached the water table, and migrated laterally an unknown distance. Media reports led to heightened public and regulatory concern, and the information gap led to worst-case assumptions about the extent and impact of the release to the biota of a nearby creek (Toro Creek). Chevron undertook a rapid assessment with two goals: define the extent of cutter stock in soil and groundwater, and close the door on expensive biological studies of Toro Creek. The assessment consisted of installing a large number of small-diameter soil borings and temporary well points, monitor wells, and analyzing soil, groundwater, and hydraulic gradient. The information gap was very rapidly filled with the following comprehensive picture: (1) the cutter stock had mixed with heavy crude oil, was highly adsorptive to soil and practically insoluble in water; (2) the cutter stock had not reached Toro Creek; (3) Toro Creek is always a losing stream, hydraulically connected to groundwater beneath the Chevron facility; (4) the groundwater basin is isolated by bedrock boundaries. Early attention to Toro Creek and the Pacific Ocean, and open communication with concerned agencies effectively limited the investigation to soil and water.

  20. Morphology and chemical termination of HF-etched Si{sub 3}N{sub 4} surfaces

    SciTech Connect (OSTI)

    Liu, Li-Hong; Debenedetti, William J. I.; Peixoto, Tatiana; Gokalp, Sumeyra; Shafiq, Natis; Veyan, Jean-François; Chabal, Yves J.; Michalak, David J.; Hourani, Rami

    2014-12-29

    Several reports on the chemical termination of silicon nitride films after HF etching, an important process in the microelectronics industry, are inconsistent claiming N-H{sub x}, Si-H, or fluorine termination. An investigation combining infrared and x-ray photoelectron spectroscopies with atomic force and scanning electron microscopy imaging reveals that under some processing conditions, salt microcrystals are formed and stabilized on the surface, resulting from products of Si{sub 3}N{sub 4} etching. Rinsing in deionized water immediately after HF etching for at least 30?s avoids such deposition and yields a smooth surface without evidence of Si-H termination. Instead, fluorine and oxygen are found to terminate a sizeable fraction of the surface in the form of Si-F and possibly Si-OH bonds. The relatively unique fluorine termination is remarkably stable in both air and water and could lead to further chemical functionalization pathways.

  1. Prime number generation and factor elimination

    E-Print Network [OSTI]

    Vineet Kumar

    2014-10-06

    We have presented a multivariate polynomial function termed as factor elimination function,by which, we can generate prime numbers. This function's mapping behavior can explain the irregularities in the occurrence of prime numbers on the number line. Generally the different categories of prime numbers found till date, satisfy the form of this function. We present some absolute and probabilistic conditions for the primality of the number generated by this method. This function is capable of leading to highly efficient algorithms for generating prime numbers.

  2. LLW Notes supplement, Volume 12, Number 6

    SciTech Connect (OSTI)

    NONE

    1997-07-01

    Contents include articles related to environmental justice concerns and Title VI, entitled as follows: Civil Rights Act of 1964; Exec order on environmental justice; Applicability to states; Philosophical differences -- Environmental justice and Title VI; Ambiguities in existing Title VI guidance; Clarification of existing Title VI guidance; Federal financial assistance; Administrative complaints vs. lawsuits; Effect and disparate impact; Termination, suspension or refusal to grant federal financial assistance; DOJ guidance defines environmental justice; NEJAC meets, adopts far-reaching resolution re siting; Indigenous Peoples Resolution No. 23; and States meet, support environmental justice concept and express concerns about federal approach and composition of NEJAC.

  3. Turing's normal numbers: towards randomness Veronica Becher

    E-Print Network [OSTI]

    presumably in 1938 Alan Turing gave an algorithm that produces real numbers normal to every integer base- putable normal numbers, and this result should be attributed to Alan Turing. His manuscript entitled "A

  4. Sensor fusion for intelligent process control.

    SciTech Connect (OSTI)

    Connors, John J. (PPG Industries, Inc., Harmar Township, PA); Hill, Kevin (PPG Industries, Inc., Harmar Township, PA); Hanekamp, David (PPG Industries, Inc., Harmar Township, PA); Haley, William F. (PPG Industries, Inc., Wichita Falls, TX); Gallagher, Robert J.; Gowin, Craig (PPG Industries, Inc., Batavia, IL); Farrar, Arthur R. (PPG Industries, Inc., Wichita Falls, TX); Sheaffer, Donald A.; DeYoung, Mark A. (PPG Industries, Inc., Mt. Zion, IL); Bertram, Lee A.; Dodge, Craig (PPG Industries, Inc., Mt. Zion, IL); Binion, Bruce (PPG Industries, Inc., Mt. Zion, IL); Walsh, Peter M.; Houf, William G.; Desam, Padmabhushana R. (University of Utah, Salt Lake City, UT); Tiwary, Rajiv (PPG Industries, Inc., Harmar Township, PA); Stokes, Michael R. (PPG Industries, Inc.); Miller, Alan J. (PPG Industries, Inc., Mt. Zion, IL); Michael, Richard W. (PPG Industries, Inc., Lincoln, AL); Mayer, Raymond M. (PPG Industries, Inc., Harmar Township, PA); Jiao, Yu (PPG Industries, Inc., Harmar Township, PA); Smith, Philip J. (University of Utah, Salt Lake City, UT); Arbab, Mehran (PPG Industries, Inc., Harmar Township, PA); Hillaire, Robert G.

    2004-08-01

    An integrated system for the fusion of product and process sensors and controls for production of flat glass was envisioned, having as its objective the maximization of throughput and product quality subject to emission limits, furnace refractory wear, and other constraints. Although the project was prematurely terminated, stopping the work short of its goal, the tasks that were completed show the value of the approach and objectives. Though the demonstration was to have been done on a flat glass production line, the approach is applicable to control of production in the other sectors of the glass industry. Furthermore, the system architecture is also applicable in other industries utilizing processes in which product uniformity is determined by ability to control feed composition, mixing, heating and cooling, chemical reactions, and physical processes such as distillation, crystallization, drying, etc. The first phase of the project, with Visteon Automotive Systems as industrial partner, was focused on simulation and control of the glass annealing lehr. That work produced the analysis and computer code that provide the foundation for model-based control of annealing lehrs during steady state operation and through color and thickness changes. In the second phase of the work, with PPG Industries as the industrial partner, the emphasis was on control of temperature and combustion stoichiometry in the melting furnace, to provide a wider operating window, improve product yield, and increase energy efficiency. A program of experiments with the furnace, CFD modeling and simulation, flow measurements, and sensor fusion was undertaken to provide the experimental and theoretical basis for an integrated, model-based control system utilizing the new infrastructure installed at the demonstration site for the purpose. In spite of the fact that the project was terminated during the first year of the second phase of the work, the results of these first steps toward implementation of model-based control were sufficient to demonstrate the value of the approach to improving the productivity of glass manufacture.

  5. Small Ramsey Numbers Stanislaw P. Radziszowski

    E-Print Network [OSTI]

    Radziszowski, Stanislaw P.

    Small Ramsey Numbers Stanislaw P. Radziszowski Department of Computer Science Rochester Institute Ramsey numbers, where the avoided graphs are complete or complete without one edge. Many results per behavior of Ramsey numbers, but rather we concentrate on their specific values. Mathematical Reviews

  6. Ramsey Numbers Involving Cycles Stanislaw P. Radziszowski

    E-Print Network [OSTI]

    Radziszowski, Stanislaw P.

    Ramsey Numbers Involving Cycles Stanislaw P. Radziszowski Department of Computer Science Rochester and data on Ramsey numbers involving cycles. This survey is based on the author's 2009 revi- sion #12 of the Dynamic Survey DS1, "Small Ramsey Numbers", at the Electronic Journal of Combinatorics. Table of Contents

  7. SHARP THRESHOLDS FOR HYPERGRAPH REGRESSIVE RAMSEY NUMBERS

    E-Print Network [OSTI]

    Lee, Gyesik

    SHARP THRESHOLDS FOR HYPERGRAPH REGRESSIVE RAMSEY NUMBERS LORENZO CARLUCCI, GYESIK LEE, AND ANDREAS WEIERMANN Abstract. The f-regressive Ramsey number Rreg f (d, n) is the minimum N such that every colouring regressive Ramsey numbers as defined by Kanamori and McAloon. In this paper we classifiy the growth

  8. Motivation Examples Star Avoiding Ramsey Numbers

    E-Print Network [OSTI]

    Isaak, Garth

    Motivation Examples Star Avoiding Ramsey Numbers Jonelle Hook, Garth Isaak Department and Cryptography Jonelle Hook, Garth Isaak Star Avoiding Ramsey Numbers #12;Motivation Examples Graph Ramsey-coloring of K13 has a red C5 or a blue K4. Jonelle Hook, Garth Isaak Star Avoiding Ramsey Numbers #12

  9. Diagonal Ramsey Numbers in Multipartite Graphs

    E-Print Network [OSTI]

    van Vuuren, Jan H.

    Diagonal Ramsey Numbers in Multipartite Graphs AP Burger , PJP Grobler , EH Stipp & JH van Vuuren September 17, 2003 Abstract The notion of a graph theoretic Ramsey number is generalised by assuming definition. Some small multipartite Ramsey numbers are found, while upper and lower bounds are established

  10. Diagonal Ramsey Numbers in Multipartite Graphs

    E-Print Network [OSTI]

    van Vuuren, Jan H.

    Diagonal Ramsey Numbers in Multipartite Graphs AP Burger + , PJP Grobler # , EH Stipp # & JH van Vuuren # September 17, 2003 Abstract The notion of a graph theoretic Ramsey number is generalised as in the classical definition. Some small multipartite Ramsey numbers are found, while upper and lower bounds

  11. Number of peer-reviewed publications

    E-Print Network [OSTI]

    ·Number of peer- reviewed publications produced per year ·Data accurate as of 02 April 2012 · Number of publications produced per institution (top 10) ·Collaborations counted multiple times · Non-cumulative number of citations received by OER publications per year ·Data accurate as of 02 April 2012 · The work

  12. Company number 5857955 Wellcome Trust Finance plc

    E-Print Network [OSTI]

    Rambaut, Andrew

    Company number 5857955 Wellcome Trust Finance plc Annual Report and Financial Statements Year ended 30 September 2014 #12;Company number 5857955 Wellcome Trust Finance plc Contents Page Strategic number 58579551 Wellcome Trust Finance plc Strategic Report For the year ended 30 September 2014

  13. KIAS SEOUL, February 2004 Transcendental Number Theory

    E-Print Network [OSTI]

    Waldschmidt, Michel

    ) ­ Introductio in Analysin Infinitorum. Suggests the transcendence of log 1/ log 2 when this number is irrational in Analysin Infinitorum. Suggests the transcendence of log 1/ log 2 when this number is irrational (for this number is irrational (for algebraic 1 and 2). http://www.math.jussieu.fr/miw/ 14 #12;Euler (1748

  14. Number Theory I: Tools and Diophantine Equations

    E-Print Network [OSTI]

    Cohen, Henri

    covered by two other books of the author [Coh0] and [Coh1]. The central (although not unique) theme in integers, rational numbers, or more generally in algebraic numbers. This theme is in particular the central of the reader that he or she is familiar with the standard basic theory of number fields, up to and including

  15. Clar number of catacondensed benzenoid hydrocarbons

    E-Print Network [OSTI]

    Klavzar, Sandi

    Clar number of catacondensed benzenoid hydrocarbons Sandi KlavŸzar a,# , Petra Ÿ Zigert a , Ivan hydrocarbon: CL is equal to the minimum number of straight lines required to intersect all hexagons theory; Clar formula; Clar number; Resonance graph; Benzenoid hydrocarbons 1. Introduction Within

  16. High-Voltage Terminal Test of Test Stand for 1-MV Electrostatic Accelerator

    E-Print Network [OSTI]

    Park, Sae-Hoon

    2015-01-01

    The Korea Multipurpose Accelerator Complex (KOMAC) has been developing a 300-kV test stand for a 1-MV electrostatic accelerator ion source. The ion source and accelerating tube will be installed in a high-pressure vessel. The ion source in the high-pressure vessel is required to have a high reliability. The test stand has been proposed and developed to confirm the stable operating conditions of the ion source. The ion source will be tested at the test stand to verify the long-time operating conditions. The test stand comprises a 300-kV high-voltage terminal, a battery for the ion-source power, a 60-Hz inverter, 200-MHz RF power, a 5-kV extraction power supply, a 300-kV accelerating tube, and a vacuum system. The results of the 300-kV high-voltage terminal tests are presented in this paper.

  17. Synthesis of terminal alkenes from internal alkenes and ethylene via olefin metathesis

    DOE Patents [OSTI]

    Schrodi, Yann

    2013-07-09

    This invention relates generally to olefin metathesis, and more particularly relates to the synthesis of terminal alkenes from internal alkenes using a cross-metathesis reaction catalyzed by a selected olefin metathesis catalyst. In one embodiment of the invention, for example, a method is provided for synthesizing a terminal olefin, the method comprising contacting an olefinic substrate comprised of at least one internal olefin with ethylene, in the presence of a metathesis catalyst, wherein the catalyst is present in an amount that is less than about 1000 ppm relative to the olefinic substrate, and wherein the metathesis catalyst has the structure of formula (II) ##STR00001## wherein the various substituents are as defined herein. The invention has utility, for example, in the fields of catalysis, organic synthesis, and industrial chemistry.

  18. Synthesis of terminal alkenes from internal alkenes and ethylene via olefin metathesis

    DOE Patents [OSTI]

    Schrodi, Yann (Agoura Hills, CA)

    2011-11-29

    This invention relates generally to olefin metathesis, and more particularly relates to the synthesis of terminal alkenes from internal alkenes using a cross-metathesis reaction catalyzed by a selected olefin metathesis catalyst. In one embodiment of the invention, for example, a method is provided for synthesizing a terminal olefin, the method comprising contacting an olefinic substrate comprised of at least one internal olefin with ethylene, in the presence of a metathesis catalyst, wherein the catalyst is present in an amount that is less than about 1000 ppm relative to the olefinic substrate, and wherein the metathesis catalyst has the structure of formula (II) ##STR00001## wherein the various substituents are as defined herein. The invention has utility, for example, in the fields of catalysis, organic synthesis, and industrial chemistry.

  19. Integrating preconcentrator heat controller

    DOE Patents [OSTI]

    Bouchier, Francis A. (Albuquerque, NM); Arakaki, Lester H. (Edgewood, NM); Varley, Eric S. (Albuquerque, NM)

    2007-10-16

    A method and apparatus for controlling the electric resistance heating of a metallic chemical preconcentrator screen, for example, used in portable trace explosives detectors. The length of the heating time-period is automatically adjusted to compensate for any changes in the voltage driving the heating current across the screen, for example, due to gradual discharge or aging of a battery. The total deposited energy in the screen is proportional to the integral over time of the square of the voltage drop across the screen. Since the net temperature rise, .DELTA.T.sub.s, of the screen, from beginning to end of the heating pulse, is proportional to the total amount of heat energy deposited in the screen during the heating pulse, then this integral can be calculated in real-time and used to terminate the heating current when a pre-set target value has been reached; thereby providing a consistent and reliable screen temperature rise, .DELTA.T.sub.s, from pulse-to-pulse.

  20. Project Controls

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-03-28

    Project controls are systems used to plan, schedule, budget, and measure the performance of a project/program. The cost estimation package is one of the documents that is used to establish the baseline for project controls. This chapter gives a brief description of project controls and the role the cost estimation package plays.

  1. JOURNAL OF GEOPHYSICAL RESEARCH, VOL. 98, NO. A9, PAGES 15,129-15,136, SEPTEMBER 1, 1993 Plasma Waves as Indicators of the Termination Shock

    E-Print Network [OSTI]

    Gurnett, Donald A.

    Waves as Indicators of the Termination Shock W. $. KURTH AND D. A. GURNETT Department of Physicsand provide indicators of both the actual crossingof the termination shockas well asprecursorsof bow shocks; hence we expect to observe similar emissionsahead of the termination shock. Since

  2. JOURNAL OF GEOPHYSICAL RESEARCH, VOL. 101, NO. A5, PAGES 11,01711,025, MAY 1, 1996 The Distance to the Solar Wind Termination Shock in

    E-Print Network [OSTI]

    Cummings, Alan C.

    to the Solar Wind Termination Shock in 1993 and 1994 from Observations of Anomalous Cosmic Rays E. C. Stone acceleration along the solar wind termination shock. In addition, large propagating interplanetary disturbances) and consistent with a termination shock modified by the pressure of galactic cosmic rays. By comparing these 1994

  3. 19902 Federal Register / Vol. 61, No. 87 / Friday, May 3, 1996 / Proposed Rules 1 The ICC Termination Act of 1995, Pub. L. No.

    E-Print Network [OSTI]

    Termination Act of 1995, Pub. L. No. 104­88, 109 Stat. 803 (ICCTA), which was enacted on December 29, 1995, by this Act such proceeding shall be terminated.'' Although the motor carrier tariff filing provisions were, it is not pursuant to the automatic termination provisions of section 204(b)(3) of ICCTA that this pending proceeding

  4. Proceedings of the Symposium on Theory of Modeling and Simulation, 2010. An Agent-Based Approach to Modeling Yard Cranes at Seaport Container Terminals

    E-Print Network [OSTI]

    Vidal, Jose M.

    container terminals, truck turn time. Abstract Due to environmental concerns, terminal operators at seaport to Modeling Yard Cranes at Seaport Container Terminals Nathan Huynh Department of Civil & Environmental spent in the queue at the entry gate, container yard, and exit gate are often exceedingly long during

  5. The role of the N-terminal domain of photoactive yellow protein in the transient partial unfolding during signalling state formation

    E-Print Network [OSTI]

    van Stokkum, Ivo

    The role of the N-terminal domain of photoactive yellow protein in the transient partial unfolding 19 April 2001 First published online 3 May 2001 Edited by Hans Eklund Abstract It is shown that the N-terminal: genetic truncation of the N-terminal domain of PYP significantly decreases the extent of cooperativity

  6. Voyager 2 Encounter with an Energetic-Particle-Mediated Termination Shock R. B. Decker1

    E-Print Network [OSTI]

    the termination shock (TS) of the solar wind (SW) and the heliopause. The HSH is an intense source of energetic.028 MeV and electrons >0.022 MeV in the SW upstream of the TS early in 2005 when V2 was at a radial, the V2 ion intensity vs. energy spectrum in the energy range 0.028-3.5 MeV is well fit by a single power

  7. Cockroaches ... Recognition and Control

    E-Print Network [OSTI]

    Hamman, Philip J.; Turney H.A.

    1983-01-01

    increase their general sanitation and con trol efforts. Alternatively, if the apartment manage ment or landlord takes responsibility for cockroach control, he should require all residents to participate in the program. German cockroaches frequently... utility con nections. Insecticide application causes increased cockroach numbers to move out of treated apartments into adjacent units. This is why apartment dwellers may continue to have cockroach problems despite their sanitation efforts...

  8. Hydrogen-terminated silicon nanowire photocatalysis: Benzene oxidation and methyl red decomposition

    SciTech Connect (OSTI)

    Lian, Suoyuan; School of Chemical Engineering and Materials, Dalian Polytechnic University, Dalian 116034 ; Tsang, Chi Him A.; Centre of Super Diamond and Advanced Films, City University of Hong Kong, Hong Kong ; Kang, Zhenhui; Liu, Yang; Wong, Ningbew; Lee, Shuit-Tong; Centre of Super Diamond and Advanced Films, City University of Hong Kong, Hong Kong

    2011-12-15

    Graphical abstract: H-SiNWs can catalyze hydroxylation of benzene and degradation of methyl red under visible light irradiation. Highlights: Black-Right-Pointing-Pointer Hydrogen-terminated silicon nanowires were active photocatalyst in the hydroxylation of benzene under light. Black-Right-Pointing-Pointer Hydrogen-terminated silicon nanowires were also effective in the decomposition of methyl red dye. Black-Right-Pointing-Pointer The Si/SiO{sub x} core-shell structure is the main reason of the obtained high selectivity during the hydroxylation. -- Abstract: Hydrogen-terminated silicon nanowires (H-SiNWs) were used as heterogeneous photocatalysts for the hydroxylation of benzene and for the decomposition of methyl red under visible light irradiation. The above reactions were monitored by GC-MS and UV-Vis spectrophotometry, respectively, which shows 100% selectivity for the transformation of benzene to phenol. A complete decomposition of a 2 Multiplication-Sign 10{sup -4} M methyl red solution was achieved within 30 min. The high selectivity for the hydroxylation of benzene and the photodecomposition demonstrate the catalytic activity of ultrafine H-SiNWs during nanocatalysis.

  9. Density of neutral interstellar hydrogen at the termination shock from Ulysses pickup ion observations

    E-Print Network [OSTI]

    M. Bzowski; E. Moebius; S. Tarnopolski; V. Izmodenov; G. Gloeckler

    2008-09-28

    By reevaluating a 13-month stretch of Ulysses SWICS H pickup ion measurements near 5 AU close to the ecliptic right after the previous solar minimum, this paper presents a determination of the neutral interstellar H density at the solar wind termination shock and implications for the density and ionization degree of hydrogen in the LIC. The density of neutral interstellar hydrogen at the termination shock was determined from the local pickup ion production rate as obtained close to the cut-off in the distribution function at aphelion of Ulysses. As shown in an analytical treatment for the upwind axis and through kinetic modeling of the pickup ion production rate at the observer location, with variations in the ionization rate, radiation pressure, and the modeling of the particle behavior, this analysis turns out to be very robust against uncertainties in these parameters and the modeling. Analysis using current heliospheric parameters yields the H density at the termination shock equal to $0.087\\pm0.022$ cm$^{-3}$, including observational and modeling uncertainties.

  10. Tip sheet: Expanded Library of Congress Call Number Classification system Call Number Subject Matter

    E-Print Network [OSTI]

    Kambhampati, Patanjali

    Tip sheet: Expanded Library of Congress Call Number Classification system Call Number Subject R: Medicine T: Technology U: Military Science Z: Bibliography. Library Science. Information

  11. An autoinhibitory helix in the C-terminal region of phospholipase C-[beta] mediates G[alpaha subscript q] activation

    SciTech Connect (OSTI)

    Lyon, Angeline M.; Tesmer, Valerie M.; Dhamsania, Vishan D.; Thal, David M.; Gutierrez, Joanne; Chowdhury, Shoaib; Suddala, Krishna C.; Northup, John K.; Tesmer, John J.G. (Michigan); (NIH)

    2012-03-16

    The enzyme phospholipase C-{beta} (PLC{beta}) is a crucial regulator of intracellular calcium levels whose activity is controlled by heptahelical receptors that couple to members of the G{sub q} family of heterotrimeric G proteins. We have determined atomic structures of two invertebrate homologs of PLC{beta} (PLC21) from cephalopod retina and identified a helix from the C-terminal regulatory region that interacts with a conserved surface of the catalytic core of the enzyme. Mutations designed to disrupt the analogous interaction in human PLC{beta}3 considerably increase basal activity and diminish stimulation by G{alpha}{sub q}. G{alpha}{sub q} binding requires displacement of the autoinhibitory helix from the catalytic core, thus providing an allosteric mechanism for activation of PLC{beta}.

  12. Joint risk of DB pension underfunding and sponsor termination: incorporating option-based projections and valuations into PIMS

    E-Print Network [OSTI]

    Lucas, Deborah J.

    When a private pension plan sponsor with an underfunded plan becomes insolvent, the difference between the value of the plan's assets and its termination liabilities represents a liability for the Pension Benefit Guaranty ...

  13. Post-treatment control of HIV infection

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Conway, Jessica M.; Perelson, Alan S.

    2015-04-13

    Antiretroviral therapy (ART) for HIV is not a cure. However, recent studies suggest that ART, initiated early during primary infection, may induce post-treatment control (PTC) of HIV infection with HIV RNA maintained at more »cells, virus, and cytotoxic T lymphocytes (CTLs). Analysis of our model reveals a range in CTL response strengths where a patient may show either VR or PTC, depending on the size of the latent reservoir at treatment termination. Below this range, patients will always rebound, whereas above this range, patients are predicted to behave like elite controllers. As a result, using data on latent reservoir sizes in patients treated during primary infection, we also predict population-level VR times for non-controllers consistent with observations.« less

  14. Bounds on Some Ramsey Numbers Involving Quadrilateral +

    E-Print Network [OSTI]

    Radziszowski, Stanislaw P.

    Bounds on Some Ramsey Numbers Involving Quadrilateral + Xiaodong Xu Guangxi Academy of Sciences@cs.rit.edu Abstract. For graphs G 1 , G 2 , · · · , Gm , the Ramsey number R(G 1 , G 2 , · · · , Gm ) is defined Ramsey numbers involving quadrilateral C 4 , including R(C 4 , K 9 ) # 32, 19 # R(C 4 , C 4 , K 4 ) # 22

  15. Coastal energy transportation study, phase ii, volume 1: a study of OCS onshore support bases and coal export terminals

    SciTech Connect (OSTI)

    Cribbins, P.D.

    1981-08-01

    This study concentrates on siting alternatives for on-shore support bases for Outer Continental Shelf (OCS) oil and gas exploration and coal export terminals. Sixteen alternative OCS sites are described, and a parametric analysis is utilized to select the most promising sites. Site-specific recommendations regarding infrastructure requirements and transportation impacts are provided. Eleven alternative coal terminal sites are identified and assessed for their potential impacts.

  16. Predicting landfalling hurricane numbers from basin hurricane numbers: basic statistical analysis

    E-Print Network [OSTI]

    Laepple, T; Penzer, J; Bellone, E; Nzerem, K; Laepple, Thomas; Jewson, Stephen; Penzer, Jeremy; Bellone, Enrica; Nzerem, Kechi

    2007-01-01

    One possible method for predicting landfalling hurricane numbers is to first predict the number of hurricanes in the basin and then convert that prediction to a prediction of landfalling hurricane numbers using an estimated proportion. Should this work better than just predicting landfalling hurricane numbers directly? We perform a basic statistical analysis of this question in the context of a simple abstract model.

  17. Harmonic resolution as a holographic quantum number

    E-Print Network [OSTI]

    Bousso, Raphael

    2009-01-01

    LBNL- 57239 Harmonic resolution as a holographic quantumhep-th/0310223 UCB-PTH-03/26 Harmonic resolution as aquantum number, the harmonic resolution K. The Bekenstein

  18. REFINED BOUNDS ON THE NUMBER OF CONNECTED ...

    E-Print Network [OSTI]

    2011-04-06

    Apr 6, 2011 ... Smith inequality (see Theorem 2.5) a bound on the number of semi- ... then using Smith inequality, have been used before in several different ...

  19. Call Numbers** A, B, C 3rd

    E-Print Network [OSTI]

    Saldin, Dilano

    Call Numbers** A, B, C 3rd Floor Southeast . D, E, F, G, H, J, K, L 3rd Floor West . . . . . P 3rd Floor West . Q, R

  20. Numbers, proof and 'all that jazz'.

    E-Print Network [OSTI]

    2007-01-08

    CHAPTER 1. Numbers, proof and 'all that jazz'. There is a fundamental difference between mathematics and other sciences. In most sciences, one does ...

  1. LNG fire and vapor control system technologies

    SciTech Connect (OSTI)

    Konzek, G.J.; Yasutake, K.M.; Franklin, A.L.

    1982-06-01

    This report provides a review of fire and vapor control practices used in the liquefied natural gas (LNG) industry. Specific objectives of this effort were to summarize the state-of-the-art of LNG fire and vapor control; define representative LNG facilities and their associated fire and vapor control systems; and develop an approach for a quantitative effectiveness evaluation of LNG fire and vapor control systems. In this report a brief summary of LNG physical properties is given. This is followed by a discussion of basic fire and vapor control design philosophy and detailed reviews of fire and vapor control practices. The operating characteristics and typical applications and application limitations of leak detectors, fire detectors, dikes, coatings, closed circuit television, communication systems, dry chemicals, water, high expansion foam, carbon dioxide and halogenated hydrocarbons are described. Summary descriptions of a representative LNG peakshaving facility and import terminal are included in this report together with typical fire and vapor control systems and their locations in these types of facilities. This state-of-the-art review identifies large differences in the application of fire and vapor control systems throughout the LNG industry.

  2. Flea Control 

    E-Print Network [OSTI]

    Merchant, Michael E.

    2002-08-23

    This publication will help you identify fleas and learn their behaviors and potential dangers to pets and humans. Included are methods for controlling fleas indoors and out....

  3. Tick Control 

    E-Print Network [OSTI]

    Merchant, Michael E.

    2002-08-23

    This publication will help you identify ticks and learn their behaviors and potential dangers. Included are methods for avoiding, controlling and removing ticks....

  4. Accepted to appear in ACM/Baltzer Wireless Networks, 1999 Admission Control Algorithms for Cellular Systems

    E-Print Network [OSTI]

    Peha, Jon M.

    Page 1 Accepted to appear in ACM/Baltzer Wireless Networks, 1999 Admission Control Algorithms]), it is the network provider's responsibility to provide adequate Quality of Service (QoS) to all users. Two critical, the network may terminate the call prematurely when a handoff is attempted into a cell that has no capacity

  5. A Thermodynamic Classification of Real Numbers

    E-Print Network [OSTI]

    Thomas Garrity

    2009-03-15

    A new classification scheme for real numbers is given, motivated by ideas from statistical mechanics in general and work of Knauf and of Fiala and Kleban in particular. Critical for this classification of a real number will be the Diophantine properties of its continued fraction expansion.

  6. Circular Chromatic Ramsey Number Kyle F. Jao

    E-Print Network [OSTI]

    West, Douglas B.

    Circular Chromatic Ramsey Number Kyle F. Jao , Claude Tardif , Douglas B. West , Xuding Zhu, the circular chromatic Ramsey number Rc (F, G) is the infimum of c(H) over graphs H such that every red of a Ramsey problem for the families of homomorphic images of F and G. Letting zk = 3 - 2-k, we prove that zk

  7. 2001 TRAFFIC ZONE BOUNDARIES Zone Numbers

    E-Print Network [OSTI]

    Toronto, University of

    2001 TRAFFIC ZONE BOUNDARIES Zone Numbers & Detailed Definitions #12;2001 TRAFFIC ZONE BOUNDARIES of Toronto Joint Program in Transportation January 2003 #12;PREFACE This report presents the 2001 traffic zone numbers by local municipalities in the 2001 TTS survey area. The second part presents detailed

  8. Real numbers and other completions Fred Richman

    E-Print Network [OSTI]

    Richman, Fred

    Real numbers and other completions Fred Richman Florida Atlantic University Boca Raton, FL 33431 11 March 2007 Abstract A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the con- struction of the real numbers as well as the completion

  9. Company number 5857955 Wellcome Trust Finance plc

    E-Print Network [OSTI]

    Rambaut, Andrew

    Company number 5857955 Wellcome Trust Finance plc Annual Report and Financial Statements Year ended 30 September 2012 #12;Company number 5857955 Wellcome Trust Finance plc Contents Page Directors Trust Finance plc Directors' Report for the year ended 30 September 2012 Report of the Directors

  10. Company number 5857955 Wellcome Trust Finance plc

    E-Print Network [OSTI]

    Rambaut, Andrew

    Company number 5857955 Wellcome Trust Finance plc Annual Report and Financial Statements Year ended 30 September 2013 #12;Company number 5857955 Wellcome Trust Finance plc Contents Page Directors Trust Finance plc Directors' Report For the year ended 30 September 2013 Report of the Directors

  11. RNG: A Practitioner's Overview Random Number Generation

    E-Print Network [OSTI]

    Mascagni, Michael

    -Kac/path integral methods to solve partial differential equations with random walks Defense: neutronics, nuclear random numbers 1. Each calculation is a numerical experiment Subject to known and unknown sources a calculation with the same numbers Across different machines (modulo arithmetic issues) Parallel

  12. Resolution-Stationary Random Number Generators

    E-Print Network [OSTI]

    L'Ecuyer, Pierre

    of successive output values over their entire period length. For F2-linear generators, the commonly adopted efficient ways of implementing high-quality and long-period Tausworthe generators. Key words: random number un [0, 1) is the output of the generator at step n and the number of bits in this output, L

  13. enter part number BNC / RP-BNC

    E-Print Network [OSTI]

    Berns, Hans-Gerd

    enter part number Products 7/16 1.0/2.3 1.6/5.6 AFI AMC BNC / RP-BNC C FAKRA SMB FME HN MCX Mini ------- Product Search ------- Inventory Search Search Results for: 31-10152-RFX Results: 1 - 1 of 1 Part Number. All rights reserved. Copyright | Terms & Conditions | RF E-Mail Client | Contact Us | Amphenol

  14. Ramsey numbers and adiabatic quantum computing

    E-Print Network [OSTI]

    Frank Gaitan; Lane Clark

    2012-01-08

    The graph-theoretic Ramsey numbers are notoriously difficult to calculate. In fact, for the two-color Ramsey numbers $R(m,n)$ with $m,n\\geq 3$, only nine are currently known. We present a quantum algorithm for the computation of the Ramsey numbers $R(m,n)$. We show how the computation of $R(m,n)$ can be mapped to a combinatorial optimization problem whose solution can be found using adiabatic quantum evolution. We numerically simulate this adiabatic quantum algorithm and show that it correctly determines the Ramsey numbers R(3,3) and R(2,s) for $5\\leq s\\leq 7$. We then discuss the algorithm's experimental implementation, and close by showing that Ramsey number computation belongs to the quantum complexity class QMA.

  15. Nuclear power plant control room operator control and monitoring tasks

    SciTech Connect (OSTI)

    Bovell, C.R.; Beck, M.G. [Concord Associates, Inc., Knoxville, TN (United States); Carter, R.J. [Oak Ridge National Labs., TN (United States)

    1998-07-01

    Oak Ridge National Laboratory is conducting a research project the purpose of which is to develop the technical bases for regulatory review criteria for use in evaluating the safety implications of human factors associated with the use of artificial intelligence and expert systems, and with advanced instrumentation and control (I and C) systems in nuclear power plants (NPP). This report documents the results from Task 8 of that project. The primary objectives of the task was to identify the scope and type of control and monitoring tasks now performed by control-room operators. Another purpose was to address the types of controls and safety systems needed to operate the nuclear plant. The final objective of Task 8 was to identify and categorize the type of information and displays/indicators required to monitor the performance of the control and safety systems. This report also discusses state-of-the-art controls and advanced display devices which will be available for use in control-room retrofits and in control room of future plants. The fundamental types of control and monitoring tasks currently conducted by operators can be divided into four classifications: function monitoring tasks, control manipulation tasks, fault diagnostic tasks, and administrative tasks. There are three general types of controls used in today`s NPPs, switches, pushbuttons, and analog controllers. Plant I and C systems include components to achieve a number of safety-related functions: measuring critical plant parameters, controlling critical plant parameters within safety limits, and automatically actuating protective devices if safe limits are exceeded. The types of information monitored by the control-room operators consist of the following parameters: pressure, fluid flow and level, neutron flux, temperature, component status, water chemistry, electrical, and process and area radiation. The basic types of monitoring devices common to nearly all NPP control rooms include: analog meters, graphic recorders, digital displays and counters, light indicators, visual and audio alarms, and cathode-ray tubes.

  16. Lower Columbia River Salmon Business Plan for Terminal Fisheries : Final Report.

    SciTech Connect (OSTI)

    Salmon For All

    1996-07-01

    Salmon fishing in the Northwest requires a public-private partnership. The public through its decision-makers, agencies, and laws states it will do all that is necessary to protect and preserve the valuable salmon resource. Yet, the public side of the partnership is broken. The Columbia River salmon fishing industry, with over 140 years of documented history, is at a crossroads. This report explores a variety of issues, concerns, and ideas related to terminal fishery development. In some cases recommendations are made. In addition, options are explored with an understanding that those designated as decision-makers must make decisions following considerable discussion and reflection.

  17. Spin transport and precession in graphene measured by nonlocal and three-terminal methods

    SciTech Connect (OSTI)

    Dankert, André Kamalakar, Mutta Venkata; Bergsten, Johan; Dash, Saroj P.

    2014-05-12

    We investigate the spin transport and precession in graphene by using the Hanle effect in nonlocal and three-terminal measurement geometries. Identical spin lifetimes, spin diffusion lengths, and spin polarizations are observed in graphene devices for both techniques over a wide range of temperatures. The magnitude of the spin signals is well explained by spin transport models. These observations rules out any signal enhancements or additional scattering mechanisms at the interfaces for both geometries. This validates the applicability of both the measurement methods for graphene based spintronics devices and their reliable extractions of spin parameters.

  18. Time-resolved energy transfer from single chloride-terminated nanocrystals to graphene

    SciTech Connect (OSTI)

    Ajayi, O. A. E-mail: cww2104@columbia.edu; Wong, C. W. E-mail: cww2104@columbia.edu; Anderson, N. C.; Wolcott, A.; Owen, J. S.; Cotlet, M.; Petrone, N.; Hone, J.; Gu, T.; Gesuele, F.

    2014-04-28

    We examine the time-resolved resonance energy transfer of excitons from single n-butyl amine-bound, chloride-terminated nanocrystals to two-dimensional graphene through time-correlated single photon counting. The radiative biexponential lifetime kinetics and blinking statistics of the individual surface-modified nanocrystal elucidate the non-radiative decay channels. Blinking modification as well as a 4× reduction in spontaneous emission were observed with the short chloride and n-butylamine ligands, probing the energy transfer pathways for the development of graphene-nanocrystal nanophotonic devices.

  19. US LHC Accelerator Project Baseline Change Request BCR Number 59

    E-Print Network [OSTI]

    Large Hadron Collider Program

    .5.1 US PM, 1.5.3 FNAL PM Title FNAL-LHC Rebaseline Change Control Level 2 Originator Jim Kerby Date 18 Request BCR Number 59 WBS 1.1.1 IR Quads, 1.1.3 DFBX, 1.5.1 US PM, 1.5.3 FNAL PM Title FNAL-LHC Rebaseline,447,621 ($938,509) 1.1.1.1 Tooling $2,328,448 $2,180,725 ($147,723) 1.1.1.2 Cold Mass $5,401,839 $5

  20. 01-07-1999 - Contamination Spread Outside of Radiation Control...

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

    9 - Contamination Spread Outside of Radiation Control Areas by Fruit Flies Document Number: NA Effective Date: 011999 File (public): PDF icon 01-07-1999red...