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


1

M F  

Gasoline and Diesel Fuel Update (EIA)

M M F 3 S N O i i 0 3 r o y d ' , , , , * g . ; & . ' y ; ' ; ' . ^ ' i r , , » , , , » - ^ j M O O l i n O A O U 3 N 3 ( D I . / 9 6 ) 2 0 2 0 - V I 3 / 3 O C This publication and other Energy Information Administration (EIA) publications may be purchased from the Superintendent of Documents, U.S. Government Printing Office. Telephone orders may be directed to: Superintendent of Documents U.S. Government Printing Office Main Order Desk (202) 512-1800 FAX: (202)512-2250 8 a.m. to 4:30 p.m., eastern time, M-F All mail orders should be directed to: U.S. Government Printing Office P.O. Box 371954 Pittsburgh, PA 15250-7954 Complimentary subscriptions and single issues are available to certain groups of subscribers, such as public and academic libraries, Federal, State, local and foreign governments, EIA survey respondents, and the

2

Mapping RT-LOTOS specifications into time petri nets  

Science Conference Proceedings (OSTI)

RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...

Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat

2006-11-01T23:59:59.000Z

3

Formal specification of real-time dependable systems  

Science Conference Proceedings (OSTI)

The complex and critical nature of real-time, dependable systems (henceforth referred to as RTD systems) necessitates the use of analyzable specifications and specification analysis techniques supporting the assessment of behavioral, safety-critical, ... Keywords: analyzable specifications, behavioral quality, consistency check, fault-tolerant quality, formal reasoning systems, formal specification, multilevel description, nonfunctional qualities, precise specification language, real-time dependable systems, real-time systems, safety-critical quality, safety-critical software, security of data, security quality, software fault tolerance, specification analysis techniques, specification languages, system monitoring

1995-11-01T23:59:59.000Z

4

Object-oriented logical specification of time-critical systems  

Science Conference Proceedings (OSTI)

We define TRIO+, an object-oriented logical language for modular system specification. TRIO+ is based on TRIO, a first-order temporal language that is well suited to the specification of embedded and real-time ... Keywords: first-order logic, formal specifications, model-theoretic semantics, object-oriented methodologies, real-time systems, temporal logic

Angelo Morzenti; Pierluigi San Pietro

1994-01-01T23:59:59.000Z

5

Slicing Concurrent Real-Time System Specifications for Verification  

E-Print Network (OSTI)

The high-level specification language CSP-OZ-DC has been shown to be well-suited for modelling and analysing industrially relevant concurrent real-time systems. It allows us to model each of the most important functional aspects such as control flow, data, and real-time requirements in adequate notations, maintaining a common semantic foundation for subsequent verification. Slicing on the other hand has become an established technique to complement the fight against state space explosion during verification which inherently accompanies increasing system complexity. In this paper, we exploit the special structure of CSP-OZ-DC specifications by extending the dependence graphwhich usually serves as a basis for slicingwith several new types of dependencies, including timing dependencies derived from the specifications DC part. Based on this we show how to compute a specification slice and prove correctness of our approach.

Ingo Brckner

2007-01-01T23:59:59.000Z

6

Device Specific Real-time Energy Monitoring, Control, and Dynamic...  

NLE Websites -- All DOE Office Websites (Extended Search)

Device Specific Real-time Energy Monitoring, Control, and Dynamic Demand Response Solutions Speaker(s): Jake Masters Olcay Ungun Date: February 23, 2010 - 12:00pm Location: 90-3122...

7

Constraint Orientated Specification with CSP and Real Time Temporal Logic  

E-Print Network (OSTI)

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

Kent, University of

8

Slicing concurrent real-time system specifications for verification  

Science Conference Proceedings (OSTI)

The high-level specification language CSP-OZ-DC has been shown to be well-suited for modelling and analysing industrially relevant concurrent real-time systems. It allows us to model each of the most important functional aspects such as control flow, ...

Ingo Brckner

2007-07-01T23:59:59.000Z

9

Procurement specifications : Daylighting The New York Times Building  

NLE Websites -- All DOE Office Websites (Extended Search)

Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and...

10

OPERATIONAL TEST OF SONIC WIND SENSORS AT KNMI Wiel M.F. Wauben  

E-Print Network (OSTI)

1 OPERATIONAL TEST OF SONIC WIND SENSORS AT KNMI Wiel M.F. Wauben 1 and Rob van Krimpen 2 1 R a laboratory en field test of three commercial 2D sonic wind sensors in 2003. Based on the results of these tests and recent instrument developments, KNMI decided to replace its cup anemometers and wind vanes

Wauben, Wiel

11

Translating timed I/O automata specifications for theorem proving in PVs  

E-Print Network (OSTI)

The timed input/output automaton modeling framework is a mathematical framework for specification and analysis of systems that involve discrete and continuous evolution. In order to employ an interactive theorem prover in ...

Lim, Hongping

2006-01-01T23:59:59.000Z

12

Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Specifications Grid connection Hardwired Connector type CHAdeMo Approximate size (H x W x D inches) 38 x 69 x 21 Charge level DC Fast Charge Input voltage 480 VAC - 3 Phase...

13

Vertical Motions in the Upper Middle Atmosphere from the Saskatoon (52N, 107W) M.F. Radar  

Science Conference Proceedings (OSTI)

The Saskatoon M.F. radar (52N, 107W) was operated in a Doppler mode to measure the vertical motions in the middle atmosphere (60110 km). The 5-min and 1-h mean velocities were accumulated for a full calendar year.

C. E. Meek; A. H. Manson

1989-03-01T23:59:59.000Z

14

Specific  

NLE Websites -- All DOE Office Websites (Extended Search)

Specific Specific energy for pulsed laser rock drilling Z. Xu, a) C. B. Reed, and G. Konercki Technology Development Division, Argonne National Laboratory, Argonne, Illinois 60540 R. A. Parker b) Parker Geoscience Consulting, LLC, Arvada, Colorado 80403 B. C. Gahan Gas Technology Institute, Des Plains, Illinois 60018 S. Batarseh c) and R. M. Graves Department of Petroleum Engineering, Colorado School of Mines, Golden, Colorado 80401 H. Figueroa Petroleos de Venezuela INTEVEP, S.A., Caracas 1070A, Venezuela N. Skinner Halliburton Energy Service, Carrollton, Texas 75006 ͑Received 20 December 2001; accepted for publication 19 August 2002͒ Application of advanced high power laser technology to oil and gas well drilling has been attracting significant research interests recently among research institutes, petroleum industries, and universities. Potential laser or laser-aided

15

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic  

Science Conference Proceedings (OSTI)

In this paper we present and analyze a novel algorithm to synthesize controllers enforcing linear temporal logic specifications on discrete-time linear systems. The central step within this approach is the computation of the maximal controlled invariant ... Keywords: controller synthesis, robustness

Matthias Rungger; Manuel Mazo, Jr.; Paulo Tabuada

2013-04-01T23:59:59.000Z

16

LITERATURE REVIEW OF PUO2 CALCINATION TIME AND TEMPERATURE DATA FOR SPECIFIC SURFACE AREA  

SciTech Connect

The literature has been reviewed in December 2011 for calcination data of plutonium oxide (PuO{sub 2}) from plutonium oxalate Pu(C{sub 2}O{sub 4}){sub 2} precipitation with respect to the PuO{sub 2} specific surface area (SSA). A summary of the literature is presented for what are believed to be the dominant factors influencing SSA, the calcination temperature and time. The PuO{sub 2} from Pu(C{sub 2}O{sub 4}){sub 2} calcination data from this review has been regressed to better understand the influence of calcination temperature and time on SSA. Based on this literature review data set, calcination temperature has a bigger impact on SSA versus time. However, there is still some variance in this data set that may be reflecting differences in the plutonium oxalate preparation or different calcination techniques. It is evident from this review that additional calcination temperature and time data for PuO{sub 2} from Pu(C{sub 2}O{sub 4}){sub 2} needs to be collected and evaluated to better define the relationship. The existing data set has a lot of calcination times that are about 2 hours and therefore may be underestimating the impact of heating time on SSA. SRNL recommends that more calcination temperature and time data for PuO{sub 2} from Pu(C{sub 2}O{sub 4}){sub 2} be collected and this literature review data set be augmented to better refine the relationship between PuO{sub 2} SSA and its calcination parameters.

Daniel, G.

2012-03-06T23:59:59.000Z

17

Design of specific-to-problem kernels and use of kernel weighted K-nearest neighbours for time series modelling  

Science Conference Proceedings (OSTI)

Least squares support vector machines (LSSVM) with Gaussian kernel represent the most used of the kernel methods existing in the literature for regression and time series prediction. These models have a good behaviour for these types of problems due ... Keywords: Kernel methods, Kernel weighted K-Nearest Neighbours, Least squares support vector machines, Parallelization of kernel methods, Specific to problem kernels, Time series modelling

Gins Rubio; Luis Javier Herrera; Hctor Pomares; Ignacio Rojas; Alberto Guilln

2010-06-01T23:59:59.000Z

18

Computational Modeling and Real-Time Control of Patient-Specific Laser Treatment of Cancer  

E-Print Network (OSTI)

AbstractAn adaptive feedback control system is presented which employs a computational model of bioheat transfer in living tissue to guide, in real-time, laser treatments of prostate cancer monitored by magnetic resonance thermal imaging. The system is built on what can be referred to as cyberinfrastructurea complex structure of high-speed network, large-scale parallel computing devices, laser optics, imaging, visualizations, inverse-analysis algorithms, mesh generation, and control systems that guide laser therapy to optimally control the ablation of cancerous tissue. The computational system has been successfully tested on in vivo, canine prostate. Over the course of an 18 min laser-induced thermal therapy performed at M.D. Anderson Cancer Center (MDACC) in Houston, Texas, the computational models were calibrated to intra-operative real-time thermal imaging treatment data and the calibrated models controlled the bioheat transfer to within 5 C of the predetermined treatment plan. The computational arena is in Austin, Texas and managed at the Institute for Computational Engineering and Sciences (ICES). The system is designed to control the bioheat transfer remotely while simultaneously providing real-time remote visualization of the on-going treatment. Post-operative histology of the canine prostate reveal that the damage region was within the targeted 1.2 cm diameter treatment objective. KeywordsHyperthermia, Real-time computing, Medical imaging, Cancer treatment, Cyberinfrastructure, PDE

unknown authors

2009-01-01T23:59:59.000Z

19

Time-specific measurements of energy deposition from radiation fields in simulated sub-micron tissue volumes  

Science Conference Proceedings (OSTI)

A tissue-equivalent spherical proportional counter is used with a modified amplifier system to measure specific energy deposited from a uniform radiation field for short periods of time ({approximately}1 {micro}s to seconds) in order to extrapolate to dose in sub-micron tissue volumes. The energy deposited during these time intervals is compared to biological repair processes occurring within the same intervals after the initial energy deposition. The signal is integrated over a variable collection time which is adjusted with a square-wave pulse. Charge from particle passages is collected on the anode during the period in which the integrator is triggered, and the signal decays quickly to zero after the integrator feedback switch resets; the process repeats for every triggering pulse. Measurements of energy deposited from x rays, {sup 137}Cs gamma rays, and electrons from a {sup 90}Sr/{sup 90}Y source for various time intervals are taken. Spectral characteristics as a function of charge collection time are observed and frequency plots of specific energy and collection time-interval are presented. In addition, a threshold energy flux is selected for each radiation type at which the formation of radicals (based on current measurements) in mammalian cells equals the rate at which radicals are repaired.

Famiano, M.A.

1997-07-07T23:59:59.000Z

20

AvAilAble for licensing Production process for low-cost, long-life, high-energy anodes with five times the specific energy.  

E-Print Network (OSTI)

and Industries Electrodes used in batteries for Electric and plug-in hybrid electric vehicles; Portable times the specific energy. The Invention An advanced gas phase deposition method to make silicon

Kemner, Ken

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


21

Shippers. general requirements for shipments and packagings. transportation of methane in specification DOT 3AX, 3AAX, and 3T cylinders. an extension of time to file comments  

SciTech Connect

An extension of time to file comments on regulations for transportation of methane in specification DOT 3AX, 3AAX, and 3T cylinders is issued by the U.S. Materials Transportation Bureau. The time for filing comments is extended from 5/3/78 to 7/17/78.

1978-05-18T23:59:59.000Z

22

Risk time-window specification and its impact on the assessment of medication-related adverse events.  

E-Print Network (OSTI)

??Post-marketing studies using medical administrative databases are often conducted to assess medication-related adverse events (AE). The determination of the risk time-window, defined as the period (more)

Cournoyer, Daniel.

2006-01-01T23:59:59.000Z

23

u.s. department of commerce national institute of standards and technology manufacturing extension partnership W W W . n i s t . g o v / m e p 1 -8 0 0 -m e p -4 m F g  

E-Print Network (OSTI)

the following services through on-site training/analysis projects and workshops: Energy Efficiency, Innovation extension partnership W W W . n i s t . g o v / m e p · 1 - 8 0 0 - m e p - 4 m F g For more information Selling principles, Small Parts has built on its traditional market dominance with just one automotive

Perkins, Richard A.

24

Chapter 10, Peak Demand and Time-Differentiated Energy Savings Cross-Cutting Protocols: The Uniform Methods Project: Methods for Determining Energy Efficiency Savings for Specific Measures  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

0: Peak Demand and 0: Peak Demand and Time-Differentiated Energy Savings Cross-Cutting Protocols Frank Stern, Navigant Consulting Subcontract Report NREL/SR-7A30-53827 April 2013 The Uniform Methods Project: Methods for Determining Energy Efficiency Savings for Specific Measures 10 - 1 Chapter 10 - Table of Contents 1 Introduction .............................................................................................................................2 2 Purpose of Peak Demand and Time-differentiated Energy Savings .......................................3 3 Key Concepts ..........................................................................................................................5 4 Methods of Determining Peak Demand and Time-Differentiated Energy Impacts ...............7

25

Amp-PCR: Combining a Random Unbiased Phi29- Amplification with a Specific Real-Time PCR, Performed in One Tube to Increase PCR Sensitivity  

E-Print Network (OSTI)

In clinical situations where a diagnostic real-time PCR assay is not sensitive enough, leading to low or falsely negative results, or where detection earlier in a disease progression would benefit the patient, an unbiased pre-amplification prior to the real-time PCR could be beneficial. In Amp-PCR, an unbiased random Phi29 pre-amplification is combined with a specific real-time PCR reaction. The two reactions are separated physically by a wax-layer (AmpliWaxH) and are run in sequel in the same sealed tube. Amp-PCR can increase the specific PCR signal at least 100610 6-fold and make it possible to detect positive samples normally under the detection limit of the specific real-time PCR. The risk of contamination is eliminated and Amp-PCR could replace nested-PCR in situations where increased sensitivity is needed e.g. in routine PCR diagnostic analysis. We show Amp-PCR to work on clinical samples containing circular and linear viral dsDNA genomes, but can work well on DNA of any origin, both from non-cellular (virus) and cellular sources (bacteria, archae, eukaryotes).

Lena Erl; Lars Peter Nielsen; Anders Fomsgaard

2010-01-01T23:59:59.000Z

26

Specific features in building hardware-software complexes operating in real-time: An example of test rig used in periodic tests of reducers  

Science Conference Proceedings (OSTI)

Test rig for periodic tests of reducers is involved as an example to discuss specific features in building automatic test systems (ATS); the test rig is designed at ZAO NPP MIKS Engineering. A certain approach to ATS design based on adaptation of universal ...

A. A. Urakov; M. A. Rylov; D. S. Shutov; P. G. Dorofeev

2011-05-01T23:59:59.000Z

27

Functional Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Functional Specifications Functional Specifications Services Overview ECS Audio/Video Conferencing Fasterdata IPv6 Network Network Performance Tools (perfSONAR) ESnet OID Registry PGP Key Service Virtual Circuits (OSCARS) OSCARS Case Study Documentation User Manual FAQ Design Specifications Functional Specifications Notifications Publications Authorization Policy Default Attributes Message Security Clients For Developers Interfaces Links Hardware Requirements DOE Grids Service Transition Contact Us Technical Assistance: 1 800-33-ESnet (Inside the US) 1 800-333-7638 (Inside the US) 1 510-486-7600 (Globally) 1 510-486-7607 (Globally) Report Network Problems: trouble@es.net Provide Web Site Feedback: info@es.net Functional Specifications OSCARS Reservation Manager - Functional Specifications Year 3 Update (DRAFT)

28

Agile specifications  

Science Conference Proceedings (OSTI)

Traditional formal methods and modern agile methods are separated more by limitations of current technology than by fundamental intellectual differences. A mixed interpreter that executes mixed programs, comprising both declarative specification statements ... Keywords: agile methods, formal methods, refinement calculus, specification statement, test-driven development

Derek Rayside; Aleksandar Milicevic; Kuat Yessenov; Greg Dennis; Daniel Jackson

2009-10-01T23:59:59.000Z

29

Design Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Design Design Specifications Services Overview ECS Audio/Video Conferencing Fasterdata IPv6 Network Network Performance Tools (perfSONAR) ESnet OID Registry PGP Key Service Virtual Circuits (OSCARS) OSCARS Case Study Documentation User Manual FAQ Design Specifications Functional Specifications Notifications Publications Authorization Policy Default Attributes Message Security Clients For Developers Interfaces Links Hardware Requirements DOE Grids Service Transition Contact Us Technical Assistance: 1 800-33-ESnet (Inside the US) 1 800-333-7638 (Inside the US) 1 510-486-7600 (Globally) 1 510-486-7607 (Globally) Report Network Problems: trouble@es.net Provide Web Site Feedback: info@es.net Design Specifications OSCARS Reservation Manager - Design Specifications Year 3 Update (DRAFT) David Robertson, Chin Guok

30

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

E27C177982 Vehicle Specifications Engine: 2.5 L 4-cylinder Electric Motor: 105 kW Battery: NiMH Seatbelt Positions: Five Payload: 981 lbs Features: Regenerative braking Traction...

31

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

E87C172351 Vehicle Specifications Engine: 2.5 L 4-cylinder Electric Motor: 105 kW Battery: NiMH Seatbelt Positions: Five Payload: 981 lbs Features: Regenerative braking Traction...

32

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Z07S838122 Vehicle Specifications Engine: 2.4 L 4 cylinder Electric Motor: 14.5 kW Battery: NiMH Seatbelt Positions: Five Payload: 1,244 lbs Features: Regenerative braking wABS 4...

33

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

2AR194699 Vehicle Specifications Engine: 2.5 L 4-cylinder Electric Motor: 60 kW Battery: NiMH Seatbelt Positions: Five Payload: 850 lbs Features: Regenerative braking Traction...

34

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

2WD VIN 1FMYU95H75KC45881 Vehicle Specifications Engine: 2.3 L 4-cylinder Electric Motor: 70 kW Battery: NiMH Seatbelt Positions: Five Features: Four wheel drive Regenerative...

35

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

4AR144757 Vehicle Specifications Engine: 2.5 L 4-cylinder Electric Motor: 60 kW Battery: NiMH Seatbelt Positions: Five Payload: 850 lbs Features: Regenerative braking Traction...

36

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Z37S813344 Vehicle Specifications Engine: 2.4 L 4 cylinder Electric Motor: 14.5 kW Battery: NiMH Seatbelt Positions: Five Payload: 1,244 lbs Features: Regenerative braking wABS 4...

37

Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

4WD VIN 1FMCU96H15KE18237 Vehicle Specifications Engine: 2.4 L 4-cylinder Electric Motor: 70 kW Battery: NiMH Seatbelt Positions: Five Features: Four wheel drive Regenerative...

38

VEHICLE SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

SPECIFICATIONS 1 Vehicle VIN:19XFB5F57CE002590 Class: Compact Seatbelt Positions: 5 Type: Sedan CARB 2 : AT-PZEV EPA CityHwyCombined 3 : 273832 MPGe Tires Manufacturer:...

39

Product Specifications  

Science Conference Proceedings (OSTI)

Table 6   ASTM and ASME specifications for copper tube and pipe...(a) B 359 SB359 B 359M (a) ? Seamless tube, for air conditioning and refrigeration

40

General Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Specifications of the Infield Buildings of the Advanced Photon Source L8-78 Martin Knott January 1987 This LS note is the result of a series of meetings, conversations and private...

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


41

VEHICLE SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

VEHICLE SPECIFICATIONS 1 Vehicle Features Base Vehicle: 2011 Chevrolet Volt VIN: 1G1RD6E48BUI00815 Class: Compact Seatbelt Positions: 4 Type 2 : Multi-Mode PHEV (EV, Series, and Power-split) Motor Type: 12-pole permanent magnet AC synchronous Max. Power/Torque: 111 kW/370 Nm Max. Motor Speed: 9500 rpm Cooling: Active - Liquid cooled Generator Type: 16-pole permanent magnet AC synchronous Max. Power/Torque: 55 kW/200 Nm Max. Generator Speed: 6000 rpm Cooling: Active - Liquid cooled Battery Manufacturer: LG Chem Type: Lithium-ion Cathode/Anode Material: LiMn 2 O 4 /Hard Carbon Number of Cells: 288 Cell Config.: 3 parallel, 96 series Nominal Cell Voltage: 3.7 V Nominal System Voltage: 355.2 V Rated Pack Capacity: 45 Ah Rated Pack Energy: 16 kWh Weight of Pack: 435 lb

42

VEHICLE SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

Page 1 of 5 Page 1 of 5 VEHICLE SPECIFICATIONS 1 Vehicle Features Base Vehicle: 2011 Nissan Leaf VIN: JN1AZ0CP5BT000356 Class: Mid-size Seatbelt Positions: 5 Type: EV Motor Type: Three-Phase, Four-Pole Permanent Magnet AC Synchronous Max. Power/Torque: 80 kW/280 Nm Max. Motor Speed: 10,390 rpm Cooling: Active - Liquid cooled Battery Manufacturer: Automotive Energy Supply Corporation Type: Lithium-ion - Laminate type Cathode/Anode Material: LiMn 2 O 4 with LiNiO 2 /Graphite Pack Location: Under center of vehicle Number of Cells: 192 Cell Configuration: 2 parallel, 96 series Nominal Cell Voltage: 3.8 V Nominal System Voltage: 364.8 V Rated Pack Capacity: 66.2 Ah Rated Pack Energy: 24 kWh Max. Cell Charge Voltage 2 : 4.2 V Min. Cell Discharge Voltage 2 : 2.5 V

43

MEDICAL FORM & IMMUNIZATION RECORD Name ________________________________________________________________ Date of Birth ____/___/____ M ___ F ___  

E-Print Network (OSTI)

MEDICAL FORM & IMMUNIZATION RECORD Name you can register for classes. MAIL TO: Student Health Services, Medical Records, Furman University student to have a medical, physical and immunization record on file in the Health Services Office

44

Timed Property Sequence Chart  

Science Conference Proceedings (OSTI)

Property Sequence Chart (PSC) is a novel scenario-based notation, which has been recently proposed to represent temporal properties of concurrent systems. This language balances expressive power and simplicity of use. However, the current version of ... Keywords: Property Sequence Chart, Real-time specification patterns, Timed Property Sequence Chart, Timing properties

Pengcheng Zhang; Bixin Li; Lars Grunske

2010-03-01T23:59:59.000Z

45

Requirements and Specification Exemplars  

Science Conference Proceedings (OSTI)

Specification exemplars are familiar to most software engineering researchers. For instance, many will have encountered the well known library and lift problem statements, and will have seen one or more published specifications. Exemplars may serve ...

Martin S. Feather; Stephen Fickas; Anthony Finkelstein; Axel Van Lamsweerde

1997-10-01T23:59:59.000Z

46

Specifications for Steels  

Science Conference Proceedings (OSTI)

Table 28   ASTM specifications that incorporate AISI-SAE designations...A 29 Carbon and alloy steel bars, hot rolled and cold

47

Sign Specification and Synthesis  

Science Conference Proceedings (OSTI)

A description in terms of elementary primitives is proposed, in the view of sign language synthesis. Gradual combination leads to global sign specification. Grammatical inflexions are also taken into account in the sign hierarchic description built. ...

Olivier Losson; Jean-Marc Vannobel

1999-03-01T23:59:59.000Z

48

Gender-specific blood?  

NLE Websites -- All DOE Office Websites (Extended Search)

Gender-specific blood? Name: Charlie Fuentes Age: NA Location: NA Country: NA Date: NA Question: Is a female human's blood thinner than a man's? What is the average temperature...

49

Specification-enhanced execution  

E-Print Network (OSTI)

Our goal is to provide a framework that allows the programmer to easily shift responsibility for certain aspects of the program execution to the runtime system. We present specification- enhanced execution, a programming ...

Yang, Jean, S.M. Massachusetts Institute of Technology

2010-01-01T23:59:59.000Z

50

Realm Specific IP: Framework  

Science Conference Proceedings (OSTI)

This document examines the general framework of Realm Specific IP (RSIP). RSIP is intended as a alternative to NAT in which the end- to-end integrity of packets is maintained. We focus on implementation issues, deployment scenarios, and interaction ...

M. Borella; J. Lo; D. Grabelsky; G. Montenegro

2001-10-01T23:59:59.000Z

51

Specific light in sculpture  

E-Print Network (OSTI)

Specific light is defined as light from artificial or altered natural sources. The use and manipulation of light in three dimensional sculptural work is discussed in an historic and contemporary context. The author's work ...

Powell, John William

1989-01-01T23:59:59.000Z

52

Redesigning specificity in miniproteins  

E-Print Network (OSTI)

This work focuses on designing specific miniprotein interactions using computational models and then testing these designs with experiments. Miniproteins are small, autonomously-folding proteins that are excellent for ...

Taylor, Christina Marie

2006-01-01T23:59:59.000Z

53

Specific Group Hardware  

NLE Websites -- All DOE Office Websites (Extended Search)

Specific Group Hardware Specific Group Hardware Specific Group Hardware ALICE palicevo1 The Virtual Organization (VO) server. Serves as gatekeeper for ALICE jobs. It's duties include getting assignments from ALICE file catalog (at CERN), submitting jobs to pdsfgrid (via condor) which submits jobs to the compute nodes, monitoring the cluster work load, and uploading job information to ALICE file catalog. It is monitored with MonALISA (the monitoring page is here). It's made up of 2 Intel Xeon E5520 processors each with 4 cores (16 virtual cores with hyperthreading). The total local disk space is 1.9 TB. It is running Scientific Linux SL release 5.5 (Boron) and is disk booted. It is in rack 17. palicevo2 The Virtual Organization (VO) server testbed. It's a Dell PowerEdge R410 with 2 Intel Xeon E5520 processors, each with 4 cores (16 virtual cores

54

Development of mirror specifications  

DOE Green Energy (OSTI)

The work performed by PNL for Sandia Laboratories under a contract titled Survey and Analysis of Mirror Silvering Technology and Heliostat Glass Evaluation is described. The primary purpose for the work was to develop specifications that will enhance the durability and lifetime of heliostat mirrors. The contract was initiated with a technical survey of the present commercial silvered glass mirror industry and an analytical investigation of the degradation phenomena experienced by the heliostat mirrors at Sandia's Livermore test facility. The main thrust was to evaluate the present methods of silver deposition and protection in order to recommend a specification for the heliostat mirror silvering process that would extend the lifetime of the Barstow mirror field. In addition, several advanced concepts for enhancing mirror lifetime were investigated. Technical and measurement support for evaluation of the Barstow heliostat glass and updating the glass specification was also provided. (WHK)

Lind, M.A.

1979-09-01T23:59:59.000Z

55

Proposed Technical Specification Amendment  

E-Print Network (OSTI)

This letter provides the final revised Technical Specification (TS) pages for the subject proposed TS amendment. In Reference 1 Duke Energy requested an amendment to the Catawba Nuclear Station Facility Operating Licenses and Technical Specifications (TS). The proposed amendment revises various TS that are affected by the revised heatup, cooldown, critically, and inservice test pressure and temperature (P/T) limits for the reactor coolant system (RCS) of each unit. The proposed amendment also revised the TS requirements for the low temperature overpressure protection (LTOP) system for each unit. www. duke-energy. corn

D. M. Jamil; Duke Power

2004-01-01T23:59:59.000Z

56

Managing time  

Science Conference Proceedings (OSTI)

Professionals overwhelmed with information glut can find hope from new insights about time management.

Peter J. Denning

2011-03-01T23:59:59.000Z

57

Entropic Time  

Science Conference Proceedings (OSTI)

The formulation of quantum mechanics within the framework of entropic dynamics includes several new elements. In this paper we concentrate on one of them: the implications for the theory of time. Entropic time is introduced as a book-keeping device to keep track of the accumulation of changes. One new feature is that, unlike other concepts of time appearing in the so-called fundamental laws of physics, entropic time incorporates a natural distinction between past and future.

