National Library of Energy BETA

Sample records for operations sources compiled

  1. OpenRAM: An Open-Source Memory Compiler

    E-Print Network [OSTI]

    Butera, Jeffrey Thomas

    2013-01-01

    3 Software Implementation Main CompilerAn Open-Source Memory Compiler by Jeffrey T. Butera InAn Open-Source Memory Compiler A thesis submitted in partial

  2. DATA SOURCES AND COMPILATION By T.R. Klett and Thomas S. Ahlbrandt

    E-Print Network [OSTI]

    Laughlin, Robert B.

    Chapter DS DATA SOURCES AND COMPILATION By T.R. Klett and Thomas S. Ahlbrandt in U.S. Geological............................................................... DS-2 Data Compilation........................................................................... DS-3

  3. Compilers

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler

  4. A Source-to-Source OpenMP Compiler Mario Soukup and Tarek S. Abdelrahman

    E-Print Network [OSTI]

    Abdelrahman, Tarek S.

    ] and Guide F90 from Kuck and Associates [6]. Although these compilers provide an efficient implementation

  5. Compiling Codes on Euclid

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

    example.x example.c For C++ source code use mpiCC: % mpiCC -o example.x example.C PGI Compilers (CC++Fortran) See PGI compiler for information about this compiler. GNU Compilers...

  6. After Compilers and Operating Systems : The Third Advance in Application Support

    E-Print Network [OSTI]

    Burkhard D. Burow

    1999-08-03

    After compilers and operating systems, TSIAs are the third advance in application support. A compiler supports a high level application definition in a programming language. An operating system supports a high level interface to the resources used by an application execution. A Task System and Item Architecture (TSIA) provides an application with a transparent reliable, distributed, heterogeneous, adaptive, dynamic, real-time, interactive, parallel, secure or other execution. In addition to supporting the application execution, a TSIA also supports the application definition. This run-time support for the definition is complementary to the compile-time support of a compiler. For example, this allows a language similar to Fortran or C to deliver features promised by functional computing. While many TSIAs exist, they previously have not been recognized as such and have served only a particular type of application. Existing TSIAs and other projects demonstrate that TSIAs are feasible for most applications. As the next paradigm for application support, the TSIA simplifies and unifies existing computing practice and research. By solving many outstanding problems, the TSIA opens many, many new opportunities for computing.

  7. APPENDIX A -PROGRAMMING ENVIRONMENT In a command-line oriented operating system such as unix, the compilation

    E-Print Network [OSTI]

    Boal, David

    , the compilation command for a code might run something like cc code.c -flag1 -flag2 -flag3 .... where the flags is a minor bother, unless MakeFiles are used. Code Warrior, which is the C/C++ compiler used in this course, especially if one is constantly renewing a code. Source code: test.c unix compile with cc test.c -flag1 -flag

  8. Compiler Comparisons

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

    Comparisons Compiler Comparisons Compiler Comparisons on Hopper There are five compilers available to users on Hopper, the NERSC XE6. All of the compilers on this system are...

  9. Identification, Verification, and Compilation of Produced Water Management Practices for Conventional Oil and Gas Production Operations

    SciTech Connect (OSTI)

    Rachel Henderson

    2007-09-30

    The project is titled 'Identification, Verification, and Compilation of Produced Water Management Practices for Conventional Oil and Gas Production Operations'. The Interstate Oil and Gas Compact Commission (IOGCC), headquartered in Oklahoma City, Oklahoma, is the principal investigator and the IOGCC has partnered with ALL Consulting, Inc., headquartered in Tulsa, Oklahoma, in this project. State agencies that also have partnered in the project are the Wyoming Oil and Gas Conservation Commission, the Montana Board of Oil and Gas Conservation, the Kansas Oil and Gas Conservation Division, the Oklahoma Oil and Gas Conservation Division and the Alaska Oil and Gas Conservation Commission. The objective is to characterize produced water quality and management practices for the handling, treating, and disposing of produced water from conventional oil and gas operations throughout the industry nationwide. Water produced from these operations varies greatly in quality and quantity and is often the single largest barrier to the economic viability of wells. The lack of data, coupled with renewed emphasis on domestic oil and gas development, has prompted many experts to speculate that the number of wells drilled over the next 20 years will approach 3 million, or near the number of current wells. This level of exploration and development undoubtedly will draw the attention of environmental communities, focusing their concerns on produced water management based on perceived potential impacts to fresh water resources. Therefore, it is imperative that produced water management practices be performed in a manner that best minimizes environmental impacts. This is being accomplished by compiling current best management practices for produced water from conventional oil and gas operations and to develop an analysis tool based on a geographic information system (GIS) to assist in the understanding of watershed-issued permits. That would allow management costs to be kept in line with the specific projects and regions, which increases the productive life of wells and increases the ultimate recoverable reserves in the ground. A case study was conducted in Wyoming to validate the applicability of the GIS analysis tool for watershed evaluations under real world conditions. Results of the partnered research will continue to be shared utilizing proven methods, such as on the IGOCC Web site, preparing hard copies of the results, distribution of documented case studies, and development of reference and handbook components to accompany the interactive internet-based GIS watershed analysis tool. Additionally, there have been several technology transfer seminars and presentations. The goal is to maximize the recovery of our nation's energy reserves and to promote water conservation.

  10. PRECIPITATION CLIMATOLOGY IN COLORADO Compile and quality control a nine-year archive (2002-2011) of operational surface

    E-Print Network [OSTI]

    PRECIPITATION CLIMATOLOGY IN COLORADO TASK: Compile and quality control a nine-year archive (2002-2011) of operational surface precipitation and radar observations from the regional domain shown in Figure below. Our aim is to document patterns of cloud and precipitation characteristics as they vary across

  11. Compiler Comparisons

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

    a set of benchmarks described below, different optimization options for the different compilers on Edison are compared. The compilers are also compared against one another on the...

  12. Improved operation of the nonambipolar electron source

    SciTech Connect (OSTI)

    Longmier, Ben; Hershkowitz, Noah [University of Wisconsin-Madison, Madison, Wisconsin 53706 (United States)

    2008-09-15

    Significant improvements have been made to the nonambipolar electron source (NES), a radio frequency (rf) plasma-based electron source that does not rely on electron emission at a cathode surface [B. Longmier, S. Baalrud, and N. Hershkowitz, Rev. Sci. Instrum. 77, 113504 (2006)]. A prototype NES has produced 30 A of continuous electron current, using 2 SCCM (SCCM denotes cubic centimeter per minute at STP) Xe, 1300 W rf power at 13.56 MHz, yielding a 180 times gas utilization factor. A helicon mode transition has also been identified during NES operation with an argon propellant, using 15 SCCM Ar, 1000 W rf, and 100 G magnetic field. This NES technology has the ability to replace hollow cathode electron sources and to enable high power electric propulsion missions, eliminating one of the lifetime restrictions that many ion thrusters have previously been faced with.

  13. Compiling Codes on Hopper

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

    example.x example.c For C++ source code use CC % CC -fast -o example.x example.C All compilers on Hopper, PGI, Pathscale, Cray, GNU, and Intel, are provided via five programming...

  14. Building a cross compiler. Jason Miller

    E-Print Network [OSTI]

    Valtorta, Marco

    ;The operating systems Fedora Core 9 Linux Kernel 2.6.27.2578.2.56.fc9.x86_64 #1 SMP OpenWrt Linux as part of the Fedora linux distribution) A natively-built x86 assembler (provided by the GCC package as part of the Fedora linux distribution) The source code for the GCC C compiler (from http

  15. Machine learning in compilers 

    E-Print Network [OSTI]

    Leather, Hugh

    2011-01-01

    Tuning a compiler so that it produces optimised code is a difficult task because modern processors are complicated; they have a large number of components operating in parallel and each is sensitive to the behaviour of ...

  16. Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers

    E-Print Network [OSTI]

    California at Berkeley, University of

    Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers Juan Chen Chris polyvios@cs.umd.edu Abstract Type-preserving compilers translate well-typed source code, such as Java or C- mentation of type-preserving compilation in a complex, large-scale optimizing compiler. Compared to prior

  17. Collaborative compilation

    E-Print Network [OSTI]

    Wagner, Benjamin R

    2006-01-01

    Modern optimizing compilers use many heuristic solutions that must be tuned empirically. This tuning is usually done "at the factory" using standard benchmarks. However, applications that are not in the benchmark suite ...

  18. Compiling Codes

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompilerCompiling Codes

  19. Predicting performance across compilations

    E-Print Network [OSTI]

    Lau, Jeremy

    2007-01-01

    The Java Hotspot server compiler. In Java Virtual MachineM. Serrano, and T. Shpeisman. The StarJIT compiler: Ady- namic compiler for managed runtime environments. Intel

  20. National Synchrotron Light Source guidelines for the conduct of operations

    SciTech Connect (OSTI)

    Buckley, M. [Brookhaven National Lab., Upton, NY (United States). National Synchrotron Light Source

    1998-01-01

    To improve the quality and uniformity of operations at the Department of Energy`s facilities, the DOE issued Order 5480.19 ``Conduct of Operations Requirements at DOE facilities.`` This order recognizes that the success of a facilities mission critically depends upon a high level of performance by its personnel and equipment. This performance can be severely impaired if the facility`s Conduct of Operations pays inadequate attention to issues of organization, safety, health, and the environment. These guidelines are Brookhaven National Laboratory`s and the National Synchrotron Light Source`s acknowledgement of the principles of Conduct of Operations and the response to DOE Order 5480.19. These guidelines cover the following areas: (1) operations organization and administration; (2) shift routines and operating practices; (3) control area activities; (4) communications; (5) control of on-shift training; (6) investigation of abnormal events; (7) notifications; (8) control of equipment and system studies; (9) lockouts and tagouts; (10) independent verification; (11) log-keeping; (12) operations turnover; (13) operations aspects of facility process control (14) required reading; (15) timely orders to operators; (16) operations procedures; (17) operator aid posting; and (18) equipment sizing and labeling.

  1. Compiler Comparisons

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler Comparisons

  2. Compiling Codes

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler

  3. Student's Project for Compiler Construction: Compiling a Fragment of SetlX to Java

    E-Print Network [OSTI]

    Stroetmann, Karl

    Student's Project for Compiler Construction: Compiling a Fragment of SetlX to Java -- Task. This compiler takes as input a program written in the source language SetlX and produces as output Java source code, so the target language is Java. In order to execute the resulting Java programs, these programs

  4. A Certified Type-Preserving Compiler

    E-Print Network [OSTI]

    Chlipala, Adam

    1 A Certified Type- Preserving Compiler from Lambda Calculus to Assembly Language Adam Chlipala University of California, Berkeley PLDI 2007 #12;2 Why Certified Compilers? Source Code Manual Code Auditing Static Analysis Formal Methods How do we know that these programs have the same behavior? Compiled

  5. A Formal Framework for Java Separate Compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    A Formal Framework for Java Separate Compilation Davide Ancona, Giovanni Lagorio, and Elena Zucca,lagorio,zuccag@disi.unige.it Abstract. We de#12;ne a formal notion, called compilation schema, allow- ing to specify di#11;erent possibilities for performing the overall process of Java compilation, which includes type-checking of source

  6. PROCEEDINGS OF THE IEEE 1 Broadway: A Compiler for Exploiting the

    E-Print Network [OSTI]

    Patt, Yale

    : compiler expertise is built into the Broadway compiler machinery, while domain expertise resides guide the Broadway compiler in its analysis and optimization of these operations. Our design yields primarily of domain-independent compiler machinery

  7. Source document compilation: Los Alamos investigations related to the environment, engineering, geology, and hydrology, 1961--1990. Volume 2

    SciTech Connect (OSTI)

    Purtymun, W.D. [comp.

    1994-03-01

    This document is a compilation of informal reports, letters, and memorandums regarding geologic and hydrologic studies and investigations such as foundation investigations for structures, drilling or coring for environmental studies, development of water supply, or construction of test or observation wells for monitoring. Also included are replies requested for specific environmental, engineering, geologic, and hydrologic problems. The purpose of this document is to preserve and make the original data available to the environmental studies that are now in progress at Los Alamos and provide a reference for and supplement the LAMS report ``Records of Observation Wells, Test Holes, Test Wells, Supply Wells, Springs, and Surface water stations at Los Alamos: with Reference to the Geology and Hydrology,`` which is in preparation. The informal reports and memorandums are listed chronologically from December 1961 to January 1990. Item 208 is a descriptive history of the US Geological Survey`s activities at Los Alamos from 1946 through 1972. The history includes a list of published and unpublished reports that cover geology, hydrology, water supply, waste disposal, and environmental monitoring in the Los Alamos area.

  8. Source document compilation: Los Alamos investigations related to the environment, engineering, geology, and hydrology, 1961--1990. Volume 1

    SciTech Connect (OSTI)

    Purtymun, W.D. [comp.

    1994-03-01

    This document is a compilation of informal reports, letters, and memorandums regarding geologic and hydrologic studies and investigations such as foundation investigations for structures, drilling or coring for environmental studies, development of water supply, or construction of test or observation wells for monitoring. Also included are replies requested for specific environmental, engineering, geologic, and hydrologic problems. The purpose of this document is to preserve and make the original data available to the environmental studies that are now in progress at Los Alamos and provide a reference for and supplement the LAMS report ``Records of Observation Wells, Test Holes, Test Wells, Supply Wells, Springs, and Surface water stations at Los Alamos: with Reference to the Geology and Hydrology,`` which is in preparation. The informal reports and memorandums are listed chronologically from December 1961 to January 1990. Item 208 is a descriptive history of the US Geological Survey`s activities at Los Alamos from 1946 through 1972. The history includes a list of published and unpublished reports that cover geology, hydrology, water supply, waste disposal, and environmental monitoring in the Los Alamos area.

  9. Methods of performing downhole operations using orbital vibrator energy sources

    DOE Patents [OSTI]

    Cole, Jack H.; Weinberg, David M.; Wilson, Dennis R.

    2004-02-17

    Methods of performing down hole operations in a wellbore. A vibrational source is positioned within a tubular member such that an annulus is formed between the vibrational source and an interior surface of the tubular member. A fluid medium, such as high bulk modulus drilling mud, is disposed within the annulus. The vibrational source forms a fluid coupling with the tubular member through the fluid medium to transfer vibrational energy to the tubular member. The vibrational energy may be used, for example, to free a stuck tubular, consolidate a cement slurry and/or detect voids within a cement slurry prior to the curing thereof.

  10. Efficiently Operating Wireless Nodes Powered by Renewable Energy Sources

    E-Print Network [OSTI]

    Gautam, Natarajan

    1 Efficiently Operating Wireless Nodes Powered by Renewable Energy Sources Natarajan Gautam Senior. The node uses energy harvesting in the sense that it is powered by batteries that are charged by renewable that is responsible for transmitting messages in a timely manner while being prudent about energy consumption

  11. UBC Social Ecological Economic Development Studies (SEEDS) Student Report Integrating Vermicomposting into AMS SUB Operations -Phase 3 -Compiled presentations

    E-Print Network [OSTI]

    SPACE FOR FOOD WASTE, CARBON SOURCE, WORM BIN FINDINGS - EXECUTION #12; ENGAGE STAFF CHANGE ATTITUDES & BEHAVIOURS SPECIFIC FOOD WASTE BINS FOR WORMS TRAINING & SUPPORT SIGNAGE FINDINGS - EXECUTION #12;Where Campus (in-vessel unit) 25% is recycled #12;#12;#12;#12;COMPOST ALL FOOD WASTE RECOMMENDATION

  12. Compiler Optimization Jordan Bradshaw

    E-Print Network [OSTI]

    Valtorta, Marco

    Compiler Optimization Jordan Bradshaw #12;Outline Overview Goals and Considerations ­ Scope. 346- 352. Print. "Compiler Optimization." Wikipedia. Wikimedia Foundation, 25 04 2010. Web. 25 Apr 2010. #12;Compiler Optimization Goals: ­ Speed

  13. The Paradigm Compiler for

    E-Print Network [OSTI]

    Chandy, John A.

    The Paradigm Compiler for Distributed-Memory Multicomputers Prithviraj Banerjee John A. Chandy University of Illinois, Urbana-Champaign A flexible compiler framework for distributed-memory multi. The Paradigm (Parallelizing Compiler for Distributed- Memory, General-Purpose Multicomputers) project

  14. Introduction to Knowledge Compilation

    E-Print Network [OSTI]

    Huang, Jinbo

    Introduction to Knowledge Compilation Jinbo Huang NICTA and Australian National University (based in part on Adnan Darwiche's tutorial) Jinbo Huang Introduction to Knowledge Compilation #12;Propositional Huang Introduction to Knowledge Compilation #12;Truth of Sentences Burglary Earthquake Alarm 1

  15. Ecole Doctorale Compilation, debogage

    E-Print Network [OSTI]

    Louvet, Violaine

    Ecole Doctorale ­ Compilation, debogage Violaine Louvet 1 1 ICJ - CNRS Année 2012-2013 #12;Objectifs de ce cours Compilation Comprendre le rôle et le fonctionnement d'un compilateur. Connaître les principales directives et options de compilation. Savoir faire de la compilation séparée. Savoir utiliser un

  16. Towards a Smart Compilation Manager for Java (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Towards a Smart Compilation Manager for Java (Extended Abstract) Giovanni Lagorio DISI - Universit differently from the program obtained recompiling all the sources from scratch? We say that a compilation the sources for which the recompilation would be unde- fined: indeed, when the entire compilation fails, so

  17. A Kronecker Compiler for Fast Transform Algorithms Nikos P. Pitsianis

    E-Print Network [OSTI]

    Pitsianis, Nikos P.

    A Kronecker Compiler for Fast Transform Algorithms Nikos P. Pitsianis January 9, 1997 Abstract We present a source-to-source compiler that processes matrix formulae in the form of Kronecker product-Hadamard, Haar, Slant, Hartley, and FFTs as well as transpositions and wavelet transforms. The compiler is based

  18. Sources of secondary radionuclide releases from Hanford Operations

    SciTech Connect (OSTI)

    Heeb, C.M.; Gydesen, S.P.

    1994-05-01

    This report considers Hanford facilities and operations with the potential to be secondary radionuclide release sources. Facilities that produced radionuclides or processed products of fission reactions and were not covered in previous source term reports are included in this report. The following facilities are described and any potentially significant releases from them are estimated: PUREX (1956--1972, 1983--1988) and REDOX (1952--1967)--campaigns with non-standard feed material (materials other than fuel from single-pass reactors); C PLANT (Hot Semi-Works)--pilot plant and strontium recovery; Z Plant--plutonium finishing; U and UO{sub 3} Plants--uranium recovery; 108 B Plant--tritium extraction; 300 Area Plutonium Recycle Test Reactor (PRTR); 300 Area Low Power Test Reactors; Criticality Accidents; and 400 Area Fast Flux Test Facility (FFTF). The method of analysis was to examine each facility, give a brief description of its purpose and operations, and describe the types of material the facility processed as an indication of the radionuclides it had the potential to release. Where possible, specific radionuclides are estimated and values from the original documents are reported.

  19. Choosing a Compiler on Edison

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

    Choosing a Compiler on Edison Choosing a Compiler on Edison Three different compilers are available on Edison. In this section we compare them using the benchmarks described above....

  20. Credible Compilation Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 Abstract This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple

  1. Credible Compilation Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation #3; Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 Abstract This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple

  2. Credible Compilation Darko Marinov

    E-Print Network [OSTI]

    Marinov, Darko

    Credible Compilation by Darko Marinov Submitted to the Department of Electrical Engineering by . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Arthur C. Smith Chairman, Department Committee on Graduate Students #12; Credible Compilation by Darko describes a theoretical framework for building compilers that generate formal guarantees that they work

  3. Another Step Towards a Smart Compilation Manager for Java

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Another Step Towards a Smart Compilation Manager for Java G. Lagorio DISI - Universit`a di Genova Compilers General Terms Languages Keywords Java, separate compilation ABSTRACT In a recent work we have) for a substantial subset of Java which has been shown to be sound and minimal. That is, an unchanged source

  4. Quick Compilers Using Peephole Optimization JACK W. DAVIDSON AND DAVID B. WHALLEY

    E-Print Network [OSTI]

    Whalley, David

    Quick Compilers Using Peephole Optimization JACK W. DAVIDSON AND DAVID B. WHALLEY Department modeling is a popular technique for developing portable compilers. A compiler can be quickly realized by translating the abstract machine operations to target machine operations. The problem with these compilers

  5. EIS-0247: Construction and Operation of the Spallation Neutron Source

    Broader source: Energy.gov [DOE]

    The United States needs a high-flux, short- pulsed neutron source to provide its scientific and industrial research communities with a much more intense source of pulsed neutrons for neutron...

  6. ,"Plant","Primary Energy Source","Operating Company","Net Summer...

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

    Pennsylvania" ,"Plant","Primary Energy Source","Operating Company","Net Summer Capacity (MW)" 1,"PPL Susquehanna","Nuclear","PPL Susquehanna LLC",2520 2,"FirstEnergy Bruce...

  7. ,"Plant","Primary Energy Source","Operating Company","Net Summer...

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

    United States" ,"Plant","Primary Energy Source","Operating Company","Net Summer Capacity (MW)" 1,"Grand Coulee","Hydroelectric","U S Bureau of Reclamation",7079 2,"Palo...

  8. Lecture Compiler Construction Franz Wotawa

    E-Print Network [OSTI]

    Lecture Compiler Construction Franz Wotawa wotawa@ist.tugraz.at Institute for Software Technology Graz) Compiler Construction Summer term 2015 1 / 63 #12;Compilers are everywhere Programming languages compilers (HTML, LATEX,...) Means for communication between computers like XML Natural languages Compilers

  9. An Open Source Laboratory for Operating Systems Projects Mark Claypool, David Finkel and Craig Wills *

    E-Print Network [OSTI]

    Claypool, Mark

    1 An Open Source Laboratory for Operating Systems Projects Mark Claypool, David Finkel and Craig 100 Institute Road Worcester, MA 01609 Abstract Typical undergraduate operating systems projects use services provided by an operating system via system calls or develop code in a simulated operating system

  10. Sources of Operational Flexibility, Greening the Grid (Fact Sheet...

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

    costs are system-dependent and evolving over time SYSTEM OPERATION MARKETS LOAD FLEXIBLE GENERATION NETWORKS STORAGE Grid Codes Improved Energy Market Design Increased Ancillary...

  11. Copyright Y. Daniel Liang, 2012 1 Installing the Cygwin C++ Compiler

    E-Print Network [OSTI]

    Liang, Y. Daniel

    © Copyright Y. Daniel Liang, 2012 1 Supplement Installing the Cygwin C++ Compiler For Introduction to C++ Programming Y. Daniel Liang You may download a free C++ compiler from several sources. This supplement shows you how to download and install the Cygwin compiler. 1. To download the Cygwin compiler, go

  12. Intel Compiler Peformance on Edison

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

    Peformance on Edison Intel Compiler Peformance on Edison These are the Intel optimization options we compared. The quotations are from the Intel compiler on-line man pages....

  13. Compilation as Metacomputation: Binding Time Separation in Modular Compilers

    E-Print Network [OSTI]

    Kamin, Sam

    Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract­ ings. Metacomputation­style specification lends itself to semantics­directed compilation, which we demonstrate by creating a modular compiler for a higher­order, imperative, Algol­like language. Keywords

  14. Credible Compilation Martin C. Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation Martin C. Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 March 10, 1999 Abstract This paper presents a new concept in compiler correctness: instead of proving that the compiler performs all of its transformations correctly, the compiler

  15. Algorithms for Supporting Compiled Communication

    E-Print Network [OSTI]

    Yuan, Xin

    Algorithms for Supporting Compiled Communication Xin Yuan Rami Melhem Rajiv Gupta Dept. We present an experimental compiler, E­SUIF, that supports compiled communication for High algorithms used in E­SUIF. We further demonstrate the effectiveness of compiled communication on all­ optical

  16. Compiling Codes on Cori

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompilerCompiling

  17. ,"Plant","Primary Energy Source","Operating Company","Net Summer...

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

    Arizona" ,"Plant","Primary Energy Source","Operating Company","Net Summer Capacity (MW)" 1,"Palo Verde","Nuclear","Arizona Public Service Co",3937 2,"Navajo","Coal","Salt River...

  18. ,"Plant","Primary Energy Source","Operating Company","Net Summer...

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

    Connecticut" ,"Plant","Primary Energy Source","Operating Company","Net Summer Capacity (MW)" 1,"Millstone","Nuclear","Dominion Nuclear Conn Inc",2102.5 2,"Middletown","Petroleum","...

  19. ,"Plant","Primary Energy Source","Operating Company","Net Summer...

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

    Jersey" ,"Plant","Primary Energy Source","Operating Company","Net Summer Capacity (MW)" 1,"PSEG Salem Generating Station","Nuclear","PSEG Nuclear LLC",2365.7 2,"PSEG Linden...

  20. Investigation of ISIS and Brookhaven National Laboratory ion source electrodes after extended operation

    SciTech Connect (OSTI)

    Lettry J.; Alessi J.; Faircloth, D.; Gerardin, A.; Kalvas, T.; Pereira, H.; Sgobba, S.

    2012-02-23

    Linac4 accelerator of Centre Europeen de Recherches Nucleaires is under construction and a RF-driven H{sup -} ion source is being developed. The beam current requirement for Linac4 is very challenging: 80 mA must be provided. Cesiated plasma discharge ion sources such as Penning or magnetron sources are also potential candidates. Accelerator ion sources must achieve typical reliability figures of 95% and above. Investigating and understanding the underlying mechanisms involved with source failure or ageing is critical when selecting the ion source technology. Plasma discharge driven surface ion sources rely on molybdenum cathodes. Deformation of the cathode surfaces is visible after extended operation periods. A metallurgical investigation of an ISIS ion source is presented. The origin of the deformation is twofold: Molybdenum sputtering by cesium ions digs few tenths of mm cavities while a growth of molybdenum is observed in the immediate vicinity. The molybdenum growth under hydrogen atmosphere is hard and loosely bound to the bulk. It is, therefore, likely to peel off and be transported within the plasma volume. The observation of the cathode, anode, and extraction electrodes of the magnetron source operated at BNL for two years are presented. A beam simulation of H{sup -}, electrons, and Cs{sup -} ions was performed with the IBSimu code package to qualitatively explain the observations. This paper describes the operation conditions of the ion sources and discusses the metallurgical analysis and beam simulation results.

  1. Investigation of ISIS and Brookhaven National Laboratory ion source electrodes after extended operation

    SciTech Connect (OSTI)

    Lettry, J.; Gerardin, A.; Pereira, H.; Sgobba, S.; Alessi, J.; Faircloth, D.; Kalvas, T.

    2012-02-15

    Linac4 accelerator of Centre Europeen de Recherches Nucleaires is under construction and a RF-driven H{sup -} ion source is being developed. The beam current requirement for Linac4 is very challenging: 80 mA must be provided. Cesiated plasma discharge ion sources such as Penning or magnetron sources are also potential candidates. Accelerator ion sources must achieve typical reliability figures of 95% and above. Investigating and understanding the underlying mechanisms involved with source failure or ageing is critical when selecting the ion source technology. Plasma discharge driven surface ion sources rely on molybdenum cathodes. Deformation of the cathode surfaces is visible after extended operation periods. A metallurgical investigation of an ISIS ion source is presented. The origin of the deformation is twofold: Molybdenum sputtering by cesium ions digs few tenths of mm cavities while a growth of molybdenum is observed in the immediate vicinity. The molybdenum growth under hydrogen atmosphere is hard and loosely bound to the bulk. It is, therefore, likely to peel off and be transported within the plasma volume. The observation of the cathode, anode, and extraction electrodes of the magnetron source operated at BNL for two years are presented. A beam simulation of H{sup -}, electrons, and Cs{sup -} ions was performed with the IBSimu code package to qualitatively explain the observations. This paper describes the operation conditions of the ion sources and discusses the metallurgical analysis and beam simulation results.

  2. Arroyo Colorado: A Compilation and Evaluation of Prior Studies and Data 

    E-Print Network [OSTI]

    Wagner, C.

    2012-04-11

    This report was compiled per the project, “Arroyo Colorado Agricultural Nonpoint Source Assessment” funded by the TSSWCB through the CWA §319(h) NPS Grant Program. Under this project, TWRI was tasked to (1) compile historical water quality data...

  3. Speeding up dynamic compilation: concurrent and parallel dynamic compilation 

    E-Print Network [OSTI]

    Bohm, Igor

    2013-07-02

    The main challenge faced by a dynamic compilation system is to detect and translate frequently executed program regions into highly efficient native code as fast as possible. To efficiently reduce dynamic compilation ...

  4. Operation and development status of the J-PARC ion source

    SciTech Connect (OSTI)

    Yamazaki, S. Ikegami, K.; Ohkoshi, K.; Ueno, A.; Koizumi, I.; Takagi, A.; Oguri, H.

    2014-02-15

    A cesium-free H{sup ?} ion source driven with a LaB{sub 6} filament is being operated at the Japan Proton Accelerator Research Complex (J-PARC) without any serious trouble since the restoration from the March 2011 earthquake. The H{sup ?} ion current from the ion source is routinely restricted approximately 19 mA for the lifetime of the filament. In order to increase the beam power at the linac beam operation (January to February 2013), the beam current from the ion source was increased to 22 mA. At this operation, the lifetime of the filament was estimated by the reduction in the filament current. According to the steep reduction in the filament current, the break of the filament was predicted. Although the filament has broken after approximately 10 h from the steep current reduction, the beam operation was restarted approximately 8 h later by the preparation for the exchange of new filament. At the study time for the 3 GeV rapid cycling synchrotron (April 2013), the ion source was operated at approximately 30 mA for 8 days. As a part of the beam current upgrade plan for the J-PARC, the front end test stand consisting of the ion source and the radio frequency quadrupole is under preparation. The RF-driven H{sup ?} ion source developed for the J-PARC 2nd stage requirements will be tested at this test stand.

  5. An extension-oriented compiler

    E-Print Network [OSTI]

    Cox, Russell Stensby

    2008-01-01

    The thesis of this dissertation is that compilers can and should allow programmers to extend programming languages with new syntax, features, and restrictions by writing extension modules that act as plugins for the compiler. ...

  6. Gnu Compiler Peformance on Edison

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

    are from the gcc compiler on-line man page. Gnu compiler options tested -O3 -ffast-math In addition to the -O3 optimizations, this performs optimizations at the expense of an...

  7. Radiological and chemical source terms for Solid Waste Operations Complex. Revision 1

    SciTech Connect (OSTI)

    Boothe, G.F.

    1994-06-03

    The purpose of this document is to describe the radiological and chemical source terms for the major projects of the Solid Waste Operations Complex (SWOC), including Project W-112, Project W-133 and Project W-100 (WRAP 2A). For purposes of this document, the term ``source term`` means the design basis inventory. All of the SWOC source terms involve the estimation of the radiological and chemical contents of various waste packages from different waste streams, and the inventories of these packages within facilities or within a scope of operations. The composition of some of the waste is not known precisely; consequently, conservative assumptions were made to ensure that the source term represents a bounding case (i.e., it is expected that the source term would not be exceeded). As better information is obtained on the radiological and chemical contents of waste packages and more accurate facility specific models are developed, this document should be revised as appropriate. Radiological source terms are needed to perform shielding and external dose calculations, to estimate routine airborne releases, to perform release calculations and dose estimates for safety documentation, to calculate the maximum possible fire loss and specific source terms for individual fire areas, etc. Chemical source terms (i.e., inventories of combustible, flammable, explosive or hazardous chemicals) are used to determine combustible loading, fire protection requirements, personnel exposures to hazardous chemicals from routine and accident conditions, and a wide variety of other safety and environmental requirements.

  8. A compiler writing language 

    E-Print Network [OSTI]

    Richers, Louis William

    1967-01-01

    "pure" language nor is it intended to be a language with which to write efficient production- type compilers. CHAPTER I I BASIC CONCEPTS CWL is similar to other problem-oriented computer languages in structure and in the manner in which... then be used in procedures and within program loops. Consider the following statements: (LABEL 1) BEGIN J = J + l. MOVE TAB TO CHAR(J). END (STEP2) FOR I, LE. 72 BEGIN IF CHAR (I) = '. ' THEN GO TO FINISH. END (STEP3) The names within parentheses...

  9. Beam extraction and high stability operation of high current electron cyclotron resonance proton ion source

    SciTech Connect (OSTI)

    Roychowdhury, P. Mishra, L.; Kewlani, H.; Mittal, K. C.; Patil, D. S.

    2014-03-15

    A high current electron cyclotron resonance proton ion source is designed and developed for the low energy high intensity proton accelerator at Bhabha Atomic Research Centre. The plasma discharge in the ion source is stabilized by minimizing the reflected microwave power using four stub auto tuner and magnetic field. The optimization of extraction geometry is performed using PBGUNS code by varying the aperture, shape, accelerating gap, and the potential on the electrodes. While operating the source, it was found that the two layered microwave window (6 mm quartz plate and 2 mm boron nitride plate) was damaged (a fine hole was drilled) by the back-streaming electrons after continuous operation of the source for 3 h at beam current of 20–40 mA. The microwave window was then shifted from the line of sight of the back-streaming electrons and located after the water-cooled H-plane bend. In this configuration the stable operation of the high current ion source for several hours is achieved. The ion beam is extracted from the source by biasing plasma electrode, puller electrode, and ground electrode to +10 to +50 kV, ?2 to ?4 kV, and 0 kV, respectively. The total ion beam current of 30–40 mA is recorded on Faraday cup at 40 keV of beam energy at 600–1000 W of microwave power, 800–1000 G axial magnetic field and (1.2–3.9) × 10{sup ?3} mbar of neutral hydrogen gas pressure in the plasma chamber. The dependence of beam current on extraction voltage, microwave power, and gas pressure is investigated in the range of operation of the ion source.

  10. Distributed Operating Systems I (4005-730-01) Brief guide to information sources for primary research

    E-Print Network [OSTI]

    Kaminsky, Alan

    for primary research The following online databases are subscribed to by the library. They can be searched3/16/2005 1 Distributed Operating Systems I (4005-730-01) Brief guide to information sources can be accessed at http://wally.rit.edu/electronic/topic/compsci.html · ACM Digital Library o Full

  11. Cray Compiler Peformance on Edison

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

    on Edison Cray Compiler Peformance on Edison Cray recommends using the default optimization (-O2) which is equivalent to the higher levels of optimization with other...

  12. Operational and theoretical temperature considerations in a Penning surface plasma source

    SciTech Connect (OSTI)

    Faircloth, D. C. Lawrie, S. R.; Pereira Da Costa, H.; Dudnikov, V.

    2015-04-08

    A fully detailed 3D thermal model of the ISIS Penning surface plasma source is developed in ANSYS. The proportion of discharge power applied to the anode and cathode is varied until the simulation matches the operational temperature observations. The range of possible thermal contact resistances are modelled, which gives an estimation that between 67% and 85% of the discharge power goes to the cathode. Transient models show the electrode surface temperature rise during the discharge pulse for a range of duty cycles. The implications of these measurements are discussed and a mechanism for governing cesium coverage proposed. The requirements for the design of a high current long pulse source are stated.

  13. OSCAR Parallelizing Compiler and Its Performance for

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Parallelizing Compiler and Its Performance for Embedded Applications Hironori Kasahara Supercomputers and servers Industry Capsule inner cameras Compiler, API Medical servers Heavy particle radiation productivity and reduce power OSCAR Parallelizing Compiler Multigrain Parallelization coarse-grain parallelism

  14. Intel compiler now available on Hopper

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

    Intel compiler now available on Hopper Intel compiler now available on Hopper August 29, 2011 by Francesca Verdier (0 Comments) The Intel compiler suite is now available on Hopper....

  15. Cray Compiler Peformance on Edison

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

    (-O2) which is equivalent to the higher levels of optimization with other compilers. In addition, the -O3 and -Ofp3 options can improve performance on some codes. These...

  16. CompilerDirected Dynamic Voltage Scaling Based on Program Regions

    E-Print Network [OSTI]

    Kremer, Ulrich

    '' the degraded CPU performance behind the memory hierarchy accesses which are on the critical path. The compiler. processor that can operate over a wide voltage range. The operating system controls the processor speed user environment, but not in a multi­user environment where the CPU is scheduled across di#erent active

  17. Development of a high average current polarized electron source with long cathode operational lifetime

    SciTech Connect (OSTI)

    C. K. Sinclair; P. A. Adderley; B. M. Dunham; J. C. Hansknecht; P. Hartmann; M. Poelker; J. S. Price; P. M. Rutt; W. J. Schneider; M. Steigerwald

    2007-02-01

    Substantially more than half of the electromagnetic nuclear physics experiments conducted at the Continuous Electron Beam Accelerator Facility of the Thomas Jefferson National Accelerator Facility (Jefferson Laboratory) require highly polarized electron beams, often at high average current. Spin-polarized electrons are produced by photoemission from various GaAs-based semiconductor photocathodes, using circularly polarized laser light with photon energy slightly larger than the semiconductor band gap. The photocathodes are prepared by activation of the clean semiconductor surface to negative electron affinity using cesium and oxidation. Historically, in many laboratories worldwide, these photocathodes have had short operational lifetimes at high average current, and have often deteriorated fairly quickly in ultrahigh vacuum even without electron beam delivery. At Jefferson Lab, we have developed a polarized electron source in which the photocathodes degrade exceptionally slowly without electron emission, and in which ion back bombardment is the predominant mechanism limiting the operational lifetime of the cathodes during electron emission. We have reproducibly obtained cathode 1/e dark lifetimes over two years, and 1/e charge density and charge lifetimes during electron beam delivery of over 2?105???C/cm2 and 200 C, respectively. This source is able to support uninterrupted high average current polarized beam delivery to three experimental halls simultaneously for many months at a time. Many of the techniques we report here are directly applicable to the development of GaAs photoemission electron guns to deliver high average current, high brightness unpolarized beams.

  18. Operating characteristics of a new ion source for KSTAR neutral beam injection system

    SciTech Connect (OSTI)

    Kim, Tae-Seong Jeong, Seung Ho; Chang, Doo-Hee; Lee, Kwang Won; In, Sang-Ryul

    2014-02-15

    A new positive ion source for the Korea Superconducting Tokamak Advanced Research neutral beam injection (KSTAR NBI-1) system was designed, fabricated, and assembled in 2011. The characteristics of the arc discharge and beam extraction were investigated using hydrogen and helium gas to find the optimum operating parameters of the arc power, filament voltage, gas pressure, extracting voltage, accelerating voltage, and decelerating voltage at the neutral beam test stand at the Korea Atomic Energy Research Institute in 2012. Based on the optimum operating condition, the new ion source was then conditioned, and performance tests were primarily finished. The accelerator system with enlarged apertures can extract a maximum 65 A ion beam with a beam energy of 100 keV. The arc efficiency and optimum beam perveance, at which the beam divergence is at a minimum, are estimated to be 1.0 A/kW and 2.5 uP, respectively. The beam extraction tests show that the design goal of delivering a 2 MW deuterium neutral beam into the KSTAR Tokamak plasma is achievable.

  19. Executing Verified Compiler Specification Koji Okuma1

    E-Print Network [OSTI]

    Minamide, Yasuhiko

    Executing Verified Compiler Specification Koji Okuma1 and Yasuhiko Minamide2 1 Doctoral Program {okuma,minamide}@score.is.tsukuba.ac.jp Abstract. Much work has been done in verifying a compiler compiler specification and a correct compiler implementation. To fill this gap and obtain a correct

  20. The Compiler Forest Mihai Budiu1

    E-Print Network [OSTI]

    Plotkin, Gordon

    The Compiler Forest Mihai Budiu1 , Joel Galenson1,2 , and Gordon D. Plotkin1,3 1 Microsoft Research the problem of writing compilers targeting complex ex- ecution environments, such as computer clusters composed of machines with multi-core CPUs. To that end we introduce partial compilers. These compilers can

  1. EA-1455: Enhanced Operations of the Advanced Photon Source at Argonne National Laboratory-East, Argonne, Illinois

    Broader source: Energy.gov [DOE]

    This EA evaluates the environmental impacts for the proposal to continue and enhance operation of the Advanced photon Source, including modifications, upgrades, and new facilities, at the U.S....

  2. EIS-0302: Transfer of the Heat Source/Radioisotope Thermoelectric Generator Assembly and Test Operations From the Mound Site

    Broader source: Energy.gov [DOE]

    This EIS analyzes DOE's proposed transfer of the Heat Source/Radioisotope Thermoelectric Generator (HS/RTG) operations at the Mound Site near Miamisburg, Ohio, to an alternative DOE site.

  3. Measurements of the subcriticality using advanced technique of shooting source during operation of NPP reactors

    SciTech Connect (OSTI)

    Lebedev, G. V., E-mail: lgv2004@mail.ru; Petrov, V. V. [National Research Center Kurchatov Institute (Russian Federation); Bobylyov, V. T.; Butov, R. I.; Zhukov, A. M.; Sladkov, A. A. [Dukhov VNIIA (Russian Federation)

    2014-12-15

    According to the rules of nuclear safety, the measurements of the subcriticality of reactors should be carried out in the process of performing nuclear hazardous operations. An advanced technique of shooting source of neutrons is proposed to meet this requirement. As such a source, a pulsed neutron source (PNS) is used. In order to realize this technique, it is recommended to enable a PNS with a frequency of 1–20 Hz. The PNS is stopped after achieving a steady-state (on average) number of neutrons in the reactor volume. The change in the number of neutrons in the reactor volume is measured in time with an interval of discreteness of ?0.1 s. The results of these measurements with the application of a system of point-kinetics equations are used in order to calculate the sought subcriticality. The basic idea of the proposed technique used to measure the subcriticality is elaborated in a series of experiments on the Kvant assembly. The conditions which should be implemented in order to obtain a positive result of measurements are formulated. A block diagram of the basic version of the experimental setup is presented, whose main element is a pulsed neutron generator.

  4. November 13, 2008 Compilers for Parallel Computing, L3: Autotuning Compilers

    E-Print Network [OSTI]

    Hall, Mary W.

    November 13, 2008 Compilers for Parallel Computing, L3: Autotuning Compilers 1 A Crash Course in Compilers for Parallel Computing Mary Hall Fall, 2008 #12;November 13, 2008 Compilers for Parallel Computing, L3: Autotuning Compilers 2 Overview of "Crash Course" · L1: Data Dependence Analysis

  5. Compiler Analysis to Support Compiled Communication for HPF--like programs Xin Yuan \\Lambda

    E-Print Network [OSTI]

    Compiler Analysis to Support Compiled Communication for HPF--like programs Xin Yuan \\Lambda Dept at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at compile time. In order to support com­ piled communication

  6. Compiler Analysis to Support Compiled Communication for HPFlike programs Dept. Of Computer Science

    E-Print Network [OSTI]

    Yuan, Xin

    Compiler Analysis to Support Compiled Communication for HPF­like programs Xin Yuan Dept at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at compile time. In order to support com- piled communication

  7. CS 488 Compilers Spring 2007

    E-Print Network [OSTI]

    Crespi, Valentino

    system Prerequisites: CS 312 Data Structures and Algorithms CS 332 Programming Language Paradigms CS 386 Symbol tables. 3 Lexical analysis. 4 Syntactic analysis ­ top down and bottom up parsing schemes. 5 6 the compiler on a few algorithms at the end of the quarter. The project is divided into five phases: Phase 1

  8. A Compiler Infrastructure for High-Performance Java

    E-Print Network [OSTI]

    Abdelrahman, Tarek S.

    Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ontario, Canada M5S 3G4 transformations, insertion of implicit code to accu- rately model the source program, incorporation of compiled has a number This work is supported by NSERC (Canada) and CITO (Ontario) grants. #12;of features which

  9. Using Machine Learning to Automate Compiler Optimisation 

    E-Print Network [OSTI]

    Thomson, John D

    2009-01-01

    Many optimisations in modern compilers have been traditionally based around using analysis to examine certain aspects of the code; the compiler heuristics then make a decision based on this information as to what to ...

  10. The Performance of a Mechanical Design 'Compiler'

    E-Print Network [OSTI]

    Ward, Allen C.

    1989-01-01

    A mechanical design "compiler" has been developed which, given an appropriate schematic, specifications, and utility function for a mechanical design, returns catalog numbers for an optimal implementation. The compiler ...

  11. TUNE: Compiler-Directed Automatic Performance Tuning

    SciTech Connect (OSTI)

    Hall, Mary

    2014-09-18

    This project has developed compiler-directed performance tuning technology targeting the Cray XT4 Jaguar system at Oak Ridge, which has multi-core Opteron nodes with SSE-3 SIMD extensions, and the Cray XE6 Hopper system at NERSC. To achieve this goal, we combined compiler technology for model-guided empirical optimization for memory hierarchies with SIMD code generation, which have been developed by the PIs over the past several years. We examined DOE Office of Science applications to identify performance bottlenecks and apply our system to computational kernels that operate on dense arrays. Our goal for this performance-tuning technology has been to yield hand-tuned levels of performance on DOE Office of Science computational kernels, while allowing application programmers to specify their computations at a high level without requiring manual optimization. Overall, we aim to make our technology for SIMD code generation and memory hierarchy optimization a crucial component of high-productivity Petaflops computing through a close collaboration with the scientists in national laboratories.

  12. Compilation Techniques for Efficient Encrypted Computation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Compilation Techniques for Efficient Encrypted Computation Christopher Fletcher MIT CSAIL cwfletch-dependent loops has not been a focus of attention. In this paper, we take a first step toward building a compiler the compilation step of a program with complex control constructs. Since the server deals with encrypted data

  13. Intel C++ Compiler User and Reference Guides

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® C++ Compiler User and Reference Guides Document number: 304968-022US #12;Disclaimer) 2001, Hewlett-Packard Development Company, L.P. #12;#12;v Table of Contents Intel(R) C++ Compiler User and Reference Guides..............................................1 Intel® C++ Compiler User and Reference

  14. III 1111111111111111111111111111111111 Physical Properties Data Compilations

    E-Print Network [OSTI]

    PB280·795 III 1111111111111111111111111111111111 Physical Properties Data Compilations Relevant under title: Physical properties data compilations relevant to energy storage. (Nat. stand. ref. data. SHEET NSRDS-NBS 61, Part 1 4. TITLE AND SUATITLE Physical Properties Data Compilations Relevant

  15. GLOSSARY OF WATER RESOURCES TERMS Compiled by

    E-Print Network [OSTI]

    District of Columbia, University of the

    #12;GLOSSARY OF WATER RESOURCES TERMS Compiled by WRRC Staff D.C. Water Resources Research Center;PREFACE The glossary of water research terms was compiled from a variety of other glossaries, dictionaries. The compilation and preparation of this edition of the glossary was carried out by WRRC staff including Faculty

  16. Static single information form for abstract compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Static single information form for abstract compilation Davide Ancona and Giovanni Lagorio DIBRIS information (SSI), an extension of SSA proposed in literature and adopted by some compilers, to allow integrated with ab- stract compilation, our approach to static type analysis. In particular, we define

  17. Intel Fortran Compiler User and Reference Guides

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Fortran Compiler User and Reference Guides Document number: 304970-005US #12;Disclaimer) 2001, Hewlett-Packard Development Company, L.P. #12;#12;v Table of Contents Intel(R) Fortran Compiler User and Reference Guides.........................................1 Intel® Fortran Compiler User

  18. Lattice Simulations using OpenACC compilers

    E-Print Network [OSTI]

    Pushan Majumdar

    2013-11-12

    OpenACC compilers allow one to use Graphics Processing Units without having to write explicit CUDA codes. Programs can be modified incrementally using OpenMP like directives which causes the compiler to generate CUDA kernels to be run on the GPUs. In this article we look at the performance gain in lattice simulations with dynamical fermions using OpenACC compilers.

  19. Operation of an ungated diamond field-emission array cathode in a L-band radiofrequency electron source

    SciTech Connect (OSTI)

    Piot, P. [Northern Illinois Center for Accelerator and Detector Development and Department of Physics, Northern Illinois University, DeKalb, Illinois 60115 (United States); Accelerator Physics Center, Fermi National Accelerator Laboratory, Batavia, Illinois 60510 (United States); Brau, C. A.; Gabella, W. E.; Ivanov, B.; Mendenhall, M. H. [Department of Physics and Astronomy, Vanderbilt University, Nashville, Tennessee 37235 (United States); Choi, B. K. [Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, Tennessee 37235 (United States); Vanderbilt Institute of Nanoscale Science and Engineering, Vanderbilt University, Nashville, Tennessee 37235 (United States); Blomberg, B.; Mihalcea, D.; Panuganti, H. [Northern Illinois Center for Accelerator and Detector Development and Department of Physics, Northern Illinois University, DeKalb, Illinois 60115 (United States); Jarvis, J. [Advanced Energy Systems, Inc., Medford, New York 11763 (United States); Prieto, P.; Reid, J. [Accelerator Division, Fermi National Accelerator Laboratory, Batavia, Illinois 60510 (United States)

    2014-06-30

    We report on the operation of a field-emitter-array cathode in a conventional L-band radio-frequency electron source. The cathode consisted of an array of ?10{sup 6} diamond tips on pyramids. Maximum current on the order of 15?mA was reached and the cathode did not show appreciable signs of fatigue after weeks of operation. The measured Fowler-Nordheim characteristics, transverse beam density, and current stability are discussed.

  20. Roles of Parallelizing CompilersRoles of Parallelizing Compilers for Low Power Manycoresy

    E-Print Network [OSTI]

    Kasahara, Hironori

    Roles of Parallelizing CompilersRoles of Parallelizing Compilers for Low Power Manycoresy Hironori improve effective performance, cost-performance and Needs of Parallelizing Compilers for Manycores p p p of consumed power byReduction of consumed power by compiler control DVFS and Power gating with hardware

  1. Compiler Construction--The Art of Niklaus Wirth 1 Compiler Construction

    E-Print Network [OSTI]

    Mössenböck, Hanspeter

    Compiler Construction--The Art of Niklaus Wirth 1 Compiler Construction The Art of Niklaus Wirth a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient and reliable compilers. This paper tries to collect some

  2. Emittance measurements for optimum operation of the J-PARC RF-driven H{sup ?} ion source

    SciTech Connect (OSTI)

    Ueno, A. Ohkoshi, K.; Ikegami, K.; Takagi, A.; Yamazaki, S.; Oguri, H.

    2015-04-08

    In order to satisfy the Japan Proton Accelerator Research Complex (J-PARC) second stage requirements of an H{sup ?} ion beam of 60mA within normalized emittances of 1.5?mm•mrad both horizontally and vertically, a flat top beam duty factor of 1.25% (500?s×25Hz) and a life-time of longer than 1month, the J-PARC cesiated RF-driven H{sup ?} ion source was developed by using an internal-antenna developed at the Spallation Neutron Source (SNS). The transverse emittances of the source were measured with various conditions to find out the optimum operation conditions minimizing the horizontal and vertical rms normalized emittances. The transverse emittances were most effectively reduced by operating the source with the plasma electrode temperature lower than 70°C. The optimum value of the cesium (Cs) density around the beam hole of the plasma electrode seems to be proportional to the plasma electrode temperature. The fine control of the Cs density is indispensable, since the emittances seem to increase proportionally to the excessiveness of the Cs density. Furthermore, the source should be operated with the Cs density beyond a threshold value, since the plasma meniscus shape and the ellipse parameters of the transverse emittances seem to be changed step-function-likely on the threshold Cs value.

  3. COMPILATION OF MEMORANDA OF UNDERSTANDING AND INTERAGENCY AGREEMENTS...

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

    UNDERSTANDING AND INTERAGENCY AGREEMENTS CompilationMemorandaInteragencyAgreements2000Nov142008.pdf COMPILATION OF MEMORANDAOF UNDERSTANDING AND INTERAGENCY AGREEMENTS,...

  4. Thermionic converter with differentially heated cesium-oxygen source and method of operation

    DOE Patents [OSTI]

    Rasor, Ned S. (Cupertino, CA); Riley, David R. (West Newton, PA); Murray, Christopher S. (Bethel Park, PA); Geller, Clint B. (Pittsburgh, PA)

    2000-01-01

    A thermionic converter having an emitter, a collector, and a source of cesium vapor is provided wherein the source of cesium vapor is differentially heated so that said source has a hotter end and a cooler end, with cesium vapor evaporating from said hotter end into the space between the emitter and the collector and with cesium vapor condensing at said cooler end. The condensed cesium vapor migrates through a porous element from the cooler end to the hotter end.

  5. Abatement of Air Pollution: Permit to Construct and Operate Stationary Sources (Connecticut)

    Broader source: Energy.gov [DOE]

    Permits are required for the construction or major modification of a stationary source or emission unit. Some exemptions apply. These regulations describe permit requirements, authorized activities...

  6. DOSIMETRY; RADIOISOTOPES; DECAY; ACCURACY; DATA COMPILATION;...

    Office of Scientific and Technical Information (OSTI)

    Radioactive decay data tables Kocher, D.C. 61 RADIATION PROTECTION AND DOSIMETRY; RADIOISOTOPES; DECAY; ACCURACY; DATA COMPILATION; DOSIMETRY; M CODES; COMPUTER CODES; DATA;...

  7. Action transformations in the Actress compiler generator

    E-Print Network [OSTI]

    Watt, D.A.

    Watt,D.A. Compiler Construction - 5th Intl. Conference CC'94 (ed. Fritzson, P.) Springer LNCS pp 16-30 Springer

  8. Integration of renewable energy sources: reliability-constrained power system planning and operations using computational intelligence 

    E-Print Network [OSTI]

    Wang, Lingfeng

    2009-05-15

    studied in the dissertation include reliability evaluation of power systems with time-dependent energy sources, multi-objective design of hybrid generation systems, risk and cost tradeoff in economic dispatch with wind power penetration, optimal placement...

  9. Operations manual for student-team-built hybrid power source to recharge an Unmanned Undersea Vehicle

    E-Print Network [OSTI]

    Sue-Ho, Jonathan

    2013-01-01

    Unmanned Undersea Vehicles (UUVs) have the potential to explore and monitor oceans in unprecedented ways, but their present batteries only allow them to operate for days at a time. A team of students designed and built a ...

  10. Online tuning of impedance matching circuit for long pulse inductively coupled plasma source operation—An alternate approach

    SciTech Connect (OSTI)

    Sudhir, Dass; Bandyopadhyay, M. Chakraborty, A.; Kraus, W.; Gahlaut, A.; Bansal, G.

    2014-01-15

    Impedance matching circuit between radio frequency (RF) generator and the plasma load, placed between them, determines the RF power transfer from RF generator to the plasma load. The impedance of plasma load depends on the plasma parameters through skin depth and plasma conductivity or resistivity. Therefore, for long pulse operation of inductively coupled plasmas, particularly for high power (?100 kW or more) where plasma load condition may vary due to different reasons (e.g., pressure, power, and thermal), online tuning of impedance matching circuit is necessary through feedback. In fusion grade ion source operation, such online methodology through feedback is not present but offline remote tuning by adjusting the matching circuit capacitors and tuning the driving frequency of the RF generator between the ion source operation pulses is envisaged. The present model is an approach for remote impedance tuning methodology for long pulse operation and corresponding online impedance matching algorithm based on RF coil antenna current measurement or coil antenna calorimetric measurement may be useful in this regard.

  11. Ionization source utilizing a jet disturber in combination with an ion funnel and method of operation

    DOE Patents [OSTI]

    Smith, Richard D. (Richland, WA); Kim, Taeman (Richland, WA); Tang, Keqi (Richland, WA); Udseth, Harold R. (Richland, WA)

    2003-06-24

    A jet disturber used in combination with an ion funnel to focus ions and other charged particles generated at or near atmospheric pressure into a relatively low pressure region, which allows increased conductance of the ions and other charged particles. The jet disturber is positioned within an ion funnel and may be interfaced with a multi-capillary inlet juxtaposed between an ion source and the interior of an instrument maintained at near atmospheric pressure. The invention finds particular advantages when deployed to improve the ion transmission between an electrospray ionization source and the first vacuum stage of a mass spectrometer.

  12. Ionization source utilizing a multi-capillary inlet and method of operation

    DOE Patents [OSTI]

    Smith, Richard D.; Kim, Taeman; Udseth, Harold R.

    2004-10-12

    A multi-capillary inlet to focus ions and other charged particles generated at or near atmospheric pressure into a relatively low pressure region, which allows increased conductance of ions and other charged particles. The multi-capillary inlet is juxtaposed between an ion source and the interior of an instrument maintained at near atmospheric pressure, it finds particular advantages when deployed to improve the ion transmission between an electrospray ionization source and the first vacuum stage of a mass spectrometer, and finds its greatest advantages when deployed in conjunction with an electrodynamic (RF) ion funnel deployed within the interior of the mass spectrometer, particularly an ion funnel equipped with a jet disturber.

  13. Compilation of Earthquakes from 1850-2007 within 200 miles of the Idaho National Laboratory

    SciTech Connect (OSTI)

    N. Seth Carpenter

    2010-07-01

    An updated earthquake compilation was created for the years 1850 through 2007 within 200 miles of the Idaho National Laboratory. To generate this compilation, earthquake catalogs were collected from several contributing sources and searched for redundant events using the search criteria established for this effort. For all sets of duplicate events, a preferred event was selected, largely based on epicenter-network proximity. All unique magnitude information for each event was added to the preferred event records and these records were used to create the compilation referred to as “INL1850-2007”.

  14. Journal of Power Sources 167 (2007) 1117 Voltage reversal during microbial fuel cell stack operation

    E-Print Network [OSTI]

    2007-01-01

    forms of biodegradable organic matter, even human and animal wastewaters [1­4]. The power producedJournal of Power Sources 167 (2007) 11­17 Voltage reversal during microbial fuel cell stack polarity of one or more cells and a loss of power generation. We investigated the causes of charge reversal

  15. Power filters for gravitational wave bursts: network operation for source position estimation

    E-Print Network [OSTI]

    Julien Sylvestre

    2003-04-30

    A method is presented to generalize the power detectors for short bursts of gravitational waves that have been developed for single interferometers so that they can optimally process data from a network of interferometers. The performances of this method for the estimation of the position of the source are studied using numerical simulations.

  16. American Institute of Aeronautics and Astronautics Design and Operation of an Annular Helicon Plasma Source

    E-Print Network [OSTI]

    Walker, Mitchell

    and Trivelpiece-Gould wave. The antenna coupling and power deposition mechanism model is developed to determine Plasma Source Masayuki Yano* , Doug Palmer , Logan Williams , and Mitchell L. R. Walker§ High-Power Electric Propulsion Laboratory, Georgia Institute of Technology, Atlanta, GA 30332 An annular helicon

  17. Attributed Transformational Code Generation for Dynamic Compilers \\Lambda

    E-Print Network [OSTI]

    Boyland, John Tang

    Attributed Transformational Code Generation for Dynamic Compilers \\Lambda John Boyland Computer compilers, that is, compilers that preserve execu­ tion state when newly compiled code is patched into an executing image, presents the compiler writer with a number of difficulties. First, all the complexity

  18. Design-Driven Compilation Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Design-Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design-driven compilation, an approach in which the compiler uses design information to drive its, and support for local analysis, separate compilation, and libraries. It can also simplify the compiler

  19. DesignDriven Compilation Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Design­Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design­driven compilation, an approach in which the compiler uses design information to drive its, and support for local analysis, separate compilation, and libraries. It can also simplify the compiler

  20. Compiled MPI: Cost-Effective Exascale Applications Development

    SciTech Connect (OSTI)

    Bronevetsky, G; Quinlan, D; Lumsdaine, A; Hoefler, T

    2012-04-10

    The complexity of petascale and exascale machines makes it increasingly difficult to develop applications that can take advantage of them. Future systems are expected to feature billion-way parallelism, complex heterogeneous compute nodes and poor availability of memory (Peter Kogge, 2008). This new challenge for application development is motivating a significant amount of research and development on new programming models and runtime systems designed to simplify large-scale application development. Unfortunately, DoE has significant multi-decadal investment in a large family of mission-critical scientific applications. Scaling these applications to exascale machines will require a significant investment that will dwarf the costs of hardware procurement. A key reason for the difficulty in transitioning today's applications to exascale hardware is their reliance on explicit programming techniques, such as the Message Passing Interface (MPI) programming model to enable parallelism. MPI provides a portable and high performance message-passing system that enables scalable performance on a wide variety of platforms. However, it also forces developers to lock the details of parallelization together with application logic, making it very difficult to adapt the application to significant changes in the underlying system. Further, MPI's explicit interface makes it difficult to separate the application's synchronization and communication structure, reducing the amount of support that can be provided by compiler and run-time tools. This is in contrast to the recent research on more implicit parallel programming models such as Chapel, OpenMP and OpenCL, which promise to provide significantly more flexibility at the cost of reimplementing significant portions of the application. We are developing CoMPI, a novel compiler-driven approach to enable existing MPI applications to scale to exascale systems with minimal modifications that can be made incrementally over the application's lifetime. It includes: (1) New set of source code annotations, inserted either manually or automatically, that will clarify the application's use of MPI to the compiler infrastructure, enabling greater accuracy where needed; (2) A compiler transformation framework that leverages these annotations to transform the original MPI source code to improve its performance and scalability; (3) Novel MPI runtime implementation techniques that will provide a rich set of functionality extensions to be used by applications that have been transformed by our compiler; and (4) A novel compiler analysis that leverages simple user annotations to automatically extract the application's communication structure and synthesize most complex code annotations.

  1. Operational characteristics of the J-PARC cryogenic hydrogen system for a spallation neutron source

    SciTech Connect (OSTI)

    Tatsumoto, Hideki; Ohtsu, Kiichi; Aso, Tomokazu; Kawakami, Yoshihiko; Teshigawara, Makoto

    2014-01-29

    The J-PARC cryogenic hydrogen system provides supercritical hydrogen with the para-hydrogen concentration of more than 99 % and the temperature of less than 20 K to three moderators so as to provide cold pulsed neutron beams of a higher neutronic performance. Furthermore, the temperature fluctuation of the feed hydrogen stream is required to be within ± 0.25 K. A stable 300-kW proton beam operation has been carried out since November 2012. The para-hydrogen concentrations were measured during the cool-down process. It is confirmed that para-hydrogen always exists in the equilibrium concentration because of the installation of an ortho-para hydrogen convertor. Propagation characteristics of temperature fluctuation were measured by temporarily changing the heater power under off-beam condition to clarify the effects of a heater control for thermal compensation on the feed temperature fluctuation. The experimental data gave an allowable temperature fluctuation of ± 1.05 K. It is clarified through a 286-kW and a 524-kW proton beam operations that the heater control would be applicable for the 1-MW proton beam operation by extrapolating from the experimental data.

  2. OSCAR Parallelizing Compiler Cooperative Heterogeneous Multi-core Architecture

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Parallelizing Compiler Cooperative Heterogeneous Multi-core Architecture Akihiro Hayashi, powerful parallelizing compiler for hetero- geneous multi-core architectures is expected. Furthermore, cooperative work between parallelizing compiler and hetero- geneous multi-core architectures is important

  3. On the Compilability and Expressive Power of Propositional Planning Formalisms

    E-Print Network [OSTI]

    Nebel, Bernhard

    On the Compilability and Expressive Power of Propositional Planning Formalisms Bernhard Nebel and plans can be expressed in a particular formalism by introducing the notion of ``compilation schemes'' between planning formalisms. Such compilation schemes restrict the growth of planning domains

  4. A Parallelizing Compiler Cooperative Heterogeneous Multicore Processor Architecture

    E-Print Network [OSTI]

    Kasahara, Hironori

    A Parallelizing Compiler Cooperative Heterogeneous Multicore Processor Architecture Yasutaka Wada and a parallelizing com- piler is important. This paper proposes a compiler cooperative hetero- geneous multicore architecture and parallelizing compilation scheme for it. Performance of the proposed scheme is evaluated

  5. Compiling software for a hierarchical distributed processing system

    DOE Patents [OSTI]

    Archer, Charles J; Blocksome, Michael A; Ratterman, Joseph D; Smith, Brian E

    2013-12-31

    Compiling software for a hierarchical distributed processing system including providing to one or more compiling nodes software to be compiled, wherein at least a portion of the software to be compiled is to be executed by one or more nodes; compiling, by the compiling node, the software; maintaining, by the compiling node, any compiled software to be executed on the compiling node; selecting, by the compiling node, one or more nodes in a next tier of the hierarchy of the distributed processing system in dependence upon whether any compiled software is for the selected node or the selected node's descendents; sending to the selected node only the compiled software to be executed by the selected node or selected node's descendent.

  6. Detiding DART buoy data for real-time extraction of source coefficients for operational tsunami forecasting

    E-Print Network [OSTI]

    Percival, Donald B; Eble, Marie C; Gica, Edison; Huang, Paul Y; Mofjeld, Harold O; Spillane, Michael C; Titov, Vasily V; Tolkova, Elena I

    2014-01-01

    U.S. Tsunami Warning Centers use real-time bottom pressure (BP) data transmitted from a network of buoys deployed in the Pacific and Atlantic Oceans to tune source coefficients of tsunami forecast models. For accurate coefficients and therefore forecasts, tides at the buoys must be accounted for. In this study, five methods for coefficient estimation are compared, each of which accounts for tides differently. The first three subtract off a tidal prediction based on (1) a localized harmonic analysis involving 29 days of data immediately preceding the tsunami event, (2) 68 pre-existing harmonic constituents specific to each buoy, and (3) an empirical orthogonal function fit to the previous 25 hrs of data. Method (4) is a Kalman smoother that uses method (1) as its input. These four methods estimate source coefficients after detiding. Method (5) estimates the coefficients simultaneously with a two-component harmonic model that accounts for the tides. The five methods are evaluated using archived data from eleven...

  7. 2014 Water Power Program Peer Review Compiled Presentations:...

    Energy Savers [EERE]

    2014 Water Power Program Peer Review Compiled Presentations: Hydropower Technologies 2014 Water Power Program Peer Review Compiled Presentations: Hydropower Technologies The U.S....

  8. using the Intel compiler as a performance optimization and characteriz...

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

    compiler performance optimization and characterization Intel compiler performance optimization and characterization May 13, 2015 NERSC will host an in-depth training presentation...

  9. Gary Stauffer (Compiler) U.S. Department of Commerce

    E-Print Network [OSTI]

    Gary Stauffer (Compiler) U.S. Department of Commerce National Oceanic and Atmospheric citation: Stauffer, Gary (compiler). 2004. NOAA Protocols for Groundfish Bottom Trawl Surveys of the Nation

  10. A Compilation of Internship Reports - 2012

    SciTech Connect (OSTI)

    Stegman M.; Morris, M.; Blackburn, N.

    2012-08-08

    This compilation documents all research project undertaken by the 2012 summer Department of Energy - Workforce Development for Teachers and Scientists interns during their internship program at Brookhaven National Laboratory.

  11. A Communication Backend for Parallel Language Compilers

    E-Print Network [OSTI]

    Shewchuk, Jonathan

    A Communication Backend for Parallel Language Compilers James M. Stichnoth and Thomas Gross Carnegie Mellon University Abstract. Generating good communication code is an important issue for all system usually implement the communication generation routines (e.g., message buffer packing

  12. Actress - an action semantics directed compiler generator

    E-Print Network [OSTI]

    Watt, D.A.

    Watt,D.A. Brown,D. Moura,H. Compiler Construction - 4th Intl. Conference CC'92 (ed. Kastens, U., and Pfahler, P.) Springer LNCS pp 95-109 Springer

  13. Engineering Physics Compiled by Elissa How (2013)

    E-Print Network [OSTI]

    Handy, Todd C.

    2013-01-01

    Engineering Physics fonds Compiled by Elissa How (2013) *** Institutional records -- researcher Notes Series Descriptions o Chronological Engineering Physics Files o Course Materials o Canadian Engineering Accreditation Board o Miscellaneous o Photographs File List Catalogue entry (UBC Library

  14. Design, Development and Operational Experience of Demonstration Facility for Cs-137 Source Pencil Production at Trombay - 13283

    SciTech Connect (OSTI)

    Patil, S.B.; Srivastava, P.; Mishra, S.K.; Khan, S.S.; Nair, K.N.S.

    2013-07-01

    Radioactive waste management is a vital aspect of any nuclear program. The commercial feasibility of the nuclear program largely depends on the efficiency of the waste management techniques. One of such techniques is the separation of high yield radio-nuclides from the waste and making it suitable for medical and industrial applications. This will give societal benefit in addition to revenue generation. Co-60, the isotope presently being used for medical applications, needs frequent replacement because of its short half life. Cs-137, the major constituent of the nuclear waste, is a suitable substitute for Co-60 as a radioactive source because of its longer half life (28 years). Indian nuclear waste management program has given special emphasis on utilization of Cs-137 for such applications. In view of this a demonstration facility has been designed for vitrification of Cs-137 in borosilicate glass, cast in stainless steel pencils, to be used as source pencils of 300 Ci strength for blood irradiation. An induction heated metallic melter of suitable capacity has been custom designed for the application and employed for the Cs-137 pencil fabrication facility. This article describes various systems, design features, experiments and resulting modifications, observations and remote handling features necessary for the actual operation of such facility. The layout of the facility has been planned in such a way that the same can be adopted in a hot cell for commercial production of source pencils. (authors)

  15. Selected Hanford reactor and separations operating data for 1960--1964

    SciTech Connect (OSTI)

    Gydesen, S.P.

    1992-09-01

    The purpose of this letter report is to reconstruct from available information that data which can be used to develop daily reactor operating history for 1960--1964. The information needed for source team calculations (as determined by the Source Terms Task Leader) were extracted and included in this report. The data on the amount of uranium dissolved by the separations plants (expressed both as tons and as MW) is also included in this compilation.

  16. Selected Hanford reactor and separations operating data for 1960--1964. Hanford Environmental Dose Reconstruction Project

    SciTech Connect (OSTI)

    Gydesen, S.P.

    1992-09-01

    The purpose of this letter report is to reconstruct from available information that data which can be used to develop daily reactor operating history for 1960--1964. The information needed for source team calculations (as determined by the Source Terms Task Leader) were extracted and included in this report. The data on the amount of uranium dissolved by the separations plants (expressed both as tons and as MW) is also included in this compilation.

  17. Verifying an Open Compiler Using Multi-Language Semantics

    E-Print Network [OSTI]

    Ahmed, Amal

    Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the compiler will only be used to compile whole programs. We present a new methodology

  18. Compiler Correctness and Implementation Verification: The Verifix Approach

    E-Print Network [OSTI]

    Pfeifer, Holger

    Compiler Correctness and Implementation Verification: The Verifix Approach Wolfgang Goerigk \\Lambda \\Lambda Hans Langmaack \\Lambda Holger Pfeifer x Harald Ruess x Wolf Zimmermann z Abstract Compiler the correctness of the compiling specification and the correctness of the compiler implementation. We will discuss

  19. Adaptive Optimizing Compilers for the 21st Century

    E-Print Network [OSTI]

    Subramanian, Devika

    Adaptive Optimizing Compilers for the 21st Century Los Alamos Computer Science Institute 2001 Houston, Texas, USA #12;Adaptive Optimizing Compilers 2 The Big Picture · For 45 years, compilers have Automatic Coding System (IBM, 1957) #12;Adaptive Optimizing Compilers 3 The Big Picture · RISC made

  20. Credible Compilation with Pointers Martin C. Rinard and Darko Marinov

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation with Pointers Martin C. Rinard and Darko Marinov Laboratory for Computer This paper presents the formal foundations and architec­ tural design of a credible compiler, or a compiler­level intermediate form based on control­flow graphs. The compiler is structured as a set of components. Each

  1. DesignDriven Compilation \\Lambda Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rugina, Radu

    Design­Driven Compilation \\Lambda Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design­driven compilation, an approach in which the compiler uses design information to drive its; analysis modularity, with support for lo­ cal analysis, separate compilation, and library support

  2. Design-Driven Compilation Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Design-Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design-driven compilation, an approach in which the compiler uses design information to drive its; analysis modularity, with support for lo- cal analysis, separate compilation, and library support

  3. International Compilation of Human Research Standards 2015 Edition

    E-Print Network [OSTI]

    Kay, Mark A.

    1 International Compilation of Human Research Standards 2015 Edition Compiled By: Office for Human Research Protections U.S. Department of Health and Human Services PURPOSE The International Compilation organizations. This Compilation was developed for use by researchers, IRBs/Research Ethics Committees, sponsors

  4. Transportation legislative data base: State radioactive materials transportation statute compilation, 1989--1993

    SciTech Connect (OSTI)

    NONE

    1994-04-01

    The Transportation Legislative Data Base (TLDB) is a computer-based information service containing summaries of federal, state and certain local government statutes and regulations relating to the transportation of radioactive materials in the United States. The TLDB has been operated by the National Conference of State Legislatures (NCSL) under cooperative agreement with the US Department of Energy`s (DOE) Office of Civilian Radioactive Waste Management since 1992. The data base system serves the legislative and regulatory information needs of federal, state, tribal and local governments, the affected private sector and interested members of the general public. Users must be approved by DOE and NCSL. This report is a state statute compilation that updates the 1989 compilation produced by Battelle Memorial Institute, the previous manager of the data base. This compilation includes statutes not included in the prior compilation, as well as newly enacted laws. Statutes not included in the prior compilation show an enactment date prior to 1989. Statutes that deal with low-level radioactive waste transportation are included in the data base as are statutes from the states of Alaska and Hawaii. Over 155 new entries to the data base are summarized in this compilation.

  5. COMPILATION OF CURRENT HIGH ENERGY PHYSICS EXPERIMENTS

    SciTech Connect (OSTI)

    Wohl, C.G.; Kelly, R.L.; Armstrong, F.E.; Horne, C.P.; Hutchinson, M.S.; Rittenberg, A.; Trippe, T.G.; Yost, G.P.; Addis, L.; Ward, C.E.W.; Baggett, N.; Goldschmidt-Clermong, Y.; Joos, P.; Gelfand, N.; Oyanagi, Y.; Grudtsin, S.N.; Ryabov, Yu.G.

    1981-05-01

    This is the fourth edition of our compilation of current high energy physics experiments. It is a collaborative effort of the Berkeley Particle Data Group, the SLAC library, and nine participating laboratories: Argonne (ANL), Brookhaven (BNL), CERN, DESY, Fermilab (FNAL), the Institute for Nuclear Study, Tokyo (INS), KEK, Serpukhov (SERP), and SLAC. The compilation includes summaries of all high energy physics experiments at the above laboratories that (1) were approved (and not subsequently withdrawn) before about April 1981, and (2) had not completed taking of data by 1 January 1977. We emphasize that only approved experiments are included.

  6. Enhancing Compiler Techniques for Memory Energy Optimizations

    E-Print Network [OSTI]

    that the best performance opti- mizations do not necessarily generate the best energy behavior in mem- ory. WeEnhancing Compiler Techniques for Memory Energy Optimizations Joseph Zambreno1 , Mahmut Taylan frequencies steadily rise in modern microprocessors, energy consumption is quickly joining perfor- mance

  7. Maintenance and operation procedure, and feedback controls of the J-PARC RF-driven H{sup ?} ion source

    SciTech Connect (OSTI)

    Ueno, A. Ohkoshi, K.; Ikegami, K.; Takagi, A.; Yamazaki, S.; Oguri, H.

    2015-04-08

    In order to satisfy the Japan Proton Accelerator Research Complex (J-PARC) second stage requirements of an H{sup ?} ion beam of 60mA within normalized emittances of 1.5?mm•mrad both horizontally and vertically, a flat top beam duty factor of 1.25% (500?s×25Hz) and a life-time of longer than 1month, the J-PARC cesiated RF-driven H{sup ?} ion source was developed by using an internal-antenna developed at the Spallation Neutron Source (SNS). The maintenance and operation procedure to minimize the plasma chamber (PCH) replacement time on the beam line, which is very important to maximize the J-PARC beam time especially for an antenna failure, is presented in this paper. The PCH preserved by filling argon (Ar) gas inside after pre-conditioning including pre-cesiation to produce the required beam at a test-stand successfully produced the required beam on the beam line with slight addition of cesium (Cs). The methods of the feedback controls of a 2MHz-RF-matching, an H{sup ?} ion beam intensity and the addition of Cs are also presented. The RF-matching feedback by using two vacuum variable capacitors (VVCs) and RF-frequency shift produced the almost perfect matching with negligibly small reflected RF-power. The H{sup ?} ion beam intensity was controlled within errors of ±0.1mA by the RF-power feedback. The amount of Cs was also controlled by remotely opening a Cs-valve to keep the RF-power lower than a settled value.

  8. The Emerging Power Crisis in EmbeddedThe Emerging Power Crisis in Embedded Processors What Can a (Poor) Compiler Do ?Processors What Can a (Poor) Compiler Do ?

    E-Print Network [OSTI]

    Mooney, Vincent

    Infrastructure · Integrated compilation and performance monitoring infrastructure · Target is characterized

  9. Analysis of the Influence of the Compiler onAnalysis of the Influence of the Compiler on Multicore PerformanceMulticore Performance

    E-Print Network [OSTI]

    Giménez, Domingo

    Analysis of the Influence of the Compiler onAnalysis of the Influence of the Compiler on Multicore of the Compiler on Multicore PerformanAnalysis of the Influence of the Compiler on Multicore Performance Euromicro to the compiler: OpenMP, a directive-based syntax Problem: there are no standardized OpenMP compilers number

  10. Investigations, Experiments, and Implications for using existing Pulse Magents for "TOPOFF" Operation at the Advanced Light Source

    E-Print Network [OSTI]

    2005-01-01

    INVESTIGATIONS, EXPERIMENTS, AND IMPLICATIONS FOR USING EXISTING PULSE MAGNETS FOR "TOPOFF" OPERATION

  11. National Energy Strategy: A compilation of public comments; Interim Report

    SciTech Connect (OSTI)

    Not Available

    1990-04-01

    This Report presents a compilation of what the American people themselves had to say about problems, prospects, and preferences in energy. The Report draws on the National Energy Strategy public hearing record and accompanying documents. In all, 379 witnesses appeared at the hearings to exchange views with the Secretary, Deputy Secretary, and Deputy Under Secretary of Energy, and Cabinet officers of other Federal agencies. Written submissions came from more than 1,000 individuals and organizations. Transcripts of the oral testimony and question-and-answer (Q-and-A) sessions, as well as prepared statements submitted for the record and all other written submissions, form the basis for this compilation. Citations of these sources in this document use a system of identifying symbols explained below and in the accompanying box. The Report is organized into four general subject areas concerning: (1) efficiency in energy use, (2) the various forms of energy supply, (3) energy and the environment, and (4) the underlying foundations of science, education, and technology transfer. Each of these, in turn, is subdivided into sections addressing specific topics --- such as (in the case of energy efficiency) energy use in the transportation, residential, commercial, and industrial sectors, respectively. 416 refs., 44 figs., 5 tabs.

  12. CS 577 Compiler Construction (Modern Language Processors) Spring 2002 Instructor

    E-Print Network [OSTI]

    Tolmach, Andrew

    of generated code produced by three different JVM compilers (e.g., Sun's HotSpot, IBM's commercial compiler algorithm for the Jikes RVM, and compare its performance with that of the existing collectors

  13. Version of July 20, 1999 A Courteous Compiler

    E-Print Network [OSTI]

    Version of July 20, 1999 A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary. The GCLP form of courteous LP's, and of the courteous compiler that transforms a GCLP into an OLP

  14. Compiler verification meets cross-language linking via data abstraction

    E-Print Network [OSTI]

    Wang, Peng

    Many real programs are written in multiple different programming languages, and supporting this pattern creates challenges for formal compiler verification. We describe our Coq verification of a compiler for a high-level ...

  15. Hopper compilers and DDT short outage next Wed, May 16

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

    compilers and DDT short outage next Wed, May 16 Hopper compilers and DDT short outage next Wed, May 16 May 10, 2012 (0 Comments) Due to a scheduled maintenance for the License...

  16. RFI Released to Compile Teaming Partner List for Upcoming BENEFIT...

    Energy Savers [EERE]

    RFI Released to Compile Teaming Partner List for Upcoming BENEFIT FOA RFI Released to Compile Teaming Partner List for Upcoming BENEFIT FOA September 29, 2015 - 10:43am Addthis...

  17. Compiling Synchronous Kahn Networks to Efficient Reconfigurable Hardware

    E-Print Network [OSTI]

    Vuillemin, Jean

    Compiling Synchronous Kahn Networks to Efficient Reconfigurable Hardware Jean Vuillemin , Jean research on automatically compiling efficient reconfigurable hardware from high level software stream. Commercial systems exist to generate hardware (say VHDL) from high-level (say C) code [6]. Yet

  18. Compiling Dynamic Languages Anders Schlichtkrull, Rasmus T. Tjalk-Bggild

    E-Print Network [OSTI]

    implementation and compare it to the benchmark results for two contemporary JavaScript implementations: Rhino Languages. We then build an ahead-of-time compiler, called the project compiler, for a sub- set of Java which is a JavaScript interpreter and com- piler, and V8 which is a JavaScript just-in-time compiler. We

  19. Verified Compilers for a Multi-Language World Northeastern University

    E-Print Network [OSTI]

    Ahmed, Amal

    Verified Compilers for a Multi-Language World Amal Ahmed Northeastern University amal@ccs.neu.edu Abstract Though there has been remarkable progress on formally verified compilers in recent years, most of these compilers suffer from a serious limitation: they are proved correct under the assumption that they will only

  20. Generating Action Compilers by Partial Evaluation Anders Bondorf

    E-Print Network [OSTI]

    Palsberg, Jens

    Generating Action Compilers by Partial Evaluation Anders Bondorf DIKU, Department of Computer Compiler generation based on Mosses' action semantics has been studied by Brown, Moura, and Watt, and also by the second author. The core of each of their systems is a handwritten action compiler, producing either C

  1. A Note On SideChannels Resulting From Dynamic Compilation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Note On Side­Channels Resulting From Dynamic Compilation D. Page University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK. page@cs.bris.ac.uk Abstract. Dynamic compilation such as Java. These systems analyse the performance of an application at run­ time and aggressively re­compile

  2. A Separate Compilation Extension to Standard ML (Revised and Expanded)

    E-Print Network [OSTI]

    A Separate Compilation Extension to Standard ML (Revised and Expanded) David Swasey Tom Murphy VII separate compilation. The system gives meaning to individual program fragments, called units. Units may (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be com- piled

  3. Technical Reference Compilation and Review of Data Standards

    E-Print Network [OSTI]

    Technical Reference Compilation and Review of Data Standards and Application to the Genomes to Life for the Genomes to Life Program Document 2: Compilation of Data Standards for Proteomic and Transcriptomic Experimental Data Document 3: Compilation of Data Formats and XMLs Applicable to Scientific and Analytical Data

  4. Compiler Control Power Saving Scheme for Multi Core Processors

    E-Print Network [OSTI]

    Kasahara, Hironori

    Compiler Control Power Saving Scheme for Multi Core Processors Jun shirako , Naoto Oshiyama. To this end, the compiler for a multi core processor is expected not only to parallelize program effectively an application program. This paper proposes a compilation scheme for reduction of power consumption under

  5. First Steps Toward a CryptographyAware Language and Compiler

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    First Steps Toward a Cryptography­Aware Language and Compiler M. Barbosa 1 , R. Noad 2 , D. Page 2 from either the lan­ guage or compiler: both are typically too general purpose to o#er domain specific­ sociated compiler system. Rather than being a panacea, we pitch CAO as a mechanism for transferring

  6. NASA Technical Memorandum 89098 The Fault-Tree Compiler

    E-Print Network [OSTI]

    Butler, Ricky W.

    L - NASA Technical Memorandum 89098 The Fault-Tree Compiler Anna L. Martensen Ricky W. Butler in preliminary design analysis. The goal of the Fault Tree Compiler (m)program is to provide the user with a tool also be performed, providing the user The motivation for the development of the Fault Tree Compiler

  7. Compiling Haskell by program transformation: a report from the trenches

    E-Print Network [OSTI]

    Jones, Simon Peyton

    Compiling Haskell by program transformation: a report from the trenches Simon L Peyton Jones:://www.dcs.gla.ac.uk/~simonpj January 31, 1996 Abstract Many compilers do some of their work by means of correctness­preserving, and hope­ fully performance­improving, program transformations. The Glasgow Haskell Compiler (GHC) takes

  8. Logic and Bayesian Networks Part 3: Knoweledge Compilation

    E-Print Network [OSTI]

    Huang, Jinbo

    Logic and Bayesian Networks Part 3: Knoweledge Compilation Jinbo Huang Jinbo Huang Knowledge Compilation 1/ 53 #12;Negation Normal Form (NNF) AND/OR circuit over literals Jinbo Huang Knowledge Compilation 2/ 53 #12;Negation Normal Form (NNF) Any Boolean function can be represented in NNF (completeness

  9. Compiler Construction Using Scheme Erik Hilsdale J. Michael Ashley

    E-Print Network [OSTI]

    Dybvig, R. Kent

    Compiler Construction Using Scheme Erik Hilsdale J. Michael Ashley R. Kent Dybvig Daniel P {ehilsdal,jashley,dyb,dfried}@cs.indiana.edu Abstract This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real

  10. RETROSPECTIVE: The Design and Implementation of a Certifying Compiler

    E-Print Network [OSTI]

    Necula, George

    RETROSPECTIVE: The Design and Implementation of a Certifying Compiler George C. Necula Electrical, 15213, USA petel@cs.cmu.edu Optimizing compilers continue to be critical tools in all software development processes. Even more than in 1998 when this paper first appeared, production-quality compil- ers

  11. Achieving Real-time Mode Estimation through Offline Compilation

    E-Print Network [OSTI]

    Achieving Real-time Mode Estimation through Offline Compilation by John M. Van Eepoel B, Committee on Graduate Students #12;Achieving Real-time Mode Estimation through Offline Compilation2 This page intentionally left blank. #12;Achieving Real-time Mode Estimation through Offline Compilation 3

  12. A Separate Compilation Extension to Standard ML (Revised and Expanded)

    E-Print Network [OSTI]

    A Separate Compilation Extension to Standard ML (Revised and Expanded) David Swasey Tom Murphy VII separate compilation. The system gives meaning to individual program fragments, called units. Units may (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be com­ piled

  13. Douglas Guardino Understanding the Basics of Using C18 Compiler

    E-Print Network [OSTI]

    Wood, Stephen L.

    Douglas Guardino Understanding the Basics of Using C18 Compiler The purpose of this project was to understand how to use the C18 compiler with MPLAB. This was achieved by reproducing a simple program from the MPLAB C18 Compiler Getting Started. This was done as a control. The code in the book was assumed

  14. A Note On Side-Channels Resulting From Dynamic Compilation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Note On Side-Channels Resulting From Dynamic Compilation D. Page University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK. page@cs.bris.ac.uk Abstract. Dynamic compilation such as Java. These systems analyse the performance of an application at run- time and aggressively re-compile

  15. True Separate Compilation of Java Classes # DISI Universit

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    True Separate Compilation of Java Classes # D. Ancona DISI ­ Universit â?? a di Genova Via Dodecaneso compilation for a small but significant Java subset, in the sense that a single class declaration can be intra­checked (following the Cardelli's terminology) and compiled providing a minimal set of type requirements on missing

  16. Implementing Extensible Compilers Matthias Zenger and Martin Odersky

    E-Print Network [OSTI]

    Zenger, Matthias

    Implementing Extensible Compilers Matthias Zenger and Martin Odersky Swiss Federal Institute and expensive task, since conventional compil- ers often lack extensibility and reusability. In this paper we present some fundamental techniques to implement extensible compilers in an object-oriented language

  17. User-Friendly Methodology for Automatic Exploration of Compiler Options

    E-Print Network [OSTI]

    Gao, Guang R.

    User-Friendly Methodology for Automatic Exploration of Compiler Options: A Case Study on the Intel, lochen, jcuvillo, ggao}@capsl.udel.edu Abstract Finding an optimized combination of compiler options with a deep understanding of the application at hand and a fairly good knowledge of the compiler features

  18. CS75 Project 4: Compiler Optimizations Spring 2007, Meeden

    E-Print Network [OSTI]

    Meeden, Lisa A.

    CS75 Project 4: Compiler Optimizations Spring 2007, Meeden Due by midnight, Monday, May 7 Required Functionality As you enhance your compiler with optimizations remember that the two main concerns are safety as output. Your compiler should be implemented so that it can be invoked in the following ways. · Without

  19. Compiler Assisted Elliptic Curve Cryptography M. Barbosa1

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Compiler Assisted Elliptic Curve Cryptography M. Barbosa1 , A. Moss2 and D. Page2 1 Departamento de and compilation techniques for cryptographic software, focusing on ECC in particular. Specifically, we describe and optimisation of ECC point arithmetic using a cryptography-aware lan- guage and compiler. Our main results show

  20. BNL-68198-AB COMPILATION OF INVENTORIES OF INDUSTRIAL EMISSIONS

    E-Print Network [OSTI]

    BNL-68198-AB COMPILATION OF INVENTORIES OF INDUSTRIAL EMISSIONS Carmen M. Benkovitz Atmospheric inventories additional parnmeters (such as sulfur content of fuels). To compile regional and global by national experts or directly estimate emissions based on activity rates from reports compiled by multi

  1. JIT Compiler for i386 Mathias Kolsch and Kristian Kvilekval

    E-Print Network [OSTI]

    Kölsch, Mathias

    JIT Compiler for i386 Mathias K¨olsch and Kristian Kvilekval December 15, 1998 1 Introduction In this report we describe our implementation of a JIT compiler for Sun's JavaVirtualMachine (JVM) for the i386­ compiler ­ JVM system that can execute any legal java program. Our focus was on an extensible design

  2. COLE: Compiler Optimization Level Exploration Kenneth Hoste Lieven Eeckhout

    E-Print Network [OSTI]

    Eeckhout, Lieven

    COLE: Compiler Optimization Level Exploration Kenneth Hoste Lieven Eeckhout ELIS Department, Ghent compilers implement a large number of optimiza- tions which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size, energy consumption, etc. For this reason

  3. Compositional Compilation for Java-like Languages through Polymorphic Bytecode

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Compositional Compilation for Java-like Languages through Polymorphic Bytecode extended version Dodecaneso, 35 16146 Genova, Italy zucca@disi.unige.it ABSTRACT We define compositional compilation compositional compilation is a highly desirable feature, in Java-like languages it can hardly be achieved

  4. First Steps Toward a Cryptography-Aware Language and Compiler

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    First Steps Toward a Cryptography-Aware Language and Compiler M. Barbosa1 , R. Noad2 , D. Page2 help from either the lan- guage or compiler: both are typically too general purpose to offer domain- sociated compiler system. Rather than being a panacea, we pitch CAO as a mechanism for transferring

  5. Countering Trusting Trust through Diverse Double-Compiling

    E-Print Network [OSTI]

    Sandhu, Ravi

    1 Countering Trusting Trust through Diverse Double-Compiling David A. Wheeler February 28, 2006 · Inadequate solutions & related work · Solution: Diverse double-compiling (DDC) ­ What it is ­ Why it works & broader implications 3 Trusting trust attack Compiler executable (malicious) Critical program (malicious

  6. Verifying an Open Compiler Using Multi-Language Semantics

    E-Print Network [OSTI]

    Ahmed, Amal

    Verifying an Open Compiler Using Multi-Language Semantics: Technical Report James T. Perconti for our FCA model. #12;Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under

  7. B Technical remarks on the ForkLight compiler package

    E-Print Network [OSTI]

    Kessler, Christoph

    B Technical remarks on the ForkLight compiler package The technical requirements to run ForkLight on your local system are an ANSI­C compiler like gcc and an installation of the P4 library. B.1 Installation The ForkLight compiler package can be obtained from the WWW page http

  8. Magic State Distillation and Gate Compilation in Quantum Algorithms for Quantum Chemistry

    E-Print Network [OSTI]

    Colin J. Trout; Kenneth R. Brown

    2015-01-29

    Quantum algorithms for quantum chemistry map the dynamics of electrons in a molecule to the dynamics of a coupled spin system. To reach chemical accuracy for interesting molecules, a large number of quantum gates must be applied which implies the need for quantum error correction and fault-tolerant quantum computation. Arbitrary fault-tolerant operations can be constructed from a small, universal set of fault-tolerant operations by gate compilation. Quantum chemistry algorithms are compiled by decomposing the dynamics of the coupled spin-system using a Trotter formula, synthesizing the decomposed dynamics using Clifford operations and single-qubit rotations, and finally approximating the single-qubit rotations by a sequence of fault-tolerant single-qubit gates. Certain fault-tolerant gates rely on the preparation of specific single-qubit states referred to as magic states. As a result, gate compilation and magic state distillation are critical for solving quantum chemistry problems on a quantum computer. We review recent progress that has improved the efficiency of gate compilation and magic state distillation by orders of magnitude.

  9. Compiling and Linking | Argonne Leadership Computing Facility

    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 like submit the following commentsMethods for Estimating:I Overview of How to Compile and

  10. Compiling & Linking | Argonne Leadership Computing Facility

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler System

  11. Compiling and Linking | Argonne Leadership Computing Facility

    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 Room News PublicationsAuditsCluster Compatibilitydefault Changes from Tukey to Cooley Compiling and

  12. Using PGI Compilers on GPU http://geo.mff.cuni.cz/~lh Using PGI compilers to solve initial value problems on GPU

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Using PGI Compilers on GPU http://geo.mff.cuni.cz/~lh 1 Using PGI compilers to solve initial value 4. Initial value solvers with PGI compilers 5. PGI compilers on the Cascade system, a performance benchmark #12;Using PGI Compilers on GPU http://geo.mff.cuni.cz/~lh 2 1. NVIDIA GPUs CUDA: Compute Unified

  13. Preliminary Retro-Commissioning Study on Optimal Operation for the Heat Source System of a District Heating Cooling Plant 

    E-Print Network [OSTI]

    Shingu, H.; Yoshida, H.; Wang, F.; Ono, E.

    2008-01-01

    In order to improve the energy performance of a district heating and cooling (DHC) plant, the expected performance of the plant is studied using simulations based on mathematical models. A complete heat source system model, equipped with an embedded...

  14. Comparison of emissions from on-road sources using a mobile laboratory under various driving and operational sampling modes

    E-Print Network [OSTI]

    Zavala-Perez, Miguel Angel

    Mobile sources produce a significant fraction of the total anthropogenic emissions burden in large cities and have harmful effects on air quality at multiple spatial scales. Mobile emissions are intrinsically difficult to ...

  15. Exergy Analysis and Operational Efficiency of a Horizontal Ground Source Heat Pump System Operated in a Low-Energy Test House under Simulated Occupancy Conditions

    SciTech Connect (OSTI)

    Ally, Moonis Raza [ORNL; Baxter, Van D [ORNL; Munk, Jeffrey D [ORNL; Gehl, Anthony C [ORNL

    2012-01-01

    This paper presents data, analyses, measures of performance, and conclusions for a ground-source heat pump (GSHP) providing space conditioning to a 345m2 house whose envelope is made of structural insulated panels (SIP). The entire thermal load of this SIP house with RSI-3.7 (RUS-21) walls, triple pane windows with a U-factor of 1.64 W/m2 K (0.29 Btu/h ft2 oF) and solar heat gain coefficient (SHGC) of 0.25, a roof assembly with overall thermal resistance of about RSI-8.8 (RUS-50) and low leakage rates of 0.74 ACH at 50Pa was satisfied with a 2.16-Ton (7.56 kW) GSHP unit consuming negligible (9.83kWh) auxiliary heat during peak winter season. The highest and lowest heating COP achieved was 4.90 (October) and 3.44 (February), respectively. The highest and lowest cooling COP achieved was 6.09 (April) and 3.88 (August). These COPs are calculated on the basis of the total power input (including duct, ground loop, and control power losses ). The second Law (Exergy) analysis provides deep insight into how systemic inefficiencies are distributed among the various GSHP components. Opportunities for design and further performance improvements are identified. Through Exergy analysis we provide a true measure of how closely actual performance approaches the ideal, and it unequivocally identifies, better than energy analysis does, the sources and causes of lost work, the root cause of system inefficiencies.

  16. ScaffCC: Scalable Compilation and Analysis of Quantum Programs

    E-Print Network [OSTI]

    Ali JavadiAbhari; Shruti Patil; Daniel Kudrow; Jeff Heckey; Alexey Lvov; Frederic T. Chong; Margaret Martonosi

    2015-07-07

    We present ScaffCC, a scalable compilation and analysis framework based on LLVM, which can be used for compiling quantum computing applications at the logical level. Drawing upon mature compiler technologies, we discuss similarities and differences between compilation of classical and quantum programs, and adapt our methods to optimizing the compilation time and output for the quantum case. Our work also integrates a reversible-logic synthesis tool in the compiler to facilitate coding of quantum circuits. Lastly, we present some useful quantum program analysis scenarios and discuss their implications, specifically with an elaborate discussion of timing analysis for critical path estimation. Our work focuses on bridging the gap between high-level quantum algorithm specifi- cations and low-level physical implementations, while providing good scalability to larger and more interesting problems

  17. Internal combustion engines for alcohol motor fuels: a compilation of background technical information

    SciTech Connect (OSTI)

    Blaser, Richard

    1980-11-01

    This compilation, a draft training manual containing technical background information on internal combustion engines and alcohol motor fuel technologies, is presented in 3 parts. The first is a compilation of facts from the state of the art on internal combustion engine fuels and their characteristics and requisites and provides an overview of fuel sources, fuels technology and future projections for availability and alternatives. Part two compiles facts about alcohol chemistry, alcohol identification, production, and use, examines ethanol as spirit and as fuel, and provides an overview of modern evaluation of alcohols as motor fuels and of the characteristics of alcohol fuels. The final section compiles cross references on the handling and combustion of fuels for I.C. engines, presents basic evaluations of events leading to the use of alcohols as motor fuels, reviews current applications of alcohols as motor fuels, describes the formulation of alcohol fuels for engines and engine and fuel handling hardware modifications for using alcohol fuels, and introduces the multifuel engines concept. (LCL)

  18. So, You Want to Test Your Compiler? Theodore S. Norvell

    E-Print Network [OSTI]

    Norvell, Theodore S.

    So, You Want to Test Your Compiler? Theodore S. Norvell Electrical and Computer Engineering Memorial University October 19, 2005 Abstract We illustrate a simple method of system testing by applying it to the problem of testing compilers. The result is a user friendly system that greatly facilitates incremental

  19. Extending Old Compiler Tools with Meta-Tools John Aycock

    E-Print Network [OSTI]

    Aycock, John

    Extending Old Compiler Tools with Meta-Tools John Aycock Department of Computer Science University between a new, more powerful software tool and an older, more established one. The best way to handle this problem may be to make the old tool more powerful through the use of meta-tools. Compiler tools suffer

  20. ORC2DSP: Compiler Infrastructure Supports for VLIW DSP Processors

    E-Print Network [OSTI]

    Lee, Jenq-Kuen

    ORC2DSP: Compiler Infrastructure Supports for VLIW DSP Processors Cheng-Wei Chen, Chung-Lin Tang our experiences in deploying ORC infrastructures for a novel 32-bit VLIW DSP processor (known as PAC. We also present methods in retargeting ORC compilers for PAC VLIW DSP processors. In addition

  1. Compiler Supports and Optimizations for PAC VLIW DSP Processors

    E-Print Network [OSTI]

    Lee, Jenq-Kuen

    our preliminary employment of the Open Re- search Compiler (ORC) infrastructure on a novel VLIW DSP are the alluring trend to shrink the delivery time of the compiler for a newly designed processor. ORC [1 period, ORC has incorporated most of the optimization techniques of industry strength so far. Undoubtedly

  2. The IPS Compiler: Optimizations, Variants and Concrete Efficiency

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    The IPS Compiler: Optimizations, Variants and Concrete Efficiency Yehuda Lindell Eli Oxman Benny, it is black-box in the underlying semi-honest protocol, and it has excellent asymptotic efficiency. In this paper, we study the IPS compiler from a number different angles. We present an efficiency improvement

  3. OSCAR Compiler Controlled Multicore Power Reduction on Android Platform

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Compiler Controlled Multicore Power Reduction on Android Platform Hideo Yamamoto1 , Tomohiro Automatic Parallelizing Compiler on an Android platform with the newly developed precise power measurement con- trol, power reduction, multicore processor, Android, WFI #12;2 H. Yamamoto et al. 1 Introduction

  4. Fish Tagging Forum Draft Compilation of Tagging Information

    E-Print Network [OSTI]

    compilation of tagging technology information is intended to provide a summary of comparative information the technologies. Instances where it is not, indicates an information gap. Please provide comments Fish Tagging Forum Draft Compilation of Tagging Information 2012_10_30 v3 The enclosed

  5. An Embedded Language Approach to Teaching Hardware Compilation

    E-Print Network [OSTI]

    Pace, Gordon J.

    An Embedded Language Approach to Teaching Hardware Compilation Koen Claessen 1 and Gordon J. Pace 2, Grenoble, France (Gordon.Pace@imag.fr) Abstract. This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University

  6. An Embedded Language Approach to Teaching Hardware Compilation

    E-Print Network [OSTI]

    Pace, Gordon J.

    An Embedded Language Approach to Teaching Hardware Compilation Koen Claessen1 and Gordon J. Pace2 1, France (Gordon.Pace@imag.fr) Abstract. This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University

  7. Charles University Information System Compiled 21.1.2015 12:12:02 by Document Globe 1

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Charles University Information System Compiled 21.1.2015 12:12:02 by Document Globe ® 1 This page is the entry point to the Charles University Information System and its applications: · Study Information information about the system and its operations #12;

  8. Enhancing the Performance of a Multiplayer Game by Using a Parallelizing Compiler

    E-Print Network [OSTI]

    Kasahara, Hironori

    Enhancing the Performance of a Multiplayer Game by Using a Parallelizing Compiler Yasir I. M. Al performance enhancement in Video Games when using parallelizing compilers and the difficulties involved parallelizing compilers in extracting parallelism. Next, the program is compiled using a parallelizing compiler

  9. A NEW METHODOLOGY FOR GENERATING TEST CASES FOR A PROGRAMMING LANGUAGE COMPILER

    E-Print Network [OSTI]

    Berry, Daniel M.

    -46- A NEW METHODOLOGY FOR GENERATING TEST CASES FOR A PROGRAMMING LANGUAGE COMPILER by Daniel M A compiler writer writes a compiler for a programming language L. He/she wants to test the compiler thoroughly before releasing it to the market, so that no customer of the compiler will find any bugs

  10. OPERATIONAL RESULTS OF THE SPALLATION NEUTRON SOURCE (SNS) POLYPHASE CONVERTER-MODULATOR FOR THE 140 KV KLYSTRON RF SYSTEMS

    SciTech Connect (OSTI)

    W.A. REASS; J.D. DOSS; ET AL

    2001-06-01

    This paper describes the first operational results of the 140 kV, 1 MW average, 11 MW peak, zero-voltage-switching, 20 kHz polyphase bridge, boost converter-modulator for klystron pulse application. The DC-DC converter derives the buss voltages from a standard 13.8 kV to 2100 Y substation cast-core transformer. Energy storage and filtering is provided by self-clearing metallized hazy polypropylene traction capacitors. Three ''H-Bridge'' Insulated Gate Bipolar Transistor (IGBT) switching networks are used to generate the polyphase 20 kHz transformer primary drive waveforms. The 20 kHz drive waveforms are chirped the appropriate duration to generate the desired klystron pulse width. Pulse-Width Modulation (PWM) of the individual 20 kHz pulses is utilized to provide regulated output waveforms with adaptive feedforward and feedback techniques. The boost transformer design utilizes amorphous nanocrystalline material that provides the required low core loss at design flux levels and switching frequencies. Resonant shunt peaking is used on the transformer secondary to boost output voltage and resonate transformer leakage inductance. With the appropriate transformer leakage inductance and peaking capacitance, zero-voltage-switching of the IGBT's is attained, minimizing switching losses. Reviews of these design parameters and an examination of the first operational results will be performed.

  11. Operator algebras and topology Thomas Schick1

    E-Print Network [OSTI]

    Schick, Thomas

    Operator algebras and topology Thomas Schick1 Last compiled November 29, 2001; last edited November 29, 2001 or later 1 e-mail: schick@uni-math.gwdg.de www: http://uni-math.gwdg.de/schick Fax: ++49

  12. Compiling the model code (and related issues) 1) To compile the model, you must execute a script that will produce and

    E-Print Network [OSTI]

    Gerber, Edwin

    Compiling the model code (and related issues) 1) To compile the model, you must execute a script with this procedure, but you can take a look at the compile script to see what's actually going on. First go to the directory where the compile script is located. For the spectral model, it's: > cd ~/models

  13. A Compiler for Fault-Tolerant High Level Quantum Circuits

    E-Print Network [OSTI]

    Alexandru Paler; Ilia Polian; Kae Nemoto; Simon J. Devitt

    2015-09-07

    Fault-tolerant quantum error correction is an absolute necessity for any quantum architecture destined to tackle interesting, large-scale quantum algorithms. The theoretical formalism of quantum error correction codes, fault-tolerant circuit constructions, gate decompositions and relevant optimisations have been well founded for nearly two decades. However, at this point we still do not have a reliable compiler to adapt a high level circuit description to a fully fault-tolerant, error corrected description. There are many technical hurdles to this, including dynamic circuit constructions that occur due to teleportation protocols necessary to achieve fault-tolerance with commonly used error correction codes. We combine multiple results to develop a package that takes any high level quantum circuit consisting of CNOT, Toffoli, Controlled-$\\sqrt{X}$ and arbitrary single qubit rotations and converts it to a equivalent quantum circuit employing ancillary protocols needed for fault-tolerant error correction. We call this representation the (I)initialisation, (C)NOT, (M)measurement representation (ICM) and consists of an initialisation layer of qubits into one of four distinct states, a massive array of CNOT operations that implement the relevant algorithmic decompositions and fault-tolerant ancillary protocols and a series of time ordered $X$- and $Z$-basis measurements. Our package will output either a standard circuit description or a canonical geometric structure that represents its implementation for topological quantum codes that can be further optimised and implemented on actual quantum hardware.

  14. Invoking any Intel compiler with -g defaults to -O2 optimization...

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

    Invoking any Intel compiler with a Cray wrapper with -g defaults to -O2 optimization contrary to the Intel compiler man pages Invoking any Intel compiler with a Cray wrapper with...

  15. Compiler Optimization-Space Exploration Spyridon Triantafyllis Manish Vachharajani Neil Vachharajani David I. August

    E-Print Network [OSTI]

    August, David

    Compiler Optimization-Space Exploration Spyridon Triantafyllis Manish Vachharajani Neil of modern architectures, optimizing compilers must incorporate an ever larger number of increas- ingly with sub- sequent transformations, compilers employ predictive heuris- tics to guide optimizations

  16. Language and Compiler Issues in Scalable High Performance Scientific Libraries

    E-Print Network [OSTI]

    Johnsson, S. Lennart

    Language and Compiler Issues in Scalable High Performance Scientific Libraries S. Lennart Johnsson Issues in Scalable High Performance Scientific Libraries S. Lennart Johnsson Harvard University and Thinking Machines Corp. Abstract Library functions for scalable architectures must be designed to correctly

  17. Compilation of Giant Electric Dipole Resonances Built on Excited States

    E-Print Network [OSTI]

    A. Schiller; M. Thoennessen

    2006-05-05

    Giant Electric Dipole Resonance (GDR) parameters for gamma decay to excited states with finite spin and temperature are compiled. Over 100 original works have been reviewed and from some 70 of which more than 300 parameter sets of hot GDR parameters for different isotopes, excitation energies, and spin regions have been extracted. All parameter sets have been brought onto a common footing by calculating the equivalent Lorentzian parameters. The current compilation is complementary to an earlier compilation by Samuel S. Dietrich and Barry L. Berman (At. Data Nucl. Data Tables 38(1988)199-338) on ground-state photo-neutron and photo-absorption cross sections and their Lorentzian parameters. A comparison of the two may help shed light on the evolution of GDR parameters with temperature and spin. The present compilation is current as of January 2006.

  18. Compiler-driven data layout transformations for network applications 

    E-Print Network [OSTI]

    Fenacci, Damon

    2012-06-25

    This work approaches the little studied topic of compiler optimisations directed to network applications. It starts by investigating if there exist any fundamental differences between application domains that justify ...

  19. Verifiable compilation of I/O automata without global synchronization

    E-Print Network [OSTI]

    Tauber, Joshua A. (Joshua Allen)

    2005-01-01

    Part I of this thesis presents a strategy for compiling distributed systems specified in IOA into Java programs running on a group of networked workstations. IOA is a formal language for describing distributed systems as ...

  20. Measured Performance and Analysis of Ground Source Heat Pumps for Space Conditioning and for Water Heating in a Low-Energy Test House Operated under Simulated Occupancy Conditions

    SciTech Connect (OSTI)

    Ally, Moonis Raza [ORNL] [ORNL; Munk, Jeffrey D [ORNL] [ORNL; Baxter, Van D [ORNL] [ORNL; Gehl, Anthony C [ORNL] [ORNL

    2012-01-01

    In this paper we present measured performance and efficiency metrics of Ground Source Heat Pumps (GSHPs) for space conditioning and for water heating connected to a horizontal ground heat exchanger (GHX) loop. The units were installed in a 345m2 (3700ft2) high-efficiency test house built with structural insulated panels (SIPs), operated under simulated occupancy conditions, and located in Oak Ridge, Tennessee (USA) in US Climate Zone 4 . The paper describes distinctive features of the building envelope, ground loop, and equipment, and provides detailed monthly performance of the GSHP system. Space conditioning needs of the house were completely satisfied by a nominal 2-ton (7.0 kW) water-to-air GSHP (WA-GSHP) unit with almost no auxiliary heat usage. Recommendations for further improvement through engineering design changes are identified. The comprehensive set of data and analyses demonstrate the feasibility and practicality of GSHPs in residential applications and their potential to help achieve source energy and greenhouse gas emission reduction targets set under the IECC 2012 Standard.

  1. IBM XL C/C++ Enterprise Edition V8.0 for AIX Compiler Reference

    E-Print Network [OSTI]

    Hickman, Mark

    IBM XL C/C++ Enterprise Edition V8.0 for AIX Compiler Reference SC09-7995-00 #12;#12;IBM XL C/C++ Enterprise Edition V8.0 for AIX Compiler Reference SC09-7995-00 #12;Note! Before using this information comments . . . . . . . . xiii Chapter 1. Configuring the compiler . . 1 Setting up the compilation

  2. PyDSTool compilation Author: Mathieu Doucet Project Report Date: 6/21/2008 (rev. 1)

    E-Print Network [OSTI]

    Clewley, Robert

    PyDSTool compilation Author: Mathieu Doucet Project Report Date: 6/21/2008 (rev. 1) Page 1 of 4 Py of dynamic loading followed the design described in the report "PyDSTool compilation: Project ReportDSTool compilation project. The compilation was pulled out of the DopriODEsystem code and is now executed

  3. Accelerator Compiler for the VENICE Vector Processor B.A.Sc, Harbin Institute of Technology, 2009

    E-Print Network [OSTI]

    Lemieux, Guy

    Accelerator Compiler for the VENICE Vector Processor by Zhiduo Liu B.A.Sc, Harbin Institute the compiler design for VENICE, a new soft vector processor (SVP). The compiler is a new back-end target compilation from high-level programs into VENICE assembly code, thus avoiding the process of writing assembly

  4. Parallelization of Automotive Engine Control Software On Embedded Multi-core Processor Using OSCAR Compiler

    E-Print Network [OSTI]

    Kasahara, Hironori

    Compiler Yohei Kanehagi, Dan Umeda, Akihiro Hayashi, Keiji Kimura and Hironori Kasahara Graduate School parallelized the practical automotive engine control software using automatic multigrain parallelizing compiler, or the OSCAR Compiler has been developed by the authors for more than 25 years. The OSCAR compiler parallelizes

  5. Compilation of Constraint Programs with NonCyclic and Cyclic Dependencies to Procedural Parallel Programs

    E-Print Network [OSTI]

    Browne, James C.

    Compilation of Constraint Programs with Non­Cyclic and Cyclic Dependencies to Procedural Parallel ajita@research.bell­labs.com browne@cs.utexas.edu Abstract This paper reports on a compiler in the constraints. The compiler described in this paper successfully compiles a substantially larger class

  6. Execution Characteristics of JustInTime Compilers Technical Report TR99071701

    E-Print Network [OSTI]

    John, Lizy Kurian

    Execution Characteristics of Just­In­Time Compilers Technical Report ­ TR­990717­01 R@cse.psu.edu Abstract Just­In­Time (JIT) compilers interact with the Java Virtual Machine (JVM) at run time and compile appropriate bytecode sequences into native machine code. Loading and compilation time penalties are incurred

  7. Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu Center-level parallelism required to fully utilize VLIW and superscalar processors increases, compilers must perform. Traditionally, compilers have been built assuming functions as the unit of compilation. In this framework

  8. OSCAR Parallelizing Compiler and API for Real-time Low Power Heterogeneous Multicores

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Parallelizing Compiler and API for Real-time Low Power Heterogeneous Multicores Akihiro, this paper describes OSCAR par- allelizing compiler which bridges a gap between programmers and hetero- geneous multicores. In particular, this paper describes the compilation framework based on OSCAR compiler

  9. Generating Code for High-Level Operations through Code Composition

    E-Print Network [OSTI]

    Generating Code for High-Level Operations through Code Composition James M. Stichnoth August 1997 of the authors and should not be interpreted as necessarily representing the official policies or endorsements: Compilers, code generation, parallelism, communication generation #12;Abstract A traditional compiler

  10. Automated Vulnerability Detection for Compiled Smart Grid Software

    SciTech Connect (OSTI)

    Prowell, Stacy J; Pleszkoch, Mark G; Sayre, Kirk D; Linger, Richard C

    2012-01-01

    While testing performed with proper experimental controls can provide scientifically quantifiable evidence that software does not contain unintentional vulnerabilities (bugs), it is insufficient to show that intentional vulnerabilities exist, and impractical to certify devices for the expected long lifetimes of use. For both of these needs, rigorous analysis of the software itself is essential. Automated software behavior computation applies rigorous static software analysis methods based on function extraction (FX) to compiled software to detect vulnerabilities, intentional or unintentional, and to verify critical functionality. This analysis is based on the compiled firmware, takes into account machine precision, and does not rely on heuristics or approximations early in the analysis.

  11. A Compilation of Redshifts for Compact Groups of Galaxies

    E-Print Network [OSTI]

    G. C. Baiesi Pillastrini

    2007-03-21

    We present a compilation of redshifts for 4,911 Compact Groups of galaxies (CG) referenced to the heliocentric reference frame, where 694 of them are available from the literature as of 1992. An unpublished redshift list for 4,217 CGs identified in the SDSS data release 4 by Deng et al. (2006) has been added too. We present an additional list of 157 CGs with published redshifts for one or more member galaxies and 13 apparent CGs with discrepant memberships. The electronic version of the compilation is provided by email request.

  12. Compilation of current high-energy physics experiments

    SciTech Connect (OSTI)

    Wohl, C.G.; Kelly, R.L.; Armstrong, F.E.

    1981-05-01

    This is the fourth edition of the compilation of current high energy physics experiments. It is a collaborative effort of the Berkeley Particle Data Group, the SLAC library, and nine participating laboratories: Argonne (ANL), Brookhaven (BNL), CERN, DESY, Fermilab (FNAL), the Institute for Nuclear Study, Tokyo (INS), KEK, Serpukhov (SERP), and SLAC. The compilation includes summaries of all high energy physics experiments at the above laboratories that (1) were approved (and not subsequently withdrawn) before about April 1981, and (2) had not completed taking of data by 1 January 1977. Only approved experiments are included.

  13. Improving Compiler-Runtime Separation with XIR Ben L. Titzer

    E-Print Network [OSTI]

    Mössenböck, Hanspeter

    Linz Altenbergerstr. 69 4040 Linz, Austria +43 732-2468-7137 wuerthinger@ssw.jku.at Doug Simon Sun Microsystems Laboratories 16 Network Circle Menlo Park, CA 94025 (650) 568-4871 doug.simon@sun.com Marcelo the dynamic compiler and the rest of the runtime system, including the garbage collector, object model

  14. Fast Context Switches: Compiler and Architectural Support for

    E-Print Network [OSTI]

    Whalley, David

    Fast Context Switches: Compiler and Architectural Support for Preemptive Scheduling Jeffrey S to preemptive context switching in real­time systems that use preemptive scheduling. The method introduced in this paper attempts to avoid saving and restoring registers by performing context switches at points

  15. Evaluation of Compiler Optimizations for Fortran D on MIMD

    E-Print Network [OSTI]

    Tseng, Chau-Wen

    ), a new proposed Fortran standard. Our goal with Fortran D is to provide a simple yet ef­ ficient machineEvaluation of Compiler Optimizations for Fortran D on MIMD Distributed­Memory Machines Seema Hiranandani Ken Kennedy Chau­Wen Tseng CRPC­TR 91196 November 1991 Center for Research on Parallel Computation

  16. MILEPOST GCC: machine learning based research compiler Grigori Fursin,

    E-Print Network [OSTI]

    Williams, Chris

    and compilers continue to evolve bringing higher performance, lower power and smaller size while attempting to keep time to market as short as possible. Typical systems may now have multiple het- erogeneous fine-grain transformations within relatively nar- row search spaces. The main barrier to its wider use

  17. 2008 The Authors Journal Compilation 2008 Blackwell Publishing Ltd

    E-Print Network [OSTI]

    Troch, Peter

    © 2008 The Authors Journal Compilation © 2008 Blackwell Publishing Ltd Geography Compass 2 (2008 and Water Resources, University of Arizona Abstract Predictions of hydrologic system response to natural some threshold #12;2 Landscape heterogeneity and hydrological theory © 2008 The Authors Geography

  18. Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109122. Manifest types, modules, and separate compilation

    E-Print Network [OSTI]

    Leroy, Xavier

    , and separate compilation Xavier Leroy Stanford University Abstract This paper presents a variant of the SML Introduction 1.1 Modules and separate compilation Modularization is the process of decomposing a program a program in small units (compilation units) that can be typechecked and compiled separately by the compiler

  19. Compilation of NIST Higher-Order Methods for the Determination of

    E-Print Network [OSTI]

    Compilation of NIST Higher-Order Methods for the Determination of Electrolytes in Clinical 260-162 Compilation of Higher-Order Methods for the Determination of Electrolytes in Clinical

  20. Incoming Students Compiled 21.1.2015 12:12:46 by Document Globe 1

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Incoming Students Compiled 21.1.2015 12:12:46 by Document Globe ® 1 A period of study at Charles (the cotutelle system), and Erasmus Mundus II international programmes. #12;Compiled 21.1.2015 12

  1. Written and compiled by: Anusuya Rangarajan, Elizabeth A. Bihn, Robert B. Gravani,

    E-Print Network [OSTI]

    Stuart, Steven J.

    Written and compiled by: Anusuya Rangarajan, Elizabeth A. Bihn, Robert B. Gravani, Donna L. Scott and Vegetables A Grower's Guide #12;FOOD SAFETY BEGINS ON THE FARM: A GROWER'S GUIDE 1 Written and compiled by

  2. Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages 

    E-Print Network [OSTI]

    Lindley, Sam

    This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed ...

  3. Compiler-Directed File Layout Optimization for Hierarchical Storage Systems

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

    Ding, Wei; Zhang, Yuanrui; Kandemir, Mahmut; Son, Seung Woo

    2013-01-01

    File layout of array data is a critical factor that effects the behavior of storage caches, and has so far taken not much attention in the context of hierarchical storage systems. The main contribution of this paper is a compiler-driven file layout optimization scheme for hierarchical storage caches. This approach, fully automated within an optimizing compiler, analyzes a multi-threaded application code and determines a file layout for each disk-resident array referenced by the code, such that the performance of the target storage cache hierarchy is maximized. We tested our approach using 16 I/O intensive application programs and compared its performancemore »against two previously proposed approaches under different cache space management schemes. Our experimental results show that the proposed approach improves the execution time of these parallel applications by 23.7% on average.« less

  4. High-Level Information An Approach for Integrating Front-End and Back-End Compilers

    E-Print Network [OSTI]

    Li, Zhiyuan

    High-Level Information ­ An Approach for Integrating Front-End and Back-End Compilers Sangyeun Cho-end and back-end compilers by passing front-end information to the back-end compiler. Importing this information into an existing back- end leverages the state-of-the-art analysis and transforma- tion

  5. Compiler Assisted Elliptic Curve Cryptography M. Barbosa 1 , A. Moss 2 and D. Page 2

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Compiler Assisted Elliptic Curve Cryptography M. Barbosa 1 , A. Moss 2 and D. Page 2 1 Departamento and compilation techniques for cryptographic software, focusing on ECC in particular. Specifically, we describe and optimisation of ECC point arithmetic using a cryptography­aware lan­ guage and compiler. Our main results show

  6. On Security Models and Compilers for Group Key Exchange Protocols (Full version)

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    On Security Models and Compilers for Group Key Exchange Protocols (Full version) Emmanuel Bresson1-known generic solutions (compilers) for AKE- and MA-security of GKE pro- tocols proposed based compiler which provides AKE- and MA-security for any GKE protocol, under standard cryptographic assumptions

  7. Hardware JIT compilation for off-the-shelf dynamically reconfigurable FPGAs

    E-Print Network [OSTI]

    Feeley, Marc

    Hardware JIT compilation for off-the-shelf dynamically reconfigurable FPGAs Etienne Bergeron, Marc Montr´eal GRM, ´Ecole Polytechnique de Montr´eal Abstract. JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler

  8. Development of Large Scale High Performance Applications with a Parallelizing Compiler

    E-Print Network [OSTI]

    Vlad, Gregorio

    Development of Large Scale High Performance Applications with a Parallelizing Compiler B. DI parallel computations, and lack of robustness of parallelizing HPF compilers in handling large sized codes directives, into explicitly parallel code, by means of parallelizing compilers. This method is not only

  9. Accelerator Compiler for the VENICE Vector Processor zhiduol@ece.ubc.ca

    E-Print Network [OSTI]

    Cortes, Corinna

    Accelerator Compiler for the VENICE Vector Processor Zhiduo Liu zhiduol@ece.ubc.ca Dept. of ECE@ece.ubc.ca Dept. of ECE, UBC Vancouver, Canada ABSTRACT This paper describes the compiler design for VENICE, a new soft vector processor (SVP). The compiler is a new back-end target for Microsoft Accelerator, a high

  10. Scalable Compilers for Group Key Establishment : Two/Three Party to Group

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Scalable Compilers for Group Key Establishment : Two/Three Party to Group S. Sree Vivek1, , S presents the first scalable, efficient and generic compilers to construct group key exchange (GKE) protocols from two/three party key exchange (2-KE/3-KE) protocols. We propose three different compilers

  11. PARALLEL COMPILATION OF CMS SOFTWARE Shaun Ashby, Giulio Eulisse, Lassi A. Tuura (CERN, Geneva, Switzerland)

    E-Print Network [OSTI]

    PARALLEL COMPILATION OF CMS SOFTWARE Shaun Ashby, Giulio Eulisse, Lassi A. Tuura (CERN, Geneva distributed compilation using spare cycles of available machines (running GNU/Linux). This document is organized as follows: In this introduc- tory part we first describe the "classic" compilation process

  12. Scalable Compilers for Group Key Establishment : Two/Three Party to Group

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Scalable Compilers for Group Key Establishment : Two/Three Party to Group S. Sree Vivek 1,# , S presents the first scalable, e#cient and generic compilers to construct group key exchange (GKE) protocols from two/three party key exchange (2­KE/3­KE) protocols. We propose three di#erent compilers where

  13. c Copyright by Richard Eugene Hank, 1996 REGION-BASED COMPILATION

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    c Copyright by Richard Eugene Hank, 1996 #12;REGION-BASED COMPILATION BY RICHARD EUGENE HANK B of the University of Illinois at Urbana-Champaign, 1996 Urbana, Illinois #12;REGION-BASED COMPILATION Richard Eugene to fully utilize high issue-rate processors has forced the compiler to perform more aggressive analysis

  14. Generic Compilers for Authenticated Key Exchange Tibor Jager Florian Kohlar Sven Schage Jorg Schwenk

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Generic Compilers for Authenticated Key Exchange Tibor Jager Florian Kohlar Sven Sch¨age J efficient attacks on the na¨ive combination of these protocols. In this paper, we propose new compilers challenge(s) exchanged during authentication. Keywords: authenticated key agreement, protocol compiler, TLS

  15. Efficient Compilers for Authenticated Group Key Qiang Tang and Chris J. Mitchell

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Efficient Compilers for Authenticated Group Key Exchange Qiang Tang and Chris J. Mitchell.tang,c.mitchell}@rhul.ac.uk 10th October, 2005 Abstract In this paper we propose two compilers which are designed to transform, or malicious insider. We show that the first proposed compiler gives protocols that are more ef- ficient than

  16. E#cient Compilers for Authenticated Group Key Qiang Tang and Chris J. Mitchell

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    E#cient Compilers for Authenticated Group Key Exchange Qiang Tang and Chris J. Mitchell Information.tang,c.mitchell}@rhul.ac.uk 10th October, 2005 Abstract In this paper we propose two compilers which are designed to transform, or malicious insider. We show that the first proposed compiler gives protocols that are more ef­ ficient than

  17. P&T Dossier Compilation Best Practices: Read departments Role and Scope. Attend appropriate training.

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    P&T Dossier Compilation Best Practices: Read departments Role and Scope. Attend appropriate. Adobe Acrobat Pro is a good tool to use when compiling your dossier. It has many features to assist the web. 4. When you choose an Option for compiling your dossier, follow it through the entire dossier. 5

  18. Which Set of Bridging Faults Should Test Compilers Target ? 1 Sreejit Chakravarty Paul J. Thadikaran

    E-Print Network [OSTI]

    Krovi, Venkat

    Which Set of Bridging Faults Should Test Compilers Target ? 1 Sreejit Chakravarty Paul J ( SUBMITTED TO IEEE INTERNATIONAL TEST CONFERENCE, 1996 ) ABSTRACT Existing test compilers target stuck ``layout analysis''. We argue that this is not a feasible option for test compilers thereby making a case

  19. Safety of Compilers and Translation Techniques -Status quo of Technology and Science

    E-Print Network [OSTI]

    Hofstedt, Petra

    Safety of Compilers and Translation Techniques - Status quo of Technology and Science Stephan Frank-alexander.schneider@bmw.de Abstract The paper investigates the status quo of technology and science for compiler safety methods. We consider specific requirements for compilers and generators for automotive applications and discuss

  20. Compilation Order Matters Keith D. Cooper, Timothy J. Harvey, Devika Subramanian, and Linda Torczon

    E-Print Network [OSTI]

    Subramanian, Devika

    Compilation Order Matters Keith D. Cooper, Timothy J. Harvey, Devika Subramanian, and Linda Torczon Department of Computer Science Rice University Houston, TX, USA ABSTRACT At design time, the compiler writer on the quality of code that the compiler can generate. They also determine, to a great extent, the set

  1. Evaluation of a Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler

    E-Print Network [OSTI]

    Way, Thomas

    Evaluation of a Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler Tom Way, USA email: ˇ way,pollock˘ @cis.udel.edu ABSTRACT An ILP optimizing compiler using a region optimization and schedul- ing opportunities. Regions provide the compiler with better control of the unit

  2. Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu Center increases, compilers must perform increasingly more aggressive anal- ysis, optimization, paralleli.zation and scheduling on the input programs. Traditionally, compilers have been built assuming functions as the unit

  3. Parallelizing Compiler Framework and API for Power Reduction and Software Productivity of

    E-Print Network [OSTI]

    Kasahara, Hironori

    Parallelizing Compiler Framework and API for Power Reduction and Software Productivity of Real, this paper proposes a compilation framework which bridges a gap between programmers and heterogeneous multicores. In particular, this paper describes the compilation framework based on OSCAR com- piler

  4. A Compilation of New and Published Major and Trace Element Data for NIST SRM 610

    E-Print Network [OSTI]

    A Compilation of New and Published Major and Trace Element Data for NIST SRM 610 and NIST SRM 612. NIST however, only certifies up to eight elements in these glasses. Here we have compiled concentration laboratories. Compilations are presented for the matrix composition of these glasses and for fifty eight trace

  5. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols (Full Version) Jos present a comprehensive spec- ification language and a certifying compiler for ZK-PoK protocols based on -protocols and composition techniques known in literature. The compiler allows the fully automatic

  6. Topological quantum compiling L. Hormozi, G. Zikos, and N. E. Bonesteel

    E-Print Network [OSTI]

    Bonesteel, Nicholas E.

    Topological quantum compiling L. Hormozi, G. Zikos, and N. E. Bonesteel Department of Physics 2006; published 11 April 2007 A method for compiling quantum algorithms into specific braiding patterns then be efficiently compiled and improved to any required accuracy using the Solovay-Kitaev algorithm. DOI: 10

  7. Multi-platform Automatic Parallelization and Power Reduction by OSCAR Compiler

    E-Print Network [OSTI]

    Kasahara, Hironori

    Multi-platform Automatic Parallelization and Power Reduction by OSCAR Compiler Hironori Kasahara-performance and software productivity and reduce power OSCAR Parallelizing Compiler Multigrain Parallelization coarse Reduction Reduction of consumed power by compiler control DVFS and Power gating with hardware supports. 1 23

  8. AUTOMATIC COMPILING OF HYPSOMETRIC MAP OF A PART OF THE VENUSIAN SURFACE. E.N. Lasarev

    E-Print Network [OSTI]

    Rodionova, Zhanna F.

    AUTOMATIC COMPILING OF HYPSOMETRIC MAP OF A PART OF THE VENUSIAN SURFACE. E.N. Lasarev 1 , J. F" spacecraft has been used for compiling the Hypsometric map for Ishtar Terra region [1, 2, 3]. The main principles applied in compiling the map such as the scale of the heights, types of prints and using

  9. FFT Compiler Techniques Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber, and

    E-Print Network [OSTI]

    Franchetti, Franz

    FFT Compiler Techniques Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber://www.math.tuwien.ac.at/ascot Abstract. This paper presents compiler technology that targets gen- eral purpose microprocessors augmented implemented on the new processors of the BlueGene/L su- percomputer. The paper introduces a special compiler

  10. C Compiler Targeting the Java Virtual Machine Senior Honors Thesis (Advisor: Javed A. Aslam)

    E-Print Network [OSTI]

    C Compiler Targeting the Java Virtual Machine Jack Pien Senior Honors Thesis (Advisor: Javed A to compile once and execute across many different platforms. With the emergence of the Internet by Sun Microsystems to address this "Write Once, Run Anywhere" problem. What sets a compiled Java program

  11. COMPILATION AND REVIEW OF COMPLETED RESTORATION AND MITIGATION STUDIES IN DEVELOPING AN

    E-Print Network [OSTI]

    US Army Corps of Engineers

    COMPILATION AND REVIEW OF COMPLETED RESTORATION AND MITIGATION STUDIES IN DEVELOPING;#12;COMPILATION AND REVIEW OF COMPLETED RESTORATION AND MITIGATION STUDIES IN DEVELOPING AN EVALUATION FRAMEWORK-R-5 Investments Research Program April 1995 #12;#12;Compilation and Review of Completed

  12. True Separate Compilation of Java Classes Davide Ancona, Giovanni Lagorio, and Elena Zucca ?

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    True Separate Compilation of Java Classes Davide Ancona, Giovanni Lagorio, and Elena Zucca ? DISI,lagorio,zuccag@disi.unige.it Abstract. We de#12;ne a type system modeling true separate compilation for a small but signi#12;cant Java's terminology) and compiled providing a minimal set of type requirements on missing classes. These requirements

  13. IBM XL C/C++ Advanced Edition V8.0 for Linux Compiler Reference

    E-Print Network [OSTI]

    Hickman, Mark

    IBM XL C/C++ Advanced Edition V8.0 for Linux Compiler Reference SC09-8013-00 #12;#12;IBM XL C/C++ Advanced Edition V8.0 for Linux Compiler Reference SC09-8013-00 #12;Note! Before using this information comments . . . . . . . . xiii Chapter 1. Configuring the compiler . . 1 Setting environment variables

  14. Compilation of Expenditures for the Hawai`i Gateway Energy Center

    E-Print Network [OSTI]

    Compilation of Expenditures for the Hawai`i Gateway Energy Center Prepared for the U.S. Department;Compilation of Expenditures for the Hawai`i Gateway Energy Center 1.0 Introduction As part of the Hawai will be located more closely to the park activities. 3.0 Cost Summary The following is a compilation of the costs

  15. Parallelizing Compilation Scheme for Reduction of Power Consumption of Chip Multiprocessors

    E-Print Network [OSTI]

    Kasahara, Hironori

    Parallelizing Compilation Scheme for Reduction of Power Consumption of Chip Multiprocessors Jun compilers for chip multi- processors are expected that allow us to parallelize program effectively. This paper proposes paralleliz- ing compilation scheme with power reduction control under the multi- grain

  16. Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr

    E-Print Network [OSTI]

    Regehr, John

    Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr University of Utah, School of Computing { jxyang, chenyang, eeide, regehr }@cs.utah.edu Abstract Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test

  17. Compiling and Linking FAQ | Argonne Leadership Computing Facility

    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 like submit the following commentsMethods for Estimating:I Overview of How to Compile and

  18. Compiling RES Legislation for Kazakhstan | Open Energy Information

    Open Energy Info (EERE)

    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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler,Coal TechnologiesClioCommunityLtd JumpAntasCompareCompiling RES

  19. Intel C++ compiler error: stl_iterator_base_types.h

    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 likeUniverseIMPACT EVALUATION PLANIs gravity aOverviewISMscientistJanuary 2014C++ compiler

  20. 2014 Wind Program Peer Review Compiled Presentations | Department of Energy

    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 Rank EERE: Alternative FuelsofProgram:Y-12 Beta-3 Racetracks2 DOEEnergyEnergy SoftWasteCompiled

  1. An Open Source Environment for Compiling Typed Unification Grammars into Speech Recognisers

    E-Print Network [OSTI]

    Rayner, Beth Ann Hockey and John Dowding RIACS, Mail Stop T27A-2 NASA Ames Research Center Moffett Field- scribed in (Rayner et al., 2001). The central idea is simply to perform an enumerative expansion; the resulting grammar is then filtered to remove non-reachable rules. As described in (Rayner et al., 2001

  2. One-dimensional array of point-like light sources based on gold nanoparticles and tetracene: Preparation and possible operation mechanisms

    SciTech Connect (OSTI)

    Cherepanov, V. V.; Fedorovich, R. D.; Kiyayev, O. E.; Naumovets, A. G.; Nechytaylo, V. B. Tomchuk, P. M.; Viduta, L. V.

    2014-11-10

    A method of preparation of a linear close-packed array of point-like light sources based on a nanocomposite of gold nanoparticles and tetracene is proposed. Ordered system of microleads to the light sources with packing density up to 1000?mm{sup ?1} consists of linear conducting chains of cobalt nanoparticles self-assembled in a magnetic field. The electroluminescence from the gold-tetracene nanocomposite occurs in the visible range typical of organic light-emitting field-effect transistors based on tetracene. A theoretical substantiation of the possibility of excitation of tetracene molecules by hot electrons emitted from the gold nanoparticles is suggested and compared with other possible physical mechanisms.

  3. Analysis of accident sequences and source terms at treatment and storage facilities for waste generated by US Department of Energy waste management operations

    SciTech Connect (OSTI)

    Mueller, C.; Nabelssi, B.; Roglans-Ribas, J.; Folga, S.; Policastro, A.; Freeman, W.; Jackson, R.; Mishima, J.; Turner, S.

    1996-12-01

    This report documents the methodology, computational framework, and results of facility accident analyses performed for the US Department of Energy (DOE) Waste Management Programmatic Environmental Impact Statement (WM PEIS). The accident sequences potentially important to human health risk are specified, their frequencies assessed, and the resultant radiological and chemical source terms evaluated. A personal-computer-based computational framework and database have been developed that provide these results as input to the WM PEIS for the calculation of human health risk impacts. The WM PEIS addresses management of five waste streams in the DOE complex: low-level waste (LLW), hazardous waste (HW), high-level waste (HLW), low-level mixed waste (LLMW), and transuranic waste (TRUW). Currently projected waste generation rates, storage inventories, and treatment process throughputs have been calculated for each of the waste streams. This report summarizes the accident analyses and aggregates the key results for each of the waste streams. Source terms are estimated, and results are presented for each of the major DOE sites and facilities by WM PEIS alternative for each waste stream. Key assumptions in the development of the source terms are identified. The appendices identify the potential atmospheric release of each toxic chemical or radionuclide for each accident scenario studied. They also discuss specific accident analysis data and guidance used or consulted in this report.

  4. Facts and Figures Compiled 21.1.2015 12:15:09 by Document Globe 1

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Facts and Figures Compiled 21.1.2015 12:15:09 by Document Globe ® 1 Erasmus Programme · Ratio as a whole, the ratio for the entire University is approximately 1:1. #12;Compiled 21.1.2015 12/Erasmus programme is shown in this graph: #12;Compiled 21.1.2015 12:15:09 by Document Globe ® 3 Destination

  5. RFI Released to Compile Teaming Partner List for Upcoming BENEFIT FOA

    Broader source: Energy.gov [DOE]

    Energy Efficiency and Renewable Energy (EERE) is compiling a Teaming Partner List to facilitate the formation of new project teams for the anticipated Buildings Energy Efficiency Frontiers &...

  6. Nuclear fuel cycle risk assessment: survey and computer compilation of risk-related literature. [Once-through Cycle and Plutonium Recycle

    SciTech Connect (OSTI)

    Yates, K.R.; Schreiber, A.M.; Rudolph, A.W.

    1982-10-01

    The US Nuclear Regulatory Commission has initiated the Fuel Cycle Risk Assessment Program to provide risk assessment methods for assistance in the regulatory process for nuclear fuel cycle facilities other than reactors. Both the once-through cycle and plutonium recycle are being considered. A previous report generated by this program defines and describes fuel cycle facilities, or elements, considered in the program. This report, the second from the program, describes the survey and computer compilation of fuel cycle risk-related literature. Sources of available information on the design, safety, and risk associated with the defined set of fuel cycle elements were searched and documents obtained were catalogued and characterized with respect to fuel cycle elements and specific risk/safety information. Both US and foreign surveys were conducted. Battelle's computer-based BASIS information management system was used to facilitate the establishment of the literature compilation. A complete listing of the literature compilation and several useful indexes are included. Future updates of the literature compilation will be published periodically. 760 annotated citations are included.

  7. Intense Pulsed Neutron Source: Progress report 1991--1996. 15. Anniversary edition -- Volume 2

    SciTech Connect (OSTI)

    1996-05-01

    The 15th Anniversary Edition of the IPNS Progress Report is being published in recognition of the Intense Pulsed Neutron Source`s first 15 years of successful operation as a user facility. To emphasize the importance of this milestone, the author shave made the design and organization of the report significantly different from previous IPNS Progress Reports. This report consists of two volumes. For Volume 1, authors were asked to prepare articles that highlighted recent scientific accomplishments at IPNS, from 1991 to present; to focus on and illustrate the scientific advances achieved through the unique capabilities of neutron studies performed by IPNS users; to report on specific activities or results from an instrument; or to focus on a body of work encompassing different neutron-scattering techniques. Articles were also included on the accelerator system, instrumentation, computing, target, and moderators. A list of published and ``in press` articles in journals, books, and conference proceedings, resulting from work done at IPNS since 1991, was compiled. This list is arranged alphabetically according to first author. Publication references in the articles are listed by last name of first author and year of publication. The IPNS experimental reports received since 1991 are compiled in Volume 2. Experimental reports referenced in the articles are listed by last name of first author, instrument designation, and experiment number.

  8. COMPILATION OF LABORATORY SCALE ALUMINUM WASH AND LEACH REPORT RESULTS

    SciTech Connect (OSTI)

    HARRINGTON SJ

    2011-01-06

    This report compiles and analyzes all known wash and caustic leach laboratory studies. As further data is produced, this report will be updated. Included are aluminum mineralogical analysis results as well as a summation of the wash and leach procedures and results. Of the 177 underground storage tanks at Hanford, information was only available for five individual double-shell tanks, forty-one individual single-shell tanks (e.g. thirty-nine 100 series and two 200 series tanks), and twelve grouped tank wastes. Seven of the individual single-shell tank studies provided data for the percent of aluminum removal as a function of time for various caustic concentrations and leaching temperatures. It was determined that in most cases increased leaching temperature, caustic concentration, and leaching time leads to increased dissolution of leachable aluminum solids.

  9. Compiler-Enhanced Incremental Checkpointing for OpenMP Applications

    SciTech Connect (OSTI)

    Bronevetsky, G; Marques, D; Pingali, K; McKee, S; Rugina, R

    2009-02-18

    As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety of causes. Checkpointing is a popular technique for tolerating such failures, enabling applications to periodically save their state and restart computation after a failure. Although a variety of automated system-level checkpointing solutions are currently available to HPC users, manual application-level checkpointing remains more popular due to its superior performance. This paper improves performance of automated checkpointing via a compiler analysis for incremental checkpointing. This analysis, which works with both sequential and OpenMP applications, significantly reduces checkpoint sizes and enables asynchronous checkpointing.

  10. Compiler-Enhanced Incremental Checkpointing for OpenMP Applications

    SciTech Connect (OSTI)

    Bronevetsky, G; Marques, D; Pingali, K; Rugina, R; McKee, S A

    2008-01-21

    As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety of causes. Checkpointing is a popular technique for tolerating such failures, enabling applications to periodically save their state and restart computation after a failure. Although a variety of automated system-level checkpointing solutions are currently available to HPC users, manual application-level checkpointing remains more popular due to its superior performance. This paper improves performance of automated checkpointing via a compiler analysis for incremental checkpointing. This analysis, which works with both sequential and OpenMP applications, reduces checkpoint sizes by as much as 80% and enables asynchronous checkpointing.

  11. Cluster of Gamma-ray Bursts - Image of a Source. Catalog of Clusters (Sources) of Gamma-ray Bursts

    E-Print Network [OSTI]

    A. V. Kuznetsov

    2001-11-01

    The clusters of gamma-ray bursts are considered which are assumed to be images of the repeated gamma-ray burst (GRB) sources. It is shown, that localization of the cosmic gamma-ray burst sources (GBS) is determined by the clusters of GRBs. About 100 candidates in sources are presented in the form of the catalog, which is compiled relying on the base of the BATSE data up to middle of 2000. Gamma-ray bursts (from 5 to 13) of a cluster that display a source do not coincide in their position. The catalog table containing basic information about the GRB sources yields the possibility to research the GBS properties and their identification. The birth of GRBs in the clusters allows predicting the appearance of GRBs both in time and space. Most general properties of the supposed GRB sources are discussed. An attempt to compile the first GRB source catalog is made.

  12. An ALS (Advanced Light Source) handbook

    SciTech Connect (OSTI)

    Not Available

    1988-11-01

    This booklet aims to provide the prospective user of the Advanced Light Source with a concise description of the radiation a researcher might expect at his or her experimental station. The focus is therefore on the characteristics of the light that emerges from insertion devices and bending magnets and on how components of the beam lines further alter the properties of the radiation. The specifications and operating parameters of the ALS injection system and storage ring are of only peripheral interest. To this end, Sections 3 and 5 and most of Section 4 are devoted to summary presentations, by means of performance plots and tabular compilations, of radiation characteristics at the ALS--spectral brightness, flux, coherent power, resolution, time structure, etc.--assuming a representative set of four undulators and one wiggler and a corresponding set of five beam lines. As a complement to these performance summaries, Section 1 is a general introductory discussion of synchrotron radiation and the ALS, and Section 2 provides a compendious introduction to the characteristics of synchrotron radiation from bending magnets, wigglers, and undulators. In addition, Section 4 briefly introduces the theory of diffraction grating and crystal monochromators. 15 refs., 28 figs., 5 tabs.

  13. LCTES'04, pages 95 --106, 2004 A Trace-based Binary Compilation Framework for

    E-Print Network [OSTI]

    Xue, Jingling

    the effects of individual optimisations on power and energy usage. There has been relatively little workLCTES'04, pages 95 -- 106, 2004 A Trace-based Binary Compilation Framework for Energy-Aware Computing Lian Li and Jingling Xue Compiler Research Group School of Computer Science and Engineering

  14. Automated, Retargetable Back-Annotation for Host Compiled Performance and Power Modeling

    E-Print Network [OSTI]

    Gerstlauer, Andreas

    and back- annotation of basic code blocks with all possible predeces- sors. Results from applying ourAutomated, Retargetable Back-Annotation for Host Compiled Performance and Power Modeling Suhas typical front- and back-end optimiza- tions by working at the compiler-generated intermediate rep

  15. EAC: A Compiler Framework for High-Level Energy Estimation and Optimization

    E-Print Network [OSTI]

    Sivasubramaniam, Anand

    only evaluate a small number of alternative optimiza- tion strategies, the energy estimation processEAC: A Compiler Framework for High-Level Energy Estimation and Optimization I. Kadayif, M. Kandemir University University Park, PA, 16802, USA Abstract This paper presents a novel Energy-Aware Compilation (EAC

  16. The MetaCC project Compilation and optimisation on the Grid http://www.metacc.net

    E-Print Network [OSTI]

    Silber, Georges-André

    -Andre.Silber@ensmp.fr http://www.metacc.net The MetaCC team is supported by the french ministry of research (ACI Grid, jeune are handled by standard tools and kernel modules. User can access its files with a combination of rsync. Compilation can also be done on the grid using a distributed compilation service developped with DIET (ACI

  17. Intel Cluster Toolkit Compiler Edition 3.2 for Linux* OS

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Cluster Toolkit Compiler Edition 3.2 for Linux* OS Getting Started Guide Intel Corporation.2 Installation of Intel® Cluster Toolkit Compiler Edition on 32-Bit and 64-Bit Nodes that Share a Common /opt .................................................................24 4.6 Running an MPI Program Using Intel® MPI Library on Linux* ..................25 4

  18. Intel Cluster Toolkit Compiler Edition 3.2 for Linux* OS

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Cluster Toolkit Compiler Edition 3.2 for Linux* OS Tutorial Intel Corporation (Revision.2 Installation of Intel® Cluster Toolkit Compiler Edition on 32-Bit and 64-Bit Nodes that Share a Common /opt..................................................................24 4.6 Running an MPI Program Using Intel® MPI Library on Linux....................25 4

  19. Compiled by the Alliance for Research in Chicagoland Communities (ARCC) Connecting with Partners

    E-Print Network [OSTI]

    Chisholm, Rex L.

    Compiled by the Alliance for Research in Chicagoland Communities (ARCC) Connecting with Partners community research projects. Find out who's been doing work on your topic of interest. Build alliances input? As research team members? On a Community Advisory Board? #12;Compiled by the Alliance

  20. Compiling Application-Specific Hardware Mihai Budiu and Seth Copen Goldstein

    E-Print Network [OSTI]

    Goldstein, Seth Copen

    Compiling Application-Specific Hardware Mihai Budiu and Seth Copen Goldstein Carnegie Mellon for imple- menting Application-Specific Hardware. ASH is based on automatic hardware synthesis from high CASH, a scalable compiler framework for ASH, which generates hardware from programs written in C. Our

  1. Compilation of directly measured nuclear spins of ground states and long-lived isomers

    SciTech Connect (OSTI)

    MacDonald, Allison; Karamy, Babak; Setoodehnia, Kiana; Singh, Balraj

    2013-02-15

    A compilation of the nuclear spins of ground and isomeric states measured by direct methods is presented. The first compilation of direct measurements of nuclear spins and moments was published in 1976 (G. H. Fuller, J. Phys. Chem. Ref. Data 5, 835, (1976)) with literature covered up to 1974. To our knowledge, the present work is the first such compilation since then. It is anticipated that the area of direct spin measurement will continue to expand using the state-of-the-art radioactive ion-beam and laser techniques. Literature cutoff date for the present compilation is February 2013. It is intended that the present compilation will be kept updated in a timely manner.

  2. Research of OSCAR Parallelizing Compiler for High Performance and

    E-Print Network [OSTI]

    Kasahara, Hironori

    fan) Cool, Compact, Clear, Quiet Operational by Solar Panel Hitachi. Y. FUKUDA Minister of State for Science, Technology and Innovation Policy: Mr. F. KISHIDA Chief

  3. Compiler-Assisted Detection of Transient Memory Errors

    SciTech Connect (OSTI)

    Tavarageri, Sanket; Krishnamoorthy, Sriram; Sadayappan, Ponnuswamy

    2014-06-09

    The probability of bit flips in hardware memory systems is projected to increase significantly as memory systems continue to scale in size and complexity. Effective hardware-based error detection and correction requires that the complete data path, involving all parts of the memory system, be protected with sufficient redundancy. First, this may be costly to employ on commodity computing platforms and second, even on high-end systems, protection against multi-bit errors may be lacking. Therefore, augmenting hardware error detection schemes with software techniques is of consider- able interest. In this paper, we consider software-level mechanisms to comprehensively detect transient memory faults. We develop novel compile-time algorithms to instrument application programs with checksum computation codes so as to detect memory errors. Unlike prior approaches that employ checksums on computational and architectural state, our scheme verifies every data access and works by tracking variables as they are produced and consumed. Experimental evaluation demonstrates that the proposed comprehensive error detection solution is viable as a completely software-only scheme. We also demonstrate that with limited hardware support, overheads of error detection can be further reduced.

  4. Efficient Topological Compilation for Weakly-Integral Anyon Model

    E-Print Network [OSTI]

    Alex Bocharov; Xingshan Cui; Vadym Kliuchnikov; Zhenghan Wang

    2015-04-13

    In a recent series of two research papers Cui, Wang and Hong proposed a class of anyonic models for universal quantum computation based on weakly-integral anyons. While universal set of gates cannot be obtained in this context by anyon braiding alone, designing a certain type of sector charge measurement provides universality. From the mathematical standpoint the underlying unitary bases arising in various versions of the weakly-integral anyonic models are defined over a certain ring of Eisenstein rationals, that has useful number-theoretic properties. In this paper we develop a compilation algorithm to approximate arbitrary $n$-qutrit unitaries with asymptotically efficient circuits over the metaplectic anyon model, the most recent instance of the weakly-integral anyonic class. One flavor of our algorithm produces efficient circuits with upper complexity bound asymptotically in $O(3^{2\\,n} \\, \\log{1/\\varepsilon})$ and entanglement cost that is exponential in $n$. Another flavor of the algorithm produces efficient circuits with upper complexity bound in $O(n\\,3^{2\\,n} \\, \\log{1/\\varepsilon})$ and no additional entanglement cost.

  5. The NACRE Thermonuclear Reaction Compilation and Big Bang Nucleosynthesis

    E-Print Network [OSTI]

    Richard H. Cyburt; Brian D. Fields; Keith A. Olive

    2001-05-17

    The theoretical predictions of big bang nucleosynthesis (BBN) are dominated by uncertainties in the input nuclear reaction cross sections. In this paper, we examine the impact on BBN of the recent compilation of nuclear data and thermonuclear reactions rates by the NACRE collaboration. We confirm that the adopted rates do not make large overall changes in central values of predictions, but do affect the magnitude of the uncertainties in these predictions. Therefore, we then examine in detail the uncertainties in the individual reaction rates considered by NACRE. When the error estimates by NACRE are treated as 1\\sigma limits, the resulting BBN error budget is similar to those of previous tabulations. We propose two new procedures for deriving reaction rate uncertainties from the nuclear data: one which sets lower limits to the error, and one which we believe is a reasonable description of the present error budget. We propagate these uncertainty estimates through the BBN code, and find that when the nuclear data errors are described most accurately, the resulting light element uncertainties are notably smaller than in some previous tabulations, but larger than others. Using these results, we derive limits on the cosmic baryon-to-photon ratio $\\eta$, and compare this to independent limits on $\\eta$ from recent balloon-borne measurements of the cosmic microwave background radiation (CMB). We discuss means to improve the BBN results via key nuclear reaction measurements and light element observations.

  6. Compiled by Greg Mountenay for Teacher Candidates (Prof 155/150) September 2011 Why Should I Care About Mental Health?

    E-Print Network [OSTI]

    Fletcher, Robin

    1 Compiled by Greg Mountenay for Teacher Candidates (Prof 155/150) September 2011 Why Should I Care RESOURCE! http://www.adcet.edu.au/cats/view.aspx?id=4015 #12;2 Compiled by Greg Mountenay for Teacher

  7. Hydroelectric power provides a cheap source of electricity with few carbon emissions. Yet, reservoirs are not operated sustainably, which we define as meeting societal needs for water and power while protecting long-term health of the river ecosystem. Reservoirs that generate hydropower are typically operated with the goal of maximizing energy reve

    SciTech Connect (OSTI)

    Jager, Yetta; Smith, Brennan T

    2008-02-01

    Hydroelectric power provides a cheap source of electricity with few carbon emissions. Yet, reservoirs are not operated sustainably, which we define as meeting societal needs for water and power while protecting long-term health of the river ecosystem. Reservoirs that generate hydropower are typically operated with the goal of maximizing energy revenue, while meeting other legal water requirements. Reservoir optimization schemes used in practice do not seek flow regimes that maximize aquatic ecosystem health. Here, we review optimization studies that considered environmental goals in one of three approaches. The first approach seeks flow regimes that maximize hydropower generation, while satisfying legal requirements, including environmental (or minimum) flows. Solutions from this approach are often used in practice to operate hydropower projects. In the second approach, flow releases from a dam are timed to meet water quality constraints on dissolved oxygen (DO), temperature and nutrients. In the third approach, flow releases are timed to improve the health of fish populations. We conclude by suggesting three steps for bringing multi-objective reservoir operation closer to the goal of ecological sustainability: (1) conduct research to identify which features of flow variation are essential for river health and to quantify these relationships, (2) develop valuation methods to assess the total value of river health and (3) develop optimal control softwares that combine water balance modelling with models that predict ecosystem responses to flow.

  8. Proceedings of the workshop on Compilation of (Symbolic) Languages for Parallel Computers

    SciTech Connect (OSTI)

    Foster, I.; Tick, E. (comp.)

    1991-11-01

    This report comprises the abstracts and papers for the talks presented at the Workshop on Compilation of (Symbolic) Languages for Parallel Computers, held October 31--November 1, 1991, in San Diego. These unreferred contributions were provided by the participants for the purpose of this workshop; many of them will be published elsewhere in peer-reviewed conferences and publications. Our goal is planning this workshop was to bring together researchers from different disciplines with common problems in compilation. In particular, we wished to encourage interaction between researchers working in compilation of symbolic languages and those working on compilation of conventional, imperative languages. The fundamental problems facing researchers interested in compilation of logic, functional, and procedural programming languages for parallel computers are essentially the same. However, differences in the basic programming paradigms have led to different communities emphasizing different species of the parallel compilation problem. For example, parallel logic and functional languages provide dataflow-like formalisms in which control dependencies are unimportant. Hence, a major focus of research in compilation has been on techniques that try to infer when sequential control flow can safely be imposed. Granularity analysis for scheduling is a related problem. The single- assignment property leads to a need for analysis of memory use in order to detect opportunities for reuse. Much of the work in each of these areas relies on the use of abstract interpretation techniques.

  9. 868 New Phytologist (2009) 183: 868879 The Authors (2009) 868www.newphytologist.org Journal compilation New Phytologist (2009)

    E-Print Network [OSTI]

    Rieseberg, Loren

    2009-01-01

    & Maherali, 2006; Saldana et al., 2007). Here we used a compilation of unpublished and pub- lished data

  10. An Application-Specific Compiler for High-Speed Binary Image Morphology Scott Hemmert, Brad Hutchings and Anshul Malvi

    E-Print Network [OSTI]

    Nelson, Brent E.

    An Application-Specific Compiler for High-Speed Binary Image Morphology Scott Hemmert, Brad discusses a two-level compilation scheme used for generating high-speed binary image morphology pipelines from a textual description of the algorithm. The first-level compiler generates a generic morphology

  11. IEEE Computer Society International Conference on Computer Languages 1998, Loyola Univ., Chicago, May 1998 Modular Compilers Based on Monad Transformers

    E-Print Network [OSTI]

    Kamin, Sam

    , May 1998 Modular Compilers Based on Monad Transformers William L. Harrison Samuel N. Kamin Department. It has proven dif­ ficult to extend the method to compilation. We demon­ strate that by introducing as for an interpreter. A number of language con­ structs and features are compiled: expressions, CBV and CBN evaluation

  12. A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-wise Tampering and Permutations

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-wise Tampering and Permutations-rates for such constructions. In this work, we present a compiler to transform low-rate (in fact, zero rate) non and Guruswami (TCC 2014). Further, our compiler can be applied to non-malleable codes against the class of bit

  13. Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation

    E-Print Network [OSTI]

    Batzoglou, Serafim

    Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation by decentralized, identically- programmed agents. Our system compiles a prede- termined global shape into a program. In the global- to-local compilation phase, an input shape is de- composed into a network of covering

  14. Assessment of the current status of basic nuclear data compilations

    SciTech Connect (OSTI)

    Riemer, R.L.

    1992-12-31

    The Panel on Basic Nuclear Data Compilations believes that it is important to provide the user with an evaluated nuclear database of the highest quality, dependability, and currency. It is also important that the evaluated nuclear data are easily accessible to the user. In the past the panel concentrated its concern on the cycle time for the publication of A-chain evaluations. However, the panel now recognizes that publication cycle time is no longer the appropriate goal. Sometime in the future, publication of the evaluated A-chains will evolve from the present hard-copy Nuclear Data Sheets on library shelves to purely electronic publication, with the advent of universal access to terminals and the nuclear databases. Therefore, the literature cut-off date in the Evaluated Nuclear Structure Data File (ENSDF) is rapidly becoming the only important measure of the currency of an evaluated A-chain. Also, it has become exceedingly important to ensure that access to the databases is as user-friendly as possible and to enable electronic publication of the evaluated data files. Considerable progress has been made in these areas: use of the on-line systems has almost doubled in the past year, and there has been initial development of tools for electronic evaluation, publication, and dissemination. Currently, the nuclear data effort is in transition between the traditional and future methods of dissemination of the evaluated data. Also, many of the factors that adversely affect the publication cycle time simultaneously affect the currency of the evaluated nuclear database. Therefore, the panel continues to examine factors that can influence cycle time: the number of evaluators, the frequency with which an evaluation can be updated, the review of the evaluation, and the production of the evaluation, which currently exists as a hard-copy issue of Nuclear Data Sheets.

  15. Regulatory and technical reports (abstract index journal): Annual compilation for 1994. Volume 19, Number 4

    SciTech Connect (OSTI)

    1995-03-01

    This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the US Nuclear Regulatory Commission (NRC) Staff and its contractors. It is NRC`s intention to publish this compilation quarterly and to cumulate it annually. The main citations and abstracts in this compilation are listed in NUREG number order. These precede the following indexes: secondary report number index, personal author index, subject index, NRC originating organization index (staff reports), NRC originating organization index (international agreements), NRC contract sponsor index (contractor reports), contractor index, international organization index, and licensed facility index. A detailed explanation of the entries precedes each index.

  16. Formal Speci cation of a Prolog Compiler Michael Hanus

    E-Print Network [OSTI]

    Hanus, Michael

    , T erms, T erm, String operations: prog: Clauses ! P rog csequ: Clause, Clauses ! Clauses empty csequ: ! Clauses clause: T erm, T erm ! Clause tsequ: T erm, T erms ! T erms empty tsequ: ! T erms var: String ! T erm structure: Strin

  17. Performance optimizations for compiler-based error detection 

    E-Print Network [OSTI]

    Mitropoulou, Konstantina

    2015-06-29

    The trend towards smaller transistor technologies and lower operating voltages stresses the hardware and makes transistors more susceptible to transient errors. In future systems, performance and power gains will come ...

  18. 4th Generation ECR Ion Sources

    E-Print Network [OSTI]

    Lyneis, Claude M.

    2010-01-01

    4th Generation ECR Ion Sources Claude M Lyneis, D. Leitner,to developing a 4 th generation ECR ion source with an RFover current 3 rd generation ECR ion sources, which operate

  19. An ALS handbook: A summary of the capabilities and characteristics of the advanced light source

    SciTech Connect (OSTI)

    Not Available

    1989-04-01

    This booklet aims to provide the prospective user of the Advanced Light Source with a concise description of the radiation a researcher might expect at his or her experimental station. The focus is therefore on the characteristics of the light that emerges from insertion devices and bending magnets and on how components of the beam lines further alter the properties of the radiation. The few specifications and operating parameters of the ALS storage ring that are of interest are those that directly determine the radiation characteristics. Sections 4 through 5 are primarily devoted to summary presentations, by means of performance plots and tabular compilations, of radiation characteristics at the ALS--spectral brightness, flux, coherent power, resolution, etc.--assuming a representative set of three undulators and one wiggler and a corresponding set of four beam lines. As a complement to these performance summaries, Section 1 is a general introductory discussion of synchrotron radiation and the ALS, and Section 2 discusses the properties of the stored electron beam that affect the radiation. Section 3 then provides an introduction to the characteristics of synchrotron radiation from bending magnets, wigglers, and undulators. In addition, Section 5 briefly introduces the theory of diffraction-grating and crystal monochromators. As compared with previous editions of this booklet, the performance plots and tabular compilations of the ALS radiation characteristics are now based on conservative engineering designs rather than preliminary physics designs.

  20. The Authors (2007). Journal compilation New Phytologist (2007) www.newphytologist.org responses of photosynthesis, canopy properties and plant production to

    E-Print Network [OSTI]

    2007-01-01

    Meetings © The Authors (2007). Journal compilation © New Phytologist (2007) www-8137.2007.02280.x© The Authors (2007). Journal compilation © New Phytologist (2007) Mycorrhizal symbioses play

  1. Piezotube borehole seismic source

    DOE Patents [OSTI]

    Daley, Tom M; Solbau, Ray D; Majer, Ernest L

    2014-05-06

    A piezoelectric borehole source capable of permanent or semipermanent insertion into a well for uninterrupted well operations is described. The source itself comprises a series of piezoelectric rings mounted to an insulative mandrel internally sized to fit over a section of well tubing, the rings encased in a protective housing and electrically connected to a power source. Providing an AC voltage to the rings will cause expansion and contraction sufficient to create a sonic pulse. The piezoelectric borehole source fits into a standard well, and allows for uninterrupted pass-through of production tubing, and other tubing and electrical cables. Testing using the source may be done at any time, even concurrent with well operations, during standard production.

  2. ENERGY-EFFICIENT NEW COMMERCIAL BUILDINGS IN THE NORTHWEST REGION: A COMPILATION OF MEASURED DATA

    E-Print Network [OSTI]

    Piette, M.A.

    2010-01-01

    might expect an energy-efficient building to be expensive toto build an energy-efficient building for no more thanestimates for new energy-efficient buildings, we compiled

  3. Low-Temperature Geothermal Water in Utah: A compilation of Data...

    Open Energy Info (EERE)

    Low-Temperature Geothermal Water in Utah: A compilation of Data for Thermal Wells and Springs Through 1993 Jump to: navigation, search OpenEI Reference LibraryAdd to library Web...

  4. Efficient compilation of structured parallel programs for distributed memory MIMD machines

    E-Print Network [OSTI]

    Pelagatti, Susanna

    Department of Computer Science -- University of Pisa -- Pisa -- Italy ffi Pisa Science Center -- Hewlett Packard Laboratories -- Pisa -- Italy e­mail: fbacci compiler developed during a joint project between the Department of Computer Science ­ University of Pisa

  5. Regulatory and technical reports (abstract index journal): Annual compilation for 1996, Volume 21, No. 4

    SciTech Connect (OSTI)

    Sheehan, M.A.

    1997-04-01

    This compilation is the annual cumulation of bibliographic data and abstracts for the formal regulatory and technical reports issued by the U.S. Nuclear Regulatory Commission (NRC) Staff and its contractors.

  6. Compilation Techniques for High-Performance Embedded Systems with Multiple Processors 

    E-Print Network [OSTI]

    Franke, Bjorn

    Despite the progress made in developing more advanced compilers for embedded systems, programming of embedded high-performance computing systems based on Digital Signal Processors (DSPs) is still a highly skilled manual ...

  7. A comparison of designs for extensible and extension-oriented compilers

    E-Print Network [OSTI]

    Clements, Austin T., S.M. Massachusetts Institute of Technology

    2008-01-01

    Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers and errors in Linux and other systems, and add support for specialized control flow to ...

  8. Comment on "Atomic mass compilation 2012" by B. Pfeiffer, K. Venkataramaniah, U. Czok, C. Scheidenberger

    E-Print Network [OSTI]

    Audi, Georges; Block, Michael; Bollen, Georg; Herfurth, Frank; Goriely, Stéphane; Hardy, John C; Kondev, Filip G; Kluge, Juergen H; Lunney, David; Pearson, Mike J; Savard, Guy; Sharma, Kumar; Wang, Meng; Zhang, Yuhu

    2014-01-01

    This "Comment" submitted to ADNDT on December 13, 2013 concerns a publication entitled "Atomic Mass Compilation 2012", which is due to appear in the March 2014 issue of the journal Atomic Data and Nuclear Data Tables (available online on September 6, 2013). We would like to make it clear that this paper is not endorsed by the Atomic Mass Evaluation (AME) international collaboration. The AME provides carefully recommended evaluated data, published periodically. The "Atomic Mass Compilation 2012" is not to be associated with the latest publication, AME2012, nor with any of the previously published mass evaluations that were developed under the leadership of Prof. A.H. Wapstra. We found the data presented in "Atomic Mass Compilation 2012" to be misleading and the approach implemented to be lacking in rigour since it does not allow to unambiguously trace the original published mass values. Furthermore, the method used in "Atomic Mass Compilation 2012" is not valid and leads to erroneous and contradictory outputs,...

  9. Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong

    E-Print Network [OSTI]

    Groce, Alex David

    Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong Xiaoli Fern Eric EideScript engine. Google's proprietary ClusterFuzz effort "hammers away at it [Chrome, includ- ing its V8 Java

  10. Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong

    E-Print Network [OSTI]

    Regehr, John

    Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong Xiaoli Fern Eric Eide previously unknown bugs in the same JavaScript engine. Google's proprietary ClusterFuzz effort "hammers away

  11. CCC: A Caching Compiler for C Brian Koehler and R. Nigel Horspool

    E-Print Network [OSTI]

    Horspool, R. Nigel

    in production environments often have to reprocess the same header les. CCC is a caching C compiler which with the le. However, it is much harder to avoid re-processing an unchanged `.h' le. There are two basic

  12. The Linac Coherent Light Source

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

    White, William E.; Robert, Aymeric; Dunne, Mike

    2015-05-01

    The Linac Coherent Light Source (LCLS) at the SLAC National Accelerator Laboratory was the first hard X-ray free-electron laser (FEL) to operate as a user facility. After five years of operation, LCLS is now a mature FEL user facility. Our personal views about opportunities and challenges inherent to these unique light sources are discussed.

  13. Accelerator Operations and Physics - Advanced Photon Source

    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 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAboutAccelerating theAccelerator

  14. A Compiler Engineer's View of High Performance Technical Computing

    E-Print Network [OSTI]

    Dongarra, Jack

    Architectures in Top 500 Architectures #12;0 5 10 15 20 Instruction Set Architectures in Top 500 Architectures Architectures (>1) Architectural Diversity #12;0 5 10 15 20 Instruction Set Architectures in Top 500 Architectural Trends #12;§ Fortran evolving; array operations, do concurrent, PGAS parallelism § C and C++ each

  15. Compiled by James A. Zeidler, Ph.D.

    E-Print Network [OSTI]

    and Posters: Iraq/Afghanistan (2007)...............................8-11 Egypt--Operation Bright Star (2009........................21 Country-Specific Web Sites for Iraq, Afghanistan, and Egypt (Revised 2010 among U.S. military personnel and DoD contractors in Iraq, Afghanistan, and Egypt of the importance

  16. Completeness of Integrated Information Sources

    E-Print Network [OSTI]

    Freytag, Johann-Christoph

    Completeness of Integrated Information Sources Felix Naumann, Johann-Christoph Freytag, Ulf Leser attributes of these entities. Mediator-based information systems allow integrated access to such sources new merge operators, which formalize the integration of multiple source responses. A completeness

  17. Summary compilation of shell element performance versus formulation.

    SciTech Connect (OSTI)

    Heinstein, Martin Wilhelm; Hales, Jason Dean; Breivik, Nicole L.; Key, Samuel W.

    2011-07-01

    This document compares the finite element shell formulations in the Sierra Solid Mechanics code. These are finite elements either currently in the Sierra simulation codes Presto and Adagio, or expected to be added to them in time. The list of elements are divided into traditional two-dimensional, plane stress shell finite elements, and three-dimensional solid finite elements that contain either modifications or additional terms designed to represent the bending stiffness expected to be found in shell formulations. These particular finite elements are formulated for finite deformation and inelastic material response, and, as such, are not based on some of the elegant formulations that can be found in an elastic, infinitesimal finite element setting. Each shell element is subjected to a series of 12 verification and validation test problems. The underlying purpose of the tests here is to identify the quality of both the spatially discrete finite element gradient operator and the spatially discrete finite element divergence operator. If the derivation of the finite element is proper, the discrete divergence operator is the transpose of the discrete gradient operator. An overall summary is provided from which one can rank, at least in an average sense, how well the individual formulations can be expected to perform in applications encountered year in and year out. A letter grade has been assigned albeit sometimes subjectively for each shell element and each test problem result. The number of A's, B's, C's, et cetera assigned have been totaled, and a grade point average (GPA) has been computed, based on a 4.0-system. These grades, combined with a comparison between the test problems and the application problem, can be used to guide an analyst to select the element with the best shell formulation.

  18. A compilation of reports of the Advisory Committee on Reactor Safeguards, 1997 annual, U.S. Nuclear Regulatory Commission. Volume 19

    SciTech Connect (OSTI)

    NONE

    1998-04-01

    This compilation contains 67 ACRS reports submitted to the Commission, or to the Executive Director for Operations, during calendar year 1997. It also includes a report to the Congress on the NRC Safety Research Program. Specific topics include: (1) advanced reactor designs, (2) emergency core cooling systems, (3) fire protection, (4) generic letters and issues, (5) human factors, (6) instrumentation, control and protection systems, (7) materials engineering, (8) probabilistic risk assessment, (9) regulatory guides and procedures, rules, regulations, and (10) safety research, philosophy, technology and criteria.

  19. Magnetron sputtering source

    DOE Patents [OSTI]

    Makowiecki, Daniel M. (Livermore, WA); McKernan, Mark A. (Livermore, CA); Grabner, R. Fred (Brentwood, CA); Ramsey, Philip B. (Livermore, CA)

    1994-01-01

    A magnetron sputtering source for sputtering coating substrates includes a high thermal conductivity electrically insulating ceramic and magnetically attached sputter target which can eliminate vacuum sealing and direct fluid cooling of the cathode assembly. The magnetron sputtering source design results in greater compactness, improved operating characteristics, greater versatility, and low fabrication cost. The design easily retrofits most sputtering apparatuses and provides for safe, easy, and cost effective target replacement, installation, and removal.

  20. Magnetron sputtering source

    DOE Patents [OSTI]

    Makowiecki, D.M.; McKernan, M.A.; Grabner, R.F.; Ramsey, P.B.

    1994-08-02

    A magnetron sputtering source for sputtering coating substrates includes a high thermal conductivity electrically insulating ceramic and magnetically attached sputter target which can eliminate vacuum sealing and direct fluid cooling of the cathode assembly. The magnetron sputtering source design results in greater compactness, improved operating characteristics, greater versatility, and low fabrication cost. The design easily retrofits most sputtering apparatuses and provides for safe, easy, and cost effective target replacement, installation, and removal. 12 figs.

  1. A Compilation and Review of Alaska Energy Projects

    SciTech Connect (OSTI)

    Arlon Tussing; Steve Colt

    2008-12-31

    There have been many energy projects proposed in Alaska over the past several decades, from large scale hydro projects that have never been built to small scale village power projects to use local alternative energy sources, many of which have also not been built. This project was initially intended to review these rejected projects to evaluate the economic feasibility of these ideas in the light of current economics. This review included contacting the agencies responsible for reviewing and funding these projects in Alaska, including the Alaska Energy Authority, the Denali Commission, and the Arctic Energy Technology Development Laboratory, obtaining available information about these projects, and analyzing the economic data. Unfortunately, the most apparent result of this effort was that the data associated with these projects was not collected in a systematic way that allowed this information to be analyzed.

  2. MEASURED ENERGY PERFORMANCE OF ENERGY-EFFICIENT NEW COMMERCIAL BUILDINGS: RESULTS FROM THE BECA-CN DATA COMPILATION

    E-Print Network [OSTI]

    Piette, M.A.

    2010-01-01

    owners to share energy consumption data. In the future wecompare BECA-CN to energy consumption data for conventionalABSTRACT Measured energy consumption data have been compiled

  3. Licensee Event Report (LER) compilation for month of March 1988

    SciTech Connect (OSTI)

    1988-04-01

    This monthly report contains Licensee Event Report (LER) operational information that was processed into the LER data file of the Nuclear Safety Information Center (NSIC) during the one-month period identified on the cover of the document. The LERS, from which this information is derived, are submitted to the Nuclear Regulatory Commission (NRC) by nuclear power plant licensees in accordance with federal regulations. Procedures for LER reporting for revisions to those events occurring prior to 1984 are described in NRC Regulatory Guide 1.16 and NUREG-1061, Instructions for preparation of data entry sheets for licensee event reports. For those events occurring on and after January 1, 1984, LERs are being submitted in accordance with the revised rule contained in Title 10 Part 50.73 of the Code of Federal Regulations (10 CFR 50.73 - Licensee Event Report System) which was published in the Federal Register (Vol. 48, No. 144) on July 26, 1983. NUREG-1022, Licensee Event Report System - Description of systems and guidelines for reporting, provides supporting guidance and information on the revised LER rule.

  4. Dual source heat pump

    DOE Patents [OSTI]

    Ecker, Amir L. (Dallas, TX); Pietsch, Joseph A. (Dallas, TX)

    1982-01-01

    What is disclosed is a heat pump apparatus for conditioning a fluid characterized by a fluid handler and path for circulating the fluid in heat exchange relationship with a refrigerant fluid; at least two refrigerant heat exchangers, one for effecting heat exchange with the fluid and a second for effecting heat exchange between refrigerant and a heat exchange fluid and the ambient air; a compressor for efficiently compressing the refrigerant; at least one throttling valve for throttling liquid refrigerant; a refrigerant circuit; refrigerant; a source of heat exchange fluid; heat exchange fluid circulating device and heat exchange fluid circuit for circulating the heat exchange fluid in heat exchange relationship with the refrigerant; and valves or switches for selecting the heat exchangers and direction of flow of the refrigerant therethrough for selecting a particular mode of operation. The heat exchange fluid provides energy for defrosting the second heat exchanger when operating in the air source mode and also provides a alternate source of heat.

  5. Optical constants of ice from the ultraviolet to the microwave: A revised compilation

    E-Print Network [OSTI]

    Warren, Stephen

    only in the far infrared. Tables of the revised optical constants are available on a website. Citation not be significant. (The revised compilation is available as tables at http and Price [2001] reviewed experimental results from several publica- tions and concluded that the absorption

  6. Incremental Development of a High Integrity Compiler: experience from an industrial development

    E-Print Network [OSTI]

    Stepney, Susan

    @logica.com Abstract We have developed and successfully applied a tech- nique to build a high integrity compiler from code into object code. We have developed and successfully applied this tech- nique to build a high of our tech- nique of using Z specication and Prolog implemen- tation to implement a high integrity

  7. Compiler And Runtime Support For Predictive Control Of Power And Cooling

    E-Print Network [OSTI]

    Dietz, Henry G. "Hank"

    1 Compiler And Runtime Support For Predictive Control Of Power And Cooling Henry G. Dietz William R clusters make significant demands on the power and cooling infrastructure. Minimizing the impact achieving the best system performance by predicting and avoiding power and cooling problems. Although

  8. A Wireless Sensor-based Mobile Music Environment Compiled from a Graphical Language

    E-Print Network [OSTI]

    (using the ZigBee protocol and an accelerometer) and a compiler for PureData, a graphical music, for pointers on ZigBee John Anckorn, of Nokia, for his help adapting the N800 to my needs Mats Pettersson

  9. Mathematics The following is a list of resources compiled by UROP that relate to mathematics undergraduate

    E-Print Network [OSTI]

    Gaucher, Eric

    Mathematics The following is a list of resources compiled by UROP that relate to mathematics regarding mathematical research, these do give a variety of different perspectives in undergraduate research?url=http://search.ebscohost.com/login.aspx?direct=true& db=a9h&AN=28332682&site=ehost-live Brown, D., and Yurekli, O. "Undergraduate Research in Mathematics

  10. Test-Taking Strategies compiled by Sheila Kannappan, UNC Chapel Hill Physics & Astronomy

    E-Print Network [OSTI]

    Kannappan, Sheila

    Test-Taking Strategies compiled by Sheila Kannappan, UNC Chapel Hill Physics & Astronomy General* immediately before the test. 3. Know the rubric/grading style of your grader as well as the relative importance of the test. 4. Read all problems and go for the easiest ones first (based on ALL parts). 5. Watch

  11. The cce/8.3.0 C++ compiler may run into an linking error on Edison

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

    using cce8.3.0, the default Cray compiler, on Edison. zz217@edison02:testscodes> CC phello.C optcraycce8.3.0CCx86-64libx86-64libcray-c++-rts.a(rtti.o): In function...

  12. Compiler Transformations to Generate Reentrant C Programs to Assist Software Parallelization

    E-Print Network [OSTI]

    Smith, Adam

    2009-06-16

    -consuming, and error-prone. In this paper we describe a system to provide a semi-automated mechanism for users to still be able to use statics and globals in their programs, and to let the compiler automatically convert them into their semantically-equivalent reentrant...

  13. Compilation of Expenditures for the Hawai`i Gateway Energy Center

    E-Print Network [OSTI]

    `i Distributed Energy Resource Technologies for Energy Security Subtask 2.2 Deliverable #3 By Hawai`i Natural`i Distributed Energy Resource Technologies for Energy Security project, the Hawai`i Natural Energy InstituteCompilation of Expenditures for the Hawai`i Gateway Energy Center Prepared for the U.S. Department

  14. Regulatory and technical reports (abstract index journal): Annual compilation for 1997. Volume 22, Number 4

    SciTech Connect (OSTI)

    1998-04-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  15. A Compilation Framework for Power and Energy Management on Mobile Computers

    E-Print Network [OSTI]

    Kremer, Ulrich

    to prolong battery life. For a desk­top ``wall­powered'' sys­ tem, heat emission has become a severe design be expected to be at least one order of magnitude less than those of a ``wall­powered'' desk­top systemA Compilation Framework for Power and Energy Management on Mobile Computers Ulrich Kremer #3; Jamey

  16. IBM XL Fortran Enterprise Edition V10.1 for AIX Compiler Reference

    E-Print Network [OSTI]

    Hickman, Mark

    IBM XL Fortran Enterprise Edition V10.1 for AIX Compiler Reference SC09-8007-00 #12;#12;IBM XL. First Edition (October 2005) This edition applies to IBM® XL Fortran Enterprise Edition V10.1 for AIX editions. Make sure you are using the correct edition for the level of the product. IBM welcomes your

  17. CS 380C Compilers --Spring 2015 Programming Assignment #2 Local Optimizations Due February 13, 2015

    E-Print Network [OSTI]

    Lin, Calvin

    that this library supported arbitrary precision arithmetic, which is useful for things such as public key will be posted on the class discussion board on Piazza. 1 Inspect the Functions A compiler pass is the standard the meaning of the program, but for this assignment, you will implement a simple FunctionInfo pass to learn

  18. Domain-Specific Type Inference for Library Generation in a Telescoping Compiler

    E-Print Network [OSTI]

    Chauhan, Arun

    Domain-Specific Type Inference for Library Generation in a Telescoping Compiler Cheryl McCosh Rice variants specialized to the different possible types of input parameters to the library routines. We showed that, if this is done, the library procedures automatically generated from MATLAB proto- type code had

  19. A BASIC INTRODUCTION TO CONCERT SOUND ENGINEERING Compiled by Lou Gross -Jubilee Community Arts

    E-Print Network [OSTI]

    Gross, Louis J.

    A BASIC INTRODUCTION TO CONCERT SOUND ENGINEERING Compiled by Lou Gross - Jubilee Community Arts and includes details on the social aspects of being a good sound engineer along with a fairly quick overview.) Coverage: This Guide is my attempt at a summary to aid the training of volunteers in the basics of live

  20. The Raw Compiler Project A. Agarwal, S. Amarasinghe, R. Barua, M. Frank,

    E-Print Network [OSTI]

    ­time algorithms in their hardware to perform analyses and optimizations such as detection of instruction­level parallelism. However, these complex hardware implementations can only exploit a small fraction utilize the compiler by fully exposing the hardware and by delegating the hardware's control completely

  1. The Raw Compiler Project A. Agarwal, S. Amarasinghe, R. Barua, M. Frank,

    E-Print Network [OSTI]

    -time algorithms in their hardware to perform analyses and optimizations such as detection of instruction-level parallelism. However, these complex hardware implementations can only exploit a small fraction utilize the compiler by fully exposing the hardware and by delegating the hardware's control completely

  2. Compiler-directed Program-fault Coverage for Highly Available Java Internet Services

    E-Print Network [OSTI]

    Martin, Richard P.

    Haverford, PA 19041 Abstract: We present a new approach that uses compiler- directed fault-injection appli- cation code in two ways: to direct fault injection to occur at appropriate points during analyses to direct fault injection and measure the resulting coverage of recovery code. Our technique

  3. Functional Modeling Compiler for System-Level Design of Automotive Cyber-Physical Systems

    E-Print Network [OSTI]

    Al Faruque, Mohammad Abdullah

    Functional Modeling Compiler for System-Level Design of Automotive Cyber-Physical Systems Presented A typical Cyber-Physical System (CPS) such as the modern automotive includes not only the physical domains. An example of CPS: a modern automotive More than 70 ECUs More than 5 bus systems More than 10

  4. Compiling Statemate Statecharts into CSP and verifying them using FDR --abstract

    E-Print Network [OSTI]

    Roscoe, Bill

    Compiling Statemate Statecharts into CSP and verifying them using FDR -- abstract Bill Roscoe developed for tackling the state exploration problem in the CSP/FDR framework would work in the setting from Statecharts into CSP. I developed the translation as a program written in CSP (making heavy use

  5. Solving planninggraph by compiling it into CSP Minh Binh Do \\Lambda & Subbarao Kambhampati

    E-Print Network [OSTI]

    Kambhampati, Subbarao

    Solving planning­graph by compiling it into CSP Minh Binh Do \\Lambda & Subbarao Kambhampati to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP­CSP, a system that does planning by automati­ cally converting Graphplan's planning graph into a CSP encoding

  6. Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati

    E-Print Network [OSTI]

    Kambhampati, Subbarao

    Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati Department to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP-CSP, a system that does planning by automati- cally converting Graphplan's planning graph into a CSP encoding

  7. Green Wall Technologies Objective: Compile a comprehensive and up-to-date assessment of green wall

    E-Print Network [OSTI]

    Wolberg, George

    Green Wall Technologies Objective: Compile a comprehensive and up-to-date assessment of green wall technologies that can be used to jump-start design and engineering proposals for green walls in a variety of urban conditions. Background: Green walls--otherwise referred to as living walls or biowalls

  8. Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure

    E-Print Network [OSTI]

    Sumii, Eijiro

    Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure Progress Report Yutaka Oiwa1 proposed and implemented. To our knowledge, however, none of them support all the features of the ANSI C.) This paper describes a memory-safe implementation of the full ANSI C language. Our implementation detects

  9. `C and tcc: A Language and Compiler for Dynamic Code Generation

    E-Print Network [OSTI]

    ) language is a superset of ANSI C that supports efficient and high­level use of dynamic code generation. `C, Languages, Performance Additional Key Words and Phrases: ANSI C, compilers, dynamic code generation, dynamic, and other components of modern mobile code and other adaptive systems. `C is a superset of ANSI C

  10. `C and tcc: A Language and Compiler for Dynamic Code Generation

    E-Print Network [OSTI]

    Pratt, Vaughan

    and expressiveness superior to those of static code. The `C Tick C language is a superset of ANSI C that supports e Words and Phrases: compilers, dynamic code generation, dynamic code optimiza- tion, ANSI C Email: maxp is a superset of ANSI C that supports the high-level and e cient use of dynamic code generation. It extends ANSI

  11. 1ASU Environmental Health and Safety. Compiled by David Gillum. TITLE 42 --PUBLIC HEALTH

    E-Print Network [OSTI]

    1ASU Environmental Health and Safety. Compiled by David Gillum. TITLE 42 -- PUBLIC HEALTH CHAPTER I -- PUBLIC HEALTH SERVICE, DEPARTMENT OF HEALTH AND HUMAN SERVICES SUBCHAPTER F -- QUARANTINE, INSPECTION of this part: Administrator means the Administrator, Animal and Plant Health Inspection Service, or any person

  12. Phase 1 environmental report for the Advanced Neutron Source at Oak Ridge National Laboratory

    SciTech Connect (OSTI)

    Blasing, T.J.; Brown, R.A.; Cada, G.F.; Easterly, C.; Feldman, D.L.; Hagan, C.W.; Harrington, R.M.; Johnson, R.O.; Ketelle, R.H.; Kroodsma, R.L.; McCold, L.N.; Reich, W.J.; Scofield, P.A.; Socolof, M.L.; Taleyarkhan, R.P.; Van Dyke, J.W.

    1992-02-01

    The US Department of Energy (DOE) has proposed the construction and operation of the Advanced Neutron Source (ANS), a 330-MW(f) reactor, at Oak Ridge National Laboratory (ORNL) to support neutron scattering and nuclear physics experiments. ANS would provide a steady-state source of neutrons that are thermalized to produce sources of hot, cold, and very coal neutrons. The use of these neutrons in ANS experiment facilities would be an essential component of national research efforts in basic materials science. Additionally, ANS capabilities would include production of transplutonium isotopes, irradiation of potential fusion and fission reactor materials, activation analysis, and production of medical and industrial isotopes such as {sup 252}Cf. Although ANS would not require licensing by the US Nuclear Regulatory Commission (NRC), DOE regards the design, construction, and operation of ANS as activities that would produce a licensable facility; that is, DOE is following the regulatory guidelines that NRC would apply if NRC were licensing the facility. Those guidelines include instructions for the preparation of an environmental report (ER), a compilation of available data and preliminary analyses regarding the environmental impacts of nuclear facility construction and operation. The ER, described and outlined in NRC Regulatory Guide 4.2, serves as a background document to facilitate the preparation of environmental impact statements (EISs). Using Regulatory Guide 4.2 as a model, this ANS ER provides analyses and information specific to the ANS site and area that can be adopted (and modified, if necessary) for the ANS EIS. The ER is being prepared in two phases. Phase 1 ER includes many of the data and analyses needed to prepare the EIS but does not include data or analyses of alternate sites or alternate technologies. Phase 2 ER will include the additional data and analyses stipulated by Regulatory Guide 4.2.

  13. Air Permitting for Stationary Sources (New Hampshire)

    Broader source: Energy.gov [DOE]

    The permitting system implements the permitting requirements of RSA 125-C and 125-I to regulate the operation and modification of new and existing stationary sources, area sources, and devices to...

  14. LaTTe: A Java VM JustinTime Compiler with Fast and Efficient Register Allocation \\Lambda

    E-Print Network [OSTI]

    Kim, Taejeong

    LaTTe: A Java VM Just­in­Time Compiler with Fast and Efficient Register Allocation \\Lambda Byung­Sun model, a lightweight mon­ itor, a fast mark­and­sweep garbage collector, and an on­demand exception that the current LaTTe JVMs achieve performance better than or comparable to the latest SUN JIT compilers (JDK 1

  15. HARTES TOOLCHAIN EARLY EVALUATION: PROFILING, COMPILATION AND HDL Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte, Georgi Gaydadjiev,

    E-Print Network [OSTI]

    Bertels, Koen

    HARTES TOOLCHAIN EARLY EVALUATION: PROFILING, COMPILATION AND HDL GENERATION Koen Bertels, Georgi.D.Yankova, V.M.Sima, K.Sigdel, R.J.Meeuws, S.Vassiliadis}@tudelft.nl ABSTRACT The aim of the hArtes project. In this paper, we evaluate three tools from the hArtes toolchain supporting profiling, compilation, and HDL

  16. Profiling, Compilation, and HDL Generation within the hArtes Project Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte, Georgi Gaydadjiev,

    E-Print Network [OSTI]

    Bertels, Koen

    Profiling, Compilation, and HDL Generation within the hArtes Project Koen Bertels, Georgi Kuzmanov.D.Yankova, V.M.Sima, K.Sigdel, R.J.Meeuws, S.Vassiliadis}@tudelft.nl Abstract The hArtes project addresses three tools from the hArtes toolchain, namely profiling, compilation, and HDL gen- eration tools

  17. Network of Excellence on High Performance Embedded Architectures and Compilers Reprinted with permission from Springer-Verlag

    E-Print Network [OSTI]

    Luk, Wayne

    Network of Excellence on High Performance Embedded Architectures and Compilers roadmap Reprinted Architecture and Compilation Roadmap" Transactions on HiPEAC I, Lecture Notes in Computer Science 4050, pp 5-29, Springer-Verlag, 2007. http://www.HiPEAC.net/roadmap #12;Message from the HiPEAC coordinator Dear

  18. Ion source

    DOE Patents [OSTI]

    Leung, Ka-Ngo (Hercules, CA); Ehlers, Kenneth W. (Alamo, CA)

    1984-01-01

    A magnetic filter for an ion source reduces the production of undesired ion species and improves the ion beam quality. High-energy ionizing electrons are confined by the magnetic filter to an ion source region, where the high-energy electrons ionize gas molecules. One embodiment of the magnetic filter uses permanent magnets oriented to establish a magnetic field transverse to the direction of travel of ions from the ion source region to the ion extraction region. In another embodiment, low energy 16 eV electrons are injected into the ion source to dissociate gas molecules and undesired ion species into desired ion species.

  19. Wastewater Construction and Operation Permits (Iowa)

    Broader source: Energy.gov [DOE]

    These regulations describe permit requirements for the construction and operation of facilities treating wastewater, and provide separation distances from other water sources.

  20. operations center

    National Nuclear Security Administration (NNSA)

    servers and other critical Operations Center equipment

  21. Independent air supply system filtered to protect against biological and radiological agents (99.7%).
  22. <...

  1. Compilation and Presentation of Existing Data on Oil and Gas Leasing Development in a Manner Useful to the NEPA Process

    SciTech Connect (OSTI)

    Amy Childers; Dave Cornue

    2008-11-30

    In recognition of our nation's increasing energy needs, the George W. Bush Administration's National Energy Policy Development Group report (May 2001) suggested that one way to increase domestic on-shore production of oil and gas is to increase access to undiscovered resources on federal lands. Also recognized is the need to protect and conserve natural resources, which often are located on and around federal lands. The National Environmental Policy Act (NEPA) was designed to create and maintain conditions under which man and nature can exist in productive harmony. NEPA requires that federal agencies prepare an environmental impact statement (EIS) prior to the approval of any development activities. The NEPA scope is broad, with the process applicable to many situations from the building of highways, barge facilities and water outtake facilities, bridges, and watersheds to other less significant projects. The process often involves cooperation among multiple federal agencies, industry, scientists and consultants, and the surrounding community. The objective of the project, titled Compilation and Presentation of Existing Data on Oil and Gas Leasing and Development in a Manner Useful to the NEPA Process, is to facilitate faster and more comprehensive access to current oil and gas data by land management agencies and operators. This will enable key stakeholders in the NEPA process to make decisions that support access to federal resources while at the same time achieving a legitimate balance between environmental protection and appropriate levels of development.

  2. Intense Pulsed Neutron Source progress report for 1991

    SciTech Connect (OSTI)

    Schriesheim, Alan

    1991-01-01

    The IPNS Progress Report 10th Anniversary Edition is being published in recognition of the first ten years of successful IPNS operation. To emphasize the significance of this milestone, we wanted this report to stand apart from the previous IPNS Progress Reports, and the best way to do this, we thought, was to make the design and organization of the report significantly different. In their articles, authors were asked to emphasize not only advances made since IPNS began operating but also the groundwork that was laid at its predecessor facilities - Argonne's ZING-P and ZING-P' prototype pulsed neutron sources and CP-5 reactor. Each article stands as a separate chapter in the report, since each represents a particular instrument or class of instruments, system, technique, or area of research. In some cases, contributions were similar to review articles in scientific journals, complete with extensive lists of references. Ten-year cumulative lists of members of IPNS committees and of scientists who have visited or done experiments at IPNS were assembled. A list of published and in press'' articles in journals, books, and conference proceedings, resulting from work done at IPNS during the past ten years, was compiled. And archival photographs of people and activities during the ten-year history of IPNS were located and were used liberally throughout the report. The titles of the chapters in this report are: accelerator; computer; radiation effects; powder; stress; single crystal; superconductivity; amorphous; small angle; reflection; quasielastic; inelastic; inelastic magnetic; deep inelastic; user program; the future; and publications.

  3. Intense Pulsed Neutron Source progress report for 1991

    SciTech Connect (OSTI)

    Not Available

    1991-12-31

    The IPNS Progress Report 10th Anniversary Edition is being published in recognition of the first ten years of successful IPNS operation. To emphasize the significance of this milestone, we wanted this report to stand apart from the previous IPNS Progress Reports, and the best way to do this, we thought, was to make the design and organization of the report significantly different. In their articles, authors were asked to emphasize not only advances made since IPNS began operating but also the groundwork that was laid at its predecessor facilities - Argonne`s ZING-P and ZING-P` prototype pulsed neutron sources and CP-5 reactor. Each article stands as a separate chapter in the report, since each represents a particular instrument or class of instruments, system, technique, or area of research. In some cases, contributions were similar to review articles in scientific journals, complete with extensive lists of references. Ten-year cumulative lists of members of IPNS committees and of scientists who have visited or done experiments at IPNS were assembled. A list of published and ``in press`` articles in journals, books, and conference proceedings, resulting from work done at IPNS during the past ten years, was compiled. And archival photographs of people and activities during the ten-year history of IPNS were located and were used liberally throughout the report. The titles of the chapters in this report are: accelerator; computer; radiation effects; powder; stress; single crystal; superconductivity; amorphous; small angle; reflection; quasielastic; inelastic; inelastic magnetic; deep inelastic; user program; the future; and publications.

  4. $\\Lambda$-CDM type Heckmann - Suchuking model and union 2.1 compilation

    E-Print Network [OSTI]

    Goswami, G K; Yadav, A K

    2015-01-01

    In this paper, we have investigated $\\Lambda$CDM-type cosmological model in Heckmann-Schucking space-time, by using 287 high red shift ($ .3 \\leq z \\leq 1.4$) SN Ia supernova data's of observed absolute magnitude along with their possible error from Union 2.1 compilation. For this $\\chi^{2}$ formula's due to R. Amanullah were used to compare Union 2.1 compilation observed data's and corresponding theoretical values of apparent magnitude for various $\\Omega_m$ ranging from 0 to 1. It is found that the best fit value for $(\\Omega_{m})_0$, $(\\Omega_{\\Lambda})_0$ and $(\\Omega_{\\sigma})_0$ are .2800, .7177 and .0023 respectively at present which are in good agreement with recent astrophysical observations.

  5. 1989 OCRWM [Office of Civilian Radioactive Waste Management] Bulletin compilation and index

    SciTech Connect (OSTI)

    1990-02-01

    The OCRWM Bulletin is published by the Department of Energy, Office of Civilian Radioactive Waste Management to provide current information about the national program for managing spent fuel and high-level radioactive waste. This document is a compilation of issues from the 1989 calendar year. A table of contents and one index have been provided to assist in finding information contained in this year`s Bulletins. The pages have been numbered consecutively at the bottom for easy reference. 7 figs.

  6. Actes JFPC 2012 Compilation de CSP en Set-labeled Diagram

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Actes JFPC 2012 Compilation de CSP en Set-labeled Diagram Alexandre Niveau H´el`ene Fargier C parfois ^etre ex´ecut´ees en ligne et en temps limit´e. Dans ce cas, la r´esolution du CSP n'est pas assez´e- sente l'assignation d'une variable ; l'ensemble des solu- tions d'un CSP correspond `a l'ensemble des

  7. October 2, 2007 8:41 WSPC -Proceedings Trim Size: 9in x 6in main A formal framework for compositional compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    for compositional compilation (extended abstract) Davide Ancona and Elena Zucca DISI, Universit`a di Genova, Italy E-mail: davide@disi.unige.it www.disi.unige.it We define a general framework for compositional compilation, meant as the ability of building an executable application by separate compilation and link- ing of single fragments

  8. Compiling the dynamical core on NCARs bluefire This is possible due to the work of Seok-Woo Son. Ive following what he did to get the

    E-Print Network [OSTI]

    Gerber, Edwin

    Compiling the dynamical core on NCARs bluefire This is possible due to the work of Seok-Woo Son. (An exception may be the udunits-1.12.4 directories, which you will need to copy as well to compile, and then switch the reference in your mkmf.template.ibm to where you put the files. 3) To get it to compile you

  9. Compiler Comparisons

    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 Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentApril

  10. Operating Costs

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

    1997-03-28

    This chapter is focused on capital costs for conventional construction and environmental restoration and waste management projects and examines operating cost estimates to verify that all elements of the project have been considered and properly estimated.

  11. Chapter 10: FTU Operation

    SciTech Connect (OSTI)

    Angelini, B.M.; Apicella, M.L.; Buceti, G.; Centioli, C.; Crisanti, F.; Iannone, F.; Mazza, G.; Mazzitelli, G.; Panella, M.; Vitale, V.

    2004-05-15

    Some specific points of the Frascati Tokamak Upgrade (FTU) operation are presented for plasma performance as well as for the machine availability and the development of new tools needed to operate in a complex scenario needed for tokamak research. The different techniques adopted for wall conditioning of the FTU are reviewed. Plasmas with low Z{sub eff} have been achieved including those at low density and high additional heating power. The obtained experimental results are discussed in terms of better operation and plasma performance achieved. As with any other large - and thus long-lasting - experiments, a mixture of old and new technological solutions inserted in an open source framework characterizes the FTU data control and acquisition systems. We give some information on the original architecture and try to detail its current state. The high level of reliability presently achieved is discussed.

  12. Operating Strategies

    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 mapSpeeding access toOctober 1996Technologies /JuneOperating Oak Ridge'sOPERATING

  13. Compiling with -ipo produces "unresolved" warning messages at link time on

    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 like submit the following commentsMethods for Estimating:I Overview of How to Compile

  14. Operational health physics training

    SciTech Connect (OSTI)

    1992-06-01

    The initial four sections treat basic information concerning atomic structure and other useful physical quantities, natural radioactivity, the properties of {alpha}, {beta}, {gamma}, x rays and neutrons, and the concepts and units of radiation dosimetry (including SI units). Section 5 deals with biological effects and the risks associated with radiation exposure. Background radiation and man-made sources are discussed next. The basic recommendations of the ICRP concerning dose limitations: justification, optimization (ALARA concepts and applications) and dose limits are covered in Section seven. Section eight is an expanded version of shielding, and the internal dosimetry discussion has been extensively revised to reflect the concepts contained in the MIRD methodology and ICRP 30. The remaining sections discuss the operational health physics approach to monitoring radiation. Individual sections include radiation detection principles, instrument operation and counting statistics, health physics instruments and personnel monitoring devices. The last five sections deal with the nature of, operation principles of, health physics aspects of, and monitoring approaches to air sampling, reactors, nuclear safety, gloveboxes and hot cells, accelerators and x ray sources. Decontamination, waste disposal and transportation of radionuclides are added topics. Several appendices containing constants, symbols, selected mathematical topics, and the Chart of the Nuclides, and an index have been included.

  15. Operation Poorman

    SciTech Connect (OSTI)

    Pruvost, N.; Tsitouras, J.

    1981-03-18

    The objectives of Operation Poorman were to design and build a portable seismic system and to set up and use this system in a cold-weather environment. The equipment design uses current technology to achieve a low-power, lightweight system that is configured into three modules. The system was deployed in Alaska during wintertime, and the results provide a basis for specifying a mission-ready seismic verification system.

  16. An Optimizing Compiler for Petascale I/O on Leadership-Class Architectures

    SciTech Connect (OSTI)

    Kandemir, Mahmut Taylan [PSU; Choudary, Alok [Northwestern; Thakur, Rajeev [ANL

    2014-03-01

    In high-performance computing (HPC), parallel I/O architectures usually have very complex hierarchies with multiple layers that collectively constitute an I/O stack, including high-level I/O libraries such as PnetCDF and HDF5, I/O middleware such as MPI-IO, and parallel file systems such as PVFS and Lustre. Our DOE project explored automated instrumentation and compiler support for I/O intensive applications. Our project made significant progress towards understanding the complex I/O hierarchies of high-performance storage systems (including storage caches, HDDs, and SSDs), and designing and implementing state-of-the-art compiler/runtime system technology that targets I/O intensive HPC applications that target leadership class machine. This final report summarizes the major achievements of the project and also points out promising future directions Two new sections in this report compared to the previous report are IOGenie and SSD/NVM-specific optimizations.

  17. Multiple source heat pump

    DOE Patents [OSTI]

    Ecker, Amir L. (Duncanville, TX)

    1983-01-01

    A heat pump apparatus for conditioning a fluid characterized by a fluid handler and path for circulating a fluid in heat exchange relationship with a refrigerant fluid, at least three refrigerant heat exchangers, one for effecting heat exchange with the fluid, a second for effecting heat exchange with a heat exchange fluid, and a third for effecting heat exchange with ambient air; a compressor for compressing the refrigerant; at least one throttling valve connected at the inlet side of a heat exchanger in which liquid refrigerant is vaporized; a refrigerant circuit; refrigerant; a source of heat exchange fluid; heat exchange fluid circuit and pump for circulating the heat exchange fluid in heat exchange relationship with the refrigerant; and valves or switches for selecting the heat exchangers and directional flow of refrigerant therethrough for selecting a particular mode of operation. Also disclosed are a variety of embodiments, modes of operation, and schematics therefor.

  18. Liquid metal ion source and alloy

    SciTech Connect (OSTI)

    Clark, Jr., William M. (Thousand Oaks, CA); Utlaut, Mark W. (Saugus, CA); Behrens, Robert G. (Los Alamos, NM); Szklarz, Eugene G. (Los Alamos, NM); Storms, Edmund K. (Los Alamos, NM); Santandrea, Robert P. (Santa Fe, NM); Swanson, Lynwood W. (McMinnville, OR)

    1988-10-04

    A liquid metal ion source and alloy, wherein the species to be emitted from the ion source is contained in a congruently vaporizing alloy. In one embodiment, the liquid metal ion source acts as a source of arsenic, and in a source alloy the arsenic is combined with palladium, preferably in a liquid alloy having a range of compositions from about 24 to about 33 atomic percent arsenic. Such an alloy may be readily prepared by a combustion synthesis technique. Liquid metal ion sources thus prepared produce arsenic ions for implantation, have long lifetimes, and are highly stable in operation.

  19. Operations Information

    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 mapSpeeding access toOctober 1996Technologies /JuneOperating Oakoak ridge

  20. Operations Office

    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 mapSpeeding access toOctober 1996Technologies /JuneOperating Oakoak

  1. National Synchrotron Light Source II

    ScienceCinema (OSTI)

    Steve Dierker

    2010-01-08

    The National Synchrotron Light Source II (NSLS-II) at the U.S. Department of Energy's Brookhaven National Laboratory is a proposed new state-of-the-art medium energy storage ring designed to deliver world-leading brightness and flux with top-off operation

  2. Source team evaluation for radioactive low-level waste disposal performance assessment

    SciTech Connect (OSTI)

    Cowgill, M.G.; Sullivan, T.M.

    1993-01-01

    Information compiled on the low-level radioactive waste disposed at the three currently operating commercial disposal sites during the period 1987--1989 have been reviewed and processed in order to determine the total activity distribution in terms of waste stream, waste classification and waste form. The review identified deficiencies in the information currently being recorded on shipping manifests and the development of a uniform manifest is recommended (the NRC is currently developing a rule to establish a uniform manifest). The data from waste disposed during 1989 at one of the sites (Richland, WA) were more detailed than the data available during other years and at other sites, and thus were amenable to a more in-depth treatment. This included determination of the distribution of activity for each radionuclide by waste form, and thus enabled these data to be evaluated in terms of the specific needs for improved modeling of releases from waste packages. From the results, preliminary lists have been prepared of the isotopes which might be the most significant from the aspect of the development of a source term model.

  3. Depleted uranium hexafluoride management program : data compilation for the Portsmouth site.

    SciTech Connect (OSTI)

    Hartmann, H. M.

    2001-06-05

    This report is a compilation of data and analyses for the Portsmouth site, near Portsmouth, Ohio. The data were collected and the analyses were done in support of the U.S. Department of Energy (DOE) 1999 Programmatic Environmental Impact Statement for Alternative Strategies for the Long-Term Management and Use of Depleted Uranium Hexafluoride (DOE/EIS-0269). The report describes the affected environment at the Portsmouth site and summarizes potential environmental impacts that could result from conducting the following depleted uranium hexafluoride (UF{sub 6}) management activities at the site: continued cylinder storage, preparation of cylinders for shipment, conversion, and long-term storage. DOE's preferred alternative is to begin converting the depleted UF{sub 6} inventory as soon as possible to either uranium oxide, uranium metal, or a combination of both, while allowing for use of as much of this inventory as possible.

  4. Depleted uranium hexafluoride management program : data compilation for the Paducah site.

    SciTech Connect (OSTI)

    Hartmann, H.

    2001-06-07

    This report is a compilation of data and analyses for the Paducah site, near Paducah, Kentucky. The data were collected and the analyses were done in support of the U.S. Department of Energy (DOE) 1999 Programmatic Environmental Impact Statement for Alternative Strategies for the Long-Term Management and Use of Depleted Uranium Hexafluoride (DOE/EIS-0269). The report describes the affected environment at the Paducah site and summarizes potential environmental impacts that could result from conducting the following depleted uranium hexafluoride (UF{sub 6}) activities at the site: continued cylinder storage, preparation of cylinders for shipment, conversion, and long-term storage. DOE's preferred alternative is to begin converting the depleted UF{sub 6} inventory as soon as possible to either uranium oxide, uranium metal, or a combination of both, while allowing for use of as much of this inventory as possible.

  5. Quality Assurance Project Plan for radioactive airborne emissions data compilation and reporting

    SciTech Connect (OSTI)

    Burris, S.A.; Thomas, S.P.

    1994-02-01

    This Quality Assurance Project Plan addresses the quality assurance requirements for compiling data from radioactie aiborne emissions. These data will be reported to the US Environmental Protection Agency, the US Department of Energy, and the Washington State Department of Health. Hanford Site radioactive airborne emissions are reported to the US Environmental Protection Agency in compliance with Title 40, Protection of the Environment, Code of Federal Regulations, Part 61, ``National Emissions Standards for Hazardous Air Pollutants , ``Subpart H, ``National Emissions Standards for Emissions of Radionuclides Other Than Radon From Department of Energy Facilities`` (EPA 1989a). Reporting to US Department of Energy is performed in compliance with requirements of US Department of Energy Order 5400.1, General Environmental Protection Program (DOE 1988a).

  6. Radiation source

    DOE Patents [OSTI]

    Thode, Lester E. (Los Alamos, NM)

    1981-01-01

    A device and method for relativistic electron beam heating of a high-density plasma in a small localized region. A relativistic electron beam generator or accelerator produces a high-voltage electron beam which propagates along a vacuum drift tube and is modulated to initiate electron bunching within the beam. The beam is then directed through a low-density gas chamber which provides isolation between the vacuum modulator and the relativistic electron beam target. The relativistic beam is then applied to a high-density target plasma which typically comprises DT, DD, or similar thermonuclear gas at a density of 10.sup.17 to 10.sup.20 electrons per cubic centimeter. The target gas is ionized prior to application of the relativistic electron beam by means of a laser or other preionization source to form a plasma. Utilizing a relativistic electron beam with an individual particle energy exceeding 3 MeV, classical scattering by relativistic electrons passing through isolation foils is negligible. As a result, relativistic streaming instabilities are initiated within the high-density target plasma causing the relativistic electron beam to efficiently deposit its energy into a small localized region of the high-density plasma target.

  7. Designing subwavelength-structured light sources

    E-Print Network [OSTI]

    Chua, Song Liang

    2013-01-01

    The laser has long been established as the best possible optical source for fundamental studies and applications requiring high field intensity, single mode operation, a high degree of coherence, a narrow linewidth and ...

  8. Operation & Maintenance for Quality Indoor Air 

    E-Print Network [OSTI]

    Downing, C.; Bayer, C. W.

    1990-01-01

    The results of numerous Indoor Air Quality (IAQ) building investigations conducted by the Georgia Tech Research Institute have shown that building Operation and Maintenance (O&M) is a very common source of IAQ problems. This paper presents...

  9. Seismic sources

    DOE Patents [OSTI]

    Green, Michael A. (Oakland, CA); Cook, Neville G. W. (Lafayette, CA); McEvilly, Thomas V. (Berkeley, CA); Majer, Ernest L. (El Cirrito, CA); Witherspoon, Paul A. (Berkeley, CA)

    1992-01-01

    Apparatus is described for placement in a borehole in the earth, which enables the generation of closely controlled seismic waves from the borehole. Pure torsional shear waves are generated by an apparatus which includes a stator element fixed to the borehole walls and a rotor element which is electrically driven to rapidly oscillate on the stator element to cause reaction forces transmitted through the borehole walls to the surrounding earth. Logitudinal shear waves are generated by an armature that is driven to rapidly oscillate along the axis of the borehole relative to a stator that is clamped to the borehole, to cause reaction forces transmitted to the surrounding earth. Pressure waves are generated by electrically driving pistons that press against opposite ends of a hydraulic reservoir that fills the borehole. High power is generated by energizing the elements at a power level that causes heating to over 150.degree. C. within one minute of operation, but energizing the elements for no more than about one minute.

  10. Development of a criteria based strategic sourcing model

    E-Print Network [OSTI]

    Quińonez, Carlo G. (Carlo Gabriel)

    2013-01-01

    Strategic sourcing is a key factor in enhancing Nike's competitiveness and organizational and operational performances. As Nike faces increasing pressure to expand margins and reduce source base risk during a climate of ...

  11. Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems 

    E-Print Network [OSTI]

    Kahn, Saif U

    semantic definitions to abstract machines. Such transformations require correctness theorems that quantify over the class of operational semantics. In implementation terms this indicates the need to ensure both the class of operational semantics...

  12. Contaminant Sources are Known

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

    Sources are Known Historical contaminant sources from liquid discharges and solid waste management units are known. August 1, 2013 Contaminant source map LANL contaminant...

  13. IMPROVED METHODS FOR MAPPING PERMEABILITY AND HEAT SOURCES IN...

    Open Energy Info (EERE)

    a rich source of information about physical processes associated with Enhanced Geothermal Systems (EGS) experiments and other geothermal operations. With support from the...

  14. DOE Orders Mirant Power Plant to Operate Under Limited Circumstances...

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

    electricity from other generating sources. If the Mirant plant is not operational, an outage of the high voltage transmission lines could cause a blackout in the central District...

  15. Draft Environmental Impact Statement for Construction and Operation...

    Office of Environmental Management (EM)

    Operating Permit Program under an application shield granted by the TDEC Division of Air Pollution Control. All remaining active air emission sources are exempt from...

  16. Compiler Transformations for High-Performance Computing DAVID F. BACON, SUSAN L. GRAHAM, AND OLIVER J. SHARP

    E-Print Network [OSTI]

    Compiler Transformations for High-Performance Computing DAVID F. BACON, SUSAN L. GRAHAM, AND OLIVER, by NSF grant CDA-8722788, and by an IBM Resident Study Program Fellowship to David Bacon, Permission-0300/94/1200-0345 $03.50 ACM Computing Surveys, Vol. 26, No. 4, December 1994 #12;346 * David F. Bacon et al. CONTENTS

  17. Regulatory and technical reports (abstract index journal): Compilation for first quarter 1996, January--March. Volume 21, Number 1

    SciTech Connect (OSTI)

    1996-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  18. Information and Advisory Services Compiled 4.12.2013 23:28:58 by Document Globe 1

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Information and Advisory Services Compiled 4.12.2013 23:28:58 by Document Globe ® 1 Charles University offers a wide range of information and advisory services, including library services and access Information and Advisory Centre and the University's card service centres (for student and staff identity

  19. Regulatory and technical reports: Abstract index journal. Volume 20, No. 3, Compilation for third quarter 1995, July--September

    SciTech Connect (OSTI)

    1996-01-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  20. Regulatory and technical reports (abstract index journal), Compilation for third quarter 1993, July--September. Volume 18, No. 3

    SciTech Connect (OSTI)

    Not Available

    1993-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  1. Regulatory and technical reports (abstract index journal): Compilation for second quarter 1997 April--June. Volume 22, Number 2

    SciTech Connect (OSTI)

    1997-10-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  2. 664 New Phytologist (2009) 182: 664674 The Authors (2009) 664 www.newphytologist.org Journal compilation New Phytologist (2009)

    E-Print Network [OSTI]

    Adler, Fred

    2009-01-01

    - vessel pits, plant water transport, xylem. Introduction Xylem sap is typically under pressures well below.newphytologist.org Journal compilation © New Phytologist (2009) Blackwell Publishing Ltd Testing the `rare pit' hypothesis · Eudicot angiosperms with greater vulnerability to xylem cavitation tend to have vessels with greater total

  3. Appears in the International Conference on Dependable Systems and Networks, 2003 1 Compiler-directed Program-fault Coverage

    E-Print Network [OSTI]

    : We present a new approach that uses compiler- directed fault-injection for coverage testing code in two ways: to direct fault injection to occur at appropriate points during execution analyses to direct fault injection and measure the resulting coverage of recovery code. Our technique

  4. Journal of Ecology 2008, 96, 903913 doi: 10.1111/j.1365-2745.2008.01419.x 2008 The Authors. Journal compilation 2008 British Ecological Society

    E-Print Network [OSTI]

    Potvin, Catherine

    Journal of Ecology 2008, 96, 903­913 doi: 10.1111/j.1365-2745.2008.01419.x © 2008 The Authors. Journal compilation © 2008 British Ecological Society Blackwell Publishing Ltd Partitioning the effects.potvin@mcgill.ca #12;904 C. Healy, N. J. Gotelli & C. Potvin © 2008 The Authors. Journal compilation © 2008 British

  5. A VIRTUAL OPERATING SYSTEM

    E-Print Network [OSTI]

    Hall, Dennis E.

    2013-01-01

    Unix time-sharing operating system. D. Hall, D. Scherrer, J.Prentice~Hall, Hansen, "Operating System Principles", Inc. ,of California. A Virtual Operating System Dennis E. Hall

  6. Infrared source test

    SciTech Connect (OSTI)

    Ott, L.

    1994-11-15

    The purpose of the Infrared Source Test (IRST) is to demonstrate the ability to track a ground target with an infrared sensor from an airplane. The system is being developed within the Advance Technology Program`s Theater Missile Defense/Unmanned Aerial Vehicle (UAV) section. The IRST payload consists of an Amber Radiance 1 infrared camera system, a computer, a gimbaled mirror, and a hard disk. The processor is a custom R3000 CPU board made by Risq Modular Systems, Inc. for LLNL. The board has ethernet, SCSI, parallel I/O, and serial ports, a DMA channel, a video (frame buffer) interface, and eight MBytes of main memory. The real-time operating system VxWorks has been ported to the processor. The application code is written in C on a host SUN 4 UNIX workstation. The IRST is the result of a combined effort by physicists, electrical and mechanical engineers, and computer scientists.

  7. Neutrino Sources and Properties

    E-Print Network [OSTI]

    Francesco Vissani

    2015-05-19

    In this lecture, prepared for PhD students, basic considerations on neutrino interactions, properties and sites of production are overviewed. The detailed content is as follows: Sect. 1, Weak interactions and neutrinos: Fermi coupling; definition of neutrinos; global numbers. Sect. 2, A list of neutrino sources: Explanatory note and examples (solar pp- and supernova-neutrinos). Sect. 3, Neutrinos oscillations: Basic formalism (Pontecorvo); matter effect (Mikheev, Smirnov, Wolfenstein); status of neutrino masses and mixings. Sect. 4, Modifying the standard model to include neutrinos masses: The fermions of the standard model; one additional operator in the standard model (Weinberg); implications. One summary table and several exercises offer the students occasions to check, consolidate and extend their understanding; the brief reference list includes historical and review papers and some entry points to active research in neutrino physics.

  8. Low temperature ion source for calutrons

    DOE Patents [OSTI]

    Veach, Allen M. (Oak Ridge, TN); Bell, Jr., William A. (Oak Ridge, TN); Howell, Jr., George D. (Clinton, TN)

    1981-01-01

    A new ion source assembly for calutrons has been provided for the efficient separation of elements having high vapor pressures. The strategic location of cooling pads and improved insulation permits operation of the source at lower temperatures. A vapor valve constructed of graphite and located in a constantly increasing temperature gradient provides reliable control of the vapor flow from the charge bottle to the arc chamber. A pronounced saving in calutron operating time and equipment maintenance has been achieved with the use of the present ion source.

  9. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

    Formal Specification of Operating System Operations Dan Zhou Department of Computer Science.black@nist.gov This paper describes the development of a formal specification for a secure operating system architecture operations. We also provide a uniform environment for system commands that change the security state

  10. NIR spectroscopy of the Sun and HD20010 - Compiling a new linelist in the NIR

    E-Print Network [OSTI]

    Andreasen, D T; Mena, E Delgado; Santos, N C; Tsantaki, M; Rojas-Ayala, B; Neves, V

    2015-01-01

    Context: Effective temperature, surface gravity, and metallicity are basic spectroscopic stellar parameters necessary to characterize a star or a planetary system. Reliable atmospheric parameters for FGK stars have been obtained mostly from methods that relay on high resolution and high signal-to-noise optical spectroscopy. The advent of a new generation of high resolution near-IR spectrographs opens the possibility of using classic spectroscopic methods with high resolution and high signal-to-noise in the NIR spectral window. Aims: We aim to compile a new iron line list in the NIR from a solar spectrum to derive precise stellar atmospheric parameters, comparable to the ones already obtained from high resolution optical spectra. The spectral range covers 10 000 {\\AA} to 25 000 {\\AA}, which is equivalent to the Y, J, H, and K bands. Methods: Our spectroscopic analysis is based on the iron excitation and ionization balance done in LTE. We use a high resolution and high signal-to-noise ratio spectrum of the Sun ...

  11. Human retroviruses and AIDS 1996. A compilation and analysis of nucleic acid and amino acid sequences

    SciTech Connect (OSTI)

    Myers, G.; Foley, B.; Korber, B.; Mellors, J.W.; Jeang, K.T.; Wain-Hobson, S.

    1997-04-01

    This compendium and the accompanying floppy diskettes are the result of an effort to compile and rapidly publish all relevant molecular data concerning the human immunodeficiency viruses (HIV) and related retroviruses. The scope of the compendium and database is best summarized by the five parts that it comprises: (1) Nuclear Acid Alignments and Sequences; (2) Amino Acid Alignments; (3) Analysis; (4) Related Sequences; and (5) Database Communications. Information within all the parts is updated throughout the year on the Web site, http://hiv-web.lanl.gov. While this publication could take the form of a review or sequence monograph, it is not so conceived. Instead, the literature from which the database is derived has simply been summarized and some elementary computational analyses have been performed upon the data. Interpretation and commentary have been avoided insofar as possible so that the reader can form his or her own judgments concerning the complex information. In addition to the general descriptions of the parts of the compendium, the user should read the individual introductions for each part.

  12. Depleted uranium hexafluoride management program : data compilation for the K-25 site.

    SciTech Connect (OSTI)

    Hartmann, H. M.

    2001-06-05

    This report is a compilation of data and analyses for the K-25 site on the Oak Ridge Reservation, Oak Ridge, Tennessee. The data were collected and the analyses were done in support of the U.S. Department of Energy (DOE) 1999 Programmatic Environmental Impact Statement for Alternative Strategies for the Long-Term Management and Use of Depleted Uranium Hexafluoride (DOE/EIS-0269). The report describes the affected environment at the K-25 site and summarizes the potential environmental impacts that could result from continued cylinder storage and preparation of cylinders for shipment at the site. It is probable that the cylinders at the K-25 site will be shipped to another site for conversion. Because conversion and long-term storage of the entire inventory at the K-25 site are highly unlikely, these data are not presented in this report. DOE's preferred alternative is to begin converting the depleted uranium hexafluoride inventory as soon as possible to either uranium oxide, uranium metal, or a combination of both, while allowing for use of as much of this inventory as possible.

  13. International workshop on cold neutron sources

    SciTech Connect (OSTI)

    Russell, G.J.; West, C.D. )

    1991-08-01

    The first meeting devoted to cold neutron sources was held at the Los Alamos National Laboratory on March 5--8, 1990. Cosponsored by Los Alamos and Oak Ridge National Laboratories, the meeting was organized as an International Workshop on Cold Neutron Sources and brought together experts in the field of cold-neutron-source design for reactors and spallation sources. Eighty-four people from seven countries attended. Because the meeting was the first of its kind in over forty years, much time was spent acquainting participants with past and planned activities at reactor and spallation facilities worldwide. As a result, the meeting had more of a conference flavor than one of a workshop. The general topics covered at the workshop included: Criteria for cold source design; neutronic predictions and performance; energy deposition and removal; engineering design, fabrication, and operation; material properties; radiation damage; instrumentation; safety; existing cold sources; and future cold sources.

  14. Miniature x-ray source

    DOE Patents [OSTI]

    Trebes, James E. (Livermore, CA); Stone, Gary F. (Livermore, CA); Bell, Perry M. (Tracy, CA); Robinson, Ronald B. (Modesto, CA); Chornenky, Victor I. (Minnetonka, MN)

    2002-01-01

    A miniature x-ray source capable of producing broad spectrum x-ray emission over a wide range of x-ray energies. The miniature x-ray source comprises a compact vacuum tube assembly containing a cathode, an anode, a high voltage feedthru for delivering high voltage to the anode, a getter for maintaining high vacuum, a connection for an initial vacuum pump down and crimp-off, and a high voltage connection for attaching a compact high voltage cable to the high voltage feedthru. At least a portion of the vacuum tube wall is highly x-ray transparent and made, for example, from boron nitride. The compact size and potential for remote operation allows the x-ray source, for example, to be placed adjacent to a material sample undergoing analysis or in proximity to the region to be treated for medical applications.

  15. Compact portable electric power sources

    SciTech Connect (OSTI)

    Fry, D.N.; Holcomb, D.E.; Munro, J.K.; Oakes, L.C.; Matson, M.J.

    1997-02-01

    This report provides an overview of recent advances in portable electric power source (PEPS) technology and an assessment of emerging PEPS technologies that may meet US Special Operations Command`s (SOCOM) needs in the next 1--2- and 3--5-year time frames. The assessment was performed through a literature search and interviews with experts in various laboratories and companies. Nineteen PEPS technologies were reviewed and characterized as (1) PEPSs that meet SOCOM requirements; (2) PEPSs that could fulfill requirements for special field conditions and locations; (3) potentially high-payoff sources that require additional R and D; and (4) sources unlikely to meet present SOCOM requirements. 6 figs., 10 tabs.

  16. Miniature electrically operated diaphragm valve

    DOE Patents [OSTI]

    Adkins, Douglas R. (Albuquerque, NM); Spletzer, Barry L. (Albuquerque, NM); Wong, Chungnin C. (Albuquerque, NM); Frye-Mason, Gregory C. (Cedar Crest, NM); Fischer, Gary J. (Albuquerque, NM); Hesketh, Peter J. (Atlanta, GA)

    2001-01-01

    The present invention provides a miniature electrically operated valve that can stand off significant pressures, that can be inexpensively produced, and that can be made to operate without continuous electrical power. A valve according to the present invention comprises a housing and a beam mounted with the housing. A diaphragm mounted with the housing forms a sealed fluid volume. An electromagnetic energy source, such as an electromagnetic coil, mounts with the housing and when energized urges the beam in one direction. The beam can be urged in the opposing direction by passive means or by reversing the polarity of the electromagnetic energy source or by a second electromagnetic energy source. Two fluid ports mount with the housing. A first fluid port mounts so that, as the beam is urged in one direction or the opposite, the beam urges the diaphragm to move between engaging and substantially sealing the fluid port and disengaging and not substantially sealing the fluid port. A seat can be mounted with the diaphragm to aid in sealing the fluid port. Latching mechanisms such as permanent magnets can be mounted so that the valve remains in the open or closed positions without continuous electrical power input. Fluid can flow through the housing between the two fluid ports when the diaphragm does not seal the first fluid port, but can be prevented from flowing by urging the beam so that the diaphragm seals the first fluid port. Various embodiments accommodate various latching mechanisms, electromagnetic energy sources, number of fluid ports, and diaphragm design considerations.

  17. SUBTASK 2.19 – OPERATIONAL FLEXIBILITY OF CO2 TRANSPORT AND STORAGE

    SciTech Connect (OSTI)

    Jensen, Melanie; Schlasner, Steven; Sorensen, James; Hamling, John

    2014-12-31

    Carbon dioxide (CO2) is produced in large quantities during electricity generation and by industrial processes. These CO2 streams vary in terms of both composition and mass flow rate, sometimes substantially. The impact of a varying CO2 stream on pipeline and storage operation is not fully understood in terms of either operability or infrastructure robustness. This study was performed to summarize basic background from the literature on the topic of operational flexibility of CO2 transport and storage, but the primary focus was on compiling real-world lessons learned about flexible operation of CO2 pipelines and storage from both large-scale field demonstrations and commercial operating experience. Modeling and pilot-scale results of research in this area were included to illustrate some of the questions that exist relative to operation of carbon capture and storage (CCS) projects with variable CO2 streams. It is hoped that this report’s real-world findings provide readers with useful information on the topic of transport and storage of variable CO2 streams. The real-world results were obtained from two sources. The first source consisted of five full-scale, commercial transport–storage projects: Sleipner, Snřhvit, In Salah, Weyburn, and Illinois Basin–Decatur. These scenarios were reviewed to determine the information that is available about CO2 stream variability/intermittency on these demonstration-scale projects. The five projects all experienced mass flow variability or an interruption in flow. In each case, pipeline and/or injection engineers were able to accommodate any issues that arose. Significant variability in composition has not been an issue at these five sites. The second source of real- world results was telephone interviews conducted with experts in CO2 pipeline transport, injection, and storage during which commercial anecdotal information was acquired to augment that found during the literature search of the five full-scale projects. The experts represented a range of disciplines and hailed from North America and Europe. Major findings of the study are that compression and transport of CO2 for enhanced oil recovery (EOR) purposes in the United States has shown that impurities are not likely to cause transport problems if CO2 stream composition standards are maintained and pressures are kept at 10.3 MPa or higher. Cyclic, or otherwise intermittent, CO2 supplies historically have not impacted in-field distribution pipeline networks, wellbore integrity, or reservoir conditions. The U.S. EOR industry has demonstrated that it is possible to adapt to variability and intermittency in CO2 supply through flexible operation of the pipeline and geologic storage facility. This CO2 transport and injection experience represents knowledge that can be applied in future CCS projects. A number of gaps in knowledge were identified that may benefit from future research and development, further enhancing the possibility for widespread application of CCS. This project was funded through the Energy & Environmental Research Center–U.S. Department of Energy Joint Program on Research and Development for Fossil Energy-Related Resources Cooperative Agreement No. DE-FC26-08NT43291. Nonfederal funding was provided by the IEA Greenhouse Gas R&D Programme.

  18. Tellus (2010) Journal compilation C 2010 Blackwell Munksgaard No claim to original US government works

    E-Print Network [OSTI]

    Follows, Mick

    2010-01-01

    sink, the analysis suggests that the Arctic Basin is a substantial net source of green house gas is affecting a broad spectrum of physical, ecological and human/cultural systems in this region (Serreze et al

  19. Compiled by the Office of Equity & Inclusion. 8/27/2014 rjt 1 The following departments responded to a brief survey about services for all Wesleyan University undergraduate students, especially those who are

    E-Print Network [OSTI]

    Royer, Dana

    Compiled by the Office of Equity & Inclusion. 8/27/2014 rjt 1 mclawson_at_wesleyan.edu #12;Compiled by the Office of Equity & Inclusion. 8_at_wesleyan.edu; Work study: Rachel Berman, rmberman_at_wesleyan.edu Compiling this information

  20. Helicon Plasma Source Configuration Analysis by Means of Density Measurements

    SciTech Connect (OSTI)

    Angrilli, F.; Barber, G.C.; Carter, M.D.; Goulding, R.H.; Maggiora, R.; Pavarin, D.; Sparks, D.O.

    1999-11-13

    Initial results have been obtained from operation of a helicon plasma source built to conduct optimization studies for space propulsion applications. The source features an easily reconfigurable antenna to test different geometries. Operating with He as the source gas, peak densities >= 1.6X10{sup 19} m{sup -3} have been achieved. Radial and axial plasma profiles have been obtained using a microwave interferometer that can be scanned axially and a Langmuir probe. The source will be used to investigate operation at high magnetic field, frequency, and input power.

  1. Mevva ion source operated in purely gaseous mode

    E-Print Network [OSTI]

    Yushkov, G.Y.; MacGill, R.A.; Brown, I.G.

    2003-01-01

    introduced into the vacuum arc plasma discharge so as toto replace the vacuum arc as plasma formation mechanism by aarc cathode), a hollow cathode glow discharge plasma [10-12

  2. THE LBL 88-INCH CYCLOTRON OPERATING WITH AN ECR SOURCE

    E-Print Network [OSTI]

    Clark, D. J.

    2010-01-01

    Quad magnet (Doublet) Klystrons Laser Table Lasers Atomicstage uses a 1 kW 9.2 GHz klystron (typical power 100 W) andstage uses a 3 kW 6.4 GHz klystron (typical power 400 W).

  3. Glass antenna for RF-ion source operation

    DOE Patents [OSTI]

    Leung, Ka Ngo (Hercules, CA); Lee, Yung-Hee Yvette (Berkeley, CA); Perkins, Luke T. (Plainsboro, NJ)

    2000-01-01

    An antenna comprises a plurality of small diameter conductive wires disposed in a dielectric tube. The number and dimensions of the conductive wires is selected to improve the RF resistance of the antenna while also facilitating a reduction in thermal gradients that may create thermal stresses on the dielectric tube. The antenna may be mounted in a vacuum system using a low-stress antenna assembly that cushions and protects the dielectric tube from shock and mechanical vibration while also permitting convenient electrical and coolant connections to the antenna.

  4. Lithium ion sources

    E-Print Network [OSTI]

    Roy, Prabir K.

    2014-01-01

    HIFAN 1866 Lithium ion sources by Prabir K. Roy, Wayne G.No. DE-AC02-05CH11231. Lithium ion sources Prabir K. Roya source of ?100 mA lithium ion current for the Neutralized

  5. Backscatter absorption gas imaging systems and light sources therefore

    DOE Patents [OSTI]

    Kulp, Thomas Jan (Livermore, CA); Kliner, Dahv A. V. (San Ramon, CA); Sommers, Ricky (Oakley, CA); Goers, Uta-Barbara (Campbell, NY); Armstrong, Karla M. (Livermore, CA)

    2006-12-19

    The location of gases that are not visible to the unaided human eye can be determined using tuned light sources that spectroscopically probe the gases and cameras that can provide images corresponding to the absorption of the gases. The present invention is a light source for a backscatter absorption gas imaging (BAGI) system, and a light source incorporating the light source, that can be used to remotely detect and produce images of "invisible" gases. The inventive light source has a light producing element, an optical amplifier, and an optical parametric oscillator to generate wavelength tunable light in the IR. By using a multi-mode light source and an amplifier that operates using 915 nm pump sources, the power consumption of the light source is reduced to a level that can be operated by batteries for long periods of time. In addition, the light source is tunable over the absorption bands of many hydrocarbons, making it useful for detecting hazardous gases.

  6. Electrolytes for power sources

    DOE Patents [OSTI]

    Doddapaneni, N.; Ingersoll, D.

    1995-01-03

    Electrolytes are disclosed for power sources, particularly alkaline and acidic power sources, comprising benzene polysulfonic acids and benzene polyphosphonic acids or salts of such acids. 7 figures.

  7. Electrolytes for power sources

    DOE Patents [OSTI]

    Doddapaneni, Narayan (Albuquerque, NM); Ingersoll, David (Albuquerque, NM)

    1995-01-01

    Electrolytes for power sources, particularly alkaline and acidic power sources, comprising benzene polysulfonic acids and benzene polyphosphonic acids or salts of such acids.

  8. Research on fusion neutron sources

    SciTech Connect (OSTI)

    Gryaznevich, M. P. [Tokamak Solutions UK, Culham Science Centre, Abingdon, OXON, OX133DB (United Kingdom)

    2012-06-19

    The use of fusion devices as powerful neutron sources has been discussed for decades. Whereas the successful route to a commercial fusion power reactor demands steady state stable operation combined with the high efficiency required to make electricity production economic, the alternative approach to advancing the use of fusion is free of many of complications connected with the requirements for economic power generation and uses the already achieved knowledge of Fusion physics and developed Fusion technologies. 'Fusion for Neutrons' (F4N), has now been re-visited, inspired by recent progress achieved on comparably compact fusion devices, based on the Spherical Tokamak (ST) concept. Freed from the requirement to produce much more electricity than used to drive it, a fusion neutron source could be efficiently used for many commercial applications, and also to support the goal of producing energy by nuclear power. The possibility to use a small or medium size ST as a powerful or intense steady-state fusion neutron source (FNS) is discussed in this paper in comparison with the use of traditional high aspect ratio tokamaks. An overview of various conceptual designs of compact fusion neutron sources based on the ST concept is given and they are compared with a recently proposed Super Compact Fusion Neutron Source (SCFNS), with major radius as low as 0.5 metres but still able to produce several MW of neutrons in a steady-state regime.

  9. Open Source Software Maintenance Process Framework Timo Koponen

    E-Print Network [OSTI]

    Scacchi, Walt

    provides required operations, their inputs and outputs. Most of the maintenance activities are similar30 Open Source Software Maintenance Process Framework Timo Koponen Department of Computer Science.hotti@uku.fi ABSTRACT To identify the Open Source maintenance process two well known Open Source projects Apache HTTP

  10. RHIC Polarized proton operation

    SciTech Connect (OSTI)

    Huang, H.; Ahrens, L.; Alekseev, I.G.; Aschenauer, E.; Atoian, G.; Bai, M.; Bazilevsky, A.; Blaskiewicz, M.; Brennan, J.M.; Brown, K.A.; Bruno, D.; Connolly, R.; Dion, A.; D'Ottavio, T.; Drees, K.A.; Fischer, W.; Gardner, C.; Glenn, J.W.; Gu, X.; Harvey, M.; Hayes, T.; Hoff, L.; Hulsart, R.L.; Laster, J.; Liu, C.; Luo, Y.; MacKay, W.W.; Makdisi, Y.; Marr, G.J.; Marusic, A.; Meot, F.; Mernick, K.; Michnoff, R,; Minty, M.; Montag, C.; Morris, J.; Nemesure, S.; Poblaguev, A.; Ptitsyn, V.; Ranjibar, V.; Robert-Demolaize, G.; Roser, T.; J.; Severino, F.; Schmidke, B.; Schoefer, V.; Severino, F.; Smirnov, D.; Smith, K.; Steski, D.; Svirida, D.; Tepikian, S.; Trbojevic, D.; Tsoupas, N.; Tuozzolo, J. Wang, G.; Wilinski, M.; Yip, K.; Zaltsman, A.; Zelenski, A.; Zeno, K.; Zhang, S.Y.

    2011-03-28

    The Relativistic Heavy Ion Collider (RHIC) operation as the polarized proton collider presents unique challenges since both luminosity(L) and spin polarization(P) are important. With longitudinally polarized beams at the experiments, the figure of merit is LP{sup 4}. A lot of upgrades and modifications have been made since last polarized proton operation. A 9 MHz rf system is installed to improve longitudinal match at injection and to increase luminosity. The beam dump was upgraded to increase bunch intensity. A vertical survey of RHIC was performed before the run to get better magnet alignment. The orbit control is also improved this year. Additional efforts are put in to improve source polarization and AGS polarization transfer efficiency. To preserve polarization on the ramp, a new working point is chosen such that the vertical tune is near a third order resonance. The overview of the changes and the operation results are presented in this paper. Siberian snakes are essential tools to preserve polarization when accelerating polarized beams to higher energy. At the same time, the higher order resonances still can cause polarization loss. As seen in RHIC, the betatron tune has to be carefully set and maintained on the ramp and during the store to avoid polarization loss. In addition, the orbit control is also critical to preserve polarization. The higher polarization during this run comes from several improvements over last run. First we have a much better orbit on the ramp. The orbit feedback brings down the vertical rms orbit error to 0.1mm, much better than the 0.5mm last run. With correct BPM offset and vertical realignment, this rms orbit error is indeed small. Second, the jump quads in the AGS improved input polarization for RHIC. Third, the vertical tune was pushed further away from 7/10 snake resonance. The tune feedback maintained the tune at the desired value through the ramp. To calibrate the analyzing power of RHIC polarimeters at any energy above injection, the polarized hydrogen jet target runs for every fill with both beams. Based on the known analyzing power, there is very little polarization loss between injection and 100 GeV. An alternative way is to measure the asymmetry at 100 GeV followed by ramping up to 250 GeV and back down to 100 GeV and then to measure the asymmetry again at 100 GeV. If the asymmetry after the down ramp is similar to the measurement before the up ramp, polarization was also preserved during the ramp to 250 GeV. The analyzing power at storage energy can then be extracted from the asymmetries measured at 100 GeV and 250 GeV. The tune and orbit feedbacks are essential for the down ramp to be possible. The polarized proton operation is still going on. We will push bunch intensity higher until reaching the beam-beam limit. The even higher intensity will have to wait for the electron lenses to compensate the beam-beam effect. To understand the details of spin dynamics in RHIC with two snakes, spin simulation with the real magnet fields have been developed recently. The study will provide guidance for possible polarization loss schemes. Further polarization gain will requires a polarized source upgrade; more careful setup jump quads in the AGS to get full benefit; and control emittance in the whole accelerator chain.

  11. Journal of Animal Ecology 2008, 77, 275284 doi: 10.1111/j.1365-2656.2007.01336.x 2007 The Authors. Journal compilation 2007 British Ecological Society

    E-Print Network [OSTI]

    Journal of Animal Ecology 2008, 77, 275­284 doi: 10.1111/j.1365-2656.2007.01336.x © 2007 The Authors. Journal compilation © 2007 British Ecological Society Blackwell Publishing Ltd Biotic disturbance

  12. Miniaturized cathodic arc plasma source

    DOE Patents [OSTI]

    Anders, Andre (Albany, CA); MacGill, Robert A. (Richmond, CA)

    2003-04-15

    A cathodic arc plasma source has an anode formed of a plurality of spaced baffles which extend beyond the active cathode surface of the cathode. With the open baffle structure of the anode, most macroparticles pass through the gaps between the baffles and reflect off the baffles out of the plasma stream that enters a filter. Thus the anode not only has an electrical function but serves as a prefilter. The cathode has a small diameter, e.g. a rod of about 1/4 inch (6.25 mm) diameter. Thus the plasma source output is well localized, even with cathode spot movement which is limited in area, so that it effectively couples into a miniaturized filter. With a small area cathode, the material eroded from the cathode needs to be replaced to maintain plasma production. Therefore, the source includes a cathode advancement or feed mechanism coupled to cathode rod. The cathode also requires a cooling mechanism. The movable cathode rod is housed in a cooled metal shield or tube which serves as both a current conductor, thus reducing ohmic heat produced in the cathode, and as the heat sink for heat generated at or near the cathode. Cooling of the cathode housing tube is done by contact with coolant at a place remote from the active cathode surface. The source is operated in pulsed mode at relatively high currents, about 1 kA. The high arc current can also be used to operate the magnetic filter. A cathodic arc plasma deposition system using this source can be used for the deposition of ultrathin amorphous hard carbon (a-C) films for the magnetic storage industry.

  13. Heat Transfer Operators Associated with Quantum Operations

    E-Print Network [OSTI]

    Ç. Aksak; S. Turgut

    2011-04-14

    Any quantum operation applied on a physical system is performed as a unitary transformation on a larger extended system. If the extension used is a heat bath in thermal equilibrium, the concomitant change in the state of the bath necessarily implies a heat exchange with it. The dependence of the average heat transferred to the bath on the initial state of the system can then be found from the expectation value of a hermitian operator, which is named as the heat transfer operator (HTO). The purpose of this article is the investigation of the relation between the HTOs and the associated quantum operations. Since, any given quantum operation on a system can be realized by different baths and unitaries, many different HTOs are possible for each quantum operation. On the other hand, there are also strong restrictions on the HTOs which arise from the unitarity of the transformations. The most important of these is the Landauer erasure principle. This article is concerned with the question of finding a complete set of restrictions on the HTOs that are associated with a given quantum operation. An answer to this question has been found only for a subset of quantum operations. For erasure operations, these characterizations are equivalent to the generalized Landauer erasure principle. For the case of generic quantum operations however, it appears that the HTOs obey further restrictions which cannot be obtained from the entropic restrictions of the generalized Landauer erasure principle.

  14. Atmospheric sampling glow discharge ionization source

    DOE Patents [OSTI]

    McLuckey, S.A.; Glish, G.L.

    1989-07-18

    An atmospheric sampling glow discharge ionization source that can be used in combination with an analytical instrument which operates at high vacuum, such as a mass spectrometer. The atmospheric sampling glow discharge ionization source comprises a chamber with at least one pair of electrodes disposed therein, an inlet for a gaseous sample to be analyzed and an outlet communicating with an analyzer which operates at subatmospheric pressure. The ionization chamber is maintained at a pressure below atmospheric pressure, and a voltage difference is applied across the electrodes to induce a glow discharge between the electrodes, so that molecules passing through the inlet are ionized by the glow discharge and directed into the analyzer. The ionization source accepts the sample under atmospheric pressure conditions and processes it directly into the high vacuum instrument, bridging the pressure gap and drawing off unwanted atmospheric gases. The invention also includes a method for analyzing a gaseous sample using the glow discharge ionization source described above. 3 figs.

  15. Compatibility Study of Compile-Time Optimizations for Power and Reliability

    E-Print Network [OSTI]

    systems performance. However, for a wide range of today's power restricted, battery oper- ated embedded, reliability is the most significant design issue. Moreover, the limited battery capacities of such devices, the instruction flow at run- time can be adjusted to achieve a desirable trade-off between reliability, power

  16. Mission Operations & Data Systems

    E-Print Network [OSTI]

    Mojzsis, Stephen J.

    Mission Operations & Data Systems The LASP Mission Operations & Data Systems (MO&DS) group staffs and instruments. Operational software acts like the health systems in a body, ensuring that temperature, energy. The software monitors the health of on-board systems; anything unusual is flagged and sent to mission operators

  17. Operations Research Giorgio Gallo

    E-Print Network [OSTI]

    Gallo, Giorgio

    Operations Research Giorgio Gallo Operations Research (OR) is defined, according to the International Fed- eration of Operational Research Societies, as a scientific approach to the solution are thus crucial to almost all aspects of OR, research and practice. Operations Research, the origins

  18. X-ray lithography source

    DOE Patents [OSTI]

    Piestrup, Melvin A. (Woodside, CA); Boyers, David G. (Mountain View, CA); Pincus, Cary (Sunnyvale, CA)

    1991-01-01

    A high-intensity, inexpensive X-ray source for X-ray lithography for the production of integrated circuits. Foil stacks are bombarded with a high-energy electron beam of 25 to 250 MeV to produce a flux of soft X-rays of 500 eV to 3 keV. Methods of increasing the total X-ray power and making the cross section of the X-ray beam uniform are described. Methods of obtaining the desired X-ray-beam field size, optimum frequency spectrum and elminating the neutron flux are all described. A method of obtaining a plurality of station operation is also described which makes the process more efficient and economical. The satisfying of these issues makes transition radiation an exellent moderate-priced X-ray source for lithography.

  19. Spallation Neutron Source reaches megawatt power

    ScienceCinema (OSTI)

    Dr. William F. Brinkman

    2010-01-08

    The Department of Energy's Spallation Neutron Source (SNS), already the world's most powerful facility for pulsed neutron scattering science, is now the first pulsed spallation neutron source to break the one-megawatt barrier. "Advances in the materials sciences are fundamental to the development of clean and sustainable energy technologies. In reaching this milestone of operating power, the Spallation Neutron Source is providing scientists with an unmatched resource for unlocking the secrets of materials at the molecular level," said Dr. William F. Brinkman, Director of DOE's Office of Science.

  20. Building Operator Certification 

    E-Print Network [OSTI]

    Lilley, D.

    2013-01-01

    Certification Energy Efficiency through Operator Training CATEE December 18, 2013 – San Antonio, TX Dennis Lilley, CEM, PMP ESL-KT-13-12-49 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 Building Operator Certification... Energy Efficiency through Operator Training What is Building Operator Certification? Industry-recognized credential in energy efficient building operation practices Created with 100 industry experts Launched in 1996 9,000 building engineers...

  1. Electrospray ion source with reduced analyte electrochemistry

    DOE Patents [OSTI]

    Kertesz, Vilmos [Knoxville, TN; Van Berkel, Gary [Clinton, TN

    2011-08-23

    An electrospray ion (ESI) source and method capable of ionizing an analyte molecule without oxidizing or reducing the analyte of interest. The ESI source can include an emitter having a liquid conduit, a working electrode having a liquid contacting surface, a spray tip, a secondary working electrode, and a charge storage coating covering partially or fully the liquid contacting surface of the working electrode. The liquid conduit, the working electrode and the secondary working electrode can be in liquid communication. The electrospray ion source can also include a counter electrode proximate to, but separated from, said spray tip. The electrospray ion source can also include a power system for applying a voltage difference between the working electrodes and a counter-electrode. The power system can deliver pulsed voltage changes to the working electrodes during operation of said electrospray ion source to minimize the surface potential of the charge storage coating.

  2. Electrospray ion source with reduced analyte electrochemistry

    DOE Patents [OSTI]

    Kertesz, Vilmos; Van Berkel, Gary J

    2013-07-30

    An electrospray ion (ESI) source and method capable of ionizing an analyte molecule without oxidizing or reducing the analyte of interest. The ESI source can include an emitter having a liquid conduit, a working electrode having a liquid contacting surface, a spray tip, a secondary working electrode, and a charge storage coating covering partially or fully the liquid contacting surface of the working electrode. The liquid conduit, the working electrode and the secondary working electrode can be in liquid communication. The electrospray ion source can also include a counter electrode proximate to, but separated from, said spray tip. The electrospray ion source can also include a power system for applying a voltage difference between the working electrodes and a counter-electrode. The power system can deliver pulsed voltage changes to the working electrodes during operation of said electrospray ion source to minimize the surface potential of the charge storage coating.

  3. Risk assessment in international operations

    SciTech Connect (OSTI)

    Stricklin, Daniela L.

    2008-11-15

    During international peace-keeping missions, a diverse number of non-battle hazards may be encountered, which range from heavily polluted areas, endemic disease, toxic industrial materials, local violence, traffic, and even psychological factors. Hence, elevated risk levels from a variety of sources are encountered during deployments. With the emphasis within the Swedish military moving from national defense towards prioritization of international missions in atypical environments, the risk of health consequences, including long term health effects, has received greater consideration. The Swedish military is interested in designing an optimal approach for assessment of health threats during deployments. The Medical Intelligence group at FOI CBRN Security and Defence in Umea has, on request from and in collaboration with the Swedish Armed Forces, reviewed a variety of international health threat and risk assessment models for military operations. Application of risk assessment methods used in different phases of military operations will be reviewed. An overview of different international approaches used in operational risk management (ORM) will be presented as well as a discussion of the specific needs and constraints for health risk assessment in military operations. This work highlights the specific challenges of risk assessment that are unique to the deployment setting such as the assessment of exposures to a variety of diverse hazards concurrently.

  4. 192 ASHRAE Transactions: Research Ground-source heat pumps for cooling-dominated

    E-Print Network [OSTI]

    Ghajar, Afshin J.

    operating and control strategies in a hybrid ground-source heat pump application using an hourly system performance, one of the available options is a hybrid ground-source heat pump application. Hybrid systems of Operating and Control Strategies for Hybrid Ground-Source Heat Pump Systems Using a Short Time Step

  5. Compilation of CFD Models of Various Solid Oxide Electrolyzers Analyzed at the Idaho National Laboratory

    SciTech Connect (OSTI)

    Grant Hawkes; James O'Brien

    2012-06-01

    Various three dimensional computational fluid dynamics (CFD) models of solid oxide electrolyzers have been created and analyzed at the Idaho National Laboratory since the inception of the Nuclear Hydrogen Initiative in 2004. Three models presented herein include: a 60 cell planar cross flow with inlet and outlet plenums, 10 cell integrated planar cross flow, and internally manifolded five cell planar cross flow. Mass, momentum, energy, and species conservation and transport are provided via the core features of the commercial CFD code FLUENT. A solid-oxide fuel cell (SOFC) module adds the electrochemical reactions and loss mechanisms and computation of the electric field throughout the cell. The FLUENT SOFC user-defined subroutine was modified for this work to allow for operation in the SOEC mode. Model results provide detailed profiles of temperature, Nernst potential, operating potential, activation over-potential, anode-side gas composition, cathode-side gas composition, current density and hydrogen production over a range of stack operating conditions. Predicted mean outlet hydrogen and steam concentrations vary linearly with current density, as expected. Contour plots of local electrolyte temperature, current density, and Nernst potential indicated the effects of heat transfer, endothermic reaction, Ohmic heating, and change in local gas composition. Results are discussed for using these models in the electrolysis mode. Discussion of thermal neutral voltage, enthalpy of reaction, hydrogen production is reported herein. Contour plots and discussion show areas of likely cell degradation, flow distribution in inlet plenum, and flow distribution across and along the flow channels of the current collectors

  6. Oil Mill Operators 

    E-Print Network [OSTI]

    Unknown

    2011-08-17

    Natural gas and petroleum are non-renewable and scarce energy sources. Although, it is well known that hydrocarbon reserves are depleting through the years, oil and gas remain the principal source of energy upon which our ...

  7. The SIAM Photon Source

    SciTech Connect (OSTI)

    Pairsuwan, Weerapong

    2007-01-19

    A short history of the SIAM Photon Source in Thailand is described. The facility is based on the 1 GeV storage ring obtained from the SORTEC consortium in Japan. After a redesign to include insertion straight sections it produced the first light in December 2001 and the first beam line became operational in early 2002. Special difficulties appear when a synchrotron light facility is obtained by donation, which have mostly to do with the absence of human resource development that elsewhere is commonly accomplished during design and construction. Additional problems arise by the distance of a developing country like Thailand from the origin of technical parts of the donation. A donation does not provide time to generate local capabilities or include in the technical design locally obtainable parts. This makes future developments, repairs and maintenance more time consuming, difficult and expensive than it should be. In other cases, parts of components are proprietary or obsolete or both which requires redesign and engineering at a time when the replacement part should be available to prevent stoppage of operation.The build-up of a user community is very difficult, especially when the radiation spectrum is confined to the VUV regime. Most of scientific interest these days is focused on the x-ray regime. Due to its low beam energy, the SIAM storage ring did not produce useful x-ray intensities and we are therefore in the midst of an upgrade to produce harder radiation. The first step has been achieved with a 20% increase of energy to 1.2 GeV. This step shifts the critical photon energy of bending magnet radiation from 800 eV to 1.4 keV providing useful radiation up to 7 keV. A XAS-beam line has been completed in 2005 and experimentation is very active by now. The next step is to install a 6.4 T wavelength shifter by the end of 2006 resulting in a critical photon energy of 6.15 keV. Further upgrades are planed for the comming years.

  8. PRELIMINARY TIME ESTIMATES FOR CORING OPERATIONS

    E-Print Network [OSTI]

    PRELIMINARY TIME ESTIMATES FOR CORING OPERATIONS Ocean Drilling Program Texas A&M University portion requires the written consent of the Director, Ocean Drilling Program, Texas A&M University, College Station, Texas 77843-3469, as well as appropriate acknowledgment of this source. Technical Note 1

  9. Copyright 2005 POSC Intelligent Oilfield Operations

    E-Print Network [OSTI]

    Brock, David

    Copyright © 2005 POSC WITSMLTM and Intelligent Oilfield Operations David Archer MIT Data Center M-Alliance POSC Source: Downes & Mui, "Unleashing the Killer App" #12;Oil fields of the future: real-time oil, London Members + SIG Members: > 80 Oil BP, ChevronTexaco, ExxonMobil, Hydro, ONGC, Pioneer, Shell

  10. DC source assemblies

    DOE Patents [OSTI]

    Campbell, Jeremy B; Newson, Steve

    2013-02-26

    Embodiments of DC source assemblies of power inverter systems of the type suitable for deployment in a vehicle having an electrically grounded chassis are provided. An embodiment of a DC source assembly comprises a housing, a DC source disposed within the housing, a first terminal, and a second terminal. The DC source also comprises a first capacitor having a first electrode electrically coupled to the housing, and a second electrode electrically coupled to the first terminal. The DC source assembly further comprises a second capacitor having a first electrode electrically coupled to the housing, and a second electrode electrically coupled to the second terminal.

  11. An Efficient RF Source for Jlab

    SciTech Connect (OSTI)

    Neubauer, M.; Dudas, A.; Rimmer, Robert A.; Wang, Haipeng

    2013-12-01

    We propose the development of a highly reliable high efficiency RF source for JLAB with a lower lifetime cost operating at 80% efficiency with system operating costs of about 0.7M$/year for the 6 GeV machine. The design of the RF source will be based upon two injection locked magnetrons in a novel combining architecture for amplitude modulation and a cross field amplifier (CFA) as an output tube for the 12 GeV upgrade. A cost analysis including efficiency and reliability will be performed to determine the optimum system architecture. Several different system architectures will be designed and evaluated for a dual injection locked magnetron source using novel combining techniques and possibly a CFA as the output tube. A paper design for the 1497 MHz magnetron system will be completed. The optimum system architecture with all relevant specifications will be completed so that a prototype can be built.

  12. Climate Data Operators (CDO)

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

    Climate Data Operators (CDO) Climate Data Operators (CDO) Description and Overview CDO is a large tool set for working on climate data. NetCDF 34, GRIB including SZIP compression,...

  13. SWPF Crane Lift Operation

    SciTech Connect (OSTI)

    None

    2010-01-01

    A multiple vview shot of the SWPF crane lift operation at the Savannah River Site. Funded by the Recovery Act.

  14. Ammonia and ammonium hydroxide sensors for ammonia/water absorption machines: Literature review and data compilation

    SciTech Connect (OSTI)

    Anheier, N.C. Jr.; McDonald, C.E.; Cuta, J.M.; Cuta, F.M.; Olsen, K.B.

    1995-05-01

    This report describes an evaluation of various sensing techniques for determining the ammonia concentration in the working fluid of ammonia/water absorption cycle systems. The purpose of this work was to determine if any existing sensor technology or instrumentation could provide an accurate, reliable, and cost-effective continuous measure of ammonia concentration in water. The resulting information will be used for design optimization and cycle control in an ammonia-absorption heat pump. PNL researchers evaluated each sensing technology against a set of general requirements characterizing the potential operating conditions within the absorption cycle. The criteria included the physical constraints for in situ operation, sensor characteristics, and sensor application. PNL performed an extensive literature search, which uncovered several promising sensing technologies that might be applicable to this problem. Sixty-two references were investigated, and 33 commercial vendors were identified as having ammonia sensors. The technologies for ammonia sensing are acoustic wave, refractive index, electrode, thermal, ion-selective field-effect transistor (ISFET), electrical conductivity, pH/colormetric, and optical absorption. Based on information acquired in the literature search, PNL recommends that follow-on activities focus on ISFET devices and a fiber optic evanescent sensor with a colormetric indicator. The ISFET and fiber optic evanescent sensor are inherently microminiature and capable of in situ measurements. Further, both techniques have been demonstrated selective to the ammonium ion (NH{sub 4}{sup +}). The primary issue remaining is how to make the sensors sufficiently corrosion-resistant to be useful in practice.

  15. Radioisotope Power Sources for MEMS Devices,

    SciTech Connect (OSTI)

    Blanchard, J.P.

    2001-06-17

    Microelectromechanical systems (MEMS) comprise a rapidly expanding research field with potential applications varying from sensors in airbags to more recent optical applications. Depending on the application, these devices often require an on-board power source for remote operation, especially in cases requiring operation for an extended period of time. Previously suggested power sources include fossil fuels and solar energy, but nuclear power sources may provide significant advantages for certain applications. Hence, the objective of this study is to establish the viability of using radioisotopes to power realistic MEMS devices. A junction-type battery was constructed using silicon and a {sup 63}Ni liquid source. A source volume containing 64 {micro}Ci provided a power of {approx}0.07 nW. A more novel application of nuclear sources for MEMS applications involves the creation of a resonator that is driven by charge collection in a cantilever beam. Preliminary results have established the feasibility of this concept, and future work will optimize the design for various applications.

  16. SHIELDING ANALYSIS FOR PORTABLE GAUGING COMBINATION SOURCES

    SciTech Connect (OSTI)

    J. TOMPKINS; L. LEONARD; ET AL

    2000-08-01

    Radioisotopic decay has been used as a source of photons and neutrons for industrial gauging operations since the late 1950s. Early portable moisture/density gauging equipment used Americium (Am)-241/Beryllium (Be)/Cesium (Cs)-137 combination sources to supply the required nuclear energy for gauging. Combination sources typically contained 0.040 Ci of Am-241 and 0.010 Ci of CS-137 in the same source capsule. Most of these sources were manufactured approximately 30 years ago. Collection, transportation, and storage of these sources once removed from their original device represent a shielding problem with distinct gamma and neutron components. The Off-Site Source Recovery (OSR) Project is planning to use a multi-function drum (MFD) for the collection, shipping, and storage of AmBe sources, as well as the eventual waste package for disposal. The MFD is an approved TRU waste container design for DOE TRU waste known as the 12 inch Pipe Component Overpack. As the name indicates, this drum is based on a 12 inch ID stainless steel weldment approximately 25 inch in internal length. The existing drum design allows for addition of shielding within the pipe component up to the 110 kg maximum pay load weight. The 12 inch pipe component is packaged inside a 55-gallon drum, with the balance of the interior space filled with fiberboard dunnage. This packaging geometry is similar to the design of a DOT 6M, Type B shipping container.

  17. Management of disused plutonium sealed sources

    SciTech Connect (OSTI)

    Whitworth, Julia Rose [Los Alamos National Laboratory; Pearson, Michael W [Los Alamos National Laboratory; Abeyta, Cristy [Los Alamos National Laboratory

    2010-01-01

    The Global Threat Reduction Initiative's (GTRI) Offsite Source Recovery Project (OSRP) has been recovering excess and unwanted radioactive sealed sources since 1999, including more than 2,400 Plutonium (Pu)-238 sealed sources and 653 Pu-239-bearing sources that represent more than 10% of the total sources recovered by GTRI/OSRP to date. These sources have been recovered from hundreds of sites within the United States (US) and around the world. OSRP grew out of early efforts at the Los Alamos National Laboratory (LANL) to recover and disposition excess Plutonium-239 (Pu-239) sealed sources that were distributed in the 1960s and 1970s under the Atoms for Peace Program, a loan-lease program that serviced 31 countries, as well as domestic users. In the conduct of these recovery operations, GTRI/OSRP has been required to solve problems related to knowledge-of-inventory, packaging and transportation of fissile and heat-source materials, transfer of ownership, storage of special nuclear material (SNM) both at US Department of Energy (DOE) facilities and commercially, and disposal. Unique issues associated with repatriation from foreign countries, including end user agreements required by some European countries and denials of shipment, will also be discussed.

  18. Analysis of sourcing & procurement practices : a cross industry framework

    E-Print Network [OSTI]

    Koliousis, Ioannis G

    2006-01-01

    This thesis presents and analyzes the various practices in the functional area of Sourcing and Procurement. The 21 firms that are studied operate in one of the following industries: Aerospace, Apparel/ Footwear, Automotive, ...

  19. Energy Procurement Strategies in the Presence of Intermittent Sources

    E-Print Network [OSTI]

    Low, Steven H.

    of installation and low operational costs. However, current electricity markets that govern energy procurementEnergy Procurement Strategies in the Presence of Intermittent Sources Jayakrishnan Nair Centrum Wiskunde & Informatica Sachin Adlakha California Institute of Technology Adam Wierman California Institute

  20. Nuclear energy is an important source of power, supplying 20

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

    source of power, supplying 20 percent of the nation's electricity. More than 100 nuclear power plants are operating in the U.S., and countries around the world are...

  1. Plan for Herd Health When Starting a Swine Operation 

    E-Print Network [OSTI]

    Lawhorn, D. Bruce

    1999-02-24

    In any swine operation, herd health is important to profitability. Because totally disease-free swine are not available, animals should be purchased from reliable sources and periodic disease testing conducted. Vaccination can minimize losses from...

  2. Managing Abnormal Operation through Process Integration and Cogeneration Systems 

    E-Print Network [OSTI]

    Kamrava, Serveh

    2014-08-05

    flaring while gaining economic and environmental benefits. It is based on simultaneous design and operational optimization where key flaring sources, causes and consequences of process upsets are identified then included in the energy profile...

  3. S O C I A L F O R E S T R Y -A R E S E A R C H S E M I N A R Compiled by

    E-Print Network [OSTI]

    S O C I A L F O R E S T R Y - A R E S E A R C H S E M I N A R Compiled by Elizabeth O'Brien SocialQuestions and Issues Compiled by Elizabeth O'Brien Social Forestry Project Leader Forest Research #12;Social Forestry Questions and Issues Compiled by Elizabeth O'Brien Social Forestry Project Leader Forest Research iS O C I

  4. EA-0389: Proposed 7-GeV Advanced Photon Source, Argonne, Illinois

    Broader source: Energy.gov [DOE]

    This EA evaluates the environmental impacts of a proposal for construction and operation of a 6- to 7-GeV synchrotron radiation source known as the 7-GeV Advanced Photon Source at DOE's Argonne...

  5. Compiled 21.1.2015 12:18:00 by Document Globe 1 Do you need to update your professional knowledge or improve your qualifications? Would you like to learn more

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Education Compiled 21.1.2015 12:18:00 by Document Globe ® 1 Do you need to update your professional

  6. Microwave ion source

    DOE Patents [OSTI]

    Leung, Ka-Ngo; Reijonen, Jani; Thomae, Rainer W.

    2005-07-26

    A compact microwave ion source has a permanent magnet dipole field, a microwave launcher, and an extractor parallel to the source axis. The dipole field is in the form of a ring. The microwaves are launched from the middle of the dipole ring using a coaxial waveguide. Electrons are heated using ECR in the magnetic field. The ions are extracted from the side of the source from the middle of the dipole perpendicular to the source axis. The plasma density can be increased by boosting the microwave ion source by the addition of an RF antenna. Higher charge states can be achieved by increasing the microwave frequency. A xenon source with a magnetic pinch can be used to produce intense EUV radiation.

  7. Eielson Air Force Base Operable Unit 2 baseline risk assessment

    SciTech Connect (OSTI)

    Lewis, R.E.; Jarvis, T.T.; Jarvis, M.R.; Whelan, G.

    1994-10-01

    Operable Unit 2 at Eielson Air Force Base (AFB) near Fairbanks, is one of several operable units characterized by petroleum, oil, and lubricant contamination, and by the presence of organic products floating at the water table, as a result of Air Force operations since the 1940s. The base is approximately 19,270 acres in size, and comprises the areas for military operations and a residential neighborhood for military dependents. Within Operable Unit 2, there are seven source areas. These source areas were grouped together primarily because of the contaminants released and hence are not necessarily in geographical proximity. Source area ST10 includes a surface water body (Hardfill Lake) next to a fuel spill area. The primary constituents of concern for human health include benzene, toluene, ethylbenzene, and xylenes (BTEX). Monitored data showed these volatile constituents to be present in groundwater wells. The data also showed an elevated level of trace metals in groundwater.

  8. Dynamic radioactive particle source

    DOE Patents [OSTI]

    Moore, Murray E.; Gauss, Adam Benjamin; Justus, Alan Lawrence

    2012-06-26

    A method and apparatus for providing a timed, synchronized dynamic alpha or beta particle source for testing the response of continuous air monitors (CAMs) for airborne alpha or beta emitters is provided. The method includes providing a radioactive source; placing the radioactive source inside the detection volume of a CAM; and introducing an alpha or beta-emitting isotope while the CAM is in a normal functioning mode.

  9. Hanford Site air operating permit application

    SciTech Connect (OSTI)

    1995-05-01

    The Clean Air Act Amendments of 1990, which amended the Federal Clean Air Act of 1977, required that the US Environmental Protection Agency develop a national Air Operating Permit Program, which in turn would require each state to develop an Air Operating Permit Program to identify all sources of ``regulated`` pollutants. Regulated pollutants include ``criteria`` pollutants (oxides of nitrogen, sulfur oxides, total suspended particulates, carbon monoxide, particulate matter greater than 10 micron, lead) plus 189 other ``Hazardous`` Air Pollutants. The Hanford Site, owned by the US Government and operated by the US Department of Energy, Richland Operations Office, is located in southcentral Washington State and covers 560 square miles of semi-arid shrub and grasslands located just north of the confluence of the Snake and Yakima Rivers with the Columbia River. This land, with restricted public access, provides a buffer for the smaller areas historically used for the production of nuclear materials, waste storage, and waste disposal. About 6 percent of the land area has been disturbed and is actively used. The Hanford Site Air Operating Permit Application consists of more than 1,100 sources and in excess of 300 emission points. Before January 1995, the maintenance and operations contractor and the environmental restoration contractor for the US Department of Energy completed an air emission inventory on the Hanford Site. The inventory has been entered into a database so that the sources and emission points can be tracked and updated information readily can be retrieved. The Hanford Site Air Operating Permit Application contains information current as of April 19, 1995.

  10. Improved ion source

    DOE Patents [OSTI]

    Leung, K.N.; Ehlers, K.W.

    1982-05-04

    A magnetic filter for an ion source reduces the production of undesired ion species and improves the ion beam quality. High-energy ionizing electrons are confined by the magnetic filter to an ion source region, where the high-energy electrons ionize gas molecules. One embodiment of the magnetic filter uses permanent magnets oriented to establish a magnetic field transverse to the direction of travel of ions from the ion source region to the ion extraction region. In another embodiment, low energy 16 eV electrons are injected into the ion source to dissociate gas molecules and undesired ion species into desired ion species,

  11. Sample inlet tube for ion source

    DOE Patents [OSTI]

    Prior, David [Hermiston, OR; Price, John [Richland, WA; Bruce, Jim [Oceanside, CA

    2002-09-24

    An improved inlet tube is positioned within an aperture through the device to allow the passage of ions from the ion source, through the improved inlet tube, and into the interior of the device. The inlet tube is designed with a larger end and a smaller end wherein the larger end has a larger interior diameter than the interior diameter of the smaller end. The inlet tube is positioned within the aperture such that the larger end is pointed towards the ion source, to receive ions therefrom, and the smaller end is directed towards the interior of the device, to deliver the ions thereto. Preferably, the ion source utilized in the operation of the present invention is a standard electrospray ionization source. Similarly, the present invention finds particular utility in conjunction with analytical devices such as mass spectrometers.

  12. Compiled by Moninder Bubber, Diversity Librarian, (bubber@sfu.ca) August 2005. 1 Research Checklist: have you done?

    E-Print Network [OSTI]

    Kavanagh, Karen L.

    -reviewed) articles, in addition to "popular" ones? - Do you have both "primary" and "secondary" sources? 2 reports to find sources that appear to be relevant? - Checked the library catalogue? Started with keyword process? - Have you kept track of your research strategy? - Have you kept track of your sources

  13. Power profile based selection and operation optimization of parallel-connected

    E-Print Network [OSTI]

    Noé, Reinhold

    , the kind of switching devices, the mode of operation and more. SinkSource PSO PSI PSO,1 PSO,2 PSO,n PSI,1

  14. Characteristic of a triple-cathode vacuum arc plasma source

    SciTech Connect (OSTI)

    Xiang, W.; Li, M.; Chen, L.

    2012-02-15

    In order to generate a better ion beam, a triple-cathode vacuum arc plasma source has been developed. Three plasma generators in the vacuum arc plasma source are equally located on a circle. Each generator initiated by means of a high-voltage breakdown between the cathode and the anode could be operated separately or simultaneously. The arc plasma expands from the cathode spot region in vacuum. In order to study the behaviors of expanding plasma plume generated in the vacuum arc plasma source, a Langmuir probe array is employed to measure the saturated ion current of the vacuum arc plasma source. The time-dependence profiles of the saturated current density of the triple vacuum arc plasma source operated separately and simultaneously are given. Furthermore, the plasma characteristic of this vacuum arc plasma source is also presented in the paper.

  15. Compilation and summary of technical and economic assessments in the field of energy storage

    SciTech Connect (OSTI)

    DeVries, J.

    1981-10-01

    Information is presented which was extracted from various assessments of energy storage technologies conducted during the past four years, primarily under the auspices of the Office of Energy Systems Research and Development (formerly the Division of Energy Storage Systems). A thorough search of the relevant literature was conducted using the DOE/RECON computerized data base and other sources. Only tabular or graphic material was abstracted from the documents. The material has been organized in two ways: by the intended end use, i.e., vehicles, utility load leveling, residential load leveling, industrial, and solar, and within each end use, by technology. The summary tables attempt to compare the results of different studies of the same technology or end use. No attempt is made to summarize the conclusions of each individual study, but rather to point out areas of agreement or disagreement between them. The reader should be aware of the risks in making comparisons between studies conducted by researchers with possibly differing purposes and assumptions. Any conclusions based on the summary sections are more indicative than definitive.

  16. Ion source with improved primary arc collimation

    DOE Patents [OSTI]

    Dagenhart, W.K.

    1983-12-16

    An improved negative ion source is provided in which a self-biasing, molybdenum collimator is used to define the primary electron stream arc discharge from a filament operated at a negative potential. The collimator is located between the anode and the filament. It is electrically connected to the anode by means of an appropriate size resistor such that the collimator is biased at essentially the filament voltage during operation. Initially, the full arc voltage appears across the filament to collimator until the arc discharge strikes. Then the collimator biases itself to essentially filament potential due to current flow through the resistor thus defining the primary electron stream without intercepting any appreciable arc power. The collimator aperture is slightly smaller than the anode aperture to shield the anode from the arc power which, in the past, has caused overheating and erosion of the anode collimator during extended time pulsed-beam operation of the source. With the self-biasing collimator of this invention, the ion source may be operated from short pulse periods to steady-state without destroying the anode.

  17. Ion source with improved primary arc collimation

    DOE Patents [OSTI]

    Dagenhart, William K. (Oak Ridge, TN)

    1985-01-01

    An improved negative ion source is provided in which a self-biasing, molybdenum collimator is used to define the primary electron stream arc discharge from a filament operated at a negative potential. The collimator is located between the anode and the filament. It is electrically connected to the anode by means of an appropriate size resistor such that the collimator is biased at essentially the filament voltage during operation. Initially, the full arc voltage appears across the filament to collimator until the arc discharge strikes. Then the collimator biases itself to essentially filament potential due to current flow through the resistor thus defining the primary electron stream without intercepting any appreciable arc power. The collimator aperture is slightly smaller than the anode aperture to shield the anode from the arc power, thereby preventing the exposure of the anode to the full arc power which, in the past, has caused overheating and erosion of the anode collimator during extended time pulsed-beam operation of the source. With the self-biasing collimator of this invention, the ion source may be operated from short pulse periods to steady-state without destroying the anode.

  18. Cask fleet operations study

    SciTech Connect (OSTI)

    Not Available

    1988-01-01

    The Nuclear Waste Policy Act of 1982 assigned to the Department of Energy's (DOE) Office of Civilian Waste Management the responsibility for disposing of high-level waste and spent fuel. A significant part of that responsibility involves transporting nuclear waste materials within the federal waste management system; that is, from the waste generator to the repository. The lead responsibility for transportation operations has been assigned to Oak Ridge Operations, with Oak Ridge National Laboratory (ORNL) providing technical support through the Transportation Operations Support Task Group. One of the ORNL support activities involves assessing what facilities, equipment and services are required to assure that an acceptable, cost-effective and safe transportation operations system can be designed, operated and maintained. This study reviews, surveys and assesses the experience of Nuclear Assurance Corporation (NAC) in operating a fleet of spent-fuel shipping casks to aid in developing the spent-fuel transportation system.

  19. National Synchrotron Light Source annual report 1991

    SciTech Connect (OSTI)

    Hulbert, S.L.; Lazarz, N.M.

    1992-04-01

    This report discusses the following research conducted at NSLS: atomic and molecular science; energy dispersive diffraction; lithography, microscopy and tomography; nuclear physics; UV photoemission and surface science; x-ray absorption spectroscopy; x-ray scattering and crystallography; x-ray topography; workshop on surface structure; workshop on electronic and chemical phenomena at surfaces; workshop on imaging; UV FEL machine reviews; VUV machine operations; VUV beamline operations; VUV storage ring parameters; x-ray machine operations; x-ray beamline operations; x-ray storage ring parameters; superconducting x-ray lithography source; SXLS storage ring parameters; the accelerator test facility; proposed UV-FEL user facility at the NSLS; global orbit feedback systems; and NSLS computer system.

  20. Radiation Source Replacement Workshop

    SciTech Connect (OSTI)

    Griffin, Jeffrey W.; Moran, Traci L.; Bond, Leonard J.

    2010-12-01

    This report summarizes a Radiation Source Replacement Workshop in Houston Texas on October 27-28, 2010, which provided a forum for industry and researchers to exchange information and to discuss the issues relating to replacement of AmBe, and potentially other isotope sources used in well logging.