Sample records for accepting applications check

  1. Energy Department Accepting Small Business Grant Applications...

    Energy Savers [EERE]

    Energy Department Accepting Small Business Grant Applications for Large Wind Turbines Energy Department Accepting Small Business Grant Applications for Large Wind Turbines November...

  2. Hydrogen Student Design Contest - Now accepting applications...

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

    Hydrogen Student Design Contest - Now accepting applications Hydrogen Student Design Contest - Now accepting applications December 1, 2014 9:00AM EST to January 16, 2015 11:59PM...

  3. Indian Energy Summer Internship Program Now Accepting Applications...

    Office of Environmental Management (EM)

    Indian Energy Summer Internship Program Now Accepting Applications: Deadline Is March 27 Indian Energy Summer Internship Program Now Accepting Applications: Deadline Is March 27...

  4. ASI Student Research Grant Application 2013-2014 Keep this Check List for your records.

    E-Print Network [OSTI]

    de Lijser, Peter

    handing in your Research Grant Application to ASI Leader and Program Development, TSU 269, please check to spending funds. 3. Recipients must submit a Grant Compliance Report to ASI Leader and Program Development1 ASI Student Research Grant Application 2013-2014 Keep this Check List for your records. Before

  5. Now Accepting Applications for Alvarez Fellowship!

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated CodesTransparencyDOE Project TapsDOE Directives,838 November 8Now Accepting

  6. Energy Department Accepting Applications for a $3.6 Million Hydroelect...

    Office of Environmental Management (EM)

    Accepting Applications for a 3.6 Million Hydroelectric Production Incentive Program Energy Department Accepting Applications for a 3.6 Million Hydroelectric Production Incentive...

  7. Applicant Accepts Application Instructions Page 1 Sustainable Energy Revolving Loan Fund

    E-Print Network [OSTI]

    Escher, Christine

    _________________ Applicant Accepts Application Instructions Page 1 Sustainable Energy Revolving Loan Fund INFORMATION & INSTRUCTIONS FOR APPLICANTS Introduction The Sustainable Energy Revolving Loan sustainable energy projects at Oregon State University. Projects should provide student learning opportunities

  8. ORISE: Applications being accepted for 2015 spring term of DOE...

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

    being accepted for 2015 spring term of DOE's Science Undergraduate Laboratory Internship Program at ORNL Students have the opportunity to perform research alongside...

  9. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

    E-Print Network [OSTI]

    Bersani, Marcello M; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

    2010-01-01T23:59:59.000Z

    An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a different interface, for example if the former is no longer available. Standard Bounded Model Checking techniques can be used to perform this check, but they must be able to provide answers very quickly, lest the check hampers the operativeness of the application, instead of aiding it. The problem becomes even more complex when conversational services are considered, i.e., services that expose operations that have Input/Output data dependencies among them. In this paper we introduce a formal verification technique for an extension of Linear Temporal Logic that allows users to include in formulae constraints on integer variables. This technique applied to the substitutability problem for conversational services is shown to be considerably faster and with smaller memory footprint than existing ones.

  10. Version: June 15, 1997 Conditionally accepted: Concurrent Engineering: Research and Applications

    E-Print Network [OSTI]

    Chen, Wei

    ________ Version: June 15, 1997 Conditionally accepted: Concurrent Engineering: Research embodied in concurrent engineering [1-3]. Applying concurrent engineering principles is particularly and Applications A ROBUST CONCEPT EXPLORATION METHOD FOR ENHANCING PRODUCTIVITY IN CONCURRENT SYSTEMS DESIGN WEI

  11. Energy, Treasury Now Accepting Applications for Funding For Renewable...

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

    applications for a program that will make direct payments in lieu of tax credits to companies that create and place in service renewable energy facilities. The two...

  12. A self-checking fiber optic dosimeter for monitoring common errors in brachytherapy applications

    SciTech Connect (OSTI)

    Yin, Y.; Lambert, J.; Yang, S.; McKenzie, D. R.; Jackson, M.; Suchowerska, N. [Physics School, University of Sydney, New South Wales 2006 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia); Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia)

    2009-07-15T23:59:59.000Z

    Scintillation dosimetry with optical fiber readout [fiber optic dosimetry (FOD)] requires accurate measurement of light intensity. It is therefore vulnerable to loss of calibration if any changes occur in the efficiency of the optical pathway between the scintillator and the light detector. The authors show in this article that common types of errors that arise during clinical use for brachytherapy applications can be quantified using a light emitting diode to stimulate the scintillator, the so-called LED-FOD method, in an integrated and easy-to-use control unit that incorporates a compact peripheral component interconnect extension for instrumentation. Common sources of error include bending and mechanical compression of the fiber optic components and changes in the temperature of the scintillator. The authors show that the method can detect all the common errors studied in this work and that different types of errors can result in different correlations between the LED stimulated signal and the brachytherapy source signal. For a single-type error the LED-FOD can be used easily for system diagnosis and validation with the possibility to correct the dosimeter reading if the correlation between the LED stimulated signal and the brachytherapy source signal can be defined. For more complex errors, resulting from two or more errors occurring simultaneously, the LED-FOD method can also allow the clinician to make a judgment on the reliability of the dosimeter reading. This self-checking method can enhance the clinical robustness of the FOD for achieving accurate dose control.

  13. Acceptance and Usability of Physical Mobile Applications Tanja Herting

    E-Print Network [OSTI]

    means for discovering, capturing and using this information. Physical Mobile Interaction (PMI) [10 to trust. In order to make mobile services easier to find and easier to use, the project adopts PMI of typical physical mobile applications (PMA) that use PMI to facilitate the user's interaction

  14. NATIONAL CANCER INSTITUTE The National Cancer Institute is accepting applications for its Fall 2011 HCIP class.

    E-Print Network [OSTI]

    Cinabro, David

    NATIONAL CANCER INSTITUTE The National Cancer Institute is accepting applications for its Fall 2011 by March 1st. Apply online! See website for further details. http://hcip.nci.nih.gov The National Cancer (NIH), is the Federal Government's principal agency for cancer research and training. The NCI

  15. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

    expertise and is not yet sufficiently powerful to be widely usable. Model checking [CES86] is often thought璼tate systems and, though this limitation is no longer absolute, model checking is still only applicable aspect on which model checking diverges from traditional verification is that it is fully algorithmic

  16. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

    E-Print Network [OSTI]

    Tip, Frank

    2009-03-26T23:59:59.000Z

    Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page validation cannot handle the dynamically generated ...

  17. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24T23:59:59.000Z

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

  18. Check valve

    DOE Patents [OSTI]

    Upton, Hubert Allen (Morgan Hill, CA); Garcia, Pablo (Stanford, CA)

    1999-08-24T23:59:59.000Z

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion.

  19. Q00906010024 rock check dam

    E-Print Network [OSTI]

    00906010024 rock check dam Q00906010025 rock check dam Q00906010021 rock check dam Q00906010022 rock check dam Q00906010027 rock check dam Q00906010026 rock check dam Q00906010018 rock check dam Q00906010023 rock check dam Q00906010011 rock check dam Q00906010008 rock check dam Q00906010007 rock check dam Q

  20. V00306010057 rock check dam

    E-Print Network [OSTI]

         XY! 16-020 16-030(c) 16-026(l) 16-028(c) 16-026(l) V00306010057 rock check dam V00306010012 rock check dam V00306010040 rock check dam V00306010039 rock check dam V00306010058 rock check dam V00306010064 rock check dam V00306010061 rock check dam V00306010062 rock check dam V00306010063

  1. Pet Groomer? Check this out....

    E-Print Network [OSTI]

    New Hampshire, University of

    Want to be a Pet Groomer? Check this out.... Costs for Students Registering through UNH Continuing. For more information and an application, contact: Thompson School of Applied Science Pet Grooming Diploma Program in Pet Grooming University of New Hampshire Thompson School of Applied Science Applied Animal

  2. V01406010015 rock check dam

    E-Print Network [OSTI]

    XY!   V01406010015 rock check dam V01406010014 rock check dam V01406010013 rock check dam 1501403010012 earthen berm V01403010008 earthen berm V01406010003 rock check dam V01406010004 rock check dam V01406010010 rock check dam V01406010011 rock check dam 15-0651 15-0307 15-0588 15-0532 15-0575 stormdrain 7160

  3. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

    Check Aid Status & Loans on ISIS As a University of Florida (UF) financial aid applicant, you can business using ISIS (the UF Integrated Student Information System): www.isis.ufl.edu 1.CheCk Aid StAtuS/AwArdS on iSiS You are responsible for keeping track of your financial aid file and awards, including

  4. AD CONTENT CHECK LIST: o Company logo

    E-Print Network [OSTI]

    Zakharov, Vladimir

    AD CONTENT CHECK LIST: o Company logo o Address o Contact Info: Phone, web site, and/or e-mail o that will perfectly reflect your image! Acceptable Formats For Logos/Graphics/Photos High-Res (300 dpi) PDF, EPS

  5. Applications are now being accepted for the Broader Engagement Program at

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta3Appliance andApplication forFSC14 are now

  6. J00206010020 rock check dam

    E-Print Network [OSTI]

    XY! J00206010020 rock check dam J00206010023 rock check dam 09-009 09-009 09-009 PJ-SMA-2 0.901 Acres J00206010021 rock check dam J00206010019 rock check dam J00206010014 rock check dam J00203010007 Smith DATE: 14-November-2014 REVISION NUMBER: 8 XY! IP sampler location Berm Channel/swale Check dam

  7. T00406010008 rock check dam

    E-Print Network [OSTI]

    XY!  T00406010008 rock check dam T00406010009 rock check dam T00406010010 rock check dam T00406010011 rock check dam T-SMA-2.85 0.344 Acres 35-014(g) 35-016(n) T00406010005 rock check dam T00406010006 rock check dam T00403090004 curb T00402040007 established vegetation, green hatch area 7200 7200 7180

  8. W02106010008 rock check dam

    E-Print Network [OSTI]

    W-SMA-14.1 5.169 Acres W02106010008 rock check dam W02106010009 rock check dam W02106010010 rock check dam W02106010011 rock check dam W02106010012 rock check dam W02103010018 earthen berm W02103010016 dam Established vegetation Seed and mulch Sediment trap/basin Gabion Cap SWMU boundary SMA drainage

  9. In press on River Research and Applications (paper accepted on 24th February 2010) Armanini et al., in press. Development of a benthic macroinvertebrate flow sensitivity index

    E-Print Network [OSTI]

    Armanini, David G

    1 In press on River Research and Applications (paper accepted on 24th February 2010) Armanini et al., in press. Development of a benthic macroinvertebrate flow sensitivity index for Canadian rivers mainly to changes in hydraulic conditions, and was minimally influenced by confounding factors (e

  10. The UVA Program in Political Philosophy, Policy and Law (PPL) PPL is now accepting applications from students planning to graduate in 2013.

    E-Print Network [OSTI]

    Acton, Scott

    The UVA Program in Political Philosophy, Policy and Law (PPL) PPL is now accepting applications from students planning to graduate in 2013. PPL is a selective interdisciplinary major for students who wish to study law and public policy from a philosophical perspective. PPL majors study such questions

  11. STEP Intern Reference Check Sheet

    Broader source: Energy.gov [DOE]

    STEP Intern Reference Check Sheet, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  12. Application for CHE-CCE 2012 Summer Internship Title of project: "Public Acceptance of Congestion Pricing of Transportation"

    E-Print Network [OSTI]

    Keinan, Alon

    Pricing of Transportation" Worksite Location: Ithaca, NY Faculty sponsor: Rick Geddes County Cornell standards for cars and light trucks reduce greenhouse gas emissions and enhance energy independence the acceptance of variable transportation pricing. This includes extant studies that utilize data from telephone

  13. Policy on Accepting Equity when Licensing University Technology Oregon State University recognizes the importance of encouraging the practical application of

    E-Print Network [OSTI]

    Escher, Christine

    the market demand for the technology. The University generally will seek from the licensee the costs technology transfer program. The combination of developmental costs and risk, and uncertaintyPolicy on Accepting Equity when Licensing University Technology Oregon State University recognizes

  14. CRADA CHECKLIST For Your Convenience, check off

    E-Print Network [OSTI]

    Baker, Chris I.

    CRADA CHECKLIST For Your Convenience, check off: CRADA Clearance form fill in everything (except CRADA #); put "N/A" or "0" when box is not applicable make sure that the person-year box totals match, disease states, etc. must be listed if they are to be considered part of the CRADA research (you cannot

  15. Check Estimates and Independent Costs

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

    1997-03-28T23:59:59.000Z

    Check estimates and independent cost estimates (ICEs) are tools that can be used to validate a cost estimate. Estimate validation entails an objective review of the estimate to ensure that estimate criteria and requirements have been met and well documented, defensible estimate has been developed. This chapter describes check estimates and their procedures and various types of independent cost estimates.

  16. Optimized synthesis of concurrently checked controllers

    SciTech Connect (OSTI)

    Leveugle, R.; Saucier, G. (Institut National Polytechnique de Grenoble, CSI Lab., 38000 Grenoble (FR))

    1990-04-01T23:59:59.000Z

    Dedicated controllers (or FSM's) with concurrent checking capabilities are of prime importance in highly dependable applications. This paper presents a new method for introducing on-line test facilities in a controller with a very low overhead. This on-line test consists in detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join node of the control flow graph. The signatures are then independent of the path followed previously in the graph and the comparison to reference data is greatly facilitated. This property is obtained by a clever state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checker.

  17. Expression equivalence checking using interval analysis

    E-Print Network [OSTI]

    Ghodrat, Mohammad Ali; Givargis, Tony; Nicolau, Alex

    2006-01-01T23:59:59.000Z

    Z. Zhou and W. Burleson, 揈quivalence checking of datapathsusing combinational equivalence for extensible processor,攅t al. : EXPRESSION EQUIVALENCE CHECKING USING INTERVAL

  18. The Department of Industrial and Systems Engineering is accepting applications for open rank non-tenure track faculty positions for academic year 2014-2015. All positions require teaching undergraduate and/or

    E-Print Network [OSTI]

    The Department of Industrial and Systems Engineering is accepting applications for open rank non/or graduate courses related to Industrial and Systems Engineering, and service to the department. A successful of Industrial and Systems Engineering provides competitive compensation packages and benefits. To apply, please

  19. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    , and to check them by making use of well-known methods for integrity checking. In the remainder of the paper, weIntegrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol磑gico de Inform碼tica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

  20. Swing Check Valve Design Criteria and CFD Validation

    SciTech Connect (OSTI)

    Dallstream, Brian E.; Fricke, Brian A.; Becker, Bryan R. [University of Missouri-Kansas City (United States)

    2006-07-01T23:59:59.000Z

    This paper provides information on swing check valve selection criteria suitable for nuclear power plant applications. In this project, four swing check valves were analyzed to demonstrate the implementation and application of this information. In this example, swing check valves were selected according to 'ASME Boiler and Pressure Vessel Code, Section III' and 'ASME B16.34, Valves Flanged, Threaded, and Welding End'. This paper also discusses the utilization of Computational Fluid Dynamics Software (CFD) as a means to analyze valve design. The use of CFD is a relatively new approach for validation of valve design that is becoming invaluable due to the high cost of physical bench testing. The Instrument Society of America (ISA) Analysis Division and the American Society of Mechanical Engineers (ASME) Computational Fluid Dynamics Technical Committee have taken a proactive approach in setting standards and practices for the use of CFD in design and validation. (authors)

  1. Timed CTL Model Checking Lecture #16 of Advanced Model Checking

    E-Print Network [OSTI]

    脕brah谩m, Erika

    = , if either: 路 for all x C: (x) > cx and (x) > cx, or 路 for any x, y C with (x) cx and (x) cx, and (y) cy(TA) is defined by: [s] = , [] = { s, | [] } c JPK 9 #12;Advanced model checking Example cx=2, cy=1 c JPK 10 from below and above by: |C|! xC cx Eval(C)/= number of regions |C|! 2|C|-1 xC (2cx + 2) where

  2. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Yuan Feng; Nengkun Yu; Mingsheng Ying

    2013-11-14T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov chains.

  3. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Feng, Yuan; Ying, Mingsheng

    2012-01-01T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov c...

  4. Check BMail account University sends all official communications

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Binghamton email account (BMail) at bmail.binghamton.edu. Check financial aid application status online 路 Log) 路 An insurance company, scholarship program, loan company or other third party may require student and/or family will be reflected. 路 To access NSC, log into BU BRAIN,"Records" tab. 路 For complete details and how-to steps go

  5. Conformance Checking of Interacting Processes With Overlapping Instances

    E-Print Network [OSTI]

    van der Aalst, Wil

    basic metric is fitness telling whether M can replay every observed execution of S. In case M cannot checking techniques assume rather simple models where process instances can be considered in isolation and isolate executions of such a process, and classical modeling languages are no longer applicable [8

  6. Model-Checking A Tutorial Introduction

    E-Print Network [OSTI]

    M眉ller-Olm, Markus

    Model-Checking A Tutorial Introduction Markus M篓uller-Olm1 , David Schmidt2 , and Bernhard Steffen1

  7. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the nite-state case these two approaches, model checking as essentially algorithmic and model checking

  8. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the finite颅state case these two approaches, model checking as essentially algorithmic and model checking

  9. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    the web site http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html INTRODUCTION The twoDynamic Testing of Check Valves William Rahmeyer Professor of Civil and Environmental Engineering rahmeyer@fs.uwrl.usu.edu http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html #12

  10. Indoor air movement acceptability and thermal comfort in hot-humid climates

    E-Print Network [OSTI]

    Candido, Christhina Maria

    2010-01-01T23:59:59.000Z

    Bittencourt, L. S. (2010) Air movement acceptability limitsthermal acceptability and air movement assessments in a hot-e 鷐idos. (Applicability of air velocity limits for thermal

  11. Real-Time Push Middleware and Mobile Application for Electric Vehicle Smart Charging and Aggregation, Accepted for publication June 15, 2011, Special Issue on: Context-

    E-Print Network [OSTI]

    California at Los Angeles, University of

    to demand response and spinning reserves by sending electricity into the grid. EV users are updated and Aggregation, Accepted for publication June 15, 2011, Special Issue on: Context- Aware System and Intelligent and Aggregation Siddhartha Mal and Rajit Gadh Smart Grid Energy Research Center, Mechanical Engineering Department

  12. 2013-2014 GFC COMMITTEES: STUDENTS NEEDED ON-LINE GFC Student Applications are currently being accepted for the 2013-2014 academic year.

    E-Print Network [OSTI]

    Machel, Hans

    accepted for the 2013-2014 academic year. INTERESTED TO SERVE IN GOVERNANCE? We are mid-stream GFC elects. University Governance Contact: Ann Hodgson, Coordinator, GFC Nominating Committee (NC-person to Room 3-04 South Academic Building (SAB). INTERESTED IN JUDICIARY GOVERNANCE? Please contact Michael

  13. GFC COMMITTEES: ACADEMIC & SUPPORT STAFF NEEDED ON-LINE GFC Staff Applications are currently being accepted for the 2013-2014 academic year.

    E-Print Network [OSTI]

    Machel, Hans

    accepted for the 2013-2014 academic year. . INTERESTED TO SERVE IN GOVERNANCE? We are mid-stream have questions or would like more information please contact: Ms. Ann Hodgson, Coordinator, GFC to include you in the GFC NC's "bank of names" for future contact, if/when related membership opportunities

  14. Approximate model checking of stochastic hybrid systems , J.-P. Katoen

    E-Print Network [OSTI]

    Abate, Alessandro

    -room heating system. 1 Introduction Stochastic hybrid systems are a broad and widely applicable classApproximate model checking of stochastic hybrid systems A. Abate , J.-P. Katoen , J. Lygeros , and M. Prandini Abstract A method for approximate model checking of stochastic hybrid systems

  15. Payroll Check Direct Deposit Authorization

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTestPhysicsParticipantsPartnersC.Payroll Check Direct

  16. Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve Burns

    E-Print Network [OSTI]

    Beame, Paul

    Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve methods for achieving acceptable performance, and giving a sum颅 mary of the properties analyzed. Based.J. Anderson, P. Beame, F. Modugno, D. Notkin, and J.D. Reese are with the Department of Computer Science

  17. Acceptable NSLS Safety Documentation

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

    Acceptable NSLS Safety Documentation Print NSLS users who have completed NSLS Safety Module must present a copy of one of the following documents to receive ALS 1001: Safety at the...

  18. Static Consistency Checking for Distributed Specifications

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Static Consistency Checking for Distributed Specifications Christian Nentwich, Wolfgang Emmerich, UK {c.nentwich,w.emmerich,a.finkelstein}@cs.ucl.ac.uk Abstract Software engineers building a complex

  19. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen.O. Box 9010, 6500 GL Nijmegen, the Netherlands Abstract. We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real

  20. Methods for verifying compliance with low-level radioactive waste acceptance criteria

    SciTech Connect (OSTI)

    NONE

    1993-09-01T23:59:59.000Z

    This report summarizes the methods that are currently employed and those that can be used to verify compliance with low-level radioactive waste (LLW) disposal facility waste acceptance criteria (WAC). This report presents the applicable regulations representing the Federal, State, and site-specific criteria for accepting LLW. Typical LLW generators are summarized, along with descriptions of their waste streams and final waste forms. General procedures and methods used by the LLW generators to verify compliance with the disposal facility WAC are presented. The report was written to provide an understanding of how a regulator could verify compliance with a LLW disposal facility`s WAC. A comprehensive study of the methodology used to verify waste generator compliance with the disposal facility WAC is presented in this report. The study involved compiling the relevant regulations to define the WAC, reviewing regulatory agency inspection programs, and summarizing waste verification technology and equipment. The results of the study indicate that waste generators conduct verification programs that include packaging, classification, characterization, and stabilization elements. The current LLW disposal facilities perform waste verification steps on incoming shipments. A model inspection and verification program, which includes an emphasis on the generator`s waste application documentation of their waste verification program, is recommended. The disposal facility verification procedures primarily involve the use of portable radiological survey instrumentation. The actual verification of generator compliance to the LLW disposal facility WAC is performed through a combination of incoming shipment checks and generator site audits.

  1. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Jo雔

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap by the Semiconductor Research Corporation (SRC) under contract no. 99璗J684, the National Science Foundation (NSF

  2. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Jo雔

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap reaches some pre-computed threshold, which indicates that This research is supported by the Semiconductor

  3. Practical API Protocol Checking with Access Permissions

    E-Print Network [OSTI]

    for a large Java standard API with our approach. We also specify several other Java APIs and identify standard APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.2 ProtocolPractical API Protocol Checking with Access Permissions Kevin Bierhoff Nels E. Beckman Jonathan

  4. Asserting and Checking Determinism for Multithreaded Programs

    E-Print Network [OSTI]

    Sen, Koushik

    Asserting and Checking Determinism for Multithreaded Programs Jacob Burnim EECS Department, UC provided that copies are not made or distributed for profit or commercial advantage and that copies bear

  5. Honeywell Modular Automation System Acceptance Test Procedure

    SciTech Connect (OSTI)

    STUBBS, A.M.

    1999-09-21T23:59:59.000Z

    The purpose of this Acceptance Test Procedure (ATP) is to verify the operability of the three new furnaces as controlled by the new Honeywell Modular Automation System (MAS). The Honeywell MAS is being installed in PFP to control the three thermal stabilization furnaces in glovebox HA-211. The ATP provides instructions for testing the configuration of the Honeywell MAS at the Plutonium Finishing Plant(PFP). The test will be a field test of the analog inputs, analog outputs, and software interlocks. The interlock test will check the digital input and outputs. Field equipment will not be connected forth is test. Simulated signals will be used to test thermocouple, limit switch, and vacuum pump inputs to the PLUMAS.

  6. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

    E-Print Network [OSTI]

    Y黭sel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

    2012-01-01T23:59:59.000Z

    Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

  7. Structural acceptance criteria Remote Handling Building Tritium Extraction Facility

    SciTech Connect (OSTI)

    Mertz, G.

    1999-12-16T23:59:59.000Z

    This structural acceptance criteria contains the requirements for the structural analysis and design of the Remote Handling Building (RHB) in the Tritium Extraction Facility (TEF). The purpose of this acceptance criteria is to identify the specific criteria and methods that will ensure a structurally robust building that will safely perform its intended function and comply with the applicable Department of Energy (DOE) structural requirements.

  8. ModelChecking A Tutorial Introduction

    E-Print Network [OSTI]

    Schmidt, David A.

    Model颅Checking A Tutorial Introduction Markus M篓uller颅Olm 1 , David Schmidt 2 , and Bernhard to provide a practitioner with a basis she #12; 2 Markus M篓uller颅Olm, David Schmidt, and Bernhard Steffen x=0

  9. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen, the Netherlands Email: jasperb,dnjansen,fvaan @cs.ru.nl Abstract--We introduce FORTUNA, the first tool for model of probabilistic timed automata (PTAs) with cost-rates and discrete cost increments on states. FORTUNA is able

  10. Keep new concepts Check cognition level

    E-Print Network [OSTI]

    Chaudhuri, Surajit

    point "cold" topic "hot" topicTop HealthScience Nuclear Energy Safety& Accidents Concepts at time point Keep new concepts Check cognition level = number of news {Japan, nuclear, disaster Multilingual Wikipedia history analysis Japan footballteam national nuclear disaster Set of candidates per time

  11. Model Checking User Interfaces Abigail Cauchi

    E-Print Network [OSTI]

    Pace, Gordon J.

    Model Checking User Interfaces Abigail Cauchi Dept of Computer Science University of Malta acau0004@um.edu.mt Gordon Pace Dept of Computer Science University of Malta gordon.pace@um.edu.mt Sandro Spina Dept of Computer Science University of Malta sandro.spina@um.edu.mt Abstract User interfaces

  12. Now Accepting Applications: BUILD Funding Opportunity | Department...

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

    November 14, 2014 5:00PM EST to December 19, 2014 5:00PM EST Through its annual Buildings University Innovators and Leaders Development (BUILD) funding opportunity, the Energy...

  13. Now Accepting Applications for Alvarez Fellowship!

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

    chamber and data analysis." Apply now for the Luis W. Alvarez Postdoctoral Fellowship in Computational Science, sponsored by Lawrence Berkeley National Laboratory's Computing...

  14. Energy Department Accepting Small Business Grant Applications...

    Office of Environmental Management (EM)

    of the undeveloped hydropower resource potential in the United States may require turbine-generator units operating at "heads," the height at which the water falls, less than...

  15. Venture Acceleration Fund now accepting 2012 applications

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron SpinPrincetonUsing Maps1 - USAFof EnergyVendor InformationVenture

  16. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

    Destefan, Dennis E. (Broomfield, CO); Stompro, David A. (Idaho Falls, ID)

    1991-01-01T23:59:59.000Z

    A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

  17. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness Melanie Dulong de. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical

  18. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of dif- ferent SMT solvers

  19. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University by encoding word-level information in theories richer than propositional logic and using SMT solvers for the gener- ated verification conditions. Here, we investigate the application of different SMT solvers

  20. AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES

    E-Print Network [OSTI]

    Tronci, Enrico

    AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES Giuseppe Della Penna Keywords: Controller Synthesis, Controller Optimization, Model Checking, Nonlinear Systems Abstract: We INTRODUCTION Control systems (or, shortly, controllers) are small hardware/software components that control

  1. Acceptance Criteria Framework for Autonomous Biological Detectors

    SciTech Connect (OSTI)

    Dzenitis, J M

    2006-12-12T23:59:59.000Z

    The purpose of this study was to examine a set of user acceptance criteria for autonomous biological detection systems for application in high-traffic, public facilities. The test case for the acceptance criteria was the Autonomous Pathogen Detection System (APDS) operating in high-traffic facilities in New York City (NYC). However, the acceptance criteria were designed to be generally applicable to other biological detection systems in other locations. For such detection systems, ''users'' will include local authorities (e.g., facility operators, public health officials, and law enforcement personnel) and national authorities [including personnel from the Department of Homeland Security (DHS), the BioWatch Program, the Centers for Disease Control and Prevention (CDC), and the Federal Bureau of Investigation (FBI)]. The panel members brought expertise from a broad range of backgrounds to complete this picture. The goals of this document are: (1) To serve as informal guidance for users in considering the benefits and costs of these systems. (2) To serve as informal guidance for developers in understanding the needs of users. In follow-up work, this framework will be used to systematically document the APDS for appropriateness and readiness for use in NYC.

  2. Mining Complex Boolean Expressions for Sequential Equivalence Checking

    E-Print Network [OSTI]

    Ramakrishnan, Naren

    Mining Complex Boolean Expressions for Sequential Equivalence Checking Neha Goel, Michael S. Hsiao-flops in a sequential circuit for sequential equivalence checking. In contrast to traditional learning methods, our be arbitrary boolean expressions and can thus prune a large don't care space during equivalence checking

  3. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thi閎aux, Sylvie

    Pho Printed by LAAS-CNRS Workshop Planning via Model Checking F. Kabanza S. Thi閎aux Toulouse, April 23, 2002 #12;#12;Proceedings of the AIPS-02 Workshop on Planning via Model-Checking Toulouse Rune Jensen, Carnegie Mellon University, USA i #12;#12;Foreword Model checking is currently one

  4. Cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror

    SciTech Connect (OSTI)

    Yuan, Sheng Sam; Goldberg, Kenneth A.; Yashchuk, Valeriy V.; Celestre, Richard; McKinney, Wayne R.; Morrison, Gregory; Macdougall, James; Mochi, Iacopo; Warwick, Tony

    2010-09-15T23:59:59.000Z

    At the Advanced Light Source (ALS), we are developing broadly applicable, high-accuracy, in-situ, at-wavelength wavefront slope measurement techniques for Kirkpatrick-Baez (KB) mirror nano-focusing. In this paper, we report an initial cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror. This cross-check provides a validation of the in-situ shearing interferometry currently under development at the ALS.

  5. A VSLI design rule check program generator

    E-Print Network [OSTI]

    Harwood, Ann Elizabeth Gelber

    1985-01-01T23:59:59.000Z

    A VLSI DESIGN RULE CHECK PROGRAM GENERATOR A Thesis bi ANN ELIZABETH GELBER HARWOOD Submitted to the Graduate College of Texas A8cM University in partial fulhllment of the requirement for the degree of MASTER OF SCIENCE December 1985 Major... TO VLSI DESIGN AT TEXAS A8cM UNIVERSITY" 64 70 TABLE OF CONTENTS (Continued) Page APPENDIX C APPENDIX D APPENDIX E VITA LYRA RULESET FOR T. I. DESIGN RULES AMRULES RULESET FOR MAKEDRC PROGRAM LISTINGS 82 86 , 121 LIST OF TABLES Table I...

  6. ClimateCHECK | 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK Jump

  7. Acceptable Documents for Identity Proofing

    Broader source: Energy.gov [DOE]

    It is a requirement that the identity of a DOE Digital Identity Subscriber be verified against acceptable identity source documents. A Subscriber must appear in person and present their Federal...

  8. ASME PTC 46 -- Acceptance test code for overall plant performance

    SciTech Connect (OSTI)

    Friedman, J.R. [Siemens-Westinghouse Power Corp., Orlando, FL (United States); Yost, J.G. [Sargent and Lundy, Chicago, IL (United States)

    1999-11-01T23:59:59.000Z

    ASME published PTC 46 in 1996 after five years of development. PTC 46 is the first industry standard providing explicit procedures for conducting acceptance tests to determine the overall thermal performance and output of power generating units. It is applicable to any heat cycle power generating unit. This survey paper provides an overview of PTC 46 and discusses how PTC 46 can be used for acceptance testing of new combined cycle and fossil steam power generating units. Several technical papers have been previously presented that provide more detailed information and discussion on the use of PTC 46 in acceptance testing.

  9. Anaerobic Digester Gas-to-Electricity Rebate and Performance Incentive

    Broader source: Energy.gov [DOE]

    Note: This program is not currently accepting applications. Check back for updates regarding future solicitations.

  10. Technical Position, Regarding Acceptable Methods for Assessing...

    Office of Environmental Management (EM)

    Regarding Acceptable Methods for Assessing and Recording Radiation Doses to Individuals Technical Position, Regarding Acceptable Methods for Assessing and Recording Radiation Doses...

  11. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM : Acceptance Checklist...

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

    PROGRAM : Acceptance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM : Acceptance Checklist The following checklist is intended to provide system owners, project managers,...

  12. Central Characterization Program (CCP) Acceptable Knowledge Documentat...

    Office of Environmental Management (EM)

    Acceptable Knowledge Documentation Central Characterization Program (CCP) Acceptable Knowledge Documentation This document was used to determine facts and conditions during the...

  13. ACCEPTANCE REQUIREMENTS AND HOME ENERGY RATING SYSTEMS

    E-Print Network [OSTI]

    ................................................................................................. NJ-5 NJ.6. Lighting Control Systems ........................................................................................................... NJ-6 NJ.6.1 Automatic Daylighting Controls Acceptance ........................................................................... NJ-9 NJ.6.4 Automatic Time Switch Control Acceptance

  14. Course Materials ALWAYS check the MA 15300 website FIRST ...

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03T23:59:59.000Z

    policies and understand all the course materials on the website. ALWAYS check the MA 15300 website FIRST when searching for class information.

  15. 5 Checks & 5 Tips for INCITE | Argonne Leadership Computing Facility

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

    Science at ALCF Allocation Programs INCITE Program 5 Checks & 5 Tips for INCITE Mira Computational Readiness Assessment ALCC Program Director's Discretionary (DD) Program Early...

  16. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of different SMT solvers to the verification of embedded software written in ANSI-C. We have extended the encodings from previous SMT-based bounded model checkers to provide more accurate support for finite variables, bit-vector operations, arrays, structures, unions and pointers. We have integrated the CVC3, Boolector, and Z3 solvers with the CBMC front-end and evaluated them using both standard software model checking benchmarks and typical embedded applications from telecommunications, control systems and medical devices. The experiments show that our approach can analyze larger problems and sub...

  17. INTEGRATED PEST MANAGEMENT CHECK LIST INTRODUCTION

    E-Print Network [OSTI]

    Mathis, Wayne N.

    , windows, water and heat sources and areas of potential insect activity. Are there cracks and/ or holes of pests present. Advantages to IPM Decreased use of chemical application will reduce risks to the health of staff members. Decreased use of chemical application will reduce the risk of deterioration

  18. Designing programs that check their work \\Lambda Manuel Blum

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Designing programs that check their work \\Lambda Manuel Blum Comp. Sci. Division U. of California Classification D.2.4 F.2.0 F.3.1 G.3 Abstract A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run

  19. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi CNRS, ENS Lyon--We introduce bisimulation up to congruence as a technique for proving language equivalence of non algorithm. I. INTRODUCTION Checking language equivalence of finite automata is a clas- sical problem

  20. Using Model Checking for Analyzing Distributed Power Control Problems

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    1 Using Model Checking for Analyzing Distributed Power Control Problems Thomas Brihaye, Marc. Realizing that the distributed power control (PC) problem can be modeled by a timed game between a given Distributed power control, game theory, interference channel, model checking, timed games, verification

  1. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

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

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

    E-Print Network [OSTI]

    Pientka, Brigitte

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

  3. Using Distinguishing and UIO Sequences Together in a Checking Sequence

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    Using Distinguishing and UIO Sequences Together in a Checking Sequence M. Cihan Yalcin1 and Husnu Abstract. If a finite state machine M does not have a distinguishing sequence, but has UIO sequences for its states, there are methods to produce a checking sequence for M. However, if M has a distinguishing

  4. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

    E-Print Network [OSTI]

    Jourdan, Guy-Vincent

    Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences Robert M. Hierons of a preset dis- tinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive

  5. Assumption-Commitment Support for CSP Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    AVoCS 2006 Assumption-Commitment Support for CSP Model Checking Nick Moffat1 Systems Assurance using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form-Guarantee, CSP, Model Checking, Compositional Reasoning 1 Introduction The principle of compositional program

  6. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    FD- 258) and submits the fingerprint card to the Federal Bureau of Investigation (FBI) for identification and a criminal history records check. The FBI will return the results of its records check risks, criminal record information will be obtained from the FBI under the guideline of this policy

  7. Accepting the T3D

    SciTech Connect (OSTI)

    Rich, D.O.; Pope, S.C.; DeLapp, J.G.

    1994-10-01T23:59:59.000Z

    In April, a 128 PE Cray T3D was installed at Los Alamos National Laboratory`s Advanced Computing Laboratory as part of the DOE`s High-Performance Parallel Processor Program (H4P). In conjunction with CRI, the authors implemented a 30 day acceptance test. The test was constructed in part to help them understand the strengths and weaknesses of the T3D. In this paper, they briefly describe the H4P and its goals. They discuss the design and implementation of the T3D acceptance test and detail issues that arose during the test. They conclude with a set of system requirements that must be addressed as the T3D system evolves.

  8. Stakeholder acceptance analysis ResonantSonic drilling

    SciTech Connect (OSTI)

    Peterson, T. [Battelle Seattle Research Center, WA (United States)

    1995-12-01T23:59:59.000Z

    This report presents evaluations, recommendations, and requirements concerning ResonantSonic Drilling (Sonic Drilling), derived from a three-year program of stakeholder involvement. Sonic Drilling is an innovative method to reach contamination in soil and groundwater. The resonant sonic drill rig uses counter-rotating weights to generate energy, which causes the drill pipe to vibrate elastically along its entire length. In the resonant condition, forces of up to 200,000 pounds are transmitted to the drill bit face to create a cutting action. The resonant energy causes subsurface materials to move back into the adjacent formation, permitting the drill pipe to advance. This report is for technology developers and those responsible for making decisions about the use of technology to remediate contamination by volatile organic compounds. Stakeholders` perspectives help those responsible for technology deployment to make good decisions concerning the acceptability and applicability of sonic drilling to the remediation problems they face.

  9. Blind and Deaf to Acceptance: The Role of Self-Esteem in Capitalizing on Social Acceptance

    E-Print Network [OSTI]

    Luerssen, Anna Maud

    2013-01-01T23:59:59.000Z

    Blind and Deaf to Acceptance: The Role of Self-Esteem inGlaser Spring 2013 Abstract Blind and Deaf to Acceptance:never have been possible. Blind and Deaf to Acceptance: The

  10. ALTERNATE ACCEPTANCE OF WULFENSTEIN PIT AGGREGATE

    SciTech Connect (OSTI)

    J. W. Keifer

    1999-06-24T23:59:59.000Z

    The purpose of this calculation is to evaluate Wulfenstein fine aggregate for acceptability under ASTM C 33 standard specification.

  11. Secretary Richardson Accepts Recommendations for Improving Security...

    National Nuclear Security Administration (NNSA)

    Secretary Richardson Accepts Recommendations for Improving Security at Nuclear Weapons Laboratories | National Nuclear Security Administration Facebook Twitter Youtube Flickr RSS...

  12. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Park, CA Sep 19, 2014 #12;Alan Turing It is of course important that some efforts be made to verify hold in each case. Alan Turing (quoted by D. MacKenzie in Risk and Reason) N. Shankar Model checking

  13. Checking Herbrand Equalities and Beyond Markus Muller-Olm1

    E-Print Network [OSTI]

    M眉ller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus M篓uller-Olm1 , Oliver R篓uthing1 , and Helmut Seidl2 M篓uller-Olm, Oliver R篓uthing, and Helmut Seidl This deficiency is still present in the algorithm

  14. Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,w.emmerich

  15. Smog Check II Evaluation Part II: Overview of Vehicle

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part II: Overview of Vehicle Emissions . . . . . . . . . . . . Prepared in Later Sections ____________________ 1 3. Older Vehicles Have Higher Emissions on Average _____________ 3 4. The Vehicle Fleet Is Dominated by Newer Vehicles______________ 8 5. More Recent Vehicle Models

  16. Specifying and Checking Semantic Atomicity for Multithreaded Programs

    E-Print Network [OSTI]

    Necula, George

    Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula or commercial advantage and that copies bear this notice and the full citation on the first page. To copy

  17. Strain-Based Acceptance Criteria for Energy-Limited Events

    SciTech Connect (OSTI)

    Spencer D. Snow; Dana K. Morton

    2009-07-01T23:59:59.000Z

    The American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel (B&PV) Code was primarily written with stress-based acceptance criteria. These criteria are applicable to force, displacement, and energy-controlled loadings and ensure a factor of safety against failure. However, stress-based acceptance criteria are often quite conservative for one time energy-limited events such as accidental drops and impacts. For several years, the ASME Working Group on Design of Division 3 Containments has been developing the Design Articles for Section III, Division 3, 揅ontainments for Transportation and Storage of Spent Nuclear Fuel and High-Level Radioactive Material and Waste, and has wanted to establish strain-based acceptance criteria for accidental drops of containments. This Division 3 working group asked the Working Group on Design Methodology (WGDM) to assist in developing these strain-based acceptance criteria. This paper discusses the current proposed strain-based acceptance criteria, associated limitations of use, its background development, and the current status.

  18. Acceptance sampling using judgmental and randomly selected samples

    SciTech Connect (OSTI)

    Sego, Landon H.; Shulman, Stanley A.; Anderson, Kevin K.; Wilson, John E.; Pulsipher, Brent A.; Sieber, W. Karl

    2010-09-01T23:59:59.000Z

    We present a Bayesian model for acceptance sampling where the population consists of two groups, each with different levels of risk of containing unacceptable items. Expert opinion, or judgment, may be required to distinguish between the high and low-risk groups. Hence, high-risk items are likely to be identifed (and sampled) using expert judgment, while the remaining low-risk items are sampled randomly. We focus on the situation where all observed samples must be acceptable. Consequently, the objective of the statistical inference is to quantify the probability that a large percentage of the unsampled items in the population are also acceptable. We demonstrate that traditional (frequentist) acceptance sampling and simpler Bayesian formulations of the problem are essentially special cases of the proposed model. We explore the properties of the model in detail, and discuss the conditions necessary to ensure that required samples sizes are non-decreasing function of the population size. The method is applicable to a variety of acceptance sampling problems, and, in particular, to environmental sampling where the objective is to demonstrate the safety of reoccupying a remediated facility that has been contaminated with a lethal agent.

  19. Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management-723-9456 Original to Mail Code 6207 5020 (must be typed "PCWord version" available in link below) http://www.stanford.edu/dept/Risk-Management

  20. Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List Questions contact Department's HR or Risk Management 650-723-7400 Any Death or Serious Injury://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management

  1. Elastic energy storage in b-sheets with application to F1-ATPase Received: 26 December 2002 / Revised: 11 March 2003 / Accepted: 4 April 2003 / Published online: 3 September 2003

    E-Print Network [OSTI]

    Sun, Sean

    ARTICLE Elastic energy storage in b-sheets with application to F1-ATPase Received: 26 December 2002) of elastic energy is stored in the b-sheet as the b-subunit undergoes its hinge bending motion, in good to deduce the relative free energies of each equilibrated structure. This allows us to determine the free

  2. Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6 weeks for processing form, fingerprint card and payment--to the following address: FBI CJIS Division Record Request 1000

  3. SAPHIRE 8 Software Acceptance Test Plan

    SciTech Connect (OSTI)

    Ted S. Wood; Curtis L. Smith

    2009-07-01T23:59:59.000Z

    This document describe & report the overall SAPHIRE 8 Software acceptance test paln to offically release the SAPHIRE version 8 software to the NRC custoer for distribution.

  4. Central Characterization Program (CCP), Acceptable Knowledge...

    Office of Environmental Management (EM)

    for Los Alamos National Laboratory, TA-55 Mixed Transuranic Waste Streams Central Characterization Program (CCP), Acceptable Knowledge Summary Report for Los Alamos National...

  5. FBI officer accepts LANL counterintelligence post

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

    LANL counterintelligence FBI officer accepts LANL counterintelligence post Cloyd has most recently served as assistant director of the Counterintelligence Division of the Federal...

  6. Check for peroxides every 6 months. opened test 1 test 2 test 3

    E-Print Network [OSTI]

    Pawlowski, Wojtek

    Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. Test strips can be obtained from EH&S, 5-8200 opened test 1 test 2 test 3 date initials Check for peroxides

  7. EERE Science and Technology Policy (STP) Fellowships Application...

    Energy Savers [EERE]

    EERE Science and Technology Policy (STP) Fellowships Application Form EERE Science and Technology Policy (STP) Fellowships Application Form Applications are accepted year-round. In...

  8. Application for Permit to Construct Access Driveway Facilities...

    Open Energy Info (EERE)

    Application for Permit to Construct Access Driveway Facilities on Highway Right of Way DOI Not Provided Check for DOI availability: http:crossref.org Online Internet link...

  9. Recommended Practice for Accepting New Concrete Pavement

    E-Print Network [OSTI]

    Recommended Practice for Accepting New Concrete Pavement Surfaces for Tire/Pavement Noise Designation: CPSCP PP 1-11 (rev 3/1/2011) National Concrete Pavement Technology Center 2711 South Loop Drive, Suite 4700 Ames, IA 50010 #12;PP 1-1 CPSCP Recommended Practice for Accepting New Concrete Pavement

  10. Nevada Test Site Waste Acceptance Criteria (NTSWAC)

    SciTech Connect (OSTI)

    NNSA /NSO Waste Management Project

    2008-06-01T23:59:59.000Z

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office, Nevada Test Site Waste Acceptance Criteria (NTSWAC). The NTSWAC provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive (LLW) and LLW Mixed Waste (MW) for disposal.

  11. TENDER AND ACCEPTANCE FORM STIPULATED PRICE CONTRACT

    E-Print Network [OSTI]

    deYoung, Brad

    TENDER AND ACCEPTANCE FORM FOR STIPULATED PRICE CONTRACT June 2013 #12;Stipulated Price Contract with that of all Subcontractors working on the Project. (See Appendix "D" for sample schedule that must be submitted within 10 days #12;Stipulated Price Contract Tender and Acceptance Form Page 2 of contract award

  12. ENHANCING STAKEHOLDER ACCEPTANCE OF BIOREMEDIATION TECHNOLOGIES

    SciTech Connect (OSTI)

    Focht, Will; Albright, Matt; Anex, Robert P., Jr., ed.

    2009-04-21T23:59:59.000Z

    This project inquired into the judgments and beliefs of people living near DOE reservations and facilities at Oak Ridge, Tennessee; Hanford, Washington; and Los Alamos, Tennessee about bioremediation of subsurface contamination. The purpose of the investigation was to identify strategies based on these judgments and beliefs for enhancing public support of bioremediation. Several methods were used to collect and analyze data including content analysis of transcripts of face-to-face personal interviews, factor analysis of subjective perspectives using Q methodology, and statistical analysis of results from a large-sample randomized telephone survey. Content analysis of interview transcripts identified themes about public perceptions and constructions of contamination risk, risk management, and risk managers. This analysis revealed that those who have no employment relationship at the sites and are not engaged in technical professions are most concerned about contamination risks. We also found that most interviewees are unfamiliar with subsurface contamination risks and how they can be reduced, believe they have little control over exposure, are frustrated with the lack of progress in remediation, are concerned about a lack of commitment of DOE to full remediation, and distrust site managers to act in the public interest. Concern is also expressed over frequent site management turnover, excessive secrecy, ineffective and biased communication, perceived attempts to talk the public into accepting risk, and apparent lack of concern about community welfare. In the telephone survey, we asked respondents who were aware of site contamination about their perceptions of risk from exposure to subsurface contamination. Response analysis revealed that most people believe that they are at significant risk from subsurface contamination but they acknowledge that more education is needed to calibrate risk perceptions against scientific risk assessments. Most rate their personal control over exposure as low. Slightly more than half believe that risk reduction should be balanced against cost. We also found that distrust of DOE and its contractors exists, primarily due to the perception that site managers do not share public values; hence, the public is generally unwilling to defer to DOE in its decision-making. The concomitant belief of inefficacy confounds distrust by generating frustration that DOE does not care. Moreover, the public is split with respect to trust of each other, primarily because of the belief that citizens lack technical competence. With respect to bioremediation support, we found that more than 40% of the public has no opinion. However, of those who do, 3 of 4 are favorably disposed particularly among those who believe that risk is lower and who are more trusting of site management. We presented survey respondents with four alternative participation strategies based on the results of the Q analysis and asked their judgments of each. The public prefers strategies that shifts power to them. The least empowered strategy (feedback) was supported by 46%; support grew as public power increased, reaching 66% support for independently facilitated deliberation. More DOE distrust generates more support for high power strategies. We offer the following recommendations to enhance public acceptance. First, and perhaps most importantly, site managers should pursue robust trust-building efforts to gain public confidence in DOE risk management that meets public expectations. Public trust decreases risk perception, which increases public willingness to defer to site managers discretion in decision-making, which in turn increases public acceptance of the decisions that result. Second, site managers should address public concerns about bioremediation such as its effectiveness in reducing risk, performance compared to other remediation alternatives, costs compared against benefits, time required to start and complete remediation, level of risk that is currently posed by contamination, and scope of application. Third, more should be d

  13. Revising Specifications with CTL Properties using Bounded Model Checking

    E-Print Network [OSTI]

    Finger, Marcelo

    Revising Specifications with CTL Properties using Bounded Model Checking No Author Given that inconsistencies arise between the formal specification and some desired property. Belief Revision deals. In this paper, we propose the use of belief revision techniques in order to deal with inconsistencies in formal

  14. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

    ES&H Safety Walk Around Check List for Managers Lab Work Environment (Labs & Storage Areas) Are all Waste x4644 Health Services x6266 Industrial & Shop Safety, including Machine Guarding x7170 Radiation shields or face shield) available for dispensing super cold liquids (cryogens like liquid nitrogen

  15. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi Damien Pous CNRS, ENS introduce bisimulation up to congruence as a technique for proving language equivalence of non Language Equivalence, Automata, Bisimulation, Coin- duction, Up-to techniques, Congruence, Antichains. 1

  16. The Perfect ``Spy'' for Model-Checking Cryptoprotocols

    E-Print Network [OSTI]

    Roscoe, Bill

    its inference system, in the process algebra CSP. Techniques for keeping the state space within Processes (CSP), as are specifications such as confidentiality. The model checking exploits (and has in turn attractive decomposition would provide a two-state process for each possible ``fact'', essentially

  17. Check it out! -1 -| P a g e

    E-Print Network [OSTI]

    sustainable living guide. I - Courtesy of R.Millar ConsumptionCheck it out! #12;- 1 - | P a g e Making sustainable choices are beneficial not only to the nature from beginner to advanced sustainability practices, so you can do you! Enjoy the B.U. Be Green

  18. Coded modulation with Low Density Parity Check codes

    E-Print Network [OSTI]

    Narayanaswami, Ravi

    2001-01-01T23:59:59.000Z

    This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC...

  19. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

    E-Print Network [OSTI]

    Bollig, Benedikt

    Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking Benedikt,cyriac,gastin,zeitoun}@lsv.ens-cachan.fr Abstract. We develop a general framework for the design of temporal logics for concurrent recursive programs. A program execution is modeled as a partial order with multiple nesting relations. To specify

  20. Error detection through consistency checking Peng Gong* Lan Mu#

    E-Print Network [OSTI]

    Silver, Whendee

    Error detection through consistency checking Peng Gong* Lan Mu# *Center for Assessment & Monitoring Hall, University of California, Berkeley, Berkeley, CA 94720-3110 gong@nature.berkeley.edu mulan, accessibility, and timeliness as recorded in the lineage data (Chen and Gong, 1998). Spatial error refers

  1. Web Service Composition: a Reality Check Jianguo Lu, 2

    E-Print Network [OSTI]

    Lu, Jianguo

    - 1 - Web Service Composition: a Reality Check 1 Jianguo Lu, 2 Yijun Yu, 1 Debashis Roy, 1 Deepa Department, The Open University y.yu@open.ac.uk Abstract Automated web service composition is one dynamically and automatically. To investigate the methods for composite web service construction, we conducted

  2. Checking Session-Oriented Interactions between Web Services

    E-Print Network [OSTI]

    Checking Session-Oriented Interactions between Web Services Pavel Parizek1 , Jiri Adamek1,2 1 of Sciences of the Czech Republic, Institute of Computer Science Abstract Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services

  3. Perturbative Check of the Action and Energy Lattice Sum Rules

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04T23:59:59.000Z

    Lattice sum rules are checked using lattice perturbation theory. The action sum rule gives a relation between the quark-antiquark potential, its logarithmic derivative with respect to distance and the expectation value of the action; the energy sum rule expresses the potential as the sum of the energy in the gluon fields and of an anomalous term. Two different independent calculations of the quark-antiquark potential are presented, and the transversality of the gluonic vacuum polarization on the lattice is proven. The crucial part of the action sum rule is an identity whose explicit check using perturbation theory provides methods and results which are useful for checking the energy sum rule. Additionally, the gauge invariance of the expectation value of the Wilson loop up to next-to-leading order is proven. The possibility of restricting the expectation value of the action to one fixed time slice is discussed. The energy sum rule is checked perturbatively up to next-to-leading order and shown to be satisfied with good numerical accuracy. The various contributions to the quark-antiquark potential are analyzed, and the restriction of the expectation value of the sum over all spatial plaquettes (the energy in the magnetic fields) to one fixed time slice is examined.

  4. Model Checking for Database Theoreticians Moshe Y. Vardi 1#

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    techniques to establish the correctness of the system under verification with respect to a given property. Model checking is an algorithmic璿erification technique that is based on a small number of key ideas to database verification. 1 Introduction The recent growth in computer power and connectivity has changed

  5. Reuse of Verification Results Conditional Model Checking, Precision Reuse,

    E-Print Network [OSTI]

    Beyer, Dirk

    further verification runs of the system; information about the level of abstraction in the abstract modelReuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification checker which parts of the system should be verified; thus, later verification runs can use the output

  6. Flat acceleration in symbolic model checking Sebastien Bardin1

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    . Key words: verification of infinite-state systems, symbolic model checking, ac- celeration. 1 research teams from de- veloping powerful innovative model checkers for infinite-state systems. For example verification pro- cedures that can handle systems with an infinite state space. So-called "accelera- tion

  7. Eoeective Recognizability and Model Checking of Reactive Fioeo Automata

    E-Print Network [OSTI]

    Sutre, Gr茅goire

    Electre. For this, we de酶ne a particular behavioral model for Electre programs, Reactive Fioeo Au颅 tomata speci酶ed with the reactive language Electre [CR95]. A reactive pro颅 gram is supposed to reactEoeective Recognizability and Model Checking of Reactive Fioeo Automata G. Sutre 1 , A. Finkel 1

  8. National propane safety week caps fifth anniversary of GAS Check

    SciTech Connect (OSTI)

    Prowler, S.

    1990-09-01T23:59:59.000Z

    This paper reports on National Propane Safety Week. The publicity encompassed everything from preventative maintenance to safe winter storage of cylinders. This campaign focused much of its attention on GAS (gas appliance system) Check, the propane industry's most well-known safety program.

  9. Equivalence Checking for Function Pipelining in Behavioral Synthesis

    E-Print Network [OSTI]

    Xie, Fei

    on subtle design invariants. Function pipelining (a.k.a. system-level pipelining) is an important, correct-by-construction abstraction of function pipeline; thus, instead of developing pipelineEquivalence Checking for Function Pipelining in Behavioral Synthesis Kecheng Hao, Sandip Ray

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

    E-Print Network [OSTI]

    Ray, Indrakshi

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

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

    E-Print Network [OSTI]

    Abel, Andreas

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

  12. Applying High Performance Computing to Analyzing by Probabilistic Model Checking

    E-Print Network [OSTI]

    Schneider, Carsten

    Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular on the use of high performance computing in order to analyze with the proba- bilistic model checker PRISM. The Figure Generation Script 22 2 #12;1. Introduction We report in this paper on the use of high performance

  13. Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Jo毛l

    Model checking Timed CSP Philip Armstrong Gavin Lowe Jo篓el Ouaknine A.W. Roscoe Oxford University Department of Computer Science Abstract Though Timed CSP was developed 25 years ago and the CSP for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results

  14. Polymorphic CSP Type Checking Ping Gao and Robert Esser

    E-Print Network [OSTI]

    Esser, Robert

    Polymorphic CSP Type Checking Ping Gao and Robert Esser Concurrent and Real璽ime Systems Laboratory@cs.adelaide.edu.au Abstract Communicating Sequential Processes (CSP) is a lan guage used to describe and reason about between a conventional functional lan guage type checker and a type checker for the CSP language

  15. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Modular SMT Proofs for Fast Reflexive Checking inside Coq Fr磂d磂ric Besson, Pierre methodology for exchanging unsatisfia- bility proofs between an untrusted SMT solver and a sceptical proof assistant with computation capabilities like Coq. We advocate modu- lar SMT proofs that separate boolean

  16. Page 1 September 2014EMC'2014 Software Model Checking

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Page 1 September 2014EMC'2014 Dynamic Software Model Checking Patrice Godefroid Microsoft Research #12;Page 2 September 2014EMC'2014 Ed Clarke: A man, An idea... 路 LASER'2011 summer school (Elba island, Italy) #12;Page 3 September 2014EMC'2014 Ed Clarke: A man, An idea... 路 LASER'2011 summer school (Elba

  17. A Simplified Model Of QuickCheck Automata Kevin Falzon

    E-Print Network [OSTI]

    Pace, Gordon J.

    A Simplified Model Of QuickCheck Automata Kevin Falzon University of Malta kfal0002@um.edu.mt Gordon J. Pace University of Malta gordon.pace@um.edu.mt ABSTRACT Placing guarantees on a program in this publication is partially funded by the Strategic Educational Pathways Scholarship (Malta). The scholarship

  18. Hanford Site Solid Waste Acceptance Criteria

    SciTech Connect (OSTI)

    Not Available

    1993-11-17T23:59:59.000Z

    This manual defines the Hanford Site radioactive, hazardous, and sanitary solid waste acceptance criteria. Criteria in the manual represent a guide for meeting state and federal regulations; DOE Orders; Hanford Site requirements; and other rules, regulations, guidelines, and standards as they apply to acceptance of radioactive and hazardous solid waste at the Hanford Site. It is not the intent of this manual to be all inclusive of the regulations; rather, it is intended that the manual provide the waste generator with only the requirements that waste must meet in order to be accepted at Hanford Site TSD facilities.

  19. NEVADA TEST SITE WASTE ACCEPTANCE CRITERIA

    SciTech Connect (OSTI)

    U.S. DEPARTMENT OF ENERGY, NATIONAL NUCLEAR SECURITY ADMINISTRATION, NEVADA SITE OFFICE

    2005-07-01T23:59:59.000Z

    This document establishes the U. S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) waste acceptance criteria (WAC). The WAC provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive and mixed waste for disposal. Mixed waste generated within the State of Nevada by NNSA/NSO activities is accepted for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the Nevada Test Site Area 3 and Area 5 Radioactive Waste Management Site for storage or disposal.

  20. Nevada Test Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    U.S. Department of Energy, Nevada Operations Office, Waste Acceptance Criteria

    1999-05-01T23:59:59.000Z

    This document provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive and mixed waste for disposal; and transuranic and transuranic mixed waste for interim storage at the Nevada Test Site.

  1. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

    Dunn, Charlton (Calabasas, CA); Gutzmann, Edward A. (Simi Valley, CA)

    1988-01-01T23:59:59.000Z

    A removable check valve for interconnecting the discharge duct of a pump and an inlet coolant duct of a reactor core in a pool-type nuclear reactor. A manifold assembly is provided having an outer periphery affixed to and in fluid communication with the discharge duct of the pump and has an inner periphery having at least one opening therethrough. A housing containing a check valve is located within the inner periphery of the manifold. The upper end of the housing has an opening in alignment with the opening in the manifold assembly, and seals are provided above and below the openings. The lower end of the housing is adapted for fluid communication with the inlet duct of the reactor core.

  2. Formalization of the data flow diagram rules for consistency check

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

    In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool based on the formalized rules. The formalized rules for consistency check between the diagrams are used in developing the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed. The tool automates the process of manual consistency check between data flow diagrams.

  3. SMT-based Bounded Model Checking with Difference Logic Constraints

    E-Print Network [OSTI]

    Bersani, Marcello M; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

    2010-01-01T23:59:59.000Z

    Traditional Bounded Model Checking (BMC) is based on translating the model checking problem into SAT, the Boolean satisfiability problem. This paper introduces an encoding of Linear Temporal Logic with Past operators (PLTL) into the Quantifier-Free Difference Logic with Uninterpreted Functions (QF-UFIDL). The resulting encoding is a simpler and more concise version of existing SATbased encodings, currently used in BMC. In addition, we present an extension of PLTL augmented with arithmetic relations over integers, which can express unbounded counters; as such, the extended logic is more expressive than PLTL. We introduce suitable restrictions and assumptions that are shown to make the verification problem for the extended logic decidable, and we define an encoding of the new logic into QF-UFIDL. Finally, a performance comparison with the SAT-based approach on purely PLTL examples shows significant improvements in terms of both execution time and memory occupation.

  4. Energy Revolving Loan Fund- Clean Energy Advanced Manufacturing

    Broader source: Energy.gov [DOE]

    '''''Note: This program is not currently accepting applications. Check the program web site for information regarding future solicitations.'''''...

  5. Commercial Solar Thermal Incentive Program (Connecticut)

    Broader source: Energy.gov [DOE]

    '''''Note: This program is not currently accepting applications. Check the program web site for information regarding future financing programs. '''''...

  6. Solar Thermal Incentive Program

    Broader source: Energy.gov [DOE]

    Note: This program is not currently accepting applications. Check the program web site for information regarding future financing programs.

  7. City of Shasta Lake Electric Utility- PV Rebate Program

    Broader source: Energy.gov [DOE]

    '''''Note: This program is currently not accepting applications. Check the program web site for information regarding future solicitations. '''''...

  8. City of Detroit- SmartBuildings Detroit Grant Program

    Broader source: Energy.gov [DOE]

    '''''Note: This program is no longer accepting applications. Check the program web site for information regarding future solicitations.'''''...

  9. City of Detroit- SmartBuildings Detroit Green Fund Loan

    Broader source: Energy.gov [DOE]

    '''''Note: This program is no longer accepting applications. Check the program web site for information regarding future solicitations.'''''...

  10. Patterned Fabric Know - How (Plaids, Stripes, Checks, and Figured Designs).

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01T23:59:59.000Z

    DC \\1\\245.7 '13 Fbiterned Fabric mow-Kbw Contents Design Principles and Patterned Fabrics Pattern Selection Fabric Construction Selecting and Preparing Fabric Kinds of Plaids and Stripes Pri nts Other Patterned Fabrics Combining..., Stripes, Checks and Figured Designs) Extension Clothing Specialists The Texas A&M University System Patterned fabrics provide an interesting di mension to anyone's wardrobe. In a garment or as an accent, patterned fabrics are colorful and ex citing...

  11. Carbon Nanotube Vias: A Reality Check Hong Li, Navin Srivastava, Jun-Fa Mao*, Wen-Yan Yin* and Kaustav Banerjee

    E-Print Network [OSTI]

    Carbon Nanotube Vias: A Reality Check Hong Li, Navin Srivastava, Jun-Fa Mao*, Wen-Yan Yin 200240, China Abstract This paper presents a comprehensive electrothermal analysis of single-walled (SWCNT) and multi-walled carbon nanotube (MWCNT) vias possibly the most imminent application of CNT

  12. The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department completes this section. Incomplete information will delay the hiring process.

    E-Print Network [OSTI]

    Oklahoma, University of

    The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department Medical Resident Volunteer Other, Describe: APPLICANT MUST READ AND SIGN The University of Oklahoma to the Standard Pre-Employment Screening. I understand that the University of Oklahoma may utilize the services

  13. SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE

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

    SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE FACILITY CODE 17b. CHECK IF REMITTANCE IS DIFFERENT AND PUT SUCH ADDRESS IN OFFER OFFEROR 00146 Casper WY 82601 Shale...

  14. MJ no more: Using Concurrent Wikipedia Edit Spikes with Social Network Plausibility Checks for Breaking News Detection

    E-Print Network [OSTI]

    Steiner, Thomas; Summers, Ed

    2013-01-01T23:59:59.000Z

    We have developed an application called Wikipedia Live Monitor that monitors article edits on different language versions of Wikipedia, as they happen in realtime. Wikipedia articles in different languages are highly interlinked. For example, the English article en:2013_Russian_meteor_event on the topic of the February 15 meteoroid that exploded over the region of Chelyabinsk Oblast, Russia, is interlinked with the Russian article on the same topic. As we monitor multiple language versions of Wikipedia in parallel, we can exploit this fact to detect concurrent edit spikes of Wikipedia articles covering the same topics, both in only one, and in different languages. We treat such concurrent edit spikes as signals for potential breaking news events, whose plausibility we then check with full-text cross-language searches on multiple social networks. Unlike the reverse approach of monitoring social networks first, and potentially checking plausibility on Wikipedia second, the approach proposed in this paper has th...

  15. Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek and Christophe Nicolle

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    floods. Model checking is a powerful tool for system verification because it can reveal errors that were to describe the properties checking the system model. 395 hal-00617998,version1-31Aug2011 Author manuscriptSCALESEM Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek

  16. Conformance Checking with Constraint Logic Programming: The Case of Feature Models

    E-Print Network [OSTI]

    Egyed, Alexander

    . On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product of a PLM. Despite the importance of PLM conformance checking, very few research works have been published

  17. Turbo Codes are Low Density Parity Check Codes David J. C. MacKay

    E-Print Network [OSTI]

    MacKay, David J.C.

    Turbo Codes are Low Density Parity Check Codes David J. C. MacKay July 8, 1998--- Draft 0.2, not for distribution! (First draft written July 5, 1998) Abstract Turbo codes and Gallager codes (also known as low note that the parity check matrix of a Turbo code can be written as low density parity check matrix

  18. Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students)

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students) Once you have received the FBI background check. You will need to proceed with step two, obtain not waste time submitting your FBI Background Check for certification. 1.) Complete the DS-4194 Request

  19. Applications Now Being Accepted for National Geothermal Academy...

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

    University of Utah, Southern Methodist University, University of Massachusetts Dartmouth, West Virginia University and others. Individual modules will also be offered for...

  20. Scholarships that Accept Applications from International Students Scholarships

    E-Print Network [OSTI]

    Seamons, Kent E.

    aspect of pharmacy. American Nuclear Society (ANS) Graduate Scholarships http. Fellowships and Scholarships vary greatly. #12;American Institute of the History of Pharmacy Grant http://pharmacy education and prepare for careers in nuclear science and technology. American Scandinavian Foundation http

  1. ORISE: Applications being accepted for internships and research...

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

    of disciplines through the Oak Ridge Environmental Management Science Education and Internship Program. The mission of OREM is to remove environmental legacies resulting from...

  2. Energy Department Accepting Small Business Grant Applications for Large

    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 onYouTube YouTube Note: Since the YouTube|6721 Federal Register /of Energy 3Increase Energy Efficiency |

  3. Energy, Treasury Now Accepting Applications for Funding For Renewable

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011AT&T,OfficeEnd of Year 2010 SNFEnergySession 3 |DepartmentDepartment of Energy

  4. Research Experience in Carbon Sequestration 2015 Now Accepting Applications

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic2 OPAM615_CostNSAR -Department ofEMSpent NuclearEnergy| Department of

  5. ORISE: Applications being accepted for internships and research

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated CodesTransparencyDOE Project *1980-1981 U.S. OR

  6. Research Experience in Carbon Sequestration 2010 Now Accepting Applications

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn April 23, 2014, an OHASeptemberAssessments |FossilThis document providesDepartment|

  7. Research Experience in Carbon Sequestration 2013 Now Accepting Applications

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn April 23, 2014, an OHASeptemberAssessments |FossilThis document providesDepartment||

  8. Indian Energy Summer Internship Program Now Accepting Applications:

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions for DOEthe RankingReform atSolar2014 ||Alaska Energy Basics3:Deadline

  9. Applications Being Accepted for National Geothermal Academy | Department of

    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 DataDepartment of Energy Your Density Isn't Your Destiny: The FutureComments from Tarasa U.S.LLC | Department ofLPLLCU.S|Power Marketing

  10. Applications Now Being Accepted for National Geothermal Academy |

    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 DataDepartment of Energy Your Density Isn't Your Destiny: The FutureComments from Tarasa U.S.LLC | Department ofLPLLCU.S|Power

  11. Acceptance Priority Ranking & Annual Capacity Report

    SciTech Connect (OSTI)

    none,

    2004-07-31T23:59:59.000Z

    The Nuclear Waste Policy Act of 1982, as amended (the Act), assigns the Federal Government the responsibility for the disposal of spent nuclear fuel and high-level waste. Section 302(a) of the Act authorizes the Secretary to enter into contracts with the owners and generators of commercial spent nuclear fuel and/or high-level waste. The Standard Contract for Disposal of Spent Nuclear Fuel and/or High-Level Radioactive Waste (Standard Contract) established the contractual mechanism for the Department's acceptance and disposal of spent nuclear fuel and high-level waste. It includes the requirements and operational responsibilities of the parties to the Standard Contract in the areas of administrative matters, fees, terms of payment, waste acceptance criteria, and waste acceptance procedures. The Standard Contract provides for the acquisition of title to the spent nuclear fuel and/or high-level waste by the Department, its transportation to Federal facilities, and its subsequent disposal.

  12. Public Acceptability of Sustainable Transport Measures: A Review...

    Open Energy Info (EERE)

    Public Acceptability of Sustainable Transport Measures: A Review of the Literature Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Public Acceptability of Sustainable...

  13. EAC Recommendations for DOE Action Regarding Consumer Acceptance...

    Energy Savers [EERE]

    Consumer Acceptance of Smart Grid - June 6, 2013 EAC Recommendations for DOE Action Regarding Consumer Acceptance of Smart Grid - June 6, 2013 EAC Recommendations for DOE Action...

  14. Guidelines, Checklist, and Contract Clauses for Government Acceptance...

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

    Guidelines, Checklist, and Contract Clauses for Government Acceptance of Super ESPC Projects Guidelines, Checklist, and Contract Clauses for Government Acceptance of Super ESPC...

  15. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  16. An economic approach to acceptance sampling

    E-Print Network [OSTI]

    Ruth, Robert Justin

    1973-01-01T23:59:59.000Z

    AN ECONOMIC APPROACH TO ACCEPTANCE SAMPLING A Thesis by ROBERT JUSTIN RUTH Subm1tted to the Graduate College of Texas AkM University in Partial fulfillment of the requirement for the degree of MASTER OP SCIENCE May 1973 Ma)or Sub... JUSTIN RUTH I Approved as to style and content by& , J ~ W P. H. Newell Head Departmen J McNicho e Mem er 8w~ D. R. Shreve Member May 1973 ABSTRACT An Economic Approach to Acceptance Sampling (&m 1973) Robert Justin Ruth, S. S ~ , Virgin1a...

  17. Nevada Test Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    U. S. Department of Energy, National Nuclear Security Administration Nevada Site Office

    2005-10-01T23:59:59.000Z

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Site Office (NNSA/NSO) waste acceptance criteria (WAC). The WAC provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive (LLW) and mixed waste (MW) for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NTS Area 3 and Area 5 Radioactive Waste Management Complex (RWMC) for storage or disposal.

  18. PIA - Positive Pay and Check Reconciliation (POSPAY) | Department of Energy

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMakeEducation Programs Business EnclavePositive Pay and Check

  19. LCLS User Check-In Procedures | Linac Coherent Light 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHigh SchoolIn12electron 9 5 - -/e),,s - 6157Bioenergy09913User Check-In

  20. check list for those with one abnormal BeLPT

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian Nuclear Warheads|ofEventsWorkshopY-12a Multi-User Network Testbed3CHECK

  1. Southeast Herbicide Applicator Conference October 3-5, 2011

    E-Print Network [OSTI]

    Watson, Craig A.

    to application Soft Water (low alkalinity) applications may cause low pH resulting in fish Mortality Calcium be applied when there is little or no Wind Turbidity improved in a matter of hours #12;Check pond

  2. Optimizing Organ Allocation and Acceptance OGUZHAN ALAGOZ

    E-Print Network [OSTI]

    Schaefer, Andrew

    it is transplanted is called the cold ischemia time (CIT). During this time, organs are bathed in storage solutions J. SCHAEFER Departments of Industrial Engineering and Medicine University of Pittsburgh Pittsburgh of Transplant Recipients states that the acceptable cold ischemia time limit for a liver is 12 to 18 hours [22

  3. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2012-02-28T23:59:59.000Z

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Site Office (NNSA/NSO), Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept DOE non-radioactive classified waste, DOE non-radioactive hazardous classified waste, DOE low-level radioactive waste (LLW), DOE mixed low-level waste (MLLW), and U.S. Department of Defense (DOD) classified waste for permanent disposal. Classified waste is the only waste accepted for disposal that may be non-radioactive and will be required to meet the waste acceptance criteria for radioactive waste as specified in this document. The NNSA/NSO and support contractors are available to assist you in understanding or interpreting this document. For assistance, please call the NNSA/NSO Waste Management Project (WMP) at (702) 295-7063, and your call will be directed to the appropriate contact.

  4. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    none,

    2013-06-01T23:59:59.000Z

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Field Office (NNSA/NFO), Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept the following: ? DOE hazardous and non-hazardous non-radioactive classified waste ? DOE low-level radioactive waste (LLW) ? DOE mixed low-level waste (MLLW) ? U.S. Department of Defense (DOD) classified waste The LLW and MLLW listed above may also be classified waste. Classified waste is the only waste accepted for disposal that may be non-radioactive and shall be required to meet the waste acceptance criteria for radioactive waste as specified in this document. Classified waste may be sent to the NNSS as classified matter. Section 3.1.18 provides the requirements that must be met for permanent burial of classified matter. The NNSA/NFO and support contractors are available to assist the generator in understanding or interpreting this document. For assistance, please call the NNSA/NFO Environmental Management Operations (EMO) at (702) 295-7063, and the call will be directed to the appropriate contact.

  5. W-087 Acceptance test procedure. Revision 1

    SciTech Connect (OSTI)

    Joshi, A.W.

    1997-06-10T23:59:59.000Z

    This Acceptance Test Procedure/Operational Test Procedure (ATP/OTP) has been prepared to demonstrate that the Electrical/Instrumentation and Mechanical systems function as required by project criteria and to verify proper operation of the integrated system including the interlocks.

  6. THESIS/DISSERTATION ACCEPTANCE AND DEPOSIT FORM

    E-Print Network [OSTI]

    Mills, Allen P.

    THESIS/DISSERTATION ACCEPTANCE AND DEPOSIT FORM Name: Student ID: Future Employment: (ex.: Asst Spring Summer Year: Title of Thesis/Dissertation: I authorize the library of the University of California, Riverside to use or duplicate my thesis/dissertation whenever the University Library is approached

  7. Reasoning About Strategies: On the Model-Checking Problem

    E-Print Network [OSTI]

    Mogavero, Fabio; Perelli, Giuseppe; Vardi, Moshe Y

    2011-01-01T23:59:59.000Z

    In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL*, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic (CHP-SL), with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by using first-order quantifications over strategies and it has been investigated in the setting of two-agents turned-based games, where a non-elementary model-checking algorithm has been provided. While CHP-SL is a very expressive logic, we claim that it does not fully capture the strategic aspects of multi-agent systems. In this paper, we introduce and study a more general strategy logic, denoted SL, for reasoning about strategies in multi-agent co...

  8. STATE OF CALIFORNIA AUTOMATIC DAYLIGHTING CONTROL ACCEPTANCE DOCUMENT

    E-Print Network [OSTI]

    STATE OF CALIFORNIA AUTOMATIC DAYLIGHTING CONTROL ACCEPTANCE DOCUMENT CEC-LTG-3A (Revised 07/10) CALIFORNIA ENERGY COMMISSION CERTIFICATE OF ACCEPTANCE LTG-3A Automatic Daylighting Control Acceptance fraction of rated light output. #12;STATE OF CALIFORNIA AUTOMATIC DAYLIGHTING CONTROL ACCEPTANCE DOCUMENT

  9. Acceptance test procedure for the overview video camera system (OVS)

    SciTech Connect (OSTI)

    Pardini, A.F.

    1995-10-01T23:59:59.000Z

    Acceptance Test Procedure for testing the Light Duty Utility Arm (LDUA) Overview Video Camera System (OVS).

  10. Nevada test site waste acceptance criteria

    SciTech Connect (OSTI)

    NONE

    1996-09-01T23:59:59.000Z

    This document provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive and mixed waste for disposal; and transuranic and transuranic mixed waste for interim storage at the NTS. Review each section of this document. This document is not intended to include all of the requirements; rather, it is meant as a guide toward meeting the regulations. All references in this document should be observed to avoid omission of requirements on which acceptance or rejection of waste will be based. The Department of Energy/Nevada Operations Office (DOE/NV) and support contractors are available to assist you in understanding or interpreting this document.

  11. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2010-09-03T23:59:59.000Z

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept low-level radioactive waste and mixed low-level waste for disposal. The NNSSWAC includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NNSS Area 3 and Area 5 Radioactive Waste Management Complex for disposal. The NNSA/NSO and support contractors are available to assist you in understanding or interpreting this document. For assistance, please call the NNSA/NSO Waste Management Project at (702) 295-7063 or fax to (702) 295-1153.

  12. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2011-01-01T23:59:59.000Z

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept low-level radioactive waste and mixed low-level waste for disposal. The NNSSWAC includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NNSS Area 3 and Area 5 Radioactive Waste Management Complex for disposal. The NNSA/NSO and support contractors are available to assist you in understanding or interpreting this document. For assistance, please call the NNSA/NSO Waste Management Project at (702) 295-7063 or fax to (702) 295-1153.

  13. Breathing air trailer acceptance test report

    SciTech Connect (OSTI)

    Kostelnik, A.J.

    1996-02-12T23:59:59.000Z

    This Acceptance Test Report documents compliance with the requirements of specification WHC-S-0251, Rev.0 and ECNs 613530 and 606113. The equipment was tested according to WHC-SD-WM-ATP-104. The equipment tested is a Breathing Air Supply Trailer purchased as a design and fabrication procurement activity. The ATP was written by the Seller and was performed by the Seller with representatives of the Westinghouse Hanford Company witnessing portions of the test at the Seller`s location.

  14. PVUSA procurement, acceptance, and rating practices for photovoltaic power plants

    SciTech Connect (OSTI)

    Dows, R.N.; Gough, E.J.

    1995-09-01T23:59:59.000Z

    This report is one in a series of PVUSA reports on PVUSA experiences and lessons learned at the demonstration sites in Davis and Kerman, California, and from participating utility host sites. During the course of approximately 7 years (1988--1994), 10 PV systems have been installed ranging from 20 kW to 500 kW. Six 20-kW emerging module technology arrays, five on universal project-provided structures and one turnkey concentrator, and four turnkey utility-scale systems (200 to 500 kW) were installed. PVUSA took a very proactive approach in the procurement of these systems. In the absence of established procurement documents, the project team developed a comprehensive set of technical and commercial documents. These have been updated with each successive procurement. Working closely with vendors after the award in a two-way exchange provided designs better suited for utility applications. This report discusses the PVUSA procurement process through testing and acceptance, and rating of PV turnkey systems. Special emphasis is placed on the acceptance testing and rating methodology which completes the procurement process by verifying that PV systems meet contract requirements. Lessons learned and recommendations are provided based on PVUSA experience.

  15. A Split-Decoding Message Passing Algorithm for Low Density Parity Check Decoders

    E-Print Network [OSTI]

    Mohsenin, Tinoosh; Baas, Bevan M.

    2010-01-01T23:59:59.000Z

    Shi, R. (2008). Sliced message passing: High throughputWang, Z. (2007). Efficient message passing ar- chitectureparity check codes under message-passing decoding. IEEE

  16. Rg 0961u Form 24 for 12/08/2012 Crew rest. Comm checks

    E-Print Network [OSTI]

    :00-12:15 CDR ARED flywheel cylinder removal 12:10-12:20 FE-1 Soyuz VHF2 check via Groundstation #33 Tagup

  17. An economic approach to acceptance sampling

    E-Print Network [OSTI]

    Ruth, Robert Justin

    1973-01-01T23:59:59.000Z

    AN ECONOMIC APPROACH TO ACCEPTANCE SAMPLING A Thesis by ROBERT JUSTIN RUTH Subm1tted to the Graduate College of Texas AkM University in Partial fulfillment of the requirement for the degree of MASTER OP SCIENCE May 1973 Ma)or Sub...)sot~ Industrial Eng1neer1ng FOREWORD The research discussed in this thesis was accomplished as part of 'the Product/Production Engineering Graduate Program conducted jointly y USAMC Intern Training Center and Texas A8M University. As such, the , deas...

  18. W-026, acceptance test report manipulator system

    SciTech Connect (OSTI)

    Watson, T.L.

    1997-04-15T23:59:59.000Z

    The purpose of the WRAP Manipulator System Acceptance Test Plan (ATP) is to verify that the 4 glovebox sets of WRAP manipulator components, including rail/carriage, slave arm, master controller and auxiliary equipment, meets the requirements of the functional segments of 14590 specification. The demonstration of performance elements of the ATP are performed as a part of the Assembly specifications. Manipulator integration is integrated in the performance testing of the gloveboxes. Each requirement of the Assembly specification will be carried out in conjunction with glovebox performance tests.

  19. Wind Energy Community Acceptance | 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown ofNationwideWTEDBird,Wilsonville, Oregon: EnergyWind Energy AlaskaAcceptance

  20. Towards Controlling the Acceptance Factors for a Collaborative Platform in

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Towards Controlling the Acceptance Factors for a Collaborative Platform in Engineering Design factor which are supposed to influence future users of a collaborative KM platform (Dimocode). At the end management systems (KMS) deployment. Keywords: acceptance factors, collaborative, platforms, engineering

  1. Facebook Application for Place Recommendation . . 40002

    E-Print Network [OSTI]

    Runapongsa, Kanda

    Facebook Application for Place Recommendation 1 , 2 1,2 . . 40002 E-mail: 1,2 pjiranuwatt. This article proposes a Facebook application that recommends places based on the number of check is gathered via Facebook API requests. The experimental results of the developed Facebook application show

  2. THE ENVIRONMENTAL TECHNOLOGIES ACCEPTANCE (ETA) PROGRAM

    SciTech Connect (OSTI)

    Christina B. Behr-Andres

    2001-10-01T23:59:59.000Z

    The objective of the Environmental Technologies Acceptance (ETA) Program at the Energy & Environmental Research Center (EERC) is to advance the development, commercial acceptance, and timely deployment of selected private sector technologies for the cleanup of sites in the nuclear defense complex as well as the greater market. As a result of contract changes approved by National Energy Technology Laboratory (NETL) representatives to incorporate activities previously conducted under another NETL agreement, there are now an additional task and an expansion of activities within the stated scope of work of the ETA program. As shown in Table 1, this cooperative agreement, funded by NETL (No. DE-FC26-00NT40840), consists of four tasks: Technology Selection, Technology Development, Technology Verification, and System Engineering. As currently conceived, ETA will address the needs of as many technologies as appropriate under its current 3-year term. There are currently four technical subtasks: Long-Term Stewardship Initiative at the Mound Plant Site; Photocatalysis of Mercury-Contaminated Water; Subcritical Water Treatment of PCB and Metal-Contaminated Paint Waste; and Vegetative Covers for Low-Level Waste Repositories. This report covers activities during the second six months of the three-year ETA program.

  3. STATE OF CALIFORNIA DISTRIBUTED ENERGY STORAGE DX AC SYSTEMES ACCEPTANCE

    E-Print Network [OSTI]

    STATE OF CALIFORNIA DISTRIBUTED ENERGY STORAGE DX AC SYSTEMES ACCEPTANCE CEC-MECH-14A (Revised 08/09) CALIFORNIA ENERGY COMMISSION CERTIFICATE OF ACCEPTANCE MECH-14A NA7.5.13 Distributed Energy Storage DX AC DISTRIBUTED ENERGY STORAGE DX AC SYSTEMES ACCEPTANCE CEC-MECH-14A (Revised 08/09) CALIFORNIA ENERGY COMMISSION

  4. STATE OF CALIFORNIA THERMAL ENERGY STORAGE (TES) SYSTEM ACCEPTANCE

    E-Print Network [OSTI]

    STATE OF CALIFORNIA THERMAL ENERGY STORAGE (TES) SYSTEM ACCEPTANCE CEC-MECH-15A (Revised 07/10) CALIFORNIA ENERGY COMMISSION CERTIFICATE OF ACCEPTANCE MECH-15A NA7.5.14 Thermal Energy Storage (TES) System THERMAL ENERGY STORAGE (TES) SYSTEM ACCEPTANCE CEC-MECH-15A (Revised 07/10) CALIFORNIA ENERGY COMMISSION

  5. STATE OF CALIFORNIA DEMAND CONTROL VENTILATION SYSTEMS ACCEPTANCE

    E-Print Network [OSTI]

    STATE OF CALIFORNIA DEMAND CONTROL VENTILATION SYSTEMS ACCEPTANCE CEC-MECH-6A (Revised 08/09) CALIFORNIA ENERGY COMMISSION CERTIFICATE OF ACCEPTANCE MECH-6A NA7.5.5 Demand Control Ventilation Systems DEMAND CONTROL VENTILATION SYSTEMS ACCEPTANCE CEC-MECH-6A (Revised 08/09) CALIFORNIA ENERGY COMMISSION

  6. Social Acceptance of Wind: A Brief Overview (Presentation)

    SciTech Connect (OSTI)

    Lantz, E.

    2015-01-01T23:59:59.000Z

    This presentation discusses concepts and trends in social acceptance of wind energy, profiles recent research findings, and discussions mitigation strategies intended to resolve wind power social acceptance challenges as informed by published research and the experiences of individuals participating in the International Energy Agencies Working Group on Social Acceptance of Wind Energy

  7. ForPeerReview PUBLIC ACCEPTANCE OF OFFSHORE WIND POWER

    E-Print Network [OSTI]

    Firestone, Jeremy

    ForPeerReview PUBLIC ACCEPTANCE OF OFFSHORE WIND POWER PROJECTS IN THE UNITED STATES Journal: Wind, Andrew; Minerals Management Service Keywords: offshore wind power, public opinion, social acceptancePeerReview 1 PUBLIC ACCEPTANCE OF OFFSHORE WIND POWER PROJECTS IN THE UNITED STATES Jeremy Firestone*, Willett

  8. Full sequential equivalence checking by state space traversal has been shown to be unpractical for large

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Abstract: Full sequential equivalence checking by state space traversal has been shown, Simulation, SAT) to transform the sequential equivalence checking problem into a combinational equivalence successful in general, they are not able to reach proof of equivalence in presence of complex transformations

  9. Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1

    E-Print Network [OSTI]

    Young, R. Michael

    Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1 , D. Richard. In this paper, we propose a new general approach for property verification for access control models via model checking. The approach defines a standardized structure for access control models, providing for both

  10. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with

    E-Print Network [OSTI]

    Platzer, Andr茅

    Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid accurately model real-world power consumption). We propose Distributed Probabilistic-Control Hybrid Automata and apply existing statistical model- checking techniques. We provide an implementation of a framework

  11. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  12. IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY

    E-Print Network [OSTI]

    Meng, Ellis

    IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY R. Lo and E. Meng University of Southern California, Los Angeles, California, USA ABSTRACT The first check valve valve design and these results were confirmed experimentally. The valve regulates flow between 150

  13. Page 1 of 14 5/2010 LBNL Construction Safety Check List

    E-Print Network [OSTI]

    Knowles, David William

    Page 1 of 14 5/2010 LBNL Construction Safety Check List Safety Check List MUST be posted at the job (LBNL) Project Manager for review and final approval the LBNL Construction Safety Engineer must reviewed performing work at LBNL. These items and all other requirements in the contractual documents will be enforced

  14. CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES John M. Shea, Florida Abstract--Turbo-codes provide communications near capac- ity when very large interleavers (and parity-check code can be used as an outer code with a turbo code as an inner code in a serial

  15. Checking pi-Calculus Structural Congruence is Graph Isomorphism V. Khomenko , R. Meyer,

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    . Khomenko , R. Meyer, TECHNICAL REPORT SERIES No. CS-TR-1100 May, 2008 #12;TECHNICAL REPORT SERIES No. CS and Roland Meyer Abstract We show that the problems of checking pi-Calculus structural congruence (pi, England. #12;Bibliographical details KHOMENKO, V., MEYER, R. Checking pi-Calculus Structural Congruence

  16. Grazing function g and collimation angular acceptance

    E-Print Network [OSTI]

    Peggs, Stephen G

    2009-01-01T23:59:59.000Z

    The grazing function g is introduced梐 synchrobetatron optical quantity that is analogous (and closely connected) to the Twiss and dispersion functions ?, ?, ?, and ??. It parametrizes the rate of change of total angle with respect to synchrotron amplitude for grazing particles, which just touch the surface of an aperture when their synchrotron and betatron oscillations are simultaneously (in time) at their extreme displacements. The grazing function can be important at collimators with limited acceptance angles. For example, it is important in both modes of crystal collimation operation梚n channeling and in volume reflection. The grazing function is independent of the collimator type梒rystal or amorphous梑ut can depend strongly on its azimuthal location. The rigorous synchrobetatron condition g=0 is solved, by invoking the close connection between the grazing function and the slope of the normalized dispersion. Propagation of the grazing function is described, through drifts, dipoles, and quadr...

  17. Advancing the environmental acceptability of open burning/open detonation

    SciTech Connect (OSTI)

    Sexton, K.D.; Tope, T.J. [Radian Corp., Oak Ridge, TN (United States)

    1996-12-01T23:59:59.000Z

    Manufacturers and users of energetic material (e.g., propellants, explosives, pyrotechnics (PEP)) generate unserviceable, obsolete, off-specification, damaged, and contaminated items that are characterized as reactive wastes by definition, and therefore regulated under RCRA, Subtitle C, as hazardous waste. Energetic wastes, to include waste ordnance and munitions items, have historically been disposed of by open burning/open detonation (OB/OD), particularly by the Department of Defense (DoD). However, increasing regulatory constraints have led to the recent reduction and limited use of OB/OD treatment. DoD maintains that OB/OD is the most viable treatment option for its energetic waste streams, and has spurred research and development activities to advance the environmental acceptability of OB/OD. DoD has funded extensive testing to identify and quantify contaminant releases from OB/OD of various PEP materials. These data are actively being used in risk assessment studies to evaluate the impact of OB/OD on human health and the environment. Additionally, in an effort to satisfy regulatory concerns, DoD has been forced to reevaluate its current PEP disposal operations as they relate to the environment. As a result, numerous pollution prevention initiatives have been identified and initiated, and life cycle analyses of treatment options have been conducted. Many of the DoD initiatives can be applied to the commercial explosives industry as well. Implementation of proactive and innovative pollution prevention strategies and the application of sound technical data to evaluate risk will serve to advance the environmental acceptability of OB/OD amongst the regulatory community and the public and can result in significant cost savings as well.

  18. Application for Program Admission Please check: Iron Range Engineering Program Twin Cities Engineering Program

    E-Print Network [OSTI]

    Bates, Rebecca A.

    . Please email or mail to the appropriate address below: For IRE: 1001 Chestnut Street W, Virginia, MN Center N, Mankato, MN 56001 Phone: 507-389-2744 You may also Fax 507-389-1095 or email them to integrated

  19. Static Checking of Dynamically Generated Queries in Database Applications Carl Gould, Zhendong Su, and Premkumar Devanbu

    E-Print Network [OSTI]

    Devanbu, Prem

    , WHOLESALE, and TYPE, among others. The RETAIL and WHOLESALE columns are both of type in- teger, indicatingBound != null) { query += "WHOLESALE > " + lowerBound + " AND "; } query += "TYPE IN (" + get to be executed is: SELECT '$' || (RETAIL/100) FROM INVENTORY WHERE WHOLESALE > 595 AND TYPE IN (SELECT TY

  20. Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to

    E-Print Network [OSTI]

    Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to check it. Your blood sugar can be high and you may feel fine. If your blood sugar is high, it is damaging your blood vessels and hurting your body, even if you feel fine. #12; How can you check your blood sugar? One

  1. Acceptance inspection plan 105KW Facility modifications for fuel retrieval subproject

    SciTech Connect (OSTI)

    Shen, E.J.

    1998-01-09T23:59:59.000Z

    The acceptance inspection of construction by Fluor Daniel Hanford (FDH) is performed to provide assurance that fabrication, construction, and installation are in accordance with approved contract documents. Approved contract documents used to perform inspections may include specifications, drawings, and contractor submittals such as fabrication drawings, procedures, etc. The amount or degree of inspection activity is tailored to the project as determined by the project team so that the effort and cost expended are commensurate with the importance of the facility in terms of function and safety. Inspections are documented to provide verification of the acceptability of the work performed. This document identifies the inspections and documentation forms to be provided. It is prepared and implemented with the understanding that the construction contractor is fully responsible for compliance with contract documents and for the quality of.work performed. Inspections performed are in accordance with approved procedures. The Manager of Acceptance Inspection is responsible for the implementation of this plan and assignment of personnel for the work. Inspections are conducted by personnel who are qualified and certified to perform their assigned task. The Acceptance Inspection Plan is organized in the Construction Specification Institute (CSI) format to cross reference design specification sections with sections of the AI Plan. In each AI Plan section the applicable specification section subject will be identified followed by the appropriate inspection requirements. General surveillances will be listed when applicable. Acceptance Inspection Reports are provided to document inspections not documented on a test report (i.e., Soil Test Data, Concrete Test Report, NDE/Weld Record, Leak/Pressure Test Certification, Backflow Device Test Report, Nonconformance Report, Deficiency Report, and/or Contractors testing forms).

  2. Acceptance inspection plan 105KE Facility modifications for fuel retrieval subproject

    SciTech Connect (OSTI)

    Shen, E.J.

    1998-01-09T23:59:59.000Z

    The acceptance inspection of construction by Fluor Daniel Hanford (FDH) is performed to provide assurance that fabrication, construction, and installation are in accordance with approved contract documents. Approved contract documents used to perform inspections may include specifications, drawings, and contractor submittals such as fabrication drawings, procedures, etc. The amount or degree of inspection activity is tailored to the project as determined by the project team so that the effort and cost expended are commensurate with the importance of the facility in terms of function and safety. Inspections are documented to provide verification of the acceptability of the work performed. This document identifies the inspections and documentation forms to be provided. It is prepared and implemented with the understanding that the construction contractor is fully responsible for compliance with contract documents and for the quality of work performed. Inspections performed are in accordance with approved procedures. The Manager of Acceptance Inspection is responsible for the implementation of this plan and assignment of personnel for the work. Inspections are conducted by personnel who are qualified and certified, to perform their assigned task. The Acceptance Inspection Plan is organized in the Construction Specification Institute (CSI) format to cross reference design specification sections with sections of the AI Plan. In each AI Plan section the applicable specification section subject will be identified followed by the appropriate inspection requirements. General surveillances will be listed when applicable. Acceptance Inspection Reports are provided to document inspections not documented on a test report (i.e., Soil Test Data, Concrete Test Report, NDE/Weld Record, Leak/Pressure Test Certification, Backflow Device Test Report, Nonconformance Report, Deficiency Report, and/or Contractors testing forms).

  3. Nevada Test Site Waste Acceptance Criteria, December 2000

    SciTech Connect (OSTI)

    NONE

    2000-12-01T23:59:59.000Z

    This document establishes the US Department of Energy, Nevada Operations Office waste acceptance criteria. The waste acceptance criteria provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive waste and mixed waste for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the Nevada Test Site Area 3 and Area 5 Radioactive Waste Management Sites for storage or disposal.

  4. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Abi-Antoun, Marwan

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 Center for Software Excellence Abstract Threat Foundation. #12;Keywords: Threat modeling, data flow diagrams, reflexion models, architecture-level security

  5. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 # Center for Software Excellence Abstract Threat Foundation. #12; Keywords: Threat modeling, data flow diagrams, reflexion models, architecture璴evel security

  6. Checking Design Constraints at Run-time Using OCL and AspectJ

    E-Print Network [OSTI]

    Cheon, Yoonsik

    Roach, and Cuauhtemoc Munoz TR #09-35 December 2009 Keywords: design constraints, runtime checking Design Constraints at Run-time Using OCL and AspectJ Yoonsik Cheon (1) , Carmen Avila (1) , Steve Roach

  7. On the NP-hardness of checking matrix polytope stability and continuous-time switching stability

    E-Print Network [OSTI]

    Gurvits, Leonid

    Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R[superscript ntimesn] are stable. In particular, we are ...

  8. See What the Astronauts Saw Check out photographs of Apollo missions to the

    E-Print Network [OSTI]

    See What the Astronauts Saw Check out photographs of Apollo missions to the Moon throughout the 1st rock within the wall near the bronze Moon model. It was retrieved by Apollo 15 astronauts. What does

  9. Appendix C: DOE Super-ESPC Project Acceptance Guidelines and...

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

    Guidelines, Checklist, and Contract Clauses for Government Acceptance of DOE Super-ESPC Projects ECM Installation: All ECMs are installed in accordance with plans,...

  10. Acceptance test report for the mobile color camera system

    SciTech Connect (OSTI)

    Castleberry, J.L., Fluor Daniel Hanford

    1997-02-27T23:59:59.000Z

    The purpose of this report is to present test data recorded during acceptance testing of the Mobile Color Camera System (MCCS).

  11. Guidelines and Checklist for Commissioning and Government Acceptance...

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

    Checklist, and Contract Clauses for Government Acceptance of Super ESPC Projects Commissioning Guidance for ESPCs Draft M&V Guidelines: Measurement and Verification for Federal...

  12. acceptable residual magnetic: Topics by E-print Network

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

    between cultural acceptance in conjunction with social perception and cultural tourism promotion strategies. It provides a matrix to evaluate (more) Shih, I-Hsuan...

  13. acceptance apha energy: Topics by E-print Network

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

    on Automated Deduction CADE to Automated Reasoning presented to Peter Andrews theory, mating-based theorem Andrews, Peter B. 100 ACCEPTANCE OF OFFER BASIC SCIENCE FACULTY...

  14. Anthony Thomas accepts position of Chief Scientist and Theory...

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

    Dr. Anthony Thomas Dr. Anthony Thomas Anthony Thomas accepts position of Chief Scientist and Theory Group Leader at Jefferson Lab December 3, 2003 The Department of Energy's Thomas...

  15. acceptance model applied: Topics by E-print Network

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

    developed based on studying details 38 Accepted Manuscript Visible Models for Interactive Pattern Recognition Engineering Websites Summary: 1 Abstract-- The exchange of information...

  16. Public Acceptance of Wind: Foundational Study Near US Wind Facilities

    Wind Powering America (EERE)

    Group * Energy Analysis and Environmental Impacts Department Public Acceptance of Wind Power Ben Hoen Lawrence Berkeley National Laboratory WindExchange Webinar June 17, 2015...

  17. Wind Power Siting: Public Acceptance and Land Use

    Wind Powering America (EERE)

    by the Alliance for Sustainable Energy, LLC. Wind Power Siting: Public Acceptance and Land Use Suzanne Tegen WINDExchange Webinar June 17, 2015 2 Overview * Current NREL Research *...

  18. Cold test data for equipment acceptance into 105-KE Basin

    SciTech Connect (OSTI)

    Packer, M.J.

    1994-11-09T23:59:59.000Z

    This document provides acceptance testing of equipment to be installed in the 105-KE Basin for pumping sludge to support the discharge chute barrier doors installation.

  19. Updated January 2013 Student Application

    E-Print Network [OSTI]

    Behmer, Spencer T.

    : ___________ About Your Proposed Project (cannot exceed $750 total, travel & supplies/materials) Project Title with this Faculty Mentor? Yes No Special Features of Your Project Check all of the following that are applicable to your proposal. 1. Does your proposed project use non-human animals of any kind? Yes No 2. Does your

  20. EMPLOYMENT APPLICATION Montana State University

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    EMPLOYMENT APPLICATION Montana State University Western Triangle Ag Research Center 9546 Old Shelby employed by any other department on campus? Yes No If so, which department? Availability (Check those which) 1 2 3 4 College Major: EMPLOYMENT HISTORY (begin with most recent) Employer: Employer: Supervisor

  1. ACCEPTABILITY ENVELOPE FOR METAL HYDRIDE-BASED HYDROGEN STORAGE SYSTEMS

    SciTech Connect (OSTI)

    Hardy, B.; Corgnale, C.; Tamburello, D.; Garrison, S.; Anton, D.

    2011-07-18T23:59:59.000Z

    The design and evaluation of media based hydrogen storage systems requires the use of detailed numerical models and experimental studies, with significant amount of time and monetary investment. Thus a scoping tool, referred to as the Acceptability Envelope, was developed to screen preliminary candidate media and storage vessel designs, identifying the range of chemical, physical and geometrical parameters for the coupled media and storage vessel system that allow it to meet performance targets. The model which underpins the analysis allows simplifying the storage system, thus resulting in one input-one output scheme, by grouping of selected quantities. Two cases have been analyzed and results are presented here. In the first application the DOE technical targets (Year 2010, Year 2015 and Ultimate) are used to determine the range of parameters required for the metal hydride media and storage vessel. In the second case the most promising metal hydrides available are compared, highlighting the potential of storage systems, utilizing them, to achieve 40% of the 2010 DOE technical target. Results show that systems based on Li-Mg media have the best potential to attain these performance targets.

  2. Accepted Manuscript Title: Metal Current Collector-Free Freestanding

    E-Print Network [OSTI]

    Cui, Yi

    Accepted Manuscript Title: Metal Current Collector-Free Freestanding Silicon-Carbon 1D, Metal Current Collector-Free Freestanding Silicon-Carbon 1D Nanocomposites for Ultralight Anodes that apply to the journal pertain. #12;Page 1 of 20 Accepted M anuscript 1 Metal Current Collector

  3. acceptance test limit: Topics by E-print Network

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

    acceptance test limit First Page Previous Page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 G4Beamline Acceptance Tests Chris...

  4. acceptance test plan: Topics by E-print Network

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

    acceptance test plan First Page Previous Page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 G4Beamline Acceptance Tests Chris...

  5. Acceptance test procedure for High Pressure Water Jet System

    SciTech Connect (OSTI)

    Crystal, J.B.

    1995-05-30T23:59:59.000Z

    The overall objective of the acceptance test is to demonstrate a combined system. This includes associated tools and equipment necessary to perform cleaning in the 105 K East Basin (KE) for achieving optimum reduction in the level of contamination/dose rate on canisters prior to removal from the KE Basin and subsequent packaging for disposal. Acceptance tests shall include necessary hardware to achieve acceptance of the cleaning phase of canisters. This acceptance test procedure will define the acceptance testing criteria of the high pressure water jet cleaning fixture. The focus of this procedure will be to provide guidelines and instructions to control, evaluate and document the acceptance testing for cleaning effectiveness and method(s) of removing the contaminated surface layer from the canister presently identified in KE Basin. Additionally, the desired result of the acceptance test will be to deliver to K Basins a thoroughly tested and proven system for underwater decontamination and dose reduction. This report discusses the acceptance test procedure for the High Pressure Water Jet.

  6. Accepted Manuscript Title: Dramatic Performance Gains in Vanadium Redox Flow

    E-Print Network [OSTI]

    Mench, Matthew M.

    ) are a potentially enabling technology for intermittent, renewable energy sources such as wind and solar power [1, for most stationary power uses, the #12;Page 3 of 18 Accepted M anuscript energy density per seAccepted Manuscript Title: Dramatic Performance Gains in Vanadium Redox Flow Batteries Through

  7. Application APPLICATION

    E-Print Network [OSTI]

    Papautsky, Ian

    in the CCM Bulletin which can be downloaded from ccm.uc.edu/admissions/ application. You will automatically be considered for a talent-based scholarship when you audition/ interview for entrance into CCM. These awards would also like to invite you to tour CCM's excellent facilities and observe some classes and ensemble

  8. A Process Model of Applicant Faking on Overt Integrity Tests

    E-Print Network [OSTI]

    Yu, Janie

    2010-01-14T23:59:59.000Z

    ?????????????????????????? 37 Procedure?????????????????????????... 44 STUDY 1 RESULTS?..??????????????????????. 47 Descriptive statistics?????????????????????. 47 Manipulation checks?????????????????????. 47 Relationship between cognitions and intentions... Interaction between applicant faking behavior (SR) and applicant integrity test validity for CWB ?????????? 69 22 Interaction between impression management and applicant integrity test validity for CWB ?????????????? 69 1 INTRODUCTION...

  9. Enraf Series 854 advanced technology gauge (ATG) acceptance test procedure. Revision 2

    SciTech Connect (OSTI)

    Barnes, G.A.

    1995-01-30T23:59:59.000Z

    This procedure checks that the shipment of the gauge to Hanford did not cause a failure. This procedure provides acceptance testing for Enraf Series 854 level gauges used to monitor levels in Hanford Waste Storage Tanks. The test will verify that the gauge functions according to the manufacturer`s instructions and specifications and is properly setup prior to being delivered to the tank farm area. Enraf-Nonius Series 854 level gauges are certified by Factory Mutual (FM) for National Fire Protectional Association (NFPA 70) hazardous Class 1, Division 1, Groups B, C, and D Locations. Its measuring principle is based on the detection of variations in the weight of a displacer suspended in the process fluid. The displacer is connected to a wire wounded on a precision measuring drum. A level change causes a change in the weight of the displacer which will be detected by the force transducer. Electronics within the gauge cause a servo motor to adjust the position of the displacer and compute the tank level based on the new position of the displacer drum. The gauge displays the level in decimal inches. An analog output signal transmits the level data for remote data processing.

  10. NOTE: This list was prepared as a courtesy to assist students in finding local dentists who are: accepting new patients, accept Delta Dental, have hygiene services and are available for emergency care.

    E-Print Network [OSTI]

    California at Santa Cruz, University of

    : accepting new patients, accept Delta Dental, have hygiene services and are available for emergency care

  11. Radioisotope Thermoelectric Generator F7 Flight Unit Acceptance Buy Off

    SciTech Connect (OSTI)

    none,

    1997-02-20T23:59:59.000Z

    These are viewgraphs from the subject presentation. The LMMS E-7 history is outlined; Qualification and use of the F-7 GPHS-RTG for the Cassini mission; and the F-7 acceptance test program and performance are described.

  12. Social Acceptance of Wind: A Brief Overview (Presentation), NREL...

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

    Social Acceptance of Wind: A Brief Overview AWEA State Wind Energy Forum Eric Lantz January 20, 2015 Lansing, Michigan NRELPR-6A20-63590 2 Presentation Overview 1. Concepts -...

  13. accepting foregin research: Topics by E-print Network

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

    11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 Swinburne University of Technology Research Funding Acceptance Form Physics Websites Summary: )...

  14. Must a Bayesian Accept the Likelihood Principle? Daniel Steel

    E-Print Network [OSTI]

    Fitelson, Branden

    Must a Bayesian Accept the Likelihood Principle? Daniel Steel Department of Philosophy 503 S. Kedzie Hall Michigan State University East Lansing, MI 48824-1032 Email: steel@msu.edu #12;1 1

  15. Tank 30 and 37 Supernatant Sample Cross-Check and Evaporator Feed Qualification Analysis-2012

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07T23:59:59.000Z

    This report summarizes the analytical data reported by the F/H and Savannah River National Laboratories for the 2012 cross-check analysis for high level waste supernatant liquid samples from SRS Tanks 30 and 37. The intent of this Tank 30 and 37 sample analyses was to perform cross-checks against routine F/H Laboratory analyses (corrosion and evaporator feed qualification programs) using samples collected at the same time from both tanks as well as split samples from the tanks.

  16. Potential Application Of Radionuclide Scaling Factors To High Level Waste Characterization

    SciTech Connect (OSTI)

    Reboul, S. H.

    2013-09-30T23:59:59.000Z

    Production sources, radiological properties, relative solubilities in waste, and laboratory analysis techniques for the forty-five radionuclides identified in Hanford?s Waste Treatment and Immobilization Plant (WTP) Feed Acceptance Data Quality Objectives (DQO) document are addressed in this report. Based on Savannah River Site (SRS) experience and waste characteristics, thirteen of the radionuclides are judged to be candidates for potential scaling in High Level Waste (HLW) based on the concentrations of other radionuclides as determined through laboratory measurements. The thirteen radionuclides conducive to potential scaling are: Ni-59, Zr-93, Nb-93m, Cd-113m, Sn-121m, Sn-126, Cs-135, Sm-151, Ra-226, Ra-228, Ac-227, Pa-231, and Th-229. The ability to scale radionuclides is useful from two primary perspectives: 1) it provides a means of checking the radionuclide concentrations that have been determined by laboratory analysis; and 2) it provides a means of estimating radionuclide concentrations in the absence of a laboratory analysis technique or when a complex laboratory analysis technique fails. Along with the rationale for identifying and applying the potential scaling factors, this report also provides examples of using the scaling factors to estimate concentrations of radionuclides in current SRS waste and into the future. Also included in the report are examples of independent laboratory analysis techniques that can be used to check results of key radionuclide analyses. Effective utilization of radionuclide scaling factors requires understanding of the applicable production sources and the chemistry of the waste. As such, the potential scaling approaches identified in this report should be assessed from the perspective of the Hanford waste before reaching a decision regarding WTP applicability.

  17. Application ApplicAtion

    E-Print Network [OSTI]

    Papautsky, Ian

    in the CCM Bulletin which can be downloaded from http://ccm.uc.edu/ admissions/application.html. You will automatically be considered for a talent-based scholarship when you audition/ interview for entrance into CCM is made. We would also like to invite you to tour CCM's excellent facilities and observe some classes

  18. Idaho CERCLA Disposal Facility Complex Waste Acceptance Criteria

    SciTech Connect (OSTI)

    W. Mahlon Heileson

    2006-10-01T23:59:59.000Z

    The Idaho Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) Disposal Facility (ICDF) has been designed to accept CERCLA waste generated within the Idaho National Laboratory. Hazardous, mixed, low-level, and Toxic Substance Control Act waste will be accepted for disposal at the ICDF. The purpose of this document is to provide criteria for the quantities of radioactive and/or hazardous constituents allowable in waste streams designated for disposal at ICDF. This ICDF Complex Waste Acceptance Criteria is divided into four section: (1) ICDF Complex; (2) Landfill; (3) Evaporation Pond: and (4) Staging, Storage, Sizing, and Treatment Facility (SSSTF). The ICDF Complex section contains the compliance details, which are the same for all areas of the ICDF. Corresponding sections contain details specific to the landfill, evaporation pond, and the SSSTF. This document specifies chemical and radiological constituent acceptance criteria for waste that will be disposed of at ICDF. Compliance with the requirements of this document ensures protection of human health and the environment, including the Snake River Plain Aquifer. Waste placed in the ICDF landfill and evaporation pond must not cause groundwater in the Snake River Plain Aquifer to exceed maximum contaminant levels, a hazard index of 1, or 10-4 cumulative risk levels. The defined waste acceptance criteria concentrations are compared to the design inventory concentrations. The purpose of this comparison is to show that there is an acceptable uncertainty margin based on the actual constituent concentrations anticipated for disposal at the ICDF. Implementation of this Waste Acceptance Criteria document will ensure compliance with the Final Report of Decision for the Idaho Nuclear Technology and Engineering Center, Operable Unit 3-13. For waste to be received, it must meet the waste acceptance criteria for the specific disposal/treatment unit (on-Site or off-Site) for which it is destined.

  19. Energy Revolving Loan Fund- Public Entities

    Broader source: Energy.gov [DOE]

    '''''Note: Michigan Economic Development Corporation is not currently accepting applications for this loan fund. Check the program web site for future solicitations. '''''

  20. Enterprise Energy Fund Grants

    Broader source: Energy.gov [DOE]

    '''''Note: This program is fully subscribed and currently is not accepting applications. Check with the program administrator regarding the possibility of future program funding.'''''

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

    SciTech Connect (OSTI)

    Watson, T.L., Fluor Daniel Hanford

    1997-02-14T23:59:59.000Z

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

  2. SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check

    E-Print Network [OSTI]

    Sirianni, Marco

    1 SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check A. M. Koekemoer, S. Gonzaga, L is potentially susceptible to significant decreases as a result of contaminants deposited on the cold CCD windows intensive monitoring of this contamination using the F170W filter, to ensure that the throughput never

  3. Master of Architecture Check Sheet Professional M.Arch. II & III

    E-Print Network [OSTI]

    Master of Architecture Check Sheet Professional M.Arch. II & III Apply on-line at: https in architecture (not to exceed 500 words). _____ One unofficial copy of the transcript where the undergraduate results. KU's Institution Code is 6871 and the Department Code for Architecture is 4401. International

  4. PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING

    E-Print Network [OSTI]

    Boyer, Edmond

    of the plant with a timed discrete model of the controller. We will also show, using a basic examplePERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING Bruno Denis (1 Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller

  5. MetaGame: An Animation Tool for Model-Checking Games

    E-Print Network [OSTI]

    M眉ller-Olm, Markus

    MetaGame: An Animation Tool for Model-Checking Games Markus M篓uller-Olm1 and Haiseung Yoo2 1 Fern-Verlag Berlin Heidelberg 2004 #12;164 Markus M篓uller-Olm and Haiseung Yoo careful investigation of the cause

  6. MetaGame: An Animation Tool for ModelChecking Games

    E-Print Network [OSTI]

    M眉ller-Olm, Markus

    MetaGame: An Animation Tool for Model颅Checking Games Markus M?uller颅Olm 1# and Haiseung Yoo 2 1, pp. 163--167, 2004. c # Springer颅Verlag Berlin Heidelberg 2004 #12; 164 Markus M?uller颅Olm

  7. A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems

    E-Print Network [OSTI]

    Gupta, Rajesh

    A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded, and laptops, controlling power dissipation is an important system design issue [2]. This is either because enforced at the system level. In [3], a system modeling ap- proach for dynamic power management strategy

  8. Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens

    E-Print Network [OSTI]

    Ryan, Mark

    of sophisticated access control systems, such as those which can be described using our model, is indirect pathsModel-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens July 9, 2004 Abstract We present a model of access control which provides fine-grained data-dependent control

  9. Probabilistic Model Checking and PowerAware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power瑼ware Computing #3; Marta Kwiatkowska Gethin Norman David璦ware computing aims either to maximise the per formance of a system under certain constraints on its power

  10. Probabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker-aware computing aims either to maximise the per- formance of a system under certain constraints on its power

  11. Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS

    E-Print Network [OSTI]

    Abolmaesumi, Purang

    GENEALOGY Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS SL Stauffer Library OGS Ontario Genealogical Society Docs Government Documents, Stauffer Library) Kingston Public Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy

  12. A SingleQuery BiDirectional Probabilistic Roadmap Planner with Lazy Collision Checking

    E-Print Network [OSTI]

    LaValle, Steven M.

    1 A Single璔uery Bi璂irectional Probabilistic Roadmap Planner with Lazy Collision Checking Gildardo probabilistic roadmap (PRM) planner that is: single璹uery --it does not pre璫ompute a roadmap, but uses the two the robot's free space by concurrently building a roadmap made of two trees rooted at the query

  13. TCTL model-checking of Time Petri Nets Hanifa Boucheneb1

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Verification of concurrent systems is a complex task that requires powerful models and efficient analysis tech- niques. Model checking is one of the most popular verification techniques of concurrent systems verification of properties of real-life systems. In this paper, we consider subscript TCTL for TPN (TPN

  14. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  15. VLSI implementation of encoder and decoder for low-density parity-check codes

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01T23:59:59.000Z

    The aim of this research is to implement an encoder and a message-passing decoder for low-density parity-check codes in hardware. The desired data rate is 44.8 Mbps and the channel is an Additive White Gaussian Noise(AWGN) channel. The effect...

  16. Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1,

    E-Print Network [OSTI]

    Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1, J.P. Rheault,1 light is "leaked" through a closed CCD shutter. We find that by orienting the actuator towards the CCD 1 in 250,000 at most. I. INTRODUCTION Light-tightness is an important quality in shutters. Poor

  17. Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer

    E-Print Network [OSTI]

    Pasareanu, Corina

    Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer programs or about program components, an abstract model of the environment can be essential in enabling environment behavior with sound abstractions of environment implemen tations to form a model

  18. Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required

    E-Print Network [OSTI]

    Meyers, Steven D.

    Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required lib.usf.edu (813? To learn how to: Integrate the library into Canvas, Invite a librarian to join your course's Canvas site, or Request a tailored research guide or library research assignment, Contact: Susan Silver | ssilver

  19. A cost-effective mechanism for Cloud data reliability management based on proactive replica checking

    E-Print Network [OSTI]

    Yang, Yun

    A cost-effective mechanism for Cloud data reliability management based on proactive replica for managing the data reliability would incur huge storage cost. To address this issue, in this paper we present a novel cost-effective data reliability management mechanism named PRCR, which proactively checks

  20. PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    technologies in manufacturing automation but they have not been specifically intended for industrial controlPERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING Daniel Witsch networks are promising for the harmonization of the communication technologies in manufacturing automation

  1. Defining and Model Checking Abstractions of Complex Railway Models using CSP||B

    E-Print Network [OSTI]

    Doran, Simon J.

    Defining and Model Checking Abstractions of Complex Railway Models using CSP||B Faron Moller1. In [11, 10] we propose a new modelling approach for railway interlockings. We use CSP||B [13], which involves events such as train movements and, in the interlocking, state based reasoning. In this sense, CSP

  2. A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot LORIA Nancy in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding. One specification may require the use of B for managing some complex data structure, of CSP

  3. The past, present and future of protocol checking with CSP and FDR

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    AVoCS 2006 The past, present and future of protocol checking with CSP and FDR Bill Roscoe1 Oxford of these meetings was the development of the CSP model of cryptographic protocols, following Gavin Lowe's discovery the particular advantages of using a process algebra, and CSP in particular, for modelling cryptoprotocols

  4. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

    An Optimization Approach for Effective Formalized fUML Model Checking Islam Abdelhalim, Steve that makes use of a restricted CSP model (because it follows certain formalization rules) to optimize; the first one provides optimization advice to the modeller, while the second one au- tomatically applies

  5. Advanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    and gates and inverters Simple data structure Every Boolean function can be represented by an AIG 5 Florian Networks of 2-input and gates and inverters Simple data structure Every Boolean function can be representedAdvanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

  6. Check-list for recruitment and registration of PhD students at ICM Persons responsible

    E-Print Network [OSTI]

    Uppsala Universitet

    Check-list for recruitment and registration of PhD students at ICM Persons responsible of the Department and the Departmental Board. Guidelines Each PhD student should have at least two supervisors. One education for registration of PhD studenst. At least one of the supervisors must be a docent. To qualify

  7. The Nuclear Energy Option for the U.S.--How Far Are We from Public Acceptance?

    SciTech Connect (OSTI)

    Biedscheid, J.A.; Devarakonda, M.

    2004-10-03T23:59:59.000Z

    The recent rise of oil and gasoline prices accompanied by reluctant acknowledgement that traditional sources of energy are limited has renewed public interest in renewable energy sources. This perspective on energy is focusing attention on and facilitating acceptance of alternative energy concepts, such as solar, wind, and biomass. The nuclear energy alternative, while clean with potentially abundant fuel supplies and associated with low costs, is burdened with the frequently negative public opinion reserved for things nuclear. Coincident with the heightened examination of alternative energy concepts, 2004 marks the 25-year anniversary of the Three Mile Island accident. Since this pivotal accident in 1979, no new reactor licenses have been granted in the U.S. The resolution of the issues of nuclear waste management and disposition are central to and may advance public discussions of the future use of nuclear energy. The U.S. Department of Energy (DOE) is currently preparing the licensing application for Yucca Mountain, which was designated in 2003 as the site for a high-level waste and spent nuclear fuel repository in the U.S. The DOE also has been operating a deep geologic repository for the permanent disposal of transuranic (TRU) waste since 1999. The operational status of the Waste Isolation Pilot Plant (WIPP) as a repository for TRU waste was successfully realized along with the lesson learned that stakeholder trust and acceptance are as critical to the success of a repository program as the resolution of technical issues and obtaining regulatory approvals. For the five years of its operation and for decades prior, the challenge of attaining public acceptance of the WIPP has persisted for reasons aligned with the opposition to nuclear energy. Due to this commonality, the nuclear waste approach to public acceptance, with its pros and cons, provides a baseline for the examination of an approach for the public acceptance of nuclear energy in the U.S. This paper will present these concepts and discuss the future of nuclear energy in the U.S. in light of the challenge of gaining public acceptance.

  8. Inelastic analysis acceptance criteria for radioactive material transportation containers

    SciTech Connect (OSTI)

    Ammerman, D.J.; Ludwigsen, J.S.

    1993-06-01T23:59:59.000Z

    The design criteria currently used in the design of radioactive material (RAM) transportation containers are taken from the ASME Boiler and Pressure Vessel Code (ASME, 1992). These load-based criteria are ideally suited for pressure vessels where the loading is quasistatic and all stresses are in equilibrium with externally applied loads. For impact events, the use of load-based criteria is less supportable. Impact events tend to be energy controlled, and thus, energy-based acceptance criteria would appear to be more appropriate. Determination of an ideal design criteria depends on what behavior is desired. Currently there is not a design criteria for inelastic analysis for RAM nation packages that is accepted by the regulatory agencies. This lack of acceptance criteria is one of the major factors in limiting the use of inelastic analysis. In this paper inelastic analysis acceptance criteria based on stress and strain-energy density will be compared for two stainless steel test units subjected to impacts onto an unyielding target. Two different material models are considered for the inelastic analysis, a bilinear fit of the stress-strain curve and a power law hardening model that very closely follows the stress-strain curve. It is the purpose of this paper to stimulate discussion and research into the area of strain-energy density based inelastic analysis acceptance criteria.

  9. LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty who need them for

    E-Print Network [OSTI]

    Selmic, Sandra

    LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty policy which was adopted by College Council: (1) The pool laptop computers can be checked out for no more than 2 weeks at a time. (2) Reservation requests for portable computers should be submitted at least 1

  10. Laser Applications in Metal Surface Hardening

    E-Print Network [OSTI]

    Eckersley, J. S.

    1982-01-01T23:59:59.000Z

    The acceptance of C02 lasers in industry to provide surface hardening is an established fact. Applications number in the hundreds in such diverse fields as automotive, office machines, air compressors, jet engines, military, paper converting...

  11. Laser Applications in Metal Surface Hardening

    E-Print Network [OSTI]

    Eckersley, J. S.

    1982-01-01T23:59:59.000Z

    The acceptance of C02 lasers in industry to provide surface hardening is an established fact. Applications number in the hundreds in such diverse fields as automotive, office machines, air compressors, jet engines, military, paper converting...

  12. Hydro Research Program Seeking Graduate Student Applicants

    Broader source: Energy.gov [DOE]

    The Hydro Research Foundation is now accepting graduate student applications for its DOE-funded graduate student research program. The Hydro Research Awards Program is designed to spur innovation...

  13. Product acceptance environmental and destructive testing for reliability.

    SciTech Connect (OSTI)

    Dvorack, Michael A.; Kerschen, Thomas J.; Collins, Elmer W.

    2007-08-01T23:59:59.000Z

    To determine whether a component is meeting its reliability requirement during production, acceptance sampling is employed in which selected units coming off the production line are subjected to additional environmental and/or destructive tests that are within the normal environment space to which the component is expected to be exposed throughout its life in the Stockpile. This report describes what these tests are and how they are scored for reliability purposes. The roles of screens, Engineering Use Only tests, and next assembly product acceptance testing are also discussed, along with both the advantages and disadvantages of environmental and destructive testing.

  14. NEVADA TEST SITE WASTE ACCEPTANCE CRITERIA, JUNE 2006

    SciTech Connect (OSTI)

    U.S. DEPARTMENT OF ENERGY, NATIONAL NUCLEAR SECURITY ADMINISTRATION NEVADA SITE OFFICE

    2006-06-01T23:59:59.000Z

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Site Office (NNSA/NSO) waste acceptance criteria (WAC). The WAC provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive (LLW) and mixed waste (MW) for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NTS Area 3 and Area 5 Radioactive Waste Management Complex (RWMC) for storage or disposal.

  15. Quality Control Quantification (QCQ): A Tool to Measure the Value of Quality Control Checks in Radiation Oncology

    SciTech Connect (OSTI)

    Ford, Eric C., E-mail: eford@uw.edu [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Terezakis, Stephanie; Souranis, Annette; Harris, Kendra [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States)] [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Gay, Hiram; Mutic, Sasa [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)] [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)

    2012-11-01T23:59:59.000Z

    Purpose: To quantify the error-detection effectiveness of commonly used quality control (QC) measures. Methods: We analyzed incidents from 2007-2010 logged into a voluntary in-house, electronic incident learning systems at 2 academic radiation oncology clinics. None of the incidents resulted in patient harm. Each incident was graded for potential severity using the French Nuclear Safety Authority scoring scale; high potential severity incidents (score >3) were considered, along with a subset of 30 randomly chosen low severity incidents. Each report was evaluated to identify which of 15 common QC checks could have detected it. The effectiveness was calculated, defined as the percentage of incidents that each QC measure could detect, both for individual QC checks and for combinations of checks. Results: In total, 4407 incidents were reported, 292 of which had high-potential severity. High- and low-severity incidents were detectable by 4.0 {+-} 2.3 (mean {+-} SD) and 2.6 {+-} 1.4 QC checks, respectively (P<.001). All individual checks were less than 50% sensitive with the exception of pretreatment plan review by a physicist (63%). An effectiveness of 97% was achieved with 7 checks used in combination and was not further improved with more checks. The combination of checks with the highest effectiveness includes physics plan review, physician plan review, Electronic Portal Imaging Device-based in vivo portal dosimetry, radiation therapist timeout, weekly physics chart check, the use of checklists, port films, and source-to-skin distance checks. Some commonly used QC checks such as pretreatment intensity modulated radiation therapy QA do not substantially add to the ability to detect errors in these data. Conclusions: The effectiveness of QC measures in radiation oncology depends sensitively on which checks are used and in which combinations. A small percentage of errors cannot be detected by any of the standard formal QC checks currently in broad use, suggesting that further improvements are needed. These data require confirmation with a broader incident-reporting database.

  16. Bounded Model Checking of Multi-threaded Software using SMT solvers

    E-Print Network [OSTI]

    Cordeiro, Lucas

    2010-01-01T23:59:59.000Z

    The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi-threaded software with shared variables and locks using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT). We describe three approaches to model check multi-threaded software and our modelling of the synchronization primitives of the Pthread library. In the lazy approach, we generate all possible interleavings and call the BMC procedure on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation-widening approach, we reduce the state space by abstracting the number of state variables and interleavings from the proofs o...

  17. Received 25 March 2002 Accepted 6 August 2002

    E-Print Network [OSTI]

    Received 25 March 2002 Accepted 6 August 2002 Published online 9 December 2002 Nuclear markers reveal unexpected genetic variation and a Congolese颅Nilotic origin of the Lake Victoria cichlid species flock Ole Seehausen1,2* , Egbert Koetsier2 , Maria Victoria Schneider2 , Lauren J. Chapman3,4 , Colin A

  18. Continuous cleanup of oilfield waste in an environmentally acceptable manner

    SciTech Connect (OSTI)

    Wally, R.F.; Dowdy, S.A.

    1983-05-01T23:59:59.000Z

    After several years of research and field testing, a process has been developed which can economically treat reserve pit waste. This continuous process converts the reserve pit contents into two environmentally acceptable products: a relatively dry, non-leachable cake-like solid material, and water which is purified for recycle or release directly into the environment.

  19. Accepted Manuscript Sustainable manufacturing: Evaluation and Modeling of

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    in additive manufacturing Florent Le Bourhisa Olivier Kerbrata Jean-Yves Hascoeta Pascal Mognola Accepted of manufacturing processes where great amounts of energy and materials are being consumed. Nowadays, additive manufacturing technologies such as Direct Additive Laser Manufac- turing allow us to manufacture functional

  20. Accepted for Publication Simulation modeling combined with decision control can

    E-Print Network [OSTI]

    Accepted for Publication ABSTRACT Simulation modeling combined with decision control can offer) with Model Predictive Control (MPC) paradigms using a Knowledge Interchange Broker (KIB). This environment uses the KIB to compose discrete event simulation and model predictive control models. This approach

  1. acceptance test summary: Topics by E-print Network

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

    acceptance test summary First Page Previous Page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 LMS Qualification and Flight...

  2. Received 11 January 2002 Accepted 1 March 2002

    E-Print Network [OSTI]

    Pratt, Stephen

    Received 11 January 2002 Accepted 1 March 2002 Published online 29 May 2002 Deciding on a new home, Bristol BS8 1UG, UK 5 Section of Neurobiology and Behavior, Cornell University, Ithaca, NY 14853, USA nectar sources, ants stub- bornly wasting energy on longer routes--can be adaptive in the long term

  3. Determination of the Acceptable Room Temperature Range for Local Cooling

    E-Print Network [OSTI]

    Zhang, Y.; Zhao, R.

    2006-01-01T23:59:59.000Z

    Determination of the acceptable room temperature range is a key problem in satisfactory design of local cooling for energy savings. At the room temperatures ranging from neutral to warm, three sensitive body parts-the face, chest and back-were each...

  4. Impacts of Mixing on Acceptable Indoor Air Quality in Homes

    E-Print Network [OSTI]

    have central heating, ventilation, and air conditioning systems, which tend to mix the air; thus of Mixing on Acceptable Indoor Air Quality in Homes ABSTRACT Ventilation reduces occupant exposure to indoor different dilution rates and contaminant source strengths. The total ventilation rate is the most important

  5. Evolution as Computation Evolutionary Theory (accepted for publication)

    E-Print Network [OSTI]

    Mayfield, John

    1/21/05 1 Evolution as Computation Evolutionary Theory (accepted for publication) By: John E: jemayf@iastate.edu Key words: Evolution, Computation, Complexity, Depth Running head: Evolution of evolution must include life and also non-living processes that change over time in a manner similar

  6. www.elsevier.com/locate/neucom Author's Accepted Manuscript

    E-Print Network [OSTI]

    Bartlett, Marian Stewart

    embodiment (e.g., perception-action systems, biomechanics, motor control), and sensitivity to cognitivewww.elsevier.com/locate/neucom Author's Accepted Manuscript New trends in cognitive science Bartlett and Tony Jebara, New trends in cognitive science: Integrative approaches to learning

  7. www.elsevier.com/locate/csda Author's Accepted Manuscript

    E-Print Network [OSTI]

    Kundu, Debasis

    Bayesestimatorsforreliabilitymeasuresingeometric distribution model using masked system life test data Ammar M. Sarhan, Debasis Kundu PII: S0167 distribution model using masked system life test data, Computa- tional Statistics & Data Analysis (2007), doi;Accepted m anuscript Bayes estimators for reliability measures in geometric distribution model using masked

  8. Received 9 June 2004 Accepted 25 June 2004

    E-Print Network [OSTI]

    Davies, Jonathan

    dependent on solar energy input. Previous work demonstrated a sig- nificant correlation between the generalReceived 9 June 2004 Accepted 25 June 2004 Published online 24 September 2004 Environmental energy Biology, Imperial College London, Silwood Park Campus, Ascot SL5 7PY, UK 2 Molecular Systematics Section

  9. Accepted Manuscript Variational formulations for surface tension, capillarity and wetting

    E-Print Network [OSTI]

    Frey, Pascal

    Accepted Manuscript Variational formulations for surface tension, capillarity and wetting Gustavo C formulations for surface tension, capillarity and wetting, Comput. Methods Appl. Mech. Engrg. (2011), doi: 10 formulations for surface tension, capillarity and wetting Gustavo C. Buscagliaa,b, , Roberto F. Ausasa,b a

  10. Tuesday, June 24 P. M. noon -4:30 BEAN Registration/Check-in

    E-Print Network [OSTI]

    Bordenstein, Seth

    Tuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC Welcome Gathering 8:30 BEAN Lead Chaperone/Conductor/Interns mtg. 10:00 BEAN Lights out Wednesday, June 25:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 9:00 CLC Sharing Our Songs Concert I 9:15 9:45 BEAN

  11. Model-Checking the Higher-Dimensional Modal mu-Calculus

    E-Print Network [OSTI]

    Lange, Martin; 10.4204/EPTCS.77.6

    2012-01-01T23:59:59.000Z

    The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property that can be expressed in this logic can be checked in polynomial time, and conversely every polynomial-time decidable problem that has a bisimulation-invariant encoding into labeled transition systems can also be defined in the higher-dimensional modal mu-calculus. We exemplify the latter connection by giving several examples of decision problems which reduce to model checking of the higher-dimensional modal mu-calculus for some fixed formulas. This way generic model checking algorithms for the logic can then be used via partial evaluation in order to obtain algorithms for theses problems which may benefit from improvements that are well-established in the field of program verification, namely on-the-fly and symbolic techniques. The aim of this work is to extend such techniques to other fields as well, here exemplarily done for process...

  12. Exploration Of Activity Measurements And Equilibrium Checks For Sediment Dating Using Thick-Window Germanium Detectors

    SciTech Connect (OSTI)

    Warner, Jacob A.; Gladkis, Laura G.; Timmers, Heiko [School of Physical, Environmental and Mathematical Sciences, University of New South Wales at the Australian Defence Force Academy, Canberra ACT 2602 (Australia); Fitzsimmons, Kathryn E. [Department of Human Evolution, Max Planck Institute for Evolutionary Anthropology, Deutscher Platz 6, D-04103 Leipzig (Germany); Reynolds, Eva M. [Research School of Earth Sciences, Australian National University, Canberra ACT 0200 (Australia)

    2011-06-01T23:59:59.000Z

    Activity measurements on sediment samples for trapped-charge geological dating using gamma-ray spectroscopy are an important verification of the field-site dose rate determination. Furthermore gamma-ray spectroscopy can check if the natural decay series are in secular equilibrium which is a crucial assumption in such dating. Typically the activities of leading members of the Thorium and Uranium decay series are measured, which requires Germanium detectors with thin windows and good energy resolution in order to effectively detect the associated low energy gamma-rays. Such equipment is not always readily available. The potential of conventional Germanium detectors with thick entrance window has been explored towards routine gamma-ray spectroscopy of sediment samples using higher energy gamma-rays. Alternative isotopes, such as Ac-228 and Pb-212 for the Thorium series, and Pa-234m, Ra-226 and Bi-214 for the Uranium series, have been measured in order to determine the mass-specific activity for the respective series and possibly provide a check of secular equilibrium. In addition to measurements of the K-40 activity, with the alternative approach, the activities of both decay series can be accurately determined. The secular equilibrium condition may be tested for the Thorium series. Measurement accuracy for Pa-234m is, however, not sufficient to permit also a reliable check of equilibrium for the Uranium series.

  13. The role of acceptable knowledge in transuranic waste disposal operations - 11117

    SciTech Connect (OSTI)

    Chancellor, Christopher John [Los Alamos National Laboratory; Nelson, Roger [DOE-CARLSBAD

    2010-11-08T23:59:59.000Z

    The Acceptable Knowledge (AK) process plays a key role in the delineation of waste streams destined for the Waste Isolation Pilot Plant (WIPP). General Electric's Vallecitos Nuclear Center (GEVNC) provides for an ideal case study of the application of AK in a multiple steward environment. In this review we will elucidate the pivotal role Acceptable Knowledge played in segregating Department of Energy (DOE) responsibilities from a commercial facility. The Acceptable Knowledge process is a necessary component of waste characterization that determines whether or not a waste stream may be considered for disposal at the WIPP site. This process may be thought of as an effort to gain a thorough understanding of the waste origin, chemical content, and physical form gleaned by the collection of documentation that concerns generator/storage site history, mission, and operations; in addition to waste stream specific information which includes the waste generation process, the waste matrix, the quantity of waste concerned, and the radiological and chemical make up of the waste. The collection and dissemination of relevant documentation is the fundamental requirement for the AK process to work. Acceptable Knowledge is the predominant process of characterization and, therefore, a crucial part of WIPP's transuranic waste characterization program. This characterization process, when conducted to the standards set forth in WIPP's operating permit, requires confirmation/verification by physical techniques such as Non-Destructive Examination (NDE), Visual Examination (VE), and Non-Destructive Assay (NDA). These physical characterization techniques may vary in their appropriateness for a given waste stream; however, nothing will allow the substitution or exclusion of AK. Beyond the normal scope of operations, AK may be considered, when appropriate, a surrogate for the physical characterization techniques in a procedure that appeals to concepts such As Low As Reasonably Achievable (ALARA) and budgetary savings. This substitution is referred to as an Acceptable Knowledge Sufficiency Determination. With a Sufficiency Determination Request, AK may supplant the need for one or all of the physical analysis methods. This powerful procedure may be used on a scale as small as a single container to that of a vast waste stream. Only under the most stringent requirements will an AK Sufficiency Determination be approved by the regulators and, to date, only six such Sufficiency Determinations have been approved. Although Acceptable Knowledge is legislated into the operational procedures of the WIPP facility there is more to it than compliance. AK is not merely one of a long list of requirements in the characterization and verification of transuranic (TRU) waste destined for the WIPP. Acceptable Knowledge goes beyond the regulatory threshold by offering a way to reduce risk, cost, time, and uncertainty on its own laurels. Therefore, AK alone can be argued superior to any other waste characterization technique.

  14. Undergraduate Guest Application and Registration Form Application/Registration Opens for Term

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    for the application fee and your course(s). Check here if you have applied as a guest before. I. Status Guest status USA addresses only Email Address: Telephone: ( ) (Home) ( ) (Work) Please indicate year/term for which not guarantee regular admission to West Virginia University. FERPA Notice Information that is protected from

  15. Effective Date: Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: Revision- Check the JPSS MIS Server at https-00043 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https SDR ATBD 474-00043 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  16. 1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine, in the correct facility, for the correct date. Another user may

    E-Print Network [OSTI]

    Reif, Rafael

    1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine to honor them, if this is the case. 2. Engage the tool in Coral for the equipment that you are about to use protectors and acid gloves. 5. Perform pre-check of wet bench 1. Check the Coral indicator LED in the upper

  17. History of Uranium-233(sup233U)Processing at the Rocky Flats Plant. In support of the RFETS Acceptable Knowledge Program

    SciTech Connect (OSTI)

    Moment, R.L.; Gibbs, F.E.; Freiboth, C.J.

    1999-04-01T23:59:59.000Z

    This report documents the processing of Uranium-233 at the Rocky Flats Plant (Rocky Flats Environmental Technology Site). The information may be used to meet Waste Isolation Pilot Plant (WIPP) Waste Acceptance Criteria (WAC)and for determining potential Uranium-233 content in applicable residue waste streams.

  18. hal-00168179,version1-24Aug2007 W2001-255 REGULAR PAPER ACCEPTED TO IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION 1 Architecture Optimization of

    E-Print Network [OSTI]

    Paris-Sud XI, Universit茅 de

    . The design optimization is conducted on the basis of a prescribed Cartesian workspace with prescribedhal-00168179,version1-24Aug2007 W2001-255 REGULAR PAPER ACCEPTED TO IEEE TRANSACTIONS ON ROBOTICS the architecture optimization of a 3-DOF translational parallel mechanism designed for ma- chining applications

  19. Nevada Test Site waste acceptance criteria [Revision 1

    SciTech Connect (OSTI)

    None

    1997-08-01T23:59:59.000Z

    Revision one updates the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive and mixed waste for disposal; and transuranic and transuranic mixed waste for interim storage at the NTS. Review each section of this document. This document is not intended to include all of the requirements; rather, it is meant as a guide toward meeting the regulations. All references in this document should be observed to avoid omission of requirements on which acceptance or rejection of waste will be based. The Department of Energy/Nevada Operations Office (DOE/NV) and support contractors are available to assist you in understanding or interpreting this document.

  20. W-026, transuranic waste (TRU) glovebox acceptance test report

    SciTech Connect (OSTI)

    Leist, K.J.

    1998-03-11T23:59:59.000Z

    On July 18, 1997, the Transuranic (TRU) glovebox was tested using glovebox acceptance test procedure 13021A-86. The primary focus of the glovebox acceptance test was to examine control system interlocks, display menus, alarms, and operator messages. Limited mechanical testing involving the drum ports, hoists, drum lifter, compacted drum lifter, drum tipper, transfer car, conveyors, sorting table, lidder/delidder device and the TRU empty drum compactor were also conducted. As of February 25, 1998, 10 of the 102 test exceptions that affect the TRU glovebox remain open. These items will be tracked and closed via the WRAP Master Test Exception Database. As part of Test Exception resolution/closure the responsible individual closing the Test Exception performs a retest of the affected item(s) to ensure the identified deficiency is corrected, and, or to test items not previously available to support testing. Test exceptions are provided as appendices to this report.

  1. WRAP low level waste (LLW) glovebox acceptance test report

    SciTech Connect (OSTI)

    Leist, K.J.

    1998-02-17T23:59:59.000Z

    In June 28, 1997, the Low Level Waste (LLW) glovebox was tested using glovebox acceptance test procedure 13031A-85. The primary focus of the glovebox acceptance test was to examine control system interlocks, display menus, alarms, and operator messages. Limited mechanical testing involving the drum ports, hoists, drum lifter, compacted drum lifter, drum tipper, transfer car, conveyors, lidder/delidder device and the supercompactor were also conducted. As of November 24, 1997, 2 of the 131 test exceptions that affect the LLW glovebox remain open. These items will be tracked and closed via the WRAP Master Test Exception Database. As part of Test Exception resolution/closure the responsible individual closing the Test Exception performs a retest of the affected item(s) to ensure the identified deficiency is corrected, and, or to test items not previously available to support testing. Test Exceptions are provided as appendices to this report.

  2. MCO combustible gas management leak test acceptance criteria

    SciTech Connect (OSTI)

    SHERRELL, D.L.

    1999-05-11T23:59:59.000Z

    Existing leak test acceptance criteria for mechanically sealed and weld sealed multi-canister overpacks (MCO) were evaluated to ensure that MCOs can be handled and stored in stagnant air without compromising the Spent Nuclear Fuel Project's overall strategy to prevent accumulation of combustible gas mixtures within MCO's or within their surroundings. The document concludes that the integrated leak test acceptance criteria for mechanically sealed and weld sealed MCOs (1 x 10{sup -5} std cc/sec and 1 x 10{sup -7} std cc/sec, respectively) are adequate to meet all current and foreseeable needs of the project, including capability to demonstrate compliance with the NFPA 60 Paragraph 3-3 requirement to maintain hydrogen concentrations [within the air atmosphere CSB tubes] t or below 1 vol% (i.e., at or below 25% of the LFL).

  3. 105 K East isolation barrier acceptance analysis report

    SciTech Connect (OSTI)

    McCracken, K.J. [ICF Kaiser Hanford Co., Richland, WA (United States); Irwin, J.J. [Westinghouse Hanford Co., Richland, WA (United States)

    1995-05-31T23:59:59.000Z

    The objective of this document is to report and interpret the findings of the isolation barrier acceptance tests performed in 105KE/100K. The tests were performed in accordance with the test plan (McCracken 1995c) and acceptance test procedure (McCracken 1995a). The test report (McCracken 1995b) contains the test data. This document compares the test data (McCracken 1995b) against the criteria (McCracken 1995a, c). A discussion of the leak rate analytical characterization (Irwin 1995) describes how the flow characteristics and the flow rate will be determined using the test data from the test report (McCracken 1995b). The barriers must adequately control the leakage from the main basin to the discharge chute to less than the 1,500 gph (5,680 lph) Safety Analysis Report (SAR 1994) limit.

  4. Acceptance Test Plan for the Sludge Pickup Adaptor

    SciTech Connect (OSTI)

    PITNER, A.L.

    2000-03-29T23:59:59.000Z

    This test plan documents the acceptance testing of the sludge pickup adapter for potential use during PSI Phases 3 and 4 fuel cleanliness inspection activities. The adaptex is attached to the strainer tip of the vacuum wand and used to suction up residual sludge captured in a sludge collection tray. The material is vacuumed into a chamber of known volume in the sludge pickup adapter. The device serves as an aid in helping to determine whether the observed quantity of sludge is within allowable limits (1.4 cm{sup 3} per fuel assembly). This functionality test involves underwater testing in the 305 Building Cold Test Facility to verify that sludge can be successfully vacuumed from a collection tray. Ancillary activities in this acceptance test include demonstration that the sludge pickup adapter CM be successfully attached to and detached from the vacuum wand underwater.

  5. Cancer Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Cancer Evaluation The following questions are about today's program. Place a check (T the information from this program. # I have or have had cancer. YES NO As you answer each question, think about

  6. Heart Health Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Heart Health Evaluation The following questions are about today's program. Place a check not planning to use the information in this program. # I have heart disease or high blood pressure. YES

  7. 1058 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 53, NO. 3, MARCH 2007 Generalized Low-Density Parity-Check Codes

    E-Print Network [OSTI]

    Ping, Li

    represented by an extrinsic mutual information transfer (EXIT) chart. Simulation results show-Hadamard codes. Index Terms--Code optimization, extrinsic mutual informa- tion transfer (EXIT) chart, generalized check (SPC) codes using bipartite graphs. For

  8. Polarization Measurements in Photoproduction with CEBAF Large Acceptance Spectrometer

    SciTech Connect (OSTI)

    E. Pasyuk

    2010-05-01T23:59:59.000Z

    A significant part of the experimental program in Hall-B of the Jefferson Lab is dedicated to the studies of the structure of baryons. CEBAF Large Acceptance Spectrometer (CLAS), availability of circularly and linearly polarized photon beams and recent addition of polarized targets provides remarkable opportunity for single, double and in some cases triple polarization measurements in photoproduction. An overview of the experiments will be presented.

  9. Accepted Manuscript A rounding algorithm for approximating minimum Manhattan

    E-Print Network [OSTI]

    Chepoi, Victor

    , Karim Nouioua, Yann Vax`es PII: S0304-3975(07)00765-7 DOI: 10.1016/j.tcs.2007.10.013 Reference: TCS 6686 Accepted date: 6 October 2007 Please cite this article as: V. Chepoi, K. Nouioua, Y. Vax`es, A rounding, Yann Vax`es Laboratoire d'Informatique Fondamentale de Marseille, Universit麓e de la M

  10. COMPUTING APPLICATIONS APPLICATIONS

    E-Print Network [OSTI]

    Bader, David A.

    COMPUTING APPLICATIONS APPLICATIONS APPLICATIONS David A. Bader NEW MEXICO, USA Robert Pennington of the interconnect net- work and related software is shown by comparing the same application running on a large

  11. Effective Date: September 19, 2012 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: September 19, 2012 Revision Check the JPSS MIS Server at https-00323 Effective Date: September 19, 2012 Revision i Check the JPSS MIS Server at https: September 19, 2012 Revision ii Check the JPSS MIS Server at https

  12. Participatory approach, acceptability and transparency of waste management LCAs: Case studies of Torino and Cuneo

    SciTech Connect (OSTI)

    Blengini, Gian Andrea, E-mail: blengini@polito.it [DIATI - Department of Environment, Land and Infrastructures Engineering, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Turin (Italy); CNR-IGAG - Institute of Environmental Geology and Geo-Engineering, Corso Duca degli Abruzzi 24, 10129 Turin (Italy); Fantoni, Moris, E-mail: moris.fantoni@polito.it [DIATI - Department of Environment, Land and Infrastructures Engineering, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Turin (Italy); Busto, Mirko, E-mail: mirko.busto@jrc.ec.europa.eu [European Commission - Joint Research Centre, Via Enrico Fermi 2749, I-21027 Ispra (Italy); Genon, Giuseppe, E-mail: giuseppe.genon@polito.it [DIATI - Department of Environment, Land and Infrastructures Engineering, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Turin (Italy); Zanetti, Maria Chiara, E-mail: mariachiara.zanetti@polito.it [DIATI - Department of Environment, Land and Infrastructures Engineering, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Turin (Italy)

    2012-09-15T23:59:59.000Z

    Highlights: Black-Right-Pointing-Pointer Life Cycle Assessment is still not fully operational in waste management at local scale. Black-Right-Pointing-Pointer Credibility of WM LCAs is negatively affected by assumptions and lack of transparency. Black-Right-Pointing-Pointer Local technical-social-economic constraints are often not reflected by WM LCAs. Black-Right-Pointing-Pointer A participatory approach can increase acceptability and credibility of WM LCAs. Black-Right-Pointing-Pointer Results of a WM LCA can hardly ever be generalised, thus transparency is essential. - Abstract: The paper summarises the main results obtained from two extensive applications of Life Cycle Assessment (LCA) to the integrated municipal solid waste management systems of Torino and Cuneo Districts in northern Italy. Scenarios with substantial differences in terms of amount of waste, percentage of separate collection and options for the disposal of residual waste are used to discuss the credibility and acceptability of the LCA results, which are adversely affected by the large influence of methodological assumptions and the local socio-economic constraints. The use of site-specific data on full scale waste treatment facilities and the adoption of a participatory approach for the definition of the most sensible LCA assumptions are used to assist local public administrators and stakeholders showing them that LCA can be operational to waste management at local scale.

  13. An Adaptive Entanglement Distillation Scheme Using Quantum Low Density Parity Check Codes

    E-Print Network [OSTI]

    K. H. Ho; H. F. Chau

    2008-07-14T23:59:59.000Z

    Quantum low density parity check (QLDPC) codes are useful primitives for quantum information processing because they can be encoded and decoded efficiently. Besides, the error correcting capability of a few QLDPC codes exceeds the quantum Gilbert-Varshamov bound. Here, we report a numerical performance analysis of an adaptive entanglement distillation scheme using QLDPC codes. In particular, we find that the expected yield of our adaptive distillation scheme to combat depolarization errors exceed that of Leung and Shor whenever the error probability is less than about 0.07 or greater than about 0.28. This finding illustrates the effectiveness of using QLDPC codes in entanglement distillation.

  14. How to check quantum mechanics independently (Reply to arXiv:1505.04293)

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17T23:59:59.000Z

    This is the reply to the paper of Andrei Khrennikov arXiv:1505.04293 in which he expresses dissatisfaction with that the rough data in quantum experiments is not easily available and compares it with the open rough data in genetics. I try to explain why quantum experiments rough data is closed and why it differs radically from the biological. I also tried to answer the more thorny issue: is it possible to check quantum mechanics independently of other humans, e.g. trusting nobody.

  15. A computer test bench for checking and adjusting the automatic regulators of generator excitation systems

    SciTech Connect (OSTI)

    Dovganyuk, I. Ya.; Labunets, I. A.; Plotnikova, T. V.; Sokur, P. V. [Affiliate of the 'NTTs Elektroenergetiki' Company - Scientific Research Institute of Electric Power (VNIIE) (Russian Federation)

    2008-05-15T23:59:59.000Z

    A computer test bench for testing and debugging natural samples of the automatic excitation regulation systems of generators, the protection units and the power part of the excitation system is described. The bench includes a personal computer with specialized input-output circuit boards for analog and digital signals, and enables the time and cost involved in developing and checking control systems to be reduced considerably. The program employed operates in real time and enables the automatic excitation regulators of synchronous generators and generators with longitudinal-transverse excitation in a specific power system to be adjusted.

  16. Automatic scanning of nuclear emulsions with wide-angle acceptance for nuclear fragment detection

    E-Print Network [OSTI]

    Fukuda, T; Ishida, H; Kodama, K; Matsuo, T; Mikado, S; Ogawa, S; Shibuya, H; Sudo, J

    2013-01-01T23:59:59.000Z

    Nuclear emulsion, a tracking detector with sub-micron position resolution, has played a successful role in the field of particle physics and the analysis speed has been substantially improved by the development of automated scanning systems. This paper describes a newly developed automated scanning system and its application to the analysis of nuclear fragments emitted almost isotropically in nuclear evaporation. This system is able to recognize tracks of nuclear fragments up to |tan{\\theta}|nuclear emulsion is the first trial. Furthermore the track recognition algorithm is performed by a powerful Graphics Processing Unit (GPU) for the first time. This GPU has a sufficient computing power to process large area scanning data with a wide angular acceptance and enough flexibil...

  17. A Construction of Quantum Stabilizer Codes Based on Syndrome Assignment by Classical Parity-Check Matrices

    E-Print Network [OSTI]

    Ching-Yi Lai; Chung-Chin Lu

    2007-12-02T23:59:59.000Z

    In quantum coding theory, stabilizer codes are probably the most important class of quantum codes. They are regarded as the quantum analogue of the classical linear codes and the properties of stabilizer codes have been carefully studied in the literature. In this paper, a new but simple construction of stabilizer codes is proposed based on syndrome assignment by classical parity-check matrices. This method reduces the construction of quantum stabilizer codes to the construction of classical parity-check matrices that satisfy a specific commutative condition. The quantum stabilizer codes from this construction have a larger set of correctable error operators than expected. Its (asymptotic) coding efficiency is comparable to that of CSS codes. A class of quantum Reed-Muller codes is constructed, which have a larger set of correctable error operators than that of the quantum Reed-Muller codes developed previously in the literature. Quantum stabilizer codes inspired by classical quadratic residue codes are also constructed and some of which are optimal in terms of their coding parameters.

  18. EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop:

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField Campaign:INEA :Work4/11 ENVIROISSUES ESF 12DepartmentConsumer Acceptance

  19. Market Acceptance of Advanced Automotive Technologies (MA3T) Model

    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 onYouTube YouTube Note: Since the.pdfBreaking ofOil & Gas 禄ofMarketingSmartManufacturingMarch8,ofMarkAcceptance of

  20. Improving spot-scanning proton therapy patient specific quality assurance with HPlusQA, a second-check dose calculation engine

    SciTech Connect (OSTI)

    Mackin, Dennis; Li, Yupeng; Taylor, Michael B.; Kerr, Matthew; Holmes, Charles; Sahoo, Narayan; Poenisch, Falk; Li, Heng; Lii, Jim; Amos, Richard; Wu, Richard; Suzuki, Kazumichi; Gillin, Michael T.; Zhu, X. Ronald; Zhang, Xiaodong [Department of Radiation Physics, The University of Texas MD Anderson Cancer Center, Houston, Texas 77030 (United States)] [Department of Radiation Physics, The University of Texas MD Anderson Cancer Center, Houston, Texas 77030 (United States)

    2013-12-15T23:59:59.000Z

    Purpose: The purpose of this study was to validate the use of HPlusQA, spot-scanning proton therapy (SSPT) dose calculation software developed at The University of Texas MD Anderson Cancer Center, as second-check dose calculation software for patient-specific quality assurance (PSQA). The authors also showed how HPlusQA can be used within the current PSQA framework.Methods: The authors compared the dose calculations of HPlusQA and the Eclipse treatment planning system with 106 planar dose measurements made as part of PSQA. To determine the relative performance and the degree of correlation between HPlusQA and Eclipse, the authors compared calculated with measured point doses. Then, to determine how well HPlusQA can predict when the comparisons between Eclipse calculations and the measured dose will exceed tolerance levels, the authors compared gamma index scores for HPlusQA versus Eclipse with those of measured doses versus Eclipse. The authors introduce the ??? transformation as a way to more easily compare gamma scores.Results: The authors compared measured and calculated dose planes using the relative depth, z/R 100%, where z is the depth of the measurement and R is the proton beam range. For relative depths than less than 80%, both Eclipse and HPlusQA calculations were within 2 cGy of dose measurements on average. When the relative depth was greater than 80%, the agreement between the calculations and measurements fell to 4 cGy. For relative depths less than 10%, the Eclipse and HPlusQA dose discrepancies showed a negative correlation, ?0.21. Otherwise, the correlation between the dose discrepancies was positive and as large as 0.6. For the dose planes in this study, HPlusQA correctly predicted when Eclipse had and had not calculated the dose to within tolerance 92% and 79% of the time, respectively. In 4 of 106 cases, HPlusQA failed to predict when the comparison between measurement and Eclipse's calculation had exceeded the tolerance levels of 3% for dose and 3 mm for distance-to-agreement.Conclusions: The authors found HPlusQA to be reasonably effective (79% 10%) in determining when the comparison between measured dose planes and the dose planes calculated by the Eclipse treatment planning system had exceeded the acceptable tolerance levels. When used as described in this study, HPlusQA can reduce the need for patient specific quality assurance measurements by 64%. The authors believe that the use of HPlusQA as a dose calculation second check can increase the efficiency and effectiveness of the QA process.

  1. Contact-Handled Transuranic Waste Acceptance Criteria for the Waste Isolation Pilot Plant

    SciTech Connect (OSTI)

    Washington TRU Solutions LLC

    2005-12-29T23:59:59.000Z

    The purpose of this document is to summarize the waste acceptance criteria applicable to the transportation, storage, and disposal of contact-handled transuranic (CH-TRU) waste at the Waste Isolation Pilot Plant (WIPP). These criteria serve as the U.S. Department of Energy's (DOE) primary directive for ensuring that CH-TRU waste is managed and disposed of in a manner that protects human health and safety and the environment.The authorization basis of WIPP for the disposal of CH-TRU waste includes the U.S.Department of Energy National Security and Military Applications of Nuclear EnergyAuthorization Act of 1980 (reference 1) and the WIPP Land Withdrawal Act (LWA;reference 2). Included in this document are the requirements and associated criteriaimposed by these acts and the Resource Conservation and Recovery Act (RCRA,reference 3), as amended, on the CH-TRU waste destined for disposal at WIPP.|The DOE TRU waste sites must certify CH-TRU waste payload containers to thecontact-handled waste acceptance criteria (CH-WAC) identified in this document. Asshown in figure 1.0, the flow-down of applicable requirements to the CH-WAC istraceable to several higher-tier documents, including the WIPP operational safetyrequirements derived from the WIPP CH Documented Safety Analysis (CH-DSA;reference 4), the transportation requirements for CH-TRU wastes derived from theTransuranic Package Transporter-Model II (TRUPACT-II) and HalfPACT Certificates ofCompliance (references 5 and 5a), the WIPP LWA (reference 2), the WIPP HazardousWaste Facility Permit (reference 6), and the U.S. Environmental Protection Agency(EPA) Compliance Certification Decision and approval for PCB disposal (references 7,34, 35, 36, and 37). The solid arrows shown in figure 1.0 represent the flow-down of allapplicable payload container-based requirements. The two dotted arrows shown infigure 1.0 represent the flow-down of summary level requirements only; i.e., the sitesmust reference the regulatory source documents from the U.S. Nuclear RegulatoryCommission (NRC) and the New Mexico Environment Department (NMED) for acomprehensive and detailed listing of the requirements.This CH-WAC does not address the subject of waste characterization relating to adetermination of whether the waste is hazardous; rather, the sites are referred to theWaste Analysis Plan (WAP) contained in the WIPP Hazardous Waste Facility Permit fordetails of the sampling and analysis protocols to be used in determining compliance withthe required physical and chemical properties of the waste. Requirements andassociated criteria pertaining to a determination of the radiological properties of thewaste, however, are addressed in appendix A of this document. The collectiveinformation obtained from waste characterization records and acceptable knowledge(AK) serves as the basis for sites to certify that their CH-TRU waste satisfies the WIPPwaste acceptance criteria listed herein.

  2. White House Office of Science and Technology Policy Summer 2014 Internship Program Application Period

    Broader source: Energy.gov [DOE]

    The White House Office of Science and Technology Policy is currently accepting applications for its Summer 2014 Internship Program. The application deadline is 11:59pm Friday, March 7. Students...

  3. Magnetospheric application of high-altitude long-duration balloon technology: Daylight auroral observations

    E-Print Network [OSTI]

    Lummerzheim, Dirk

    Magnetospheric application of high-altitude long-duration balloon technology: Daylight auroral; accepted 12 February 2007 Abstract Daylight auroral imaging is a proposed application of the NASA high

  4. Accepted Manuscript Carbon Footprint and emergy combination for Eco-Environmental assessment of

    E-Print Network [OSTI]

    Paris-Sud XI, Universit茅 de

    Accepted Manuscript Carbon Footprint and emergy combination for Eco- Environmental assessment Corre O, Feidt M, Carbon Footprint and emergy combination for Eco- Environmental assessment of cleaner ACCEPTED MANUSCRIPT 1 CARBON FOOTPRINT AND EMERGY COMBINATION FOR ECO- ENVIRONMENTAL ASSESSMENT OF CLEANER

  5. acceptance product specifications: Topics by E-print Network

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

    longer the exception; they are the rule in many application areas such as avionics, the automotive industry, traffic systems, sensor networks, and medical devices. Formal DES...

  6. Disoriented Chiral Condensates: A White Paper for the Full Acceptance Detector at the SSC

    E-Print Network [OSTI]

    K. L. Kowalski; C. C. Taylor

    1992-11-20T23:59:59.000Z

    Theoretical speculations and experimental data suggesting the possibility of observing disoriented chiral condensates at a Full Acceptance Detector are reviewed.

  7. Accepted, Nuclear Fusion, 1999 Turbulent Transport and Turbulence in Radiative I-Mode Plasmas in

    E-Print Network [OSTI]

    California at San Diego, University of

    Accepted, Nuclear Fusion, 1999 Turbulent Transport and Turbulence in Radiative I-Mode Plasmas vs. radiated fraction suggests a common underlying suppression mechanism. #12;Accepted, Nuclear of Physics University of Alberta Edmonton, Alberta Canada, T6G 2J1 1/4/00 17:25 PM #12;Accepted, Nuclear

  8. ACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet D2L109

    E-Print Network [OSTI]

    Ohta, Shigemi

    is at the Web address given above.) Pilat approved the magnet's field quality. Engineering: Escallier reportedACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet D2L109 Date of this summary: 1 July 2005 of the minutes, or as footnotes]. Acceptance status: The BNL magnetic acceptance committee has approved

  9. ACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet D2L103

    E-Print Network [OSTI]

    Ohta, Shigemi

    reviewed the field quality data after the meeting and then approved the magnet [2]. Engineering: EscallierACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet D2L103 Date of this summary: 27 January 2005 of the minutes, or as footnotes]. Acceptance status: The magnet has been approved for acceptance. The field

  10. Acceptability of Four Transformer Top-Oil Thermal Models: Pt. 2: Comparing Metrics

    E-Print Network [OSTI]

    1 Acceptability of Four Transformer Top-Oil Thermal Models: Pt. 2: Comparing Metrics Lida Jauregui transformer top-oil thermal models are examined vis--vis training with measured data. Acceptability is unacceptable for model identification purposes. The linear top-oil model is acceptable for FOFA transformers

  11. Consumer Acceptance of Genetically Modified Foods in Korea: Factor and Cluster Analysis

    E-Print Network [OSTI]

    Neimark, Alexander V.

    Consumer Acceptance of Genetically Modified Foods in Korea: Factor and Cluster Analysis Benjamin #12;Consumer Acceptance of Genetically Modified Foods In Korea: Factor and Cluster Analysis Abstract and desirability of food biotechnology 2 #12;Introduction Consumer acceptance of genetically modified (GM) 1 food

  12. Study Education Abroad Check with the Study Abroad office for up to date costs, course restrictions, and application processes.

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    of Sunderland (ISEP) Uruguay- Universidad Cat贸lica del Uruguay (ISEP)* Elementary Education Australia- University of Chester (ISEP) Uruguay- Universidad Cat贸lica del Uruguay (ISEP)* ISEP- ISEP Direct Murcia (ISEP)* Universidade de Santiago de Compostela (ISEP)* Uruguay - Universidad Cat贸lica del Uruguay

  13. BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR TAKE SHORT-CUTS FEEL THE BREEZE DISCOVER CAMPUS MAKE YOUR OWN ROUTE BURN CALORIES READ A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY

    E-Print Network [OSTI]

    Weiblen, George D

    A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS RE- DUCE YOUR CARBON FOOTPRINT FRESH

  14. Author's Accepted Manuscript Tandem structured spectrally selective coating

    E-Print Network [OSTI]

    Fainman, Yeshaiahu

    across the wide solar spectrum has important implications for applications in solar-thermal of solar spectrum, which will find broad applications in solar energy conversion. Keywords: tandem, solar absorption, solar thermal. Introduction The Earth receives an enormous amount of incoming solar

  15. Accept Reject Accept Reject

    E-Print Network [OSTI]

    Liskiewicz, Maciej

    . publication 420-012 Introduction Aquaculture, the practice of growing finfish and shell- fish under controlled America farmed fish for food and rec- reation prior to 2000 BC. They constructed ponds and raised fish much as fish are raised today. Both freshwa- ter and saltwater fish are currently raised commercially

  16. ACCEPTED MANUSCRIPT ACCEPTED MANUSCRIPT

    E-Print Network [OSTI]

    Colominas, Ignasi

    la Rep煤blica, Uruguay, Montevideo 11200, Uruguay, and Accounting and Finance Department, Norte Construcciones, Punta del Este, Maldonado 20100, Uruguay Luis Fuentes Garc铆a Departamento de M茅todos Matem谩ticos

  17. ORISE: ORISE is accepting applications for the 2015 U.S. Department...

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

    U.S. Department of Homeland Security Summer Internship Program Program represents opportunity for students to perform research at federal facilities located across the U.S. FOR...

  18. ACCEPTED TO IEEE TRANSACTIONS ON POWER SYSTEMS 1 Application of Public-Domain Market Information

    E-Print Network [OSTI]

    Ca帽izares, Claudio A.

    forecasts, comparisons with respect to ARIMA models developed for locational marginal prices (LMPs to Forecast Ontario's Wholesale Electricity Prices H. Zareipour, Student Member, IEEE, C.A. Ca~nizares, Senior price (HOEP). In order to do so, relevant data from Ontario and its neighboring electricity markets

  19. A preliminary examination of variables which influence the public acceptance of potable water reuse applications

    E-Print Network [OSTI]

    Foss, Michele Garteiser

    1997-01-01T23:59:59.000Z

    Water resource management in Texas is maturing from an era of project development to one of water supply management through conservation, reallocation, and reuse as a means of meeting water supply needs. As opportunities for conventional water...

  20. Accepted for publication in ASHRAE IAQ Applications Contact: MGApte@lbl.gov

    E-Print Network [OSTI]

    both energy and IEQ perspectives. Operating costs, electric demand, and other constraints influence Indoor Environment Dept., Lawrence Berkeley National Laboratory, Berkeley, CA, USA Massachusetts

  1. Scholarships that Accept Applications from International Students AAMC Financing Your Medical Education

    E-Print Network [OSTI]

    Jacobs, Lucia

    aspect of pharmacy. Deadline: early February American Nuclear Society (ANS) Graduate Scholarships http and Scholarships vary greatly. Deadline: early February. American Institute of the History of Pharmacy Grant http://pharmacy

  2. Energy Department Accepting Small Business Grant Applications for Low-Head

    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 onYouTube YouTube Note: Since the YouTube|6721 Federal Register /of Energy 3Increase Energy Efficiency |Hydropower

  3. Energy Department Accepting Applications for a $3.6 Million Hydroelectric

    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 FuelsNovember 13,Statement | DepartmentBlog Energy Blog RSS JanuaryProduction

  4. ORISE: ORISE is accepting applications for the 2015 Mickey Leland Energy

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for Renewable Energy:Nanowire3627

  5. ORISE: ORISE is accepting applications for the 2015 U.S. Department of

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for Renewable Energy:Nanowire3627Homeland Security Summer Internship Program U.S.

  6. ORISE: ORISE is accepting applications for the summer 2015 U.S. Department

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for Renewable Energy:Nanowire3627Homeland Security Summer Internship Program U.S.of

  7. ORISE: Applications being accepted for 2015 spring term of DOE's Science

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated CodesTransparencyDOE Project *1980-1981 U.S. OR ICourseUndergraduate

  8. W-026 acceptance test report plant control system software(submittal {number_sign}223.02)

    SciTech Connect (OSTI)

    Watson, T.L.

    1997-02-14T23:59:59.000Z

    Acceptance Testing of the WRAP 1 Plant Control System software was conducted throughout the construction of WRAP 1 with final testing on the glovebox software being completed in December 1996. The software tests were broken out into five sections; one for each of the four Local Control Units and one for the supervisory software modules. This document contains a completed copy of the software tests along with the applicable test log and completed Exception Test Reports. The ETRs outside the scope of the contractor are not signed off. These will be resolved by the Buyer and all 1280 open issues will be tracked on Buyer`s ETR database pending resolution.

  9. Cost Bases for Incentive Rates Applicable to Industrial Loads

    E-Print Network [OSTI]

    Stover, C. N.

    1987-01-01T23:59:59.000Z

    Incentive rates applicable to industrial customers are presently receiving a great deal of attention and increased acceptance. This represents a substantial change in attitude, particularly on the part of the ...

  10. Pseudo-random construction and reduced complexity decoding for low density parity check codes

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

    &, randomly constrn(t(&d panty-check inatrix at, thv, d&x o&1&&r can hc prohil&it. ivc in somr. applicatio&is. &Vh(:n a systvn& has a svt. of &liffcr&&nt LDI'(, ' codv&n each of t, hc parity-vhvrk matri?s nc&. 'd t, o hv, storvd in the rcceivcr. Anot h& r...)(Lkc(vtr, k)) L=l, k fr ('2. 1fi) Vr stprr(L, L(Tm )) = g srpn(LL, (l:r&, .)) k=1 kgr ('2. 17) Thc Eq. 2. 17 must hv. vomput&. &1 for a111=1. 2. p ? 1 and an cfficicnt, approach is nscd. First rkc fin&1 two &tuarititi&ls i&)1 arid Sl givvrl )ly Pg k...

  11. Bringing Automated Model Checking to PLC Program Development - A CERN Case Study

    E-Print Network [OSTI]

    Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Gonzalez Suarez, V M

    2014-01-01T23:59:59.000Z

    Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when trying to apply formal verification techniques at industrial installations are the difficulty of creating models out of PLC programs and defining formally the specification requirements. In addition, models produced out of real-life programs have a huge state space, thus preventing the verification due to performance issues. Our work at CERN (European Organization for Nuclear Research) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems. In this paper, we present a tool generating automatically formal models out of PLC code. The tool implements a general methodology which can support several input languages, ...

  12. U of O Retired Staff Parking Permit Application

    E-Print Network [OSTI]

    Cina, Jeff

    U of O Retired Staff Parking Permit Application Please Print Last Name Faculty Retired Non-tenure track instructor Retired Officer of Research Type of parking permit desired (no cost for permit) Payment Method: I intend to pay immediately, in full, using cash, check, Visa orf

  13. MINING ENGINEERING SCHOLARSHIP APPLICATION FOR GPA-BASED SCHOLARSHIPS

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    MINING ENGINEERING SCHOLARSHIP APPLICATION FOR GPA-BASED SCHOLARSHIPS DEPARTMENT OF MINING: EDUCATIONAL INFORMATION: Current GPA: Credits Completed: Current Major (check one): MinE MinE/CE MinE/GEOL Note: As a MinE/CE or MinE/GEOL major, is MinE listed on your "General Student Form" as your first

  14. High energy resolution, high angular acceptance crystal monochromator

    DOE Patents [OSTI]

    Alp, Ercan E. (Bolingbrook, IL); Mooney, Timothy M. (Westmont, IL); Toellner, Thomas (Green Bay, WI)

    1996-06-04T23:59:59.000Z

    A 4-bounce dispersive crystal monochromator reduces the bandpass of synchrotron radiation to a 10-50 meV range without sacrificing angular acceptance. The monochromator includes the combination of an asymmetrical channel-cut single crystal of lower order reflection and a symmetrical channel-cut single crystal of higher order reflection in a nested geometric configuration. In the disclosed embodiment, a highly asymmetrically cut (.alpha.=20) outer silicon crystal (4 2 2) with low order reflection is combined with a symmetrically cut inner silicon crystal (10 6 4) with high order reflection to condition a hard x-ray component (5-30 keV) of synchrotron radiation down to the .mu.eV-neV level. Each of the crystals is coupled to the combination of a positioning inchworm and angle encoder via a respective rotation stage for accurate relative positioning of the crystals and precise energy tuning of the monochromator.

  15. High energy resolution, high angular acceptance crystal monochromator

    DOE Patents [OSTI]

    Alp, E.E.; Mooney, T.M.; Toellner, T.

    1996-06-04T23:59:59.000Z

    A 4-bounce dispersive crystal monochromator reduces the bandpass of synchrotron radiation to a 10-50 meV range without sacrificing angular acceptance. The monochromator includes the combination of an asymmetrical channel-cut single crystal of lower order reflection and a symmetrical channel-cut single crystal of higher order reflection in a nested geometric configuration. In the disclosed embodiment, a highly asymmetrically cut ({alpha}=20) outer silicon crystal (4 2 2) with low order reflection is combined with a symmetrically cut inner silicon crystal (10 6 4) with high order reflection to condition a hard x-ray component (5--30 keV) of synchrotron radiation down to the {micro}eV-neV level. Each of the crystals is coupled to the combination of a positioning inchworm and angle encoder via a respective rotation stage for accurate relative positioning of the crystals and precise energy tuning of the monochromator. 7 figs.

  16. Assessment of national systems for obtaining local acceptance of waste management siting and routing activities

    SciTech Connect (OSTI)

    Paige, H.W.; Lipman, D.S.; Owens, J.E.

    1980-07-01T23:59:59.000Z

    There is a rich mixture of formal and informal approaches being used in our sister nuclear democracies in their attempts to deal with the difficulties of obtaining local acceptance for siting of waste management facilities and activities. Some of these are meeting with a degree of success not yet achieved in the US. Although this survey documents and assesses many of these approaches, time did not permit addressing in any detail their relevance to common problems in the US. It would appear the US could benefit from a periodic review of the successes and failures of these efforts, including analysis of their applicability to the US system. Of those countries (Germany, Sweden, Switzerland, Japan, Belgium, and the US) who are working to a time table for the preparation of a high-level waste (HLW) repository, Germany is the only country to have gained local siting acceptance for theirs. With this (the most difficult of siting problems) behind them they appear to be in the best overall condition relative to waste management progress and plans. This has been achieved without a particularly favorable political structure, made up for by determination on the part of the political leadership. Of the remaining three countries studied (France, UK and Canada) France, with its AVM production facility, is clearly the world leader in the HLW immobilization aspect of waste management. France, Belgium and the UK appear to have the least favorable political structures and environments for arriving at waste management decisions. US, Switzerland and Canada appear to have the least favorable political structures and environments for arriving at waste management decisions.

  17. Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs

    E-Print Network [OSTI]

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2 of the zero block, and is assumed to be publicly known data for verification. ISO/IEC 9797-1:2011 illustrates check value with the ISO/IEC 9797-1 MACs. Keywords: ANSI X9.24-1:2009, key check value, ISO/IEC 9797

  18. Exemption from Application of the Service Contract Act -Certification UT-B Contracts Div Certain Services

    E-Print Network [OSTI]

    Pennycook, Steve

    Exemption from Application of the Service Contract Act - Certification UT-B Contracts Div Certain OF THE SERVICE CONTRACT ACT 颅 CERTAIN SERVICES 颅 CERTIFICATION (Jan 2008) (a) The offeror shall check that the Service Contract Act 颅 (1) Will not apply to this offeror, then the applicable Service Contract Act

  19. Application for Replacement of Certificates, Permits, or Licenses Page 1 of 4

    E-Print Network [OSTI]

    Application for Replacement of Certificates, Permits, or Licenses Page 1 of 4 Revised: 12/10/2012 OMB Control No. 0648-0272 Expiration Date: 11/30/2015 APPLICATION FOR REPLACEMENT OF CERTIFICATES 颅 REPLACEMENT REQUEST (Check Only the Items That Apply) PART I 颅 BSAI Crab Permits and Scallop Permits [ ] Crab

  20. APPLICATION FOR SCHOLARSHIPS Health Science Studies, Pre-Professional Studies, and Environmental & Occupational Health

    E-Print Network [OSTI]

    Barrash, Warren

    for (check): Medical Studies Health Care Administration Dental Studies Occupational Therapy VeterinaryAPPLICATION FOR SCHOLARSHIPS Health Science Studies, Pre-Professional Studies, and Environmental & Occupational Health You are able to complete this application by simply typing your information into the spaces

  1. 2014 NASA Planetary Science Summer School Applications Open NASA is accepting applications from science and engineering post-docs,

    E-Print Network [OSTI]

    Rathbun, Julie A.

    Thermoelectric Generators (MMRTG). The session in August will have a targeted focus on spacecraft power systems power system trade-offs, including the use of solar electric vs. Multi-mission Radioisotope

  2. A multi-scale approach to statistical and model-based structural health monitoring with application to embedded sensing for wind energy

    E-Print Network [OSTI]

    Taylor, Stuart Glynn

    2013-01-01T23:59:59.000Z

    rotor blade," Structural Health Monitoring, accepted 12-Novdeployed for structural health monitoring applications,"J. -R. Lee, "Structural health monitoring of research-scale

  3. The Possibility of Checking the Equivalence Principle in a Null Gravitational Redshift by a Two-Resonator Laser System

    E-Print Network [OSTI]

    R. A. Daishev; Z. G. Murzakhanov; A. F. Skochilov

    2008-01-04T23:59:59.000Z

    A scheme of an optical detector is proposed for checking Einsteins equivalence principle (EEP) in a null gravitational redshift experiment and for testing methods for calculating the length of a resonator in a weak variable gravitational field by recording the variations of the difference frequency of resonators caused by lunisolar variations of the geopotential in a double or a two-resonator laser system.

  4. Checking Herbrand Equalities and Beyond Markus MullerOlm 1 , Oliver Ruthing 1 , and Helmut Seidl 2

    E-Print Network [OSTI]

    M眉ller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus M?uller颅Olm 1 , Oliver R?uthing 1 , and Helmut Seidl Markus M?uller颅Olm, Oliver R?uthing, and Helmut Seidl This deficiency is still present in the algorithm

  5. g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE THROAT, COUGH worse? NO YES Do you have chest pain, wheezing or any difficulty with breathing? NO YES Are you coughing, hacky cough? Expectorant (guaifenesin/Robitussin) Cough suppressant (dextromethorphan/ DM) Do you have

  6. REDUCED-COMPLEXITY DECODING FOR CONCATENATED CODES BASED ON RECTANGULAR PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    AND TURBO CODES John M. Shea and Tan F. Wong University of Florida Department of Electrical and Computer-check code (RPCC) with a turbo code. These concatenated codes are referred to as RPCC+turbo codes. RPCC+turbo codes have been shown to significantly outperform turbo codes in several scenarios [1],[2]. One

  7. Donate or sell your furniture, electronics, etc. Check out these helpful resources to recycle your unwanted items

    E-Print Network [OSTI]

    Alvarez-Cohen, Lisa

    Donate or sell your furniture, electronics, etc. Check out these helpful resources to recycle's EcoDirectory can help you answer your recycling and reuse questions. (http. Call 510-528-4052 or visit http://www.accrc.org. Recycle cardboard boxes. 1. Flatten your boxes

  8. Data Quality Objectives for WTP Feed Acceptance Criteria - 12043

    SciTech Connect (OSTI)

    Arakali, Aruna V.; Benson, Peter A.; Duncan, Garth; Johnston, Jill C.; Lane, Thomas A.; Matis, George; Olson, John W. [Hanford Tank Waste Treatment and Immobilization Plant (United States); Banning, Davey L.; Greer, Daniel A.; Seidel, Cary M.; Thien, Michael G. [Hanford Tank Operations Contractor - Washington River Protection Solutions, Richland, WA 99354 (United States)

    2012-07-01T23:59:59.000Z

    The Hanford Tank Waste Treatment and Immobilization Plant (WTP) is under construction for the U.S. Department of Energy by Bechtel National, Inc. and subcontractor URS Corporation (contract no. DE-AC27-01RV14136). The plant when completed will be the world's largest nuclear waste treatment facility. Bechtel and URS are tasked with designing, constructing, commissioning, and transitioning the plant to the long term operating contractor to process the legacy wastes that are stored in underground tanks (from nuclear weapons production between the 1940's and the 1980's). Approximately 56 million gallons of radioactive waste is currently stored in these tanks at the Hanford Site in southeastern Washington. There are three major WTP facilities being constructed for processing the tank waste feed. The Pretreatment (PT) facility receives feed where it is separated into a low activity waste (LAW) fraction and a high level waste (HLW) fraction. These fractions are transferred to the appropriate (HLW or LAW) facility, combined with glass former material, and sent to high temperature melters for formation of the glass product. In addition to PT, HLW and LAW, other facilities in WTP include the Laboratory (LAB) for analytical services and the Balance of Facilities (BOF) for plant maintenance, support and utility services. The transfer of staged feed from the waste storage tanks and acceptance in WTP receipt vessels require data for waste acceptance criteria (WAC) parameters from analysis of feed samples. The Data Quality Objectives (DQO) development was a joint team effort between WTP and Tank Operations Contractor (TOC) representatives. The focus of this DQO effort was to review WAC parameters and develop data quality requirements, the results of which will determine whether or not the staged feed can be transferred from the TOC to WTP receipt vessels. The approach involved systematic planning for data collection consistent with EPA guidance for the seven-step DQO process. Data quality requirements for sample collection and analysis of all WAC parameters were specified during the DQO process. There were eighteen key parameters identified with action limits to ensure the feed transfer and receipt would not exceed plant design, safety, permitting, and processing requirements. The remaining WAC parameters were grouped in the category for obtaining data according to WTP contract specifications, regulatory reporting requirements, and for developing the feed campaign processing sequence. (authors)

  9. Development of a Computer Heating Monitoring System and Its Applications

    E-Print Network [OSTI]

    Chen, H.; Li, D.; Shen, L.

    2006-01-01T23:59:59.000Z

    to computer and monitor. Calculations of heating load, accumulative heat supply, etc. are carried out by the computer established with professional software programmed by C computer language. ??? ???? ??? ??? ??? ???? ??? ??? ??? ? ? ? ? ? Supply water... of supply and return water temperature, indoor and outdoor temperature, circulating flow, heating load, and accumulative heat supply. It can save and print the data and figures for checking and study. 3. APPLICATIONS The application of heating...

  10. SU-D-BRD-07: Automatic Patient Data Audit and Plan Quality Check to Support ARIA and Eclipse

    SciTech Connect (OSTI)

    Li, X; Li, H; Wu, Y; Mutic, S; Yang, D [Washington University School of Medicine, St. Louis, MO (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To ensure patient safety and treatment quality in RT departments that use Varian ARIA and Eclipse, we developed a computer software system and interface functions that allow previously developed electron chart checking (EcCk) methodologies to support these Varian systems. Methods: ARIA and Eclipse store most patient information in its MSSQL database. We studied the contents in the hundreds database tables and identified the data elements used for patient treatment management and treatment planning. Interface functions were developed in both c-sharp and MATLAB to support data access from ARIA and Eclipse servers using SQL queries. These functions and additional data processing functions allowed the existing rules and logics from EcCk to support ARIA and Eclipse. Dose and structure information are important for plan quality check, however they are not stored in the MSSQL database but as files in Varian private formats, and cannot be processed by external programs. We have therefore implemented a service program, which uses the DB Daemon and File Daemon services on ARIA server to automatically and seamlessly retrieve dose and structure data as DICOM files. This service was designed to 1) consistently monitor the data access requests from EcCk programs, 2) translate the requests for ARIA daemon services to obtain dose and structure DICOM files, and 3) monitor the process and return the obtained DICOM files back to EcCk programs for plan quality check purposes. Results: EcCk, which was previously designed to only support MOSAIQ TMS and Pinnacle TPS, can now support Varian ARIA and Eclipse. The new EcCk software has been tested and worked well in physics new start plan check, IMRT plan integrity and plan quality checks. Conclusion: Methods and computer programs have been implemented to allow EcCk to support Varian ARIA and Eclipse systems. This project was supported by a research grant from Varian Medical System.

  11. DOE to accept bids for Elk Hills crude

    SciTech Connect (OSTI)

    Not Available

    1992-05-04T23:59:59.000Z

    This paper reports that the Department of Energy will accept bids in a reoffering sale covering 53,400 b/d of Elk Hills field oil but later may exercise an option to cut sales volumes and ship 20,000 b/d to Strategic Petroleum Reserve sites in Texas. DOE rejected all 19 bids submitted in an earlier semiannual sale of crude oil from the California naval petroleum reserve, saying they were too low. DOE the, The unique combination of federal and state government policies affecting the movement of oil into and out of the California market has contributed to a situation in which it apparently is very difficult for the government to receive a price for Elk Hills oil that satisfies the minimum price tests that govern the sale of Elk Hills oil. The 12 winning bids in the reoffering sale averaged $13.58/bbl, with bids for the higher quality Stevens zone crude averaging $13.92/bbl, about 67 cents/bbl higher than bids rejected last month. DOE the 20,000 b/d is all local pipelines can ship to the interstate All-American pipeline for transfer to Texas beginning in June.

  12. Comparison of the Acceptability of Various Oil Shale Processes

    SciTech Connect (OSTI)

    Burnham, A K; McConaghy, J R

    2006-03-11T23:59:59.000Z

    While oil shale has the potential to provide a substantial fraction of our nation's liquid fuels for many decades, cost and environmental acceptability are significant issues to be addressed. Lawrence Livermore National Laboratory (LLNL) examined a variety of oil shale processes between the mid 1960s and the mid 1990s, starting with retorting of rubble chimneys created from nuclear explosions [1] and ending with in-situ retorting of deep, large volumes of oil shale [2]. In between, it examined modified-in-situ combustion retorting of rubble blocks created by conventional mining and blasting [3,4], in-situ retorting by radio-frequency energy [5], aboveground combustion retorting [6], and aboveground processing by hot-solids recycle (HRS) [7,8]. This paper reviews various types of processes in both generic and specific forms and outlines some of the tradeoffs for large-scale development activities. Particular attention is given to hot-recycled-solids processes that maximize yield and minimize oil shale residence time during processing and true in-situ processes that generate oil over several years that is more similar to natural petroleum.

  13. Superconducting electric power applications

    SciTech Connect (OSTI)

    Blaugher, R.D. [National Renewable Energy Lab., Golden, CO (United States)

    1997-06-01T23:59:59.000Z

    The application of superconductors to electric power systems has been actively pursued over the past 30 years. Following the realization of high-field, high-current superconductors in 1961, researchers applied these type II materials, such as Nb-Ti and Nb{sub 3}Sn, to laboratory magnets, followed by generators, motors, and transmission cables. Successful prototypes for the latter were constructed and tested by the mid-1980s. It is fair to assume that widespread utility acceptance of these low-temperature superconducting (LTS) power applications was compromised by the necessity for liquid helium cooling. The discovery of the high-temperature superconductors (HTS) in 1986, which offered the prospect for liquid nitrogen cooling, provided renewed interest and impetus and spurred the development of HTS power components. The expectations for HTS power components are, in fact, near realization, as a result of the rapid worldwide progress in HTS wire and tape development. This paper will review the history and present status of superconducting power-system-related applications. The major problems facing this technology and the prospects for commercialization and eventual integration into the utility sector will be discussed. General acceptance for superconducting power equipment by the electric utilities and other end-users will ultimately be based on the respective system performance, efficiency, reliability and maintenance, operational lifetime, and installed cost compared to conventional technologies.

  14. Author's Accepted Manuscript Hybrid nanostructured materials for high-

    E-Print Network [OSTI]

    Cui, Yi

    consumer electronics, hybrid electric vehicles, to large industrial scale power and energy management of electrochemical energy storage (EES) systems which are critical to a variety of applications ranging from portable. Owing to their capability to deliver high power performance and extremely long cycle life

  15. Home Fire Safety Inspection Checklist A fire can occur in any part of your home. Use this checklist to make a safety check of your house or

    E-Print Network [OSTI]

    Marsh, David

    to make a safety check of your house or apartment. Review it with everyone in the house or apartment. Ask ash trays throughout the house? o Do you check for smoldering cigarette butts in the furniture alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  16. ASHRAE Standard 62.2. Ventilation and Acceptable Indoor Air Quality...

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

    ASHRAE Standard 62.2. Ventilation and Acceptable Indoor Air Quality in Low- Rise Residential Buildings - Building America Top Innovation ASHRAE Standard 62.2. Ventilation and...

  17. Guidelines, Checklist, and Contract Clauses for Government Acceptance of Super ESPC Projects

    Broader source: Energy.gov [DOE]

    Document lists all the elements required for a completed super energy savings performance contract (ESPC) project to receive Federal government acceptance.

  18. Acceptance test report, 241-AW air inlet filter station pressure decay test

    SciTech Connect (OSTI)

    Tuck, J.A.

    1996-02-21T23:59:59.000Z

    This is the acceptance test report for pressure decay tests performed on newly-installed 241-AW Tank Farm primary ventilation system air inlet filter stations.

  19. Large-acceptance linac for accelerating l9w-energy muons

    SciTech Connect (OSTI)

    Kurennoy, Sergey S [Los Alamos National Laboratory; Jason, Andrew J [Los Alamos National Laboratory; Miyadera, Haruo [Los Alamos National Laboratory

    2010-01-01T23:59:59.000Z

    We propose a high-gradient linear accelerator for accelerating low-energy muons and pions in a strong solenoidal magnetic field. The acceleration starts immediately after collection of pions from a target by solenoidal magnets and brings muons to a kinetic energy of about 200 MeV over a distance of the order of 10 m. At this energy, both an ionization cooling of the muon beam and its further acceleration in a superconducting linac become feasible. The project presents unique challenges - a very large energy spread in a highly divergent beam, as well as pion and muon decays - requiring large longitudinal and transverse acceptances. One potential solution incorporates a normal-conducting linac consisting of independently fed O-mode RF cavities with wide apertures closed by thin metal windows or grids. The guiding magnetic field is provided by external superconducting solenoids. The cavity choice, overall linac design considerations, and simulation results of muon acceleration are presented. While the primary applications of such a linac are for homeland defense and industry, it can provide muon fluxes high enough to be of interest for physics experiments.

  20. Automatic scanning of nuclear emulsions with wide-angle acceptance for nuclear fragment detection

    E-Print Network [OSTI]

    T. Fukuda; S. Fukunaga; H. Ishida; K. Kodama; T. Matsuo; S. Mikado; S. Ogawa; H. Shibuya; J. Sudo

    2013-01-09T23:59:59.000Z

    Nuclear emulsion, a tracking detector with sub-micron position resolution, has played a successful role in the field of particle physics and the analysis speed has been substantially improved by the development of automated scanning systems. This paper describes a newly developed automated scanning system and its application to the analysis of nuclear fragments emitted almost isotropically in nuclear evaporation. This system is able to recognize tracks of nuclear fragments up to |tan{\\theta}|nuclear emulsion is the first trial. Furthermore the track recognition algorithm is performed by a powerful Graphics Processing Unit (GPU) for the first time. This GPU has a sufficient computing power to process large area scanning data with a wide angular acceptance and enough flexibility to allow the tuning of the recognition algorithm. This new system will in particular be applied in the framework of the OPERA experiment : the background in the sample of tau decay candidates due to hadronic interactions will be reduced by a better detection of the emitted nuclear fragments.

  1. ISOLOK VALVE ACCEPTANCE TESTING FOR DWPF SME SAMPLING PROCESS

    SciTech Connect (OSTI)

    Edwards, T.; Hera, K.; Coleman, C.; Jones, M.; Wiedenman, B.

    2011-12-05T23:59:59.000Z

    Evaluation of the Defense Waste Processing Facility (DWPF) Chemical Process Cell (CPC) cycle time identified several opportunities to improve the CPC processing time. Of the opportunities, a focus area related to optimizing the equipment and efficiency of the sample turnaround time for DWPF Analytical Laboratory was identified. The Mechanical Systems & Custom Equipment Development (MS&CED) Section of the Savannah River National Laboratory (SRNL) evaluated the possibility of using an Isolok{reg_sign} sampling valve as an alternative to the Hydragard{reg_sign} valve for taking process samples. Previous viability testing was conducted with favorable results using the Isolok sampler and reported in SRNL-STI-2010-00749 (1). This task has the potential to improve operability, reduce maintenance time and decrease CPC cycle time. This report summarizes the results from acceptance testing which was requested in Task Technical Request (TTR) HLW-DWPF-TTR-2010-0036 (2) and which was conducted as outlined in Task Technical and Quality Assurance Plan (TTQAP) SRNL-RP-2011-00145 (3). The Isolok to be tested is the same model which was tested, qualified, and installed in the Sludge Receipt Adjustment Tank (SRAT) sample system. RW-0333P QA requirements apply to this task. This task was to qualify the Isolok sampler for use in the DWPF Slurry Mix Evaporator (SME) sampling process. The Hydragard, which is the current baseline sampling method, was used for comparison to the Isolok sampling data. The Isolok sampler is an air powered grab sampler used to 'pull' a sample volume from a process line. The operation of the sampler is shown in Figure 1. The image on the left shows the Isolok's spool extended into the process line and the image on the right shows the sampler retracted and then dispensing the liquid into the sampling container. To determine tank homogeneity, a Coliwasa sampler was used to grab samples at a high and low location within the mixing tank. Data from the two locations were compared to determine if the contents of the tank were well mixed. The Coliwasa sampler is a tube with a stopper at the bottom and is designed to obtain grab samples from specific locations within the drum contents. A position paper (4) was issued to address the prototypic flow loop issues and simulant selections. A statistically designed plan (5) was issued to address the total number of samples each sampler needed to pull, to provide the random order in which samples were pulled and to group samples for elemental analysis. The TTR required that the Isolok sampler perform as well as the Hydragard sampler during these tests to ensure the acceptability of the Isolok sampler for use in the DWPF sampling cells. Procedure No.L9.4-5015 was used to document the sample parameters and process steps. Completed procedures are located in R&D Engineering job folder 23269.

  2. Accepting Mixed Waste as Alternate Feed Material for Processing and Disposal at a Licensed Uranium Mill

    SciTech Connect (OSTI)

    Frydenland, D. C.; Hochstein, R. F.; Thompson, A. J.

    2002-02-26T23:59:59.000Z

    Certain categories of mixed wastes that contain recoverable amounts of natural uranium can be processed for the recovery of valuable uranium, alone or together with other metals, at licensed uranium mills, and the resulting tailings permanently disposed of as 11e.(2) byproduct material in the mill's tailings impoundment, as an alternative to treatment and/or direct disposal at a mixed waste disposal facility. This paper discusses the regulatory background applicable to hazardous wastes, mixed wastes and uranium mills and, in particular, NRC's Alternate Feed Guidance under which alternate feed materials that contain certain types of mixed wastes may be processed and disposed of at uranium mills. The paper discusses the way in which the Alternate Feed Guidance has been interpreted in the past with respect to processing mixed wastes and the significance of recent changes in NRC's interpretation of the Alternate Feed Guidance that sets the stage for a broader range of mixed waste materials to be processed as alternate feed materials. The paper also reviews the le gal rationale and policy reasons why materials that would otherwise have to be treated and/or disposed of as mixed waste, at a mixed waste disposal facility, are exempt from RCRA when reprocessed as alternate feed material at a uranium mill and become subject to the sole jurisdiction of NRC, and some of the reasons why processing mixed wastes as alternate feed materials at uranium mills is preferable to direct disposal. Finally, the paper concludes with a discussion of the specific acceptance, characterization and certification requirements applicable to alternate feed materials and mixed wastes at International Uranium (USA) Corporation's White Mesa Mill, which has been the most active uranium mill in the processing of alternate feed materials under the Alternate Feed Guidance.

  3. Role of pilot projects and public acceptance in developing wireless power transmission as an enabling technology for space solar power systems

    SciTech Connect (OSTI)

    Woodell, M.I. [Bivings Woodell, Inc., Washington, DC (United States)] [Bivings Woodell, Inc., Washington, DC (United States); Schupp, B.W. [Raytheon Electronic Systems, Marlborough, MA (United States)] [Raytheon Electronic Systems, Marlborough, MA (United States)

    1996-12-31T23:59:59.000Z

    In all system concepts for delivering space solar power to terrestrial power systems, wireless power transmission (WPT) is identified as a critical link in the technology chain. To realize the full potential of WPT as an enabling technology for the development of space power systems, the technology needs to (1) be demonstrated as a commercially viable, low risk technology, and (2) be shown to be acceptable to the public. If WPT`s full potential is to be realized, its initial applications must be carefully chosen and demonstrated through a series of pilot projects which will develop both the technology and its public acceptance. This paper examines the role of pilot projects and how they will play an increasingly important role in the development and acceptance of WPT as an enabling technology for space solar power systems. Recognizing that public acceptance is the ultimate determinant of the commercial success or failure of a technology, the paper then explores the role of public opinion in the commercialization process of space solar power systems utilizing WPT. A framework that begins to define the process required to realize the full commercial potential of wireless power transmission is established. 21 refs., 1 fig., 2 tabs.

  4. ACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet: D2L105

    E-Print Network [OSTI]

    Ohta, Shigemi

    of this magnet to be satisfactory [1]. Engineering: Escallier reviewed the electrical tests of the magnetACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet: D2L105 Date of this summary: 20 August 2003 of the minutes, or as footnotes]. Acceptance Status: The BNL committee has approved the magnet for shipment

  5. DOE Accepted Carriers Date: April 8, 2008 POC: Dave Lopez, MA-30

    E-Print Network [OSTI]

    Airline 24 Air Arabia United Arab Emirates ICAO Designated Cat 1 Carrier 25 Air Astana Kazakhstan IATA Inc United States DoD-Accepted Air Carrier 36 Air Charters Inc United States DOE-Accepted Charter 37 with United Airlines & IATA Member 39 Air Creebec, Inc. Canada ICAO Designated Cat 1 Carrier 40 Air Deccan

  6. Acceptance Test Report for the 241-AN-107 Enraf Advanced Technology Gauges

    SciTech Connect (OSTI)

    Dowell, J.L.; Enderlin, V.R.

    1995-06-01T23:59:59.000Z

    This Acceptance Test Report covers the results of the execution of the Acceptance Test Procedure for the 241-AN-107 Enraf Advanced Technology Gauges. The test verified the proper operation of the gauges to measure waste density and level in the 241-AN-107 tank.

  7. Evaluation of natural enemies of greenbug, Schizaphis graminum (Rondani), on sorghum using two approaches of the insecticidal check method

    E-Print Network [OSTI]

    Rao, Asha

    1996-01-01T23:59:59.000Z

    trends can be derived from this analysis. In correlation analyses, mean pest density and mean enemy densities are plotted versus time (Carter and Dixon 1982, Miller and Strichler 1984, Hawkins 1992). These plots illustrate the seasonal abundance... of The Insecticidal Check Method, (August 1996) Asha Rao, B. S. , University of Agricultural Sciences, Bangalore, India Co-Chairs of Advisory Coaanittee: Dr. Frank E. Gilstrap Dr. Gerald J. Michels, Jr. Enemy removal experiments and enemy trap experiments were...

  8. Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue)

    E-Print Network [OSTI]

    Oliver, Douglas L.

    Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue) B 420-460 Live Dead UV Blue Alexa 350 DAPI Indo-1(Violet) Hoechst 33342 C - empty Violet 405 A 505-550 Pac. Orange V500 VioGreen BVio 510 Viability Dye eF506 Alexa 430 Sapphire B 420-460 Pac. Blue eF450 V

  9. The Library is open 24/5 Fall & Spring Summer hours vary -check lib.usf.edu

    E-Print Network [OSTI]

    Meyers, Steven D.

    The Library is open 24/5 Fall & Spring Summer hours vary - check lib.usf.edu After midnight, USF ID.lib.usf.edu/guides Teaching a Course? Learn how to integrate the library into Canvas Place items on reserve using PRESTO! Contact the library's Reserve Team at reserves@lib.usf.edu or 813-974-4182 Invite a librarian to join your

  10. Detector Group Leader Accepts Additional Role as Lab's Chief Technology

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField Campaign: Potential Application to ARM Measurements Detection

  11. International Conference on INTERNET TECHNOLOGIES AND APPLICATIONS

    E-Print Network [OSTI]

    Davies, John N.

    ), will be held in Wrexham, North East Wales, UK from Wednesday 7th to Friday 9th September 2005. The conferenceInternational Conference on INTERNET TECHNOLOGIES AND APPLICATIONS ITA 05 Wednesday 7th - Friday 9 computing and engineering. Accepted papers will be published in the conference proceedings. Suitable topics

  12. APPLYING FOR HOUSING The University's Campus Housing Office processes housing applications,

    E-Print Network [OSTI]

    MacAdam, Keith

    APPLYING FOR HOUSING The University's Campus Housing Office processes housing applications, assigns to note that applying for admission to the University and applying for University housing are two separate processes. Acceptance for one does not guarantee acceptance for the other. Also, applying for housing does

  13. APPLYING FOR HOUSING The University's Campus Housing Office processes housing applications,

    E-Print Network [OSTI]

    MacAdam, Keith

    APPLYING FOR HOUSING The University's Campus Housing Office processes housing applications, assigns for admission to the University and applying for University housing are two separate processes. Acceptance for one does not guarantee acceptance for the other. Also, applying for housing does not guarantee

  14. TRT meeting Feb 03 Pauline Gagnon Indiana University 1 Acceptance tests for barrel modules

    E-Print Network [OSTI]

    Gagnon, Pauline

    tension 90% 80% 100% stringing 80% 100% not tested HV checks 100% 20% not done HV conditioning in design 20% not done gain mapping designed 100% not done #12;TRT meeting 颅 Feb 03 Pauline Gagnon 颅 Indiana Circulate ventilation through 3 modules: type 1,2 3 Active gas in series through 2 modules of the same type

  15. Effective Date: July 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Snow Cover ATBD 474-00038 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  16. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Earth Gridding 474-00028 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  17. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00047 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  18. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https-00030 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Active Fires 474-00030 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  19. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00046 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  20. Effective Date: July 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https-00053 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Geolocation ATBD 474-00053 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  1. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify ATBD 474-00045 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  2. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https Cloud Cover Layers 474-00044 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  3. Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https3 474-00001-04-03 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 璄xternal Vol 4 Pt3 474-00001-04-03 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  4. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00029 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Total Column Ozone 474-00029 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  5. Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 8 474-00001-08 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 璄xternal Vol 8 474-00001-08 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  6. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00037 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ST ATBD 474-00037 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  7. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00039 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Vegetation Index ATBD 474-00039 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  8. Effective Date: July 18, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https 474-00001-07-01 Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https 璄xternal Vol 7 P1 474-00001-07-01 Effective Date: July 18, 2011 Revision - i Check the JPSS MIS Server

  9. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00049 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https AOT APSP 474-00049 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  10. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 22, 2011 Revision - Check the JPSS MIS Server at https ACO ATBD 474-00050 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  11. Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https 璄xternal Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  12. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ATBD 474-00042 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS CEPS COP ATBD 474-00042 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  13. Effective Date: August 13, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https-00001-03 Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https 璄xternal Vol 3 474-00001-03 Effective Date: August 13, 2011 Revision - i Check the JPSS MIS Server

  14. Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https: July 5, 2011 Revision - 2 Check the JPSS MIS Server at https 璄xternal Vol 5 474-00001-05 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  15. Multi-discipline Waste Acceptance Process at the Nevada National Security Site - 13573

    SciTech Connect (OSTI)

    Carilli, Jhon T. [US Department Of Energy, Nevada Site Office, P. O. Box 98518, Las Vegas, Nevada 89193-8518 (United States)] [US Department Of Energy, Nevada Site Office, P. O. Box 98518, Las Vegas, Nevada 89193-8518 (United States); Krenzien, Susan K. [Navarro-Intera, LLC, P. O. Box 98952, Las Vegas, Nevada 89193-8952 (United States)] [Navarro-Intera, LLC, P. O. Box 98952, Las Vegas, Nevada 89193-8952 (United States)

    2013-07-01T23:59:59.000Z

    The Nevada National Security Site low-level radioactive waste disposal facility acceptance process requires multiple disciplines to ensure the protection of workers, the public, and the environment. These disciplines, which include waste acceptance, nuclear criticality, safety, permitting, operations, and performance assessment, combine into the overall waste acceptance process to assess low-level radioactive waste streams for disposal at the Area 5 Radioactive Waste Management Site. Four waste streams recently highlighted the integration of these disciplines: the Oak Ridge Radioisotope Thermoelectric Generators and Consolidated Edison Uranium Solidification Project material, West Valley Melter, and classified waste. (authors)

  16. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    De Rosnay, Melanie Dulong

    2012-01-01T23:59:59.000Z

    Molecular biology data are subject to terms of use that vary widely between databases and curating institutions. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life science. It builds upon research led by Science Commons demonstrating why open data and the freedom to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical and legal restrictions applicable to life science databases, and its metadata have been used to assess terms of use of databases hosted by Life Science Resource Name (LSRN) Schema. While a few public domain policies are standardized, most terms of use are not harmonized, difficult to understand and impose controls that prevent others from effectively reusing data. Identifying a small number of restrictions allows one to quickly appreciate which databases are open. A checklist for data openness is proposed in order to assist database curators who wish to make their data more open to make su...

  17. Thermal properties of graphene and multilayer graphene: Applications in thermal interface materials

    E-Print Network [OSTI]

    Thermal properties of graphene and multilayer graphene: Applications in thermal interface materials Engineering and Materials Science and Engineering Program, Bourns College of Engineering, University 2012 Accepted by L. Bery Available online 25 April 2012 Keywords: A. Graphene A. Thermal interface

  18. CODE ACCEPTANCE OF A NEW JOINING TECHNOLOGY FOR STORAGE CONTAINMENTS [REISSUE

    SciTech Connect (OSTI)

    CANNELL GR; GRANT GJ; HILL BE

    2009-03-10T23:59:59.000Z

    One of the activities associated with cleanup throughout the Department of Energy (DOE) complex is packaging radioactive materials into storage containers. Much of this work will be performed in high-radiation environments requiring fully remote operations, for which existing, proven systems do not currently exist. These conditions require a process that is capable of producing acceptable (defect-free) welds on a consistent basis; the need to perform weld repair, under fully-remote operations, can be extremely costly and time consuming. Current closure-welding technologies (fusion welding) are not well suited for this application and will present risk to cleanup cost and schedule. To address this risk, Fluor and the Pacific Northwest National Laboratory (PNNL) are proposing that a new and emerging joining technology, Friction Stir Welding (FSW), be considered for this work. FSW technology has been demonstrated in other industries (aerospace and marine) to produce near flaw-free welds on a consistent basis. FSW is judged capable of providing the needed performance for fully-remote closure welding of containers for radioactive materials for the following reasons: FSW is a solid-state process; material is not melted. FSW does not produce the type of defects associated with fusion welding, e.g., solidification-induced porosity, cracking, and distortion due to weld shrinkage. In addition, because FSW is a low-heat input process, material properties (mechanical, corrosion and environmental) experience less degradation in the heat affected zones than do fusion welds. When compared to fusion processes, FSW produces extremely high weld quality. FSW is performed using machine-tool technology. The equipment is simple and robust and well-suited for high radiation, fully-remote operations compared to the relatively complex equipment associated with fusion-welding processes. Additionally, for standard wall thicknesses of radioactive materials containers, the FSW process can perform the final closure in a single pass (GTAW requires multiple passes) resulting in increased productivity. The performance characteristics of FSW, Le., high weld quality, simple machine-tool equipment and increased welding efficiency, suggest that this new technology should be considered for radioactive materials packaging campaigns. FSW technology will require some development, adaptation for this application, along with several activities needed for commercialization. One of these activities will be to obtain approval from the governing construction code to use the FSW technology. The American Society of Mechanical Engineers Boiler and Pressure Vessel Code (ASME B&PVC) will govern this work; however, rules for the use of FSW are not currently addressed. A code case will be required, defining appropriate process variables within prescribed limits, and submitted to the Code for review/approval and incorporation.

  19. Dependence with air density of the response of the PTW SourceCheck ionization chamber for low energy brachytherapy sources

    SciTech Connect (OSTI)

    Tornero-L髉ez, Ana M.; Guirado, Dami醤; Ruiz-Arrebola, Samuel [Servicio de Radiof韘ica y Protecci髇 Radiol骻ica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiof韘ica y Protecci髇 Radiol骻ica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiof韘ica, Hospital Universitario y Polit閏nico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiof韘ica, Hospital Universitario y Polit閏nico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de F韘ica At髆ica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de F韘ica At髆ica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain); Gazdic-Santic, Maja [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)] [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)

    2013-12-15T23:59:59.000Z

    Purpose: Air-communicating well ionization chambers are commonly used to assess air kerma strength of sources used in brachytherapy. The signal produced is supposed to be proportional to the air density within the chamber and, therefore, a density-independent air kerma strength is obtained when the measurement is corrected to standard atmospheric conditions using the usual temperature and pressure correction factor. Nevertheless, when assessing low energy sources, the ionization chambers may not fulfill that condition and a residual density dependence still remains after correction. In this work, the authors examined the behavior of the PTW 34051 SourceCheck ionization chamber when measuring the air kerma strength of {sup 125}I seeds.Methods: Four different SourceCheck chambers were analyzed. With each one of them, two series of measurements of the air kerma strength for {sup 125}I selectSeed{sup TM} brachytherapy sources were performed inside a pressure chamber and varying the pressure in a range from 747 to 1040 hPa (560 to 780 mm Hg). The temperature and relative humidity were kept basically constant. An analogous experiment was performed by taking measurements at different altitudes above sea level.Results: Contrary to other well-known ionization chambers, like the HDR1000 PLUS, in which the temperature-pressure correction factor overcorrects the measurements, in the SourceCheck ionization chamber they are undercorrected. At a typical atmospheric situation of 933 hPa (700 mm Hg) and 20 癈, this undercorrection turns out to be 1.5%. Corrected measurements show a residual linear dependence on the density and, as a consequence, an additional density dependent correction must be applied. The slope of this residual linear density dependence is different for each SourceCheck chamber investigated. The results obtained by taking measurements at different altitudes are compatible with those obtained with the pressure chamber.Conclusions: Variations of the altitude and changes in the weather conditions may produce significant density corrections, and that effect should be taken into account. This effect is chamber-dependent, indicating that a specific calibration is necessary for each particular chamber. To our knowledge, this correction has not been considered so far for SourceCheck ionization chambers, but its magnitude cannot be neglected in clinical practice. The atmospheric pressure and temperature at which the chamber was calibrated need to be taken into account, and they should be reported in the calibration certificate. In addition, each institution should analyze the particular response of its SourceCheck ionization chamber and compute the adequate correction factors. In the absence of a suitable pressure chamber, a possibility for this assessment is to take measurements at different altitudes, spanning a wide enough air density range.

  20. IEEE COMMUNICATIONS SURVEYS & TUTORIALS, ACCEPTED FOR PUBLICATION 1 Stochastic Information Management in Smart Grid

    E-Print Network [OSTI]

    Shen, Xuemin "Sherman"

    of energy sup- ply for residential, commercial, and industrial sectors in the foreseeable future. However, to reduce the greenhouse gas (GHG) emissions in energy consumption, electricity customers have beenIEEE COMMUNICATIONS SURVEYS & TUTORIALS, ACCEPTED FOR PUBLICATION 1 Stochastic Information

  1. Commissioning of a Coupled Earth Tube and Natural Ventilation System at the Acceptance Phase

    E-Print Network [OSTI]

    Pan, S.; Zheng, M.; Yoshida, H.

    In this paper, the environment and energy performance of an actual coupled earth tube and natural ventilation system in a gymnasium was measured during the acceptance phase in two operation states: no ventilation and natural ventilation. From...

  2. Geologic Storage of carbon dioxide : risk analyses and implications for public acceptance

    E-Print Network [OSTI]

    Singleton, Gregory R. (Gregory Randall)

    2007-01-01T23:59:59.000Z

    Carbon Capture and Storage (CCS) technology has the potential to enable large reductions in global greenhouse gas emissions, but one of the unanswered questions about CCS is whether it will be accepted by the public. In ...

  3. Acceptance test report for the 241-SY-101 Flexible Receiver Gamma Detector System

    SciTech Connect (OSTI)

    Dowell, J.L.

    1995-02-17T23:59:59.000Z

    This Acceptance Test Report is for the 241-SY-101 Flexible Receiver Gamma Detector System. This test verified that the data logger and data converter for the gamma detector system functions as intended.

  4. Project W-320, tank 241-C-106 sluicing acceptance for beneficial use

    SciTech Connect (OSTI)

    BAILEY, J.W.

    1999-05-18T23:59:59.000Z

    The purpose of this document is to identify the Project W-320 Chiller Documentation required to be turned over from the Projects Organization to Tank Farm Operations as part of the acceptance of the new equipment for beneficial use.

  5. EA-0912: Urgent-Relief Acceptance of Foreign Research Reactor Spent Nuclear Fuel

    Broader source: Energy.gov [DOE]

    This EA evaluates the environmental impacts of a proposal to accept 409 spent fuel elements from eight foreign research reactors in seven European countries. The spent fuel would be shipped across...

  6. Accepted Manuscript Studying the sensitivity of the pollutants concentrations caused by

    E-Print Network [OSTI]

    Dimov, Ivan

    -based sensitivity analysis, Sobol' bal sensitivity indices, Air pollution modeling, Multidimensional numericalAccepted Manuscript Studying the sensitivity of the pollutants concentrations caused by variations. Georgieva, S. Ivanovska, T. Ostromsky, Z. Zlatev, Studying the sensitivity of the pollutants concentrations

  7. European Aviation Safety Agency announces acceptance of NCAMP material certification process

    E-Print Network [OSTI]

    developed through the FAA process described in Federal Aviation Administration Memorandum AIR100European Aviation Safety Agency announces acceptance of NCAMP material certification process Wichita, KS, January 30, 2014 The European Aviation Safety Agency (EASA) recently released Certification

  8. This document explains the acceptable use of encryption for the UTHSC

    E-Print Network [OSTI]

    Cui, Yan

    information systems. Standards prescribed shall include information security standards that provide minimum information security requirements and are otherwise necessary to improve the security of federal information computers, thumbdrives, and portable devices. ITS Security February 7, 2011 #12;Acceptable Encryption Usage

  9. FUNDRAISING AND GIFT ACCEPTANCE University Policy No: ER4105 Classification: External Relations

    E-Print Network [OSTI]

    Victoria, University of

    1 FUNDRAISING AND GIFT ACCEPTANCE University Policy No: ER4105 Classification: External Relations.01 For Gifts-in-kind to the Library or to the University of Victoria Art Collection, authority may be delegated

  10. Participant/assessor personality characteristics that influence feedback acceptance in developmental assessment centers

    E-Print Network [OSTI]

    Bell, Suzanne Tamara

    2001-01-01T23:59:59.000Z

    The objective of the present study was to determine whether specified factors influenced the acceptance of feedback by participants (N = 113) in an operational developmental assessment center. Specifically, the relationship between participants...

  11. New cost structure approach in green buildings : cost-benefit analysis for widespread acceptance and long-term practice

    E-Print Network [OSTI]

    Wang, Zhiyong, S.M. Massachusetts Institute of Technology. Engineering Systems Division

    2013-01-01T23:59:59.000Z

    Although the concepts of sustainable building have been widely accepted in the market, there are unavoidable challenges toward widespread acceptance and long-term practice. Crossing green building development, there is ...

  12. Acceptance of changes in program scope by county Extension personnel in Texas

    E-Print Network [OSTI]

    Denmark, Kenneth Lloyd

    1966-01-01T23:59:59.000Z

    . II. REVIEW OF LITERATURE Functions of Extension Changing Environment of Extension Changes in Program Scope Youth clevelopment Leadership development Community development Public affairs Acceptance of' Change 8 11 13 17 18 19 20 21 III.... PROCEDURE IV. ANALYSIS AND INTERPRETATION OF DATA 25 28 Degree of Change Acceptance Youth cLevelopment Leadership development Community development Public affairs Relationship to Variable Type of agent Age of' agent Tenure . V. SUMMARY...

  13. Volunteer Application Thank you for your interest in volunteering at the Jordan Schnitzer Museum of

    E-Print Network [OSTI]

    Volunteer Application Thank you for your interest in volunteering at the Jordan Schnitzer Museum): _________________________ Why do you want to volunteer at the Jordan Schnitzer Museum of Art? Areas of Interest (Please check desk in the museum's lobby processing admission fees and memberships and providing helpful information

  14. Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications

    E-Print Network [OSTI]

    Heljanko, Keijo

    C4.2 Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications and control (I&C) systems play a crucial role in the operation of nuclear power plants (NPP) and other safety is available. The use of model checking to verify two nuclear power plant related systems is described: an arc

  15. Implementation Applications

    E-Print Network [OSTI]

    Kazhdan, Michael

    ;Outline Theory Implementation Applications Background Intuition Definition Delaunay Triangulation Shape-Dimensional Shapes #12;Outline Theory Implementation Applications Background Intuition Definition Delaunay;Outline Theory Implementation Applications Background Intuition Definition Delaunay Triangulation Shape

  16. Microcomputer applications of, and modifications to, the modular fault trees

    SciTech Connect (OSTI)

    Zimmerman, T.L.; Graves, N.L.; Payne, A.C. Jr.; Whitehead, D.W. [Sandia National Labs., Albuquerque, NM (United States)] [Sandia National Labs., Albuquerque, NM (United States)

    1994-10-01T23:59:59.000Z

    The LaSalle Probabilistic Risk Assessment was the first major application of the modular logic fault trees after the IREP program. In the process of performing the analysis, many errors were discovered in the fault tree modules that led to difficulties in combining the modules to form the final system fault trees. These errors are corrected in the revised modules listed in this report. In addition, the application of the modules in terms of editing them and forming them into the system fault trees was inefficient. Originally, the editing had to be done line by line and no error checking was performed by the computer. This led to many typos and other logic errors in the construction of the modular fault tree files. Two programs were written to help alleviate this problem: (1) MODEDIT - This program allows an operator to retrieve a file for editing, edit the file for the plant specific application, perform some general error checking while the file is being modified, and store the file for later use, and (2) INDEX - This program checks that the modules that are supposed to form one fault tree all link up appropriately before the files are,loaded onto the mainframe computer. Lastly, the modules were not designed for relay type logic common in BWR designs but for solid state type logic. Some additional modules were defined for modeling relay logic, and an explanation and example of their use are included in this report.

  17. ENVIROCARE OF UTAH: EXPANDING WASTE ACCEPTANCE CRITERIA TO PROVIDE LOW-LEVEL AND MIXED WASTE DISPOSAL OPTIONS

    SciTech Connect (OSTI)

    Rogers, B.; Loveland, K.

    2003-02-27T23:59:59.000Z

    Envirocare of Utah operates a low-level radioactive waste disposal facility 80 miles west of Salt Lake City in Clive, Utah. Accepted waste types includes NORM, 11e2 byproduct material, Class A low-level waste, and mixed waste. Since 1988, Envirocare has offered disposal options for environmental restoration waste for both government and commercial remediation projects. Annual waste receipts exceed 12 million cubic feet. The waste acceptance criteria (WAC) for the Envirocare facility have significantly expanded to accommodate the changing needs of restoration projects and waste generators since its inception, including acceptable physical waste forms, radiological acceptance criteria, RCRA requirements and treatment capabilities, PCB acceptance, and liquids acceptance. Additionally, there are many packaging, transportation, and waste management options for waste streams acceptable at Envirocare. Many subcontracting vehicles are also available to waste generators for both government and commercial activities.

  18. AGILE scientific papers I: published and accepted papers in refereed journals First Author Journal Vol. Pag. Year Subm. date Accept. date arXiv [astro-ph

    E-Print Network [OSTI]

    Vol. Pag. Year Subm. date Accept. date arXiv [astro-ph] 63 AGILE detection of extreme gamma-ray.1016/j.nima.2010 .06.078 57 Terrestrial Gamma-Ray Flashes as powerful particle accelerators M.Tavani Phys detection of intense gamma-ray activity from the blazar PKS 0537-441 in October 2008 G.Pucella A&A 522 A109

  19. Global optimization of data quality checks on 2-D and 3-D networks of GPR cross-well tomographic data for automatic correction of unknown well deviations

    SciTech Connect (OSTI)

    Sassen, D. S.; Peterson, J. E.

    2010-03-15T23:59:59.000Z

    Significant errors related to poor time zero estimation, well deviation or mislocation of the transmitter (TX) and receiver (RX) stations can render even the most sophisticated modeling and inversion routine useless. Previous examples of methods for the analysis and correction of data errors in geophysical tomography include the works of Maurer and Green (1997), Squires et al. (1992) and Peterson (2001). Here we follow the analysis and techniques of Peterson (2001) for data quality control and error correction. Through our data acquisition and quality control procedures we have very accurate control on the surface locations of wells, the travel distance of both the transmitter and receiver within the boreholes, and the change in apparent zero time. However, we often have poor control on well deviations, either because of economic constraints or the nature of the borehole itself prevented the acquisition of well deviation logs. Also, well deviation logs can sometimes have significant errors. Problems with borehole deviations can be diagnosed prior to inversion of travel-time tomography data sets by plotting the apparent velocity of a straight ray connecting a transmitter (TX) to a receiver (RX) against the take-off angle of the ray. Issues with the time-zero pick or distances between wells appear as symmetric smiles or frown in these QC plots. Well deviation or dipping-strong anisotropy will result in an asymmetric correlation between apparent velocity and take-off angle (Figure 1-B). In addition, when a network of interconnected GPR tomography data is available, one has the additional quality constraint of insuring that there is continuity in velocity between immediately adjacent tomograms. A sudden shift in the mean velocity indicates that either position deviations are present or there is a shift in the pick times. Small errors in well geometry may be effectively treated during inversion by including weighting, or relaxation, parameters into the inversion (e.g. Bautu et al., 2006). In the technique of algebraic reconstruction tomography (ART), which is used herein for the travel time inversion (Peterson et al., 1985), a small relaxation parameter will smooth imaging artifacts caused by data errors at the expense of resolution and contrast (Figure 2). However, large data errors such as unaccounted well deviations cannot be adequately suppressed through inversion weighting schemes. Previously, problems with tomograms were treated manually. However, in large data sets and/or networks of data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Mislocation of the transmitter and receiver stations of GPR cross-well tomography data sets can lead to serious imaging artifacts if not accounted for prior to inversion. Previously, problems with tomograms have been treated manually prior to inversion. In large data sets and/or networks of tomographic data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Our approach is to use cross-well data quality checks and a simplified model of borehole deviation with particle swarm optimization (PSO) to automatically correct for source and receiver locations prior to tomographic inversion. We present a simple model of well deviation, which is designed to minimize potential corruption of actual data trends. We also provide quantitative quality control measures based on minimizing correlations between take-off angle and apparent velocity, and a quality check on the continuity of velocity between adjacent wells. This methodology is shown to be accurate and robust for simple 2-D synthetic test cases. Plus, we demonstrate the method on actual field data where it is compared to deviation logs. This study shows the promise for automatic correction of well deviations in GPR tomographic data. Analysis of synthetic data shows that very precise estimates of well deviation can be made for small deviations, even in the presence of static data errors. However, the analysis of the synthetic data and the application of

  20. Development on inelastic analysis acceptance criteria for radioactive material transportation packages

    SciTech Connect (OSTI)

    Ammerman, D.J.; Ludwigsen, J.S.

    1995-12-31T23:59:59.000Z

    The response of radioactive material transportation packages to mechanical accident loadings can be more accurately characterized by non-linear dynamic analysis than by the ``Equivalent dynamic`` static elastic analysis typically used in the design of these packages. This more accurate characterization of the response can lead to improved package safety and design efficiency. For non-linear dynamic analysis to become the preferred method of package design analysis, an acceptance criterion must be established that achieves an equivalent level of safety as the currently used criterion defined in NRC Regulatory Guide 7.6 (NRC 1978). Sandia National Laboratories has been conducting a study of possible acceptance criteria to meet this requirement. In this paper non-linear dynamic analysis acceptance criteria based on stress, strain, and strain-energy-density will be discussed. An example package design will be compared for each of the design criteria, including the approach of NRC Regulatory Guide 7.6.

  1. Nevada Test Site Waste Acceptance Criteria (NTSWAC), Rev. 7-01

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2009-05-01T23:59:59.000Z

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office, Nevada Test Site Waste Acceptance Criteria (NTSWAC). The NTSWAC provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive waste and mixed low-level waste for disposal. The NTSWAC includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NTS Area 3 and Area 5 Radioactive Waste Management Complex for disposal.

  2. International Development Internship Program This is the official APPLICATION GUIDELINE AND FORM that must be submitted no later than

    E-Print Network [OSTI]

    Carter, John

    International Development Internship Program This is the official APPLICATION GUIDELINE must pass a conversation language test to determine your eligibility and internship placement. 5, housing, and health insurance during the internship, and air transportation. If accepted to the IDIP

  3. HTS applications

    E-Print Network [OSTI]

    Noe, M; Fietz, W H; Goldacker, W; Schneider, Th

    2009-01-01T23:59:59.000Z

    Superconductivity has found many attractive applications in medicine, science, power systems, engineering, transport and electronics. One of the most prominent applications of superconductivity are superconducting magnets e.g. MRI magnets, NMR magnets, accelerator magnets, and magnets for fusion; most applications still use low temperature superconductors. Since the discovery of high temperature superconductivity (HTS) in 1986 there has been a tremendous progress in R&D of HTS material, wires and applications. Especially for power system applications, HTS offers considerable economic benefits. Many HTS demonstrator or prototype applications have been built and successfully tested, and some HTS applications like cables and superconducting fault current limiters seem very close to commercialisation. This paper gives an overview about the present and future HTS applications in power applications, high field magnets and current leads. In addition results of the Forschungszentrum Karlsruhe program to develop H...

  4. Accepted Manuscript

    E-Print Network [OSTI]

    2007-03-15T23:59:59.000Z

    Oct 30, 2006 ... orthogonal in weighted (generalized) Jacobi spaces. ...... method, instead, it is a pseudo collocation scheme with an additional boundary resid- ... finite element preconditioner which is robust with respect to both the number of...

  5. Social Acceptance

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del Sol HomeFacebookScholarship Fund3Biology| Nationalof Energy Snapshots of theIn

  6. UCSC EMPLOYEE HOUSING APARTMENTS APPLICATION Rental rates include: rent, refuse collection, common area utilities, groundskeeping services, and repairs and

    E-Print Network [OSTI]

    California at Santa Cruz, University of

    UCSC EMPLOYEE HOUSING APARTMENTS APPLICATION Rental rates include: rent, refuse collection, common for current rental rates): 1 bedroom 1 bdrm deluxe 2 bdrm/1 bath 2 bdrm/2 bath) If you are interested in a two rates to eligible employees (see corresponding figures in table below). Please check the box below

  7. DATE : NVLAP LAB CODE: NVLAP RADIATION DETECTION INSTRUMENTS APPLICATION (REV. 2011-05-16) PAGE 1 OF 4

    E-Print Network [OSTI]

    DATE : NVLAP LAB CODE: NVLAP RADIATION DETECTION INSTRUMENTS APPLICATION (REV. 2011-05-16) PAGE 1 OF 4 NVLAP RADIATION DETECTION INSTRUMENTS TEST METHOD SELECTION LIST Instructions: Check each test Criteria for Alarming Personal Radiation Detection for Homeland Security, Clause 6 Radiological tests

  8. Accepted Manuscript Using Small Angle Solution Scattering Data in Xplor-NIH Structure Calcula-

    E-Print Network [OSTI]

    Clore, G. Marius

    and wide angle X-ray and small angle neutron scattering for biomolecular structure calculation using and wide angle X-ray scattering (SAXS/WAXS) and small angle neutron scattering (SANS) data, on the otherAccepted Manuscript Using Small Angle Solution Scattering Data in Xplor-NIH Structure Calcula

  9. ACCEPTANCE OF CONTRIBUTED FUNDS (33 U.S.C. 701h) FOR O&M DREDGING

    E-Print Network [OSTI]

    US Army Corps of Engineers

    MODEL MOA ACCEPTANCE OF CONTRIBUTED FUNDS (33 U.S.C. 701h) FOR O&M DREDGING WHERE SUCH DREDGING&M dredging that is a Federal expense; there are no Federal funds available; and the Contributor provides ALL funds needed to perform the dredging and related activities (engineering and design work, environmental

  10. ACCEPTANCE OF CONTRIBUTED FUNDS (33 U.S.C. 701h) FOR O&M DREDGING

    E-Print Network [OSTI]

    US Army Corps of Engineers

    i MODEL MOA ACCEPTANCE OF CONTRIBUTED FUNDS (33 U.S.C. 701h) FOR O&M DREDGING WHERE SUCH DREDGING be used for O&M dredging that is a Federal expense; there is enough Federal funds for Corps to award a reasonable dredging contract; and the Contributor provides a specified amount to allow additional O

  11. ACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet D4L102

    E-Print Network [OSTI]

    Ohta, Shigemi

    the magnet's field quality. Engineering: Escallier reported via email that the magnet met the electricalACCEPTANCE SUMMARY FOR LHC MAGNETS BUILT AT BNL Magnet D4L102 Date of this summary: September 2 on September 2, 2004 and approved the magnet for shipment to CERN. On July 28, R. Ostojic reported that CERN

  12. University Policy 00-1 Acceptable Use of Information Technology Resources

    E-Print Network [OSTI]

    Berdichevsky, Victor

    University Policy 00-1 Acceptable Use of Information Technology Resources 1.0 Purpose This policy, and other information technology resources at Wayne State University. 2.0 Guiding Principles 2 resources in a manner that recognizes both the rights and the obligations of academic freedom. 2.2 Wayne

  13. GENOMIC RESOURCES NOTE Genomic Resources Notes accepted 1 February 201331 March

    E-Print Network [OSTI]

    Rieseberg, Loren

    GENOMIC RESOURCES NOTE Genomic Resources Notes accepted 1 February 201331 March 2013 GENOMIC RESOURCES DEVELOPMENT CONSORTIUM,1 MATTHEW G. KING,2 SE BASTIEN RENAUT,3 LOREN H. RIESEBERG2,4 and HEATHER C. ROWE3 1 Molecular Ecology Resources Editorial Office, 6270 University Blvd, Vancouver, BC V6T 1Z4

  14. Product Delivery Expectations: Hanford LAW Product Performance and Acceptance Tanks Focus Area Task

    SciTech Connect (OSTI)

    Holtzscheiter, E.W.

    1999-04-29T23:59:59.000Z

    This task has several facets all aimed at providing technical products that will support the immobilization of Hanford's Low Activity Waste. Since this task breaks new ground in developing predictive capability, a review process external to the technical team is critical for acceptance by the technical community and is key to Hanford's Performance Assessment review process.

  15. Test Report for Acceptance Test Procedure for Pumping Instrumentation and Control Skid N

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-02-03T23:59:59.000Z

    This is a Test Report for Acceptance Test Procedure (ATP) RPP-5489. This test report provides the results of the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designed as ''N''. The ATP was successfully completed. A copy of the completed ATP is in the Appendix of this document.

  16. INTRAMURALSSpring Team Sports* Registration accepted for teams or "free agent" individuals. $25 registration fee required

    E-Print Network [OSTI]

    Lawrence, Rick L.

    INTRAMURALSSpring Team Sports* Registration accepted for teams or "free agent" individuals. $25 registration fee required for all teams: due upon team registration online. (Refundable if no games the team manager via email or text message (through the website). Call the Equipment Room at 994

  17. INTRAMURALSFall Team Sports* Registration accepted for teams or "free agent" individuals. $25 registration fee required

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    INTRAMURALSFall Team Sports* Registration accepted for teams or "free agent" individuals. $25 registration fee required for all teams: due upon team registration online. (Refundable if no games the team manager via email or text message (through the website). Call the Equipment Room at 994

  18. INTRAMURALSSummer Team Sports* Registration accepted for teams or "free agent" individuals. $25 registration fee required

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    INTRAMURALSSummer Team Sports* Registration accepted for teams or "free agent" individuals. $25 registration fee required for all teams: due upon team registration online. (Refundable if no games the team manager via email or text message. Recreational Sports & Fitness 120 Marga Hosaeus Fitness Center

  19. Accepted for publication in Journal of the ACM Compositional Shape Analysis by means of

    E-Print Network [OSTI]

    O'Hearn, Peter

    Accepted for publication in Journal of the ACM Compositional Shape Analysis by means of Bi-Abduction. The analysis rests on a generalized form of abduction (inference of explanatory hypotheses) which we call bi-abduction. Bi-abduction displays abduction as a kind of inverse to the frame problem: it jointly infers anti

  20. Geologic Storage of Carbon Dioxide: Risk Analyses and Implications for Public Acceptance

    E-Print Network [OSTI]

    siting. Survey respondents were asked whether they would accept the construction of a natural gas in global greenhouse gas emissions, but one of the unanswered questions about CCS is whether assessment perspectives and methods is then integrated with the GS risk review to forecast whether GS