Caticha, Ariel [Department of Physics, University at Albany-SUNY, Albany, NY 12222 (United States)

2011-03-14T23:59:59.000Z

58

SPECIFIC HEAT INDICATOR  

DOE Patents (OSTI)

Apparatus for continuously and automatically measuring and computing the specific heat of a flowing solution is described. The invention provides for the continuous measurement of all the parameters required for the mathematical solution of this characteristic. The parameters are converted to logarithmic functions which are added and subtracted in accordance with the solution and a null-seeking servo reduces errors due to changing voltage drops to a minimum. Logarithmic potentiometers are utilized in a unique manner to accomplish these results.

Horn, F.L.; Binns, J.E.

1961-05-01T23:59:59.000Z

59

Hydrogen Energy California Preliminary Design Specification  

Science Conference Proceedings (OSTI)

As integrated gasification combined-cycle (IGCC) technology enters commercial service, the industry needs specifications that encourage greater standardization in IGCC design. Standardization lowers initial capital cost; supports repeatable, reliable performance; and reduces the time and cost to develop decision-quality economics for potential IGCC plant owners. This preliminary design specification (PDS) defines technical information provided in the permit application submitted by Hydrogen Energy Intern...

2010-11-30T23:59:59.000Z

60

TIMING APPARATUS  

DOE Patents (OSTI)

The timing device comprises an escapement wheel and pallet, a spring drive to rotate the escapement wheel to a zero position, means to wind the pretensioned spring proportional to the desired signal time, and a cam mechanism to control an electrical signal switch by energizing the switch when the spring has been wound to the desired position, and deenergizing it when it reaches the zero position. This device produces an accurately timed signal variably witain the control of the operator.

Bennett, A.E.; Geisow, J.C.H.

1956-04-17T23:59:59.000Z

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


61

Equivalence between executable OOZE and algebraic specification  

E-Print Network (OSTI)

In this paper two algorithms are presented: one which turns an executable OOZE specification into an algebraic specification and another which does the reverse operation. In this way, we shall be able to prove in a constructive way that executable OOZE and algebraic specification are equivalent and that, generally speaking, state-based specification is equivalent to to algebraic specification. We shall discuss whether these results can be made to cover other object-oriented Z dialects. 1 Introduction Formal methods are a constant subject of research within the field of Software Engineering. They have been being developed since the mid 70's, and are nowadays beginning to be applied in industry (see [Hal90]) and are expected to become a most favourable tool for saving the time and effort which is spent in the development of applications. This very same objective is shared by object-oriented programming. This new style of programming, which helps to reduce costs during the development pr...

Vicent-Ramon Palasi Lallana

1995-01-01T23:59:59.000Z

62

"Building Energy Data Exchange Specification"  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Building Energy Data Exchange Specification" "Version 2.3" "applicationvnd.ms-excel" "Overview:" "This document describes the DOE Building Energy Data Exchange Specification...

63

Biomass Burning Observation Project Specifically,  

NLE Websites -- All DOE Office Websites (Extended Search)

Burning Observation Project Burning Observation Project Specifically, the aircraft will obtain measurements of the microphysical, chemical, hygroscopic, and optical properties of aerosols. Data captured during BBOP will help scientists better understand how aerosols combine and change at a variety of distances and burn times. Locations Pasco, Washington. From July through September, the G-1 will be based out of its home base in Washington. From this location, it can intercept and measure smoke plumes from naturally occurring uncontrolled fires across Washington, Oregon, Idaho, Northern California, and Western Montana. Smoke plumes aged 0-5 hours are the primary targets for this phase of the campaign. Memphis, Tennessee. In October, the plane moves to Tennessee to sample prescribed

64

Extraction Utility Design Specification  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Extraction Extraction Utility Design Specification May 13, 2013 Document Version 1.10 1 Revision History Date Version Section and Titles Author Summary of Change January 15, 2010 1.0 All Eric Morgan, Dekker, Ltd. Initial Draft Document January 19, 2010 1.1 All Igor Pedan, Dekker, Ltd. Document update with EM team review notes January 20, 2010 1.2 2.1.1 EM Project Team Document Review January 27, 2010 1.3 All Bruce Bartells Final Draft Review May 10, 2010 1.4.1 2.8 Igor Pedan, Dekker, Ltd. Section Update May 14, 2010 1.4.2 2.3.1 Igor Pedan, Dekker, Ltd. System Tables Added May 17, 2010 1.4.3 2.3 Igor Pedan, Dekker, Ltd. Enhancements Update June 29, 2010 1.5 All Igor Pedan, Dekker, Ltd. Revised for Version

65

V1. DW07/11 Programme Specification  

E-Print Network (OSTI)

V1. DW07/11 Programme Specification HND Computing and Systems Development Full Time / Part Time #12;V1. DW07/11 Awarding Body Language of Study: English UCAS Code: N/A #12;V1. DW07

St Andrews, University of

66

Extraction Utility Design Specification  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Extraction Utility Extraction Utility Design Specification January 11, 2011 Document Version 1.9 1 Revision History Date Version Section and Titles Author Summary of Change January 15, 2010 1.0 All Eric Morgan, Dekker, Ltd. Initial Draft Document January 19, 2010 1.1 All Igor Pedan, Dekker, Ltd. Document update with EM team review notes January 20, 2010 1.2 2.1.1 EM Project Team Document Review January 27, 2010 1.3 All Bruce Bartells Final Draft Review May 10, 2010 1.4.1 2.8 Igor Pedan, Dekker, Ltd. Section Update May 14, 2010 1.4.2 2.3.1 Igor Pedan, Dekker, Ltd. System Tables Added May 17, 2010 1.4.3 2.3 Igor Pedan, Dekker, Ltd. Enhancements Update June 29, 2010 1.5 All Igor Pedan, Dekker, Ltd. Revised for Version 8.0.20100628 July 14, 2010 1.5.1 2.8 Igor Pedan,

67

ADANS database specification  

SciTech Connect

The purpose of the Air Mobility Command (AMC) Deployment Analysis System (ADANS) Database Specification (DS) is to describe the database organization and storage allocation and to provide the detailed data model of the physical design and information necessary for the construction of the parts of the database (e.g., tables, indexes, rules, defaults). The DS includes entity relationship diagrams, table and field definitions, reports on other database objects, and a description of the ADANS data dictionary. ADANS is the automated system used by Headquarters AMC and the Tanker Airlift Control Center (TACC) for airlift planning and scheduling of peacetime and contingency operations as well as for deliberate planning. ADANS also supports planning and scheduling of Air Refueling Events by the TACC and the unit-level tanker schedulers. ADANS receives input in the form of movement requirements and air refueling requests. It provides a suite of tools for planners to manipulate these requirements/requests against mobility assets and to develop, analyze, and distribute schedules. Analysis tools are provided for assessing the products of the scheduling subsystems, and editing capabilities support the refinement of schedules. A reporting capability provides formatted screen, print, and/or file outputs of various standard reports. An interface subsystem handles message traffic to and from external systems. The database is an integral part of the functionality summarized above.

1997-01-16T23:59:59.000Z

68

Personalised time-dependent learning  

Science Conference Proceedings (OSTI)

Time-dependent instruction appears to shape next-generation learning systems, where the value of instruction is as important as the time it takes to learn. The ability to grasp the exact knowledge required to accomplish a specific task, in the ... Keywords: adaptive learning, authoring tools, knowledge management, learning granularity, learning objects, learning resources, learning technology, learning web, ontology, personalised learning, semantic web, time constraints, time-dependent learning, timeliness

R. Benlamri; Y. Atif; J. Berri

2009-04-01T23:59:59.000Z

69

Embedding domain-specific modelling languages in maude specifications  

Science Conference Proceedings (OSTI)

We propose an approach for embedding Domain-Specific Modelling Languages (DSML) into Maude, based on representing models and metamodels as Maude specifications, and on representing operational semantics and model transformations as computable functions/relations ...

Vlad Rusu

2011-01-01T23:59:59.000Z

70

Commissioning Specifications | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Specifications Specifications Commissioning Specifications October 16, 2013 - 4:44pm Addthis Commissioning specifications outline basic requirements of the commissioning process and detail the roles and responsibilities of each party involved. System checklists, startup requirements, and performance testing procedures are typically included in the specifications to let contractors know what standards are required during the various testing phases involved throughout the commissioning process. Since renewable energy technologies are changing and developing rapidly, it is critical to have the commissioning specifications developed by a well-informed resource with up-to-date renewable energy expertise. This resource must also have a thorough understanding of how renewable energy

71

Digestion time  

NLE Websites -- All DOE Office Websites (Extended Search)

Digestion time Digestion time Name: Don Mancosh Location: N/A Country: N/A Date: N/A Question: I have always given the rule of thumb in class that material we eat is with us for about 24 hours before exiting the body. The question arises about the time value of liquids. Getting a big coke prior to a 3 hour drive generally means that there will be a stop along the way. Is there a generalization made about liquids in the body similar to the one for solid food? Replies: A physician would give a better answer, but I hazard this: the only liquids which people consume (deliberately) in significant quantities are water, ethyl alcohol and various oils. Water and alcohol are absorbed on a time scale of seconds to minutes through the mouth, stomach and digestive tract. The oils are huge molecules, so I'd guess like any other greasy food they get absorbed in the upper digestive tract. Some of them, perhaps the longest and most nonpolar, are not absorbed at all --- cf. the old-time remedy of mineral oil for constipation --- so there should be some average time-before-what's-left-is-excreted such as you're looking for, and my (wild) guess is that it would not differ substantially from that for food. You can define an average lifetime in the body for alcohol, since the natural level is zero. Rough guidelines are widespread in the context of drunk driving laws. But this is not really possible for water. One's body is normally full up to the brim with water, and there's no way for the body to distinguish between water molecules recently absorbed and molecules that've been moping around since the Beatles split up. Thus the water entering the toilet bowl after the pit stop is not in general the same water as was in the big coke. If you were to consider for water just the average time between drinking and peeing, it would seem to depend strongly on how well hydrated the body was before the drink, and how much was drunk. During sustained heavy exertion in the sun and dry air one can easily drink a pint of water an hour without peeing at all. On the other hand, if one is willing to drink enough water fast enough, so as to establish a high excess of body water one can pee 8 ounces 15 minutes or less after drinking 8 ounces.

72

Comment on "A statistical comparison of solar wind sources of moderate and intense geomagnetic storms at solar minimum and maximum" by Zhang, J.-C., M. W. Liemohn, J. U. Kozyra, M. F. Thomsen, H. A. Elliott, and J. M. Weygand, JGR, 2006  

E-Print Network (OSTI)

Conditions in the solar wind resulting in magnetic storms on the Earth are a subject of long and intensive investigations. Recently Zhang et al. (2006), published a paper, where they used superposed epoch analyses method to study solar wind features during 549 geomagnetic storms. Unfortunately, the used methodical approach has not allowed to improve essentially understanding of relation of magnetic storms with conditions in the solar wind, and first of all for the following reasons: (1) they did not take into account of existance of storms generated by different types of solar wind, and (2) they took minimum Dst index time as epoch zero time rather than storm onset.

Yermolaev, Y I; Lodkina, I G; Yermolaev, Yu. I.

2006-01-01T23:59:59.000Z

73

SG Network System Requirements Specification  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

SG Network System Requirements Specification SG Network System Requirements Specification Interim Release 3 5/17/2010 - 2 - Table of Contents Document History ....................................................................................................................................... - 3 - Revision History .......................................................................................................................................... - 3 - Preface........................................................................................................................................................ - 4 - Authors........................................................................................................................................................ - 6 -

74

Executable specifications for Java programs  

E-Print Network (OSTI)

In this thesis, we present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, written in first-order relational ...

Milicevic, Aleksandar, S.M. Massachusetts Institute of Technology

2010-01-01T23:59:59.000Z

75

ENERGY STAR Enterprise Storage Draft Specification Framework  

E-Print Network (OSTI)

This document describes the key building blocks that form the basis for every ENERGY STAR specification; these items are intended to provide the framework around which the EPA can develop an effective energy efficiency program for Enterprise Storage. The principal objectives for this ENERGY STAR specification are threefold: (1) to encourage widespread adoption of appropriate hardware and software strategies to improve energy efficiency in enterprise storage systems, (2) to provide purchasers with the means to identify the most energy efficient enterprise storage solutions for their specific end-use application, and (3) to provide tools and information to designers and mangers looking to improve the efficiency of data center operations. The purpose of each building block is provided under the subheadings below, along with EPAs preliminary thoughts on how each may ultimately be incorporated into the Version 1.0 Enterprise Storage specification. At the end of each section are a series of questions aimed at generating discussion about the proposed approach. Please note that this document is not intended to be a comprehensive review of the ENERGY STAR perspective on enterprise storage, rather it serves as a starting point for EPAs specification development efforts. Stakeholders are encouraged to provide feedback on the specific concepts and definitions presented in this document, and are also welcome to submit comments of a more general nature. Communication between EPA and industry stakeholders is critical to the success of the ENERGY STAR program, especially in this early stage of the specification development process. Any and all creative suggestions for improvements to the basic ENERGY STAR approach outlined in this document will be considered for inclusion in subsequent draft and final specifications. ENERGY STAR representatives are available for additional technical discussions with interested parties at any time during the specification development process. Please contact Steve Pantano, ICF International, at

unknown authors

2009-01-01T23:59:59.000Z

76

Steam Boiler Control Specification Problem:  

E-Print Network (OSTI)

Our solution to the specification problem in the specification language TLA+ is based on a model of operation where several components proceed synchronously. Our first specification concerns a simplified controller and abstracts from many details given in the informal problem description. We successively add modules to build a model of the state of the steam boiler, detect failures, and model message transmission. We give a more detailed controller specification and prove that it refines the abstract controller. We also address the relationship between the physical state of the steam boiler and the model maintained by the controller and discuss the reliability of failure detection. Finally, we discuss the implementability of our specification.

Tla Solution Frank; Frank Le Ke; Stephan Merz

1996-01-01T23:59:59.000Z

77

Electric Time in Quantum Cosmology  

E-Print Network (OSTI)

Effective quantum cosmology is formulated with a realistic global internal time given by the electric vector potential. New possibilities for the quantum behavior of space-time are found, and the high-density regime is shown to be very sensitive to the specific form of state realized.

Stephon Alexander; Martin Bojowald; Antonino Marciano; David Simpson

2012-12-10T23:59:59.000Z

78

A property based specification formalism classification  

Science Conference Proceedings (OSTI)

Specification formalisms may be classified through some common properties. Specification formalism classification may be used as a basis for the evaluation of the adequacy of formal specification languages within specific application domains. System ... Keywords: Classification, Specification formalism, Specification properties

Amir A. Khwaja; Joseph E. Urban

2010-11-01T23:59:59.000Z

79

Time Brightness  

NLE Websites -- All DOE Office Websites (Extended Search)

Perlmutter, et al., in Thermonuclear Supernovae, NATO ASI, v. 486 (1997) Perlmutter, et al., in Thermonuclear Supernovae, NATO ASI, v. 486 (1997) Cosmology from . . . Time Brightness ... . . . 50-100 Fields Lunar Calendar Scheduled Follow-Up Imaging at Hubble, Cerro Tololo, WIYN, Isaac Newton Scheduled Follow-Up Spectroscopy at Keck Almost 1000 Galaxies per Field RESULT: ~24 Type Ia supernovae discovered while still brightening, at new moon Berkeley Lab Keck WIYN Cerro Tololo Isaac Newton Hubble Strategy We developed a strategy to guarantee a group of supernova discoveries on a certain date. Just after a new moon, we observe some 50 to 100 high-galactic lattitute fields-each containing almost a thousand high-redshift galaxies-in two nights on the Cerro Tololo 4-meter telescope with Tyson & Bernstein's wide-field camera. We return three weeks later to observe the same

80

Ultrasonic hydrometer. [Specific gravity of electrolyte  

DOE Patents (OSTI)

The disclosed ultrasonic hydrometer determines the specific gravity (density) of the electrolyte of a wet battery, such as a lead-acid battery. The hydrometer utilizes a transducer that when excited emits an ultrasonic impulse that traverses through the electrolyte back and forth between spaced sonic surfaces. The transducer detects the returning impulse, and means measures the time t between the initial and returning impulses. Considering the distance d between the spaced sonic surfaces and the measured time t, the sonic velocity V is calculated with the equation V = 2d/t. The hydrometer also utilizes a thermocouple to measure the electrolyte temperature. A hydrometer database correlates three variable parameters including sonic velocity in and temperature and specific gravity of the electrolyte, for temperature values between 0 and 40/sup 0/C and for specific gravity values between 1.05 and 1.30. Upon knowing two parameters (the calculated sonic velocity and the measured temperature), the third parameter (specific gravity) can be uniquely found in the database. The hydrometer utilizes a microprocessor for data storage and manipulation.

Swoboda, C.A.

1982-03-09T23:59:59.000Z

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


81

Specifications  

Science Conference Proceedings (OSTI)

... Light Source Xenon flash lamp, 3-year warranty (5 years typical lifetime ... 17.8 cm (7 in) diagonal Operating System Microsoft Windows XP embedded ...

2012-10-31T23:59:59.000Z

82

Hanford Site environmental management specification  

SciTech Connect

The US Department of Energy, Richland Operations Office (RL) uses this Hanford Site Environmental Management Specification (Specification) to document top-level mission requirements and planning assumptions for the prime contractors involved in Hanford Site cleanup and infrastructure activities under the responsibility of the US Department of Energy, Office of Environmental Management. This Specification describes at a top level the activities, facilities, and infrastructure necessary to accomplish the cleanup of the Hanford Site and assigns this scope to Site contractors and their respective projects. This Specification also references the key National Environmental Policy Act of 1969 (NEPA), Comprehensive Environmental Response, Compensation, and Liability Act of 1980 (CERCLA), and safety documentation necessary to accurately describe the cleanup at a summary level. The information contained in this document reflects RL`s application of values, priorities, and critical success factors expressed by those involved with and affected by the Hanford Site project. The prime contractors and their projects develop complete baselines and work plans to implement this Specification. These lower-level documents and the data that support them, together with this Specification, represent the full set of requirements applicable to the contractors and their projects. Figure 1-1 shows the relationship of this Specification to the other basic Site documents. Similarly, the documents, orders, and laws referenced in this specification represent only the most salient sources of requirements. Current and contractual reference data contain a complete set of source documents.

Grygiel, M.L.

1998-06-10T23:59:59.000Z

83

Unit Testing of Z Specifications  

Science Conference Proceedings (OSTI)

We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive.

Mark Utting; Petra Malik

2008-09-01T23:59:59.000Z

84

Clock independent timing verification of level-sensitive latches  

Science Conference Proceedings (OSTI)

This paper presents a method to automatically handle level-sensitive latches in timing analysis/verification. Timing specifications, including delays and timing constraints, are automatically generated for the cells in the design. The generated timing ...

Robert Tjrnstrm

1991-02-01T23:59:59.000Z

85

Appendix C: California ISO Real Time Voltage Security Assessment...  

NLE Websites -- All DOE Office Websites (Extended Search)

C: California ISO Real Time Voltage Security Assessment (VSA) Prototype Functional SpecificationsPrototype Development Title Appendix C: California ISO Real Time Voltage Security...

86

V1. DW07/11 Programme Specification  

E-Print Network (OSTI)

V1. DW07/11 Programme Specification HND Business (Part time) #12;V1. DW07/11 Awarding Body: Edexcel (BTEC) Teaching Language of Study: English UCAS Code: N/A #12;V1. DW07

St Andrews, University of

87

Visual Specifications for Modular Reasoning about Asynchronous Systems  

Science Conference Proceedings (OSTI)

We propose a framework that closely ties together visual specification and modular reasoning of asynchronous systems. The basis of the framework is a new notation, called Modular Timing Diagrams (MTD's), for specifying the universal properties about ...

Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler

2002-11-01T23:59:59.000Z

88

MetaCore: An Application Specific DSP Development System  

E-Print Network (OSTI)

This paper describes the MeteCore system which is an ASIP(Application-Specific Instruction set Processor) deveL opmen system targeted for DSP applications. The goal of MeteCore system is to offer an efficient design methodology meeting specifications given as a combination of perorm ance, cost and design turnaround time.

Jin-Hyuk Yang; Byonng-kbon Kim; Sang-Jun Nam; Jang-Ho Cho; Sung-Won Seo; Chang-Ho Ryu; Young-Su Kwon; Dae-Hyun Lee; Jong-Yeol Lee; Jong-Sun Kim; Hyun-Dhong Yoon; Jae-Yeol Kim; Kun-Moo Lee

1998-01-01T23:59:59.000Z

89

VEHICLE DETAILS AND BATTERY SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

Page 1 of 6 VEHICLE DETAILS AND BATTERY SPECIFICATIONS 1 Vehicle Details Base Vehicle: 2013 Chevrolet Volt VIN: 1G1RA6E40DU103929 Propulsion System: Multi-Mode PHEV (EV, Series,...

90

VEHICLE DETAILS AND BATTERY SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

Page 1 VEHICLE DETAILS AND BATTERY SPECIFICATIONS 1 Vehicle Details Base Vehicle: 2011 Chevrolet Volt VIN: 1G1RD6E48BU100815 Propulsion System: Multi-Mode PHEV (EV, Series, and...

91

Cell Data Sheet Specification (Presentation)  

DOE Green Energy (OSTI)

The presentation shows a brief status report on the development of a specification being considered by IEC TC82 WG7 for a concentrator cell data sheet and solicits suggestions from the community.

Kurtz, S.

2012-03-01T23:59:59.000Z

92

RESIDENTIAL WEATHERIZATION SPECIFICATIONS August 30, 2011  

E-Print Network (OSTI)

RESIDENTIAL WEATHERIZATION SPECIFICATIONS August 30, 2011 Index to Sections Section Page I. GENERAL............................................................................................35 #12;1 I. GENERAL SPECIFICATIONS 1. These specifications apply to existing residential (retro

93

1997 hybrid electric vehicle specifications  

DOE Green Energy (OSTI)

The US DOE sponsors Advanced Vehicle Technology competitions to help educate the public and advance new vehicle technologies. For several years, DOE has provided financial and technical support for the American Tour de Sol. This event showcases electric and hybrid electric vehicles in a road rally across portions of the northeastern United States. The specifications contained in this technical memorandum apply to vehicles that will be entered in the 1997 American Tour de Sol. However, the specifications were prepared to be general enough for use by other teams and individuals interested in developing hybrid electric vehicles. The purpose of the specifications is to ensure that the vehicles developed do not present a safety hazard to the teams that build and drive them or to the judges, sponsors, or public who attend the competitions. The specifications are by no means the definitive sources of information on constructing hybrid electric vehicles - as electric and hybrid vehicles technologies advance, so will the standards and practices for their construction. In some cases, the new standards and practices will make portions of these specifications obsolete.

Sluder, S.; Larsen, R.; Duoba, M.

1996-10-01T23:59:59.000Z

94

SHORT COMMUNICATION D. Nikezic B. M. F. Lau K. N. Yu  

E-Print Network (OSTI)

from Japanese atomic bomb survivors and uranium miners, gives a value of approximately 4 mSv WLM?1 dose per unit radon exposure. All other elements of the human respiratory tract from the reports

Yu, K.N.

95

MODEL 9977 B(M)F-96 SAFETY ANALYSIS REPORT FOR PACKAGING  

Science Conference Proceedings (OSTI)

This Safety Analysis Report for Packaging (SARP) documents the analysis and testing performed on and for the 9977 Shipping Package, referred to as the General Purpose Fissile Package (GPFP). The performance evaluation presented in this SARP documents the compliance of the 9977 package with the regulatory safety requirements for Type B packages. Per 10 CFR 71.59, for the 9977 packages evaluated in this SARP, the value of ''N'' is 50, and the Transport Index based on nuclear criticality control is 1.0. The 9977 package is designed with a high degree of single containment. The 9977 complies with 10 CFR 71 (2002), Department of Energy (DOE) Order 460.1B, DOE Order 460.2, and 10 CFR 20 (2003) for As Low As Reasonably Achievable (ALARA) principles. The 9977 also satisfies the requirements of the Regulations for the Safe Transport of Radioactive Material--1996 Edition (Revised)--Requirements. IAEA Safety Standards, Safety Series No. TS-R-1 (ST-1, Rev.), International Atomic Energy Agency, Vienna, Austria (2000). The 9977 package is designed, analyzed and fabricated in accordance with Section III of the American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel (B&PV) Code, 1992 edition.

Abramczyk, G; Paul Blanton, P; Kurt Eberl, K

2006-05-18T23:59:59.000Z

96

Draft ES&H INL Lab M&F Complex.cdr  

NLE Websites -- All DOE Office Websites (Extended Search)

CH2M Washington Group, Idaho, LLC DOE U.S. Department of Energy EMS Environmental Management System ES&H Environment, Safety, and Health ESS Evaluation of Safety of the...

97

Universit`a degli Studi di Torino Facolt`a di Scienze M. F. N.  

E-Print Network (OSTI)

), the American Society of Civil Engineers (ASCE), the International Tunnelling Associa- tion, the American Society, and other professional organizations. She is past president of the Geo-Institute of ASCE

California at Santa Cruz, University of

98

Draft ES&H INL Lab M&F Complex.cdr  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

associated with the work observed, including repetitive stress from using the manipulator arms and chemical and radiological hazards. The laboratory instructions also...

99

V1. DW07/11 Programme Specification  

E-Print Network (OSTI)

V1. DW07/11 Programme Specification HND Health and Social Care (Management) Full Time / Part Time #12;V1. DW07/11 Awarding Body: English UCAS Code: N/A #12;V1. DW07/11 The HND Health and Social

St Andrews, University of

100

GIS For Mapping of Lane-Level Data and Re-Creation in Real Time For Navigation  

E-Print Network (OSTI)

Zhang, Fengyuan Wang, GIS and GPS Based Vehicle GuidanceSpatial Data Standards and GIS Interoperability, ESRI, WhiteHill, 1998. M. F. Goodchild, GIS and transportation: Status

Sutarwala, Behlul Zoeb

2011-01-01T23:59:59.000Z

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


101

Specification of Ontologies in CASL  

E-Print Network (OSTI)

Abstract. In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theory. This is obtained by transforming the given FOL formulas. If this method is applied to an ontology specification in FOL, the resulting

Klaus Lttich

2004-01-01T23:59:59.000Z

102

Substation Energy Storage Product Specification  

Science Conference Proceedings (OSTI)

This substation energy storage specification is intended to facilitate utility procurement of large grid-connected electrical energy storage systems that would typically be connected at medium voltage at distribution substations. Few utilities have experience with devices of this type, and industry practices are not extensively developed. Therefore, this update report may be used as a guide to suppliers of these devices (who may be unfamiliar with utility practices) as well as distribution utilities ...

2012-10-25T23:59:59.000Z

103

Project X functional requirements specification  

SciTech Connect

Project X is a multi-megawatt proton facility being developed to support intensity frontier research in elementary particle physics, with possible applications to nuclear physics and nuclear energy research, at Fermilab. A Functional Requirements Specification has been developed in order to establish performance criteria for the Project X complex in support of these multiple missions. This paper will describe the Functional Requirements for the Project X facility and the rationale for these requirements.

Holmes, S.D.; Henderson, S.D.; Kephart, R.; Kerby, J.; Mishra, S.; Nagaitsev, S.; Tschirhart, R.; /Fermilab

2011-03-01T23:59:59.000Z

104

Duke Edwardsport Generic Design Specification  

Science Conference Proceedings (OSTI)

This generic design specification (GDS) is sponsored by the CoalFleet for Tomorrow program of the Electric Power Research Institute (EPRI). The CoalFleet Integrated Gasification Combined Cycle (IGCC) Design Guidelines Experts Group produced this report, which is based on available public sources and information. The CoalFleet IGCC Design Guidelines Experts Group consists of more than 10 IGCC experts, including independent consultants and EPRI staff.

2011-01-20T23:59:59.000Z

105

Specific test and evaluation plan  

SciTech Connect

The purpose of this Specific Test and Evaluation Plan (STEP) is to provide a detailed written plan for the systematic testing of modifications made to the 241-AN-A Valve Pit by the W-314 Project. The STEP develops the outline for test procedures that verify the system`s performance to the established Project design criteria. The STEP is a ``lower tier`` document based on the W-314 Test and Evaluation Plan (TEP) This STEP encompasses all testing activities required to demonstrate compliance to the project design criteria as it relates to the modifications of the AN-A valve pit. The Project Design Specifications (PDS) identify the specific testing activities required for the Project. Testing includes Validations and Verifications (e.g., Commercial Grade Item Dedication activities), Factory Acceptance Tests (FATs), installation tests and inspections, Construction Acceptance Tests (CATs), Acceptance Test Procedures (ATPs), Pre-Operational Test Procedures (POTPs), and Operational Test Procedures (OTPs). It should be noted that POTPs are not required for testing of the modifications to the 241-AN-A Valve Pit. The STEP will be utilized in conjunction with the TEP for verification and validation.

Hays, W.H.

1997-12-09T23:59:59.000Z

106

Alternative Fuels Data Center: Biodiesel Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

Biodiesel Biodiesel Specifications to someone by E-mail Share Alternative Fuels Data Center: Biodiesel Specifications on Facebook Tweet about Alternative Fuels Data Center: Biodiesel Specifications on Twitter Bookmark Alternative Fuels Data Center: Biodiesel Specifications on Google Bookmark Alternative Fuels Data Center: Biodiesel Specifications on Delicious Rank Alternative Fuels Data Center: Biodiesel Specifications on Digg Find More places to share Alternative Fuels Data Center: Biodiesel Specifications on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Biodiesel Specifications Biodiesel produced or sold in the state, including for the purpose of blending with petroleum diesel, must meet ASTM specification D6751.

107

Solar Photovoltaic SPECIFICATION, CHECKLIST AND GUIDE  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Photovoltaic Photovoltaic SPECIFICATION, CHECKLIST AND GUIDE Renewable Energy Ready Home Renewable Energy Ready Home SOLAR PHOTOVOLTAIC SPECIFICATION, CHECKLIST AND GUIDE i Table of Contents About the Renewable Energy Ready Home Specifications Assumptions of the RERH Solar Photovoltaic Specification .............................................................................. 1 Builder and Specification Limitations ............................................................................................................. 2

108

POLICY STATEMENT ON TECHNICAL SPECIFICATIONS  

E-Print Network (OSTI)

The Nuclear Regulatory Commission has received two lettertype reports from its independent Advisory Committee on Reactor Safeguards. They provide comments on a draft final policy statement on technical specifications improvements for nuclear power plants and additional implementation information for the NRC's regulation on requirements for the renewal of operating licenses for power reactors. The ACRS also sent a letter report to the NRC's Executive Director for Operations that provides comments on the NRC staff's proposed rule on advanced light water reactor severe accident performance. Attachments:

unknown authors

1993-01-01T23:59:59.000Z

109

Central Solenoid Insert Technical Specification  

Science Conference Proceedings (OSTI)

The US ITER Project Office (USIPO) is responsible for the ITER central solenoid (CS) contribution to the ITER project. The Central Solenoid Insert (CSI) project will allow ITER validation the appropriate lengths of the conductors to be used in the full-scale CS coils under relevant conditions. The ITER Program plans to build and test a CSI to verify the performance of the CS conductor. The CSI is a one-layer solenoid with an inner diameter of 1.48 m and a height of 4.45 m between electric terminal ends. The coil weight with the terminals is approximately 820 kg without insulation. The major goal of the CSI is to measure the temperature margin of the CS under the ITER direct current (DC) operating conditions, including determining sensitivity to load cycles. Performance of the joints, ramp rate sensitivity, and stability against thermal or electromagnetic disturbances, electrical insulation, losses, and instrumentation are addressed separately and therefore are not major goals in this project. However, losses and joint performance will be tested during the CSI testing campaign. The USIPO will build the CSI that will be tested at the Central Solenoid Model Coil (CSMC) Test Facility at the Japan Atomic Energy Agency (JAEA), Naka, Japan. The industrial vendors (the Suppliers) will report to the USIPO (the Company). All approvals to proceed will be issued by the Company, which in some cases, as specified in this document, will also require the approval of the ITER Organization. Responsibilities and obligations will be covered by respective contracts between the USIPO, called Company interchangeably, and the industrial Prime Contractors, called Suppliers. Different stages of work may be performed by more than one Prime Contractor, as described in this specification. Technical requirements of the contract between the Company and the Prime Contractor will be covered by the Fabrication Specifications developed by the Prime Contractor based on this document and approved by the Company and ITER. The Fabrication Specifications may reflect some national requirements and regulations that are not fully provided here. This document presents the ITER CSI specifications.

Martovetsky, Nicolai N [ORNL; Smirnov, Alexandre [ORNL

2011-09-01T23:59:59.000Z

110

Modeling Guidance for Developing Site-specific Nutrient Goals  

Science Conference Proceedings (OSTI)

One of the highest-profile challenges facing states and the regulated community is the development of scientifically sound nutrient goals, such as total maximum daily loads and site-specific numeric nutrient criteria. Goals must recognize that responses of receiving water to nutrients depend on site-specific characteristics (that is, morphology, hydrology, turbidity, temperature, etc.), all of which vary in space and time. There is a need for practical, model-based approaches and guidance for ...

2013-12-16T23:59:59.000Z

111

Excelsior Energy Mesaba IGCC Project Preliminary Design Specification  

Science Conference Proceedings (OSTI)

With Integrated Gasification Combined Cycle (IGCC) technology now entering commercial service, the industry needs specifications that encourage greater standardization in IGCC design. Standardization lowers initial capital cost; supports repeatable, reliable performance; and reduces the time and cost to develop decision-quality economics for potential IGCC plant owners. This CoalFleet Preliminary Design Specification (PDS) defines technical information provided in the permit application submitted by Exce...

2006-12-11T23:59:59.000Z

112

Algebraic specification and program development by stepwise refinement (Extended Abstract)  

E-Print Network (OSTI)

. Various formalizations of the concept of "refinement step" as used in the formal development of programs from algebraic specifications are presented and compared. 1 Introduction Algebraic specification aims to provide a formal basis to support the systematic development of correct programs from specifications by means of verified refinement steps. Obviously, a central piece of the puzzle is how best to formalize concepts like "specification", "program" and "refinement step". Answers are required that are simple, elegant and general and which enjoy useful properties, while at the same time taking proper account of the needs of practice. Here I will concentrate on the last of these concepts, but first I need to deal with the other two. For "program", I take the usual approach of algebraic specification whereby programs are modelled as many-sorted algebras consisting of a collection of sets of data values together with functions over those sets. This level of abstraction is commens...

Donald Sannella

1999-01-01T23:59:59.000Z

113

" Row: Specific Energy-Management Activities...  

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

4 Number of Establishments by Participation in Specific Energy-Management Activities, 2006;" " Level: National Data; " " Row: Specific Energy-Management Activities within NAICS...

114

Alternative Fuels Data Center: Biofuels Quality Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

Biofuels Quality Biofuels Quality Specifications to someone by E-mail Share Alternative Fuels Data Center: Biofuels Quality Specifications on Facebook Tweet about Alternative Fuels Data Center: Biofuels Quality Specifications on Twitter Bookmark Alternative Fuels Data Center: Biofuels Quality Specifications on Google Bookmark Alternative Fuels Data Center: Biofuels Quality Specifications on Delicious Rank Alternative Fuels Data Center: Biofuels Quality Specifications on Digg Find More places to share Alternative Fuels Data Center: Biofuels Quality Specifications on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Biofuels Quality Specifications The Tennessee Department of Agriculture may inspect and test biofuels under

115

Synthesis of application specific instruction sets  

E-Print Network (OSTI)

An instruction set serves as the interface between hardware and software in a computer system. In an application specific environment, the system per-formance can be improved by designing an instruction set that matches the characteristics of hardware and the application. We present a systematic approach to generate application-specific instruction sets so that software applications can be efficiently mapped to a given pipelined microarchitec-ture. The approach synthesizes instruction sets from application bench-marks, given a machine model, an objective function, and a set of design constraints. In addition, assembly code is generated to show how the benchmarks can be compiled with the synthesized instruction set. The problem of designing instruction sets is formulated as a modified schedul-ing problem. A binary tuple is proposed to model the semantics of instruc-tions and integrate the instruction formation process into the scheduling process. A simulated annealing scheme is used to solve for the schedules. Experiments have shown that the approach is capable of synthesizing pow-erful instructions for modern pipelined micro-processors, and running with reasonable time and a modest amount of memory for large applications.

Ing-jer Huang

1995-01-01T23:59:59.000Z

116

VEHICLE DETAILS AND BATTERY SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

RR0DF106791 RR0DF106791 Hybrid Propulsion System: Mild Parallel Belt-Alternator Starter (BAS) Number of Electric Machines: 1 Motor: 15 kW (peak), AC induction Battery Specifications Manufacturer: Hitachi Type: Cylindrical Lithium-ion Number of Cells: 32 Nominal Cell Voltage: 3.6 V Nominal System Voltage: 115.2 V Rated Pack Capacity: 4.4 Ah Maximum Cell Charge Voltage 2 : 4.10 V Minimum Cell Discharge Voltage 2 : 3.00 V Thermal Management: Active - Forced air Pack Weight: 65 lb BEGINNING-OF-TEST: BATTERY LABORATORY TEST RESULTS SUMMARY Vehicle Mileage and Testing Date Vehicle Odometer: 5,715 mi Date of Test: January 8, 2013 Static Capacity Test Measured Average Capacity: 3.98 Ah Measured Average Energy Capacity: 460 Wh HPPC Test Pulse Discharge Power @ 50% DOD

117

VEHICLE DETAILS AND BATTERY SPECIFICATIONS  

NLE Websites -- All DOE Office Websites (Extended Search)

RRXDF106605 RRXDF106605 Hybrid Propulsion System: Mild Parallel Belt-Alternator Starter (BAS) Number of Electric Machines: 1 Motor: 15 kW (peak), AC induction Battery Specifications Manufacturer: Hitachi Type: Cylindrical Lithium-ion Number of Cells: 32 Nominal Cell Voltage: 3.6 V Nominal System Voltage: 115.2 V Rated Pack Capacity: 4.4 Ah Maximum Cell Charge Voltage 2 : 4.10 V Minimum Cell Discharge Voltage 2 : 3.00 V Thermal Management: Active - Forced air Pack Weight: 65 lb BEGINNING-OF-TEST: BATTERY LABORATORY TEST RESULTS SUMMARY Vehicle Mileage and Testing Date Vehicle Odometer: 4,244 mi Date of Test: January 9, 2013 Static Capacity Test Measured Average Capacity: 3.88 Ah Measured Average Energy Capacity: 450 Wh HPPC Test Pulse Discharge Power @ 50% DOD

118

DETERMINATION OF SPECIFIC NEUTRONIC REACTIVITY  

DOE Patents (OSTI)

A method is given for production-line determination of the specific neutronic reactivity of such objects as individual nuclear fuel or neutron absorber elements and is notable for rapidity and apparatus simplicity. The object is incorporated in a slightly sub-critical chain fission reactive assembly having a discrete neutron source, thereby establishing a K/sub eff/ within the crucial range of 0.95 to 0.995. The range was found to afford, uniquely, flux- transient damped response in a niatter of seconds simultaneously with acceptable analytical sensitivity. The resulting neutron flux measured at a situs spaced from both object and source within the assembly serves as a calibrable indication of said reactivity.

Dessauer, G.

1960-05-10T23:59:59.000Z

119

Specific test and evaluation plan  

SciTech Connect

The purpose of this Specific Test and Evaluation Plan (STEP) is to provide a detailed written plan for the systematic testing of modifications made to the 241-AX-B Valve Pit by the W-314 Project. The STEP develops the outline for test procedures that verify the system`s performance to the established Project design criteria. The STEP is a lower tier document based on the W-314 Test and Evaluation Plan (TEP). Testing includes Validations and Verifications (e.g., Commercial Grade Item Dedication activities), Factory Acceptance Tests (FATs), installation tests and inspections, Construction Acceptance Tests (CATs), Acceptance Test Procedures (ATPs), Pre-Operational Test Procedures (POTPs), and Operational Test Procedures (OTPs). It should be noted that POTPs are not required for testing of the transfer line addition. The STEP will be utilized in conjunction with the TEP for verification and validation.

Hays, W.H.

1998-03-20T23:59:59.000Z

120

Alternative Fuels Data Center: E85 Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

E85 Specifications to E85 Specifications to someone by E-mail Share Alternative Fuels Data Center: E85 Specifications on Facebook Tweet about Alternative Fuels Data Center: E85 Specifications on Twitter Bookmark Alternative Fuels Data Center: E85 Specifications on Google Bookmark Alternative Fuels Data Center: E85 Specifications on Delicious Rank Alternative Fuels Data Center: E85 Specifications on Digg Find More places to share Alternative Fuels Data Center: E85 Specifications on AddThis.com... More in this section... Ethanol Basics Blends Specifications Production & Distribution Feedstocks Related Links Benefits & Considerations Stations Vehicles Laws & Incentives E85 Specifications ASTM International developed specifications for E85-a gasoline-ethanol blend containing 51% to 83% ethanol-to ensure proper vehicle starting,

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


121

A Simulator for Timed CSP  

E-Print Network (OSTI)

Time is an integral aspect of computer systems. It is essential for modelling a systems performance, but may also affect its safety or security. Timed CSP [Sch00] conservatively extends the process algebra CSP with timed primitives, where real numbers ? 0 model how time passes with reference to a single, conceptually global, clock. While there have been approaches for model checking Timed CSP ([Sch00, DHSZ06]), to the best of our knowledge we are the first to present a simulator for Timed CSP. Here, we restrict time to rational values only. Theoretically, this limits the expressibility of the language. Practically, this limitation turns out to be negligible (for instance all examples of Schneiders book [Sch00] can be dealt with in our simulator). The simulator is the outcome of an undergraduate project at Swansea University [Dra11]. Our Timed CSP simulator extends the open source tool ProB [Leu]. ProBs CSP simulator works as follows: The CSP specification is analyzed by a parser (written in Haskell) and translated to a representation in Prolog. A CSP Interpreter (in Prolog) stores the firing rules of CSPs operational semantics. The Simulator (also in Prolog) determines the actions available and the resultant states. A GUI (written in Tcl/Tk) allows the user to interact with the Simulator. Timed CSP is closed under rational time [DNR11]. Consider, for example, the following firing rule ( t ? stands for a timed transition of duration t): P d? ? P ? (P ?d Q) d?

Marc Dragon; Andy Gimblett; Markus Roggenbach; Jens Bendisposto; Cliff Jones; Michael Leuschel; Er Romanovsky; Tiziana Margaria; Julia Padberg; Gabriele Taentzer; Marc Dragon; Andy Gimblett; Markus Roggenbach

2011-01-01T23:59:59.000Z

122

Time and Frequency Portal  

Science Conference Proceedings (OSTI)

NIST Home > Time and Frequency Portal. Time and Frequency Portal. Programs and Projects. CODATA values of the fundamental constants ...

2013-06-27T23:59:59.000Z

123

Time Series and Forecasting  

Science Conference Proceedings (OSTI)

Time Series and Forecasting. Leigh, Stefan and Perlman, S. (1991). "An Index for Comovement of Time Sequences With ...

124

SVG web environment for z specification language  

Science Conference Proceedings (OSTI)

This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z specification language. ... Keywords: Z formal specification language, scalable vector graphics, web based tool support

Jing Sun; Hai Wang; Sasanka Athauda; Tazkiya Sheik

2005-11-01T23:59:59.000Z

125

Dielectric Analog Space-Times  

E-Print Network (OSTI)

We generalize the notion of a dielectric analog Schwarzschild black hole model to analog models of arbitrary space-times; in particular, the approach is not restricted to static space-times. This is done by establishing a correspondence between electrodynamics on a curved, vacuum manifold, with electrodynamics in a general linear dielectric residing in Minkowski space-time. The mapping is not unique, allowing for some freedom in the specification of equivalent materials, which could be useful for exploiting recent developments in the production of metamaterials. Some examples are considered, with special attention paid to the dielectric analog of the exterior Kerr geometry, which is found to be reproducible with regular, linear, dielectrics.

Robert T. Thompson; Jrg Frauendiener

2010-10-08T23:59:59.000Z

126

Alternative Fuels Data Center: ASTM Biodiesel Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

ASTM Biodiesel ASTM Biodiesel Specifications to someone by E-mail Share Alternative Fuels Data Center: ASTM Biodiesel Specifications on Facebook Tweet about Alternative Fuels Data Center: ASTM Biodiesel Specifications on Twitter Bookmark Alternative Fuels Data Center: ASTM Biodiesel Specifications on Google Bookmark Alternative Fuels Data Center: ASTM Biodiesel Specifications on Delicious Rank Alternative Fuels Data Center: ASTM Biodiesel Specifications on Digg Find More places to share Alternative Fuels Data Center: ASTM Biodiesel Specifications on AddThis.com... More in this section... Biodiesel Basics Blends Production & Distribution Specifications Related Links Benefits & Considerations Stations Vehicles Laws & Incentives ASTM Biodiesel Specifications These tables show selected ASTM requirements for B100 and B6 to B20. Note

127

Alternative Fuels Data Center: Hydrogen Fuel Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

Hydrogen Fuel Hydrogen Fuel Specifications to someone by E-mail Share Alternative Fuels Data Center: Hydrogen Fuel Specifications on Facebook Tweet about Alternative Fuels Data Center: Hydrogen Fuel Specifications on Twitter Bookmark Alternative Fuels Data Center: Hydrogen Fuel Specifications on Google Bookmark Alternative Fuels Data Center: Hydrogen Fuel Specifications on Delicious Rank Alternative Fuels Data Center: Hydrogen Fuel Specifications on Digg Find More places to share Alternative Fuels Data Center: Hydrogen Fuel Specifications on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Hydrogen Fuel Specifications The California Department of Food and Agriculture, Division of Measurement Standards (DMS) established interim specifications for hydrogen fuels for

128

Quantum mechanics of time travel through post-selected teleportation  

E-Print Network (OSTI)

This paper discusses the quantum mechanics of closed-timelike curves (CTCs) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum description of CTCs based ...

Maccone, Lorenzo

129

Atmosphere Response Time Scales Estimated from AOGCM Experiments  

Science Conference Proceedings (OSTI)

The global-mean surface air temperature response of the climate system to a specific radiative forcing shows characteristic time scales. Identifying these time scales and their corresponding amplitudes (climate sensitivity) allows one to ...

D. J. L. Olivi; G. P. Peters; D. Saint-Martin

2012-11-01T23:59:59.000Z

130

Runtime verification of object lifetime specifications  

E-Print Network (OSTI)

This thesis reports on the implementation of a runtime verification system for object lifetime specifications. This system is used to explore and evaluate the expressiveness object lifetime specifications. Object lifetime ...

Benjamin, Zev (Zev A.)

2009-01-01T23:59:59.000Z

131

Specific Energy Consumption in Anode Bake Furnaces  

Science Conference Proceedings (OSTI)

About this Abstract. Meeting, 2010 TMS Annual Meeting & Exhibition. Symposium , Electrode Technology for Aluminum Production. Presentation Title, Specific...

132

Risk-Managed Technical Specifications (RMTS) Guidelines  

Science Conference Proceedings (OSTI)

EPRI has assessed the role of probabilistic risk assessment (PRA) in the regulation of nuclear power plant technical specifications. This report presents nuclear utilities with a framework and associated general guidance for implementing risk managed technical specifications (RMTS) as a partial replacement of existing technical specifications. This report was prepared for EPRI with extensive technical input and review by the Nuclear Energy Institute (NEI) Risk-Informed Technical Specifications Task Force...

2005-12-01T23:59:59.000Z

133

Natural Language Specification of Performance Trees  

Science Conference Proceedings (OSTI)

The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query specification with the expressive power and flexibility of the Performance ... Keywords: Natural language, Performance Trees, Performance analysis, Performance requirements specification

Lei Wang; Nicholas J. Dingle; William J. Knottenbelt

2008-08-01T23:59:59.000Z

134

Compiling for time predictability  

Science Conference Proceedings (OSTI)

Within the T-CREST project we work on hardware/software architectures and code-generation strategies for time-predictable embedded and cyber-physical systems. In this paper we present the single-path code generation approach that we plan to explore and ... Keywords: compilers, real-time systems, time predictability, worst-case execution-time analysis

Peter Puschner; Raimund Kirner; Benedikt Huber; Daniel Prokesch

2012-09-01T23:59:59.000Z

135

Certifying execution time  

Science Conference Proceedings (OSTI)

In this paper we present the framework Abstraction-Carrying CodE Platform for Timing validation (ACCEPT), designed for timing analysis of embedded real-time systems using the worst-case execution time (WCET) as the safety parameter. In the context ...

Vtor Rodrigues; Joo Pedro Pedroso; Mrio Florido; Simo Melo de Sousa

2011-05-01T23:59:59.000Z

136

Formal hardware specification languages for protocol compliance verification  

Science Conference Proceedings (OSTI)

The advent of the system-on-chip and intellectual property hardware design paradigms makes protocol compliance verification increasingly important to the success of a project. One of the central tools in any verification project is the modeling language, ... Keywords: Esterel, Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Java, Lava, Live Sequence Charts, Message Sequence Charts, Objective VHDL, OpenVera, Property Specification Language, SpecC, Specification and Description Language, Statecharts, SystemC, SystemVerilog, The Unified Modeling Language, e, hardware monitors, timing diagrams

Annette Bunker; Ganesh Gopalakrishnan; Sally A. Mckee

2004-01-01T23:59:59.000Z

137

Lighting technology specifications for relighting federal buildings  

SciTech Connect

Under a Federal Relighting Initiative (FRI) project, a set of Master Lighting Technology Specifications was developed for use by the Federal sector in relighting buildings. The specifications were to cover all major lighting technologies. The initial set was developed and issued for extensive peer review in December 1991. Extensive comments were received from industry, Federal sector participants (DOD, GSA, NASA, DOE, etc.), national laboratories, professional lighting organizations, private lighting professionals, and recognized experts in the lighting community. The document underwent extensive revision and was reissued in June 1992 for a second round of peer review. The current FRI Lighting Technology Specifications are organized into two sections: (1) Technical Notes and (2) Master Specifications. The Technical Notes contain explanations that enable the users to understand the background and reasons for specification requirements. The Master Specifications are organized in the Construction Specifications Institute (CSI) format and are intended to form the basis for competitive bidding and contracting to undertake relighting initiatives.

Harris, L. [USDOE, Washington, DC (United States); Purcell, C. [Pacific Northwest Lab., Richland, WA (United States); Gordon, H. [Burt Hill Kosar Rittelmann Associates (United States); McKay, H. [McKay (Hayden) Lighting Design (United States)

1992-10-01T23:59:59.000Z

138

A formal framework for specification-based embedded real-time system engineering  

E-Print Network (OSTI)

The increasing size and complexity of modern software-intensive systems present novel challenges when engineering high-integrity artifacts within aggressive budgetary constraints. Among these challenges, ensuring confidence ...

Ouimet, Martin, 1975-

2008-01-01T23:59:59.000Z

139

Time-Resolved  

NLE Websites -- All DOE Office Websites (Extended Search)

Time-Resolved Time-Resolved Time-Resolved Print Of the four fundamental parameters that we use to perceive the physical world (energy, momentum, position, and time) three correspond to the three broad categories of synchrotron experimental measurement techniques: spectroscopy (energy), scattering (momentum), and imaging (position). The fourth parameter-time-can in principle be applied to all the techniques. At the ALS, many experiments can be carried out in real time, with data being recorded from the same sample as it changes over time. Some time-resolved experiments take advantage of the pulsed nature of the ALS's synchrotron radiation, which, like a strobe light, can capture a series of "snapshots" of a process that, when viewed sequentially, show us how a given process evolves over time. Other experiments simply require two pulses: one to "pump" energy into the sample system and a second to probe the system's excited state.

140

Evaluation of compost specifications for stormwater management  

E-Print Network (OSTI)

Urban development will continue to increase in Texas because of population growth and urban sprawl. Despite the desire for urbanization and expansion of the economy, this growth increases the amount of construction, which, if not properly managed, can increase non-point source pollution and threaten surface water quality. Therefore, Texas Department of Transportation (TxDOT) has approved and promoted the use of compost as a stormwater best management practice (BMP) during highway construction. The objectives of this study were to construct and calibrate an indoor rainfall simulator and to determine the effectiveness of using compost rather than conventional hydroseeding or topsoil to reduce erosion from disturbed soils. Runoff rates, interrill erosion, and interrill erodibility were determined and compared across five compost treatments following TxDOT specifications for compost applied as an erosion control and two control treatments of topsoil (TS) and hydroseeding (HS) applied at 5 cm depth. The simulator produced 89% uniformity using ten Veejet 80100 nozzles at a target rate of 100 mm h-1. The surface runoff was collected after 5 minutes of rainfall (first flush) and during the last 30 minutes of rainfall (steady-state). The first flush mean runoff for GUC-5 treatment was significantly higher than all other treatments. All other treatments; 50% woodchips and 50% compost blend (ECC-1.3, ECC-5), and hydroseeding (HS) had significantly lower runoff and erosion rates compared to topsoil (TS) and compost manufactured topsoil (CMT) at first flush and steady-state. Furthermore, there were no performance differences between 1.3 cm and 5 cm compost applications at first flush or steady-state. The results of this project indicate that particle size, soil moisture capabilities, and time at which rainfall is applied affect surface runoff. TxDOT specification of using ECC at 5 cm depth on a max of 3:1 slope should be reconsidered. An ECC application depth of 1.3 cm was effective in reducing first flush runoff and interrill erosion rates.

Birt, Lindsay Nicole

2007-05-01T23:59:59.000Z

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


141

Dye laser amplifier including a specifically designed diffuser assembly  

SciTech Connect

A large (high flow rate) dye laser amplifier in which a continuous replened supply of dye is excited by a first light beam, specifically a copper vapor laser beam, in order to amplify the intensity of a second different light beam, specifically a dye beam, passing through the dye is disclosed herein. This amplifier includes a dye cell defining a dye chamber through which a continuous stream of dye is caused to pass at a relatively high flow rate and a specifically designed diffuser assembly for slowing down the flow of dye while, at the same time, assuring that as the dye stream flows through the diffuser assembly it does so in a stable manner.

Davin, James (Gilroy, CA); Johnston, James P. (Stanford, CA)

1992-01-01T23:59:59.000Z

142

Managing time, part 2  

Science Conference Proceedings (OSTI)

Masterful time management means not just tracking of messages in your personal environment, but managing your coordination network with others.

Peter J. Denning; Ritu Raj

2011-09-01T23:59:59.000Z

143

FREQUENCY AND TIME  

Science Conference Proceedings (OSTI)

... STRATWARM observed and FLARES expected ... observed and PROTON FLARE expected (- - ) STRATWARM ... time of observed solar or geophysical ...

2003-01-30T23:59:59.000Z

144

QuickTime VR  

Science Conference Proceedings (OSTI)

QuickTime VR. Christine Piatko and Sandy Ressler. ... Sandy Ressler's Office. Plant Floor of Black & Decker in Fayetteville NC. ...

145

Independent Specific Administrative Controls Review, Richland Operations  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Independent Specific Administrative Controls Review, Richland Independent Specific Administrative Controls Review, Richland Operations Office - December 2010 Independent Specific Administrative Controls Review, Richland Operations Office - December 2010 December 2010 Specific Administrative Controls Review with the Office of Environmental Management at DOE-Richland Operations Office The U.S. Department of Energy (DOE) Office of Independent Oversight, within the Office of Health, Safety and Security, participated in the Office of Environmental Management Office of Standards and Quality Assurance, EM-23, review of Specific Administrative Controls (SAC) at the Hanford Site. The EM-23 review included selected programs at the Hanford Site that are under the auspices of the DOE Richland Operations Office. Independent Specific Administrative Controls Review, Richland Operations

146

Noncommutative Two Time Physics  

E-Print Network (OSTI)

We present a classical formalism describing two-time physics with Abelian canonical gauge field backgrounds. The formalism can be used as a starting point for the construction of an interacting quantized two-time physics theory in a noncommutative soace-time.

W. Chagas-Filho

2006-04-03T23:59:59.000Z

147

Modular Communication Interface Specification for Demand Response  

Science Conference Proceedings (OSTI)

This report contains a technical specification for a modular interface for residential appliances that enables them to be compatible with any utility communication system through the use of customer-installable plug-in communication modules. This specification is the result of collaboration between utilities, appliance makers, communication system providers, demand response service providers, and trade organizations. The specification details the mechanical, electrical, and logical characteristics of a s...

2011-08-31T23:59:59.000Z

148

Methods for chromosome-specific staining  

DOE Patents (OSTI)

Methods and compositions for chromosome-specific staining are provided. Compositions comprise heterogeneous mixtures of labeled nucleic acid fragments having substantially complementary base sequences to unique sequence regions of the chromosomal DNA for which their associated staining reagent is specific. Methods include ways for making the chromosome-specific staining compositions of the invention, and methods for applying the staining compositions to chromosomes. 3 figs.

Gray, J.W.; Pinkel, D.

1995-09-05T23:59:59.000Z

149

Risk-Managed Technical Specifications (RMTS) Guidelines  

Science Conference Proceedings (OSTI)

The Electric Power Research Institute (EPRI) has assessed the role of probabilistic risk assessment (PRA) in the regulation of nuclear power station Technical Specifications. This report presents nuclear utilities with a framework and associated general guidance for implementing Risk-Managed Technical Specifications (RMTS) as a partial replacement for existing Technical Specifications. This report was prepared for EPRI with extensive technical input and review by the Nuclear Energy Institute (NEI) Risk-I...

2006-12-01T23:59:59.000Z

150

Automated testing using executable formal specifications  

Science Conference Proceedings (OSTI)

A new method is presented for the automated random generation of valid content-sensitive test data and corresponding oracle information. The process takes as input a specification of the program under test, expressed as a functional program, and produces ... Keywords: automated program testing, automated random test data generation, automatic testing, computer aided software engineering, executable formal specifications, formal specification, functional program, oracle information, output test cases, program testing, valid content-sensitive test data, valid input space

N. Sanders

1996-01-01T23:59:59.000Z

151

Low Specific Activity (LSA) | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Low Specific Activity (LSA) Low Specific Activity (LSA) Low Specific Activity (LSA) This scenario provides the planning instructions, guidance, and evaluation forms necessary to conduct an exercise involving a highway shipment of Low Specific Activity (LSA) material. This exercise manual is one in a series of five scenarios developed by the Department of Energy Transportation Emergency Preparedness Program. Responding agencies may include several or more of the following: local municipal and county fire, police, sheriff, and Emergency Medical Services (EMS) personnel; state, local, and federal emergency response teams; emergency response contractors; and other emergency response resources that could potentially be provided by the carrier and the originating facility (shipper).

152

Legacy Management Specific Training | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Legacy Management Specific Training Legacy Management Specific Training Legacy Management Specific Training Registration Information The following courses are specific to Legacy Management Employees, for more information about the courses below or to register for any of these courses please contact Chequita Johnson. Mandatory Training ECOMM, Environmental-Related External Communication (E-COMM) Tracking System GPP101, Management of Government Personal Property RM 102, Basic Records Management Training (DOE) Training at All LM Site Offices EC 100, Environmental Management System General Awareness (DOE) ER 200, Site Emergency Preparedness [All sites except Grand Junction] SC 105, Security Awareness Briefing Washington, DC HQ Mini Coop Briefing Fernald, OH FE110, Fernald Preserve Site Awareness Briefing

153

Specifically Designed Constructed Wetlands; A Novel Treatment...  

NLE Websites -- All DOE Office Websites (Extended Search)

Generic parameters such as biochemical oxygen demand (BOD) and chemical oxygen demand (COD) may also be targeted constituents for treatment. The specific targeted constituents...

154

Solar Water Heating: SPECIFICATION, CHECKLIST AND GUIDE  

NLE Websites -- All DOE Office Websites (Extended Search)

to meet the elements of these specifications but are constructing multifamily buildings, flat roof residential structures, or buildings without attic access, or using alternatives...

155

Specifications - The Security Content Automation Protocol ...  

Science Conference Proceedings (OSTI)

... Platform Enumeration Version: 2.3 Web site: http://scap.nist.gov/specifications/ cpe Contact Email: cpe@nist.gov Official Dictionary: https://nvd.nist ...

2013-08-12T23:59:59.000Z

156

Urban Electric Vehicle (UEV) Technical Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

2 UEV AMERICA January 1, 2003 TECHNICAL SPECIFICATIONS (14) The controllerinverter shall control the minimum traction battery discharge voltage to prevent degradation...

157

SG Network System Requirements Specification- Interim Release...  

NLE Websites -- All DOE Office Websites (Extended Search)

Specification- Interim Release 3 This document has been created to support NIST Smart Grid Interoperability Priority Action Plans (PAP) 1 & 2 and provide Utilities,...

158

Quantum Operation Time Reversal  

E-Print Network (OSTI)

The dynamics of an open quantum system can be described by a quantum operation, a linear, complete positive map of operators. Here, I exhibit a compact expression for the time reversal of a quantum operation, which is closely analogous to the time reversal of a classical Markov transition matrix. Since open quantum dynamics are stochastic, and not, in general, deterministic, the time reversal is not, in general, an inversion of the dynamics. Rather, the system relaxes towards equilibrium in both the forward and reverse time directions. The probability of a quantum trajectory and the conjugate, time reversed trajectory are related by the heat exchanged with the environment.

Crooks, Gavin E

2007-01-01T23:59:59.000Z

159

Quantum Operation Time Reversal  

E-Print Network (OSTI)

The dynamics of an open quantum system can be described by a quantum operation, a linear, complete positive map of operators. Here, I exhibit a compact expression for the time reversal of a quantum operation, which is closely analogous to the time reversal of a classical Markov transition matrix. Since open quantum dynamics are stochastic, and not, in general, deterministic, the time reversal is not, in general, an inversion of the dynamics. Rather, the system relaxes towards equilibrium in both the forward and reverse time directions. The probability of a quantum trajectory and the conjugate, time reversed trajectory are related by the heat exchanged with the environment.

Gavin E. Crooks

2007-06-26T23:59:59.000Z

160

Checking JML specifications using an extensible software model checking framework  

E-Print Network (OSTI)

Abstract. The use of assertions to express correctness properties of programs is growing in practice. Assertions provide a form of lightweight checkable specification that can be very effective in finding defects in programs and in guiding developers to the cause of a problem. A wide variety of assertion languages and associated validation techniques have been developed, but run-time monitoring is commonly thought to be the only practical solution. In this paper, we describe how specifications written in the Java Modeling Language (JML), a general purpose behavioral specification and assertional language for Java, can be validated using a customized model checker built on top of the Bogor model checking framework. Our experience illustrates the need for customized state-space representations and reduction strategies in model checking frameworks in order to effectively check the kind of strong behavioral specifications that can be written in JML. We discuss the advantages and trade-offs of model checking relative to other specification validation techniques and present data that suggest that

Edwin Rodrguez; Matthew B. Dwyer

2006-01-01T23:59:59.000Z

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


161

Specification and modeling: an academic perspective  

Science Conference Proceedings (OSTI)

The specification and modeling of software systems, of their aspects, and their development processes is at the heart of software engineering. Over the years, we have achieved a much deeper and more comprehensive understanding of software and its ... Keywords: modeling, quality assurance, requirements engineering, specification, tool support

Manfred Broy

2001-07-01T23:59:59.000Z

162

Model Checking Complete Requirements Specifications Using Abstraction  

Science Conference Proceedings (OSTI)

Although model checking has proven remarkably effective in detecting errors in hardware designs, its success in the analysis of software specifications has been limited. Model checking algorithms for hardware verification commonly use Binary Decision ... Keywords: SCR, abstraction, model checking, requirements specification, verification

Ramesh Bharadwaj; Constance L. Heitmeyer

1999-01-01T23:59:59.000Z

163

Integrating software specifications into intrusion detection  

Science Conference Proceedings (OSTI)

There exist a number of Intrusion Detection Systems (IDSs) that detect computer attacks based on some defined attack scenarios. The attack scenarios or security requirements in some of these IDSs are specified in attack specification languages that are ... Keywords: Attack scenarios, Intrusion detection, Software specification languages, State machines

Mohammad Zulkernine; Mathews Graves; Muhammad Umair Ahmed Khan

2007-08-01T23:59:59.000Z

164

Property:Event/Time | Open Energy Information  

Open Energy Info (EERE)

Time Time Jump to: navigation, search Property Name Event/Time Property Type String Description The time an event occurs. For events which span an entire day, please use 'All Day'. When entering a specific time, please be sure to include the timezone information, for example: '2:45 PM MDT' or '10:00 AM GST'. Pages using the property "Event/Time" Showing 25 pages using this property. (previous 25) (next 25) A April Fool's Day + All Day + B Blane Harvey co-facilitating a session on use of climate decision making tools with CARE and Tearfund + 13:00-14:00 + Blane Harvey facilitating a lunchtime session on Indigenous Knowledge and Adaptation + 13:00-14:00 + Blane Harvey facilitating a lunchtime session on knowledge platforms and online communities of practice + 13:00-14:00 +

165

On the Time Times Temperature Bound  

E-Print Network (OSTI)

Recently Hod proposes a lower bound on the relaxation time of a perturbed thermodynamic system. For gravitational systems this bound transforms into a condition on the fundamental quasinormal frequency. We test the bound in some spacetimes whose quasinormal frequencies are calculated exactly, as the three-dimensional BTZ black hole, the D-dimensional de Sitter spacetime, and the D-dimensional Nariai spacetime. We find that for some of these spacetimes their fundamental quasinormal frequencies do not satisfy the bound proposed by Hod.

A. Lopez-Ortega

2010-06-28T23:59:59.000Z

166

End Points Specification Methods | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

End Points Specification Methods End Points Specification Methods End Points Specification Methods Two methods to develop end point specifications are presented. These have evolved from use in the field for deactivation projects. The hierarchical method is systematic, comprehensive, and completely defensible as to the basis for each specification. This method may appear complex to the uninitiated, but it is a straightforward application of a systematic engineering approach. It is labor intensive only during the final stage. This method is appropriate to the type of project involving a complex facility that contains process systems and a variety of contaminated areas or other hazards. The checklist method is an approach that is more appropriate to facilities which require less detailed planning, such as for industrial

167

What Time is It?  

Science Conference Proceedings (OSTI)

... These are sometimes marketed as "atomic clocks", but ... problems include incorrectly setting your local time zone on the clock, batteries that need ...

2011-01-19T23:59:59.000Z

168

TIME CALIBRATED OSCILLOSCOPE SWEEP  

DOE Patents (OSTI)

The time calibrator of an electric signal displayed on an oscilloscope is described. In contrast to the conventional technique of using time-calibrated divisions on the face of the oscilloscope, this invention provides means for directly superimposing equal time spaced markers upon a signal displayed upon an oscilloscope. More explicitly, the present invention includes generally a generator for developing a linear saw-tooth voltage and a circuit for combining a high-frequency sinusoidal voltage of a suitable amplitude and frequency with the saw-tooth voltage to produce a resultant sweep deflection voltage having a wave shape which is substantially linear with respect to time between equal time spaced incremental plateau regions occurring once each cycle of the sinusoidal voltage. The foregoing sweep voltage when applied to the horizontal deflection plates in combination with a signal to be observed applied to the vertical deflection plates of a cathode ray oscilloscope produces an image on the viewing screen which is essentially a display of the signal to be observed with respect to time. Intensified spots, or certain other conspicuous indications corresponding to the equal time spaced plateau regions of said sweep voltage, appear superimposed upon said displayed signal, which indications are therefore suitable for direct time calibration purposes.

Owren, H.M.; Johnson, B.M.; Smith, V.L.

1958-04-22T23:59:59.000Z

169

Real-time shading  

Science Conference Proceedings (OSTI)

Real-time procedural shading was once seen as a distant dream. When the first version of this course was offered four years ago, real-time shading was possible, but only with one-of-a-kind hardware or by combining the effects of tens to hundreds of rendering ...

Marc Olano; Kurt Akeley; John C. Hart; Wolfgang Heidrich; Michael McCool; Jason L. Mitchell; Randi Rost

2004-08-01T23:59:59.000Z

170

Semantics, experience and time  

Science Conference Proceedings (OSTI)

The computational hypothesis, with its inherent representationalism, and the dynamical hypothesis, with its apparent absence of representations and its commitment to continuous time, stand at an impasse. It is unclear how the dynamical stance can handle ... Keywords: Computation, Experience, Invariance, Semantics, Situatedness, Time

Stephen E. Robbins

2002-09-01T23:59:59.000Z

171

1. First Time Designer's Guide  

E-Print Network (OSTI)

Altera provides various tools for development of hardware and software for embedded systems. This handbook complements the primary documentation for these tools by describing how to most effectively use some of these tools. It recommends design styles and practices for developing, debugging, and optimizing embedded systems using Altera-provided tools such as the Software Build Tools for Eclipse and SOPC Builder. The handbook introduces concepts to new users of Alteras embedded solutions, and helps to increase the design efficiency of the experienced user. This handbook is not a comprehensive reference guide. For general reference and detailed information, refer to the primary documentation cited in this handbook. This first chapter of the handbook contains information about the Altera embedded development process and procedures for the first time user. The remaining chapters focus on specific aspects of embedded development for Altera FPGAs. This handbook does not provide information about the Qsys system integration tool.

unknown authors

2011-01-01T23:59:59.000Z

172

TIMING OF SHOCK WAVES  

DOE Patents (OSTI)

This patent relates to means for ascertaining the instant of arrival of a shock wave in an exploslve charge and apparatus utilizing this means to coordinate the timing of two operations involving a short lnterval of time. A pair of spaced electrodes are inserted along the line of an explosive train with a voltage applied there-across which is insufficient to cause discharge. When it is desired to initiate operation of a device at the time the explosive shock wave reaches a particular point on the explosive line, the device having an inherent time delay, the electrodes are located ahead of the point such that the ionization of the area between the electrodes caused by the traveling explosive shock wave sends a signal to initiate operation of the device to cause it to operate at the proper time. The operated device may be photographic equipment consisting of an x-ray illuminating tube.

Tuck, J.L.

1955-03-01T23:59:59.000Z

173

Bayesian dynamic models for space-time point processes  

Science Conference Proceedings (OSTI)

In this work we propose a model for the intensity of a space-time point process, specified by a sequence of spatial surfaces that evolve dynamically in time. This specification allows flexible structures for the components of the model, in order to handle ... Keywords: Bayesian inference, Disease mapping, Dynamic models, Integrated Laplace, Monte Carlo Markov chain, Space-time point processes

Edna A. Reis; Dani Gamerman; Marina S. Paez; Thiago G. Martins

2013-04-01T23:59:59.000Z

174

Optimal Real-time Dispatch for Integrated Energy Systems  

E-Print Network (OSTI)

In these figures the real-time price is plotted on the rightto 6:00 PM 7.2.4.3 Real-time Prices City specific hourlyIn these figures the real-time price is plotted on the right

Firestone, Ryan Michael

2007-01-01T23:59:59.000Z

175

A timed-release key management scheme for backward recovery  

Science Conference Proceedings (OSTI)

The timed-release encryption scheme is to encrypt a message so that a ciphertext can be decrypted when specific time in the future comes. Recently, interesting constructions of the timed-release encryption scheme have been proposed. The central concept ...

Maki Yoshida; Shigeo Mitsunari; Toru Fujiwara

2005-12-01T23:59:59.000Z

176

VIN# JTNBB46K773007129 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

K773007129 Vehicle Specifications Engine: 2.4 L 4-cylinder Electric Motor: 105 kW Battery: NiMH Seatbelt Positions: Five Payload: 1,109 lbs Features: Four-wheel disk brakes ABS w...

177

VIN# JHMFA36216S019329 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

16S019329 Vehicle Specifications Engine: 1.3 L 4-cylinder Electric Motor: 15 kW Battery: NiMH Seatbelt Positions: Five Payload: 968 lbs Features: Front disk brakes wEBD brake...

178

VIN# JTNBB46K673006330 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

K673006330 Vehicle Specifications Engine: 2.4 L 4-cylinder Electric Motor: 105 kW Battery: NiMH Seatbelt Positions: Five Payload: 1,109 lbs Features: Four-wheel disk brakes ABS w...

179

VIN# JHMFA36246S018725 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

46S018725 Vehicle Specifications Engine: 1.3 L 4-cylinder Electric Motor: 15 kW Battery: NiMH Seatbelt Positions: Five Payload: 968 lbs Features: Front disk brakes wEBD brake...

180

FTCP Site Specific Information - NNSA Headquarters | Department...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

NNSA Headquarters FTCP Site Specific Information - NNSA Headquarters FTCP Agent Organization Name Phone E-Mail NNSA HQ Ike White 202586-8214 William.white@nnsa.doe.gov Annual...

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


181

Specification of United States Summer Season Precipitation  

Science Conference Proceedings (OSTI)

The specification of summer season precipitation in the contiguous United States from summer season fields of 700 mb height, sea level pressure (SLP) and Pacific sea surface temperature (SST) was carried out using stepwise multiple linear ...

John R. Lanzante; Robert P. Harnack

1982-12-01T23:59:59.000Z

182

Technical requirements specification for tank waste retrieval  

Science Conference Proceedings (OSTI)

This document provides the technical requirements specification for the retrieval of waste from the underground storage tanks at the Hanford Site. All activities covered by this scope are conducted in support of the Tank Waste Remediation System (TWRS) mission.

Lamberd, D.L.

1996-09-26T23:59:59.000Z

183

Specification of Wintertime North American Surface Temperature  

Science Conference Proceedings (OSTI)

The extent to which wintertime North American surface temperature can be specified based on simultaneous sea surface temperature (SST) is quantified for the period 198298. The term specification indicates that the predictor and predictands are ...

Timothy DelSole; J. Shukla

2006-06-01T23:59:59.000Z

184

VIN# JTDKB20U740012721 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Toyota Prius VIN JTDKB20U740012721 Vehicle Specifications Engine: 1.5 L 4-cylinder Electric Motor: 50 kW Battery: NiMH Seatbelt Positions: Five Payload: 905 lbs Features: CVT...

185

Stepwise specification of dynamic database behaviour  

Science Conference Proceedings (OSTI)

This paper presents a methodology for the stepwise specification of dynamic database behaviour. A conceptual schema is described in three levels: data, objects and transactions. To determine which sequences of database states are admissible, ...

Udo W. Lipeck

1986-06-01T23:59:59.000Z

186

Double Shell Tank (DST) Utilities Specification  

SciTech Connect

This specification establishes the performance requirements and provides the references to the requisite codes and standards to he applied during the design of the Double-Shell Tank (DST) Utilities Subsystems that support the first phase of waste feed delivery (WFD). The DST Utilities Subsystems provide electrical power, raw/potable water, and service/instrument air to the equipment and structures used to transfer low-activity waste (LAW) and high-level waste (HLW) to designated DST staging tanks. The DST Utilities Subsystems also support the equipment and structures used to deliver blended LAW and HLW feed from these staging tanks to the River Protection Project (RPP) Privatization Contractor facility where the waste will be immobilized. This specification is intended to be the basis for new projects/installations. This specification is not intended to retroactively affect previously established project design criteria without specific direction by the program.

SUSIENE, W.T.

2000-04-27T23:59:59.000Z

187

VEHICLE DETAILS, BATTERY DESCRIPTION AND SPECIFICATIONS Vehicle...  

NLE Websites -- All DOE Office Websites (Extended Search)

Page 1 VEHICLE DETAILS, BATTERY DESCRIPTION AND SPECIFICATIONS Vehicle Details Base Vehicle: 2011 Nissan Leaf VIN: JN1AZ0CP5BT000356 Propulsion System: BEV Electric Machine: 80 kW...

188

Vehicle Specifications Battery Type: Li-Ion  

NLE Websites -- All DOE Office Websites (Extended Search)

1 All-Electric Conversion of the USPS Long Life Vehicle (LLV) Vehicle Specifications Battery Type: Li-Ion Pack Locations: Underbody (inboard of frame rails) Nominal System Voltage:...

189

AOCS Specification H 20-11  

Science Conference Proceedings (OSTI)

Standard Test Sieves AOCS Specification H 20-11 5562E937344C9B92B7CA1C4FA0E4B065 DEFINITION Not applicable SCOPE Not applicable AOCS

190

Digital time delay  

DOE Patents (OSTI)

Method and apparatus are provided for generating an output pulse following a trigger pulse at a time delay interval preset with a resolution which is high relative to a low resolution available from supplied clock pulses. A first lumped constant delay provides a first output signal at predetermined interpolation intervals corresponding to the desired high resolution time interval. Latching circuits latch the high resolution data to form a first synchronizing data set. A selected time interval has been preset to internal counters and corrected for circuit propagation delay times having the same order of magnitude as the desired high resolution. Internal system clock pulses count down the counters to generate an internal pulse delayed by an internal which is functionally related to the preset time interval. A second LCD corrects the internal signal with the high resolution time delay. A second internal pulse is then applied to a third LCD to generate a second set of synchronizing data which is complementary with the first set of synchronizing data for presentation to logic circuits. The logic circuits further delay the internal output signal with the internal pulses. The final delayed output signal thereafter enables the output pulse generator to produce the desired output pulse at the preset time delay interval following input of the trigger pulse.

Martin, A.D.

1986-05-09T23:59:59.000Z

191

Better Buildings Alliance Equipment Performance Specifications  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

BBA Equipment Performance BBA Equipment Performance Specifications William Goetzler Navigant Consulting william.goetzler@navigant.com (781) 270 8351 April 4, 2013 Better Buildings Alliance BTO Program Review 2 | Building Technologies Office eere.energy.gov Project Overview The BBA Performance Specifications project provides information and tools to help BBA members and other commercial building owners/operators specify and purchase high efficiency equipment. - Ensures targeted technologies are of interest to end users and manufacturers

192

Orlando Gasification Project Generic Design Specification  

Science Conference Proceedings (OSTI)

Integrated Gasification Combined Cycle (IGCC) technology is now entering commercial service, so there is a need to develop specifications that encourage greater standardization in IGCC design. This Generic Design Specification (GDS), sponsored by EPRI's CoalFleet for Tomorrow program with support from 50 power companies, provides technical information from Front End Engineering Design (FEED) results submitted by Southern Company Services to DOE regarding their Orlando Gasification Project (OGP), a 270 MW...

2008-05-12T23:59:59.000Z

193

NORMAL LOAD BEARING BY SITE SPECIFIC CANISTER  

Science Conference Proceedings (OSTI)

The overall purpose of this calculation is to perform a preliminary analysis of the Site Specific Canister/Basket, subject to static gravity loads that include the self weight of the Canister Shell, the Basket, the Spent Nuclear Fuel, the Shield Plug and the related hardware, so that the loads are approximately known for sizing purposes. Based on these loads the stress levels in various components of the Site Specific Canister/Basket are evaluated.

NA

2005-03-23T23:59:59.000Z

194

Alloy 690 Procurement Specification - Revision 1  

Science Conference Proceedings (OSTI)

The metallurgical characteristics of Alloy 690 can play a role in its resistance to primary water stress corrosion cracking (PWSCC) propensity and UT inspectibility. This specification guideline was created to provide guidance on the procurement of Alloy 690 to ensure that it has the metallurgical characteristics to optimize its PWSCC resistance and eliminate microstructure which could affect the Ultrasonic test (UT) inspectability of the material. The Alloy 690 procurement specification guideline ...

2012-10-11T23:59:59.000Z

195

Better Buildings Alliance Equipment Performance Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

BBA Equipment Performance BBA Equipment Performance Specifications William Goetzler Navigant Consulting william.goetzler@navigant.com (781) 270 8351 April 4, 2013 Better Buildings Alliance BTO Program Review 2 | Building Technologies Office eere.energy.gov Project Overview The BBA Performance Specifications project provides information and tools to help BBA members and other commercial building owners/operators specify and purchase high efficiency equipment. - Ensures targeted technologies are of interest to end users and manufacturers

196

Environment Induced Time Arrow  

E-Print Network (OSTI)

The spread of the time arrows from the environment to an observed subsystem is followed within a harmonic model. A similarity is pointed out between irreversibility and a phase with spontaneously broken symmetry. The causal structure of interaction might be lost in the irreversible case, as well. The Closed Time Path formalism is developed for classical systems and shown to handle the time arrow problem in a clear and flexible manner. The quantum case is considered, as well, and the common origin of irreversibility and decoherence is pointed out.

Janos Polonyi

2012-06-25T23:59:59.000Z

197

VARIABLE TIME DELAY MEANS  

DOE Patents (OSTI)

An electrically variable time delay line is described which may be readily controlled simuitaneously with variable impedance matching means coupied thereto such that reflections are prevented. Broadly, the delay line includes a signal winding about a magnetic core whose permeability is electrically variable. Inasmuch as the inductance of the line varies directly with the permeability, the time delay and characteristic impedance of the line both vary as the square root of the permeability. Consequently, impedance matching means may be varied similariy and simultaneously w:th the electrically variable permeability to match the line impedance over the entire range of time delay whereby reflections are prevented.

Clemensen, R.E.

1959-11-01T23:59:59.000Z

198

Time, energy & form  

E-Print Network (OSTI)

Physical manifestations of time occur in natural forms of all sizes. Architectural form serves as shelter while providing a built envelope of human life, simultaneously influencing and influenced by energetic activities ...

McInnis, Martha Jane

1982-01-01T23:59:59.000Z

199

Dogs and Time  

NLE Websites -- All DOE Office Websites (Extended Search)

Question: I travel often and worry how leaving for long periods of time (and boarding my dog) will affect her. I wouldn't think that dogs could understand the concept of...

200

Wood Use Across Time  

E-Print Network (OSTI)

?Forest products history and use ?Forest resource- the big picture ?Consumption- the big picture ?Trends forest products industry ? pulp & paper ? solid woodBack in Time ?1492 ? Columbus sailed the ocean blue! ? wood use- fuelwood American Indians ?1634: Jean Nicolet

Scott Bowe; United States Wood Use

2005-01-01T23:59:59.000Z

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


201

Technical Talks Timing  

NLE Websites -- All DOE Office Websites (Extended Search)

Talks Timing The technical talks should last a maximum of 15 minutes with 5 minutes for set-up and 5 minutes for Q&A. No teamgroup presentations are allowed. The objective of...

202

Automatic generation of executable communication specifications from parallel applications  

Science Conference Proceedings (OSTI)

Portable parallel benchmarks are widely used and highly effective for (a) the evaluation, analysis and procurement of high-performance computing (HPC) systems and (b) quantifying the potential benefits of porting applications for new hardware platforms. Yet, past techniques to synthetically parameterized hand-coded HPC benchmarks prove insufficient for today's rapidly-evolving scientific codes particularly when subject to multi-scale science modeling or when utilizing domain-specific libraries. To address these problems, this work contributes novel methods to automatically generate highly portable and customizable communication benchmarks from HPC applications. We utilize ScalaTrace, a lossless, yet scalable, parallel application tracing framework to collect selected aspects of the run-time behavior of HPC applications, including communication operations and execution time, while abstracting away the details of the computation proper. We subsequently generate benchmarks with identical run-time behavior from the collected traces. A unique feature of our approach is that we generate benchmarks in CONCEPTUAL, a domain-specific language that enables the expression of sophisticated communication patterns using a rich and easily understandable grammar yet compiles to ordinary C + MPI. Experimental results demonstrate that the generated benchmarks are able to preserve the run-time behavior - including both the communication pattern and the execution time - of the original applications. Such automated benchmark generation is particularly valuable for proprietary, export-controlled, or classified application codes: when supplied to a third party. Our auto-generated benchmarks ensure performance fidelity but without the risks associated with releasing the original code. This ability to automatically generate performance-accurate benchmarks from parallel applications is novel and without any precedence, to our knowledge.

Pakin, Scott [Los Alamos National Laboratory; Wu, Xing [NCSU; Mueller, Frank [NCSU

2011-01-19T23:59:59.000Z

203

Generating Scenarios of Local Surface Temperature Using Time Series Methods  

Science Conference Proceedings (OSTI)

A method for creating scenarios of time series of monthly mean surface temperature at a specific site is developed. It is postulated that surface temperature can be specified as a linear combination of regional and local temperature components, ...

Robert S. Chen; Peter J. Robinson

1991-07-01T23:59:59.000Z

204

Simulation-aided design and evaluation of flexible working times  

Science Conference Proceedings (OSTI)

The configuration of appropriate working time models can be a key factor in the success of both companies and employees. While such models can be used to adapt the available workforce to companies' specific requirements, there are also various disadvantages ...

Gert Zlch; Patricia Stock; Michael Leupold

2011-12-01T23:59:59.000Z

205

MJO Initiation in the Real-Time Multivariate MJO Index  

Science Conference Proceedings (OSTI)

MaddenJulian oscillation (MJO) initiation in the real-time multivariate MJO (RMM) index is explored through an analysis of observed case studies and composite events. Specific examples illustrate that both the dates of MJO initiation and the ...

Katherine H. Straub

2013-02-01T23:59:59.000Z

206

Towards An Integration Of Message Sequence Charts And Timed Maude  

Science Conference Proceedings (OSTI)

This paper is a step toward an integration of a graphical and a formal method and toward building a unifying specification formalism which can support different software views: functional, data, process, and time. In particular, we study the relation ...

P. Kosiuczensko; M. Wirsing

2001-01-01T23:59:59.000Z

207

Domain-specific abstractions and compiler transformations  

NLE Websites -- All DOE Office Websites (Extended Search)

Domain-specific abstractions and compiler Domain-specific abstractions and compiler transformations Domain-specific abstractions and compiler transformations March 4, 2013 sadayappan Saday Sadayappan Department of Computer Science and Engineering, Ohio State University Recent trends in architecture are making multicore parallelism as well as heterogeneity ubiquitous. This creates significant chalenges to application developers as well as compiler implementations. Currently it is virtually impossible to achieve performance portability of high-performance applications, i.e., develop a single version of source code for an application that achieves high performance on different parallel computer platforms. Different implementations of compute intensive core functions are generally needed for different target platforms, e.g., for multicore

208

AWS breaks new ground with soldering specification.  

DOE Green Energy (OSTI)

Joining technologies continue to advance with new materials, process innovations, and inspection techniques. An increasing number of high-valued, high-reliability applications -- from boilers and ship hulls to rocket motors and medical devices -- have required the development of industry standards and specifications in order to ensure that the best design and manufacturing practices are being used to produce safe, durable products and assemblies. Standards writing has always had an important role at the American Welding Society (AWS). The AWS standards and specifications cover such topics as filler materials, joining processes, inspection techniques, and qualification methods that are used in welding and brazing technologies. These AWS standards and specifications, all of which are approved by the American National Standards Institute (ANSI), have also provided the basis for many similar documents used in Europe and in Pacific Rim countries.

Vianco, Paul Thomas

2008-08-01T23:59:59.000Z

209

Microsoft Word - Appendix D - Site-Specific Checklist.docx  

Office of Legacy Management (LM)

D D Site-Specific Checklist 2 of _________ This page intentionally left blank LMS Project/Activity Evaluation-Rocky Flats Site Supplement (Attach to Form LMS 1005) This Supplement may be prepared at any time during planning process to document Action/Status. Action items must be completed before activity will be authorized to proceed on Plan of the Week/Day (POW/POD) Project/Activity Description: _______________________________ Project/Activity Leader: __________ Designated Reviewers: ________________________________________________________ (Each Designated Reviewer must initial above their name after input given) Review Item Yes No Action/Status Date item Completed/ Review Initials Is the activity prohibited by one or more ICs?

210

NSIT Computer Time Services: Internet Time Service (ITS) ...  

Science Conference Proceedings (OSTI)

Page 1. NIST Special Publication 250-59 NIST Computer Time Services: Internet Time Service (ITS), Automated Computer Time Service (ACTS), ...

2012-09-16T23:59:59.000Z

211

ENVIRONMENTAL MANAGEMENT SITE SPECIFIC ADVISORY BOARD  

NLE Websites -- All DOE Office Websites (Extended Search)

DEPARTMENT OF ENERGY DEPARTMENT OF ENERGY ENVIRONMENTAL MANAGEMENT SITE-SPECIFIC ADVISORY BOARD (EM SSAB) Savannah River Site Application No. (Please leave blank) ______________ MEMBERSHIP APPLICATION ________________________________________________________________________________________________ The EM SSAB provides meaningful opportunity for collaborative dialogue among the diverse communities at the Department of Energy (DOE) Environmental Management (EM) clean-up sites. At the request of the Assistant Secretary or the Site Manager/Assistant Manager for Environmental Management, the Board provides advice and recommendations concerning the following EM site-specific issues: clean-up standards and environmental restoration; waste management and disposition; stabilization and disposition of non-stockpile nuclear materials;

212

ENVIRONMENTAL MANAGEMENT SITE-SPECIFIC ADVISORY BOARD  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Washington, D.C. 20585 Washington, D.C. 20585 April 25, 2013 2 Environmental Management Site-Specific Advisory Board - April 25, 2013 Meeting Minutes LIST OF ACRONYMS AB - Advisory Board ANL - Argonne National Laboratory ARP - Accelerator Retrieval Project BNL - Brookhaven National Laboratory BRC - Blue Ribbon Commission CAB - Citizens Advisory Board D&D - Decontamination & Decommissioning DDFO - Deputy Designated Federal Officer DOE - Department of Energy DUF6 - Depleted Uranium Hexafluoride DWPF - Defense Waste Processing Facility EIS - Environmental Impact Statement EM - DOE Office of Environmental Management EM SSAB - DOE Office of Environmental Management Site-Specific Advisory Board EPA - U.S. Environmental Protection Agency FY - Fiscal Year

213

ACTIVITY SPECIFIC FIREARMS SAFETY PLAN FOR  

NLE Websites -- All DOE Office Websites (Extended Search)

Atmospheric Radiation Measurement Climate Research Facility/ Atmospheric Radiation Measurement Climate Research Facility/ North Slope of Alaska/Adjacent Arctic Ocean (ACRF/NSA/AAO) Activity Specific Firearm Safety Plan for ACRF/North Slope of Alaska Sandia National Laboratories Department 6383, Energy, Climate & Atmospheric Management ACRF/NSA/AAO Revision 14 Activity Specific Firearm Safety Plan for June 2010 ACRF/North Slope of Alaska Signature Page This safety plan is approved by the undersigned and includes the firearm and ammunition storage practices described in this document. Mark D Ivey ACRF/NSA/AAO Site Manager _________________________________Date: ______ Mark D Ivey Department 06339 Manager _________________________________Date: _______ Michael L Heister SNL Safety Engineer _________________________________Date:________

214

Specific complexation of metal oxo cations  

DOE Patents (OSTI)

The present invention relates to novel chelating agents for high molecular weight polyvalent metal oxo cations. Specifically, an improved chelating agent and an improved process of chelation is described to recognize specifically metal oxo cations using organic chelating agents that have a functional group to supply donor groups for metal coordination while simultaneously providing a different group to intramolecularly interact with the oxygen of the oxo group. More precisely, the invention relates to tripodal amine carboxylates useful to sequester uranyl and related metal oxo cations in aqueous solution, and is especially suitable for recovering such oxo cations from dilute aqueous solutions, e.g. seawater, mine runoff, processing waste streams, etc.

Raymond, K.N.; Franczyk, T.S.

1990-12-17T23:59:59.000Z

215

Engineered waste-package-system design specification  

Science Conference Proceedings (OSTI)

This report documents the waste package performance requirements and geologic and waste form data bases used in developing the conceptual designs for waste packages for salt, tuff, and basalt geologies. The data base reflects the latest geotechnical information on the geologic media of interest. The parameters or characteristics specified primarily cover spent fuel, defense high-level waste, and commercial high-level waste forms. The specification documents the direction taken during the conceptual design activity. A separate design specification will be developed prior to the start of the preliminary design activity.

Not Available

1983-05-01T23:59:59.000Z

216

Quantum tunneling time  

E-Print Network (OSTI)

A simple model of a quantum clock is applied to the old and controversial problem of how long a particle takes to tunnel through a quantum barrier. The model I employ has the advantage of yielding sensible results for energy eigenstates, and does not require the use of time-dependant wave packets. Although the treatment does not forbid superluminal tunneling velocities, there is no implication of faster-than-light signaling because only the transit duration is measurable, not the absolute time of transit. A comparison is given with the weak-measurement post-selection calculations of Steinberg.

P. C. W. Davies

2004-03-01T23:59:59.000Z

217

Determining size-specific emission factors for environmental tobacco smoke  

NLE Websites -- All DOE Office Websites (Extended Search)

Determining size-specific emission factors for environmental tobacco smoke Determining size-specific emission factors for environmental tobacco smoke particles Title Determining size-specific emission factors for environmental tobacco smoke particles Publication Type Journal Article Year of Publication 2003 Authors Klepeis, Neil E., Michael G. Apte, Lara A. Gundel, Richard G. Sextro, and William W. Nazaroff Journal Aerosol Science & Technology Volume 37 Start Page Chapter Pagination 780-790 Date Published October 2003 Abstract Because size is a major controlling factor for indoor airborne particle behavior, human particle exposure assessments will benefit from improved knowledge of size-specific particle emissions. We report a method of inferring size-specific mass emission factors for indoor sources that makes use of an indoor aerosol dynamics model, measured particle concentration time series data, and an optimization routine. This approach provides -- in addition to estimates of the emissions size distribution and integrated emission factors -- estimates of deposition rate, an enhanced understanding of particle dynamics, and information about model performance. We applied the method to size-specific environmental tobacco smoke (ETS) particle concentrations measured every minute with an 8-channel optical particle counter (PMS-LASAIR; 0.1-2+ micrometer diameters) and every 10 or 30 min with a 34-channel differential mobility particle sizer (TSI-DMPS; 0.01-1+ micrometer diameters) after a single cigarette or cigar was machine-smoked inside a low air-exchange rate 20m^3 chamber. The aerosol dynamics model provided good fits to observed concentrations when using optimized values of mass emission rate and deposition rate for each particle size range as input. Small discrepancies observed in the first 1-2 hours after smoking are likely due to the effect of particle evaporation, a process neglected by the model. Size-specific ETS particle emission factors were fit with log-normal distributions, yielding an average mass median diameter of 0.2 micrometers and an average geometric standard deviation of 2.3 with no systematic differences between cigars and cigarettes. The equivalent total particle emission rate, obtained by integrating each size distribution, was 0.2-0.7 mg/min for cigars and 0.7-0.9 mg/min for cigarettes

218

QUARK: Empirical Assessment of Automaton-based Specification Miners  

Science Conference Proceedings (OSTI)

Software is often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications - temporal API specification - is often specified in the form ...

David Lo; Siau-Cheng Khoo

2006-10-01T23:59:59.000Z

219

Probabilistic timed behavior trees  

Science Conference Proceedings (OSTI)

The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic behaviour, so that reliability, performance, and other dependability properties ... Keywords: behavior trees, model checking, probabilities, timed automata

Robert Colvin; Lars Grunske; Kirsten Winter

2007-07-01T23:59:59.000Z

220

Assessment ofSpecific Administrative Controls  

E-Print Network (OSTI)

for the Design, Implementation, and Maintenance ofAdministrative Controls, calls for a report to the Secretary ofEnergy on the results ofsite reviews to confinn specific administrative controls are properly treated in safety basis documents and implementing procedures. Enclosed is the report from the Office

Deputy Chiefoperating Officer

2004-01-01T23:59:59.000Z

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


221

Generating Test Data From Statebased Specifications 1  

E-Print Network (OSTI)

Generating Test Data From State­based Specifications 1 A. Jefferson Offutt 1 , Shaoying Liu 2 testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents formal

Offutt, Jeff

222

October 15, 2001 CONSTRUCTION STANDARD SPECIFICATION  

E-Print Network (OSTI)

, guidelines and specifications. B. The following codes, as required by law: 1. ANSI/NFPA-70, National Electric.2 COPPER A. Wall-mounted 110-blocks (for voice applications) 1. Performance shall meet the performance 5e 110 Block Kits b) Panduit Pan-Punch 110 category 5e System Kits B. Angled patch panels 1. Size

223

Group communication specifications: a comprehensive study  

Science Conference Proceedings (OSTI)

View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented group communication systems (GCSs). However, ... Keywords: Group communication systems, partitionable group membership, process group membership, specifications of group communication systems, view synchrony, virtual synchrony

Gregory V. Chockler; Idit Keidar; Roman Vitenberg

2001-12-01T23:59:59.000Z

224

CHEMICAL HYGIENE PLAN LAB SPECIFIC INFORMATION  

E-Print Network (OSTI)

CHEMICAL HYGIENE PLAN (CHP) LAB SPECIFIC INFORMATION & STANDARD OPERATING PROCEDURES (SOPs/23/09 This is the Chemical Hygiene Plan (CHP) for the Materials Research Laboratory (MRL) Spectroscopy Facility. All labs using chemicals are required by Cal-OSHA to have a written safety plan (CHP) in place for chemical

Bigelow, Stephen

225

Automated consistency checking of requirements specifications  

Science Conference Proceedings (OSTI)

This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique ... Keywords: application-independent properties, consistency checking, formal requirements modeling, software cost reduction methodology, tabular notations

Constance L. Heitmeyer; Ralph D. Jeffords; Bruce G. Labaw

1996-07-01T23:59:59.000Z

226

Estimating the Soil Surface Specific Humidity  

Science Conference Proceedings (OSTI)

Based on the recent experiment results, a formula is proposed to be used in numerical weather-climate models to estimate the soil surface humidity. The formula has a very simple form and shows a smooth transition in the soil surface specific ...

Tsengdar J. Lee; Roger A. Pielke

1992-05-01T23:59:59.000Z

227

Ultrahigh Specific Impulse Nuclear Thermal Propulsion  

DOE Green Energy (OSTI)

Research on nuclear thermal propulsion systems (NTP) have been in forefront of the space nuclear power and propulsion due to their design simplicity and their promise for providing very high thrust at reasonably high specific impulse. During NERVA-ROVER program in late 1950's till early 1970's, the United States developed and ground tested about 18 NTP systems without ever deploying them into space. The NERVA-ROVER program included development and testing of NTP systems with very high thrust (~250,000 lbf) and relatively high specific impulse (~850 s). High thrust to weight ratio in NTP systems is an indicator of high acceleration that could be achieved with these systems. The specific impulse in the lowest mass propellant, hydrogen, is a function of square root of absolute temperature in the NTP thrust chamber. Therefor optimizing design performance of NTP systems would require achieving the highest possible hydrogen temperature at reasonably high thrust to weight ratio. High hydrogen exit temperature produces high specific impulse that is a diret measure of propellant usage efficiency.

Anne Charmeau; Brandon Cunningham; Samim Anghaie

2009-02-09T23:59:59.000Z

228

Genepool Time Heatmaps  

NLE Websites -- All DOE Office Websites (Extended Search)

Genepool Time Heatmaps Genepool Time Heatmaps Heatmap of Time and Slots Requested vs Time Waited (in hours) | Queue: All | Last 7 Days Time Requested Slots 1wk Job Count Longest Wait 1 23.0 (233) 0.37 (1819) 27.54 (49888) 5.85 (124593) 1.23 (39835) 0.34 (732) 0 0.4 (224) 0.02 (1) 217325 538.96 2 0 0.01 (19) 2.54 (78) 0.2 (140) 0.99 (2683) 0 0 0 0 2920 9.1 4 0.08 (1) 0 2.82 (141) 0.36 (143) 1.07 (12) 0.06 (5) 0.01 (5) 0.06 (1) 1.3 (5) 313 20.48 6 0.01 (2) 0 0.09 (32) 0.07 (1) 0 0 0 0 0 35 1.22 8 0.04 (24) 4.32 (7423) 5.31 (1999) 0.53 (316) 13.14 (2486) 0.01 (2) 1.21 (88) 1.3 (34) 8.33 (68) 12440 46.16 10 0 0 0 0 0 0 0 8.56 (1) 0 1 8.56 16 0 0 0 0.03 (1) 0 0 0 0 0 1 0.03 24 0 0 0 0 0 0 0 0 0.01 (1) 1 0.01 32 0 0 0 0.04 (14) 0 0 0 0.01 (6) 0 20 0.26

229

Internet Topology over Time  

E-Print Network (OSTI)

There are few studies that look closely at how the topology of the Internet evolves over time; most focus on snapshots taken at a particular point in time. In this paper, we investigate the evolution of the topology of the Autonomous Systems graph of the Internet, examining how eight commonly-used topological measures change from January 2002 to January 2010. We find that the distributions of most of the measures remain unchanged, except for average path length and clustering coefficient. The average path length has slowly and steadily increased since 2005 and the average clustering coefficient has steadily declined. We hypothesize that these changes are due to changes in peering policies as the Internet evolves. We also investigate a surprising feature, namely that the maximum degree has changed little, an aspect that cannot be captured without modeling link deletion. Our results suggest that evaluating models of the Internet graph by comparing steady-state generated topologies to snapshots of the real data ...

Edwards, Benjamin; Stelle, George; Forrest, Stephanie

2012-01-01T23:59:59.000Z

230

Timed fast charger  

Science Conference Proceedings (OSTI)

In a charger for rechargeable electrochemical cells, a transformer charging circuit supplies a charging current to the battery at a fast charge rate for a predetermined time followed by a continuous slow charge rate. A normally closed automatic reset thermostat in series with the rectifier diodes in the charging circuit, and thermally coupled to them, opens after a period of time, dependent upon the heat generated by the rectifier diodes and upon the thermal mass of the thermostat and diodes, and terminates the fast charge current. A resistor, shunted across the thermostat and thermally coupled to it, establishes a slow charge rate current path when the thermostat opens. Heat generated in the resistor causes the thermostat to remain open as long as the battery is connected and ac power is supplied to the transformer primary winding.

Mullersman, F.H.

1981-10-27T23:59:59.000Z

231

Space Time Matter inflation  

E-Print Network (OSTI)

We study a model of power-law inflationary inflation using the Space-Time-Matter (STM) theory of gravity for a five dimensional (5D) canonical metric that describes an apparent vacuum. In this approach the expansion is governed by a single scalar (neutral) quantum field. In particular, we study the case where the power of expansion of the universe is $p \\gg 1$. This kind of model is more successful than others in accounting for galaxy formation.

Mariano Anabitarte; Mauricio Bellini

2005-08-31T23:59:59.000Z

232

Refinement and Verification of Real-Time Systems  

E-Print Network (OSTI)

This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and functional requirements of the upper level specification. These mechanisms are discussed in the context of ASTRAL, which is a formal specification language for real-time systems. Refinement is accomplished by mapping all of the elements of an upper level specification into lower level elements that may be split among several parallel components. In addition, actions that can occur in the upper level are mapped to actions of components operating at the lower level. This allows several types of implementation strategies to be specified in a natural way, while the price for generality (in terms of complexity) is paid only when necessary. The refinement mechanisms are first illustrated using a simple digital circuit; then, through a highly complex phone system; finally, design guidelines gleaned from these specifications are presented.

Kolano, Paul Z; Kemmerer, Richard A; Mandrioli, Dino

2010-01-01T23:59:59.000Z

233

Visual Specification of Complex Database Actions  

E-Print Network (OSTI)

The paper presents an approach to specify in an integrated way by visual, diagrammatic languages the structural and behavioural aspects of database applications. Hereby, well-known extended Entity-Relationship diagrams are employed to specify the structural aspects. The behavioural aspects of a database application are specified by using ViAL (Visual Action Language). ViAL specifications are a special kind of data (or better object) flow diagrams, where so-called elementary actions are used as basic building blocks. These elementary actions are automatically derived from a given EER diagram. They guarantee that after finishing their execution all inherent integrity constraints are fulfilled. The paper explains the features of the language ViAL and gives some illustrating examples. 1 Introduction Nowadays, semantic data models are regarded as convenient means to specify database applications [11]. Most of these approaches offer corresponding visual specification languages which eases b...

Gregor Engels; Perdita Lhr

1994-01-01T23:59:59.000Z

234

Writing Motor Specifications - How to Include Efficiency  

E-Print Network (OSTI)

The escalating cost of electric power coupled with the rapid depletion of our non-renewable resources makes consideration of motor efficiency good sense both from economic and conservation viewpoints. The efficiency of an electric motor can be assessed during bid evaluation by applying loss penalties: however, the actual value can be influenced at an earlier stage by a careful review of what goes into the motor specification.

Quartermaine, B. J.

1980-01-01T23:59:59.000Z

235

Critical Operating Constraints Forecast-- Functional Specification  

Science Conference Proceedings (OSTI)

Critical operating constraints that could result in curtailments of load may occur in a transmission grid with areas of potential generation deficit and limited transmission import capacities. In such situations, it is crucial that the grid operators have a tool to predict when and where critical operating constraints would occur. This report describes the functional specification of such a decision support tool, called the COCF (Critical Operating Constraint Forecast).

2008-03-04T23:59:59.000Z

236

Distributed Control System Log-Keeping Specification  

Science Conference Proceedings (OSTI)

Information generated within the distributed control system (DCS) at most fossil generating stations could be more fully used by converting relevant information into searchable operator logs. This can be done through automated techniques combined with operator oversight and review. As a result, operator log-keeping effectiveness can be greatly improved while reducing the burden on the operator.ObjectivesThis project was undertaken to create specifications for ...

2012-12-12T23:59:59.000Z

237

Mosaik: scalable smart grid scenario specification  

Science Conference Proceedings (OSTI)

The development of control strategies for the Smart Grid, the future electricity grid, relies heavily on modeling and simulation for being able to evaluate and optimize these strategies in a cost efficient, secure and timely way. To generate sound simulation ...

Steffen Schtte; Michael Sonnenschein

2012-12-01T23:59:59.000Z

238

Site Specific Records Schedules | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Site Specific Records Schedules Site Specific Records Schedules Site Specific Records Schedules NOTE: Most of the files below are in PDF, you will need Acrobat® Reader(tm) to view these files. TITLE DATE LAST CHANGED AUTHORIZATION NUMBER AEC -- Administrative Record (pdf) 01/15/01 II-NNA-6754 AEC -- Nuclear Power Plant Docket Records (pdf) 01/15/01 NC-174-231 AEC -- Power Reactor Records (pdf) 01/15/01 II-NNA-2110 Alaska Power Administration (pdf) 02/09/01 N1-447-97-1 Appointee Clearance and Vetting Files (pdf) 09/10/02 N1-434-96-3 Bettis Atomic Laboratory Naval Reactors (pdf) 09/09/91 N1-434-91-8 Bonneville Power Administration (pdf) 08/06/07 N1-305-07-1 Cyclotron Records, Lawrence Berkeley National Laboratory (pdf) 12/22/88 N1-434-89-7 Energy Information Administration (EIARS) (pdf) 10/21/03 N1-434-96-2

239

Automatic Sequences and Zip-Specifications  

E-Print Network (OSTI)

We consider infinite sequences of symbols, also known as streams, and the decidability question for equality of streams defined in a restricted format. This restricted format consists of prefixing a symbol at the head of a stream, of the stream function `zip', and recursion variables. Here `zip' interleaves the elements of two streams in alternating order, starting with the first stream. For example, the Thue-Morse sequence is obtained by the `zip-specification' {M = 0 : X, X = 1 : zip(X,Y), Y = 0 : zip(Y,X)}. Our analysis of such systems employs both term rewriting and coalgebraic techniques. We establish decidability for these zip-specifications, employing bisimilarity of observation graphs based on a suitably chosen cobasis. The importance of zip-specifications resides in their intimate connection with automatic sequences. We establish a new and simple characterization of automatic sequences. Thus we obtain for the binary zip that a stream is 2-automatic iff its observation graph using the cobasis (hd,even...

Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; Moss, Lawrence S

2012-01-01T23:59:59.000Z

240

ENERGY STAR Uninterruptible Power Supply Specification Framework  

E-Print Network (OSTI)

This document describes the key building blocks that form the basis for every ENERGY STAR specification; these items are intended to provide the framework around which the EPA can develop an effective energy efficiency program for Uninterruptible Power Supply (UPS) devices in data center, small office / home office, and home entertainment applications. The principal objectives for this ENERGY STAR specification are threefold: (1) to provide purchasers with the means to identify the most energy efficient UPS solutions for their specific end-use application, (2) to provide tools and information to designers and managers looking to improve the efficiency of data center operations, and (3) to provide uniform efficiency testing conditions and reporting criteria to enable an informed purchase decision and efficiency-oriented comparison of products. EPA will look to harmonize energy efficiency requirements, where appropriate, to minimize the number of competing standards in the marketplace. The purpose of each building block is provided under the subheadings below, along with EPAs preliminary thoughts on how each may ultimately be incorporated into the Version 1.0

unknown authors

2010-01-01T23:59:59.000Z

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


241

TimeStream: reliable stream computation in the cloud  

Science Conference Proceedings (OSTI)

TimeStream is a distributed system designed specifically for low-latency continuous processing of big streaming data on a large cluster of commodity machines. The unique characteristics of this emerging application domain have led to a ... Keywords: StreamInsight, cluster computing, distributed stream processing, dynamic reconfiguration, fault-tolerance, real-time, resilient substitution

Zhengping Qian; Yong He; Chunzhi Su; Zhuojie Wu; Hongyu Zhu; Taizhi Zhang; Lidong Zhou; Yuan Yu; Zheng Zhang

2013-04-01T23:59:59.000Z

242

QUADRENNIAL MCNP TIMING STUDY  

Science Conference Proceedings (OSTI)

The Los Alamos National Laboratory Monte Carlo N-Particle radiation transport code, MCNP, is widely used around the world for many radiation protection and shielding applications. As a well-known standard it is also an excellent vehicle for assessing the relative performance of scientific computing platforms. Every three-to-four years a new version of MCNP is released internationally by the Radiation Safety Information Computational Center (RSICC) in Oak Ridge, Tennessee. For each of the past few releases, we have also done a timing study to assess the progress of scientific computing platforms and software. These quadrennial timing studies are valuable to the radiation protection and shielding community because (a) they are performed by a recognized scientific team, not a computer vendor, (b) they use an internationally recognized code for radiation protection and shielding calculations, (c) they are eminently reproducible since the code and the test problems are internationally distributed. Further, if one has a computer platform, operating system, or compiler not presented in our results, its performance is directly comparable to the ones we report because it can use the same code, data, and test problems as we used. Our results, using a single processor per platform, indicate that hardware advances during the past three years have improved performance by less than a factor of two and software improvements have had a marginal effect on performance. The most significant impacts on performance have resulted from developments in multiprocessing and multitasking. The other most significant advance in the last three years has been the accelerated improvements in personal computers. In the last timing study, the tested personal computer was approximately a factor of four slower that the fastest machine tested, a DEC Alphastation 500. In the present study, the fastest PC tested was less than a factor of two slower than the fastest platform, which is a Compaq (previously DEC) Alpha XP1000.

E. C. SELCOW; B. D. LANSRUD

2000-09-01T23:59:59.000Z

243

Exploiting VERITAS Timing Information  

E-Print Network (OSTI)

The 499 pixel photomultiplier cameras of the VERITAS gamma ray telescopes are instrumented with 500MHz sampling Flash ADCs. This paper describes a preliminary investigation of the best methods by which to exploit this information so as to optimize the signal-to-noise ratio for the detection of Cherenkov light pulses. The FADCs also provide unprecedented resolution for the study of the timing characteristics of Cherenkov images of cosmic-ray and gamma-ray air showers. This capability is discussed, together with the implications for gamma-hadron separation.

J. Holder; for the VERITAS Collaboration

2005-07-19T23:59:59.000Z

244

RTJBench: A RealTime Java Benchmarking Framework  

E-Print Network (OSTI)

Abstract. The paper gives an overview of RTJBench, a framework designed to assist in the task of benchmarking programs written in the Real-Time Specification for Java, but with potentially more general applicability. RTJBench extends the JUnit framework for unit testing of Java applications with tools for real-time environment configuration, simple data processing and configurable graphical presentation services. We present design principles of RTJBench and give an example of a benchmarking suite we have been using for daily regression benchmarking of the Open Virtual Machine. Keywords: Benchmarking, regression benchmarking, Real-Time Specification for Java

Marek Prochazka; Andrey Madan; Jan Vitek; Wenchang Liu

2004-01-01T23:59:59.000Z

245

Hitting Time Distributions in Financial Markets  

E-Print Network (OSTI)

We analyze the hitting time distributions of stock price returns in different time windows, characterized by different levels of noise present in the market. The study has been performed on two sets of data from US markets. The first one is composed by daily price of 1071 stocks trade for the 12-year period 1987-1998, the second one is composed by high frequency data for 100 stocks for the 4-year period 1995-1998. We compare the probability distribution obtained by our empirical analysis with those obtained from different models for stock market evolution. Specifically by focusing on the statistical properties of the hitting times to reach a barrier or a given threshold, we compare the probability density function (PDF) of three models, namely the geometric Brownian motion, the GARCH model and the Heston model with that obtained from real market data. We will present also some results of a generalized Heston model.

Valenti, D; Spagnolo, B; Bonanno, Giovanni; Spagnolo, Bernardo; Valenti, Davide

2006-01-01T23:59:59.000Z

246

Relaxation time of non-conformal plasma  

E-Print Network (OSTI)

We study effective relaxation time of viscous hydrodynamics of strongly coupled non-conformal gauge theory plasma using gauge theory/string theory correspondence. We compute leading corrections to the conformal plasma relaxation time from the relevant deformations due to dim-2 and dim-3 operators. We discuss in details the relaxation time tau_eff of N=2^* plasma. For a certain choice of masses this theory undergoes a phase transition with divergent specific heat c_V ~ |1-T_c/T|^(-1/2). Although the bulk viscosity remains finite all the way to the critical temperature, we find that tau_eff diverges near the critical point as tau_eff ~ |1-T_c/T|^(-1/2).

Alex Buchel

2009-08-03T23:59:59.000Z

247

Codes and Standards: Hydrogen Fuel Purity Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

Codes and Standards: Codes and Standards: Hydrogen Fuel Purity Specifications Walter F. Podolski Fuel Purity Workshop Los Angeles, CA April 26, 2004 ChevronTexaco ConocoPhillips EXONMobil FreedomCAR and Fuel Partnership Organizational Structure Codes and Standards for Commercial Hydrogen/Fuel Cell Vehicles Goal is to support commercialization decision in the 2015 timeframe * Ensure acceptability to all stake-holders - Regulators, insurers, public * Enable commercial feasibility * Facilitate rapid introduction of technical advances Issues * What we want to avoid - Premature Standards, Codes, and Regulations that slow introduction of new technologies - Competing national and international SDOs and professional organizations * What we want to encourage - Flexible guidelines that enable demonstration

248

HomePlug AV Specification Assessment  

Science Conference Proceedings (OSTI)

This report describes and evaluates the HomePlug AV (HPAV) Home Area Network (HAN) protocol as described in the HomePlug Power Alliance's "HomePlug AV Specification Version 1.1," May 21, 2007. The report introduces HPAV features and capabilities. Its focus is on information required by developers and evaluators of HPAV-enabled applications. It also includes an in-depth description of necessary processes required to establish and maintain a HPAV network over Power Line Communication (PLC) as well as commu...

2009-12-22T23:59:59.000Z

249

Production Of High Specific Activity Copper-67  

DOE Patents (OSTI)

A process for the selective production and isolation of high specific activity cu.sup.67 from proton-irradiated enriched Zn.sup.70 target comprises target fabrication, target irradiation with low energy (<25 MeV) protons, chemical separation of the Cu.sup.67 product from the target material and radioactive impurities of gallium, cobalt, iron, and stable aluminum via electrochemical methods or ion exchange using both anion and cation organic ion exchangers, chemical recovery of the enriched Zn.sup.70 target material, and fabrication of new targets for re-irradiation is disclosed.

Jamriska, Sr., David J. (Los Alamos, NM); Taylor, Wayne A. (Los Alamos, NM); Ott, Martin A. (Los Alamos, NM); Fowler, Malcolm (Los Alamos, NM); Heaton, Richard C. (Los Alamos, NM)

2002-12-03T23:59:59.000Z

250

Production Of High Specific Activity Copper-67  

DOE Patents (OSTI)

A process for the selective production and isolation of high specific activity Cu.sup.67 from proton-irradiated enriched Zn.sup.70 target comprises target fabrication, target irradiation with low energy (<25 MeV) protons, chemical separation of the Cu.sup.67 product from the target material and radioactive impurities of gallium, cobalt, iron, and stable aluminum via electrochemical methods or ion exchange using both anion and cation organic ion exchangers, chemical recovery of the enriched Zn.sup.70 target material, and fabrication of new targets for re-irradiation is disclosed.

Jamriska, Sr., David J. (Los Alamos, NM); Taylor, Wayne A. (Los Alamos, NM); Ott, Martin A. (Los Alamos, NM); Fowler, Malcolm (Los Alamos, NM); Heaton, Richard C. (Los Alamos, NM)

2003-10-28T23:59:59.000Z

251

Good Timing: NIST/CU Collaboration Adds Timing Capability ...  

Science Conference Proceedings (OSTI)

... With the added capability to track the timing of dynamic biochemical reactions, cell ... to measure sensor signals at two points in time at a rate of up to ...

2012-02-07T23:59:59.000Z

252

A Time Bucket Formulation for the TSP with Time Windows  

E-Print Network (OSTI)

Nov 10, 2009 ... The Traveling Salesman Problem with Time Windows (TSPTW) is the problem of finding a ... To obtain a good partition of the time windows, we.

253

Polynomial Time Algorithms for Minimum Energy Scheduling  

E-Print Network (OSTI)

The aim of power management policies is to reduce the amount of energy consumed by computer systems while maintaining satisfactory level of performance. One common method for saving energy is to simply suspend the system during the idle times. No energy is consumed in the suspend mode. However, the process of waking up the system itself requires a certain fixed amount of energy, and thus suspending the system is beneficial only if the idle time is long enough to compensate for this additional energy expenditure. In the specific problem studied in the paper, we have a set of jobs with release times and deadlines that need to be executed on a single processor. Preemptions are allowed. The processor requires energy L to be woken up and, when it is on, it uses one unit of energy per one unit of time. It has been an open problem whether a schedule minimizing the overall energy consumption can be computed in polynomial time. We solve this problem in positive, by providing an O(n^5)-time algorithm. In addition we pr...

Baptiste, Philippe; Durr, Christoph

2009-01-01T23:59:59.000Z

254

ELECTRONIC SPECIFIC HEAT OF SODIUM TUNGSTEN BRONZE  

SciTech Connect

The design and operation of a calorimeter for use in the temperature range 1.8 to 4.2 deg K are presented, and the methods used in the treatment of data and calculation of results are discussed. The heat capacities of several Na- W bronzes (Na/sub x/WO/sub 3/) were determined in the temperature interval 1.8 to 4.2 deg K. Samples having x equal to 0.89, heat capacities are described adequately by the sum of two terms, one linear and one cubic in temperature. The electronic specific heat of each sample is obtained by evaluating the coefficient of the linear term, and the Rebye eharacteristic temperature derived from the coefficient of the cubic term. Rensities of one-electron energy levels at the Fermi energy, and effective electronic masses are calculated from the electronic specific heats. A plot of the density of states as a function of energy can be made if it is assumed that this curve is independent of Na concentration. The justification of this assumption is discussed in the light of current theories of the solid state. The density of states curve rises rapidly at higher energies, and this rise is interpreted in terms of the filling of a Brillouin zone or of an overlap of two bands. (auth)

Vest,R.W.; Griffel, M.; Smith, J.F.

1957-03-01T23:59:59.000Z

255

The Heliosphere in Time  

E-Print Network (OSTI)

Because of the dynamic nature of the interstellar medium, the Sun should have encountered a variety of different interstellar environments in its lifetime. As the solar wind interacts with the surrounding interstellar medium to form a heliosphere, different heliosphere shapes, sizes, and particle contents result from the different environments. Some of the large possible interstellar parameter space (density, velocity, temperature) is explored here with the help of global heliosphere models, and the features in the resulting heliospheres are compared and discussed. The heliospheric size, expressed as distance of the nose of the heliopause to the Sun, is set by the solar wind - interstellar pressure balance, even for extreme cases. Other heliospheric boundary locations and neutral particle results correlate with the interstellar parameters as well. If the H0 clouds identified in the Millennium Arecibo survey are typical of clouds encountered by the Sun, then the Sun spends ~99.4% of the time in warm low density ISM, where the typical upwind heliosphere radii are up to two orders of magnitude larger than at present.

H. -R. Mller; P. C. Frisch; B. D. Fields; G. P. Zank

2008-10-02T23:59:59.000Z

256

NIST Time Scale Data Archive  

Science Conference Proceedings (OSTI)

NIST Time Scale Data Archive. ... The AT1 scale is run in real time using data from an ensemble of cesium standards and hydrogen masers. ...

2013-08-07T23:59:59.000Z

257

Time and Frequency Division Homepage  

Science Conference Proceedings (OSTI)

... Controlled ClocksTelephone TimeDivision HistoryFrequently Asked Questions (FAQ)Time and Frequency from A to Z: An illustrated glossaryA Walk ...

2013-12-27T23:59:59.000Z

258

Time dependent Directional Profit Model for Financial Time Series Forecasting  

E-Print Network (OSTI)

Time dependent Directional Profit Model for Financial Time Series Forecasting Jingtao YAO Chew Lim@comp.nus.edu.sg Abstract Goodness­of­fit is the most popular criterion for neural network time series forecasting. In the context of financial time series forecasting, we are not only concerned at how good the forecasts fit

Yao, JingTao

259

Contractor-specific Documentation & Information in PARS II |...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Contractor-specific Documentation & Information in PARS II Contractor-specific Documentation & Information in PARS II DOE Office of Acquisition and Project Management established...

260

Specification of an Information Delivery Tool to Support Optimal...  

NLE Websites -- All DOE Office Websites (Extended Search)

Media Contacts Specification of an Information Delivery Tool to Support Optimal Holistic Environmental and Energy Management in Buildings Title Specification of an Information...

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


261

FTCP Site Specific Information - NNSA Production Office | Department...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

FTCP Site Specific Information - NNSA Production Office FTCP Site Specific Information - NNSA Production Office FTCP Agent Organization Name Phone E-Mail NNSA Production Office Ken...

262

Information Resources: Model Specification for LED Roadway Luminaires...  

NLE Websites -- All DOE Office Websites (Extended Search)

Model Specification for LED Roadway Luminaires Webcast This November 15, 2011 webcast presented information about the Model Specification for LED Roadway Luminaires developed by...

263

Solid-State Lighting: Model Specification for LED Roadway Luminaires...  

NLE Websites -- All DOE Office Websites (Extended Search)

Model Specification for LED Roadway Luminaires Webcast to someone by E-mail Share Solid-State Lighting: Model Specification for LED Roadway Luminaires Webcast on Facebook Tweet...

264

Level: National Data; Row: Specific Energy-Management Activities...  

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

be conducted in 2010 Table 8.4 Number of Establishments by Participation in Specific Energy-Management Activities, 2006; Level: National Data; Row: Specific Energy-Management...

265

Advanced Research Projects Agency - Energy Program Specific Recovery...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Advanced Research Projects Agency - Energy Program Specific Recovery Plan Advanced Research Projects Agency - Energy Program Specific Recovery Plan Microsoft Word - 44F1801D.doc...

266

Business System Planning Project System Requirements Specification  

SciTech Connect

The purpose of the Business Systems Planning Project System Requirements Specification (SRS) is to provide the outline and contents of the requirements for the CH2M HILL Hanford Group, Inc. (CHG) integrated business and technical information systems. The SRS will translate proposed objectives into the statement of the functions that are to be performed and data and information flows that they require. The requirements gathering methodology will use (1) facilitated group requirement sessions; (2) individual interviews; (3) surveys; and (4) document reviews. The requirements will be verified and validated through coordination of the technical requirement team and CHG Managers. The SRS document used the content and format specified in Lockheed Martin Services, Inc. Organization Standard Software Practices in conjunction with the Institute of Electrical and Electronics Engineers Standard 8340-1984 for Systems Requirements Documents.

NELSON, R.E.

2000-09-08T23:59:59.000Z

267

REAL TIME SYSTEM OPERATIONS 2006-2007  

Science Conference Proceedings (OSTI)

The Real Time System Operations (RTSO) 2006-2007 project focused on two parallel technical tasks: (1) Real-Time Applications of Phasors for Monitoring, Alarming and Control; and (2) Real-Time Voltage Security Assessment (RTVSA) Prototype Tool. The overall goal of the phasor applications project was to accelerate adoption and foster greater use of new, more accurate, time-synchronized phasor measurements by conducting research and prototyping applications on California ISO's phasor platform - Real-Time Dynamics Monitoring System (RTDMS) -- that provide previously unavailable information on the dynamic stability of the grid. Feasibility assessment studies were conducted on potential application of this technology for small-signal stability monitoring, validating/improving existing stability nomograms, conducting frequency response analysis, and obtaining real-time sensitivity information on key metrics to assess grid stress. Based on study findings, prototype applications for real-time visualization and alarming, small-signal stability monitoring, measurement based sensitivity analysis and frequency response assessment were developed, factory- and field-tested at the California ISO and at BPA. The goal of the RTVSA project was to provide California ISO with a prototype voltage security assessment tool that runs in real time within California ISO?s new reliability and congestion management system. CERTS conducted a technical assessment of appropriate algorithms, developed a prototype incorporating state-of-art algorithms (such as the continuation power flow, direct method, boundary orbiting method, and hyperplanes) into a framework most suitable for an operations environment. Based on study findings, a functional specification was prepared, which the California ISO has since used to procure a production-quality tool that is now a part of a suite of advanced computational tools that is used by California ISO for reliability and congestion management.

Eto, Joseph H.; Parashar, Manu; Lewis, Nancy Jo

2008-08-15T23:59:59.000Z

268

Time Schedule Winter Quarter 1984  

E-Print Network (OSTI)

using the coordinates of the testis-specific dual- specificity phosphatase DUSP13 as a search model (PDB and translational searches for two molecules in the asymmetric unit were performed with data from 15 to 3.0 A in blue and negatively charged regions in red. The position of the of the DDE(Nle)pTGpYVATR peptide

Queitsch, Christine

269

Publications : Daylighting The New York Times Building  

NLE Websites -- All DOE Office Websites (Extended Search)

Publications Publications Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and Shade Controls Lighting Controls Visualizing daylight Commissioning/ verification Demand response Mainstream solutions Post-occupancy evaluation Publications Sponsors Project team Publications Technical Publications Post-occupancy Evaluation A post-occupancy monitored evaluation of the dimmable lighting, automated shading, and underfloor air distribution system in The New York Times Building. Eleanor S. Lee, Luis L. Fernandes, Brian Coffey, Andrew McNeil, Robert Clear, Tom Webster, Fred Bauman, Darryl Dickerhoff, David Heinzerling, Tyler Hoyt. LBNL Technical report, January 2013. LBNL-6023E.

270

A summary of North American HVDC converter station reliability specifications  

SciTech Connect

This paper summarizes Reliability, Availability, and Maintainability (RAM) specifications that were issued for thyristor based HVDC converter stations in service in North America. A total of twenty project specifications are summarized. A detailed summary by project is shown with specific quantitative requirements categorized. Definitions of terms, representative design principles, and formulas used in calculating RAM parameters contained in existing reliability specifications are presented.

Vancers, I. (ABB Power Systems Inc., Los Angeles, CA (United States)); Hormozi, F.J. (Los Angeles Dept. of Water and Power, CA (United States))

1993-07-01T23:59:59.000Z

271

Building Technologies Office: Building America Climate-Specific Guidance  

NLE Websites -- All DOE Office Websites (Extended Search)

America America Climate-Specific Guidance to someone by E-mail Share Building Technologies Office: Building America Climate-Specific Guidance on Facebook Tweet about Building Technologies Office: Building America Climate-Specific Guidance on Twitter Bookmark Building Technologies Office: Building America Climate-Specific Guidance on Google Bookmark Building Technologies Office: Building America Climate-Specific Guidance on Delicious Rank Building Technologies Office: Building America Climate-Specific Guidance on Digg Find More places to share Building Technologies Office: Building America Climate-Specific Guidance on AddThis.com... About Take Action to Save Energy Partner With DOE Activities Solar Decathlon Building America Research Innovations Research Tools Building Science Education

272

Technology & System Specifications | The Better Buildings Alliance  

NLE Websites -- All DOE Office Websites (Extended Search)

& System Specifications & System Specifications Activities Technology Solutions Teams Public Sector Teams Market Solutions Teams Technology & System Specifications The Better Buildings Alliance Technology Solutions Teams develop specifications for you to customize and use to obtain quotes for high-efficiency products and services. Collective support for these product and performance specifications demonstrates a market need to manufacturers and leads to greater product availability, higher quality, and more competitive pricing. Get started by clicking below. Available Specifications Sign your support for the Wireless Meter Challenge and review the specification The wireless meter challenge has been launched to catalyze the development of low cost metering solutions. Meters are an integral component of energy

273

Building Technologies Office: Building Energy Data Exchange Specification  

NLE Websites -- All DOE Office Websites (Extended Search)

Building Energy Data Building Energy Data Exchange Specification to someone by E-mail Share Building Technologies Office: Building Energy Data Exchange Specification on Facebook Tweet about Building Technologies Office: Building Energy Data Exchange Specification on Twitter Bookmark Building Technologies Office: Building Energy Data Exchange Specification on Google Bookmark Building Technologies Office: Building Energy Data Exchange Specification on Delicious Rank Building Technologies Office: Building Energy Data Exchange Specification on Digg Find More places to share Building Technologies Office: Building Energy Data Exchange Specification on AddThis.com... About Take Action to Save Energy Activities 179d Tax Calculator Advanced Energy Design Guides Advanced Energy Retrofit Guides

274

Daylighting The New York Times Building  

NLE Websites -- All DOE Office Websites (Extended Search)

Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and Shade Controls Lighting Controls Visualizing daylight Commissioning/ verification Demand response Mainstream solutions Post-occupancy evaluation Publications Sponsors Project team NEW: Post-occupancy Evaluation Publications Daylighting The New York Times Headquarters Building This website provides information on a collaboration between The New York Times Company, the Lawrence Berkeley National Laboratory, industry, and three major public funding agencies designed to transform the market for emerging automated window shade systems and daylighting controls so that these types of energy-efficient products become the norm. Project activities included documenting and demonstrating that the technology works and generates energy savings in real world applications, creating a market response so that these systems are available at commodity prices and are cost-effective, making third party performance data available to the public, and providing guidance to support widespread deployment.

275

First-passage-time problems in time-aware networks  

E-Print Network (OSTI)

First passage time or the first time that a stochastic process crosses a boundary is a random variable whose probability distribution is sought in engineering, statistics, finance, and other disciplines. The probability ...

Suwansantisuk, Watcharapan, 1978-

2012-01-01T23:59:59.000Z

276

Time-independent and time-dependent contributions to the unavailability of standby safety system components  

Science Conference Proceedings (OSTI)

The unavailability of standby safety system components due to failures in nuclear power plants is considered to involve a time independent and a time dependent part. The former relates to the component`s unavailability from demand stresses due to usage, and the latter represents the component`s unavailability due to standby time stresses related to the environment. In this paper, data from the nuclear plant reliability data system (NPRDS) were used to partition the component`s unavailability into the contributions from standby time stress (i.e., due to environmental factors) and demand stress (i.e., due to usage). Analyses are presented of motor operated valves (MOVs), motor driven pumps (MDPs), and turbine driven pumps (FDPs). MOVs fail predominantly (approx. 78%) from environmental factors (standby time stress failures). MDPs fail slightly more frequently from demand stresses (approx. 63%) than standby time stresses, while TDPs fail predominantly from standby time stresses (approx. 78%). Such partitions of component unavailability have many uses in risk informed and performance based regulation relating to modifications to Technical Specification, in-service testing, precise determination of dominant accident sequences, and implementation of maintenance rules.

Lofgren, E.V. [Science Applications International Corp., Fairfax Station, VA (United States); Uryasev, S.; Samanta, P. [Brookhaven National Lab., Upton, NY (United States)

1997-03-01T23:59:59.000Z

277

NIST: A Walk Through Time - The "Atomic Age" of Time ...  

Science Conference Proceedings (OSTI)

... Transportation, communication, financial transactions, manufacturing, electric power and many ... The next generation of time standards is presently ...

2010-10-05T23:59:59.000Z

278

Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Enforcement Guidance Supplement 00-03: Specific Issues on Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of 10 CFR 830 Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of 10 CFR 830 Section 1.3 of the Operational Procedure entitled Enforcement of DOE Nuclear Safety Requirements under Price-Anderson Amendments Act of 1988, published in June 1998, provides the opportunity for the Office of Enforcement and Investigation (EHEnforcement) to issue clarifying guidance in a timely manner with respect to the processes used in enforcement activities. This enforcement guidance focuses on several issues related to applicability of 10 CFR 830 that have been observed in enforcement and investigation activities. Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of

279

Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

0-03: Specific Issues on 0-03: Specific Issues on Applicability of 10 CFR 830 Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of 10 CFR 830 Section 1.3 of the Operational Procedure entitled Enforcement of DOE Nuclear Safety Requirements under Price-Anderson Amendments Act of 1988, published in June 1998, provides the opportunity for the Office of Enforcement and Investigation (EH-Enforcement) to issue clarifying guidance in a timely manner with respect to the processes used in enforcement activities. This enforcement guidance focuses on several issues related to applicability of 10 CFR 830 that have been observed in enforcement and investigation activities. Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of 10 CFR 830 More Documents & Publications

280

High-Level Specification and Automatic Generation of IP Interface Monitors  

E-Print Network (OSTI)

A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attack this problem, several researchers have proposed monitor-based methodologies, which offer many benefits. This paper presents a novel, high-level specification style for these monitors, along with a linear-size, linear-time translation algorithm into monitor circuits. The specification style naturally fits the complex, but well-specified interfaces used between IP blocks in systems-on-chip. To demonstrate the advantage of our specification style, we have specified monitors for various versions of the Sonics OCP protocol as well as the AMBA AHB protocol, and have developed a prototype tool that automatically translates specifications into Verilog or VHDL monitor circuits.

Marcio T. Oliveira; Alan J. Hu

2002-01-01T23:59:59.000Z

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


281

NIST Time Scale Data Archive  

Science Conference Proceedings (OSTI)

NIST Time Scale Data Archive. Updated monthly. Return to Archive index Leap second and UT1-UTC information. This page ...

2013-08-07T23:59:59.000Z

282

Efficient Decompositional Model-Checking for Regular Timing Diagrams  

E-Print Network (OSTI)

There is a growing need to make verification tools easier to use. A solution that does not require redesigning the tool is to construct front-ends providing specification notations that are close to those used in practice. Timing diagrams are such a widely used graphical notation, one that is often more appealing than a "linear" textual notation. This paper introduces a class of timing diagrams called Regular Timing Diagrams (RTDs). RTDs have a precise syntax and a formal semantics that is simple and corresponds to common usage. In addition, RTDs have an inherent compositional structure, which is exploited to provide an efficient algorithm for model-checking an RTD with respect to a system description. The algorithm has time complexity that is a small polynomial in the size of the diagram and linear in the size of the structure. We demonstrate the applicability of our algorithms by verifying that a master-slave system satisfies its specification RTDs.

Nina Amla; E. Allen Emerson; Kedar S. Namjoshi

1999-01-01T23:59:59.000Z

283

Evaluation of superpave fine aggregate specification  

E-Print Network (OSTI)

Superpave[] was the final product of the Strategic Highway Research Program's (SHRP) asphalt pavement research effort during 1987-93. Some aspects of the Superpave aggregate specifications are not universally accepted. The validity of the fine aggregate angularity (FAA) requirement is questioned by both the owner agencies and the paving and aggregate industries. The FAA test is based on the assumption that more fractured faces will result in higher void content in the loosely compacted sample; however, this is not always true. The aggregate industry has found that cubical shaped particles, even with 100% fractured faces, may not meet the FAA requirement for high-volume traffic. State agencies are concerned that local materials previously considered acceptable and which have provided good field performance, now cannot meet the Superpave requirements. Twenty three-fine aggregates from different part of the USA were tested using major angularity tests: FAA test, direct shear test, compacted aggregate resistance (CAR) test, image analysis Hough transform, and visual inspection. The results from those tests were compared with the available performance history. The FAA test method does not consistently identify angular, cubical aggregates as high quality materials. There is a fair correlation between the CAR stability value and angle of internal friction (AIF) from direct shear test. No correlation was found between FAA and CAR stability or between FAA and AIF. A good correlation was found between FAA and K-index from Hough transform method. Some cubical crushed aggregates whose FAA values were less than 45 gave very high values of CAR stability, AIF and K-index. The statistical analysis of the SHRP LTPP database reveals that there is no evidence of any good linear relationship between FAA and rutting. Of the methods evaluated, image analysis using Hough transform appears most promising for measuring fine aggregate angularity. Until a replacement method for FAA can be identified, the author recommends that the FAA criteria be lowered from 45. The FAA vs. rutting data analysis should be continued with a larger amount of data as the LTPP SHRP database is expanded.

Chowdhury, Md. Tahjib-Ul-Arif

1999-01-01T23:59:59.000Z

284

The LCLS Timing Event System  

Science Conference Proceedings (OSTI)

The Linac Coherent Light Source requires precision timing trigger signals for various accelerator diagnostics and controls at SLAC-NAL. A new timing system has been developed that meets these requirements. This system is based on COTS hardware with a mixture of custom-designed units. An added challenge has been the requirement that the LCLS Timing System must co-exist and 'know' about the existing SLC Timing System. This paper describes the architecture, construction and performance of the LCLS timing event system.

Dusatko, John; Allison, S.; Browne, M.; Krejcik, P.; /SLAC

2012-07-23T23:59:59.000Z

285

Time  

NLE Websites -- All DOE Office Websites (Extended Search)

Judges 9:00- 9:25 Materials Science Mathew Cherukara Shock Induced Chemistry of NiAl Nano-Composites Chen, X. Gyrya, V. 9:25- 9:50 Materials Science Christian Sorensen Explosive...

286

All Time, All the Time: Improving NIST Radio  

Science Conference Proceedings (OSTI)

... need for manual adjustments when Daylight Saving Time begins and ends, and allowing automatic resetting of clocks following a power outage.

2011-10-06T23:59:59.000Z

287

A Time Bucket Formulation for the TSP with Time Windows  

E-Print Network (OSTI)

Nov 5, 2009 ... Abstract: The Traveling Salesman Problem with Time Windows (TSPTW) is the problem of finding a minimum-cost path visiting a set of cities...

288

NIST: A Walk Through Time - World Time Scales  

Science Conference Proceedings (OSTI)

... A Walk Through Time - Home Page ... and technologists recognized the inadequacy of timekeeping based on the motion of the Earth, which fluctuates ...

2010-10-05T23:59:59.000Z

289

Alternative Fuels Data Center: Biofuels Definitions and Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

Biofuels Definitions Biofuels Definitions and Specifications to someone by E-mail Share Alternative Fuels Data Center: Biofuels Definitions and Specifications on Facebook Tweet about Alternative Fuels Data Center: Biofuels Definitions and Specifications on Twitter Bookmark Alternative Fuels Data Center: Biofuels Definitions and Specifications on Google Bookmark Alternative Fuels Data Center: Biofuels Definitions and Specifications on Delicious Rank Alternative Fuels Data Center: Biofuels Definitions and Specifications on Digg Find More places to share Alternative Fuels Data Center: Biofuels Definitions and Specifications on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Biofuels Definitions and Specifications Biodiesel is a fuel that is produced from nonpetroleum renewable resources

290

Alternative Fuels Data Center: Biodiesel Definition and Specification  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

Biodiesel Definition Biodiesel Definition and Specification to someone by E-mail Share Alternative Fuels Data Center: Biodiesel Definition and Specification on Facebook Tweet about Alternative Fuels Data Center: Biodiesel Definition and Specification on Twitter Bookmark Alternative Fuels Data Center: Biodiesel Definition and Specification on Google Bookmark Alternative Fuels Data Center: Biodiesel Definition and Specification on Delicious Rank Alternative Fuels Data Center: Biodiesel Definition and Specification on Digg Find More places to share Alternative Fuels Data Center: Biodiesel Definition and Specification on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Biodiesel Definition and Specification Biodiesel is defined as a fuel that is comprised of mono-alkyl esters of

291

Alternative Fuels Data Center: Biodiesel Definition and Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

Biodiesel Definition Biodiesel Definition and Specifications to someone by E-mail Share Alternative Fuels Data Center: Biodiesel Definition and Specifications on Facebook Tweet about Alternative Fuels Data Center: Biodiesel Definition and Specifications on Twitter Bookmark Alternative Fuels Data Center: Biodiesel Definition and Specifications on Google Bookmark Alternative Fuels Data Center: Biodiesel Definition and Specifications on Delicious Rank Alternative Fuels Data Center: Biodiesel Definition and Specifications on Digg Find More places to share Alternative Fuels Data Center: Biodiesel Definition and Specifications on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Biodiesel Definition and Specifications Biodiesel is defined as a fuel that is comprised only of mono-alkyl esters

292

Steam boiler control specification problem: A TLA solution  

E-Print Network (OSTI)

. Our solution to the specification problem in the specification language TLA+ is based on a model of operation where several components proceed synchronously. Our first specification concerns a simplified controller and abstracts from many details given in the informal problem description. We successively add modules to build a model of the state of the steam boiler, detect failures, and model message transmission. We give a more detailed controller specification and prove that it refines the abstract controller. We also address the relationship between the physical state of the steam boiler and the model maintained by the controller and discuss the reliability of failure detection. Finally, we discuss the implementability of our specification. 1 Introduction We propose a solution to the steam boiler control specification problem [AS] by means of a formal specification in the specification language TLA+, which is based on Lamport's Temporal Logic of Actions TLA [L94]. The overall str...

Frank Leke; Stephan Merz

1995-01-01T23:59:59.000Z

293

Assessment of Rainfall Measurement That Uses Specific Differential Phase  

Science Conference Proceedings (OSTI)

This paper examines some effects of drop size distribution and shape on the rainfall-rate estimates obtained from the specific differential phase. An algorithm that uses exclusively the specific differential phase is presented, and performance of ...

Alexander Ryzhkov; Dusan Zrni?

1996-11-01T23:59:59.000Z

294

A lightweight specification language for bounded program verification  

E-Print Network (OSTI)

This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool ...

Yessenov, Kuat T

2009-01-01T23:59:59.000Z

295

An accuracy information annotation model for validated service behavior specifications  

Science Conference Proceedings (OSTI)

Assessing providable service levels based on model-driven prediction approaches requires valid service behavior specifications. Such specifications must be suitable for the requested usage profile and available hardware to make correct predictions and ...

Henning Groenda

2010-10-01T23:59:59.000Z

296

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness  

Science Conference Proceedings (OSTI)

We propose to specify the correctness of a program's parallelism using a sequential version of the program with controlled nondeterminism. Such a nondeterministic sequential specification allows (1) the correctness of parallel interference to ... Keywords: parallel correctness, serializability, specification

Jacob Burnim; Tayfun Elmas; George Necula; Koushik Sen

2011-06-01T23:59:59.000Z

297

Algorithm for Estimation of the Specific Differential Phase  

Science Conference Proceedings (OSTI)

The specific differential phase Kdp is one of the important parameters measured by dual-polarization radar that is being considered for the upgrade of the current Next Generation Weather Radar (NEXRAD) system. Estimation of the specific ...

Yanting Wang; V. Chandrasekar

2009-12-01T23:59:59.000Z

298

Solid-State Lighting: Model Specification for LED Roadway Luminaires  

NLE Websites -- All DOE Office Websites (Extended Search)

Model Specification for LED Roadway Luminaires to someone by E-mail Share Solid-State Lighting: Model Specification for LED Roadway Luminaires on Facebook Tweet about Solid-State...

299

Alternative Fuels Data Center: Biodiesel and Ethanol Specifications  

Alternative Fuels and Advanced Vehicles Data Center (EERE)

and Ethanol and Ethanol Specifications to someone by E-mail Share Alternative Fuels Data Center: Biodiesel and Ethanol Specifications on Facebook Tweet about Alternative Fuels Data Center: Biodiesel and Ethanol Specifications on Twitter Bookmark Alternative Fuels Data Center: Biodiesel and Ethanol Specifications on Google Bookmark Alternative Fuels Data Center: Biodiesel and Ethanol Specifications on Delicious Rank Alternative Fuels Data Center: Biodiesel and Ethanol Specifications on Digg Find More places to share Alternative Fuels Data Center: Biodiesel and Ethanol Specifications on AddThis.com... More in this section... Federal State Advanced Search All Laws & Incentives Sorted by Type Biodiesel and Ethanol Specifications Ethanol-blended gasoline must conform to ASTM D4814, E85 must conform to

300

Generic Guide Specification for Geothermal Heat Pump Systems  

SciTech Connect

The attached Geothermal (Ground-Source) Heat Pump (GHP) Guide Specifications have been developed by Oak Ridge National Laboratory (ORNL) with the intent to assist federal agency sites and engineers in the preparation of construction specifications for GHP projects. These specifications have been developed in the industry-standard Construction Specification Institute (CSI) format and cover several of the most popular members of the family of GHP systems. These guide specifications are applicable to projects whether the financing is with conventional appropriations, arranged by GHP specialty ESCOs under the U.S. Department of Energy's Technology-Specific GHP Super ESPCs, arranged by utilities under Utility Energy Service Contracts (UESCs) or arranged by generalist ESCOs under the various regional ESPCs. These specifications can provide several benefits to the end user that will help ensure successful GHP system installations. GHP guide specifications will help to streamline the specification development, review, and approval process because the architecture and engineering (AE) firm will be working from the familiar CSI format instead of developing the specifications from other sources. The guide specifications help to provide uniformity, standardization, and consistency in both the construction specifications and system installations across multiple federal sites. This standardization can provide future benefits to the federal sites in respect to both maintenance and operations. GHP guide specifications can help to ensure that the agency is getting its money's worth from the GHP system by preventing the use of marginal or inferior components and equipment. The agency and its AE do not have to start from scratch when developing specifications and can use the specification as a template and/or a checklist in developing both the design and the contract documents. The guide specifications can save project costs by reducing the engineering effort required during the design development phase. Use of this guide specification for any project is strictly optional and at the discretion of the responsible party in charge. If used as a construction specification master template for GHP systems, this guide specification must, in all cases, be edited to apply to the specific project in question and to reflect the site-specific conditions relevant to the project. There is no guarantee of accuracy or applicability with respect to any portion of this specification and the user assumes all risk associated with the application of the information contained in this document.

Thomas, WKT

2000-04-12T23:59:59.000Z

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


301

Thermodynamic modeling of performance of a Miller cycle with engine speed and variable specific heat ratio of working fluid  

Science Conference Proceedings (OSTI)

The performance of an air standard Miller cycle is analyzed using finite-time thermodynamics. The results show that if the compression ratio is less than certain value, the increase of the value of the specific heat ratio will make the power output bigger. ... Keywords: Finite-time processes, Friction, Heat resistance, Internal irreversibility, Miller heat-engine

Rahim Ebrahimi

2011-09-01T23:59:59.000Z

302

Uniform, Shape-Specific Carriers for Vaccines, Biologics and ...  

Science Conference Proceedings (OSTI)

Uniform, Shape-Specific Carriers for Vaccines, Biologics and Small Molecule Drugs: Top-down Nano-fabrication Technologies. ...

2010-10-05T23:59:59.000Z

303

NIST SP800-15, Minimum Interoperability Specification for PKI ...  

Science Conference Proceedings (OSTI)

... code (MAC) using the symmetric encryption algorithm ... 2. Infrastructure Component Specifications ... required for the interoperation of PKI components. ...

2012-05-09T23:59:59.000Z

304

Transportation, Aging and Disposal Canister System Performance Specification: Revision 1  

Energy.gov (U.S. Department of Energy (DOE))

This document provides specifications for selected system components of the Transportation, Aging and Disposal (TAD) canister-based system.

305

Modeling and Analysis of Time-Varying Graphs  

E-Print Network (OSTI)

We live in a world increasingly dominated by networks -- communications, social, information, biological etc. A central attribute of many of these networks is that they are dynamic, that is, they exhibit structural changes over time. While the practice of dynamic networks has proliferated, we lag behind in the fundamental, mathematical understanding of network dynamism. Existing research on time-varying graphs ranges from preliminary algorithmic studies (e.g., Ferreira's work on evolving graphs) to analysis of specific properties such as flooding time in dynamic random graphs. A popular model for studying dynamic graphs is a sequence of graphs arranged by increasing snapshots of time. In this paper, we study the fundamental property of reachability in a time-varying graph over time and characterize the latency with respect to two metrics, namely store-or-advance latency and cut-through latency. Instead of expected value analysis, we concentrate on characterizing the exact probability distribution of routing l...

Basu, Prithwish; Ramanathan, Ram; Johnson, Matthew P

2010-01-01T23:59:59.000Z

306

An Object-Oriented Algebraic Steam-Boiler Control Specification  

E-Print Network (OSTI)

An Object-Oriented Algebraic Steam-Boiler Control Specification Peter Csaba ()lveczky, Poland Abstract. In this paper an object-oriented algebraic solution of the steam-boiler specification Introduction The steam-boiler control specification problem has been proposed as a challenge for different

?lveczky, Peter Csaba

307

An Object-Oriented Algebraic Steam-Boiler Control Specification  

E-Print Network (OSTI)

An Object-Oriented Algebraic Steam-Boiler Control Specification.In this paper an object-oriented algebraic solution of the steam-boiler specification problem is presented computations cannot happen. 1 Introduction The steam-boiler control specification problem has been

?lveczky, Peter Csaba

308

Task-specific information retrieval systems for software engineers  

Science Conference Proceedings (OSTI)

This paper discusses the development of task-specific information retrieval systems for software engineers. We discuss how software engineers interact with information and information retrieval systems and investigate to what extent a domain-specific ... Keywords: Collaborative filtering, Contextualization of information retrieval, Domain-specific information retrieval, Implicit feedback

Adam Grzywaczewski; Rahat Iqbal

2012-07-01T23:59:59.000Z

309

Important Cognitive Components of Domain-Specific Search Knowledge  

E-Print Network (OSTI)

the subject-specific terms to enter in a query. For example, many university students often buy electronicImportant Cognitive Components of Domain-Specific Search Knowledge Suresh K. Bhavnani School Many users have acquired a sophisticated understanding of searching the Web in specific domains

Bhavnani, Suresh K.

310

A four-way framework for validating a specification  

Science Conference Proceedings (OSTI)

The validation of a software specification may be viewed as a function of what the specification is to be used for and any comprehensive validation exercise needs to address possibly conflicting requirements. In this paper we develop a framework which ... Keywords: formal specification, requirements, spiral model, validation

Cyrille Dongmo; John A. van der Poll

2010-10-01T23:59:59.000Z

311

Development of quantitative real time PCR to assess human brain microvascular endothelial cell susceptibility to HIV -1 infection  

E-Print Network (OSTI)

of Quantitative Real Time PCR to Assess Human Brainof the PCR assays.. 18and optimization of qRT-PCR assays specific for different

Chao, Ying Sheng

2008-01-01T23:59:59.000Z

312

Time-lock Puzzles and Timed-release Crypto  

Science Conference Proceedings (OSTI)

Our motivation is the notion of ``timed-release crypto,'''' where the goal is to encrypt a message so that it can not be decrypted by anyone, not even the sender, until a pre-determined amount of time has passed. The goal is to ``send information into ...

R. L. Rivest; A. Shamir; D. A. Wagner

1996-02-01T23:59:59.000Z

313

VARIABLE TIME-INTERVAL GENERATOR  

DOE Patents (OSTI)

This patent relates to a pulse generator and more particularly to a time interval generator wherein the time interval between pulses is precisely determined. The variable time generator comprises two oscillators with one having a variable frequency output and the other a fixed frequency output. A frequency divider is connected to the variable oscillator for dividing its frequency by a selected factor and a counter is used for counting the periods of the fixed oscillator occurring during a cycle of the divided frequency of the variable oscillator. This defines the period of the variable oscillator in terms of that of the fixed oscillator. A circuit is provided for selecting as a time interval a predetermined number of periods of the variable oscillator. The output of the generator consists of a first pulse produced by a trigger circuit at the start of the time interval and a second pulse marking the end of the time interval produced by the same trigger circuit.

Gross, J.E.

1959-10-31T23:59:59.000Z

314

Reactor control rod timing system  

DOE Patents (OSTI)

A fluid driven jet-edge whistle timing system for control rods of a nuclear reactor for producing real-time detection of the timing of each control rod in its scram operation. An important parameter in reactor safety, particularly for liquid metal fast breeder reactors (LMFBR), is the time deviation between the time the control rod is released and the time the rod actually reaches the down position. The whistle has a nearly pure tone signal with center frequency (above 100 kHz) far above the frequency band in which the energy of the background noise is concentrated. Each control rod can be fitted with a whistle with a different frequency so that there is no ambiguity in differentiating the signal from each control rod.

Wu, Peter T. K. (Clifton Park, NY)

1982-01-01T23:59:59.000Z

315

Development of a model to calculate mechanical specific energy for air hammer drilling systems  

E-Print Network (OSTI)

Drilling for hydrocarbons is an expensive operation; consequently operators try to save costs by reducing the number of days spent during this operation. Drilling efficiently with the highest attainable rate of penetration is one of the ways drilling time could be reduced. Real-time monitoring of Mechanical Specific Energy will enable drilling engineers to detect when the optimum drilling rate for a given set of drilling parameters is not being achieved. Numerous works have been done on air hammers and rock Mechanical Specific Energy. Previous research has shown that Mechanical Specific Energy, which is a ratio that quantifies the input energy and Rate of Penetration (ROP) of a drilling system, is directly proportional to the rock compressive strength being drilled. The Mechanical Specific Energy model utilizes drilling parameters such as ROP, Weight on bit (WOB), RPM, torque, flow-rate, bottom-hole pressure, and bottom-hole temperature to show how effectively energy being put into the drill string is being converted to ROP at the bit. This research effort proposes a new model to calculate the Mechanical Specific Energy for air hammer drilling systems. A thermodynamic model for the air hammer from which the piston impact velocity and kinetic energy is obtained is presented. To be able to estimate the effective energy delivered to the rock by the hammer, the stress wave propagation model is used and factored into the Mechanical Specific Energy model. The Mechanical Specific Energy values obtained from the application of this model provide a qualitative indicator of formation pressure changes and a means for drilling engineers to detect when optimum drilling rate is not being achieved. It can be deduced from the model that the impact energy of the hammer is greatly affected by the pressure drop across the hammer and since the hammer accounts for about sixty percent of the energy required for destroying the rock, the ROP can be varied by varying the pressure drop across the hammer.

Okuchaba, Boma Jeremiah

2008-05-01T23:59:59.000Z

316

Essays in time and risk  

E-Print Network (OSTI)

lists yield systematically higher discount rates and utilityList methodology: identifying time preferences with MPLs and utilityrisk price list to inform curvature of the utility function

Sprenger, Charles

2011-01-01T23:59:59.000Z

317

Real time wind turbine simulator.  

E-Print Network (OSTI)

??A novel dynamic real-time wind turbine simulator (WTS) is developed in this thesis, which is capable of reproducing dynamic behavior of real wind turbine. The (more)

Gong, Bing

2007-01-01T23:59:59.000Z

318

Time and Frequency Users Manual  

Science Conference Proceedings (OSTI)

... 9 TERMS USED 11 ... 135 GLOSSARY 137 INDEX ... The OIL INDUSTRY needs accurate timing to help automate oil well drilling, especially offshore. ...

2002-01-02T23:59:59.000Z

319

Time-critical information services  

Science Conference Proceedings (OSTI)

Emergency medical services have never been more ready for the implementation of time-critical interorganizational information services for the public good.

Thomas A. Horan; Benjamin L. Schooley

2007-03-01T23:59:59.000Z

320

Automated Computer Time Service (ACTS)  

Science Conference Proceedings (OSTI)

... provided since 1988 for users who need to synchronize computer clocks to ... For computers with Internet access, the Internet Time Service should be ...

2013-02-22T23:59:59.000Z

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


321

Independent Specific Administrative Controls Review, Office of River  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Office of Office of River Protection - December 2010 Independent Specific Administrative Controls Review, Office of River Protection - December 2010 December 2010 Specific Administrative Controls Review with the Office of Environmental Management at the Office of River Protection The U.S. Department of Energy Office of Independent Oversight, within the Office of Health, Safety and Security, participated in an Office of Environmental Management Office of Standards and Quality Assurance, EM-23, review of Specific Administrative Controls (SAC). The EM-23 review included selected Office of River Protection programs at the Hanford Site. Independent Specific Administrative Controls Review, Office of River Protection - December 2010 More Documents & Publications Independent Specific Administrative Controls Review, Richland Operations

322

Renewable Energy Specifications, Testing and Certification Terms of  

Open Energy Info (EERE)

Renewable Energy Specifications, Testing and Certification Terms of Renewable Energy Specifications, Testing and Certification Terms of Reference Jump to: navigation, search Tool Summary Name: Renewable Energy Specifications, Testing and Certification Terms of Reference Agency/Company /Organization: World Bank Sector: Energy Focus Area: Solar, - Solar PV Topics: Market analysis, Co-benefits assessment Website: web.worldbank.org/WBSITE/EXTERNAL/TOPICS/EXTENERGY2/EXTRENENERGYTK/0,, References: Renewable Energy Specifications, Testing and Certification Terms of Reference[1] Resources Establishment of Local PV Systems Certification Capability Preparation of Small Private Power Producers Grid Connection Standards Establishment of Local PV System Battery Testing Procedure References ↑ "Renewable Energy Specifications, Testing and Certification

323

Examining the specific entropy (density of adiabatic invariants) of the outer electron radiation belt  

Science Conference Proceedings (OSTI)

Using temperature and number-density measurements of the energetic-electron population from multiple spacecraft in geosynchronous orbit, the specific entropy S = T/n{sup 2/3} of the outer electron radiation belt is calculated. Then 955,527 half-hour-long data intervals are statistically analyzed. Local-time and solar-cycle variations in S are examined. The median value of the specific entropy (2.8 x 10{sup 7} eVcm{sup 2}) is much larger than the specific entropy of other particle populations in and around the magnetosphere. The evolution of the specific entropy through high-speed-stream-driven geomagnetic storms and through magnetic-cloud-driven geomagnetic storms is studied using superposed-epoch analysis. For high-speed-stream-driven storms, systematic variations in the entropy associated with electron loss and gain and with radiation-belt heating are observed in the various storm phases. For magnetic-cloud-driven storms, multiple trigger choices for the data superpositions reveal the effects of interplanetary shock arrival, sheath driving, cloud driving, and recovery phase. The specific entropy S = T/n{sup 2/3} is algebraically expressed in terms of the first and second adiabatic invariants of the electrons: this allows a relativistic expression for S in terms of T and n to be derived. For the outer electron radiation belt at geosynchronous orbit, the relativistic corrections to the specific entropy expression are -15%.

Borovsky, Joseph E [Los Alamos National Laboratory; Denton, Michael H [LANCASTER UNIV

2008-01-01T23:59:59.000Z

324

Guide Specifications: An Overlooked Avenue for Promoting Building Energy  

NLE Websites -- All DOE Office Websites (Extended Search)

Guide Specifications: An Overlooked Avenue for Promoting Building Energy Guide Specifications: An Overlooked Avenue for Promoting Building Energy Efficiency Title Guide Specifications: An Overlooked Avenue for Promoting Building Energy Efficiency Publication Type Conference Proceedings Year of Publication 2000 Authors Coleman, Philip, and Alexander T. Shaw Conference Name 2000 ACEEE Summer Study on Energy Efficiency in Buildings Volume 4 Pagination 47-54 Date Published 01/2000 Abstract Guide specifications, the templates from which individual building project specifications are based, can be written to require high-efficiency products or systems. This paper documents a few selected instances where federal, state, or commercial guide specifications have incorporated such provisions, resulting in estimated annual savings in 2010 of over $30 million. The argument is made that promoting higher efficiency through guide specifications has several advantages over other avenues, including the improvement of building codes. The paper calls for increased attention to this overlooked opportunity from the energy policy community.

325

Time-Constrained Loop Pipelining  

Science Conference Proceedings (OSTI)

This paper addresses the problem of Time-Constrained Loop Pipelining, i.e. given a fixed throughput, finding a schedule of a loop which minimizes resource requirements. This paper proposes a methodology, called TCLP, based on dividing the problem into ... Keywords: loop pipelining, scheduling, timing and resource contraints, register optimization

Fermin Sanchez

1995-12-01T23:59:59.000Z

326

Beam Time Allocation Committee (BAC)  

NLE Websites -- All DOE Office Websites (Extended Search)

Time Allocation Committee (BAC) Time Allocation Committee (BAC) Charter Purpose: Allocates general user beam time by instrument to promote diverse and high- impact science and a broad-based user community to meet DOE and NSSD goals. Participants: BAC Chair (appointed by NSSD Director), Instrument Group Leaders, User Office Schedule: Tied to proposal calls - expected to meet at least 2 times/year with meetings scheduled about 6 weeks after the proposal call has closed and at least 1 month prior to scheduled operations. Process: 1. Instrument Group Leaders (with group members): a. Confirm feasibility (equipment requirements and instrument capabilities) and safe operations b. Review amount of beam time requested and adjust as needed with consideration for instrument and sample environment availability.

327

Finding patterns in timed data with spike timing dependent plasticity  

E-Print Network (OSTI)

My research focuses on finding patterns in events - in sequences of data that happen over time. It takes inspiration from a neuroscience phenomena believed to be deeply involved in learning. I propose a machine learning ...

Oliveira, Alexandre (Alexandre S.)

2012-01-01T23:59:59.000Z

328

Upgrade of NSLS timing system  

SciTech Connect

We report on the progress of the new NSLS timing system. There are three types of requirements for NSLS timing system: clocks, synchronization and trigger circuits. All ring revolution frequency clocks are generated using ECL and high speed TTL logic. The synchronization circuits allows to fill both storage rings with any bunch pattern. The triggers are generated by using commercially available digital delay generators. The delay unit`s outputs are ultrastable, with a resolution of 5 ps, and are programmed by computer via IEEE 488 interface. The block diagrams, description of all major timing components and the present status are provided in this paper.

Singh, O.; Ramamoorthy, S.; Sheehan, J.; Smith, J.

1995-05-01T23:59:59.000Z

329

CRAD, Specific Administrative Controls - December 14, 2007 | Department of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Specific Administrative Controls - December 14, 2007 Specific Administrative Controls - December 14, 2007 CRAD, Specific Administrative Controls - December 14, 2007 December 14, 2007 Specific Administrative Controls Implementation Inspection Criteria, Approach, and Lines of Inquiry (HSS CRAD 64-32) The Department of Energy (DOE) has set expectations for implementing Administrative Controls (ACs) that are selected to provide preventive and/or mitigative functions for specific potential accident scenarios, and which also have safety importance equivalent to engineered controls that would be classified as safety class or safety significant if engineered controls were available and selected. This class of AC is designated as Specific Administrative Controls (SACs). The following provides an overview of the typical activities that will be performed to collect information

330

Contractor-Specific Documentation & Information in PARS II  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Contractor-Specific Documentation & Information in PARS II Contractor-Specific Documentation & Information in PARS II DOE Office of Acquisition and Project Management established guidelines for documentation that should be available within PARS II through contractor-specific records that are not linked to any specific project within PARS II. This guidance is applicable only to those contractors who are currently executing Active Post CD-2 Capital Asset Construction Project(s) that are reported in PARS II. Table below outlines specific documents that should be attached to the contractor record in PARS II as well as the party responsible for ensuring contractor record contains each specific document. DOCUMENT NAME DOCUMENT DESCRIPTION UPLOAD RESPONSIBILITY EVMS Systems Description Current contractor EVMS Systems Description document with all

331

Logarithmic time parallel Bayesian inference  

Science Conference Proceedings (OSTI)

I present a parallel algorithm for exact probabilistic inference in Bayesian networks. For polytree networks with n variables, the worstcase time complexity is O(logn) on a CREW PRAM (concurrent-read, exclusive-write parallel random-access ...

David M. Pennock

1998-07-01T23:59:59.000Z

332

The structure of cosmic time  

E-Print Network (OSTI)

Following the approach of Julien Lesgourgues [1], we analyze the mathematical structure of the time co-ordinate of present day cosmological models, where these models include a cosmological constant term to account for the observed acceleration of the universe [2], [3]: we find that in all cases, except for a set of measure zero in the parameter space, the time is given by an (abelian) integral on a torus; the imaginary period of this integral then gives a natural periodicity in imaginary time for the universe; following Stephen Hawking [4], [5], this periodicity may be interpreted either as giving a fundamental mass scale for the universe, or (using Plancks constant) a fundamental temperature, or both. The precise structure that emerges suggests that the structure of time can be regarded as an order parameter arising perhaps in a phase transition in the early universe; one might hope that this structure

George Sparling

2006-01-01T23:59:59.000Z

333

Silicon photomultiplier timing performance study  

E-Print Network (OSTI)

Many characteristics of Silicon Photomultipliers can be tuned with temperature and operation voltage. We present preliminary results of a study of the effect of these two operation parameters on the time resolution of large active area Multi-Pixel Photon Counters (MPPCs) manufactured by Hamamatsu. Measurements at -10 C, 0 C, and 10 C at different bias voltages were performed. The time resolution is best at low temperature and high over-voltage. Most significant improvements can be achieved in cases with low number of fired pixels (40 pixels) the effect of temperature and operation voltage becomes smaller. The timing performance still improves with decreasing temperature (~ factor of 2) but it hardly depends on the operation voltage. The study shows, that especially in applications where only few photons are available for detection a careful optimization of temperature and operation voltage are advisable to obtain optimum timing results with the MPPC.

Gama Ahmed; Paul Bhler; Johann Marton; Ken Suzuki

2010-06-21T23:59:59.000Z

334

A real time priority scheduler  

Science Conference Proceedings (OSTI)

The real time priority scheduler reported herein evolved from a design effort to provide software aids for handling the interrupts that occur in hybrid computation. Since these interrupts are both internal and external (i.e., generated internal and external ...

Karl Ramsay; Jon C. Strauss

1966-01-01T23:59:59.000Z

335

Time-Constrained Loop Pipelining  

E-Print Network (OSTI)

This paper addresses the problem of Time-Constrained Loop Pipelining, i.e. given a fixed throughput, finding a schedule of a loop which minimizes resource requirements. We propose a methodology, called TCLP, based on dividing the problem into two simpler and independent tasks: retiming and scheduling. TCLP explores different sets of resources, searchingfor a maximum resource utilization. This reduces area requirements. After a minimum set of resourceshas been found, the execution throughput is increased and the number of registers required by the loop schedule is reduced. TCLP attempts to generate a schedule which minimizes cost in time and area (resources and registers). The results show that TCLP obtains optimal schedules in most cases. 1 Introduction This paper presents TCLP, a methodology to solve TimeConstrained Loop Pipelining. TCLP is NP-complete [3]. Two types of timing constraints (TCs) have been considered in the literature: local TCs to specify minimum and/or maximum TCs ...

Fermn Sanchez; Jordi Cortadella

1995-01-01T23:59:59.000Z

336

Development of the ITER magnetic diagnostic set and specification  

SciTech Connect

ITER magnetic diagnostics are now in their detailed design and R and D phase. They have passed their conceptual design reviews and a working diagnostic specification has been prepared aimed at the ITER project requirements. This paper highlights specific design progress, in particular, for the in-vessel coils, steady state sensors, saddle loops and divertor sensors. Key changes in the measurement specifications, and a working concept of software and electronics are also outlined.

Vayakis, G.; Delhom, D.; Encheva, A.; Giacomin, T.; Jones, L.; Patel, K. M.; Portales, M.; Prieto, D.; Simrock, S.; Snipes, J. A.; Udintsev, V. S.; Watts, C.; Winter, A.; Zabeo, L. [ITER Organization, Route de Vinon, F-13115 St Paul lez Durance (France); Arshad, S.; Perez-Lasala, M.; Sartori, F. [Fusion for Energy, Barcelona (Spain)

2012-10-15T23:59:59.000Z

337

Discrete space-time symmetries  

SciTech Connect

Symmetries have always fascinated human beings; they are found in nature, art, and architecture. Physicists, like other scientists have often used symmetries as a basis of their understanding of nature. When the dynamics is unknown, symmetries serve to delineate and define it. When the dynamics is known, symmetries are used to study structure. These two lectures review the theory and present understanding and status of two discrete space-time symmetries,, namely parity (P) and time reversal (T).

Henley, E.M.

1992-12-31T23:59:59.000Z

338

Discrete space-time symmetries  

SciTech Connect

Symmetries have always fascinated human beings; they are found in nature, art, and architecture. Physicists, like other scientists have often used symmetries as a basis of their understanding of nature. When the dynamics is unknown, symmetries serve to delineate and define it. When the dynamics is known, symmetries are used to study structure. These two lectures review the theory and present understanding and status of two discrete space-time symmetries,, namely parity (P) and time reversal (T).

Henley, E.M.

1992-01-01T23:59:59.000Z

339

Open Automated Demand Response Communications Specification (Version 1.0)  

E-Print Network (OSTI)

mayincludethingslikerealtimeprices,shedor shiftparticipantloads: 1. Real?timepricesarepropagatedfromshedorshiftloads. 2. Real?timepricesaresentbythe

Piette, Mary Ann

2009-01-01T23:59:59.000Z

340

eGSE America: Electric Aircraft Cargo Conveyor Technical Specification  

NLE Websites -- All DOE Office Websites (Extended Search)

EACC Technical Specifications EACC Technical Specifications eGSE America: Electric Aircraft Cargo Conveyor (EACC) Technical Specifications Revision 00 August 2005 Prepared by Electric Transportation Applications eGSE America: EACC Technical Specifications 1.0 SCOPE: This document outlines the design and performance requirements for a battery- powered, self propelled belt conveyor for handling baggage and cargo at aircraft bulk cargo holds. The use of "shall" in this document indicates a mandatory requirement. The use of "should" indicates a recommendation or that which is advised but not required. 2.0 APPLICABLE DOCUMENTS: Portions of the following documents to the extent specified herein are a part of this Recommended Practice.

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


341

Lawrence Berkeley National Lab/ Site Specific Safety Plan  

NLE Websites -- All DOE Office Websites (Extended Search)

Lab/ Site Specific Safety Plan Lab/ Site Specific Safety Plan Site Specific Safety Plan Site Specific Safety Plan shall contain at a minimum: List by name & phone numbers the following person who will be on the project: Submit: Name of the On-site Superintendent & Phone. Submit: Name of the On-site Health and Safety Representative & Phone. Submit: Name of the person who is responsible for the implementation of safety plan. Submit: Resume & qualification of the person who is responsible for implantation of this projects safety plan. Include OSHA certifications. Submit: The companies' Policy statement on environment, safety and health. Submit: The companies' Policy on substance abuse and testing policy.

342

Methods for Determining Energy Efficiency Savings for Specific Measures |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Methods for Determining Energy Efficiency Savings for Specific Methods for Determining Energy Efficiency Savings for Specific Measures Methods for Determining Energy Efficiency Savings for Specific Measures This document provides a set of model protocols for determining energy and demand savings that result from specific energy efficiency measures implemented through state and utility efficiency programs. The methods described here are approaches that are-or are among-the most commonly used in the energy efficiency industry for certain measures or programs. Acknowledgements Introduction Commercial and Industrial Lighting Evaluation Protocol Commercial and Industrial Lighting Controls Evaluation Protocol Small Commercial and Residential Unitary and Split System HVAC Cooling Equipment-Efficiency Upgrade Evaluation Protocol

343

FTCP Site Specific Information - Office of Health, Safety & Security...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Security FTCP Site Specific Information - Office of Health, Safety & Security FTCP Agent Organization Name Phone E-Mail HSS HQ Pat Worthington Bradley Davy 301903-6929 301...

344

Specific Examples of Global Activities Environmental assessment in Azerbaijan  

E-Print Network (OSTI)

Specific Examples of Global Activities · Environmental assessment in Azerbaijan · Study abroad · Environmental assessment in Azerbaijan · Study abroad entrepreneurship internship with the Tsinghua University

345

Specifications of the SNAP Instrument | ORNL Neutron Sciences  

NLE Websites -- All DOE Office Websites (Extended Search)

& Education Specifications of the SNAP Instrument Moderator Decoupled poisoned supercritical hydrogen Source to sample distance 15 m Sample to detector distance 50 cm Angular...

346

Advanced Vehicle Testing Activity: Oil Bypass Filter Specifications...  

NLE Websites -- All DOE Office Websites (Extended Search)

and Test Procedures to someone by E-mail Share Advanced Vehicle Testing Activity: Oil Bypass Filter Specifications and Test Procedures on Facebook Tweet about Advanced...

347

Contractor-Specific Documentation & Information in PARS II  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Contractor-Specific Documentation & Information in PARS II DOE Office of Acquisition and Project Management established guidelines for documentation that should be available within...

348

DOE specification: Flooded-type lead-acid storage batteries  

DOE Green Energy (OSTI)

This document contains a ``fill-in-the-blanks`` guide specification for procurement of flooded-type lead-acid storage batteries, for uninterruptible power supply applications.

NONE

1996-08-01T23:59:59.000Z

349

Method for Preparation of High Specific Activity Reactor ...  

Method for Preparation of High Specific Activity Reactor-Produced Lutetium-177 Note: The technology described above is an early stage opportunity.

350

NIST SP 800-76-2, Biometric Specifications for Personal ...  

Science Conference Proceedings (OSTI)

... Although FBI requirements drive the sensor specifications, the ... bright light sources, such as direct sunlight, is ... A template generator is certified on the ...

2013-07-12T23:59:59.000Z

351

Energy: Critical Infrastructure and Key Resources Sector-Specific...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Energy: Critical Infrastructure and Key Resources Sector-Specific Plan as input to the National Infrastructure Protection Plan (Redacted) Energy: Critical Infrastructure and Key...

352

Energy Critical Infrastructure and Key Resources Sector-Specific...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Energy Critical Infrastructure and Key Resources Sector-Specific Plan as input to the National Infrastructure Protection Plan (Redacted) Energy Critical Infrastructure and Key...

353

RSS Feeds for Specific Tropical Cyclones of the North Atlantic...  

NLE Websites -- All DOE Office Websites (Extended Search)

RSS Feeds for Specific Tropical Cyclones of the North Atlantic, Caribbean Sea, and Gulf of Mexico (English) Agriculture Community Menu DATA APPS EVENTS DEVELOPER STATISTICS...

354

New Catalytic Approach Builds Molecules with Specific Functionality...  

Office of Science (SC) Website

hydrocarbons to produce specific functionality are central to the development of advanced technologies that can provide dramatic improvements in the utilization of energy. The...

355

Making web annotations persistent over time  

SciTech Connect

As Digital Libraries (DL) become more aligned with the web architecture, their functional components need to be fundamentally rethought in terms of URIs and HTTP. Annotation, a core scholarly activity enabled by many DL solutions, exhibits a clearly unacceptable characteristic when existing models are applied to the web: due to the representations of web resources changing over time, an annotation made about a web resource today may no longer be relevant to the representation that is served from that same resource tomorrow. We assume the existence of archived versions of resources, and combine the temporal features of the emerging Open Annotation data model with the capability offered by the Memento framework that allows seamless navigation from the URI of a resource to archived versions of that resource, and arrive at a solution that provides guarantees regarding the persistence of web annotations over time. More specifically, we provide theoretical solutions and proof-of-concept experimental evaluations for two problems: reconstructing an existing annotation so that the correct archived version is displayed for all resources involved in the annotation, and retrieving all annotations that involve a given archived version of a web resource.

Sanderson, Robert [Los Alamos National Laboratory; Van De Sompel, Herbert [Los Alamos National Laboratory

2010-01-01T23:59:59.000Z

356

Reduction in maximum time uncertainty of paired time signals  

DOE Patents (OSTI)

Reduction in the maximum time uncertainty (t/sub max/ - t/sub min/) of a series of paired time signals t/sub 1/ and t/sub 2/ varying between two input terminals and representative of a series of single events where t/sub 1/ less than or equal to t/sub 2/ and t/sub 1/ + t/sub 2/ equals a constant, is carried out with a circuit utilizing a combination of OR and AND gates as signal selecting means and one or more time delays to increase the minimum value (t/sub min/) of the first signal t/sub 1/ closer to t/sub max/ and thereby reduce the difference. The circuit may utilize a plurality of stages to reduce the uncertainty by factors of 20 to 800.

Theodosiou, G.E.; Dawson, J.W.

1981-02-11T23:59:59.000Z

357

Captured motion data processing for real time synthesis of sign language  

Science Conference Proceedings (OSTI)

This study proposes a roadmap for the creation and specification of a virtual humanoid capable of performing expressive gestures in real time. We present a gesture motion data acquisition protocol capable of handling the main articulators involved in ...

Alexis Heloir; Sylvie Gibet; Franck Multon; Nicolas Courty

2005-05-01T23:59:59.000Z

358

System for remote multichannel real-time monitoring of mouse ECG via the Internet  

E-Print Network (OSTI)

A hardware/software system was developed to allow real-time monitoring of multiple physiological signals simultaneously via the Internet. The hardware is specifically designed for measuring ECG signals from mice, while the ...

Oefinger, Matthew Blake, 1976-

2003-01-01T23:59:59.000Z

359

Time series analysis of the lead-lag relationship of freight futures and spot market prices  

E-Print Network (OSTI)

This thesis analyzes the relationship between the physical and paper shipping markets. The main objective is to find if one market leads the other by a specific time period so that market players can take advantage from ...

Gavriilidis, Nikolaos

2008-01-01T23:59:59.000Z

360

Use of a Real-Time Computer Graphics System in Analysis and Forecasting  

Science Conference Proceedings (OSTI)

Real-time computer graphics systems are being introduced into weather stations throughout the United States. A sample of student forecasters used such a system to solve specific specialized forecasting problems. Results suggest that for some ...

John J. Cahir; John M. Norman; Dale A. Lowry

1981-03-01T23:59:59.000Z

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


361

Real-Time Monitoring and Prediction of Modes of Coherent Synoptic to Intraseasonal Tropical Variability  

Science Conference Proceedings (OSTI)

A technique of near-real-time monitoring and prediction of various modes of coherent synoptic to intraseasonal zonally propagating tropical variability is developed. It involves Fourier filtering of a daily updated global dataset for the specific ...

Matthew Wheeler; Klaus M. Weickmann

2001-11-01T23:59:59.000Z

362

Reviewing real-time performance of nuclear reactor safety systems  

SciTech Connect

The purpose of this paper is to recommend regulatory guidance for reviewers examining real-time performance of computer-based safety systems used in nuclear power plants. Three areas of guidance are covered in this report. The first area covers how to determine if, when, and what prototypes should be required of developers to make a convincing demonstration that specific problems have been solved or that performance goals have been met. The second area has recommendations for timing analyses that will prove that the real-time system will meet its safety-imposed deadlines. The third area has description of means for assessing expected or actual real-time performance before, during, and after development is completed. To ensure that the delivered real-time software product meets performance goals, the paper recommends certain types of code-execution and communications scheduling. Technical background is provided in the appendix on methods of timing analysis, scheduling real-time computations, prototyping, real-time software development approaches, modeling and measurement, and real-time operating systems.

Preckshot, G.G. [Lawrence Livermore National Lab., CA (United States)

1993-08-01T23:59:59.000Z

363

Automated synthesis of discrete-time sigma-delta modulators from system architecture to circuit netlist  

Science Conference Proceedings (OSTI)

A synthesis tool consisting of coefficient synthesis of architecture, circuit specifications synthesis, and CMOS operational-amplifier (op-amp) synthesis for discrete-time sigma-delta modulators (SDMs) is presented. In circuit specifications synthesis, ... Keywords: Automated synthesis, Behavioral modeling, Geometric programming, Op-amp synthesis, Sigma-delta modulator, Transistor sizing

Shuenn-Yuh Lee; Chih-Yuan Chen; Jia-Hua Hong; Rong-Guey Chang; Mark Po-Hung Lin

2011-02-01T23:59:59.000Z

364

TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola  

E-Print Network (OSTI)

TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola Dip. di Elettronica e to clearly state how the system should behave. Moving from these premises, we present TESLA, a complex event specification language. Each TESLA rule considers incoming data items as notifi- cations of events and defines

Cugola, Gianpaolo

365

Heat-source specification 500 watt(e) RTG  

DOE Green Energy (OSTI)

This specification establishes the requirements for a /sup 90/SrF/sub 2/ heat source and its fuel capsule for application in a 500 W(e) thermoelectric generator. The specification covers: fuel composition and quantity; the Hastelloy S fuel capsule material and fabrication; and the quality assurance requirements for the assembled heat source. (LCL)

Not Available

1983-02-01T23:59:59.000Z

366

Streams of Steam The Steam Boiler Specification Case Study  

E-Print Network (OSTI)

Streams of Steam ­ The Steam Boiler Specification Case Study Manfred Broy, Franz Regensburger-tuned con- cepts of FOCUS by its application of the requirements specification of a steam boiler, see [Abr96-studies. In this context, applying FOCUS to the steam boiler case study ([Abr96]) led us to a couple of questions re- #12

Cengarle, María Victoria

367

Verifying executable object-oriented specifications with separation logic  

Science Conference Proceedings (OSTI)

Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at runtime whether an assertion, such as a precondition or class invariant, ... Keywords: contracts, executable assertions, object-orientation, separation logic, specification, verification

Stephan van Staden; Cristiano Calcagno; Bertrand Meyer

2010-06-01T23:59:59.000Z

368

A data specification model for multimedia QoS negotiation  

Science Conference Proceedings (OSTI)

An important issue for multimedia quality of service (QoS) negotiation is the specification of the parameters/profiles that need to be coordinated in order to reach an agreement among involved entities regarding service configuration, resource allocation, ... Keywords: QoS, adaptation, data specification, multimedia, negotiation

Lea Skorin-Kapov; Maja Matijasevic

2007-08-01T23:59:59.000Z

369

300 Area treated effluent disposal facility operating specifications document  

Science Conference Proceedings (OSTI)

These specifications deal with the release of treated water into the Columbia River via the TEDF submerged outfall. Specific limits are set for contaminants to be discharged in NPDES permit WA-002591-7. This section contains the operating ranges that will be used to best meet the permit limits.

Olander, A.R.

1994-10-01T23:59:59.000Z

370

A debug interface for debugging multiple domain specific aspect languages  

Science Conference Proceedings (OSTI)

Research in the area of multi-DSAL development has been mainly devoted to enabling the interoperability of multiple aspect mechanisms. Less attention has been given to making programming with multiple aspect languages practical. For domain specific aspect ... Keywords: AspectJ, aspect-oriented programming (AOP), aspect-oriented software engineering (AOSE), awesome, cool, debugging, domain specific languages (DSLs), validate

Yoav Apter; David H. Lorenz; Oren Mishali

2012-03-01T23:59:59.000Z

371

Flight Plan Specification and Management for Unmanned Aircraft Systems  

Science Conference Proceedings (OSTI)

This paper presents a new concept for specifying Unmanned Aircraft Systems (UAS) flight operations that aims at improving the waypoint based approach, found in most autopilot systems, by providing higher level fligh plan specification primitives. The ... Keywords: Flight plan management, Flight plan specification, Unmanned aircraft systems (UAS)

Eduard Santamaria; Enric Pastor; Cristina Barrado; Xavier Prats; Pablo Royo; Marc Perez

2012-07-01T23:59:59.000Z

372

SPOCS: Application Specific Signal Processor for OFDM Communication Systems  

Science Conference Proceedings (OSTI)

This paper presents an Application-Specific Signal Processor (ASSP) for Orthogonal Frequency Division Multiplexing (OFDM) Communication Systems, called SPOCS. The instruction set and its architecture are specially designed for OFDM systems, such as Fast ... Keywords: ASSP, Application-Specific Instruction-Set Processor (ASIP), Bit manipulation, Communications, DSP, FFT, OFDM

Jae Hyun Baek; Sung Dae Kim; Myung H. Sunwoo

2008-12-01T23:59:59.000Z

373

Text specificity and impact on quality of news summaries  

Science Conference Proceedings (OSTI)

In our work we use an existing classifier to quantify and analyze the level of specific and general content in news documents and their human and automatic summaries. We discover that while human abstracts contain a more balanced mix of general and specific ...

Annie Louis; Ani Nenkova

2011-06-01T23:59:59.000Z

374

ConSpec A formal language for policy specification  

Science Conference Proceedings (OSTI)

The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used ... Keywords: Policy language, Runtime monitoring, Security enforcement mechanisms, Security frameworks

Irem Aktug; Katsiaryna Naliuka

2008-12-01T23:59:59.000Z

375

A Steam-Boiler Control Specification with Statecharts and Z  

E-Print Network (OSTI)

This report presents a solution to the steam-boiler control problem (see Chapter AS, this book). The main idea is to integrate a mathematical specification technique with a well-known engineering technique for the specification of safety-critical control systems. Our starting point is the technology of statecharts, which is currently being adopted in industry for the specification of embedded systems. To cope with the growing complexity and the safety requirements of these systems, we propose a combination of the specification language Z and statecharts, Z being used to model the data structures and data transformations within the system [9]. The next section sketches some key ideas relating to this combination. In the subsequent sections, we present key elements of a solution to the steam-boiler control specification problem. Throughout the presentation, we attempt to adhere closely to the original specification of the problem (see Chapter AS, this book), especially with respect to the physical interface of the control software. The full specification can be found in an Appendix (see CD-ROM Annex BW). 2 Specification Methodology

Robert Bssow; Matthias Weber

1996-01-01T23:59:59.000Z

376

May 2008 Y-12 Times  

NLE Websites -- All DOE Office Websites (Extended Search)

5 5 May 2008 www.y12.doe.gov/news/times.php P.O. Box 2009 Oak Ridge, TN 37831-8245 Managing Editor Melissa Leinart 865-574-1621 (6ml) Associate Editors Amy Alley Heidi Spurling Layout/Design Lisa Harris Contributors Ellen Boatner Ken Davis Kathy Fahey Stuart Hames Sharon McConathy Patrick McCoy I N S I D E Page 3 Fire department members come to the rescue Page 4 Driving green to protect our natural resources Page 5 73s: Best regards from Y-12's hams Page8 What's the secret? Mary Murray Brett Pate Ray Smith Donna Watson Bill Wilburn Lisa Xiques times times the B&W Technical Services Y-12, LLC, a partnership between Babcock & Wilcox Technical Services Group Inc. and Bechtel National Inc., operates the Y-12 National Security Complex. When you see information regarding the recent Voluntary Separation Payment

377

Tough Times for the Muskrats  

NLE Websites -- All DOE Office Websites (Extended Search)

Tough Times for the Muskrats Tough Times for the Muskrats Nature Bulletin No. 3 February 24, 1945 Forest Preserve District of Cook County Clayton F Smith, President Roberts Mann, Superintendent of Conservation TOUGH TIMES FOR THE MUSKRATS This has been a sorry year for the muskrats. The long drought, last summer and fall, dried up many of the smaller marshes and ponds where they had been living and forced them to migrate overland to new homes. Many undoubtedly were killed while enroute by mink, hawks, or dogs. Even the larger marshes and ponds were made smaller and more shallow by the drought and now this severe winter, with its long, bitter cold, has caused many of them to freeze solid to the very bottom; thus sealing the muskrats up in their lodges and preventing them from swimming around under the ice to get food.

378

Time-Off Awards Scale  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

/1/2010 /1/2010 TIME OFF AWARD SCALE The following chart is recommended and should be used unless another time-off award scale has been adopted by the servicing human resources office. TIME OFF SCALE VALUE OF THE EMPLOYEE'S CONTRIBUTION HOURS TO BE AWARDED MODERATE - A contribution to a product, program or service to the public which is of sufficient value to merit formal recognition. Beneficial change or modification of operating principles or procedures. 1 - 10 Hours SUBSTANTIAL - An important contribution to the value of a product, activity, program or service to the public. Significant change or modification or operating principles or procedures. 11 - 20 Hours HIGH - A significant contribution to the value of a product, activity, program or service to

379

An Algebraic Specification of the Steam-Boiler Control System  

E-Print Network (OSTI)

We describe how to derive an algebraic specification of the Steam-Boiler Control System starting from the informal requirements provided to the participants of the Dagstuhl Meeting Methods for Semantics and Speci cation, organized jointly by Jean-Raymond Abrial, Egon Brger and Hans Langmaack in June 1995. The aim of this formalization process is to analyze the informal requirements, to detect inconsistencies and loose ends, and to translate the requirements into a formal, algebraic, specification. During this process we have to provide interpretations for the unclear or missing parts. We explain how we can keep track of these additional interpretations by localizing very precisely in the formal specification where they lead to specific axioms. Hence we take care of the traceability issues. We also explain how the formal specification is obtained in a stepwise way by successive refinements. Emphasis is put on how to specify the detection of the steam-boiler failures. Finally...

Michel Bidoit; Claude Chevenier; Christine Pellen

1996-01-01T23:59:59.000Z

380

Double Shell Tank (DST) Transfer Piping Subsystem Specification  

Science Conference Proceedings (OSTI)

This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied during design of the Double-Shell Tank (DST) Transfer Piping Subsystem that supports the first phase of Waste Feed Delivery. This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied during design of the Double-Shell Tank (DST) Transfer Piping Subsystem that supports the first phase of waste feed delivery. This subsystem transfers waste between transfer-associated structures (pits) and to the River Protection Project (RPP) Privatization Contractor Facility where it will be processed into an immobilized waste form. This specification is intended to be the basis for new projects/installations (W-521, etc.). This specification is not intended to retroactively affect previously established project design criteria without specific direction by the program.

GRAVES, C.E.

2000-03-22T23:59:59.000Z

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


381

PRECISION TIME-DELAY CIRCUIT  

DOE Patents (OSTI)

A tine-delay circuit which produces a delay time in d. The circuit a capacitor, an te back resistance, connected serially with the anode of the diode going to ground. At the start of the time delay a negative stepfunction is applied to the series circuit and initiates a half-cycle transient oscillatory voltage terminated by a transient oscillatory voltage of substantially higher frequency. The output of the delay circuit is taken at the junction of the inductor and diode where a sudden voltage rise appears after the initiation of the higher frequency transient oscillations.

Creveling, R.

1959-03-17T23:59:59.000Z

382

A Simplification of a Real-Time Verification Problem  

E-Print Network (OSTI)

We revisit the problem of real-time verification with dense dynamics using timeout and calendar based models and simplify this to a finite state verification problem. To overcome the complexity of verification of real-time systems with dense dynamics, Dutertre and Sorea, proposed timeout and calender based transition systems to model the behavior of real-time systems and verified safety properties using k-induction in association with bounded model checking. In this work, we introduce a specification formalism for these models in terms of Timeout Transition Diagrams and capture their behavior in terms of semantics of Timed Transition Systems. Further, we discuss a technique, which reduces the problem of verification of qualitative temporal properties on infinite state space of (a large fragment of) these timeout and calender based transition systems into that on clockless finite state models through a two-step process comprising of digitization and canonical finitary reduction. This technique enables us to ve...

Saha, Indranil; Roy, Suman; 10.1007/978-3-540-75596-8_21

2010-01-01T23:59:59.000Z

383

Time of flight mass spectrometer  

DOE Patents (OSTI)

A time-of-flight mass spectrometer is described in which ions are desorbed from a sample by nuclear fission fragments, such that desorption occurs at the surface of the sample impinged upon by the fission fragments. This configuration allows for the sample to be of any thickness, and eliminates the need for complicated sample preparation.

Ulbricht, Jr., William H. (Arvada, CO)

1984-01-01T23:59:59.000Z

384

The TESLA Time Projection Chamber  

E-Print Network (OSTI)

A large Time Projection Chamber is proposed as part of the tracking system for a detector at the TESLA electron positron linear collider. Different ongoing R&D studies are reviewed, stressing progress made on a new type readout technique based on Micro-Pattern Gas Detectors.

Nabil Ghodbane

2002-12-12T23:59:59.000Z

385

Waste to Energy Time Activities  

E-Print Network (OSTI)

SEMINAR Waste to Energy Time Activities 9:30-9:40 Brief introduction of participants 9:40-10:10 Presentation of Dr. Kalogirou, "Waste to Energy: An Integral Part of Worldwide Sustainable Waste Management" 10. Sofia Bethanis, "Production of synthetic aggregates for use in structural concrete from waste to energy

Columbia University

386

Predictable real-time software synthesis  

Science Conference Proceedings (OSTI)

Formal theories for real-time systems (such as timed process algebra, timed automata and timed petri nets) have gained great success in the modeling of concurrent timing behavior and in the analysis of real-time properties. However, due to the ineliminable ... Keywords: Formal methods, Program synthesis, Real-time systems

Jinfeng Huang; Jeroen Voeten; Henk Corporaal

2007-08-01T23:59:59.000Z

387

Vocal Timing in the Bat  

E-Print Network (OSTI)

Bats are social organisms that live in large colonies. However, reliance upon echolocation in order to hunt and navigate, means that bats also face pressing acoustic challenges due to overlap with surrounding noise. Bats also possess fine control over the properties of their echolocation pulses. This study's goal was to determine how bats are able to effectively function in large groups despite the interfering noise generated by conspecifics. Mexican free-tailed bats (Tadarida brasiliensis) were exposed to both artificially generated interfering noises and noise generated by conspecifics, and the temporal characteristics of their resulting echolocation calls were analyzed. In addition, bats were given injections of dopaminergic and serotonergic drugs, in an effort to determine which monoamine(s) were capable of altering vocal motor timing and to determine which regions of the brain play a role in regulating the timing of echolocation. I hypothesized that bats would alter the timing of emission of their own echolocation pulses in response to noise, and that drugs affecting the 5HT2A receptor would shift the timing of emission of echolocation pulses. The first part of this dissertation describes a novel temporal alteration behavior that occurs in response to artificially generated intermittent noise, and is characterized by a period of pulse suppression followed by a gradual return to normal call rates. Bats alter the timing of emission of their echolocation pulses to avoid overlap with noise and call within silent periods. The second part of this study investigated whether dopamine or serotonin, or both, could alter the timing of this vocal behavior. The results of this study were inconclusive, although I found some evidence that 5HT2A agonists can produce faster responses. Finally, I show that echolocating bats suppress pulse emission in nearby conspecifics. The resulting decrease in call rate leads to an overall increase in information throughput. This study also demonstrates that bats respond to continuous noise by increasing their call rate, and that the switch between the responses to intermittent noise and continuous noise occurs at a duty cycle of 50% or higher. Overall, this dissertation establishes that bats alter the timing of emission of their echolocation calls in response to noise, and that these mechanisms may be regulated by serotoninergic mechanisms.

Jarvis, Jenna N

2013-05-01T23:59:59.000Z

388

Energy-efficient algorithms for flow time minimization  

E-Print Network (OSTI)

We study scheduling problems in battery-operated computing devices, aiming at schedules with low total energy consumption. While most of the previous work has focused on finding feasible schedules in deadline-based settings, in this paper we are interested in schedules that guarantee good response times. More specifically, our goal is to schedule a sequence of jobs on a variable speed processor so as to minimize the total cost consisting of the energy consumption and the total flow time of all the jobs.

Susanne Albers

2006-01-01T23:59:59.000Z

389

Real-time pricing -- supplanted by Price-risk derivatives?  

Science Conference Proceedings (OSTI)

Future trends in pricing options for wholesale electrical generation are discussed. Specifically, the effect of price derivatives on electricity consumption are examined. Economic analyses are presented for customer demand in real-time pricing scenarios with and without a price derivative hedge. It is determined that consumption will be curtailed even when price caps have been purchased. Consumption behavior is also analyzed to determine the effect of different price caps; regardless of price, consumption is curtailed in response to price.

O`Sheasy, M.

1997-03-01T23:59:59.000Z

390

"Building Energy Data Exchange Specification"  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Building Energy Data Exchange Specification" Building Energy Data Exchange Specification" "Version 2.3" "application/vnd.ms-excel" "Overview:" "This document describes the DOE Building Energy Data Exchange Specification (BEDES). BEDES is designed to support analysis of the measured energy performance of commercial and residential buildings, with data fields for building characteristics, efficiency measures and energy use. BEDES defines and describes these data fields and their relationships. " "BEDES is used for the DOE Building Performance Database (BPD) as well as the Standard Energy Efficiency Disclosure (SEED) platform, as shown below. Note that SEED includes additional fields that are outside BPD scope (e.g. property address and auditor contact information)."

391

Results from Development of Model Specifications for Multifamily Energy Retrofits  

SciTech Connect

Specifications, modeled after CSI MasterFormat, provide the trade contractors and builders with requirements and recommendations on specific building materials, components and industry practices that comply with the expectations and intent of the requirements within the various funding programs associated with a project. The goal is to create a greater level of consistency in execution of energy efficiency retrofits measures across the multiple regions a developer may work. IBACOS and Mercy Housing developed sample model specifications based on a common building construction type that Mercy Housing encounters.

Brozyna, K.

2012-08-01T23:59:59.000Z

392

Lighting Controls : Daylighting The New York Times Building  

NLE Websites -- All DOE Office Websites (Extended Search)

Lighting Controls Lighting Controls Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and Shade Controls Lighting Controls Visualizing daylight Commissioning/ verification Demand response Mainstream solutions Post-occupancy evaluation Publications Sponsors Project team Lighting Controls The lighting controls scope of work is based upon the philosophy that occupants of commercial office buildings prefer natural light to electric light. The lighting controls system specified by the Times Company for its new headquarters building is a DALI (Digital Addressable Lighting Interface) based system with dimmable fixtures throughout the interior space. This allows the system to dim down the electric lighting in response to daylight admittance. It also provides for variable target set points for illuminance levels at the work plane. The Times Company intends to establish and adjust target set points on a departmental basis. The lighting control sequences are described within the specification 16575. These sequences utilize occupancy sensors, photo sensors, switches and a time clock to control the lighting in the interior space on each floor. The emergency lighting system is also described within the specification. The lighting control sequences are tied to Control Intent Diagrams that divide up the space on each floor into its various control zones. The overall intent is to provide electric light only when the space is occupied and to provide as little electric light as is necessary to achieve the target set point for the work plane in a given department. A department usually occupies multiple floors.

393

High resolution time interval meter  

DOE Patents (OSTI)

Method and apparatus are provided for measuring the time interval between two events to a higher resolution than reliability available from conventional circuits and component. An internal clock pulse is provided at a frequency compatible with conventional component operating frequencies for reliable operation. Lumped constant delay circuits are provided for generating outputs at delay intervals corresponding to the desired high resolution. An initiation START pulse is input to generate first high resolution data. A termination STOP pulse is input to generate second high resolution data. Internal counters count at the low frequency internal clock pulse rate between the START and STOP pulses. The first and second high resolution data are logically combined to directly provide high resolution data to one counter and correct the count in the low resolution counter to obtain a high resolution time interval measurement.

Martin, A.D.

1986-05-09T23:59:59.000Z

394

Mar_13Times.indd  

NLE Websites -- All DOE Office Websites (Extended Search)

MARCH 2013 MARCH 2013 inside this issue ... FIRP draws to a close Page 2 Reminisce: Y-12 turns 70 Page 4 Russia's secret city Page 5 Development retools its CONOPS Page 6 ... and other Y-12 news Miss an issue? Find us online, http://www.y12.doe.gov/news/times.php MISSION, cont. on pg. 2 The National Nuclear Security Administration's Performance Evaluation Report for B&W Y-12, released Feb. 11, gave "Very Good" ratings to B&W Y-12 in areas related to all three core missions: maintaining the nuclear weapons stockpile, powering the nuclear Navy and nonproliferation. The report evaluates B&W Y-12's performance based on the Performance Evaluation Plan approved at the beginning of fi scal 2012. Programs The Y-12 Times highlighted the success of fi

395

Time-parareal parallel in time integrator solver for time-dependent neutron diffusion equation  

E-Print Network (OSTI)

-dependent spatial flux distribution in nuclear reactor is required for nuclear safety and design. The motivation present a time-parallel algorithm that simulate the kinetic of neutron2 in a nuclear reactor. We consider engine behavior and in particular its energy4 production.5 The flux distribution on the nuclear reactor

396

Why Time is Future Oriented  

E-Print Network (OSTI)

We assume that the universe consists of clusters which in turns have sub-clusters and the sub-clusters have sub-subclusters and so on. Confining to three-dimensional space, it is shown that the universe is expanding if entropy of the universe increases. It is also shown that clocks slow down when time progresses towards future. Our model also justifies the big bang theory.

Shahid N. Afridi; M. Khalid Khan

2004-12-09T23:59:59.000Z

397

NREL: Technology Deployment - Standard Work Specifications for Home Energy  

NLE Websites -- All DOE Office Websites (Extended Search)

Standard Work Specifications for Home Energy Upgrades Standard Work Specifications for Home Energy Upgrades Online Tool Explore the Standard Work Specifications Online Tool now. The Standard Work Specifications (SWS) for Home Energy Upgrades is an industry resource developed under the U.S. Department of Energy's (DOE) Guidelines for Home Energy Professionals project. DOE chose NREL to drive the technical aspects of the project, along with the communication and outreach efforts. The SWS define the outcomes of quality work within the home energy upgrade industry, setting uniform expectations that can be leveraged in energy audits, scopes of work, quality control efforts, and training. The SWS reflect a whole-house approach to installing energy-efficiency measures and include ventilation, insulation, air sealing, and more. Safe work

398

NREL: PVWatts Site Specific Data Calculator (Version 1)  

NLE Websites -- All DOE Office Websites (Extended Search)

Site Specific Data Calculator (Version 1) Site Specific Data Calculator (Version 1) PVWattsTM Site Specific Data calculator allows users to select a photovoltaic (PV) system location from a defined list of options. For locations within the United States and its territories, users select a location from a map of 239 options. For international locations, users select a location from a drop-down menu of options. The PVWatts Site Specific Data calculator uses hourly typical meteorological year (TMY) weather data and a PV performance model to estimate annual energy production and cost savings for a crystalline silicon PV system. For locations in the United States and its territories, the PVWatts Version 1 calculator uses NREL TMY data. For other locations, it uses TMY data from the Solar and Wind Energy Resource Assessment

399

Stable Isotope, Site-Specific Mass Tagging For Protein Identification  

NLE Websites -- All DOE Office Websites (Extended Search)

Stable Isotope, Site-Specific Mass Tagging For Protein Stable Isotope, Site-Specific Mass Tagging For Protein Identification Stable Isotope, Site-Specific Mass Tagging For Protein Identification Proteolytic peptide mass mapping as measured by mass spectrometry provides an important method for the identification of proteins, which are usually identified by matching the measured and calculated m/z values of the proteolytic peptides. Available for thumbnail of Feynman Center (505) 665-9090 Email Stable Isotope, Site-Specific Mass Tagging For Protein Identification Proteolytic peptide mass mapping as measured by mass spectrometry provides an important method for the identification of proteins, which are usually identified by matching the measured and calculated m/z values of the proteolytic peptides. A unique identification is, however, heavily

400

Building America Climate-Specific Guidance | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

America » Building America America » Building America Climate-Specific Guidance Building America Climate-Specific Guidance Building America Climate-Specific Guidance Building America's Best Practices guides and case studies demonstrate real world solutions for improving the energy performance and quality of new and existing homes in five major climate regions. Find examples of proven high-performance home building and remodeling in your area by selecting a climate zone below. In addition, you may view technology-specific building solutions that work across all climates. Cold and Very Cold Climates Hot-Dry and Mixed-Dry Climates Hot-Humid Climates Marine Climates Mixed-Humid Climates All Climates For additional, updated information on hundreds of building science topics that can help you build or retrofit to the most recent high-performance

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


401

New methods for detecting lineage-specific selection  

Science Conference Proceedings (OSTI)

So far, most methods for identifying sequences under selection based on comparative sequence data have either assumed selectional pressures are the same across all branches of a phylogeny, or have focused on changes in specific lineages of interest. ...

Adam Siepel; Katherine S. Pollard; David Haussler

2006-04-01T23:59:59.000Z

402

Conference (2010)" A tool for checking CSP||B specifications ?  

E-Print Network (OSTI)

This paper reports about our experience with building a simple tool to assist us in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding and modeling

Huu Nghia Nguyen; Jean-pierre Jacquot; Loria Nancy Universit

2010-01-01T23:59:59.000Z

403

Specification Test Compaction for Analog Circuits and MEMS  

E-Print Network (OSTI)

Testing a non-digital integrated system against all of its specifications can be quite expensive due to the elaborate test application and measurement setup required. We propose to eliminate redundant tests by employing e-SVM based statistical learning. Application of the proposed methodology to an operational amplifier and a MEMS accelerometer reveal that redundant tests can be statistically identified from a complete set of specification-based tests with negligible error. Specifically, after eliminating five of eleven specification-based tests for an operational amplifier, the defect escape and yield loss is small at 0.6% and 0.9%, respectively. For the accelerometer, defect escape of 0.2% and yield loss of 0.1% occurs when the hot and colt tests are eliminated. For the accelerometer, this level of Compaction would reduce test cost by more than half.

Biswas, Sounil; D., R; Blanton,; Pileggi, Larry T

2011-01-01T23:59:59.000Z

404

VIN# JHMZE2H59AS011748 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

H59AS011748 Vehicle Specifications Engine: 1.3 L 4-cylinder Electric Motor: 10 kW Battery: NiMH Seatbelt Positions: Five Payload: 907 lbs Features: Regenerative braking Traction...

405

VIN# KMHEC4A43BA004932 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

3BA004932 Vehicle Specifications Engine: 2.4 L Electric Motor: 30 kW Battery: Lithium Polymer Seatbelt Positions: Five Payload: 1074 lbs Features: Regenerative braking Traction...

406

VIN# JHMZE2H78AS010141 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

H78AS010141 Vehicle Specifications Engine: 1.3 L 4-cylinder Electric Motor: 10 kW Battery: NiMH Seatbelt Positions: Five Payload: 907 lbs Features: Regenerative braking Traction...

407

VIN# JTDKN3DU5A0006063 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

DU5A0006063 Vehicle Specifications Engine: 1.8 L 4-cylinder Electric Motor: 60 kW Battery: NiMH Seatbelt Positions: Five Payload: 885 lbs Features: Regenerative braking Traction...

408

VIN# JTDKN3DU2A5010462 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

DU2A5010462 Vehicle Specifications Engine: 1.8 L 4-cylinder Electric Motor: 60 kW Battery: NiMH Seatbelt Positions: Five Payload: 885 lbs Features: Regenerative braking Traction...

409

VIN# KMHEC4A47BA003539 Vehicle Specifications  

NLE Websites -- All DOE Office Websites (Extended Search)

7BA003539 Vehicle Specifications Engine: 2.4 L Electric Motor: 30 kW Battery: Lithium Polymer Seatbelt Positions: Five Payload: 1074 lbs Features: Regenerative braking Traction...

410

FTCP Site Specific Information - Office of Science | Department...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Science FTCP Site Specific Information - Office of Science FTCP Agent Organization Name Phone E-Mail SC HQ Carol Sohn 509375-2320 Carol.sohn@pnso.science.doe.gov...

411

FTCP Site Specific Information - Office of Environmental Management...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Management FTCP Site Specific Information - Office of Environmental Management FTCP Agent Organization Name Phone E-Mail EM HQ Todd Lapointe 202-586-4653 Todd.Lapointe@em.doe.gov...

412

FTCP Site Specific Information - Chief of Nuclear Safety | Department...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

of Nuclear Safety FTCP Site Specific Information - Chief of Nuclear Safety FTCP Agent Organization Name Phone E-Mail CNS Richard Lagdon 202586-9471 chip.lagdon@hq.doe.gov...

413

Contractor-specific Documentation & Information in PARS II  

Energy.gov (U.S. Department of Energy (DOE))

DOE Office of Acquisition and Project Management established guidelines for documentation that should be available within PARS II through contractor-specific records that are not linked to any...

414

ACTINIDE-SPECIFIC SEQUESTERING AGENTS AND DECONTAMINATION APPLICATIONS  

E-Print Network (OSTI)

Sequestering Agents Specific for Pu(IV) Summary , References9). absorbed body similar Pu(IV) is similar to strychnine,of blood very low doses of 239 Pu significantly shorten the

Smith, William L.

2013-01-01T23:59:59.000Z

415

V1. DW07/11 Programme Specification  

E-Print Network (OSTI)

V1. DW07/11 Programme Specification HND Business and Marketing #12;V1. DW07/11 Awarding Body: Edexcel (BTEC) Teaching1. DW07/11 Aims of the Programme The HND Business (Marketing) qualification has

St Andrews, University of

416

Specifications of the NOMAD Instrument | ORNL Neutron Sciences  

NLE Websites -- All DOE Office Websites (Extended Search)

Specifications of the NOMAD Instrument Beam line 1B Moderator decoupled poisoned supercritical hydrogen Moderator-to-sample distance 19.5 m Sample-to-detector distance 0.5 - 3 m...

417

SH3 interactome conserves general function over specific form  

E-Print Network (OSTI)

Src homology 3 (SH3) domains bind peptides to mediate proteinprotein interactions that assemble and regulate dynamic biological processes. We surveyed the repertoire of SH3 binding specificity using peptide phage display ...

Xin, Xiaofeng

418

Development of a high-specific-speed centrifugal compressor  

SciTech Connect

This paper describes the development of a subscale single-stage centrifugal compressor with a dimensionless specific speed (Ns) of 1.8, originally designed for full-size application as a high volume flow, low pressure ratio, gas booster compressor. The specific stage is noteworthy in that it provides a benchmark representing the performance potential of very high-specific-speed compressors, of which limited information is found in the open literature. Stage and component test performance characteristics are presented together with traverse results at the impeller exit. Traverse test results were compared with recent CFD computational predictions for an exploratory analytical calibration of a very high-specific-speed impeller geometry. The tested subscale (0.583) compressor essentially satisfied design performance expectations with an overall stage efficiency of 74% including, excessive exit casing losses. It was estimated that stage efficiency could be increased to 81% with exit casing losses halved.

Rodgers, C.

1997-07-01T23:59:59.000Z

419

Specification for soil multisensor and soil sampling cone penetrometer probes  

SciTech Connect

Specification requirements for engineering, fabrication, and performance of cone penetrometer (CP) soil multisensor and sampling probes (CP-probes) which are required to support contract procurement for services are presented. The specification provides a documented technical basis of quality assurance that is required to use the probes in an operating Hanford tank farm. The documentation cited in this specification will be incorporated into an operational fielding plan that will address all activities associated with the use of the CP-probes. The probes discussed in this specification support the Hanford Tanks Initiative AX-104 Tank Plume Characterization Sub-task. The probes will be used to interrogate soils and vadose zone surrounding tank AX-104.

Iwatate, D.F.

1997-05-02T23:59:59.000Z

420

Vehicle Specifications Engine: 5.3 L V8  

NLE Websites -- All DOE Office Websites (Extended Search)

Silverado VIN 1GCEC19T34Z309284 Vehicle Specifications Engine: 5.3 L V8 Electric Motor: 14 kW Battery: Lead acid Seatbelt Positions: Five Features: Onboard 20 A, 2.4 kW...

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


421

Enforcement Guidance Supplement 00-03, Specific Issues on Applicabilit...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

SUBJECT: Enforcement Guidance Supplement 00-03: Specific Issues on Applicability of 10 CFR 830 Section 1.3 of the Operational Procedure entitled Enforcement of DOE Nuclear Safety...

422

VIN# JTEDW21A160006395 Vehicle Specifications Engine...  

NLE Websites -- All DOE Office Websites (Extended Search)

Toyota Highlander VIN JTEDW21A160006395 Vehicle Specifications Engine: 3.3 L V6 Electric Motor: Front - 123 kW Battery: NiMH Seatbelt Positions: Seven Payload: 1,557 lbs Features:...

423

The TWP-ICE CRM Intercomparison Specification and First Results  

NLE Websites -- All DOE Office Websites (Extended Search)

TWP-ICE CRM Intercomparison Specification and First Results Ann Fridlind (ann.fridlind@nasa.gov), Andrew Ackerman (andrew.ackerman@nasa.gov), Adrian Hill (adrian.hill@metoffice.gov...

424

An Evaluation of Radar Rainfall Estimates from Specific Differential Phase  

Science Conference Proceedings (OSTI)

Specific differential propagation phase (KDP) is examined for estimating convective rainfall in Colorado and Kansas. Estimates are made at S band with KDP alone and in combination with radar reflectivity (ZH). Results are compared to gauge ...

Edward A. Brandes; Alexander V. Ryzhkov; Dus?an S. Zrni?

2001-03-01T23:59:59.000Z

425

Double Shell Tank (DST) Monitor and Control Subsystem Specification  

Science Conference Proceedings (OSTI)

This specification revises the performance requirements and provides references to the requisite codes and standards to be applied during design of the Double-Shell Tank (DST) Monitor and Control Subsystem that supports the first phase of Waste Feed Delivery.

BAFUS, R.R.

2000-11-03T23:59:59.000Z

426

Double Shell Tank (DST) Process Waste Sampling Subsystem Specification  

SciTech Connect

This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied to the Double-Shell Tank (DST) Process Waste Sampling Subsystem which supports the first phase of Waste Feed Delivery.

RASMUSSEN, J.H.

2000-05-03T23:59:59.000Z

427

Sequence motifs predictive of tissue-specific skipping  

E-Print Network (OSTI)

Alternative splicing plays a major role in protein diversity and regulating gene expression. Motifs that regulate tissue-specific alternative splicing have been identified by groups studying small sets of genes. We introduce ...

Soni, Neha

2006-01-01T23:59:59.000Z

428

VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details  

NLE Websites -- All DOE Office Websites (Extended Search)

Page 1 VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details Base Vehicle: 2011 Honda CR-Z VIN: JHMZF1C67BS004466 Electric Machine 1 : 10 kW (peak), permanent magnet...

429

VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details  

NLE Websites -- All DOE Office Websites (Extended Search)

Page 1 VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details Base Vehicle: 2011 Honda CR-Z VIN: JHMZF1C64BS002982 Electric Machine 1 : 10 kW (peak), permanent magnet...

430

Aspen: a domain specific language for performance modeling  

Science Conference Proceedings (OSTI)

We present a new approach to analytical performance modeling using Aspen, a domain specific langauge. Aspen (Abstract Scalable Performance Engineering Notation) fills an important gap in existing performance modeling techniques and is designed to enable ...

Kyle L. Spafford; Jeffrey S. Vetter

2012-11-01T23:59:59.000Z

431

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models  

Science Conference Proceedings (OSTI)

In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.

Holger Hermanns; Vassilis Mertsiotakis; Markus Siegle

1999-07-01T23:59:59.000Z

432

Business Specific Online Information Extraction from German Websites  

Science Conference Proceedings (OSTI)

This paper presents a system that uses the domain name of a German business website to locate its information pages (e.g. company profile, contact page, imprint) and then identifies business specific information. We therefore concentrate on the extraction ...

Yeong Su Lee; Michaela Geierhos

2009-02-01T23:59:59.000Z

433

Site-specific waste management instruction - radiological screening facility  

DOE Green Energy (OSTI)

This Site-Specific Waste Management Instruction provides guidance for managing waste generated from radiological sample screening operations conducted to support the Environmental Restoration Contractor`s activities. This document applies only to waste generated within the radiological screening facilities.

G. G. Hopkins

1997-12-31T23:59:59.000Z

434

SMALL CHAMBER MEASUREMENT OF CHEMICAL SPECIFIC EMISSION FACTORS...  

NLE Websites -- All DOE Office Websites (Extended Search)

temperature environmental chamber. The tests were all run at 25 C, 50% relative humidity (RH) and with an area-specific ventilation rate of 1.5 cubic meters per square meter...

435

Morning Temporal Variations of Shelter-Level Specific Humidity  

Science Conference Proceedings (OSTI)

The temporal variation of specific humidity during morning hours was evaluated by analytic and numerical model scaling as well as by observational means. The scaling quantified (i) the gradual increase in the shelter increase humidity as the ...

M. Segal; G. Kallos; J. Brown; M. Mandel

1992-01-01T23:59:59.000Z

436

Determining the specification of a control system: an illustrative example  

Science Conference Proceedings (OSTI)

Creating the specification of a system by focusing primarily on the detailed properties of the digital controller can lead to complex descriptions that are nearly incoherent. An argument given by Hayes, Jackson, and Jones provides reasons to focus first ...

Joey W. Coleman

2006-01-01T23:59:59.000Z

437

Building Energy Data Exchange Specification (BEDES) | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Commercial Buildings » Building Energy Data Exchange Specification Commercial Buildings » Building Energy Data Exchange Specification (BEDES) Building Energy Data Exchange Specification (BEDES) The Building Energy Data Exchange Specification (BEDES, pronounced "beads" or /bi:ds/) is designed to support analysis of the measured energy performance of commercial, multifamily, and residential buildings, by providing a common data format, definitions, and an exchange protocol for building characteristics, efficiency measures, and energy use. Challenge One of the primary challenges to expanding the building energy efficiency retrofit market is the lack of empirical data on the energy performance and physical and operational characteristics of commercial, multifamily, and residential buildings. This makes it difficult for building-level

438

High Specific Power, Direct Methanol Fuel Cell Stack  

NLE Websites -- All DOE Office Websites (Extended Search)

High Specific Power, Direct Methanol Fuel Cell Stack High Specific Power, Direct Methanol Fuel Cell Stack High Specific Power, Direct Methanol Fuel Cell Stack The present invention is a fuel cell stack including at least one direct methanol fuel cell. Available for thumbnail of Feynman Center (505) 665-9090 Email High Specific Power, Direct Methanol Fuel Cell Stack The present invention is a fuel cell stack including at least one direct methanol fuel cell. A cathode manifold is used to convey ambient air to each fuel cell, and an anode manifold is used to convey liquid methanol fuel to each fuel cell. Tie-bolt penetrations and tie-bolts are spaced evenly around the perimeter to hold the fuel cell stack together. Each fuel cell uses two graphite-based plates. One plate includes a cathode active area that is defined by serpentine channels connecting the inlet manifold

439

Combining CSP and B for Specification and Property Verification  

E-Print Network (OSTI)

Abstract. ProB is a model checking tool for the B Method. In this paper we present an extension of ProB that supports checking of specifications written in a combination of CSP and B. We explain how the notations are combined semantically and give an overview of the implementation of the combination. We illustrate the benefit that appropriate use of CSP, in conjunction with our tool, gives to B developments both for specification and for verification purposes.

Michael Butler; Michael Leuschel

2005-01-01T23:59:59.000Z

440

Language Specific Issue and Feature Exploration in Chinese Event Extraction  

E-Print Network (OSTI)

In this paper, we present a Chinese event extraction system. We point out a language specific issue in Chinese trigger labeling, and then commit to discussing the contributions of lexical, syntactic and semantic features applied in trigger labeling and argument labeling. As a result, we achieved competitive performance, specifically, F-measure of 59.9 in trigger labeling and F-measure of 43.8 in argument labeling. 1

Zheng Chen; Heng Ji

2009-01-01T23:59:59.000Z

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


441

Model-Checking CSP-OZ Specifications with FDR  

E-Print Network (OSTI)

CSP-OZ is a formal method integrating two different specifications formalisms into one: the formalism Object-Z for the description of static aspects, and the process algebra CSP for the description of the dynamic behaviour of systems. The semantics of CSP-OZ is failure divergence taken from the process algebra side. In this paper we propose a method for checking correctness of CSP-OZ specifications via a translation into the CSP dialect of the model checker FDR.

Clemens Fischer; Heike Wehrheim

1999-01-01T23:59:59.000Z

442

Risk-Managed Technical Specifications (RMTS) Guidelines: Interim Development Report  

Science Conference Proceedings (OSTI)

This report presents nuclear utilities with a technical framework and associated general guidance for implementation of risk-managed technical specifications (RMTS) as a partial replacement for existing conventional plant technical specifications. This interim report, intended for both Westinghouse and non-Westinghouse reactor plants and for future reference and application by the Nuclear Energy Institute (NEI), will probably be updated in the future as risk-informed applications technology continues to ...

2003-11-21T23:59:59.000Z

443

General Interest NIST Time and Frequency Publications  

Science Conference Proceedings (OSTI)

... Time and Frequency Users Manual A detailed ... Fundamentals of Time and Frequency An overview of ... Lombardi, The Mechatronics Handbook, 2001. ...

2012-01-31T23:59:59.000Z

444

Time to pause before the next step  

SciTech Connect

Many scientists, who have staunchly supported ITER for years, are coming to realize it is time to further rethink fusion energy`s development strategy. Specifically, as was suggested by Grant Logan and Dale Meade, and in keeping with the restructuring of 1996, a theme of better, cheaper, faster fusion would serve the program more effectively than ``demonstrating controlled ignition...and integrated testing of the high-heat-flux and nuclear components required to utilize fusion energy...`` which are the important ingredients of ITER`s objectives. The author has personally shifted his view for a mixture of technical and political reasons. On the technical side, he senses that through advanced tokamak research, spherical tokamak research, and advanced stellarator work, scientists are coming to a new understanding that might make a burning-plasma device significantly smaller and less expensive. Thus waiting for a few years, even ten years, seems prudent. Scientifically, there is fascinating physics to be learned through studies of burning plasma on a tokamak. And clearly if one wishes to study burning plasma physics in a sustained plasma, there is no other configuration with an adequate database on which to proceed. But what is the urgency of moving towards an ITER-like step focused on burning plasma? Some of the arguments put forward and the counter arguments are discussed here.

Siemon, R.E.

1998-12-31T23:59:59.000Z

445

Timing of cueing in complex problem-solving tasks: Learner versus system control  

Science Conference Proceedings (OSTI)

Task-specific cueing formats that promote the automation and construction of problem-solving schemas should ideally be presented just in time to students learning to solve complex problems. This article reports experimental work comparing learner-controlled ... Keywords: Complex problem solving tasks, Cueing, Learner control, Multimedia Practical, Schema, Timing

Hans G. K. Hummel; Fred Paas; E. J. R. Koper

2006-03-01T23:59:59.000Z

446

A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing  

E-Print Network (OSTI)

computing is to effect impor- tant output actions within precisely specified time- windows. In RT DC systems-Oriented Real-time Distributed Computing), Washington D.C., April 2002, pp. 288-294. [Kop97] Kopetz, H., 'Real specification. 1. Introduction The history of distributed computing (DC) spans more than three decades

California at San Diego, University of

447

Real time infrared aerosol analyzer  

DOE Patents (OSTI)

Apparatus for analyzing aerosols in essentially real time includes a virtual impactor which separates coarse particles from fine and ultrafine particles in an aerosol sample. The coarse and ultrafine particles are captured in PTFE filters, and the fine particles impact onto an internal light reflection element. The composition and quantity of the particles on the PTFE filter and on the internal reflection element are measured by alternately passing infrared light through the filter and the internal light reflection element, and analyzing the light through infrared spectrophotometry to identify the particles in the sample.

Johnson, Stanley A. (Countryside, IL); Reedy, Gerald T. (Bourbonnais, IL); Kumar, Romesh (Naperville, IL)

1990-01-01T23:59:59.000Z

448

Derivation of Accident-Specific Material-at-Risk Equivalency Factors  

SciTech Connect

A novel method for calculating material at risk (MAR) dose equivalency developed at the Idaho National Laboratory (INL) now allows for increased utilization of dose equivalency for facility MAR control. This method involves near-real time accounting for the use of accident and material specific release and transport. It utilizes all information from the committed effective dose equation and the five factor source term equation to derive dose equivalency factors which can be used to establish an overall facility or process MAR limit. The equivalency factors allow different nuclide spectrums to be compared for their respective dose consequences by relating them to a specific quantity of an identified reference nuclide. The ability to compare spectrums to a reference limit ensures that MAR limits are in fact bounding instead of attempting to establish a representative or bounding spectrum which may lead to unintended or unanalyzed configurations. This methodology is then coupled with a near real time material tracking system which allows for accurate and timely material composition information and corresponding MAR equivalency values. The development of this approach was driven by the complex nature of processing operations in some INL facilities. This type of approach is ideally suited for facilities and processes where the composition of the MAR and possible release mechanisms change frequently but in well defined fashions and in a batch-type nature.

Jason P. Andrus; Dr. Chad L. Pope

2012-05-01T23:59:59.000Z

449

Global Warming in Geologic Time  

Science Conference Proceedings (OSTI)

The notion is pervasive in the climate science community and in the public at large that the climate impacts of fossil fuel CO2 release will only persist for a few centuries. This conclusion has no basis in theory or models of the atmosphere/ ocean carbon cycle, which we review here. The largest fraction of the CO2 recovery will take place on time scales of centuries, as CO2 invades the ocean, but a significant fraction of the fossil fuel CO2, ranging in published models in the literature from 20-60%, remains airborne for a thousand years or longer. Ultimate recovery takes place on time scales of hundreds of thousands of years, a geologic longevity typically associated in public perceptions with nuclear waste. The glacial/interglacial climate cycles demonstrate that ice sheets and sea level respond dramatically to millennial-timescale changes in climate forcing. There are also potential positive feedbacks in the carbon cycle, including methane hydrates in the ocean, and peat frozen in permafrost, that are most sensitive to the long tail of the fossil fuel CO2 in the atmosphere.

Archer, David (University of Chicago)

2008-02-27T23:59:59.000Z

450

Double Shell Tank (DST) Transfer Pump Subsystem Specification  

SciTech Connect

This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied to the Double-Shell Tank (DST) Transfer Pump Subsystem which supports the first phase of Waste Feed Delivery (WFD). This specification establishes the performance requirements and provides the references to the requisite codes and standards to be applied during the design of the DST Transfer Pump Subsystem that supports the first phase of (WFD). The DST Transfer Pump Subsystem consists of a pump for supernatant and or slurry transfer for the DSTs that will be retrieved during the Phase 1 WFD operations. This system is used to transfer low-activity waste (LAW) and high-level waste (HLW) to designated DST staging tanks. It also will deliver blended LAW and HLW feed from these staging tanks to the River Protection Project (RPP) Privatization Contractor facility where it will be processed into an immobilized waste form. This specification is intended to be the basis for new projects/installations (W-521, etc.). This specification is not intended to retroactively affect previously established project design criteria without specific direction by the program.

LESHIKAR, G.A.

2000-03-27T23:59:59.000Z

451

Double Shell Tank (DST) Monitor and Control Subsystem Specification  

Science Conference Proceedings (OSTI)

This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied during design of the Double-Shell Tank (DST) Monitor and Control Subsystem that supports the first phase of Waste Feed Delivery. This subsystem specification establishes the interface and performance requirements and provides references to the requisite codes and standards to be applied during the design of the Double-Shell Tank (DST) Monitor and Control Subsystem. The DST Monitor and Control Subsystem consists of the new and existing equipment that will be used to provide tank farm operators with integrated local monitoring and control of the DST systems to support Waste Feed Delivery (WFD). New equipment will provide automatic control and safety interlocks where required and provide operators with visibility into the status of DST subsystem operations (e.g., DST mixer pump operation and DST waste transfers) and the ability to manually control specified DST functions as necessary. This specification is intended to be the basis for new project/installations (W-521, etc.). This specification is not intended to retroactively affect previously established project design criteria without specific direction by the program.

BAFUS, R.R.

2000-04-27T23:59:59.000Z

452

Double Shell Tank (DST) Transfer Valving Subsystem Specification  

Science Conference Proceedings (OSTI)

This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied during design of the Double-Shell Tank (DST) Transfer Valving Subsystem that supports the first phase of Waste Feed Delivery. This specification establishes the performance requirements and provides references to the requisite codes and standards to be applied during design of the Double-Shell Tank (DST) Transfer Valving Subsystem that supports the first phase of Waste Feed Delivery (WFD). The DST Transfer Valving Subsystem routes waste and other media (e.g., diluent, flush water, filtered raw water) among DSTs and from the low-activity waste (LAW) and high-level waste (HLW) feed staging tanks to the River Protection Project (RPP) Privatization Contractor facility, where it will be processed into an immobilized waste form. This specification is intended to be the basis for new projects/installations (W-521, etc.). This specification is not intended to retroactively affect previously established project design criteria without specific direction by the program.

GRAVES, C.E.

2000-03-22T23:59:59.000Z

453

dec11-Times.indd  

NLE Websites -- All DOE Office Websites (Extended Search)

1 1 December 2011 www.y12.doe.gov/news/times.php P.O. Box 2009 Oak Ridge, TN 37831-8245 W H A T ' S I N S I D E Page 2 Governance Transformation at Y-12 Page 3 Employees bring benefi ts to life Pages 4 and 5 A healthy start to 2012 Page 6 A visit from Christmas past Page 8 Have a plan - just in case B&W Technical Services Y-12, LLC, a partnership between Babcock & Wilcox Technical Services Group Inc. and Bechtel National Inc., operates the Y-12 National Security Complex. A newsletter for employees and friends of the Y-12 National Security Complex Managing Editors Amy Alley: alleyab@y12.doe.gov Heidi Spurling: spurlinghw@y12.doe.gov Layout Lisa Harris Contributors Mary Bryant Ellen Boatner Ashley Douglas Kathy Fahey Scott Fraker John Holbrook David Keim Terry Marlar Jill McNutt

454

jul10_Times.indd  

NLE Websites -- All DOE Office Websites (Extended Search)

7 7 July 2010 www.y12.doe.gov/news/times.php P.O. Box 2009 Oak Ridge, TN 37831-8245 W H A T ' S I N S I D E Page 2 Want to know about Y-12's budget? Read what Darrel Kohlhorst said. Page 3 Y-12 employees get a LIFE Center Pages 4 and 5 Safeguards, Security and Emergency Services' Sentinel Page 6 Employees raise money for Relay for Life Page 8 Refl ections of Y-12's history B&W Technical Services Y-12, LLC, a partnership between Babcock & Wilcox Technical Services Group Inc. and Bechtel National Inc., operates the Y-12 National Security Complex. A newsletter for employees and friends of the Y-12 National Security Complex Managing Editors Amy Alley: alleyab@y12.doe.gov Heidi Spurling: spurlinghw@y12.doe.gov Layout Lisa Harris Contributors Mary Bryant Cynthia Ensor Ryn Etter

455

Variable residence time vortex combustor  

DOE Patents (OSTI)

A variable residence time vortex combustor including a primary combustion chamber for containing a combustion vortex, and a plurality of louvres peripherally disposed about the primary combustion chamber and longitudinally distributed along its primary axis. The louvres are inclined to impel air about the primary combustion chamber to cool its interior surfaces and to impel air inwardly to assist in driving the combustion vortex in a first rotational direction and to feed combustion in the primary combustion chamber. The vortex combustor also includes a second combustion chamber having a secondary zone and a narrowed waist region in the primary combustion chamber interconnecting the output of the primary combustion chamber with the secondary zone for passing only lower density particles and trapping higher density particles in the combustion vortex in the primary combustion chamber for substantial combustion.

Melconian, Jerry O. (76 Beaver Rd., Reading, MA 01867)

1987-01-01T23:59:59.000Z

456

The Greenhouse Gas Protocol Initiative: Sector Specific Tools | Open Energy  

Open Energy Info (EERE)

Gas Protocol Initiative: Sector Specific Tools Gas Protocol Initiative: Sector Specific Tools Jump to: navigation, search Tool Summary LAUNCH TOOL Name: The Greenhouse Gas Protocol Initiative: Sector Specific Tools Agency/Company /Organization: World Resources Institute, World Business Council for Sustainable Development Sector: Energy, Climate Focus Area: Industry, Greenhouse Gas Phase: Determine Baseline, Evaluate Effectiveness and Revise as Needed Resource Type: Software/modeling tools User Interface: Spreadsheet Website: www.ghgprotocol.org/calculation-tools/all-tools Cost: Free References: The Greenhouse Gas Protocol Initiative: GHG Emissions from Purchased Electricity[1] The Greenhouse Gas Protocol Initiative: GHG Emissions from Stationary Combustion[2] The Greenhouse Gas Protocol Initiative: GHG Emissions from Transport or Mobil Sources[3]

457

Management of Specific Flood Plain Areas (Iowa) | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Management of Specific Flood Plain Areas (Iowa) Management of Specific Flood Plain Areas (Iowa) Management of Specific Flood Plain Areas (Iowa) < Back Eligibility Agricultural Commercial Construction Fed. Government Fuel Distributor General Public/Consumer Industrial Installer/Contractor Institutional Investor-Owned Utility Local Government Low-Income Residential Multi-Family Residential Municipal/Public Utility Nonprofit Residential Retail Supplier Rural Electric Cooperative Schools State/Provincial Govt Systems Integrator Transportation Tribal Government Utility Savings Category Alternative Fuel Vehicles Hydrogen & Fuel Cells Buying & Making Electricity Water Home Weatherization Solar Wind Program Info State Iowa Program Type Environmental Regulations Provider Iowa Department of Natural Resources Floodplain management orders by the Iowa Department of Natural Resources as

458

Specification and Verification of Dynamics in Cognitive Agent Models  

E-Print Network (OSTI)

Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to analyse the dynamics of such processes, often based on differential equations, are not always successful. As an alternative to differential equations, this paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations. A software environment has been developed for TTL, that supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different domains. 1.

Tibor Bosse; Catholijn M. Jonker; Lourens Van Der Meij; Alexei Sharpanskykh; Jan Treur

2006-01-01T23:59:59.000Z

459

Target design considerations for high specific activity [{sup 11}C]O{sub 2}  

Science Conference Proceedings (OSTI)

In the routine preparation of {sup 11}C-labeled compounds through N-[{sup 11}C]-methylation using [{sup 11}C]H{sub 3}I, total masses are always higher than synthesis mass contribution, suggesting that the target system contributes carrier carbon to the final product mass. This conclusion prompted this evaluation of target materials and target design for [{sup 11}C]O{sub 2} production. Ultimately, one is faced with the sprospect of compromising between [{sup 11}C]O{sub 2} specific activity and the amount that can be extracted from the target after a reasonable irradiation time.

Ferrieri, R.A.; Alexoff, D.L.; Schlyer, D.J.; McDonald, K.; Wolf, A.P.

1993-12-31T23:59:59.000Z

460

Fast Flux Test Facility, Sodium Storage Facility project-specific project management plan  

SciTech Connect

This Project-Specific Project Management Plan describes the project management methods and controls used by the WHC Projects Department to manage Project 03-F-031. The Sodium Storage Facility provides for storage of the 260,000 gallons of sodium presently in the FFTF Plant. The facility will accept the molten sodium transferred from the FFTF sodium systems, and store the sodium in a solid state under an inert cover gas until such time as a Sodium Reaction Facility is available for final disposal of the sodium.

Shank, D.R.

1994-12-29T23:59:59.000Z

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


461

Time-Varying z-Transform for the Analysis of Discrete-Time Linear Time Periodic Systems  

Science Conference Proceedings (OSTI)

This article deals with a new representation of linear discrete-time periodic systems. This representation, based on the time-varying z-transform, turns out to be highly efficient in the field of automatic control, when an appropriate choice of ... Keywords: Nyquist criterion, final value theorem, initial value theorem, linear discrete-time periodic systems, time-varying z-transform, time-varying frequency response, time-varying systems

A. Garcia Iturricha; J. Sabatier; A. Oustaloup

2003-07-01T23:59:59.000Z

462

Plant Award Specification Sheet | ENERGY STAR Buildings & Plants  

NLE Websites -- All DOE Office Websites (Extended Search)

Specification Sheet Specification Sheet Secondary menu About us Press room Contact Us Portfolio Manager Login Facility owners and managers Existing buildings Commercial new construction Industrial energy management Small business Service providers Service and product providers Verify applications for ENERGY STAR certification Design commercial buildings Energy efficiency program administrators Commercial and industrial program sponsors Associations State and local governments Federal agencies Tools and resources Training In This Section Campaigns Commercial building design Communications resources Energy management guidance Financial resources Portfolio Manager Products and purchasing Recognition Research and reports Service and product provider (SPP) resources Success stories Target Finder Technical documentation

463

Energy Critical Infrastructure and Key Resources Sector-Specific  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Energy Energy Critical Infrastructure and Key Resources Sector-Specific Plan as input to the National Infrastructure Protection Plan (Redacted) May 2007 Department of Energy Energy Sector Government Coordinating Council Letter of Support i ii Energy Sector-Specific Plan (Redacted) Energy Sector Coordinating Councils Letter of Concurrence The National Infrastructure Protection Plan (NIPP) provides the unifying structure for the integration of federal critical infrastructures and key resources (CI/KR) protection efforts into a single national program. The NIPP includes an overall framework integrating federal programs and activities that are currently underway in the various sectors, as well as new and developing CI/KR protection efforts. The Energy

464

3 omega method for specific heat and thermal conductivity measurements  

E-Print Network (OSTI)

We present a 3 omega method for simultaneously measuring the specific heat and thermal conductivity of a rod- or filament-like specimen using a way similar to a four-probe resistance measurement. The specimen in this method needs to be electrically conductive and with a temperature-dependent resistance, for acting both as a heater to create a temperature fluctuation and as a sensor to measure its thermal response. With this method we have successfully measured the specific heat and thermal conductivity of platinum wire specimens at cryogenic temperatures, and measured those thermal quantities of tiny carbon nanotube bundles some of which are only 10^-9 g in mass.

L. Lu; W. Yi; D. L. Zhang

2002-02-06T23:59:59.000Z

465

Cerenkov radio pulses from electromagnetic showers in the time domain  

Science Conference Proceedings (OSTI)

The electric field of the Cerenkov radio pulse produced by a single charged particle track in a dielectric medium is derived from first principles. An algorithm is developed to obtain the pulse in the time domain for numerical calculations. The algorithm is implemented in a Monte Carlo simulation of electromagnetic showers in dense media (specifically designed for coherent radio emission applications) as might be induced by interactions of ultrahigh energy neutrinos. The coherent Cerenkov radio emission produced by such showers is obtained simultaneously both in the time and frequency domains. A consistency check performed by Fourier transforming the pulse in time and comparing it to the frequency spectrum obtained directly in the simulations yields, as expected, fully consistent results. The reversal of the time structure inside the Cerenkov cone and the signs of the corresponding pulses are addressed in detail. The results, besides testing algorithms used for reference calculations in the frequency domain, shed new light into the properties of the radio pulse in the time domain. The shape of the pulse in the time domain is directly related to the depth development of the excess charge in the shower and its width to the observation angle with respect to the Cerenkov direction. This information can be of great practical importance for interpreting actual data.

Alvarez-Muniz, Jaime; Romero-Wolf, Andres; Zas, Enrique [Depto. de Fisica de Particulas and Instituto Galego de Fisica de Altas Enerxias, Universidade de Santiago de Compostela, 15782 Santiago de Compostela (Spain); Department of Physics and Astronomy, University of Hawaii at Manoa, Honolulu, Hawaii 96822 (United States); Depto. de Fisica de Particulas and Instituto Galego de Fisica de Altas Enerxias, Universidad de Santiago de Compostela, 15782 Santiago de Compostela (Spain)

2010-06-15T23:59:59.000Z

466

Towards Integrated Verification of Timed Transition Models  

Science Conference Proceedings (OSTI)

This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling Environment (TAME) has been modified to provide a formal model for Time Transition ... Keywords: PVS, Real-time, SAL, equivalence verification, model reduction, model-checking, theorem proving

Mark Lawford; Vera Pantelic; Hong Zhang

2006-04-01T23:59:59.000Z

467

A novel HMM-based clustering algorithm for the analysis of gene expression time-course data  

Science Conference Proceedings (OSTI)

A novel hidden Markov model (HMM) and clustering algorithm for the analysis of gene expression time-course data is proposed. The proposed model, called the profile-HMM, is specifically designed to explicitly take into account the dynamic nature of temporal ... Keywords: Clustering, Gene expression time-course data, Hidden Markov models, Temporal dependences, Time-series analysis

Yujing Zeng; Javier Garcia-Frias

2006-05-01T23:59:59.000Z

468

FIPS 191, Specifications for Guideline for The Analysis Local ...  

Science Conference Proceedings (OSTI)

... instead of waiting for the print job to be ... threats produced in the high level analysis, will, in ... Responsible for conducting timely audits of LAN server ...

2012-02-26T23:59:59.000Z

469

Improving Energy/Water Specific Consumption Strategies in ...  

Science Conference Proceedings (OSTI)

Operational troubleshooting occurs more quickly as the organization acts on issues to reduce wasteful operation. This paper presents a real time software...

470

User manual for Timed-CSP Simulator  

E-Print Network (OSTI)

Timed Csp Simulator is based on the presentation of Timed Csp in [4]. For a brief discussion of the tool architecture see [1, 2]. The semantical questions regarding simulating Timed Csp are discussed in [3].

Hoang Nga Nguyen; Markus Roggenbach

2012-01-01T23:59:59.000Z

471

Real time estimation of Bayesian networks  

Science Conference Proceedings (OSTI)

For real time evaluation of a Bayesian network when there is not sufficient time to obtain an exact solution, a guaranteed response time, approximate solution is required. It is shown that non traditional methods utilizing estimators based on an archive ...

Robert L. Welch

1996-08-01T23:59:59.000Z

472

Probabilistic timing analysis on conventional cache designs  

Science Conference Proceedings (OSTI)

Probabilistic timing analysis (PTA), a promising alternative to traditional worst-case execution time (WCET) analyses, enables pairing time bounds (named probabilistic WCET or pWCET) with an exceedance probability (e.g., 10-16), resulting ...

Leonidas Kosmidis, Charlie Curtsinger, Eduardo Quiones, Jaume Abella, Emery Berger, Francisco J. Cazorla

2013-03-01T23:59:59.000Z

473

Site specific analysis of geothermal development. Volume 1. Summary report  

SciTech Connect

MITRE/Metrek has analyzed development scenarios for 37 hydrothermal and geopressured prospects in the United States to assist DOE's Division of Geothermal Energy in mission-oriented planning of geothermal resource development. A summary of the site-specific analyses is presented with particular emphasis on possible recommendations for the Federal Geothermal Program.

Leigh, J.; Cohen, A.; Jacobsen, W.; Trehan, R.

1978-08-01T23:59:59.000Z

474

TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS  

E-Print Network (OSTI)

TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS Gregor v. BOCHMANN and Omar B. BELLAL Université de Montréal Montréal, Canada Abstract: There are two aspects to testing: (1) the selection of appropriate test inputs and (2) the analysis of the observed interactions of the implementation under test

von Bochmann, Gregor

475

Steam boiler control specification problem: A TLA solution  

E-Print Network (OSTI)

Steam boiler control specification problem: A TLA solution Frank Le?ke and Stephan Merz Institut f of the state of the steam boiler, detect failures, and model message transmission. We give a more detailed between the physi­ cal state of the steam boiler and the model maintained by the controller and discuss

Merz, Stephan

476

Embedded DSP Processor Design: Application Specific Instruction Set Processors  

Science Conference Proceedings (OSTI)

This book provides design methods for Digital Signal Processors and Application Specific Instruction set Processors, based on the author's extensive, industrial design experience. Top-down and bottom-up design methodologies are presented, providing valuable ... Keywords: Circuits, Data Processing, Electricity, Microelectronics

Dake Liu

2008-05-01T23:59:59.000Z

477

V1. DW07/11 Programme Specification  

E-Print Network (OSTI)

V1. DW07/11 Programme Specification HND Advanced Practice in Work with Children and Families #12;V1. DW07/11 Awarding Body/A #12;V1. DW07/11 Aims of the Programme The HND Advanced Practice in Work

St Andrews, University of

478

Towards modular algebraic specifications for pointer programs: a case study  

Science Conference Proceedings (OSTI)

We present on an example the framework currently under development in the WHY/KRAKATOA/CADUCEUS platform for proving that a JAVA or a C program is a correct implementation of some model defined by algebraic specifications, in a modular setting.

Claude March

2007-01-01T23:59:59.000Z

479

Forecasts of Monthly 700 mb Height: Verification and Specification Experiments  

Science Conference Proceedings (OSTI)

Twenty-five years (1958-82) of monthly 700 ml, geopotential forecasts produced by the U.S. National Weather Service are verified and then used in a series of temperature specification experiments. The forecasts show skill with respect to ...

John E. Walsh

1984-11-01T23:59:59.000Z

480

Open Automated Demand Response Communications Specification (Version 1.0)  

Science Conference Proceedings (OSTI)

The development of the Open Automated Demand Response Communications Specification, also known as OpenADR or Open Auto-DR, began in 2002 following the California electricity crisis. The work has been carried out by the Demand Response Research Center (DRRC), which is managed by Lawrence Berkeley National Laboratory. This specification describes an open standards-based communications data model designed to facilitate sending and receiving demand response price and reliability signals from a utility or Independent System Operator to electric customers. OpenADR is one element of the Smart Grid information and communications technologies that are being developed to improve optimization between electric supply and demand. The intention of the open automated demand response communications data model is to provide interoperable signals to building and industrial control systems that are preprogrammed to take action based on a demand response signal, enabling a demand response event to be fully automated, with no manual intervention. The OpenADR specification is a flexible infrastructure to facilitate common information exchange between the utility or Independent System Operator and end-use participants. The concept of an open specification is intended to allow anyone to implement the signaling systems, the automation server or the automation clients.

Piette, Mary Ann; Ghatikar, Girish; Kiliccote, Sila; Koch, Ed; Hennage, Dan; Palensky, Peter; McParland, Charles

2009-02-28T23:59:59.000Z

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


481

Software Requirements Specification Verifiable Fuel Cycle Simulation (VISION) Model  

SciTech Connect

The purpose of this Software Requirements Specification (SRS) is to define the top-level requirements for a Verifiable Fuel Cycle Simulation Model (VISION) of the Advanced Fuel Cycle (AFC). This simulation model is intended to serve a broad systems analysis and study tool applicable to work conducted as part of the AFCI (including costs estimates) and Generation IV reactor development studies.

D. E. Shropshire; W. H. West

2005-11-01T23:59:59.000Z

482

Virus Specificity in Disease Systems: Are Species Redundant?  

E-Print Network (OSTI)

studies have stressed the prevalence of viruses in natural plant populations (e.g., Power and Remold 1996 the growth, survivorship, and reproduction of nondomesticated plants (Friess and Maillet 1996, 1997; FunayamaChapter 17 m Virus Specificity in Disease Systems: Are Species Redundant? Alison G. Power

Flecker, Alex

483

Parameter sweeping methodology for integration in a workflow specification framework  

Science Conference Proceedings (OSTI)

This paper presents the design and the automation of a methodology (SciDC) for the creation, execution and administration of large computational and parametric experiments in distributed systems. This methodology is oriented to be a part of a workflow ... Keywords: computational models, distributed processing, parallel processing, parameter sweeping, workflow specification

David B. Cedrs; Emilio Hernndez

2007-08-01T23:59:59.000Z

484

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications  

Science Conference Proceedings (OSTI)

In this paper, we introduce a new model for the representation of distributed asynchronous implementations of synchronous specifications. The model covers classical implementations, where a notion of global synchronization is preserved by means of signaling, ... Keywords: Asynchronous systems, Endochronous systems, Globally asynchronous, Kahn processes, Semantics preservation, Synchronous systems, locally synchronous (GALS) architectures

Dumitru Potop-Butucaru; Benot Caillaud

2007-09-01T23:59:59.000Z

485

Simulation of mobile networks using discrete event system specification theory  

Science Conference Proceedings (OSTI)

The fourth generation (4G) of mobile telecommunication technology provides ultra-band internet access for mobile devices such as smartphones, tablets, and laptops. One of the challenges in the Long Term Evolution (LTE) 4G networks is the low data rate ... Keywords: DEVS, discrete event system specification, mobile networks

Mohammad Moallemi, Gabriel Wainer, Shafagh Jafer, Gary Boudreau, Ronald Casselman

2013-04-01T23:59:59.000Z

486

200 Area treated effluent disposal facility operational test specification  

Science Conference Proceedings (OSTI)

This document identifies the test specification and test requirements for the 200 Area Treated Effluent Disposal Facility (200 Area TEDF) operational testing activities. These operational testing activities, when completed, demonstrate the functional, operational and design requirements of the 200 Area TEDF have been met.

Crane, A.F.

1995-01-12T23:59:59.000Z

487

200 Area treated effluent disposal facility operational test specification  

Science Conference Proceedings (OSTI)

This document identifies the test specification and test requirements for the 200 Area Treated Effluent Disposal Facility (200 Area TEDF) operational testing activities. These operational testing activities, when completed, demonstrate the functional, operational and design requirements of the 200 Area TEDF have been met.

Crane, A.F.

1995-02-02T23:59:59.000Z

488

Nuclear safety criteria and specifications for space nuclear reactors  

SciTech Connect

The purpose of this document is to define safety criteria which must be met to implement US safety policy for space fission reactors. These criteria provide the bases for decisions on the acceptability of specific mission and reactor design proposals. (JDH)

1982-08-01T23:59:59.000Z

489

Double Shell Tank (DST) Diluent and Flush Subsystem Specification  

SciTech Connect

The Double-Shell Tank (DST) Diluent and Flush Subsystem is intended to support Waste Feed Delivery. The DST Diluent and Flush Subsystem specification describes the relationship of this system with the DST System, describes the functions that must be performed by the system, and establishes the performance requirements to be applied to the design of the system. It also provides references for the requisite codes and standards. The DST Diluent and Flush Subsystem will treat the waste for a more favorable waste transfer. This will be accomplished by diluting the waste, dissolving the soluble portion of the waste, and flushing waste residuals from the transfer line. The Diluent and Flush Subsystem will consist of the following: The Diluent and Flush Station(s) where chemicals will be off-loaded, temporarily stored, mixed as necessary, heated, and metered to the delivery system; and A piping delivery system to deliver the chemicals to the appropriate valve or pump pit Associated support structures. This specification is intended to be the basis for new projects/installations. This specification is not intended to retroactively affect previously established project design criteria without specific direction by the program.

GRAVES, C.E.

2000-04-27T23:59:59.000Z

490

Specification-Based Intrusion Detection for Advanced Metering Infrastructures  

Science Conference Proceedings (OSTI)

It is critical to develop an effective way to monitor advanced metering infrastructures (AMI). To ensure the security and reliability of a modernized power grid, the current deployment of millions of smart meters requires the development of innovative ... Keywords: AMI, specification-based security, intrusion detection, formal method

Robin Berthier; William H. Sanders

2011-12-01T23:59:59.000Z

491

Specific Recognition of Linear Ubiquitin Chains by NEMO  

E-Print Network (OSTI)

Specific Recognition of Linear Ubiquitin Chains by NEMO Is Important for NF-kB Activation Simin.03.007 SUMMARY Activation of nuclear factor-kB (NF-kB), a key medi- ator of inducible transcription in immunity, requires binding of NF-kB essential modulator (NEMO) to ubiquitinated substrates. Here, we report

Komander, David

492

MeerKAT Key Project Science, Specifications, and Proposals  

E-Print Network (OSTI)

We present the specifications of the MeerKAT Karoo Array Telescope, the South African Square Kilometre Array Precursor. Some of the key science for MeerKAT is described in this document. We invite the community to submit proposals for Large Key Projects.

Booth, R S; Jonas, J L; Fanaroff, B

2009-01-01T23:59:59.000Z

493

Microchip method for the enrichment of specific DNA sequences  

DOE Patents (OSTI)

A method for enriching specific genetic material sequences is provided, whereby oligonucleotide molecules complementary to the desired genetic material is first used to isolate the genetic material from a first source of genomic material. Then the genetic material is used as a label to isolate similar genetic sequences from other sources. 4 figs.

Mirzabekov, A.D.; Lysov, Y.P.; Shick, V.V.; Dubiley, S.A.

1998-12-22T23:59:59.000Z

494

Validating Z specifications using the PROB animator and model checker  

Science Conference Proceedings (OSTI)

We present the architecture and implementation of the proz tool to validate high-level Z specifications. The tool was integrated into prob, by providing a translation of Z into B and by extending the kernel of prob to accommodate some new syntax and ...

Daniel Plagge; Michael Leuschel

2007-07-01T23:59:59.000Z

495

Generic Terminology Versus Specific Jargon in Power System Switching  

Science Conference Proceedings (OSTI)

This Technical Update report summarizes work performed in 2008 on the "Generic Terminology versus Specific Jargon in Power System Switching" task conducted by the EPRI Power Switching and Reliability project. Previous work was documented in reports 1013915 and 1012374. Research indicates that use of jargon or unfamiliar terms in power switching can result in switching errors, hazardous situations, and unintended power outages.

2008-11-11T23:59:59.000Z

496

A generic language for application-specific flow sampling  

Science Conference Proceedings (OSTI)

Flow records gathered by routers provide valuable coarse-granularity traffic information for several measurement-related network applications. However, due to high volumes of traffic, flow records need to be sampled before they are gathered. Current ... Keywords: application-specific traffic monitoring, flow sampling, language design

Harsha V. Madhyastha; Balachander Krishnamurthy

2008-03-01T23:59:59.000Z

497

PVUSA model technical specification for a turnkey photovoltaic power system  

DOE Green Energy (OSTI)

One of the five objectives of PVUSA is to offer U.S. utilities hands-on experience in designing, procuring, and operating PV systems. The procurement process included the development of a detailed set of technical requirements for a PV system. PVUSA embodied its requirements in a technical specification used as an attachment to its contracts for four utility-scale PV systems in the 200 kW to 500 kW range. The technical specification has also been adapted and used by several utilities. The PVUSA Technical Specification has now been updated and is presented here as a Model Technical Specification (MTS) for utility use. The MTS text is also furnished on a computer disk in Microsoft Word 6.0 so that it may be conveniently adapted by each user. The text includes guidance in the form of comments and by the use of parentheses to indicate where technical information must be developed and inserted. Commercial terms and conditions will reflect the procurement practice of the buyer. The reader is referred to PG&E Report Number 95-3090000. 1, PVUSA Procurement, Acceptance and Rating Practices for Photovoltaic Power Plants (1995) for PVUSA experience and practice. The MTS is regarded by PVUSA as a use-proven document, but needs to be adapted with care and attention to detail.

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

1995-11-01T23:59:59.000Z

498

Learning Game-Specific Spatially-Oriented Heuristics  

Science Conference Proceedings (OSTI)

This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-specific, spatially-oriented heuristics. From its playing experience, ... Keywords: extensible architectures, game playing, machine learning, spatial cognition

Susan L. Epstein; Jack Gelfand; Esther Lock

1998-06-01T23:59:59.000Z

499

Object-oriented modelling and specification using SHE  

Science Conference Proceedings (OSTI)

Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and ... Keywords: Hardware/software systems, Modelling and specification, Object-orientation, System-level languages

M. C. W. Geilen; J. P. M. Voeten; P. H. A. Van Der Putten; L. J. Van Bokhoven; M. P. J. Stevens

2001-04-01T23:59:59.000Z

500

March 2009 Y-12 Times  

NLE Websites -- All DOE Office Websites (Extended Search)

3 3 March 2009 www.y12.doe.gov/news/times.php P.O. Box 2009 Oak Ridge, TN 37831-8245 Managing Editors Amy Alley: alleyab@y12.doe.gov Heidi Spurling: spurlinghw@y12.doe.gov Layout/Design Lisa Harris Contributors Ellen Boatner Ken Davis Kathy Fahey Vicki Hinkel Jamie Loveday Mary Murray W H A T ' S I N S I D E W H A T ' S I N S I D E Page 2 Page 2 New UPF room is out of sight Page 3 Page 3 Training simulates terrorist attack, prepares fi rst responders Page 3 Page 3 Tanker cars on the right track Page 5 Page 5 Third-generation employee follows his father's sage advice Page 7 Page 7 Car enthusiasts go into overdrive Brett Pate Ray Smith Donna Watson Mona Wright Lisa Xiques B&W Technical Services Y-12, LLC, a partnership between Babcock & Wilcox Technical Services Group Inc. and Bechtel National Inc., operates the