Powered by Deep Web Technologies
Note: This page contains sample records for the topic "activities verification checklist" 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

National Service Activation Checklist  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalanced Scorecard Federal2 to:DieselEnergyHydrogen Storage1,Service Activation

2

DOE's New Checklist Helps Plants Assess Energy Management Activities...  

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

simple checklist can help a facility assess whether Superior Energy Performance (SEP) or ISO 50001 are practical next steps, or if foundational energy management activities...

3

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-22 Quality Insulation Installation (QII) -Insulation Stage Checklist (Page 1 of 3)  

E-Print Network [OSTI]

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-22 Quality Insulation Installation (QII) - Insulation Stage Checklist (Page 1 of 3) Site Address: Enforcement Agency: Permit Number: ____________ 2008 Residential Compliance Forms May 2012 All structural framing areas shall be insulated in a manner

4

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

E-Print Network [OSTI]

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

Wu, Shin-Tson

5

Active alignment/contact verification system  

DOE Patents [OSTI]

A system involving an active (i.e. electrical) technique for the verification of: 1) close tolerance mechanical alignment between two component, and 2) electrical contact between mating through an elastomeric interface. For example, the two components may be an alumina carrier and a printed circuit board, two mating parts that are extremely small, high density parts and require alignment within a fraction of a mil, as well as a specified interface point of engagement between the parts. The system comprises pairs of conductive structures defined in the surfaces layers of the alumina carrier and the printed circuit board, for example. The first pair of conductive structures relate to item (1) above and permit alignment verification between mating parts. The second pair of conductive structures relate to item (2) above and permit verification of electrical contact between mating parts.

Greenbaum, William M. (Modesto, CA)

2000-01-01T23:59:59.000Z

6

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

E-Print Network [OSTI]

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

Wu, Shin-Tson

7

UNBC SAFETY CHECKLIST SAFETY CHECKLIST  

E-Print Network [OSTI]

1 UNBC SAFETY CHECKLIST SAFETY CHECKLIST INSTRUCTIONS PAGE Please use the following table below needs, contact the Risk & Safety Department at 250-960- (5530) for further instructions. This safety to remain safe here at UNBC. The safety checklist also helps you to establish due diligence under Federal

Northern British Columbia, University of

8

UNBC SAFETY CHECKLIST SAFETY CHECKLIST  

E-Print Network [OSTI]

1 UNBC SAFETY CHECKLIST SAFETY CHECKLIST INSTRUCTIONS PAGE Please use the following table below needs, contact the Risk & Safety Department at 250-960- (5530) for further instructions. This safety. The safety checklist also helps you to establish due diligence under Federal and Provincial safety laws

Northern British Columbia, University of

9

SUMMARY OF 2007 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL AND MONTHLY FORECASTS  

E-Print Network [OSTI]

10 12.25 8 5.75 Accumulated Cyclone Energy (ACE) (96.2) 130 170 170 150 148 100 68 Net Tropical't press us too hard on future events!!" 3 #12;DEFINITIONS Accumulated Cyclone Energy ­ (ACE) A measureSUMMARY OF 2007 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL

Gray, William

10

active length verification: Topics by E-print Network  

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

HURRICANE FORECASTS FOR 2011 activity. 3 12;DEFINITIONS AND ACRONYMS Accumulated Cyclone Energy (ACE) - A measure of a named storm 16 SUMMARY OF 2014 ATLANTIC TROPICAL...

11

At tank Low Activity Feed Homogeneity Analysis Verification  

SciTech Connect (OSTI)

This report evaluates the merit of selecting sodium, aluminum, and cesium-137 as analytes to indicate homogeneity of soluble species in low-activity waste (LAW) feed and recommends possible analytes and physical properties that could serve as rapid screening indicators for LAW feed homogeneity. The three analytes are adequate as screening indicators of soluble species homogeneity for tank waste when a mixing pump is used to thoroughly mix the waste in the waste feed staging tank and when all dissolved species are present at concentrations well below their solubility limits. If either of these conditions is violated, then the three indicators may not be sufficiently chemically representative of other waste constituents to reliably indicate homogeneity in the feed supernatant. Additional homogeneity indicators that should be considered are anions such as fluoride, sulfate, and phosphate, total organic carbon/total inorganic carbon, and total alpha to estimate the transuranic species. Physical property measurements such as gamma profiling, conductivity, specific gravity, and total suspended solids are recommended as possible at-tank methods for indicating homogeneity. Indicators of LAW feed homogeneity are needed to reduce the U.S. Department of Energy, Office of River Protection (ORP) Program's contractual risk by assuring that the waste feed is within the contractual composition and can be supplied to the waste treatment plant within the schedule requirements.

DOUGLAS, J.G.

2000-09-28T23:59:59.000Z

12

Procurement & Acquisition Checklist  

Broader source: Energy.gov [DOE]

This checklist identifies most of the steps that may be required to complete a Procurement action. The checklist is divided into phases (shown below) and has the regulations, policies, guidance, and templates (when they exist) identified for all listed steps of each phase.

13

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

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

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

14

SUMMARY OF 2013 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHORS' SEASONAL AND TWO-WEEK FORECASTS  

E-Print Network [OSTI]

. In addition, Accumulated Cyclone Energy (ACE) was the lowest that has been observed since 1983. This year Cyclone Energy (ACE) (92) 165 165 142 30 32% Net Tropical Cyclone Activity (NTC) (103%) 175 175 150 43 42SUMMARY OF 2013 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHORS' SEASONAL AND TWO

15

Verification Testing Test Driven Development Testing with JUnit Verification  

E-Print Network [OSTI]

Verification Testing Test Driven Development Testing with JUnit Verification Any activity should be verified. #12;Verification Testing Test Driven Development Testing with JUnit Approaches to verification 1 Testing 2 Static Analysis · Peer review · Insepction/Walk-through/Structured review · Formal

Peters, Dennis

16

A Visual Analytics Approach to Structured Data Analysis to Enhance Nonproliferation and Arms Control Verification Activities  

SciTech Connect (OSTI)

Analysis activities for Nonproliferation and Arms Control verification require the use of many types of data. Tabular structured data, such as Excel spreadsheets and relational databases, have traditionally been used for data mining activities, where specific queries are issued against data to look for matching results. The application of visual analytics tools to structured data enables further exploration of datasets to promote discovery of previously unknown results. This paper discusses the application of a specific visual analytics tool to datasets related to the field of Arms Control and Nonproliferation to promote the use of visual analytics more broadly in this domain. Visual analytics focuses on analytical reasoning facilitated by interactive visual interfaces (Wong and Thomas 2004). It promotes exploratory analysis of data, and complements data mining technologies where known patterns can be mined for. Also with a human in the loop, they can bring in domain knowledge and subject matter expertise. Visual analytics has not widely been applied to this domain. In this paper, we will focus on one type of data: structured data, and show the results of applying a specific visual analytics tool to answer questions in the Arms Control and Nonproliferation domain. We chose to use the T.Rex tool, a visual analytics tool developed at PNNL, which uses a variety of visual exploration patterns to discover relationships in structured datasets, including a facet view, graph view, matrix view, and timeline view. The facet view enables discovery of relationships between categorical information, such as countries and locations. The graph tool visualizes node-link relationship patterns, such as the flow of materials being shipped between parties. The matrix visualization shows highly correlated categories of information. The timeline view shows temporal patterns in data. In this paper, we will use T.Rex with two different datasets to demonstrate how interactive exploration of the data can aid an analyst with arms control and nonproliferation verification activities. Using a dataset from PIERS (PIERS 2014), we will show how container shipment imports and exports can aid an analyst in understanding the shipping patterns between two countries. We will also use T.Rex to examine a collection of research publications from the IAEA International Nuclear Information System (IAEA 2014) to discover collaborations of concern. We hope this paper will encourage the use of visual analytics structured data analytics in the field of nonproliferation and arms control verification. Our paper outlines some of the challenges that exist before broad adoption of these kinds of tools can occur and offers next steps to overcome these challenges.

Gillen, David S.

2014-08-07T23:59:59.000Z

17

SUMMARY OF 2010 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL AND TWO-WEEK FORECASTS  

E-Print Network [OSTI]

.3) 3-5 4 5 5 5 Major Hurricane Days (MHD) (5.0) 6-12 10 13 13 11 Accumulated Cyclone Energy (ACE) (96, hurricanes and major hurricanes, respectively. 3 #12;DEFINITIONS AND ACRONYMS Accumulated Cyclone Energy (ACESUMMARY OF 2010 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL AND TWO

Birner, Thomas

18

Software Verification and Validation Plan Activities, 2011, Project Number: N6423, SAPHIRE Version 8  

SciTech Connect (OSTI)

The SV&V Plan experienced changes over the past year to bring it into the operational software life cycle of SAPHIRE 8 and to maintain its sections on design features. Peer review of the SVVP with the former IV&V members identified the need for the operational use of metrics as a tool for quality maintenance and improvement. New tests were added to the SVVP to verify the operation of the new design features incorporated into SAPHIRE 8. Other additions to the SVVP were the addition of software metrics and the PDR and CDR processes. Audit support was provided for the NRC Technical Manager and Project Manager for the NRC OIG Audit performed throughout 2011. The SVVP is considered to be an up to date reference and useful roadmap of verification and validation activities going forward.

Kurt G. Vedros; Curtis L. Smith

2011-11-01T23:59:59.000Z

19

COMPUTER WORKSTATION ERGONOMIC CHECKLIST COMPUTER WORKSTATION ERGONOMIC CHECKLIST  

E-Print Network [OSTI]

COMPUTER WORKSTATION ERGONOMIC CHECKLIST 1 COMPUTER WORKSTATION ERGONOMIC CHECKLIST people, task, equipment and work environment. If required, a detailed ergonomic evaluation, including to be in-line with forearms when using keyboard and/or mouse. #12;COMPUTER WORKSTATION ERGONOMIC CHECKLIST

Saskatchewan, University of

20

Interim Letter Report - Verification Survey Results for Activities Performed in March 2009 for the Vitrification Test Facility Warehouse at the West Valley Demonstration Project, Ashford, New York  

SciTech Connect (OSTI)

The objective of the verification activities was to provide independent radiological surveys and data for use by the Department of Energy (DOE) to ensure that the building satisfies the requirements for release without radiological controls.

B.D. Estes

2009-04-24T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

IMMUNIZATION HEALTH SERVICES CHECKLIST  

E-Print Network [OSTI]

. We offer medical care, health promotion and insurance services, including: Alcohol and Drug1 HEALTH AND IMMUNIZATION GUIDE #12;2 HEALTH SERVICES CHECKLIST Immunization Form due (one time ­ September 5, 2014 Spring Semester 2015 ­ January 31, 2015 Summer Semester 2015 ­ June 15, 2015 WWW.CMU.EDU/HEALTH

22

IMMUNIZATION HEALTH SERVICES CHECKLIST  

E-Print Network [OSTI]

(regardless of insurance coverage), as well as current staff and faculty. We offer medical care, health1 HEALTH AND IMMUNIZATION GUIDE #12;2 HEALTH SERVICES CHECKLIST Immunization Form due (one timeEdu and Haven Courses completed by: August 11, 2014 WWW.CMU.EDU/HEALTH-SERVICES Questions? Contact us at 412

Matsuda, Noboru

23

The independent verification process in decommissioning, decontamination, and reutilization activities - description, benefits, and lessons learned  

SciTech Connect (OSTI)

Oak Ridge National Laboratory Environmental Technology Section has been performing Independent Verification (IV) activities for U.S. DOE sites since 1986. DOE has successfully used IV in the Uranium Mill Tailings Remedial Action Program, Decontamination and Decommissioning projects, and Formerly Utilized Sites Remedial Action Projects/Surplus Facilities Management Program. Projects that have undergone IV range from small residential properties to large, industrial sites. The IV process provides a third-party review conducted by an independent organization. The purpose is to verify accuracy and completeness of contractor field measurements and final documentation, evaluate the credibility of procedures, and independently assess post-cleanup conditions versus decommissioning project plans and release criteria. Document reviews of plans, dose models, procedures, and reports are some IV activities undertaken. Independent measurements are also collected during field visits to confirm the contractor`s findings. Corrective actions for discrepancies are suggested if necessary. Finally, archival and reporting of the final site environmental conditions for project closeout and certification are completed. The IV contractor reports to DOE headquarters and acts as a quality assurance feedback mechanism. An IV also provides additional assurance that projects are planned, carried out, and documented properly. Decommissioning projects benefit from the IV process by: (1) cost and time savings from early identification of potential problems, (2) assurance that cleanup meets regulatory guidelines, and (3) technical reviews and consultation with experts in field instrumentation, sampling strategy, etc. Some lessons learned from the IV process include avoiding: (1) improper survey techniques, (2) reporting data in units not comparable with guideline values, (3) premature release of surfaces, (4) poor decommissioning project planning, (5) misapplication of release guidelines. 20 refs.

Egidi, P.V.

1997-06-01T23:59:59.000Z

24

VERIFICATION SURVEY ACTIVITIES IN FS SURVEY UNITS 7, 8, 9, 10, 11, 13 & 14 AT THE SEPARATIONS PROCESS RESEARCH UNIT  

SciTech Connect (OSTI)

FINAL INTERIM REPORT VERIFICATION SURVEY ACTIVITIES IN FINAL STATUS SURVEY UNITS 7, 8, 9, 10, 11, 13 AND 14 AT THE SEPARATIONS PROCESS RESEARCH UNIT, Niskayuna, New York 0496-SR-03-0. The Separations Process Research Unit (SPRU) facilities were constructed in the late 1940s to research the chemical separation of plutonium and uranium. SPRU operated between February 1950 and October 1953. The research activities ceased following the successful development of the reduction/oxidation and plutonium/uranium extraction processes that were subsequently used by the Hanford and the Savannah River sites.

M.G. JADICK

2010-05-26T23:59:59.000Z

25

Video Production Checklist Gear needed  

E-Print Network [OSTI]

Video Production Checklist Gear needed: ∑ Camera ∑ Tripod ∑ Headphones ∑ Microphone ∑ Memory cards (sunlight, tungsten, fluorescent, etc.) Camera should have an auto white balance setting. ∑ Mic the person

Jacobs, Laurence J.

26

MSW Application Checklist IMPORTANT NOTES  

E-Print Network [OSTI]

MSW Application Checklist IMPORTANT NOTES 1. Please submit all Application Materials and Fees SUBMIT Application for Admission to Graduate Studies Statement of Academic Interests (1-2 pages) MSW

Northern British Columbia, University of

27

January 2004 Exit/Termination Checklist  

E-Print Network [OSTI]

January 2004 Exit/Termination Checklist Columbia Supervisor's Checklist for Termination: ________________________ Supv. Phone:____________________ Date Hired: ________________________ Date Terminated: ________________ Note to Supervisor If this is an involuntary termination, your goals must be to: Reduce legal risks

Grishok, Alla

28

NVLAP LAB CODE: NIST HANDBOOK 150-20 CHECKLIST (REV. 2005-10-21) PAGE 1 OF 15  

E-Print Network [OSTI]

of this checklist. 3 Accreditation process 3.2 Initial accreditation _____ 3.2.2 The management system documentation shall be kept of all management system activities. 4.3 Document Control Use NIST H-20 CHECKLIST Information Technology Security Testing Common Criteria Instructions to the Assessor

29

Case study of verification, validation, and testing in the Automated Data Processing (ADP) system development life cycle  

SciTech Connect (OSTI)

Staff of the Environmental Assessment and Information Sciences Division of Argonne National Laboratory (ANL) studies the role played by the organizational participants in the Department of Veterans Affairs (VA) that conduct verification, validation, and testing (VV T) activities at various stages in the automated data processing (ADP) system development life cycle (SDLC). A case-study methodology was used to assess the effectiveness of VV T activities (tasks) and products (inputs and outputs). The case selected for the study was a project designed to interface the compensation and pension (C P) benefits systems with the centralized accounts receivable system (CARS). Argonne developed an organizational SDLC VV T model and checklists to help collect information from C P/CARS participants on VV T procedures and activities, and these were then evaluated against VV T standards.

Riemer, C.A.

1990-05-01T23:59:59.000Z

30

Nuclear disarmament verification  

SciTech Connect (OSTI)

Arms control treaties, unilateral actions, and cooperative activities -- reflecting the defusing of East-West tensions -- are causing nuclear weapons to be disarmed and dismantled worldwide. In order to provide for future reductions and to build confidence in the permanency of this disarmament, verification procedures and technologies would play an important role. This paper outlines arms-control objectives, treaty organization, and actions that could be undertaken. For the purposes of this Workshop on Verification, nuclear disarmament has been divided into five topical subareas: Converting nuclear-weapons production complexes, Eliminating and monitoring nuclear-weapons delivery systems, Disabling and destroying nuclear warheads, Demilitarizing or non-military utilization of special nuclear materials, and Inhibiting nuclear arms in non-nuclear-weapons states. This paper concludes with an overview of potential methods for verification.

DeVolpi, A.

1993-12-31T23:59:59.000Z

31

Computer Science Graduation Requirements Checklist  

E-Print Network [OSTI]

Computer Science Graduation Requirements Checklist ­ Fall 2008 Computer Science Courses Course Gr. Sem. Comments CSE 114 Computer Science I [prerequisite: CSE 110] CSE 214 Computer Science II CSE 215 Foundations of Computer Science CSE 219 Computer Science III CSE 220 Computer Organization CSE 300 Writing

Zadok, Erez

32

Computer Science Graduation Requirements Checklist  

E-Print Network [OSTI]

Computer Science Graduation Requirements Checklist ­ Fall 2009 Computer Science Courses Course Gr. Sem. Comments CSE 114 Computer Science I [prerequisite: CSE 110] CSE 214 Computer Science II CSE 215 Foundations of Computer Science CSE 219 Computer Science III CSE 220 Computer Organization CSE 300 Writing

Zadok, Erez

33

Corporate and Foundation Proposal Checklist  

E-Print Network [OSTI]

Corporate and Foundation Proposal Checklist For additional information or assistance, please contact the MSU Foundation Office of Corporate and Foundation Relations at 994-2522 MSU Mission Statement MSU Foundation Mission Statement Needs Statement States the need using hard-core statistics

Dyer, Bill

34

SUMMARY OF 2009 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL AND 15-DAY FORECASTS  

E-Print Network [OSTI]

, hurricanes and major hurricanes, respectively. 3 #12;DEFINITIONS AND ACRONYMS Accumulated Cyclone Energy (ACE Energy (ACE) (96.2) 125 100 85 80 50 Net Tropical Cyclone Activity (NTC) (100%) 135 105 90 85 66 Figure.25 Major Hurricanes (MH) (2.3) 3 2 2 2 2 Major Hurricane Days (MHD) (5.0) 7 5 4 4 3.25 Accumulated Cyclone

Gray, William

35

Verification and validation benchmarks.  

SciTech Connect (OSTI)

Verification and validation (V&V) are the primary means to assess the accuracy and reliability of computational simulations. V&V methods and procedures have fundamentally improved the credibility of simulations in several high-consequence fields, such as nuclear reactor safety, underground nuclear waste storage, and nuclear weapon safety. Although the terminology is not uniform across engineering disciplines, code verification deals with assessing the reliability of the software coding, and solution verification deals with assessing the numerical accuracy of the solution to a computational model. Validation addresses the physics modeling accuracy of a computational simulation by comparing the computational results with experimental data. Code verification benchmarks and validation benchmarks have been constructed for a number of years in every field of computational simulation. However, no comprehensive guidelines have been proposed for the construction and use of V&V benchmarks. For example, the field of nuclear reactor safety has not focused on code verification benchmarks, but it has placed great emphasis on developing validation benchmarks. Many of these validation benchmarks are closely related to the operations of actual reactors at near-safety-critical conditions, as opposed to being more fundamental-physics benchmarks. This paper presents recommendations for the effective design and use of code verification benchmarks based on manufactured solutions, classical analytical solutions, and highly accurate numerical solutions. In addition, this paper presents recommendations for the design and use of validation benchmarks, highlighting the careful design of building-block experiments, the estimation of experimental measurement uncertainty for both inputs and outputs to the code, validation metrics, and the role of model calibration in validation. It is argued that the understanding of predictive capability of a computational model is built on the level of achievement in V&V activities, how closely related the V&V benchmarks are to the actual application of interest, and the quantification of uncertainties related to the application of interest.

Oberkampf, William Louis; Trucano, Timothy Guy

2007-02-01T23:59:59.000Z

36

Power Purchase Agreement Checklist for State and Local Governments...  

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

Checklist for State and Local Governments Power Purchase Agreement Checklist for State and Local Governments Provides a detailed guide to power purchase agreements for state and...

37

Guide to good practices for independent verification  

SciTech Connect (OSTI)

This Guide to Good Practices is written to enhance understanding of, and provide direction for, Independent Verification, Chapter X of Department of Energy (DOE) Order 5480.19, ``Conduct of Operations Requirements for DOE Facilities.`` The practices in this guide should be considered when planning or reviewing independent verification activities. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. ``Independent Verification`` is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for coordinated independent verification activities to promote safe and efficient operations.

Not Available

1993-06-01T23:59:59.000Z

38

Guide to good practices for independent verification  

SciTech Connect (OSTI)

This Guide to Good Practices is written to enhance understanding of, and provide direction for, Independent Verification, Chapter X of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities.'' The practices in this guide should be considered when planning or reviewing independent verification activities. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. Independent Verification'' is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for coordinated independent verification activities to promote safe and efficient operations.

Not Available

1993-06-01T23:59:59.000Z

39

Guide to good practices for independent verification  

SciTech Connect (OSTI)

This Guide to Good Practices is written to enhance understanding of, and provide direction for, Independent Verification, Chapter X of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing independent verification activities. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. Independent Verification is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for coordinated independent verification activities to promote safe and efficient operations.

NONE

1998-12-01T23:59:59.000Z

40

Final Report - Independent Verification Survey Activities at the Seperations Process Research Unit Sites, Niskayuna, New York  

SciTech Connect (OSTI)

The Separations Process Research Unit (SPRU) complex located on the Knolls Atomic Power Laboratory (KAPL) site in Niskayuna, New York, was constructed in the late 1940s to research the chemical separation of plutonium and uranium (Figure A-1). SPRU operated as a laboratory scale research facility between February 1950 and October 1953. The research activities ceased following the successful development of the reduction oxidation and plutonium/uranium extraction processes. The oxidation and extraction processes were subsequently developed for large scale use by the Hanford and Savannah River sites (aRc 2008a). Decommissioning of the SPRU facilities began in October 1953 and continued through the 1990s.

Evan Harpenau

2011-03-15T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

Crop and Soil Science Degree Checklist Name: ____________________________  

E-Print Network [OSTI]

and Soil Science Degree Checklist Name: ____________________________ ID Intensive (SOIL 325) (3) _______ HHS 231 ≠ Lifetime Fitness for Health (2. Global Issues (3) (*soil science electives meeting requirement) _______ Science

GrŁnwald, Niklaus J.

42

Field Test and Performance Verification: Integrated Active Desiccant Rooftop Hybrid System Installed in a School - Final Report: Phase 4A  

SciTech Connect (OSTI)

This report summarizes the results of a field verification pilot site investigation that involved the installation of a hybrid integrated active desiccant/vapor-compression rooftop heating, ventilation, and air-conditioning (HVAC) unit at an elementary school in the Atlanta Georgia area. For years, the school had experienced serious humidity and indoor air quality (IAQ) problems that had resulted in occupant complaints and microbial (mold) remediation. The outdoor air louvers of the original HVAC units had been closed in an attempt to improve humidity control within the space. The existing vapor compression variable air volume system was replaced by the integrated active desiccant rooftop (IADR) system that was described in detail in an Oak Ridge National Laboratory (ORNL) report published in 2004 (Fischer and Sand 2004). The IADR system and all space conditions have been monitored remotely for more than a year. The hybrid system was able to maintain both the space temperature and humidity as desired while delivering the outdoor air ventilation rate required by American Society of Heating, Refrigerating and Air-Conditioning Engineers Standard 62. The performance level of the IADR unit and the overall system energy efficiency was measured and found to be very high. A comprehensive IAQ investigation was completed by the Georgia Tech Research Institute before and after the system retrofit. Before-and-after data resulting from this investigation confirmed a significant improvement in IAQ, humidity control, and occupant comfort. These observations were reported by building occupants and are echoed in a letter to ORNL from the school district energy manager. The IADR system was easily retrofitted in place of the original rooftop system using a custom curb adapter. All work was completed in-house by the school's maintenance staff over one weekend. A subsequent cost analysis completed for the school district by the design engineer of record concluded that the IADR system being investigated was actually less expensive to install than other less-efficient options, most of which were unable to deliver the required ventilation while maintaining the desired space humidity levels.

Fischer, J

2005-12-21T23:59:59.000Z

43

NEUTRON MULTIPLICITY AND ACTIVE WELL NEUTRON COINCIDENCE VERIFICATION MEASUREMENTS PERFORMED FOR MARCH 2009 SEMI-ANNUAL DOE INVENTORY  

SciTech Connect (OSTI)

The Analytical Development (AD) Section field nuclear measurement group performed six 'best available technique' verification measurements to satisfy a DOE requirement instituted for the March 2009 semi-annual inventory. The requirement of (1) yielded the need for SRNL Research Operations Department Material Control & Accountability (MC&A) group to measure the Pu content of five items and the highly enrich uranium (HEU) content of two. No 14Q-qualified measurement equipment was available to satisfy the requirement. The AD field nuclear group has routinely performed the required Confirmatory Measurements for the semi-annual inventories for fifteen years using sodium iodide and high purity germanium (HpGe) {gamma}-ray pulse height analysis nondestructive assay (NDA) instruments. With appropriate {gamma}-ray acquisition modeling, the HpGe spectrometers can be used to perform verification-type quantitative assay for Pu-isotopics and HEU content. The AD nuclear NDA group is widely experienced with this type of measurement and reports content for these species in requested process control, MC&A booking, and holdup measurements assays Site-wide. However none of the AD HpGe {gamma}-ray spectrometers have been 14Q-qualified, and the requirement of reference 1 specifically excluded a {gamma}-ray PHA measurement from those it would accept for the required verification measurements. The requirement of reference 1 was a new requirement for which the Savannah River National Laboratory (SRNL) Research Operations Department (ROD) MC&A group was unprepared. The criteria for exemption from verification were: (1) isotope content below 50 grams; (2) intrinsically tamper indicating or TID sealed items which contain a Category IV quantity of material; (3) assembled components; and (4) laboratory samples. Therefore all (SRNL) Material Balance Area (MBA) items with greater than 50 grams total Pu or greater than 50 grams HEU were subject to a verification measurement. The pass/fail criteria of reference 7 stated 'The facility will report measured values, book values, and statistical control limits for the selected items to DOE SR...', and 'The site/facility operator must develop, document, and maintain measurement methods for all nuclear material on inventory'. These new requirements exceeded SRNL's experience with prior semi-annual inventory expectations, but allowed the AD nuclear field measurement group to demonstrate its excellent adaptability and superior flexibility to respond to unpredicted expectations from the DOE customer. The requirements yielded five SRNL items subject to Pu verification and two SRNL items subject to HEU verification. These items are listed and described in Table 1.

Dewberry, R.; Ayers, J.; Tietze, F.; Klapper, K.

2010-02-05T23:59:59.000Z

44

This Document Contains: Indefinite Layoff Benefits Checklist  

E-Print Network [OSTI]

Company This Document Contains: ∑ Indefinite Layoff Benefits Checklist ∑ HR Vice Chancellor may be eligible for rehire privileges. See page 4. This checklist does not apply to Managers, Senior Professionals, or Senior Managers, for whom there are no layoff provisions. It also does not apply to career

Jun, Suckjoon

45

Development of a checklist for evaluating emergency procedures used in nuclear power plants  

SciTech Connect (OSTI)

This report describes the process for developing a checklist to be used by US Nuclear Regulatory Commission Office of Inspection and Enforcement (I and E) inspectors during their evaluation of emergency procedures used in nuclear power plants. The objective of the checklist is to aid inspectors in identifying procedural characteristics that can lead to reactor operator performance deviations. Four nuclear power plants were surveyed to obtain a sample of procedures and related information for human factors evaluation. In addition, a human factors analysis of 890 LERs submitted during the period 1975 through 1978 was performed to identify the major categories of performance deviations associated with reactor operator activities. Checklist items aimed at preventing these performance deviations or facilitating their early detection were developed. The study findings supporting the procedures evaluation criteria comprising the checklist items are described in this report. A companion document, Checklist for Evaluating Emergency Procedures Used in Nuclear Power Plants, NUREG/CR-2005, SAND81-7074, has been prepared as a handbook for inspectors. It describes the checklist and provides instructions for its use. 24 figs.

Brune, R.L.; Weinstein, M.

1981-05-01T23:59:59.000Z

46

Checklist 3 Before your departure from Germany  

E-Print Network [OSTI]

Checklist 3 Before your departure from Germany o It is in your hands to receive the transcripts at the Citizens' Bureau o Remember to cancel all agreements/contracts signed in Germany, such as: - with the bank

Kemper, Gregor

47

Interoperability Checklist for Decision-Makers  

SciTech Connect (OSTI)

In April 2007 the GridWiseģ Architecture Council published the Introduction to Interoperability and Decision-Makerís Interoperability Checklist Version 1.0 as a tool to be used by policy makers and executives making smart grid policy or investment decisions. Subsequently there has been a significant amount of additional work on smart grid interoperability by the council and others. This paper summarizes the current efforts of the council to update the checklist to incorporate this subsequent work.

Melton, Ronald B.; Ambrosio, Ron

2010-12-09T23:59:59.000Z

48

Federal Assistance Reporting Checklist and Instructions for RD...  

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

for RD&D Projects Federal Assistance Reporting Checklist and Instructions for RD&D Projects DOE F 4600.2, Financial Assistance Reporting Checklist for RD and D Attachment 1,...

49

Apartment Touring ChecklistApartment Touring ChecklistApartment Touring ChecklistApartment Touring Checklist Here are some things to keep in mind when looking at apartments to prevent potential issues.  

E-Print Network [OSTI]

Checklist Here are some things to keep in mind when looking at apartments to prevent potential issues. Where

Wisconsin at Madison, University of

50

Academic Renewal Checklist Student Rules and Regulations Committee  

E-Print Network [OSTI]

Academic Renewal Checklist Student Rules and Regulations Committee http://www.usg.edu/academic_affairs_handbook/section2/handbook/2.5_grading_system/#p2.5.1_academic_renewal 1 Georgia Institute of Technology Office of the Registrar Academic Renewal Application Checklist This checklist is intended to assist academic advisors

Li, Mo

51

University Policy Website Policy Development and Review Checklist  

E-Print Network [OSTI]

University Policy Website Policy Development and Review Checklist Updated May 2009 Page 1 of 3 UNIVERSITY POLICY DEVELOPMENT AND REVIEW CHECKLIST Purpose This checklist is designed to assist individuals developing and reviewing university policies and procedures. The questions below will not apply to every

Pedersen, Tom

52

National Service Activation Checklist | Department of Energy  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:Year in3.pdfEnergy HealthCommentsAugustNational Science Foundation, Lake Hoare,JanuaryNational

53

SUMMARY OF 2011 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHOR'S SEASONAL AND TWO-WEEK FORECASTS  

E-Print Network [OSTI]

.50 Accumulated Cyclone Energy (ACE) (96.2) 165 160 160 160 125 Net Tropical Cyclone Activity (NTC) (100%) 180 175 such as Net Tropical Cyclone (NTC) activity and Accumulated Cyclone Energy (ACE) were at somewhat above activity. 3 #12;DEFINITIONS AND ACRONYMS Accumulated Cyclone Energy (ACE) - A measure of a named storm

54

Computer Science Graduation Requirements Checklist Spring 2006  

E-Print Network [OSTI]

Computer Science Graduation Requirements Checklist ­ Spring 2006 Computer Science Courses Course Gr. Sem. Comments CSE 113 Foundations of Computer Science I CSE 114 Computer Science I [prerequisite: CSE 110] CSE 213 Foundations of Computer Science II CSE 214 Computer Science II CSE 219 Computer Science

Zadok, Erez

55

M.A. POLITICAL SCIENCE Application Checklist  

E-Print Network [OSTI]

M.A. POLITICAL SCIENCE Application Checklist IMPORTANT NOTES 1. Please submit all Application below. 6. Applicants to the M.A. Political Science Program normally should have a four-year baccalaureate degree in Political Science. UNBC and the Political Science Program are committed

Northern British Columbia, University of

56

Hurricane/Disaster Checklist Stockpile Water!!  

E-Print Network [OSTI]

with water, including heavy contractor garbage bags o Purchase bottled water for drinking o Fill the (clean1 Hurricane/Disaster Checklist · Stockpile Water!! o Fill up as many containers as possible) bath tubs and sinks with fresh water · Get $cash, enough for food and flights out of Oahu, etc. · Gas

Wang, Yuqing

57

MSU Faculty Advisor's Checklist Prepping for Advising  

E-Print Network [OSTI]

MSU Faculty Advisor's Checklist Prepping for Advising √? Read the Advising chapter in the New Faculty Handbook and "Reminders for Advisors" flyer. √? Get to know the Advisor's Toolkit. √? Look over semester (in Advisor's Toolkit). √? Become familiar with Advisor Dashboard (MyInfo>Secure Area

Dyer, Bill

58

Checklist 1 Before your arrival in Germany  

E-Print Network [OSTI]

Checklist 1 Before your arrival in Germany Before you set off for Germany, begin by clarifying M√ľnchen and Germany in general? o Is my command of German adequate to make myself understood in Germany for your room, etc.) o Have I dealt with all the formalities for entry into Germany (passport, visa, etc

Kemper, Gregor

59

Checklist 2 The first days in Germany  

E-Print Network [OSTI]

Checklist 2 The first days in Germany Further information and explanations for the following points (former E111 or E128) or EHIC-Card to one of the social insurers in Germany. You will then be issued in Germany! Only when you have a permanent address you can register with the Citizens' Bureau (B√ľrgerb√ľro

Kemper, Gregor

60

CRADA CHECKLIST For Your Convenience, check off  

E-Print Network [OSTI]

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

Baker, Chris I.

Note: This page contains sample records for the topic "activities verification checklist" 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

CRIS Project Internal DASNR Compliance Checklist  

E-Print Network [OSTI]

CRIS Project Internal DASNR Compliance Checklist Researcher's Name: Department: Address / Phone: Project Title: Does this project involve research with: Human Subjects Yes No If yes, attach copy of IRB to Animals, Plants, or Humans Radioactive Materials or Yes No If yes, attach copy of Radiation Sa X

Ghajar, Afshin J.

62

STATE OF CALIFORNIA INSULATION STAGE CHECKLIST  

E-Print Network [OSTI]

STATE OF CALIFORNIA INSULATION STAGE CHECKLIST CEC-CF-6R-ENV-22 (Revised 05/12) CALIFORNIA ENERGY COMMISSION INSTALLATION CERTIFICATE CF-6R-ENV-22 Quality Insulation Installation (QII) - Insulation Stage be insulated in a manner that resists thermal bridging of the assembly separating conditioned from

63

Annual Inventory Troubleshooting Checklist Problem Solutions  

E-Print Network [OSTI]

Annual Inventory Troubleshooting Checklist Problem Solutions Duplicate tag number Send email to am-4608 showing date and why returned. If equipment was replaced, has it been inventoried? If so, please notate and property coordinator. If item is listed for another department: 1) If the item should be in your inventory

64

SUMMARY OF 2012 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHORS' SEASONAL AND TWO-WEEK FORECASTS  

E-Print Network [OSTI]

(MHD) (3.9) 3 4 5 0.25 6% Accumulated Cyclone Energy (ACE) (92) 70 80 99 129 140% Net Tropical Cyclone Cyclone Energy (ACE) were at above-average levels. Most hurricane activity in 2012 was concentrated of the season in the Caribbean. Integrated measures such as Net Tropical Cyclone (NTC) activity and Accumulated

Gray, William

65

SUMMARY OF 2014 ATLANTIC TROPICAL CYCLONE ACTIVITY AND VERIFICATION OF AUTHORS' SEASONAL AND TWO-WEEK FORECASTS  

E-Print Network [OSTI]

.0) 1 1 1 1 2 100% Major Hurricane Days (MHD) (3.9) 2 3 3 3 3.50 90% Accumulated Cyclone Energy (ACE measures such as Accumulated Cyclone Energy (ACE) and Net Tropical Cyclone (NTC) activity. We issued six. Integrated measures such as Net Tropical Cyclone (NTC) activity and Accumulated Cyclone Energy (ACE) were

Schumacher, Russ

66

Verification and Validation  

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

include modeling simulation (which is a form of Test, Demonstration, and Analysis). INL system engineers specialize in helping projects through the Verification and Validation...

67

Treaty Verification | ornl.gov  

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

Verification SHARE Treaty Verification ORNL is a strong contributor to future nonproliferation and arms control initiatives through research and development of radiation...

68

MSW SOCIAL WORK -Application Checklist (Last updated: April 7, 2014)  

E-Print Network [OSTI]

MSW SOCIAL WORK - Application Checklist (Last updated: April 7, 2014) IMPORTANT NOTES 1. Applicants Application Statement of Academic Interests: Your academic interests and ambitions, reasons for applying MSW

Northern British Columbia, University of

69

Orc Verification Jayadev Misra  

E-Print Network [OSTI]

Orc Verification Jayadev Misra Department of Computer Science University of Texas at Austin http://orc.csres.utexas.edu WG 2.3, St. Petersburg June 5, 2013 #12;Orc Verification has been a disaster · Concurrency everywhere events but temporal ordering · Basic orc has no mutable variables, but sites do · Full functional

Misra, Jayadev

70

FIPG: Third Party Vendor Checklist THE CHAPTER PRESIDENT  

E-Print Network [OSTI]

FIPG: Third Party Vendor Checklist THE CHAPTER PRESIDENT: Your Chapter will be in compliance with the risk management policies of National Fraternity and FIPG if you hire a "third party vendor" to serve alcohol at your functions WHEN you can document the following checklist items. THE VENDOR MUST: _____1

Hone, James

71

TOOL KIT CHECKLIST 12DOM_MI058  

E-Print Network [OSTI]

TOOL KIT CHECKLIST 12DOM_MI058 TOOLS fOr DIY Considerthetypesofprojectsyouwillbeundertaking,secondhandisfineifthey'reingoodcondition. Anycuttingsurfacesmustberazorsharpandbespecifictothematerialtobecut. Tools--especiallypowertools--canbeverydangerous. "Reality,wastingmoneyandlettingfrustrationandfailuremakeyourprojectsunpleasant (andunsuccessful)andworsestill,putyouoffanymoreDIY. #12;TOOL KIT CHECKLIST 12DOM_MI058 BASIC TOOL KITS MAY INCLUDE

Peters, Richard

72

University of Massachusetts Amherst Measurement & Verification Guidelines  

E-Print Network [OSTI]

University of Massachusetts Amherst Measurement & Verification Guidelines & Template Plan 11 ..............................................................................................................1 UMASS AMHERST MEASUREMENT & VERIFICATION (M&V) GUIDELINES ..........3 PREFACE ....................................................................................................................................................................3 BENEFITS OF MEASUREMENT & VERIFICATION

Massachusetts at Amherst, University of

73

Carbon Storage Monitoring, Verification and Accounting Research...  

Energy Savers [EERE]

Monitoring, Verification and Accounting Research Carbon Storage Monitoring, Verification and Accounting Research Reliable and cost-effective monitoring, verification and accounting...

74

Verification and Validation of Simulation Model  

E-Print Network [OSTI]

Verification and Validation of Simulation Model 1 Verification and Validation 2 #12;Verification · Examples ­ simulation model: open networks with exponential interarrival time distribution and uniform

Shihada, Basem

75

MCW Laboratory Decommissioning Checklist P.I.:_______________ Date: ___________ LAB DECOMMISSIONING CHECKLIST rev. 12/12/13  

E-Print Network [OSTI]

DECOMMISSIONING CHECKLIST rev. 12/12/13 Timeline Tasks Contacts Completed NA 1 month Inventory sends inventory list to appropriate contact Send email to safetyinfo@mcw.edu "Attn: Chemical, and outline appropriate path of decontamination (e.g. needs oil removed prior to disposal, requires surface

76

Voltage verification unit  

DOE Patents [OSTI]

A voltage verification unit and method for determining the absence of potentially dangerous potentials within a power supply enclosure without Mode 2 work is disclosed. With this device and method, a qualified worker, following a relatively simple protocol that involves a function test (hot, cold, hot) of the voltage verification unit before Lock Out/Tag Out and, and once the Lock Out/Tag Out is completed, testing or "trying" by simply reading a display on the voltage verification unit can be accomplished without exposure of the operator to the interior of the voltage supply enclosure. According to a preferred embodiment, the voltage verification unit includes test leads to allow diagnostics with other meters, without the necessity of accessing potentially dangerous bus bars or the like.

Martin, Edward J. (Virginia Beach, VA)

2008-01-15T23:59:59.000Z

77

FINAL REPORT ĖINDEPENDENT VERIFICATION SURVEY SUMMARY AND RESULTS FOR THE ARGONNE NATIONAL LABORATORY BUILDING 330 PROJECT FOOTPRINT, ARGONNE, ILLINOIS  

SciTech Connect (OSTI)

ORISE conducted onsite verification activities of the Building 330 project footprint during the period of June 6 through June 7, 2011. The verification activities included technical reviews of project documents, visual inspections, radiation surface scans, and sampling and analysis. The draft verification report was issued in July 2011 with findings and recommendations. The contractor performed additional evaluations and remediation.

ERIKA N. BAILEY

2012-02-29T23:59:59.000Z

78

Environmental Technology Verification of Mobile Sources Control...  

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

Environmental Technology Verification of Mobile Sources Control Technologies Environmental Technology Verification of Mobile Sources Control Technologies 2005 Diesel Engine...

79

SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. (2014)  

E-Print Network [OSTI]

. An industrial case study using reactor protection system software shows that the automatically generated test defined by the International Electrotechnical Commission (IEC). Industrial FBD testing relies mostlySOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. (2014) Published online

80

Electric Utility Measurement & Verification Program  

E-Print Network [OSTI]

Electric Utility Measurement & Verification Program Ken Lau, P.Eng., CMVP Graham Henderson, P.Eng., CMVP Dan Hebert, P.Eng.,CMVP Mgr, Measurement & Verification Engineering Team Leader Senior Engineer BC Hydro Burnaby, BC Canada...

Lau, K.; Henderson, G.; Hebert, D.

Note: This page contains sample records for the topic "activities verification checklist" 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

Quantum Money with Classical Verification  

E-Print Network [OSTI]

We construct a quantum money scheme that allows verification through classical communication with bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification.

Gavinsky, Dmitry

2011-01-01T23:59:59.000Z

82

Environmental Technology Verification Program  

E-Print Network [OSTI]

Environmental Technology Verification Program Quality Management Plan (QMP) for the ETV Materials Management and Remediation Center Version 1.0 #12;QUALITY MANAGEMENT PLAN (QMP) for the ETV MATERIALS MANAGEMENT AND REMEDIATION CENTER Version 1.0 (SIGNATURE ON FILE) Teri Richardson 3-13-09 EPA MMR CENTER

83

Indoor airPLUS Version 1 (Rev. 01) Verification Checklist | Department of  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-UpHeatMulti-Dimensionalthe U.S.Indiana College Provides Training for GreenSystem

84

HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME: ___________________________ACCT.CODE:________________________________________________________DATE:_______  

E-Print Network [OSTI]

HARVARD UNIVERSITY VENDOR JUSTIFICATION/PRICE VERIFICATION FORM TUB AND ORG NAME/Org/Object/Fund/Activity/Sub-Activity/Root WEB VOUCHER NO:____________VENDOR:____________________! Grant !!!! Contract !!!!Cooperative Agreement (please check one) The Federal Government requires vendor selection justification and price verification

Heller, Eric

85

Quantum Money with Classical Verification  

E-Print Network [OSTI]

We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification. Our scheme is secure against adaptive adversaries - this property is not directly related to the possibility of classical verification, nevertheless none of the earlier quantum money constructions is known to possess it.

Dmitry Gavinsky

2012-03-15T23:59:59.000Z

86

Interim Letter Report - Verification Survey of Partial Grids H19, J21, J22, X20, and X21 at the David Witherspoon, Inc. 1630 Site, Knoxville Tennessee  

SciTech Connect (OSTI)

Conduct verification surveys of available grids at the David Witherspoon Incorporated 1630 Site (DWI 1630) in Knoxville, Tennessee. The IVT conducted verification activities of partial grids H19, J21, J22, X20, and X21.

P.C. Weaver

2008-03-19T23:59:59.000Z

87

Assessment of Evaluation, Measurement, and Verification Methods...  

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

Assessment of Evaluation, Measurement, and Verification Methods - 2014 BTO Peer Review Assessment of Evaluation, Measurement, and Verification Methods - 2014 BTO Peer Review...

88

Benefits of Evaluation, Measurement, and Verification | Department...  

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

Benefits of Evaluation, Measurement, and Verification Benefits of Evaluation, Measurement, and Verification This document provides information about the benefits of performing...

89

Evaluation, Measurement, and Verification Overview | Department...  

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

Evaluation, Measurement, and Verification Overview Evaluation, Measurement, and Verification Overview This document provides an overview and definition of EM&V. What is EMV? More...

90

TFE Verification Program  

SciTech Connect (OSTI)

The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a TFE (thermionic fuel element) suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TFE Verification Program builds directly on the technology and data base developed in the 1960s and early 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern.

Not Available

1993-05-01T23:59:59.000Z

91

Learning Minimal Separating DFA's for Compositional Verification  

E-Print Network [OSTI]

version is evaluated on the LTSA benchmarks and compared with other automated com- positional verification

Clarke, Edmund M.

92

CAL STATE UNIVERSITY, FULLERTON NON-RESIDENT ALIEN PAYMENT CHECKLIST  

E-Print Network [OSTI]

CAL STATE UNIVERSITY, FULLERTON NON-RESIDENT ALIEN PAYMENT CHECKLIST To be used when making", the individual is not considered a non-resident alien for tax purposes. Process the payment request through receipts* Additional Non-Resident Alien supporting documents needed: Foreign National Information Form

de Lijser, Peter

93

Department of Philosophy -Philosophy Option Checklist 2010 -2012 Catalog  

E-Print Network [OSTI]

Department of Philosophy - Philosophy Option Checklist 2010 -2012 Catalog Student: GID #: Students may declare a philosophy major at any time. Please go to the Department Office in 2-155 Wilson Hall Upper-division courses: Required History of Philosophy Courses Semester Grade 1. PHL 361RH History

Maxwell, Bruce D.

94

Department of History and Philosophy Philosophy -Philosophy Option Checklist  

E-Print Network [OSTI]

Department of History and Philosophy Philosophy - Philosophy Option Checklist 2012 -2014 Catalog Student: GID #: Students may declare a philosophy major at any time. Please go to the Department Office Grade 1. PHL 236Q, Logic Upper-division courses: Required History of Philosophy Courses Semester Grade 1

Lawrence, Rick L.

95

Graduation Checklist 1. Submit study program (form 1)  

E-Print Network [OSTI]

the graduation regulations before actually starting your graduation project available at http://w3.win.tue.nl/nl/onderwijs/reglementen/ 3. Submit your graduation plan (form 2) before actually starting your graduation project formGraduation Checklist 1. Submit study program (form 1) if you have accumulated 40-50 credits form

Sidorova, Natalia

96

ENERGY STAR Back-To-School Shopping Checklist  

E-Print Network [OSTI]

ENERGY STAR¬ģ Back-To-School Shopping Checklist Students can make a difference by shopping "smart" with ENERGY STAR¬ģ . Computing the Savings ENERGY STAR Qualified Computer Equipment Computer Monitor ENERGY up to 90 percent more energy than standard monitors. Printer If every home office were powered

97

Revised: 02/23/11 Environmental Science Degree Checklist  

E-Print Network [OSTI]

Revised: 02/23/11 Environmental Science Degree Checklist Name: Student ID: Advisor Credits Course Title Course # Credits Plan Done Intro Probab. & Stats I STAT 243 4 Intro Probab & Stats II STAT 244 4 or Intro Probab & Stats I STAT 243 4 Research Methods in Env

98

Policy Writer's Checklist Updating your policy sections and exhibits  

E-Print Network [OSTI]

6/4/13 1 Policy Writer's Checklist Updating your policy sections and exhibits: Request the most recent word processing file from your unit policy coordinator (see http of the policy section. Think specifically about what information campus departments will need in order to use

California at Davis, University of

99

When your department is planning to move: An Ergonomics Checklist  

E-Print Network [OSTI]

When your department is planning to move: An Ergonomics Checklist A proactive, organized approach for the move. Involve your computer workstation evaluator(s). Identify additional ergonomic evaluator evaluators. UC Berkeley's Ergonomics Program for Faculty and Staff ERGONOMICS@WORK (continues on page 2) #12

Jacobs, Lucia

100

LASER SAFETY SELF-INSPECTION CHECKLIST Lab Supervisor _________________________ Inspected By: __________________________  

E-Print Network [OSTI]

LASER SAFETY SELF-INSPECTION CHECKLIST Lab Supervisor _________________________ Inspected By, and alignment procedures kept with laser equipment? yes no 3. Have all commercially produced Class 3b and 4 lasers and all lasers made or modified on campus been registered with the University's Laser Safety

Bolch, Tobias

Note: This page contains sample records for the topic "activities verification checklist" 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

Internship Program Checklist: 1. MEET WITH YOUR EMPLOYER  

E-Print Network [OSTI]

Internship Program Checklist: 1. MEET WITH YOUR EMPLOYER: Take the Letter to the Employer to a meeting with your employer. This will provide your employer with an overview of the internship program with your employer. You will strive to accomplish these objectives during the internship's 13 weeks

Simons, Jack

102

Colorado Advantage: PhD Preview Program Application Checklist  

E-Print Network [OSTI]

Colorado Advantage: PhD Preview Program Application Checklist Please make sure you have completed 1. Describe your interest in attending the Colorado Advantage program and how it will benefit you maximum) Official Transcripts: 1. Mail to: Colorado Diversity Initiative/Colorado Advantage University

Colorado at Boulder, University of

103

Organics Verification Study for Sinclair and Dyes Inlets, Washington  

SciTech Connect (OSTI)

Sinclair and Dyes Inlets near Bremerton, Washington, are on the State of Washington 1998 303(d) list of impaired waters because of fecal coliform contamination in marine water, metals in sediment and fish tissue, and organics in sediment and fish tissue. Because significant cleanup and source control activities have been conducted in the inlets since the data supporting the 1998 303(d) listings were collected, two verification studies were performed to address the 303(d) segments that were listed for metal and organic contaminants in marine sediment. The Metals Verification Study (MVS) was conducted in 2003; the final report, Metals Verification Study for Sinclair and Dyes Inlets, Washington, was published in March 2004 (Kohn et al. 2004). This report describes the Organics Verification Study that was conducted in 2005. The study approach was similar to the MVS in that many surface sediment samples were screened for the major classes of organic contaminants, and then the screening results and other available data were used to select a subset of samples for quantitative chemical analysis. Because the MVS was designed to obtain representative data on concentrations of contaminants in surface sediment throughout Sinclair Inlet, Dyes Inlet, Port Orchard Passage, and Rich Passage, aliquots of the 160 MVS sediment samples were used in the analysis for the Organics Verification Study. However, unlike metals screening methods, organics screening methods are not specific to individual organic compounds, and are not available for some target organics. Therefore, only the quantitative analytical results were used in the organics verification evaluation. The results of the Organics Verification Study showed that sediment quality outside of Sinclair Inlet is unlikely to be impaired because of organic contaminants. Similar to the results for metals, in Sinclair Inlet, the distribution of residual organic contaminants is generally limited to nearshore areas already within the actively managed Puget Sound Naval Shipyard and Intermediate Maintenance Facility Superfund Site, where further source-control actions and monitoring are under way.

Kohn, Nancy P.; Brandenberger, Jill M.; Niewolny, Laurie A.; Johnston, Robert K.

2006-09-28T23:59:59.000Z

104

SEPARATION/TERMINATION CHECKLIST PROCEDURES This checklist should be initiated only by the home department and upon receipt of a written notice of resignation or termination.  

E-Print Network [OSTI]

SEPARATION/TERMINATION CHECKLIST PROCEDURES This checklist should be initiated only by the home department and upon receipt of a written notice of resignation or termination. The following procedures must be completed for all separating/terminating employees except students, grads and temporary hourly employees

Dyer, Bill

105

New Office Safety and Ergonomics Checklist Purpose: This checklist is designed to assist employees and staff by providing emergency, safety and  

E-Print Network [OSTI]

11/7/11 New Office Safety and Ergonomics Checklist Purpose: This checklist is designed to assist employees and staff by providing emergency, safety and ergonomic guidance after an office move. Employees: _______________________________________ Complete during the first week after the move OK/NA Ergonomics The online Course 291 (Ergonomics Training

Wechsler, Risa H.

106

Software Modeling and Verification Professors  

E-Print Network [OSTI]

Software Modeling and Verification Staff · Professors Prof. Dr. Ir. Joost-Pieter Katoen Prof. em) Mark Timmer (Uni Twente, NL) Dr. Olga Tveretina (Karlsruhe University, D) Ralf Wimmer (Universität

√Ābrah√°m, Erika

107

PARS II End-of-Month Checklist and Processing Schedule | Department...  

Energy Savers [EERE]

and Processing Schedule PARS II End-of-Month Checklist and Processing Schedule Slide 1 More Documents & Publications Slide 1 PMCDPNewsletterOctober2010SHR.pdf October...

108

DOE's New Checklist Helps Plants Assess Energy Management Activities |  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:Year in Review: TopEnergy DOE Theory Focus SessionDepartment of Energy Technical Assistance

109

HEALTH AND ACCIDENT INSURANCE VERIFICATION ******************** TO BE COMPLETED BY STUDENT ********************  

E-Print Network [OSTI]

HEALTH AND ACCIDENT INSURANCE VERIFICATION ******************** TO BE COMPLETED BY STUDENT Services Office of the university of Florida requires that s/he has health and accident insurance with your participating in study abroad activate hold health and accident insurance with a minimum coverage of $200

Jawitz, James W.

110

INDEPENDENT VERIFICATION SURVEY REPORT FOR ZONE 1 OF THE EAST TENNESSEE TECHNOLOGY PARK IN OAK RIDGE, TENNESSEE  

SciTech Connect (OSTI)

Oak Ridge Associated Universities (ORAU) conducted in-process inspections and independent verification (IV) surveys in support of DOE's remedial efforts in Zone 1 of East Tennessee Technology Park (ETTP) in Oak Ridge, Tennessee. Inspections concluded that the remediation contractor's soil removal and survey objectives were satisfied and the dynamic verification strategy (DVS) was implemented as designed. Independent verification (IV) activities included gamma walkover surveys and soil sample collection/analysis over multiple exposure units (EUs).

King, David A.

2012-08-16T23:59:59.000Z

111

INDEPENDENT VERIFICATION OF THE BUILDING 3550 SLAB AT OAK RIDGE NATIONAL LABORATORY OAK RIDGE, TENNESSEE  

SciTech Connect (OSTI)

The Oak Ridge Institute for Science and Education (ORISE) has completed the independent verification survey of the Building 3550 Slab. The results of this effort are provided. The objective of this verification survey is to provide independent review and field assessment of remediation actions conducted by Safety and Ecology Corporation (SEC) to document that the final radiological condition of the slab meets the release guidelines. Verification survey activities on the Building 3550 Slab that included scans, measurements, and the collection of smears. Scans for alpha, alpha plus beta, and gamma activity identified several areas that were investigated.

Weaver, Phyllis C.

2012-05-08T23:59:59.000Z

112

Letter Report - Verification Survey of Final Grids at the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee  

SciTech Connect (OSTI)

Conduct verification surveys of grids at the DWI 1630 Site in Knoxville, Tennessee. The independent verification team (IVT) from ORISE, conducted verification activities in whole and partial grids, as completed by BJC. ORISE site activities included gamma surface scans and soil sampling within 33 grids; G11 through G14; H11 through H15; X14, X15, X19, and X21; J13 through J15 and J17 through J21; K7 through K9 and K13 through K15; L13 through L15; and M14 through M16

P.C. Weaver

2009-02-17T23:59:59.000Z

113

REVISED FINAL REPORT Ė INDEPENDENT VERIFICATION SURVEY ACTIVITIES AT THE SEPARATIONS PROCESS RESEARCH UNIT SITES, NISKAYUNA, NEW YORK Ė DCN 0496-SR-06-1  

SciTech Connect (OSTI)

The Separations Process Research Unit (SPRU) complex located on the Knolls Atomic Power Laboratory (KAPL) site in Niskayuna, New York, was constructed in the late 1940s to research the chemical separation of plutonium and uranium (Figure A-1). SPRU operated as a laboratory scale research facility between February 1950 and October 1953. The research activities ceased following the successful development of the reduction oxidation and plutonium/uranium extraction processes. The oxidation and extraction processes were subsequently developed for large scale use by the Hanford and Savannah River sites (aRc 2008a). Decommissioning of the SPRU facilities began in October 1953 and continued through the 1990s.

Evan Harpenau

2011-10-10T23:59:59.000Z

114

Generation of RTL verification input stimulus  

E-Print Network [OSTI]

This thesis presents an approach for generating input stimulus for verification of register-transfer level (RTL) design of VLSI circuits. RTL design is often subjected to a significant verification effort due to errors introduced during manual...

Selvarathinam, Anand Manivannan

2001-01-01T23:59:59.000Z

115

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

E-Print Network [OSTI]

Termination or Transfer Checklist for Managers Employees can terminate from their positions. This checklist is to be used by managers when an employee is going to terminate from the University or transfer to a different position. It identifies the things that the manager is required to do as part of the termination

Ellis, Randy

116

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

E-Print Network [OSTI]

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

Abolmaesumi, Purang

117

CHECKLIST OF THE PLANTS OF THE GUIANAS (Guyana, Surinam, French Guiana)  

E-Print Network [OSTI]

CHECKLIST OF THE PLANTS OF THE GUIANAS (Guyana, Surinam, French Guiana) 2nd Edition J. Boggan, V;#12;CHECKLIST OF THE PLANTS OF THE GUIANAS (Guyana, Surinam, French Guiana) 2nd Edition J. Boggan, V. Funk, C, Surinam, French Guiana) 2nd Edition 1st Edition: December 1992 2nd Edition: February 1997 Published

Mathis, Wayne N.

118

Mnoa Green Days Checklist for Buildings Being Closed Due to AC Shutdown  

E-Print Network [OSTI]

Mnoa Green Days Checklist for Buildings Being Closed Due to AC Shutdown The following Mnoa Green Days in which air conditioning to participating buildings will be shutdown over the weekends is a checklist for building occupants to use as a reference to successfully conserve energy during the Expanded

Wang, Yuqing

119

Guide to the Green Lab Certification Checklist Section 1: Management and Training  

E-Print Network [OSTI]

Guide to the Green Lab Certification Checklist Section 1: Management and Training 1a. Prerequisite - Lab participates in self assessment and sustainability innovation. Use the Green Lab Certification Checklist as a self-assessment guide to consider your lab's energy conservation and sustainability practices

120

What is the Grid? A Three Point Checklist Argonne National Laboratory & University of Chicago  

E-Print Network [OSTI]

What is the Grid? A Three Point Checklist Ian Foster Argonne National Laboratory & University in the Grid makes it timely to revisit the question: What is the Grid, anyway? I propose here a three-point checklist for determining whether a system is a Grid. I also discuss the critical role that standards must

Foster, Ian

Note: This page contains sample records for the topic "activities verification checklist" 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

UCHC Competency Checklist: ANNUAL Position Title:Nursing Care Associate Employee Name: Unit: _______  

E-Print Network [OSTI]

: CLUSTER SPECIFIC COMPETENCIES 1. Reports to charge nurse at the beginning of shift for assignment and daily checklist 2. Completes the daily checklist; communicates with charge nurse regarding unfinished. 4. Documents follow up to out of range refrigerator, freezer, and warmer temperatures. 5. Docks

Oliver, Douglas L.

122

Water Conservation Checklist for the Home  

E-Print Network [OSTI]

Modifying water use in the home can reduce water waste and save energy and money. This publication explains how to conserve water while doing various activities around the home. Tips are also given on inspecting plumbing....

Harris, Janie; Kellner, Bev

2002-08-10T23:59:59.000Z

123

STAFF AWARENESS SUSTAINABLE ACTIONS CHECKLIST1  

E-Print Network [OSTI]

personal touches. Ensure the ergonomics of your desk and computer are correct (visit Western's Ergonomics Program website by searching "Ergonomics" from the homepage). Incorporate mixed activities in your day

Sinnamon, Gordon J.

124

Design for manufacturability Design verification  

E-Print Network [OSTI]

ITRS Design #12;Design · Design for manufacturability · Design verification #12;Design for Manufacturability · Architecture challenges · Logic and circuit challenges · Layout and physical design challenges · Expected to be the source of multiple DFM challenges · Invest in variability reduction or design

Patel, Chintan

125

Reciprocity Checklist - August 24, 2011 | Department of Energy  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of Energy Power.pdf11-161-LNG |September 15,2015 |Rebecca Matulka About Us RebeccaReciprocity Checklist -

126

File:Title V Checklist.pdf | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublicIDAPowerPlantSitingConstruction.pdfNotify98.pdf Jump to: navigation,storage plan review checkV Checklist.pdf

127

Lessons Learned from Independent Verification Activities  

Broader source: Energy.gov [DOE]

The Department of Energy clears property from radiological control after the property has been demonstrated to meet the Departmentís stringent radiation protection requirements.

128

Neptunium flow-sheet verification at reprocessing plants  

SciTech Connect (OSTI)

Due to their fissile nature, neptunium and americium have at least a theoretical potential application as nuclear explosives and their proliferation potential was considered by the IAEA in studies in the late 1990's. This work was motivated by an increased awareness of the proliferation potential of americium and neptunium and a number of emerging projects in peaceful nuclear programmes which could result in an increase in the available quantities of these minor actinides. The studies culminated in proposals for various voluntary measures including the reporting of international transfers of separated americium and neptunium, declarations concerning the amount of separated neptunium and americium held by states and the application of flow-sheet verification to ensure that facilities capable of separating americium or neptunium are operated in a manner consistent with that declared. This paper discusses the issue of neptunium flowsheet verification in reprocessing plants. The proliferation potential of neptunium is first briefly discussed and then the chemistry of neptunium relevant to reprocessing plants described with a view to indicating a number of issues relevant to the verification of neptunium flow-sheets. Finally, the scope of verification activities is discussed including analysis of process and engineering design information, plant monitoring and sampling and the potential application of containment and surveillance measures. (authors)

Rance, P.; Chesnay, B.; Killeen, T.; Murray, M.; Nikkinen, M.; Petoe, A.; Plumb, J.; Saukkonen, H. [International Atomic Energy Agency, Wagramer Strasse 5, P.O. Box 100, A-1400 Vienna (Austria)

2007-07-01T23:59:59.000Z

129

Software Verification and Testing Lecture Notes: Testing I  

E-Print Network [OSTI]

Software Verification and Testing Lecture Notes: Testing I #12;Motivation verification: · powerful · automated techniques rather limited testing: (as "poor man's verification") · can only detect presence mathematical skills 1 #12;Motivation verification vs testing: · verification used often in early stages

Struth, Georg

130

Development of a Visual Inspection Checklist for Evaluation of Fielded PV Module Condition (Presentation)  

SciTech Connect (OSTI)

A visual inspection checklist for the evaluation of fielded photovoltaic (PV) modules has been developed to facilitate collection of data describing the field performance of PV modules. The proposed inspection checklist consists of 14 sections, each documenting the appearance or properties of a part of the module. This tool has been evaluated through the inspection of over 60 PV modules produced by more than 20 manufacturers and fielded at two different sites for varying periods of time. Aggregated data from a single data collection tool such as this checklist has the potential to enable longitudinal studies of module condition over time, technology evolution, and field location for the enhancement of module reliability models.

Packard, C. E; Wohlgemuth, J. H.; Kurtz, S. R.

2012-03-01T23:59:59.000Z

131

Annotated checklist and database for vascular plants of the Jemez Mountains  

SciTech Connect (OSTI)

Studies done in the last 40 years have provided information to construct a checklist of the Jemez Mountains. The present database and checklist builds on the basic list compiled by Teralene Foxx and Gail Tierney in the early 1980s. The checklist is annotated with taxonomic information, geographic and biological information, economic uses, wildlife cover, revegetation potential, and ethnographic uses. There are nearly 1000 species that have been noted for the Jemez Mountains. This list is cross-referenced with the US Department of Agriculture Natural Resource Conservation Service PLANTS database species names and acronyms. All information will soon be available on a Web Page.

Foxx, T. S.; Pierce, L.; Tierney, G. D.; Hansen, L. A.

1998-03-01T23:59:59.000Z

132

Nuclear Data Verification and Standardization  

SciTech Connect (OSTI)

The objective of this interagency program is to provide accurate neutron interaction verification and standardization data for the U.S. Department of Energy Division of Nuclear Physics programs which include astrophysics, radioactive beam studies, and heavy-ion reactions. The measurements made in this program are also useful to other programs that indirectly use the unique properties of the neutron for diagnostic and analytical purposes. These include homeland security, personnel health and safety, nuclear waste disposal, treaty verification, national defense, and nuclear based energy production. The work includes the verification of reference standard cross sections and related neutron data employing the unique facilities and capabilities at NIST and other laboratories as required; leadership and participation in international intercomparisons and collaborations; and the preservation of standard reference deposits. An essential element of the program is critical evaluation of neutron interaction data standards including international coordinations. Data testing of critical data for important applications is included. The program is jointly supported by the Department of Energy and the National Institute of Standards and Technology.

Karam, Lisa R.; Arif, Muhammad; Thompson, Alan K.

2011-10-01T23:59:59.000Z

133

Verification Challenges at Low Numbers  

SciTech Connect (OSTI)

Many papers have dealt with the political difficulties and ramifications of deep nuclear arms reductions, and the issues of ďGoing to ZeroĒ. Political issues include extended deterrence, conventional weapons, ballistic missile defense, and regional and geo-political security issues. At each step on the road to low numbers, the verification required to ensure compliance of all parties will increase significantly. Looking post New START, the next step will likely include warhead limits in the neighborhood of 1000 . Further reductions will include stepping stones at1000 warheads, 100ís of warheads, and then 10ís of warheads before final elimination could be considered of the last few remaining warheads and weapons. This paper will focus on these three threshold reduction levels, 1000, 100ís, 10ís. For each, the issues and challenges will be discussed, potential solutions will be identified, and the verification technologies and chain of custody measures that address these solutions will be surveyed. It is important to note that many of the issues that need to be addressed have no current solution. In these cases, the paper will explore new or novel technologies that could be applied. These technologies will draw from the research and development that is ongoing throughout the national laboratory complex, and will look at technologies utilized in other areas of industry for their application to arms control verification.

Benz, Jacob M.; Booker, Paul M.; McDonald, Benjamin S.

2013-06-01T23:59:59.000Z

134

Human-system interface design review guideline -- Reviewer`s checklist: Final report. Revision 1, Volume 2  

SciTech Connect (OSTI)

NUREG-0700, Revision 1, provides human factors engineering (HFE) guidance to the US Nuclear Regulatory Commission staff for its: (1) review of the human system interface (HSI) design submittals prepared by licensees or applications for a license or design certification of commercial nuclear power plants, and (2) performance of HSI reviews that could be undertaken as part of an inspection or other type of regulatory review involving HSI design or incidents involving human performance. The guidance consists of a review process and HFE guidelines. The document describes those aspects of the HSI design review process that are important to the identification and resolution of human engineering discrepancies that could adversely affect plant safety. Guidance is provided that could be used by the staff to review an applicant`s HSI design review process or to guide the development of an HSI design review plan, e.g., as part of an inspection activity. The document also provides detailed HFE guidelines for the assessment of HSI design implementations. NUREG-0700, Revision 1, consists of three stand-alone volumes. Volume 2 is a complete set of the guidelines contained in Volume 1, Part 2, but in a checklist format that can be used by reviewers to assemble sets of individual guidelines for use in specific design reviews. The checklist provides space for reviewers to enter guidelines evaluations and comments.

NONE

1996-06-01T23:59:59.000Z

135

Superior Energy Performance Measurement and Verification Protocol...  

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

and Verification Protocol for Industry (November 2012) More Documents & Publications Energy Intensity Baselining and Tracking Guidance EnPI V4.0 Tool Algorithm Superior Energy...

136

PRE-SUBMISSION CHECKLIST From the University Thesis/Disserta on Reader Dear Student,  

E-Print Network [OSTI]

PRE-SUBMISSION CHECKLIST ­ From the University Thesis/Disserta on Reader Dear Student, Bring the format of the example pages. All preliminary page numbers are lowercase roman numerals and font as the en

de Lijser, Peter

137

POLICY CHECKLIST To be submitted with the policy as presented at Cabinet  

E-Print Network [OSTI]

POLICY CHECKLIST To be submitted with the policy as presented at Cabinet Initiating party: ______________________________________ Date: _______________ (person who initiated the policy change, project leader) Originating Department/Office: ________________________________________________ Policy name: ______________________________________________________________ New Policy: _____ Amended

Khan, Javed I.

138

Graduation Checklist --Department of Political Science 2012-2014 Name:_________________________GID: _____________________Concentration: ___________________  

E-Print Network [OSTI]

Graduation Checklist -- Department of Political Science 2012-2014 Name Cinema and Political Theory PSCI 444 Congressional Campaigns PSCI 434 International Law PSCI 436 Politics)_____________________________________________________________________ Contemporary Issues in Science (CS)__________________________________________________ Inquiry Art (IA

Maxwell, Bruce D.

139

STANFORD HCI GROUP & AIM LAB Dynamic Checklists for Operating Room Crises  

E-Print Network [OSTI]

-time synchronization between input devices. Stanford HCI / Kristen Leach, Jesse Cirimele, Leslie Wu, Justin Lee, Tonya current prototype of a dynamic checklist for Asystole. Our current EHR and condensed vitals section

Klemmer, Scott

140

ENERGY STAR Test Procedures and Verification | Department of...  

Energy Savers [EERE]

ENERGY STAR ENERGY STAR Test Procedures and Verification ENERGY STAR Test Procedures and Verification The Department of Energy (DOE) is the lead agency in the development and...

Note: This page contains sample records for the topic "activities verification checklist" 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

DOE Verification Testing in Support of ENERGY STAR, April 22...  

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

the Energy Star Verification Testing Program Comment submitted by the Association of Home Appliance Manufacturers (AHAM) regarding the Energy Star Verification Testing Program...

142

ORO Verification of Employment Tracking System(VETS) PIA, Oak...  

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

Verification of Employment Tracking System(VETS) PIA, Oak ridge Operations Office ORO Verification of Employment Tracking System(VETS) PIA, Oak ridge Operations Office ORO...

143

Developing an Evaluation Measurement and Verification Plan for...  

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

and Verification Plan for Your Energy Efficiency ProjectProgram Developing an Evaluation Measurement and Verification Plan for Your Energy Efficiency ProjectProgram...

144

CARB Verification of Catalyzed Diesel Particulate Filters for...  

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

CARB Verification of Catalyzed Diesel Particulate Filters for Emergency Generator Sets CARB Verification of Catalyzed Diesel Particulate Filters for Emergency Generator Sets 2005...

145

ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITH MTCONNECT  

E-Print Network [OSTI]

Surfaces in the Cybercut Process Planning PipelineĒ, Trans.ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITHInc. Big Lake, MN KEYWORDS Process planning verification,

Vijayaraghavan, Athulan; Dornfeld, David; Artisanal Software; Remmele Engineering Inc.

2009-01-01T23:59:59.000Z

146

Checklist for transition to new highway fuel(s).  

SciTech Connect (OSTI)

Transportation is vital to the U.S. economy and society. As such, U.S. Presidents have repeatedly stated that the nation needs to reduce dependence on petroleum, especially for the highway transportation sector. Throughout history, highway transportation fuel transitions have been completed successfully both in United States and abroad. Other attempts have failed, as described in Appendix A: Historical Highway Fuel Transitions. Planning for a transition is critical because the changes can affect our nation's ability to compete in the world market. A transition will take many years to complete. While it is tempting to make quick decisions about the new fuel(s) of choice, it is preferable and necessary to analyze all the pertinent criteria to ensure that correct decisions are made. Doing so will reduce the number of changes in highway fuel(s). Obviously, changes may become necessary because of occurrences such as significant technology breakthroughs or major world events. With any and all of the possible transitions to new fuel(s), the total replacement of gasoline and diesel fuels is not expected. These conventional fuels are envisioned to coexist with the new fuel(s) for decades, while the revised fuel and vehicle infrastructures are implemented. The transition process must analyze the needs of the primary 'players,' which consist of the customers, the government, the fuel industry, and the automotive industry. To maximize the probability of future successes, the prime considerations of these groups must be addressed. Section 2 presents a succinct outline of the Checklist. Section 3 provides a brief discussion about the groupings on the Checklist.

Risch, C.; Santini, D.J. (Energy Systems)

2011-12-15T23:59:59.000Z

147

The monitoring and verification of nuclear weapons  

SciTech Connect (OSTI)

This paper partially reviews and updates the potential for monitoring and verification of nuclear weapons, including verification of their destruction. Cooperative monitoring with templates of the gamma-ray spectrum are an important tool, dependent on the use of information barriers.

Garwin, Richard L., E-mail: RLG2@us.ibm.com [IBM Fellow Emeritus, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598 (United States)

2014-05-09T23:59:59.000Z

148

Verification after Synthesis Alan Mishchenko Robert Brayton  

E-Print Network [OSTI]

in verification based on BDDs, SAT, and AIGs (And-Inverter Graphs), these results do not readily transfer to large are necessary to advance both synthesis and verification. We propose a methodology for scalable sequential it by a functionally equivalent one (up to complementation of outputs). (2) Retiming changes the positions of one

Brayton, Robert K.

149

Quantum Money with Classical Verification Dmitry Gavinsky  

E-Print Network [OSTI]

Quantum Money with Classical Verification Dmitry Gavinsky NEC Laboratories America, Inc. Princeton, NJ, U.S.A. Abstract We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme

Gavinsky, Dmitry

150

Technical Documentation and Verification for the  

E-Print Network [OSTI]

PNNL-15202 Technical Documentation and Verification for the Buildings Module in the Visual Sample://www.ntis.gov/ordering.htm This document was printed on recycled paper. (9/2003) #12;PNNL-15202 Technical Documentation and Verification ...................................................................... 1 2.0 Documentation of Statistical Methods and Computations

151

Dalhousie University Sustainable Procurement Checklist Dalhousie University (Halifax, NS) has a signed Sustainability Policy and Statement of Principles. Our  

E-Print Network [OSTI]

Dalhousie University Sustainable Procurement Checklist Dalhousie University (Halifax, NS) has a signed Sustainability Policy and Statement of Principles. Our Procurement Policy reflects the importance of sustainability considerations

Brownstone, Rob

152

Code Verification of the HIGRAD Computational Fluid Dynamics Solver  

SciTech Connect (OSTI)

The purpose of this report is to outline code and solution verification activities applied to HIGRAD, a Computational Fluid Dynamics (CFD) solver of the compressible Navier-Stokes equations developed at the Los Alamos National Laboratory, and used to simulate various phenomena such as the propagation of wildfires and atmospheric hydrodynamics. Code verification efforts, as described in this report, are an important first step to establish the credibility of numerical simulations. They provide evidence that the mathematical formulation is properly implemented without significant mistakes that would adversely impact the application of interest. Highly accurate analytical solutions are derived for four code verification test problems that exercise different aspects of the code. These test problems are referred to as: (i) the quiet start, (ii) the passive advection, (iii) the passive diffusion, and (iv) the piston-like problem. These problems are simulated using HIGRAD with different levels of mesh discretization and the numerical solutions are compared to their analytical counterparts. In addition, the rates of convergence are estimated to verify the numerical performance of the solver. The first three test problems produce numerical approximations as expected. The fourth test problem (piston-like) indicates the extent to which the code is able to simulate a 'mild' discontinuity, which is a condition that would typically be better handled by a Lagrangian formulation. The current investigation concludes that the numerical implementation of the solver performs as expected. The quality of solutions is sufficient to provide credible simulations of fluid flows around wind turbines. The main caveat associated to these findings is the low coverage provided by these four problems, and somewhat limited verification activities. A more comprehensive evaluation of HIGRAD may be beneficial for future studies.

Van Buren, Kendra L. [Los Alamos National Laboratory; Canfield, Jesse M. [Los Alamos National Laboratory; Hemez, Francois M. [Los Alamos National Laboratory; Sauer, Jeremy A. [Los Alamos National Laboratory

2012-05-04T23:59:59.000Z

153

verification  

National Nuclear Security Administration (NNSA)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartmentNationalRestart of the Review of theOFFICE OF8/%2A ennike6/%2A en NGSI Safeguards by

154

Towards more transparent and reproducible omics studies through a common metadata checklist and data publications  

SciTech Connect (OSTI)

Biological processes are fundamentally driven by complex interactions between biomolecules. Integrated high-throughput omics studies enable multifaceted views of cells, organisms, or their communities. With the advent of new post-genomics technologies omics studies are becoming increasingly prevalent yet the full impact of these studies can only be realized through data harmonization, sharing, meta-analysis, and integrated research,. These three essential steps require consistent generation, capture, and distribution of the metadata. To ensure transparency, facilitate data harmonization, and maximize reproducibility and usability of life sciences studies, we propose a simple common omics metadata checklist. The proposed checklist is built on the rich ontologies and standards already in use by the life sciences community. The checklist will serve as a common denominator to guide experimental design, capture important parameters, and be used as a standard format for stand-alone data publications. This omics metadata checklist and data publications will create efficient linkages between omics data and knowledge-based life sciences innovation and importantly, allow for appropriate attribution to data generators and infrastructure science builders in the post-genomics era. We ask that the life sciences community test the proposed omics metadata checklist and data publications and provide feedback for their use and improvement.

Kolker, Eugene; Ozdemir, Vural; Martens , Lennart; Hancock, William S.; Anderson, Gordon A.; Anderson, Nathaniel; Aynacioglu, Sukru; Baranova, Ancha; Campagna, Shawn R.; Chen, Rui; Choiniere, John; Dearth, Stephen P.; Feng, Wu-Chun; Ferguson, Lynnette; Fox, Geoffrey; Frishman, Dmitrij; Grossman, Robert; Heath, Allison; Higdon, Roger; Hutz, Mara; Janko, Imre; Jiang, Lihua; Joshi, Sanjay; Kel, Alexander; Kemnitz, Joseph W.; Kohane, Isaac; Kolker, Natali; Lancet, Doron; Lee, Elaine; Li, Weizhong; Lisitsa, Andrey; Llerena, Adrian; MacNealy-Koch, Courtney; Marhsall, Jean-Claude; Masuzzo, Paolo; May, Amanda; Mias, George; Monroe, Matthew E.; Montague, Elizabeth; Monney, Sean; Nesvizhskii, Alexey; Noronha, Santosh; Omenn, Gilbert; Rajasimha, Harsha; Ramamoorthy, Preveen; Sheehan, Jerry; Smarr, Larry; Smith, Charles V.; Smith, Todd; Snyder, Michael; Rapole, Srikanth; Srivastava, Sanjeeva; Stanberry, Larissa; Stewart, Elizabeth; Toppo, Stefano; Uetz, Peter; Verheggen, Kenneth; Voy, Brynn H.; Warnich, Louise; Wilhelm, Steven W.; Yandl, Gregory

2014-01-01T23:59:59.000Z

155

Catalogue of alien plants of the Czech Republic (2nd edition): checklist update, taxonomic diversity and invasion patterns  

E-Print Network [OSTI]

Catalogue of alien plants of the Czech Republic (2nd edition): checklist update, taxonomic): Catalogue of alien plants of the Czech Republic (2nd edition): checklist update, taxonomic diversity and invasion patterns. ­ Preslia 84: 155­255. A complete list of all alien taxa ever recorded in the flora

Kratochvíl, Lukas

156

LLaannggeerrhhaannss LLaabb PPrroottooccoollss Live Fish Care Daily Checklist.docx revised 8/9/13 Page 1 of 1  

E-Print Network [OSTI]

LLaannggeerrhhaannss LLaabb PPrroottooccoollss Live Fish Care Daily Checklist.docx revised 8/9/13 Page 1 of 1 Live Fish Care Daily Checklist D. Clark Labs rooms G-06 & G-08 morning visit: Turn) eggs from fridge in room 382; feed the live fish there Feed hatched Artemia (=brine shrimp) to fry

Langerhans, Brian

157

UCC: Syllabus Checklist All UCC1 forms and each UCC2 form that proposes a change in the course  

E-Print Network [OSTI]

UCC: Syllabus Checklist Rev. 10/10 All UCC1 forms and each UCC2 form that proposes a change in the course description or credit hours must include this checklist in addition to a complete syllabus. Check the box if the attached syllabus includes the indicated information. Instructor contact information (and

Roy, Subrata

158

Evacuation/Transportation Checklist for Child Care Facilities Keeping Kids Safe: Emergency Planning for Child-Care Facilities  

E-Print Network [OSTI]

Evacuation/Transportation Checklist for Child Care Facilities Keeping Kids Safe: Emergency Planning for Child-Care Facilities Evacuation/Transportation Checklist for Child-Care Facilities Name of child-care facility Address Name of person/persons responsible for transportation of children Phone number

159

RENEWABLES PORTFOLIO STANDARD 2005 PROCUREMENT VERIFICATION  

E-Print Network [OSTI]

CALIFORNIA ENERGY COMMISSION RENEWABLES PORTFOLIO STANDARD 2005 PROCUREMENT VERIFICATION RENEWABLES COMMITTEE John L. Geesman Presiding Member Jackalyne Pfannenstiel Associate Member B.B. Blevins Executive Director Jason Orta Heather Raitt Principal Authors Mark Hutchison Manager RENEWABLE ENERGY OFFICE

160

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

Note: This page contains sample records for the topic "activities verification checklist" 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

The Mechanized Verification of Garbage Collector Implementations  

E-Print Network [OSTI]

Abstract The Mechanized Verification of Garbage Collector Implementations Andrew Evan Mc complex, requiring a garbage collector. Garbage collectors are becoming increasingly sophis- ticated to adapt them to high-performance, concurrent and real-time applications, making internal collector

162

Cleanup Verification Package for the 116-K-2 Effluent Trench  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action for the 116-K-2 effluent trench, also referred to as the 116-K-2 mile-long trench and the 116-K-2 site. During its period of operation, the 116-K-2 site was used to dispose of cooling water effluent from the 105-KE and 105-KW Reactors by percolation into the soil. This site also received mixed liquid wastes from the 105-KW and 105-KE fuel storage basins, reactor floor drains, and miscellaneous decontamination activities.

J. M. Capron

2006-04-04T23:59:59.000Z

163

Slag-Metal Reactions during Welding: Part Ill. Verification of the Theory  

E-Print Network [OSTI]

, Slag-Metal Reactions during Welding: Part Ill. Verification of the Theory U. MITRA and T.W. EAGAR. The transfer of carbon and oxygen is also discussed. It is shown that the transfer of oxygen into the weld of inclusions in the solidifying weld pool. Methods of applying this analysis to multipass welds and active

Eagar, Thomas W.

164

Visual inspection for CTBT verification  

SciTech Connect (OSTI)

On-site visual inspection will play an essential role in future Comprehensive Test Ban Treaty (CTBT) verification. Although seismic and remote sensing techniques are the best understood and most developed methods for detection of evasive testing of nuclear weapons, visual inspection can greatly augment the certainty and detail of understanding provided by these more traditional methods. Not only can visual inspection offer ``ground truth`` in cases of suspected nuclear testing, but it also can provide accurate source location and testing media properties necessary for detailed analysis of seismic records. For testing in violation of the CTBT, an offending party may attempt to conceal the test, which most likely will be achieved by underground burial. While such concealment may not prevent seismic detection, evidence of test deployment, location, and yield can be disguised. In this light, if a suspicious event is detected by seismic or other remote methods, visual inspection of the event area is necessary to document any evidence that might support a claim of nuclear testing and provide data needed to further interpret seismic records and guide further investigations. However, the methods for visual inspection are not widely known nor appreciated, and experience is presently limited. Visual inspection can be achieved by simple, non-intrusive means, primarily geological in nature, and it is the purpose of this report to describe the considerations, procedures, and equipment required to field such an inspection.

Hawkins, W.; Wohletz, K.

1997-03-01T23:59:59.000Z

165

Monitoring and verification R&D  

SciTech Connect (OSTI)

The 2010 Nuclear Posture Review (NPR) report outlined the Administration's approach to promoting the agenda put forward by President Obama in Prague on April 5, 2009. The NPR calls for a national monitoring and verification R&D program to meet future challenges arising from the Administration's nonproliferation, arms control and disarmament agenda. Verification of a follow-on to New START could have to address warheads and possibly components along with delivery capabilities. Deeper cuts and disarmament would need to address all of these elements along with nuclear weapon testing, nuclear material and weapon production facilities, virtual capabilities from old weapon and existing energy programs and undeclared capabilities. We only know how to address some elements of these challenges today, and the requirements may be more rigorous in the context of deeper cuts as well as disarmament. Moreover, there is a critical need for multiple options to sensitive problems and to address other challenges. There will be other verification challenges in a world of deeper cuts and disarmament, some of which we are already facing. At some point, if the reductions process is progressing, uncertainties about past nuclear materials and weapons production will have to be addressed. IAEA safeguards will need to continue to evolve to meet current and future challenges, and to take advantage of new technologies and approaches. Transparency/verification of nuclear and dual-use exports will also have to be addressed, and there will be a need to make nonproliferation measures more watertight and transparent. In this context, and recognizing we will face all of these challenges even if disarmament is not achieved, this paper will explore possible agreements and arrangements; verification challenges; gaps in monitoring and verification technologies and approaches; and the R&D required to address these gaps and other monitoring and verification challenges.

Pilat, Joseph F [Los Alamos National Laboratory; Budlong - Sylvester, Kory W [Los Alamos National Laboratory; Fearey, Bryan L [Los Alamos National Laboratory

2011-01-01T23:59:59.000Z

166

Verification survey report of the south waste tank farm training/test tower and hazardous waste storage lockers at the West Valley demonstration project, West Valley, New York  

SciTech Connect (OSTI)

A team from ORAU's Independent Environmental Assessment and Verification Program performed verification survey activities on the South Test Tower and four Hazardous Waste Storage Lockers. Scan data collected by ORAU determined that both the alpha and alpha-plus-beta activity was representative of radiological background conditions. The count rate distribution showed no outliers that would be indicative of alpha or alpha-plus-beta count rates in excess of background. It is the opinion of ORAU that independent verification data collected support the site?s conclusions that the South Tower and Lockers sufficiently meet the site criteria for release to recycle and reuse.

Weaver, Phyllis C.

2012-08-29T23:59:59.000Z

167

Letter Report - Verification Results for the Non-Real Property Radiological Release Program at the West Valley Demonstration Project, Ashford, New York  

SciTech Connect (OSTI)

The objective of the verification activities is to provide an independent review of the design, implementation, and performance of the radiological unrestricted release program for personal property, materials, and equipment (non-real property).

M.A. Buchholz

2009-04-29T23:59:59.000Z

168

A Tutorial on Text-Independent Speaker Verification  

E-Print Network [OSTI]

This paper presents an overview of a state-of-the-art text-independent speaker verification system. First, an introduction proposes a modular scheme of the training and test phases of a speaker verification system. Then, ...

Bimbot, Frederic

169

MODELING, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP  

E-Print Network [OSTI]

MODELING, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP SYSTEMS IN ENERGYPLUS, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP SYSTEMS IN ENERGYPLUS Thesis Approved by: Dr.................................................................................................................... 16 MODELING OF HYBRID GROUND SOURCE HEAT PUMP SYSTEMS IN ENERGYPLUS

170

Measurement and Verification for Commissioning Projects: Challenges and Opportunities  

E-Print Network [OSTI]

ESL-IC-10/05-49 1 Measurement and Verification for Commissioning Projects: Challenges and Opportunities Kristin Heinemeier, Ph.D., P.E. Portland Energy Conservation, Inc., Sacramento CA Measurement and Verification (M&V) is a key...

Heinemeier, K.

2005-01-01T23:59:59.000Z

171

Final Report Independent Verification Survey of the High Flux Beam Reactor, Building 802 Fan House Brookhaven National Laboratory Upton, New York  

SciTech Connect (OSTI)

On May 9, 2011, ORISE conducted verification survey activities including scans, sampling, and the collection of smears of the remaining soils and off-gas pipe associated with the 802 Fan House within the HFBR (High Flux Beam Reactor) Complex at BNL. ORISE is of the opinion, based on independent scan and sample results obtained during verification activities at the HFBR 802 Fan House, that the FSS (final status survey) unit meets the applicable site cleanup objectives established for as left radiological conditions.

Harpeneau, Evan M. [Oak Ridge Institute for Science and Education, Oak Ridge, TN (United States). Independent Environmental Assessment and Verification Program

2011-06-24T23:59:59.000Z

172

Enter Date: Enter NVLAP Lab Code: NIST HANDBOOK 150-10 CHECKLIST  

E-Print Network [OSTI]

Enter Date: Enter NVLAP Lab Code: NIST HANDBOOK 150-10 CHECKLIST EFFICIENCY OF ELECTRIC MOTORS prescribed in NIST Handbook 150-10, Efficiency of Electric Motors. The Test Method Review Summary, which is used to review the laboratory's ability to perform Efficiency of Electric Motors test methods

173

SAFETY CHECKLIST FOR STUDENT PROJECTS AND EXPERIMENTS First Name: Last Name  

E-Print Network [OSTI]

1 SAFETY CHECKLIST FOR STUDENT PROJECTS AND EXPERIMENTS First Name: Last Name: Faculty Advisor __ Recombinant DNA __ Research animals __ Other: Hazardous Chemicals (Attach a Material Safety Data Sheet Clothing (e.g., laboratory coat, laboratory gown, leather apron, leggings) Protective Eyewear (e.g., safety

New Hampshire, University of

174

Graduation Checklist for Master's Non-thesis or Thesis Substitute students  

E-Print Network [OSTI]

are graduating (usually within 30 days of the first day of class). If you are completing a project or takingGraduation Checklist for Master's Non-thesis or Thesis Substitute students This list is for student use only and is not to be submitted to the Graduate School at any time. You can save a filled copy

Texas at Arlington, University of

175

Clinical Trial Closeout Checklist and Certification (Due 90 days after end of project)  

E-Print Network [OSTI]

personnel related expenses been charged to the project according to university policies and procedures? 3Clinical Trial Closeout Checklist and Certification (Due 90 days after end of project) Project No. Has an audit been performed on all medical services to insure that all study procedures have been

176

Focus Sheet | Hazardous Waste Checklist How to be ready for state hazardous waste  

E-Print Network [OSTI]

-hazardous solid chemicals may go in the trash. Have you disposed of "waste-like", legacy and unknown c Manage anyFocus Sheet | Hazardous Waste Checklist How to be ready for state hazardous waste inspectors. See a hazardous waste inspection. ons, rrosive. n hemicals? ical waste. Waste-like chemicals have als Are you

Wilcock, William

177

Directives Checklist and Cross-Reference Index as of 2-12-91  

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

The order transmits a checklist of current Department of Energy (DOE) and Headquarters (HQ) directives and a cross-reference index of DOE and HQ Orders published on or before 2-12-91. Cancels DOE O 0000.2c. Canceled by DOE N 1321.139.

1991-02-26T23:59:59.000Z

178

Business Degree Checklist 2013-2014 PRE-BUSINESS CORE COURSES: 18 Credits  

E-Print Network [OSTI]

Business Degree Checklist 2013-2014 PRE-BUSINESS CORE COURSES: 18 Credits Courses must be graded of Business ECON 2010 - Microeconomics (BUS 2010 or score "3" on AP Microeconomics) IS 2010 - Computer Essentials MATH 1090 - College Algebra for Business & Social Sciences (QA) (MATH 1050, MATH 1100 or higher

Tipple, Brett

179

Business Degree Checklist 2013-2014 PRE-BUSINESS CORE COURSES: 18 Credits  

E-Print Network [OSTI]

Business Degree Checklist 2013-2014 PRE-BUSINESS CORE COURSES: 18 Credits Courses must be graded semester of pre-business) BUS 1050 - Foundations of Business ECON 2010 - Microeconomics (BUS 2010 or score "3" on AP Microeconomics) IS 2010 - Computer Essentials MATH 1090 - College Algebra for Business

Tipple, Brett

180

Research Environmental Checklist Page 1 of 2 3/18/2010  

E-Print Network [OSTI]

to comply with university policy, and all local, state and national environmental regulationsResearch Environmental Checklist Page 1 of 2 3/18/2010 ENVIRONMENTAL HEALTH AND SAFETY-6918 Certificate of Environmental Compliance I. General Research Information Name of Principal Investigator

Note: This page contains sample records for the topic "activities verification checklist" 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

Plug-and-Play Architectural Design and Verification  

E-Print Network [OSTI]

uses finite-state verification techniques (e.g., SPIN [17], SMV [19], LTSA [22], FLAVERS [10]) to check

Massachusetts at Amherst, University of

182

STATE OF CALIFORNIA CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING  

E-Print Network [OSTI]

-MECH-25 Refrigerant Charge Verification ­ Standard Measurement Procedure (Page 1 of 6) Site Address of a Charge Indicator Display (CID) is utilized as an alternative to refrigerant charge verification compliance with the refrigerant charge verification requirement. TMAH and STMS are not required

183

Measurement and Verification (M&V)  

E-Print Network [OSTI]

5. Continuous Commissioning Measures 6. Measurement and Verification 2 ESL-KT-14-11-39 CATEE 2014: Clean Air Through Efficiency Conference, Dallas, Texas Nov. 18-20 Measurement and Verification (M&V) Joseph T. Martinez, PCC Carlos Yagua, PE Hiroko...Workshop on the Continuous Commissioningģ Process Joseph T. Martinez, PCC Carlos Yagua, PE Hiroko Masuda, Juan-Carlos Baltazar, PhD, PE Ahmet Ugursal, PhD Clean Air Through Energy Efficiency (CATEE) Conference, Dallas, Texas. November 18, 2014...

Masuda, H

2014-01-01T23:59:59.000Z

184

Fuel Retrieval System Design Verification Report  

SciTech Connect (OSTI)

The Fuel Retrieval Subproject was established as part of the Spent Nuclear Fuel Project (SNF Project) to retrieve and repackage the SNF located in the K Basins. The Fuel Retrieval System (FRS) construction work is complete in the KW Basin, and start-up testing is underway. Design modifications and construction planning are also underway for the KE Basin. An independent review of the design verification process as applied to the K Basin projects was initiated in support of preparation for the SNF Project operational readiness review (ORR). A Design Verification Status Questionnaire, Table 1, is included which addresses Corrective Action SNF-EG-MA-EG-20000060, Item No.9 (Miller 2000).

GROTH, B.D.

2000-04-11T23:59:59.000Z

185

Commercial Space Activities at Goddard  

E-Print Network [OSTI]

, environmental verification, and engineering `Best Practices' requirements #12;Commercial Utilization's commercial practices and processes · Brief summary of procurement activities under the three Rapid Catalogs Quantity ­ Leverage commercial practices and processes when possible ­ NASA mission assurance

Waliser, Duane E.

186

Formal Verification of SpecC Programs  

E-Print Network [OSTI]

;Outline 1. Old work: Bounded Model Checking for ANSI-C 2. Verification of concurrent ANSI-C programs using Predicate Abstraction SpecC Overview Abstraction Refinement 3. Current work: Hybrid Models #12;ANSI into equation Check equation using SAT Advantages: Completely automated Allows full set of ANSI-C, including

Saranl√Ĺ, Ulu√ß

187

RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN  

SciTech Connect (OSTI)

This INL plan comprehensively describes the software for RELAP-7 and documents the software, interface, and software design requirements for the application. The plan also describes the testing-based software verification and validation (SV&V) processóa set of specially designed software models used to test RELAP-7.

Smith, Curtis L [Idaho National Laboratory; Choi, Yong-Joon [Idaho National Laboratory; Zou, Ling [Idaho National Laboratory

2014-09-01T23:59:59.000Z

188

EMERGING RENEWABLES PROGRAM SYSTEMS VERIFICATION REPORT  

E-Print Network [OSTI]

survey that measured customer experience in applying to the ERP, receiving utility interconnection that instantaneous measurements showed most PV systems were operating in-line with expectations with modest, renewable energy, shading, solar, system performance, system verification, utility interconnection, wind #12

189

EXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF  

E-Print Network [OSTI]

- ponent mixtures can be separated into a number of product fractions, whereas in continuous distillationEXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF CONTINUOUS AND MULTIVESSEL BATCH DISTILLATION to the paper "Evaluation of Dynamic Models of Distillation Columns with Emphasis on the Initial Response

Skogestad, Sigurd

190

Hybrid Systems: From Verification to Falsification  

E-Print Network [OSTI]

Hybrid Systems: From Verification to Falsification Erion Plaku, Lydia E. Kavraki, and Moshe Y}@cs.rice.edu Abstract. We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi­layered approach for hybrid. The discrete search uses the discrete transitions of the hybrid system and coarse­grained decompositions

Vardi, Moshe Y.

191

Hybrid Systems: From Verification to Falsification  

E-Print Network [OSTI]

Hybrid Systems: From Verification to Falsification Erion Plaku, Lydia E. Kavraki, and Moshe Y}@cs.rice.edu Abstract. We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid. The discrete search uses the discrete transitions of the hybrid system and coarse-grained decompositions

Kavraki, Lydia E.

192

SAVCBS 2003 Specification and Verification of  

E-Print Network [OSTI]

://www.cs.iastate.edu/SAVCBS/ September 1-2, 2003 Helsinki, Finland Workshop at ESEC/FSE 2003 9th European Software Engineering ConferenceSAVCBS 2003 Specification and Verification of Component-Based Systems ESEC/FSE 2003 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering

Leavens, Gary T.

193

Compositional Algorithmic Verification of Software Product Lines  

E-Print Network [OSTI]

, and Siavash Soleimanifard2 1 Technische Universit¨at Braunschweig, Germany i.schaefer@tu-braunschweig.de 2 Royal Institute of Technology, Stockholm, Sweden {dilian,siavashs}@csc.kth.se Abstract. Software product expressiveness and a clean and simple model suitable for compositional verification. We generalize a previously

Gurov, Dilian

194

Evolutionary Test Program Induction for Microprocessor Design Verification Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero  

E-Print Network [OSTI]

Evolutionary Test Program Induction for Microprocessor Design Verification Fulvio Corno, Gianluca is an assembly program able to maximize a predefined verification metric. Design verification of on-chip

Fernandez, Thomas

195

Results of the independent verification survey at the Old Betatron Building, Granite City, Illinois  

SciTech Connect (OSTI)

A team from the Measurement Applications and Development Group, Oak Ridge National Laboratory (ORNL), conducted an independent verification of the radiological condition of the Old Betatron Building, Granite City, Illinois, at the request of the Department of Energy in June of 1993. The building is owned by the National Steel Corporation. The contamination present resulted from the handling of uranium slabs of metal during the time the betatron facility was used to x-ray the slabs for metallurgical defects. The designation survey did not characterize the entire floor space because of obstructing equipment and debris. Therefore, prior to remediation by Bechtel National, Incorporated (BNI), a thorough characterization of the floor was conducted, and the results were immediately conveyed to on-site staff of BNI. An independent verification assessment was also performed after the cleanup activities were performed under the direction of BNI. The process of characterization, remediation, and verification was accomplished within a five-day period. Based on results of the independent verification assessment, the Old Betatron Building was determined to meet the DOE radiological guidelines for unrestricted use.

Murray, M.E.; Brown, K.S.

1994-07-01T23:59:59.000Z

196

NGSI: IAEA Verification of UF6 Cylinders  

SciTech Connect (OSTI)

The International Atomic Energy Agency (IAEA) is often ignorant of the location of declared, uranium hexafluoride (UF6) cylinders following verification, because cylinders are not typically tracked onsite or off. This paper will assess various methods the IAEA uses to verify cylinder gross defects, and how the task could be ameliorated through the use of improved identification and monitoring. The assessment will be restricted to current verification methods together with one that has been applied on a trial basisóshort-notice random inspections coupled with mailbox declarations. This paper is part of the NNSA Office of Nonproliferation and International Securityís Next Generation Safeguards Initiative (NGSI) program to investigate the concept of a global monitoring scheme that uniquely identifies and tracks UF6 cylinders.

Curtis, Michael M.

2012-06-05T23:59:59.000Z

197

Conceptual design. Final report: TFE Verification Program  

SciTech Connect (OSTI)

This report documents the TFE Conceptual Design, which provided the design guidance for the TFE Verification program. The primary goals of this design effort were: (1) establish the conceptual design of an in-core thermionic reactor for a 2 Mw(e) space nuclear power system with a 7-year operating lifetime; (2) demonstrate scalability of the above concept over the output power range of 500 kW(e) to 5 MW(e); and (3) define the TFE which is the basis for the 2 MW (e) reactor design. This TFE specification provided the basis for the test program. These primary goals were achieved. The technical approach taking in the conceptual design effort is discussed in Section 2, and the results are discussed in Section 3. The remainder of this introduction draws a perspective on the role that this conceptual design task played in the TFE Verification Program.

Not Available

1994-03-01T23:59:59.000Z

198

GRIMHX verification and validation action matrix summary  

SciTech Connect (OSTI)

WSRC-RP-90-026, Certification Plan for Reactor Analysis Computer Codes, describes a series of action items to be completed for certification of reactor analysis computer codes used in Technical Specifications development and for other safety and production support calculations. Validation and verification of the code is an integral part of this process. This document identifies the work performed and documentation generated to satisfy these action items for the Reactor Physics computer code GRIMHX. Each action item is discussed with the justification for its completion. Specific details of the work performed are not included in this document but are found in the references. The publication of this document signals the validation and verification effort for the GRIMHX code is completed.

Trumble, E.F.

1991-12-01T23:59:59.000Z

199

Survey of Existing Tools for Formal Verification.  

SciTech Connect (OSTI)

Formal methods have come into wide use because of their effectiveness in verifying %22safety and security%22 requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

2014-12-01T23:59:59.000Z

200

Cleanup Verification Package for the 118-B-1, 105-B Solid Waste Burial Ground  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action, sampling activities, and compliance criteria for the 118-B-1, 105-B Solid Waste Burial Ground. This waste site was the primary burial ground for general wastes from the operation of the 105-B Reactor and P-10 Tritium Separation Project and also received waste from the 105-N Reactor. The burial ground received reactor hardware, process piping and tubing, fuel spacers, glassware, electrical components, tritium process wastes, soft wastes and other miscellaneous debris.

J. M. Capron

2008-01-21T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

Logic verification using recursive learning, ATPG and transformations  

E-Print Network [OSTI]

17 Example Circuits for Verification Showing an Existing Condi- tional Don't Care Condition. 33 18 Justification of the Conditional Don't Care Condition in the Ex- ample Circuits. FIGURE Page Transformation Using Conditional Don't Care Condition... of the Implementation Verification phase, sometimes it is termed Design Verification as in [17j. In this case the specification and design are both at logic level. Logic circuits can be combinational or sequential. If the circuits being compared are combinational, i...

Paul, Debjyoti

1996-01-01T23:59:59.000Z

202

High-Resolution Fast-Neutron Spectrometry for Arms Control and Treaty Verification  

SciTech Connect (OSTI)

Many nondestructive nuclear analysis techniques have been developed to support the measurement needs of arms control and treaty verification, including gross photon and neutron counting, low- and high-resolution gamma spectrometry, time-correlated neutron measurements, and photon and neutron imaging. One notable measurement technique that has not been extensively studied to date for these applications is high-resolution fast-neutron spectrometry (HRFNS). Applied for arms control and treaty verification, HRFNS has the potential to serve as a complimentary measurement approach to these other techniques by providing a means to either qualitatively or quantitatively determine the composition and thickness of non-nuclear materials surrounding neutron-emitting materials. The technique uses the normally-occurring neutrons present in arms control and treaty verification objects of interest as an internal source of neutrons for performing active-interrogation transmission measurements. Most low-Z nuclei of interest for arms control and treaty verification, including 9Be, 12C, 14N, and 16O, possess fast-neutron resonance features in their absorption cross sections in the 0.5- to 5-MeV energy range. Measuring the selective removal of source neutrons over this energy range, assuming for example a fission-spectrum starting distribution, may be used to estimate the stoichiometric composition of intervening materials between the neutron source and detector. At a simpler level, determination of the emitted fast-neutron spectrum may be used for fingerprinting 'known' assemblies for later use in template-matching tests. As with photon spectrometry, automated analysis of fast-neutron spectra may be performed to support decision making and reporting systems protected behind information barriers. This paper will report recent work at Idaho National Laboratory to explore the feasibility of using HRFNS for arms control and treaty verification applications, including simulations and experiments, using fission-spectrum neutron sources to assess neutron transmission through composite low-Z attenuators.

David L. Chichester; James T. Johnson; Edward H. Seabury

2012-07-01T23:59:59.000Z

203

SAT-based Verification for Analog and Mixed-signal Circuits  

E-Print Network [OSTI]

The wide application of analog and mixed-signal (AMS) designs makes the verification of AMS circuits an important task. However, verification of AMS circuits remains as a significant challenge even though verification techniques for digital circuits...

Deng, Yue

2012-07-16T23:59:59.000Z

204

Optimization Online - Termination and Verification for Ill-Posed ...  

E-Print Network [OSTI]

Jun 17, 2005 ... Termination and Verification for Ill-Posed Semidefinite Programming Problems. Christian Jansson (jansson ***at*** tu-harburg.de). Abstract:†...

Christian Jansson

2005-06-17T23:59:59.000Z

205

assertions based verification: Topics by E-print Network  

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

A possible explanation is given. 1 SCIAMACHY'S PMD CHANNELS Graaf, Martin de 418 LTSA-WS: a tool for modelbased verification of web service compositions and choreography...

206

Thermal Hydraulic Modeling: Cross-Verification, Validation and...  

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

Aleks Obabko, Paul Fischer, and Tim Tautges, Argonne National Laboratory Thermal Hydraulic Modeling: Cross-Verification, Validation and Co-design PI Name: Paul F. Fischer PI...

207

Measurement and Verification of Low Income Energy Efficiency...  

Open Energy Info (EERE)

Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Measurement and Verification of Low Income...

208

addressing verification challenges: Topics by E-print Network  

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

Kulyukin Computer Technologies and Information Sciences Websites Summary: A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir (PRF)...

209

automated verification process: Topics by E-print Network  

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

Kulyukin Computer Technologies and Information Sciences Websites Summary: A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir (PRF)...

210

Measurement and Verification, Best Practices in Design and Implementation  

E-Print Network [OSTI]

. Measurement?and? Verification,?Best?Practices? in?Design?and? Implementation Tom?Martin? CMVP,?LEED?AP Homay?Khatami? CEM,?LEED?AP PMP,?CMC? 1. Definition?of?Measurement?and?Verification?(M&V) 2. Applications?of?M&V 3. Specific.... Analyze?? Reporting M&V,?Best?Practices?in?Design?and?Implementation ?Measurement?and?Verification?is?the?process? of?using?measurements?to?reliably?determine? actual?savings? International?Performance?Measurement?and? Verification?Protocol?? Vol I...

Martin, T.; Khatami, H.

2013-01-01T23:59:59.000Z

211

Advanced Waste Management Now Available as Accredited SEP Verification...  

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

"Our auditing teams provide robust, independent confirmation that a facility conforms to ISO 50001 and has really improved its energy performance." SEP Verification Bodies...

212

NEMVP: North American energy measurement and verification protocol  

SciTech Connect (OSTI)

This measurement and verification protocol discusses procedures that,when implemented, allow buyers, sellers, and financiers of energy projects to quantify energy conservation measure performance and savings.

NONE

1996-03-01T23:59:59.000Z

213

A golden anniversary for space-based treaty verification  

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

enabled serendipitous discoveries of remarkable natural phenomena such as cosmic gamma-ray bursts, X-ray novae and solar wind composition. Modern space-based verification systems...

214

Independent Verification and Validation Of SAPHIRE 8 Software Requirements Project Number: N6423 U.S. Nuclear Regulatory Commission  

SciTech Connect (OSTI)

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE requirements definition is to assess the activities that results in the specification, documentation, and review of the requirements that the software product must satisfy, including functionality, performance, design constraints, attributes and external interfaces. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production. IV&V reviewed the requirements specified in the NRC Form 189s to verify these requirements were included in SAPHIREís Software Verification and Validation Plan (SVVP).

Kent Norris

2010-03-01T23:59:59.000Z

215

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

E-Print Network [OSTI]

Date Created: 4/24/2012 6:29:00 AM Page 1 Initiating a Termination Checklist from the online Termination form Purpose This job aid provides the screenshots for initiating a termination checklist, from your Workforce Administration menu, when a termination form is not required (e.g. Term Jobs with end

Habib, Ayman

216

The new geospatial tools: global transparency enhancing safeguards verification  

SciTech Connect (OSTI)

This paper focuses on the importance and potential role of the new, freely available, geospatial tools for enhancing IAEA safeguards and how, together with commercial satellite imagery, they can be used to promote 'all-source synergy'. As additional 'open sources', these new geospatial tools have heralded a new era of 'global transparency' and they can be used to substantially augment existing information-driven safeguards gathering techniques, procedures, and analyses in the remote detection of undeclared facilities, as well as support ongoing monitoring and verification of various treaty (e.g., NPT, FMCT) relevant activities and programs. As an illustration of how these new geospatial tools may be applied, an original exemplar case study provides how it is possible to derive value-added follow-up information on some recent public media reporting of a former clandestine underground plutonium production complex (now being converted to a 'Tourist Attraction' given the site's abandonment by China in the early 1980s). That open source media reporting, when combined with subsequent commentary found in various Internet-based Blogs and Wikis, led to independent verification of the reporting with additional ground truth via 'crowdsourcing' (tourist photos as found on 'social networking' venues like Google Earth's Panoramio layer and Twitter). Confirmation of the precise geospatial location of the site (along with a more complete facility characterization incorporating 3-D Modeling and visualization) was only made possible following the acquisition of higher resolution commercial satellite imagery that could be correlated with the reporting, ground photos, and an interior diagram, through original imagery analysis of the overhead imagery.

Pabian, Frank Vincent [Los Alamos National Laboratory

2010-09-16T23:59:59.000Z

217

LLNL`s partnership with selected US mines, for CTBT verification: A pictorial and some reflections  

SciTech Connect (OSTI)

The verification of an upcoming Comprehensive Test Ban Treaty (CTBT) will involve seismic monitoring and will provide for on-site inspections which may include drilling. Because of the fact that mining operations can send out strong seismic signals, many mining districts in the US and abroad may come under special scrutiny. The seismic signals can be generated by the use of large quantities of conventional explosives, by the collapse of underground workings, or by sudden energy release in the ground such as in rock bursts and coal bumps. These mining activities may be the cause of false alarms, but may also offer opportunities for evasive nuclear testing. So in preparing for future verification of a CTBT it becomes important to address the mining-related questions. For the United States, these are questions to be answered with respect to foreign mines. But there is a good amount of commonality in mining methods worldwide. Studies conducted at US mine sites can provide good analogs of activities that may be carried out for overseas CTBT verification, save for the expected logistical impediments.

Heuze, F.E.

1996-01-01T23:59:59.000Z

218

Verification of Probabilistic Real-time Systems Marta Kwiatkowska1  

E-Print Network [OSTI]

widely taken up (downloaded more than 20,000 times) and used for quan- titative verification in a broad of (priced) probabilistic timed automata. These model systems exhibiting probabilistic, nondeterministic-time characteristics, through support for verification of (priced) probabilistic timed automata. PRISM already provides

Oxford, University of

219

Modular Verification of Timed Circuits Using Automatic Abstraction  

E-Print Network [OSTI]

Modular Verification of Timed Circuits Using Automatic Abstraction Hao Zheng, Eric Mercer, Member for verification of timed circuits using automatic abstraction. This approach partitions the design into modules by the RAPPID instruction length decoder designed at Intel [2]. This design was 3 times faster while using only

Zheng, Hao

220

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis  

E-Print Network [OSTI]

in demonstrating the quality of safety-critical [1] systems such as nuclear power plants. We have used the VIS necessary to understand the full verification scenario accurately. Many nuclear engineers and verification and analysis, which can help nuclear engineers take full benefits of VIS without being overwhelmed

Note: This page contains sample records for the topic "activities verification checklist" 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

History Effects and Verification Christian Skalka and Scott Smith  

E-Print Network [OSTI]

. Verification consists of checking to make sure that histories are well-formed, i.e. the sequence of eventsHistory Effects and Verification Christian Skalka and Scott Smith The University of Vermont skalka@cs.uvm.edu The Johns Hopkins University, scott@cs.jhu.edu Abstract. This paper shows how type effect systems can

Smith, Scott F.

222

First Eye Movement Verification and Identification Competition at BTAS 2012  

E-Print Network [OSTI]

First Eye Movement Verification and Identification Competition at BTAS 2012 Pawel Kasprowski11,ak26}@txstate.edu Abstract--This paper presents the results of the first eye movement verification and methods used in the competition. The results highlight the importance of very careful eye positional data

Oleg, Komogortsev - Department of Computer Science, Texas State University

223

LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF  

E-Print Network [OSTI]

of the Analytical Model with Test Data 50 1. 1 5. 1. 2 5. 1. 3 5. I. 4 Lunar Surface and Cold Wall to ExperimentATM 1109 LUNAR SEISMIC PROFILING EXPERIMENT DESIGN VERIFICATION THERMAL PAGI OF VACUUM TEST DATE 9 /1 5I 72 This ATM summarizes the LSPE Design Verification Thermal Vacuum Test of the prototype model

Rathbun, Julie A.

224

Fast 3D Scanning for Biometric Identification and Verification  

E-Print Network [OSTI]

Fast 3D Scanning for Biometric Identification and Verification June 2011 Authors Anselmo., & Chen, A. (2011). Fast 3D Scanning for Biometric Identification and Verification. (Prepared by RTI..................................................10 Summary and Findings for Integration of Imperceptible Structured Lighting and SIS's 3D Snapshot

McShea, Daniel W.

225

Power Grid Voltage Integrity Verification Department of ECE  

E-Print Network [OSTI]

Power Grid Voltage Integrity Verification Maha Nizam Department of ECE University of Toronto devgan@magma-da.com ABSTRACT Full-chip verification requires one to check if the power grid is safe, i.e., if the voltage drop on the grid does not exceed a cer- tain threshold. The traditional simulation-based solution

Najm, Farid N.

226

Software Verification in the Google App-Engine Cloud  

E-Print Network [OSTI]

resources. In the last years, cloud services emerged as an inexpensive, flexible, and energy for verification. We chose the platform-as-a-service offer Google App Engine and ported the open are available on demand. This enables a verification process that is less expensive (only actual usage is paid

Beyer, Dirk

227

Optimal combination of data verification and materials accountancy  

SciTech Connect (OSTI)

Materials accountancy accompanied by data verification is one of the main elements in international safeguards of nuclear material. In this paper statistical combinations of materials accountancy and data verification are discussed with the boundary condition of a fixed total false-alarm probability.

Beedgen, R.; Hafer, J.F.

1982-01-01T23:59:59.000Z

228

FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY  

E-Print Network [OSTI]

1 FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY Rick Katz Institute for Study ON EXTREMES · Emil Gumbel (1891 ­ 1966) -- Pioneer in application of statistics of extremes (Germany, France) Conventional Methods (3) Extreme Value Theory (EVT) (4) Application of EVT to Verification (5) Frost

Katz, Richard

229

Core analysis workstation development and verification  

SciTech Connect (OSTI)

An engineering workstation utilizing a three-dimensional reactor simulator along with a series of auxiliary programs has been developed for use in predicting core reactivity and power distributions. This workstation can be used by both core analysis and core operations personnel. Expected applications are power distribution analyses, technical specification limit verification, and various types of reactivity analyses. Reactor operations personnel can quickly simulate load follow or other reactor maneuvers and, through the interactive graphics capability of the personal computer, the reactor responses, such as power distribution and control rod position, can be displayed and understood by operations personnel.

Mays, C.W.; Kochendarfer, R.A.; Mays, B.E.

1987-01-01T23:59:59.000Z

230

PUC's New Evaluation, Measurement and Verification Framework  

E-Print Network [OSTI]

Clean Air Through Energy Efficiency Conference December 16-18, 2013 San Antonio, Texas ESL-KT-13-12-11 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 Evaluation, Measurement & Verification in Texas... Pam Osterloh, Senior EE/DR Coordinator AEP Texas December 17, 2013 ESL-KT-13-12-11 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 ? A few simple wordsÖÖ ? 82nd Texas Legislative Session in 2011 ? PURA 39...

Osterloh, P.

2013-01-01T23:59:59.000Z

231

NREL: Wind Research - Field Verification Project  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the Contributions andData andFleet Test andField Verification Project The mission of the

232

Complex-Wide Waste Flow Analysis V1.0 verification and validation report  

SciTech Connect (OSTI)

The complex-wide waste flow analysis model (CWWFA) was developed to assist the Department of Energy (DOE) Environmental Management (EM) Office of Science and Technology (EM-50) to evaluate waste management scenarios with emphasis on identifying and prioritizing technology development opportunities to reduce waste flows and public risk. In addition, the model was intended to support the needs of the Complex-Wide Environmental Integration (EMI) team supporting the DOE`s Accelerating Cleanup: 2006 Plan. CWWFA represents an integrated environmental modeling system that covers the life cycle of waste management activities including waste generation, interim process storage, retrieval, characterization and sorting, waste preparation and processing, packaging, final interim storage, transport, and disposal at a final repository. The CWWFA shows waste flows through actual site-specific and facility-specific conditions. The system requirements for CWWFA are documented in the Technical Requirements Document (TRD). The TRD is intended to be a living document that will be modified over the course of the execution of CWWFA development. Thus, it is anticipated that CWWFA will continue to evolve as new requirements are identified (i.e., transportation, small sites, new streams, etc.). This report provides a documented basis for system verification of CWWFA requirements. System verification is accomplished through formal testing and evaluation to ensure that all performance requirements as specified in the TRD have been satisfied. A Requirement Verification Matrix (RVM) was used to map the technical requirements to the test procedures. The RVM is attached as Appendix A. Since February of 1997, substantial progress has been made toward development of the CWWFA to meet the system requirements. This system verification activity provides a baseline on system compliance to requirements and also an opportunity to reevaluate what requirements need to be satisfied in FY-98.

Hsu, K.M.; Lundeen, A.S.; Oswald, K.B.; Shropshire, D.E.; Robinson, J.M.; West, W.H.

1997-11-21T23:59:59.000Z

233

Right-of-Way Pre-Application Checklist | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 No revisionEnvReviewNonInvasiveExplorationUT-g Grant ofRichardton Abbey Wind Farm Jump to:Sector WindRigbyChecklist

234

Checklist for Individuals with an Abnormal BeLPT | Department of Energy  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of Energy Power Systems EngineeringDepartment of4CenterPoint Comments7-18-2011Checklist for Individuals with

235

Monitoring/Verification Using DMS: TATP Example  

SciTech Connect (OSTI)

Field-rugged and field-programmable differential mobility spectrometry (DMS) networks provide highly selective, universal monitoring of vapors and aerosols at detectable levels from persons or areas involved with illicit chemical/biological/explosives (CBE) production. CBE sensor motes used in conjunction with automated fast gas chromatography with DMS detection (GC/DMS) verification instrumentation integrated into situational operationsmanagement systems can be readily deployed and optimized for changing application scenarios. The feasibility of developing selective DMS motes for a ďsmart dustĒ sampling approach with guided, highly selective, fast GC/DMS verification analysis is a compelling approach to minimize or prevent the illegal use of explosives or chemical and biological materials. DMS is currently one of the foremost emerging technologies for field separation and detection of gas-phase chemical species. This is due to trace-level detection limits, high selectivity, and small size. GC is the leading analytical method for the separation of chemical species in complex mixtures. Low-thermal-mass GC columns have led to compact, low-power field systems capable of complete analyses in 15Ė300 seconds. A collaborative effort optimized a handheld, fast GC/DMS, equipped with a non-rad ionization source, for peroxide-based explosive measurements.

Kevin Kyle; Stephan Weeks

2008-03-01T23:59:59.000Z

236

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-ENV-21 Quality Insulation Installation (QII) -Framing Stage Checklist (Page 1 of 2)  

E-Print Network [OSTI]

. Low expanding foam recommended if allowed by window manufacturer. (Stuffing with fiberglass or into insulation. (NA if SPF meets conditions above)(NA if unvented attic) Yes No NA Net free-ventilation area

237

Comment submitted by Traulsen regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by Traulsen regarding the Energy Star Verification Testing Program

238

Comment submitted by Consumers Union regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by Consumers Union regarding the Energy Star Verification Testing Program

239

Comment submitted by Whirlpool Corporation regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by Whirlpool Corporation regarding the Energy Star Verification Testing Program

240

Energy Savings Performance Contracting-Savings Measurement and Verification Transcript 2-24-2011.doc  

Broader source: Energy.gov [DOE]

Energy Savings Performance Contracting-Savings Measurement and Verification Transcript 2-24-2011.doc

Note: This page contains sample records for the topic "activities verification checklist" 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

State and Local Energy Savings Performance Contracting: Savings Measurement and Verification (M&V)  

Broader source: Energy.gov [DOE]

State and Local Energy Savings Performance Contracting: Savings Measurement and Verification (M&V) Webinar.

242

Developing an Evaluation Measurement and Verification Plan for Your Energy Efficiency Project/Program  

Broader source: Energy.gov [DOE]

Developing an Evaluation Measurement and Verification Plan for Your Energy Efficiency Project/Program

243

Experimental verification of active control in a microgravity environment  

E-Print Network [OSTI]

of the proposed Space Station. Although this location eliminates accelerations induced by rotation of the Space Station, the experiment must be isolated from structural vibrations that may be caused by rotating machinery and crew push off. In order to isolate... response of the payload to various initial conditions. Results from these tests indicate a favorable comparison between the experiment and the analytical model for all controllers and free vibration. Of the three controllers, combinational control...

Cordera, Joseph Frank

1990-01-01T23:59:59.000Z

244

Design, Installation, and Field Verification of Integrated Active Desiccant  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-UpHeat Pump Models |Conduct, Parent Company Agrees toDepartment ofof3,Hybrid Rooftop

245

LABORATORY SAFETY CHECKLIST Department of Environment, Health and Safety v.1.9 July 2014 Page 1  

E-Print Network [OSTI]

years. c) Persons working in the lab who are not radiation safety certified have read and signed the Radiation Safety Guidelines for Non-users. C. Laboratory Housekeeping and Work Practices Criteria yes no nLABORATORY SAFETY CHECKLIST Department of Environment, Health and Safety v.1.9 July 2014 Page 1

Machel, Hans

246

Computer Game Science, B.S. 2013-14 Degree Requirements Checklist All students must meet the University Requirements.  

E-Print Network [OSTI]

2013-14 Computer Game Science, B.S. 2013-14 Degree Requirements Checklist All students must meet for a course in a track. Computer Game Science (CGS) elective courses may not be counted as part of the Management minor or the Biomedical Computing minor. Courses Courses taken / taking I&C SCI 31 ­ Introduction

Loudon, Catherine

247

Computer Science and Engineering, B.S. 2013-14 Degree Requirements Checklist All students must meet the University Requirements.  

E-Print Network [OSTI]

2013-14 Computer Science and Engineering, B.S. 2013-14 Degree Requirements Checklist All students must meet the University Requirements. This major cannot be combined with the majors in Computer Engineering, Computer Science, Information and Computer Science, nor the minors in Information and Computer

Loudon, Catherine

248

Internship Checklist for DEB students 1. Before you submit a CV and cover letter to any company, please have Dr.  

E-Print Network [OSTI]

Internship Checklist for DEB students Feb 2008 1. Before you submit a CV and cover letter to any an internship (in Objective section) and also list the DEB as part of your PhD education. Example: PhD in Chemistry with a Designated Emphasis in Biotechnology. 3. If you are offered an internship, please notify Dr

Ferrara, Katherine W.

249

UCHC Competency Checklist: ANNUAL Position Title: Registered Nurse, JDH Employee Name: Unit: Med 4, Med 3, and  

E-Print Network [OSTI]

: CLUSTER SPECIFIC COMPETENCIES Alaris Pump-use of guardrails, secondary infusion tubing V Chest Drainage infusions, argatroban, insulin cont. infusions, insulin subcutaneous, narcotic infusions including epidural narcotic infusions, any med administered on an V #12;UCHC Competency Checklist: ANNUAL Position Title

Oliver, Douglas L.

250

Automated Verification of Practical Garbage Collectors  

E-Print Network [OSTI]

Garbage collectors are notoriously hard to verify, due to their low-level interaction with the underlying system and the general difficulty in reasoning about reachability in graphs. Several papers have presented verified collectors, but either the proofs were hand-written or the collectors were too simplistic to use on practical applications. In this work, we present two mechanically verified garbage collectors, both practical enough to use for real-world C# benchmarks. The collectors and their associated allocators consist of x86 assembly language instructions and macro instructions, annotated with preconditions, postconditions, invariants, and assertions. We used the Boogie verification generator and the Z3 automated theorem prover to verify this assembly language code mechanically. We provide measurements comparing the performance of the verified collector with that of the standard Bartok collectors on off-the-shelf C# benchmarks, demonstrating their competitiveness.

Hawblitzel, Chris

2010-01-01T23:59:59.000Z

251

A Comprehensive Quality Assurance Program for Personnel and Procedures in Radiation Oncology: Value of Voluntary Error Reporting and Checklists  

SciTech Connect (OSTI)

Purpose: This report describes the value of a voluntary error reporting system and the impact of a series of quality assurance (QA) measures including checklists and timeouts on reported error rates in patients receiving radiation therapy. Methods and Materials: A voluntary error reporting system was instituted with the goal of recording errors, analyzing their clinical impact, and guiding the implementation of targeted QA measures. In response to errors committed in relation to treatment of the wrong patient, wrong treatment site, and wrong dose, a novel initiative involving the use of checklists and timeouts for all staff was implemented. The impact of these and other QA initiatives was analyzed. Results: From 2001 to 2011, a total of 256 errors in 139 patients after 284,810 external radiation treatments (0.09% per treatment) were recorded in our voluntary error database. The incidence of errors related to patient/tumor site, treatment planning/data transfer, and patient setup/treatment delivery was 9%, 40.2%, and 50.8%, respectively. The compliance rate for the checklists and timeouts initiative was 97% (P<.001). These and other QA measures resulted in a significant reduction in many categories of errors. The introduction of checklists and timeouts has been successful in eliminating errors related to wrong patient, wrong site, and wrong dose. Conclusions: A comprehensive QA program that regularly monitors staff compliance together with a robust voluntary error reporting system can reduce or eliminate errors that could result in serious patient injury. We recommend the adoption of these relatively simple QA initiatives including the use of checklists and timeouts for all staff to improve the safety of patients undergoing radiation therapy in the modern era.

Kalapurakal, John A., E-mail: j-kalapurakal@northwestern.edu [Department of Radiation Oncology, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States); Zafirovski, Aleksandar; Smith, Jeffery; Fisher, Paul; Sathiaseelan, Vythialingam [Department of Radiation Oncology, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States)] [Department of Radiation Oncology, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States); Barnard, Cynthia [Department of Quality Strategies, Northwestern Memorial Hospital, Chicago, Illinois (United States)] [Department of Quality Strategies, Northwestern Memorial Hospital, Chicago, Illinois (United States); Rademaker, Alfred W. [Department of Preventive Medicine, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States)] [Department of Preventive Medicine, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States); Rave, Nick [Department of Physicians Services, Northwestern Memorial Hospital, Chicago, Illinois (United States)] [Department of Physicians Services, Northwestern Memorial Hospital, Chicago, Illinois (United States); Mittal, Bharat B. [Department of Radiation Oncology, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States)] [Department of Radiation Oncology, Northwestern University Feinberg School of Medicine, Chicago, Illinois (United States)

2013-06-01T23:59:59.000Z

252

IT Licentiate theses Practical Verification of Real-Time Systems  

E-Print Network [OSTI]

IT Licentiate theses 2001-013 Practical Verification of Real-Time Systems ALEXANDRE DAVID UPPSALA UPPSALA SWEDEN Dissertation for the degree of Licentiate of Philosophy in Computer Science at Uppsala

David, Alexandre

253

IT Licentiate theses Practical Verification of RealTime Systems  

E-Print Network [OSTI]

IT Licentiate theses 2001≠013 Practical Verification of Real≠Time Systems ALEXANDRE DAVID UPPSALA UPPSALA SWEDEN Dissertation for the degree of Licentiate of Philosophy in Computer Science at Uppsala

David, Alexandre

254

INL/EXT-14-33201 RELAP-7 Software Verification  

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

01 RELAP-7 Software Verification and Validation Plan Curtis L. Smith Yong-Joon Choi Ling Zou September 25, 2014 NOTICE This report was prepared as an account of work sponsored by...

255

M&V Guidelines: Measurement and Verification for Federal Energy...  

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

M&V Guidelines: Measurement and Verifi cation for Federal Energy Projects Version 3.0 M&V Guidelines: Measurement and Verification for Federal Energy Projects Version 3.0 Prepared...

256

A Methodology for Automated Verification of Rosetta Specification Transformations  

E-Print Network [OSTI]

particular semantic vocabulary and modeling style. The following dissertation proposes a framework, semantics and methodology for automated verification of safety preservation over specification transformations between domains. Utilizing the ideas of lattice...

Lohoefener, Jennifer Lee

2011-04-11T23:59:59.000Z

257

Process Abstraction in the Verification of Temporal Properties†  

E-Print Network [OSTI]

as abstraction operations. We show that an abstract process satisfies a property expressed as a temporal logic formula just if the original process satisfies a transformed formula. We define various abstraction operators and illustrate their use in verification...

Bruns, Glen R

258

Technology verification phase. Dynamic isotope power system. Final report  

SciTech Connect (OSTI)

The Phase I requirements of the Kilowatt Isotope Power System (KIPS) program were to make a detailed Flight System Conceptual Design (FSCD) for an isotope fueled organic Rankine cycle power system and to build and test a Ground Demonstration System (GDS) which simulated as closely as possible the operational characteristics of the FSCD. The activities and results of Phase II, the Technology Verification Phase, of the program are reported. The objectives of this phase were to increase system efficiency to 18.1% by component development, to demonstrate system reliability by a 5000 h endurance test and to update the flight system design. During Phase II, system performance was improved from 15.1% to 16.6%, an endurance test of 2000 h was performed while the flight design analysis was limited to a study of the General Purpose Heat Source, a study of the regenerator manufacturing technique and analysis of the hardness of the system to a laser threat. It was concluded from these tests that the GDS is basically prototypic of a flight design; all components necessary for satisfactory operation were demonstrated successfully at the system level; over 11,000 total h of operation without any component failure attested to the inherent reliability of this type of system; and some further development is required, specifically in the area of performance. (LCL)

Halsey, D.G.

1982-03-10T23:59:59.000Z

259

Room #:________________ Monthly HS+E Lab Inspection Checklist -2004 UBC -Physics+ Astronomy # Item J F M A M J J A S O N D Comments  

E-Print Network [OSTI]

15 Checked by Group Member (initials) 16 Inspected by HS&E Committee Member (initials) Please ensureRoom #:________________ Monthly HS+E Lab Inspection Checklist - 2004 UBC - Physics+ Astronomy

Plotkin, Steven S.

260

Verification and Validation of RADTRAN 5.5.  

SciTech Connect (OSTI)

This document contains a description of the verification and validation process used for the RADTRAN 5.5 code. The verification and validation process ensured the proper calculational models and mathematical and numerical methods were used in the RADTRAN 5.5 code for the determination of risk and consequence assessments. The differences between RADTRAN 5 and RADTRAN 5.5 are the addition of tables, an expanded isotope library, and the additional User-Defined meteorological option for accident dispersion. 3

Osborn, Douglas.; Weiner, Ruth F.; Mills, George Scott; Hamp, Steve C.

2005-02-01T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

Enhanced verification test suite for physics simulation codes  

SciTech Connect (OSTI)

This document discusses problems with which to augment, in quantity and in quality, the existing tri-laboratory suite of verification problems used by Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and Sandia National Laboratories (SNL). The purpose of verification analysis is demonstrate whether the numerical results of the discretization algorithms in physics and engineering simulation codes provide correct solutions of the corresponding continuum equations.

Kamm, James R.; Brock, Jerry S.; Brandon, Scott T.; Cotrell, David L.; Johnson, Bryan; Knupp, Patrick; Rider, William J.; Trucano, Timothy G.; Weirs, V. Gregory

2008-09-01T23:59:59.000Z

262

Results of Remediation and Verification Sampling for the 600-270 Horseshoe Landfill  

SciTech Connect (OSTI)

This report presents the results of the 2005 remedial action and verification soil sampling conducted at the 600-270 waste site after removal of soil containing residual concentrations of dichlorodiphenyl trichloroethane and its breakdown products dichlorodiphenyl dichloroethylene and dichlorodiphenyl dichloroethane. The remediation was performed in response to post-closure surface soil sampling performed between 1998 and 2003 that indicated the presence of residual DDT contamination exceeding the Record of Decision for the 1100 Area National Priorities List site cleanup criteria of 1 mg/kg that was established for the original 1994 cleanup activities.

W. S. Thompson

2005-12-14T23:59:59.000Z

263

Cleanup Verification Package for the 118-F-8:4 Fuel Storage Basin West Side Adjacent and Side Slope Soils  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action, sampling activities, and compliance with cleanup criteria for the 118-F-8:4 Fuel Storage Basin West Side Adjacent and Side Slope Soils. The rectangular-shaped concrete basin on the south side of the 105-F Reactor building served as an underwater collection, storage, and transfer facility for irradiated fuel elements discharged from the reactor.

L. D. Habel

2008-03-18T23:59:59.000Z

264

Interim Letter Report - Verification Survey of Partial Grid E9, David Witherspoon, Inc. 1630 Site Knoxville, Tennessee  

SciTech Connect (OSTI)

Conduct verification surveys of available grids at the DWI 1630 in Knoxville, Tennessee. A representative with the Independent Environmental Assessment and Verification (IEAV) team from ORISE conducted a verification survey of a partial area within Grid E9.

P.C. Weaver

2008-06-12T23:59:59.000Z

265

Reciprocity Checklist  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergy 0611__Joint_DOE_GoJ_AMS_Data_v3.pptx MoreNovember 21, 2013 From Tesla's Lab to Los

266

CTBT Integrated Verification System Evaluation Model  

SciTech Connect (OSTI)

Sandia National Laboratories has developed a computer based model called IVSEM (Integrated Verification System Evaluation Model) to estimate the performance of a nuclear detonation monitoring system. The IVSEM project was initiated in June 1994, by Sandia`s Monitoring Systems and Technology Center and has been funded by the US Department of Energy`s Office of Nonproliferation and National Security (DOE/NN). IVSEM is a simple, top-level, modeling tool which estimates the performance of a Comprehensive Nuclear Test Ban Treaty (CTBT) monitoring system and can help explore the impact of various sensor system concepts and technology advancements on CTBT monitoring. One of IVSEM`s unique features is that it integrates results from the various CTBT sensor technologies (seismic, infrasound, radionuclide, and hydroacoustic) and allows the user to investigate synergy among the technologies. Specifically, IVSEM estimates the detection effectiveness (probability of detection) and location accuracy of the integrated system and of each technology subsystem individually. The model attempts to accurately estimate the monitoring system`s performance at medium interfaces (air-land, air-water) and for some evasive testing methods such as seismic decoupling. This report describes version 1.2 of IVSEM.

Edenburn, M.W.; Bunting, M.L.; Payne, A.C. Jr.

1997-10-01T23:59:59.000Z

267

Mobile Pit verification system design based on passive special nuclear material verification in weapons storage facilities  

SciTech Connect (OSTI)

A mobile 'drive by' passive radiation detection system to be applied in special nuclear materials (SNM) storage facilities for validation and compliance purposes has been designed through the use of computational modeling and new radiation detection methods. This project was the result of work over a 1 year period to create optimal design specifications to include creation of 3D models using both Monte Carlo and deterministic codes to characterize the gamma and neutron leakage out each surface of SNM-bearing canisters. Results were compared and agreement was demonstrated between both models. Container leakages were then used to determine the expected reaction rates using transport theory in the detectors when placed at varying distances from the can. A 'typical' background signature was incorporated to determine the minimum signatures versus the probability of detection to evaluate moving source protocols with collimation. This established the criteria for verification of source presence and time gating at a given vehicle speed. New methods for the passive detection of SNM were employed and shown to give reliable identification of age and material for highly enriched uranium (HEU) and weapons grade plutonium (WGPu). The finalized 'Mobile Pit Verification System' (MPVS) design demonstrated that a 'drive-by' detection system, collimated and operating at nominally 2 mph, is capable of rapidly verifying each and every weapon pit stored in regularly spaced, shelved storage containers, using completely passive gamma and neutron signatures for HEU and WGPu. This system is ready for real evaluation to demonstrate passive total material accountability in storage facilities. (authors)

Paul, J. N.; Chin, M. R.; Sjoden, G. E. [Nuclear and Radiological Engineering Program, George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, 770 State St, Atlanta, GA 30332-0745 (United States)

2013-07-01T23:59:59.000Z

268

The Challenge for Arms Control Verification in the Post-New START World  

SciTech Connect (OSTI)

Nuclear weapon arms control treaty verification is a key aspect of any agreement between signatories to establish that the terms and conditions spelled out in the treaty are being met. Historically, arms control negotiations have focused more on the rules and protocols for reducing the numbers of warheads and delivery systems - sometimes resorting to complex and arcane procedures for counting forces - in an attempt to address perceived or real imbalances in a nation's strategic posture that could lead to instability. Verification procedures are generally defined in arms control treaties and supporting documents and tend to focus on technical means and measures designed to ensure that a country is following the terms of the treaty and that it is not liable to engage in deception or outright cheating in an attempt to circumvent the spirit and the letter of the agreement. As the Obama Administration implements the articles, terms, and conditions of the recently ratified and entered-into-force New START treaty, there are already efforts within and outside of government to move well below the specified New START levels of 1550 warheads, 700 deployed strategic delivery vehicles, and 800 deployed and nondeployed strategic launchers (Inter-Continental Ballistic Missile (ICBM) silos, Submarine-Launched Ballistic Missile (SLBM) tubes on submarines, and bombers). A number of articles and opinion pieces have appeared that advocate for significantly deeper cuts in the U.S. nuclear stockpile, with some suggesting that unilateral reductions on the part of the U.S. would help coax Russia and others to follow our lead. Papers and studies prepared for the U.S. Department of Defense and at the U.S. Air War College have also been published, suggesting that nuclear forces totaling no more than about 300 warheads would be sufficient to meet U.S. national security and deterrence needs. (Davis 2011, Schaub and Forsyth 2010) Recent articles by James M. Acton and others suggest that the prospects for maintaining U.S. security and minimizing the chances of nuclear war, while deliberately reducing stockpiles to a few hundred weapons, is possible but not without risk. While the question of the appropriate level of cuts to U.S. nuclear forces is being actively debated, a key issue continues to be whether verification procedures are strong enough to ensure that both the U.S. and Russia are fulfilling their obligations under the current New Start treaty and any future arms reduction treaties. A recent opinion piece by Henry Kissinger and Brent Scowcroft (2012) raised a number of issues with respect to governing a policy to enhance strategic stability, including: in deciding on force levels and lower numbers, verification is crucial. Particularly important is a determination of what level of uncertainty threatens the calculation of stability. At present, that level is well within the capabilities of the existing verification systems. We must be certain that projected levels maintain - and when possible, reinforce - that confidence. The strengths and weaknesses of the New START verification regime should inform and give rise to stronger regimes for future arms control agreements. These future arms control agreements will likely need to include other nuclear weapons states and so any verification regime will need to be acceptable to all parties. Currently, China is considered the most challenging party to include in any future arms control agreement and China's willingness to enter into verification regimes such as those implemented in New START may only be possible when it feels it has reached nuclear parity with the U.S. and Russia. Similarly, in keeping with its goals of reaching peer status with the U.S. and Russia, Frieman (2004) suggests that China would be more willing to accept internationally accepted and applied verification regimes rather than bilateral ones. The current verification protocols specified in the New START treaty are considered as the baseline case and are contrasted with possible alternative verification protocols that could be e

Wuest, C R

2012-05-24T23:59:59.000Z

269

Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-time Constraints  

E-Print Network [OSTI]

.4 [Software Engineering]: Software/Program Verification. General Term Algorithms, Design, Reliability, Theory strategy, the corresponding unnecessary verification can be avoided. The comparison and experimental simulation further demonstrate that our new strategy can improve the efficiency of overall temporal

Yang, Yun

270

VERIFICATION BASED ECG BIOMETRICS WITH CARDIAC IRREGULAR CONDITIONS USING HEARTBEAT LEVEL AND SEGMENT LEVEL INFORMATION FUSION  

E-Print Network [OSTI]

VERIFICATION BASED ECG BIOMETRICS WITH CARDIAC IRREGULAR CONDITIONS USING HEARTBEAT LEVEL propose an ECG based robust human verification system for both healthy and cardiac irregular conditions% relatively on the PTB database. Index Terms-- ECG biometrics, beat normalization, outlier re- moval

Li, Xin

271

Comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program

272

Comment submitted by BSH Home Appliances Corporation regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by BSH Home Appliances Corporation regarding the Energy Star Verification Testing Program

273

Comment submitted by CertainTeed Corporation regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by CertainTeed Corporation regarding the Energy Star Verification Testing Program

274

Comment submitted by the Natural Resources Defense Council (NRDC) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the Natural Resources Defense Council (NRDC) regarding the Energy Star Verification Testing Program

275

Efficient Methods for Practical Fully-Homomorphic Symmetric-key Encryption, Randomization, and Verification  

E-Print Network [OSTI]

, and Verification Aviad Kipnis akipnis@nds.com; Eli Hibshoosh ehibshoo@nds.com Abstract We present high performance

276

E-Print Network 3.0 - attribute verification system Sample Search...  

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

systems for generation "attributes": those characteristics of a power plant's production... , electricity markets are devising accounting and verification systems for...

277

Comment submitted by Hoshizaki America, Inc. regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by Hoshizaki America, Inc. regarding the Energy Star Verification Testing Program

278

EECLP Webinar #2: Quality Assurance and Evaluation Monitoring Verification-- Text Version  

Broader source: Energy.gov [DOE]

Below is the text version of the EECLP Webinar #2: Quality Assurance and Evaluation Monitoring Verification, presented in December 2014.

279

Comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program

280

Comment submitted by United Lighting, Inc. regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by United Lighting, Inc. regarding the Energy Star Verification Testing Program

Note: This page contains sample records for the topic "activities verification checklist" 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

Comment submitted by A. O. Smith Corporation regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by A. O. Smith Corporation regarding the Energy Star Verification Testing Program

282

Comment submitted by the Alliance for Water Efficiency (AWE) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the Alliance for Water Efficiency (AWE) regarding the Energy Star Verification Testing Program

283

INDEPENDENT VERIFICATION REVIEW AND SURVEY of the Argonne National Laboratory Building 301 Footprint  

SciTech Connect (OSTI)

INDEPENDENT VERIFICATION REVIEW AND SURVEY of the Argonne National Laboratory Building 301 Footprint, Argonne Illinois 5061-SR-01-0

E.N. Bailey

2010-05-26T23:59:59.000Z

284

Independent Verification Survey Report for the Long Island Solar Farm, Brookhaven National Laboratory, Upton, New York  

SciTech Connect (OSTI)

5119-SR-01-0 INDEPENDENT VERIFICATION SURVEY REPORT FOR THE LONG ISLAND SOLAR FARM, BROOKHAVEN NATIONAL LABORATORY

E.M. Harpenau

2010-11-15T23:59:59.000Z

285

Verification and validation of RADMODL Version 1.0  

SciTech Connect (OSTI)

RADMODL is a system of linked computer codes designed to calculate the radiation environment following an accident in which nuclear materials are released. The RADMODL code and the corresponding Verification and Validation (V&V) calculations (Appendix A), were developed for Westinghouse Savannah River Company (WSRC) by EGS Corporation (EGS). Each module of RADMODL is an independent code and was verified separately. The full system was validated by comparing the output of the various modules with the corresponding output of a previously verified version of the modules. The results of the verification and validation tests show that RADMODL correctly calculates the transport of radionuclides and radiation doses. As a result of this verification and validation effort, RADMODL Version 1.0 is certified for use in calculating the radiation environment following an accident.

Kimball, K.D.

1993-03-01T23:59:59.000Z

286

A Zero Knowledge Protocol For Nuclear Warhead Verification  

SciTech Connect (OSTI)

The verification of nuclear warheads for arms control faces a paradox: International inspectors must gain high confidence in the authenticity of submitted items while learning nothing about them. Conventional inspection systems featuring ''information barriers'', designed to hide measurments stored in electronic systems, are at risk of tampering and snooping. Here we show the viability of fundamentally new approach to nuclear warhead verification that incorporates a zero-knowledge protocol, designed such that sensitive information is never measured so does not need to be hidden. We interrogate submitted items with energetic neutrons, making in effect, differential measurements of neutron transmission and emission. Calculations of diversion scenarios show that a high degree of discrimination can be achieved while revealing zero information. Timely demonstration of the viability of such an approach could be critical for the nexxt round of arms-control negotiations, which will likely require verification of individual warheads, rather than whole delivery systems.

Glaser, Alexander [Princeton, Univ., NJ (United States). Program on Science and Global Security] [Princeton, Univ., NJ (United States). Program on Science and Global Security; Goldston, Robert J. [Princeton Plasma Physics Lab., Princeton, NJ (United States)] [Princeton Plasma Physics Lab., Princeton, NJ (United States)

2014-03-14T23:59:59.000Z

287

Converter performance TFE Verification Program. Final test report  

SciTech Connect (OSTI)

This report details TFE Verification Program, the objective, of which is to demonstrate the technology readiness of a TFE suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TFE Verification Program built directly on the technology and data base developed in the 1960s and early 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addressed that concern.

Not Available

1994-03-01T23:59:59.000Z

288

Bibliography for Verification and Validation in Computational Simulations  

SciTech Connect (OSTI)

A bibliography has been compiled dealing with the verification and validation of computational simulations. The references listed in this bibliography are concentrated in the field of computational fluid dynamics (CFD). However, references from the following fields are also included: operations research, heat transfer, solid dynamics, software quality assurance, software accreditation, military systems, and nuclear reactor safety. This bibliography, containing 221 references, is not meant to be comprehensive. It was compiled during the last ten years in response to the author's interest and research in the methodology for verification and validation. The emphasis in the bibliography is in the following areas: philosophy of science underpinnings, development of terminology and methodology, high accuracy solutions for CFD verification, experimental datasets for CFD validation, and the statistical quantification of model validation. This bibliography should provide a starting point for individual researchers in many fields of computational simulation in science and engineering.

Oberkampf, W.L.

1998-10-01T23:59:59.000Z

289

Formal verification of complex properties on PLC programs  

E-Print Network [OSTI]

Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. In this paper we extend our former verification methodology with effective property preserving reduction techniques. For this purpose we developed general rule-based reductions and a customized version of the Cone of Influence (COI) reduction. Using these methods, the verification of complex requirements formalised with temporal logics (e.g. CTL, LTL) can be orders of magnitude faster. We use the NuSMV model checker on a real-life PLC program from CERN to demonstrate the performance of our reduction techniques.

Darvas, D; Voros, A; Bartha, T; Blanco Vinuela, E; Gonzalez Suarez, V M

2014-01-01T23:59:59.000Z

290

Under consideration for publication in Formal Aspects of Computing Specification and verification challenges for  

E-Print Network [OSTI]

and verification challenges as we see them today. We draw on our experience with specifying and verifying code], and static checking and verification tools for these [BCD+ 06, FLL+ 02, CK05]. While we do not claim in ESC/Java [FLL+ 02, LSS99, CK05] and other tools geared to the verification of Java-like programs [BCD

Leino, K. Rustan M.

291

Verification for measurement-only blind quantum computing  

E-Print Network [OSTI]

Blind quantum computing is a new secure quantum computing protocol where a client who does not have any sophisticated quantum technlogy can delegate her quantum computing to a server without leaking any privacy. It is known that a client who has only a measurement device can perform blind quantum computing [T. Morimae and K. Fujii, Phys. Rev. A {\\bf87}, 050301(R) (2013)]. It has been an open problem whether the protocol can enjoy the verification, i.e., the ability of client to check the correctness of the computing. In this paper, we propose a protocol of verification for the measurement-only blind quantum computing.

Tomoyuki Morimae

2014-06-19T23:59:59.000Z

292

MACCS2 development and verification efforts  

SciTech Connect (OSTI)

MACCS2 represents a major enhancement of the capabilities of its predecessor MACCS, the MELCOR Accident Consequence Code System. MACCS, released in 1987, was developed to estimate the potential impacts to the surrounding public of severe accidents at nuclear power plants. The principal phenomena considered in MACCS/MACCS2 are atmospheric transport and deposition under time-variant meteorology, short-term and long-term mitigative actions and exposure pathways, deterministic and stochastic health effects, and economic costs. MACCS2 was developed as a general-purpose analytical tool applicable to diverse reactor and nonreactor facilities. The MACCS2 package includes three primary enhancements: (1) a more flexible emergency response model, (2) an expanded library of radionuclides, and (3) a semidynamic food-chain model. In addition, errors that had been identified in MACCS version1.5.11.1 were corrected, including an error that prevented the code from providing intermediate-phase results. MACCS2 version 1.10 beta test was released to the beta-test group in May, 1995. In addition, the University of New Mexico (UNM) has completed an independent verification study of the code package. Since the beta-test release of MACCS2 version 1.10, a number of minor errors have been identified and corrected, and a number of enhancements have been added to the code package. The code enhancements added since the beta-test release of version 1.10 include: (1) an option to allow the user to input the {sigma}{sub y} and {sigma}{sub z} plume expansion parameters in a table-lookup form for incremental downwind distances, (2) an option to define different initial dimensions for up to four segments of a release, (3) an enhancement to the COMIDA2 food-chain model preprocessor to allow the user to supply externally calculated tables of tritium food-chain dose per unit deposition on farmland to support analyses of tritium releases, and (4) the capability to calculate direction-dependent doses.

Young, M.; Chanin, D.

1997-03-01T23:59:59.000Z

293

Radionuclide Inventory Distribution Project Data Evaluation and Verification White Paper  

SciTech Connect (OSTI)

Testing of nuclear explosives caused widespread contamination of surface soils on the Nevada Test Site (NTS). Atmospheric tests produced the majority of this contamination. The Radionuclide Inventory and Distribution Program (RIDP) was developed to determine distribution and total inventory of radionuclides in surface soils at the NTS to evaluate areas that may present long-term health hazards. The RIDP achieved this objective with aerial radiological surveys, soil sample results, and in situ gamma spectroscopy. This white paper presents the justification to support the use of RIDP data as a guide for future evaluation and to support closure of Soils Sub-Project sites under the purview of the Federal Facility Agreement and Consent Order. Use of the RIDP data as part of the Data Quality Objective process is expected to provide considerable cost savings and accelerate site closures. The following steps were completed: - Summarize the RIDP data set and evaluate the quality of the data. - Determine the current uses of the RIDP data and cautions associated with its use. - Provide recommendations for enhancing data use through field verification or other methods. The data quality is sufficient to utilize RIDP data during the planning process for site investigation and closure. Project planning activities may include estimating 25-millirem per industrial access year dose rate boundaries, optimizing characterization efforts, projecting final end states, and planning remedial actions. In addition, RIDP data may be used to identify specific radionuclide distributions, and augment other non-radionuclide dose rate data. Finally, the RIDP data can be used to estimate internal and external dose rates. The data quality is sufficient to utilize RIDP data during the planning process for site investigation and closure. Project planning activities may include estimating 25-millirem per industrial access year dose rate boundaries, optimizing characterization efforts, projecting final end states, and planning remedial actions. In addition, RIDP data may be used to identify specific radionuclide distributions, and augment other non-radionuclide dose rate data. Finally, the RIDP data can be used to estimate internal and external dose rates.

NSTec Environmental Restoration

2010-05-17T23:59:59.000Z

294

Precise Dynamic Verification of Noninterference Gurvan Le Guernic  

E-Print Network [OSTI]

Precise Dynamic Verification of Noninterference Gurvan Le Guernic INRIA-MSR - Parc Orsay Universit analysis is used to analyze some un- executed pieces of code in order to take into account all types is that nowadays it is nearly impossible for consumers to prevent the execution of "bad" code on their devices

Paris-Sud XI, Université de

295

A STROKE BASED ALGORITHM FOR DYNAMIC SIGNATURE VERIFICATION  

E-Print Network [OSTI]

A STROKE BASED ALGORITHM FOR DYNAMIC SIGNATURE VERIFICATION Tong Qu, Abdulmotaleb El Saddik, Andy a novel stroke-based algorithm for DSV. An algorithm is developed to convert sample signatures of individual strokes. Individual strokes are identified by finding the points where there is a 1) decrease

Adler, Andy

296

Exploring Reliability for Automatic Identity Verification with Statistical Shape Models  

E-Print Network [OSTI]

Exploring Reliability for Automatic Identity Verification with Statistical Shape Models Federico M reliability measure of the result. In fact, the segmentation process is One ofthe drawbacks ofstatistical to a wrong result [4]. generic reliability measure for statistical shape models. It This problem

Frangi, Alejandro

297

Cleanup Verification Package for the 118-F-6 Burial Ground  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action for the 118-F-6 Burial Ground located in the 100-FR-2 Operable Unit of the 100-F Area on the Hanford Site. The trenches received waste from the 100-F Experimental Animal Farm, including animal manure, animal carcasses, laboratory waste, plastic, cardboard, metal, and concrete debris as well as a railroad tank car.

H. M. Sulloway

2008-10-02T23:59:59.000Z

298

Contracts for Model Execution Verification Eric Cariou1  

E-Print Network [OSTI]

Contracts for Model Execution Verification Eric Cariou1 , Cyril Ballagny2 , Alexandre Feugas3 a contract-based approach to specify an execution semantics for a meta-model. We show that an execution model transformation contracts for controlling the dynamic con- sistent evolution of a model during its

Paris-Sud XI, Université de

299

Getting Out of the Way Safety Verification without Compromise  

E-Print Network [OSTI]

verification of adaptive cruise control algorithms require both discrete braking modes and overly conservative conditions for adaptive cruise control algorithms that do not require discontinuous braking and also allow ∑ Assume global upper and lower braking bounds ∑ Assume worst-case scenario (WCS) ≠ Leader uses strongest

Sivilotti, Paul

300

STATE OF CALIFORNIA LOW LEAKAGE AIR HANDLER VERIFICATION  

E-Print Network [OSTI]

or heat pump fan and inside coil) must be certified to the Commission to leak 2 percent or less of its in the dwelling as applicable. System Name or Identification/Tag System Location or Area Served LLAH Unit Make LLAH Unit Model The LLAH must be connected to a New Duct System that meets the HERS verification

Note: This page contains sample records for the topic "activities verification checklist" 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

Self-adaptive software needs quantitative verification at Radu Calinescu  

E-Print Network [OSTI]

, performance and operating cost (e.g., energy consumption) of software. These techniques include model checkingSelf-adaptive software needs quantitative verification at runtime Radu Calinescu Department 1: The world and the machine. [19, 30]. In contrast, several mathematically-based modelling

Oxford, University of

302

Self-adaptive software needs quantitative verification at Radu Calinescu  

E-Print Network [OSTI]

, performance and operating cost (e.g., energy consumption) of software. These techniques include model checkingSelf-adaptive software needs quantitative verification at runtime Radu Calinescu Department"#.&*#.+$ Figure 1: The world and the machine. [19, 30]. In contrast, several mathematically-based modelling

Paris-Sud XI, Université de

303

Verification of Network Management System Configurations David L. Cohrs  

E-Print Network [OSTI]

, with the use of simple, ad hoc tools. However in a large network, managing the net- work management system the amount of sharing and coordination possible in configuring the net- work management system. EachVerification of Network Management System Configurations David L. Cohrs (608) 262-6617 dave

Miller, Barton P.

304

3D Scanning for Biometric Identification and Verification  

E-Print Network [OSTI]

June 2010 3D Scanning for Biometric Identification and Verification Project Leads Anselmo Lastra visibility, cannot be controlled. A relatively new biometric, 3D facial recognition, holds great promise performance using 3D shape and texture matched that of the much more mature technologies of high

McShea, Daniel W.

305

Automated Verification of Practical Garbage Collectors Chris Hawblitzel  

E-Print Network [OSTI]

Automated Verification of Practical Garbage Collectors Chris Hawblitzel Microsoft Research One Technion Haifa 32000 Israel erez@cs.technion.ac.il Abstract Garbage collectors are notoriously hard in reasoning about reachability in graphs. Several papers have presented verified collectors, but either

Petrank, Erez

306

Verification of Data-Aware Commitment-Based Multiagent System  

E-Print Network [OSTI]

on the dynamics of such systems, and on the evolution of their commitments. This requires to lift the commitment I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence--Multiagent Systems; D.2Verification of Data-Aware Commitment-Based Multiagent System Marco Montali Diego Calvanese KRDB

De Giacomo, Giuseppe

307

Verification of Parallel Garbage Collection by Abstract Model Checking  

E-Print Network [OSTI]

have a finite state space provided that the abstraction mapping is powerful. M¨uller and Nipkow's work working on abstract model checking. In Section 4, the abstractions we defined on garbage #12; collectionVerification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract) Masami

Hagiya, Masami

308

Fast Verification of Wind Turbine Power Summary of Project Results  

E-Print Network [OSTI]

Fast Verification of Wind Turbine Power Curves: Summary of Project Results by: Cameron Brown ¬≠ s equation on high frequency wind turbine measurement data sampled at one sample per second or more. The aim's Nordtank wind turbine at the Ris√ł site, the practical application of this new method was tested

309

Department of Computing CSP||B modelling for railway verification  

E-Print Network [OSTI]

University of Surrey Department of Computing Computing Sciences Report CS-12-03 CSP||B modelling Schneider Helen Treharne March 30th 2012 #12;CSP||B modelling for railway verification: the double junction work in verifying railway systems through CSP k B modelling and analysis. In particular we consider

Doran, Simon J.

310

Combining Tools for the Verification of FaultTolerant Systems  

E-Print Network [OSTI]

and verification of fault≠tolerant systems according to the invent&verify paradigm. Our method is based on the CSP specifications (CSP process terms), refinement relations or combinations of these three description formalisms specification paradigms ac≠ cording to the specific needs of each development step is essential to cope

Peleska, Jan - Fachbereich 3

311

2012 -2013 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID  

E-Print Network [OSTI]

an official copy of your Birth Certificate, Passport, or Driver's License with this form and we will update2012 - 2013 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID: The date of birth reported on your Free Application for Federal Student Aid (FAFSA) does not match the date of birth reported in one of the following

Nelson, Tim

312

2013 -2014 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID  

E-Print Network [OSTI]

an official copy of your Birth Certificate, Passport, or Driver's License with this form and we will update2013 - 2014 BIRTH DATE VERIFICATION STUDENT NAME: SPU ID: The date of birth reported on your Free Application for Federal Student Aid (FAFSA) does not match the date of birth reported in one of the following

Nelson, Tim

313

Parameterized Specification and Verification of PLC Systems in Coq  

E-Print Network [OSTI]

Parameterized Specification and Verification of PLC Systems in Coq Hai Wan D.CST, Tsinghua and verify PLC software systems with the theorem proving system Coq. Dependent inductive data types are har to cope with this situation, modular development of PLC software is adopted. During the modular

Boyer, Edmond

314

Improving large-sized PLC programs verification using abstractions  

E-Print Network [OSTI]

Improving large-sized PLC programs verification using abstractions V. Gourcuff O. de Smet J [2005]) models of PLC programs, which can be verified with well- known model-checkers, like UPPAAL the development of industrial PLC programs up to now (John- son [2007]). Several reasons can explain

Paris-Sud XI, Université de

315

Venus: Verification for Untrusted Cloud Storage Alexander Shraer  

E-Print Network [OSTI]

Venus: Verification for Untrusted Cloud Storage Alexander Shraer Dept. of Electrical Engineering, Switzerland cca@zurich.ibm.com Asaf Cidon Dept. of Electrical Engineering Technion, Haifa, Israel asaf@cidon.com Idit Keidar Dept. of Electrical Engineering Technion, Haifa, Israel idish@ee.technion.ac.il Yan

Keidar, Idit

316

FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY  

E-Print Network [OSTI]

1 FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY Rick Katz Institute for Study on Extremes · Emil Gumbel (1891 ­ 1966) -- Pioneer in application of statistics of extremes "Il est impossible que l'improbable n'arrive jamais." #12;3 OUTLINE (1) Motivation (2) Conventional Methods (3) Extreme

Katz, Richard

317

FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY  

E-Print Network [OSTI]

1 FORECAST VERIFICATION OF EXTREMES: USE OF EXTREME VALUE THEORY Rick Katz Institute for Study ON EXTREMES · Emil Gumbel (1891 ­ 1966) -- Pioneer in application of statistics of extremes "Il est impossible que l'improbable n'arrive jamais." #12;3 OUTLINE (1) Motivation (2) Conventional Methods (3) Extreme

Katz, Richard

318

Multi-canister overpack project -- verification and validation, MCNP 4A  

SciTech Connect (OSTI)

This supporting document contains the software verification and validation (V and V) package used for Phase 2 design of the Spent Nuclear Fuel Multi-Canister Overpack. V and V packages for both ANSYS and MCNP are included. Description of Verification Run(s): This software requires that it be compiled specifically for the machine it is to be used on. Therefore to facilitate ease in the verification process the software automatically runs 25 sample problems to ensure proper installation and compilation. Once the runs are completed the software checks for verification by performing a file comparison on the new output file and the old output file. Any differences between any of the files will cause a verification error. Due to the manner in which the verification is completed a verification error does not necessarily indicate a problem. This indicates that a closer look at the output files is needed to determine the cause of the error.

Goldmann, L.H.

1997-11-10T23:59:59.000Z

319

INDEPENDENT VERIFICATION SURVEY OF THE SPRU LOWER LEVEL HILLSIDE AREA AT THE KNOLLS ATOMIC POWER LABORATORY NISKAYUNA, NEW YORK  

SciTech Connect (OSTI)

During August 10, 2011 through August 19, 2011, and October 23, 2011 through November 4, 2011, ORAU/ORISE conducted verification survey activities at the Separations Process Research Unit (SPRU) site that included in-process inspections, surface scans, and soil sampling of the Lower Level Hillside Area. According to the Type-B Investigation Report, Sr-90 was the primary contributor to the majority of the activity (60 times greater than the Cs-137 activity). The evaluation of the scan data and sample results obtained during verification activities determined that the primary radionuclide of concern, Sr-90, was well below the agreed upon soil cleanup objective (SCO) of 30 pCi/g for the site. However, the concentration of Cs-137 in the four judgmental samples collected in final status survey (FSS) Units A and B was greater than the SCO. Both ORAU and aRc surveys identified higher Cs-137 concentrations in FSS Units A and B; the greatest concentrations were indentified in FSS Unit A.

Harpenau, Evan M.; Weaver, Phyllis C.

2012-06-06T23:59:59.000Z

320

Experimental device-independent verification of quantum steering  

E-Print Network [OSTI]

Bell nonlocality between distant quantum systems---i.e., joint correlations which violate a Bell inequality---can be verified without trusting the measurement devices used, nor those performing the measurements. This leads to unconditionally secure protocols for quantum information tasks such as cryptographic key distribution. However, complete verification of Bell nonlocality requires high detection efficiencies, and is not robust to the typical transmission losses that occur in long distance applications. In contrast, quantum steering, a weaker form of quantum correlation, can be verified for arbitrarily low detection efficiencies and high losses. The cost is that current steering-verification protocols require complete trust in one of the measurement devices and its operator, allowing only one-sided secure key distribution. We present device-independent steering protocols that remove this need for trust, even when Bell nonlocality is not present. We experimentally demonstrate this principle for singlet states and states that do not violate a Bell inequality.

Sacha Kocsis; Michael J. W. Hall; Adam J. Bennet; Dylan J. Saunders; G. J. Pryde

2014-08-07T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

Specification and Verification of Context-dependent Services  

E-Print Network [OSTI]

Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.

Ibrahim, Naseem; Mohammad, Mubarak; 10.4204/EPTCS.61.2

2011-01-01T23:59:59.000Z

322

Assignment 5 Verification of ANSI-C with PVS  

E-Print Network [OSTI]

15-820-a Assignment 5 Verification of ANSI-C with PVS Due Apr. 30, 2003 1 Find the Minimum 1. Write a function in ANSI­C that finds the minumum number in an array. The size of the array is passed as a parameter. 2. Translate your ANSI­C code into PVS language, as described in the class. You may assume

Clarke, Edmund M.

323

Direct experimental verification of quantum commutation relations for Pauli operators  

E-Print Network [OSTI]

We propose and demonstrate scheme for direct experimental testing of quantum commutation relations for Pauli operators. The implemented device is an advanced quantum processor that involves two programmable quantum gates. Depending on a state of two-qubit program register, we can test either commutation or anti-commutation relations. Very good agreement between theory and experiment is observed, indicating high-quality performance of the implemented quantum processor and reliable verification of commutation relations for Pauli operators.

Xing-Can Yao; Jaromir Fiurasek; He Lu; Wei-Bo Gao; Yu-Ao Chen; Zeng-Bing Chen; Jian-Wei Pan

2010-02-08T23:59:59.000Z

324

Cleanup Verification Package for the 618-8 Burial Ground  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action for the 618-8 Burial Ground, also referred to as the Solid Waste Burial Ground No. 8, 318-8, and the Early Solid Waste Burial Ground. During its period of operation, the 618-8 site is speculated to have been used to bury uranium-contaminated waste derived from fuel manufacturing, and construction debris from the remodeling of the 313 Building.

M. J. Appel

2006-08-10T23:59:59.000Z

325

Cost Effective Measurement and Verification at Fairchild AFB  

E-Print Network [OSTI]

Cost Effective Measurement and Verification at Fairchild AFB Authors: Charles Culp, Ph.D., P.E., Associate Director, Energy Systems Laboratory Quinn Hart, P.E., Director, Air Force Civil Engineering Support Agency Bill Turner, Energy Manager... 13,600 monitored points through the facilities. The USAF has numerous projects underway focused on achieving their goal of a 35% energy use reduction by the year 2010, per the requirements of Executive Order 13123. An ESPC (Energy Saving...

Culp, C.; Hart, Q.; Turner, B.; Berry-Lewis, S.

2003-01-01T23:59:59.000Z

326

Shared Signals: Using Existing Facility Meters for Energy Savings Verification  

E-Print Network [OSTI]

energy conservation projects. (2) These guidelines provide monitoring and verification options that have different levels of accuracy and cost. They are specifically designed for energy savings performance contracts and are designed to provide... with a fair degree of accuracy. The costs of using existing meters are often not as clear. Obviously, if an existing meter is used, the costs of purchasing new metering equipment is avoided. However, using an existing meter is not free of costs...

McBride, J. R.; Bohmer, C. J.; Price, S. D.; Carlson, K.; Lopez, J.

327

AHAM DOE Verification Test Agreement | Department of Energy  

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustionImprovement3 Beryllium-Associated Worker2014DepartmentI325DOE Verification Test Agreement AHAM

328

AHAM Letter Acknowledging DOE Letter on Verification Program | Department  

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustionImprovement3 Beryllium-Associated Worker2014DepartmentI325DOE Verification Test Agreementof

329

A comparison of adjoint and data-centric verification techniques.  

SciTech Connect (OSTI)

This document summarizes the results from a level 3 milestone study within the CASL VUQ effort. We compare the adjoint-based a posteriori error estimation approach with a recent variant of a data-centric verification technique. We provide a brief overview of each technique and then we discuss their relative advantages and disadvantages. We use Drekar::CFD to produce numerical results for steady-state Navier Stokes and SARANS approximations. 3

Wildey, Timothy Michael; Cyr, Eric Christopher; Shadid, John Nicolas; Pawlowski, Roger Patrick; Smith, Thomas Michael

2013-03-01T23:59:59.000Z

330

Sandia National Laboratories: rotor structural verification  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the1developmentturbineredox-active perovskiteremoving thereverse osmosisrotor structural

331

B.A. GEOLOGY CHECKLIST of required courses for major Courses in Natural Sciences: 5-6 courses, 18 credits minimum*  

E-Print Network [OSTI]

B.A. GEOLOGY CHECKLIST of required courses for major Courses in Natural Sciences: 5-6 courses, 18 year, either semester *COURSES MUST BE SELECTED WITH CONSULTATION AND APPROVAL OF A GEOLOGY FACULTY or 4th year, either semester Introductory Geology Courses: 3 courses, 11-12 credits Course Credits When

Massachusetts at Amherst, University of

332

Checklist for Minor in GEOLOGY The minor in geology is flexible, so that it can complement the student's major in the best  

E-Print Network [OSTI]

Checklist for Minor in GEOLOGY The minor in geology is flexible, so that it can complement the student's major in the best possible manner. Students minoring in Geology are strongly encouraged to plan their programs with an undergraduate geology advisor. A total of 20 credits are required for the minor as follows

Massachusetts at Amherst, University of

333

B.S. GEOLOGY (Geology Subplan) CHECKLIST of required courses for major Geology Core Courses: 9-10 courses, 33-34 credits  

E-Print Network [OSTI]

B.S. GEOLOGY (Geology Subplan) CHECKLIST of required courses for major Geology Core Courses: 9 - Experiencing Geology Lab and either GEOSCI 103 - Intro to Oceanography or GEOSCI 105 - Dynamic Earth 4 (1) (4 semester GEOSCI 201 ≠ History of the Earth 4 1st or 2nd year, spring semester GEOSCI 231 ≠ Geological Field

Massachusetts at Amherst, University of

334

UCHC Competency Checklist: ORIENTATION DRAFT, 11/27/2012 Position Title: Registered Nurse, JDH Employee Name: Unit: Med Surg (Check appropriate box below)  

E-Print Network [OSTI]

-Assessment by Employee Validation of CompetencyMethod of Instruction Key: P = Protocol/Procedure Review E = Education-off valves E Locates chemotherapy spill kits E Recognizes electrical hazards E Demonstrates appropriate use of Red-Bag Waste E #12;UCHC Competency Checklist: ORIENTATION DRAFT, 11/27/2012 Position Title

Oliver, Douglas L.

335

Local Agency Project Manager Checklist The steps below follow those outlined in the Mn/DOT Utility Manual. A PDF of the manual  

E-Print Network [OSTI]

Form Contact utility owners Utility Contact List available at http://www.dot.state.mn.us/utility/files/pdf/contacts/contact-utilityLocal Agency Project Manager Checklist The steps below follow those outlined in the Mn/DOT Utility Manual. A PDF of the manual and supporting documents are available at: http://www.dot.state.mn.us/utility

Minnesota, University of

336

Employee vs. Independent Contractor Checklist When contracting for services, you must evaluate whether the Internal Revenue Service (IRS) would consider the person  

E-Print Network [OSTI]

Employee vs. Independent Contractor Checklist When contracting for services, you must evaluate for the contracted result of the work, not the manner or method used to accomplish the work solely controls/her own prices for goods and fees for service can terminate contract while not terminating his

Caughman, John

337

STUDENT ORIENTATION CHECK-LIST It is a campus requirement that each Student that works in your department receive the appropriate and  

E-Print Network [OSTI]

STUDENT ORIENTATION CHECK-LIST It is a campus requirement that each Student that works in your. The Student Employment Program has a mission to enhance the student life of the student by on the job training and a professional experience. This may be the first time the student steps into a work environment and here

Yang, Eui-Hyeok

338

Greenhouse Heating Checklist1 R. A. Bucklin, P. H. Jones, B.A. Barmby, D. B. McConnell, and R. W. Henley2  

E-Print Network [OSTI]

CIR791 Greenhouse Heating Checklist1 R. A. Bucklin, P. H. Jones, B.A. Barmby, D. B. Mc heating is the union of an appropriate heat source and an efficient heat distribu- tion system. The best greenhouse heat source in the world is useless if the heat cannot be transferred to the plant environment

Watson, Craig A.

339

Challenges and a checklist for biodiversity conservation in fire-prone forests: Perspectives from the Pacific Northwest of USA and Southeastern Australia  

E-Print Network [OSTI]

Review Challenges and a checklist for biodiversity conservation in fire-prone forests: Perspectives a b s t r a c t Conserving biodiversity in fire-prone forest ecosystems is challenging for several biodiversity conservation is conceptualized and applied. Important research and management challenges include

Stephens, Scott L.

340

Verification and validation of COBRA-SFS transient analysis capability  

SciTech Connect (OSTI)

This report provides documentation of the verification and validation testing of the transient capability in the COBRA-SFS code, and is organized into three main sections. The primary documentation of the code was published in September 1995, with the release of COBRA-SFS, Cycle 2. The validation and verification supporting the release and licensing of COBRA-SFS was based solely on steady-state applications, even though the appropriate transient terms have been included in the conservation equations from the first cycle. Section 2.0, COBRA-SFS Code Description, presents a capsule description of the code, and a summary of the conservation equations solved to obtain the flow and temperature fields within a cask or assembly model. This section repeats in abbreviated form the code description presented in the primary documentation (Michener et al. 1995), and is meant to serve as a quick reference, rather than independent documentation of all code features and capabilities. Section 3.0, Transient Capability Verification, presents a set of comparisons between code calculations and analytical solutions for selected heat transfer and fluid flow problems. Section 4.0, Transient Capability Validation, presents comparisons between code calculations and experimental data obtained in spent fuel storage cask tests. Based on the comparisons presented in Sections 2.0 and 3.0, conclusions and recommendations for application of COBRA-SFS to transient analysis are presented in Section 5.0.

Rector, D.R.; Michener, T.E.; Cuta, J.M.

1998-05-01T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

Enrichment Assay Methods Development for the Integrated Cylinder Verification System  

SciTech Connect (OSTI)

International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are typically performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the facility's entire product-cylinder inventory. Pacific Northwest National Laboratory (PNNL) is developing a concept to automate the verification of enrichment plant cylinders to enable 100 percent product-cylinder verification and potentially, mass-balance calculations on the facility as a whole (by also measuring feed and tails cylinders). The Integrated Cylinder Verification System (ICVS) could be located at key measurement points to positively identify each cylinder, measure its mass and enrichment, store the collected data in a secure database, and maintain continuity of knowledge on measured cylinders until IAEA inspector arrival. The three main objectives of this FY09 project are summarized here and described in more detail in the report: (1) Develop a preliminary design for a prototype NDA system, (2) Refine PNNL's MCNP models of the NDA system, and (3) Procure and test key pulse-processing components. Progress against these tasks to date, and next steps, are discussed.

Smith, Leon E.; Misner, Alex C.; Hatchell, Brian K.; Curtis, Michael M.

2009-10-22T23:59:59.000Z

342

AUTOMATED, HIGHLY ACCURATE VERIFICATION OF RELAP5-3D  

SciTech Connect (OSTI)

Computer programs that analyze light water reactor safety solve complex systems of governing, closure and special process equations to model the underlying physics. In addition, these programs incorporate many other features and are quite large. RELAP5-3D[1] has over 300,000 lines of coding for physics, input, output, data management, user-interaction, and post-processing. For software quality assurance, the code must be verified and validated before being released to users. Verification ensures that a program is built right by checking that it meets its design specifications. Recently, there has been an increased importance on the development of automated verification processes that compare coding against its documented algorithms and equations and compares its calculations against analytical solutions and the method of manufactured solutions[2]. For the first time, the ability exists to ensure that the data transfer operations associated with timestep advancement/repeating and writing/reading a solution to a file have no unintended consequences. To ensure that the code performs as intended over its extensive list of applications, an automated and highly accurate verification method has been modified and applied to RELAP5-3D. Furthermore, mathematical analysis of the adequacy of the checks used in the comparisons is provided.

George L Mesina; David Aumiller; Francis Buschman

2014-07-01T23:59:59.000Z

343

Monitoring and Commissioning Verification Algorithms for CHP Systems  

SciTech Connect (OSTI)

This document provides the algorithms for CHP system performance monitoring and commissioning verification (CxV). It starts by presenting system-level and component-level performance metrics, followed by descriptions of algorithms for performance monitoring and commissioning verification, using the metric presented earlier. Verification of commissioning is accomplished essentially by comparing actual measured performance to benchmarks for performance provided by the system integrator and/or component manufacturers. The results of these comparisons are then automatically interpreted to provide conclusions regarding whether the CHP system and its components have been properly commissioned and where problems are found, guidance is provided for corrections. A discussion of uncertainty handling is then provided, which is followed by a description of how simulations models can be used to generate data for testing the algorithms. A model is described for simulating a CHP system consisting of a micro-turbine, an exhaust-gas heat recovery unit that produces hot water, a absorption chiller and a cooling tower. The process for using this model for generating data for testing the algorithms for a selected set of faults is described. The next section applies the algorithms developed to CHP laboratory and field data to illustrate their use. The report then concludes with a discussion of the need for laboratory testing of the algorithms on a physical CHP systems and identification of the recommended next steps.

Brambley, Michael R.; Katipamula, Srinivas; Jiang, Wei

2008-03-31T23:59:59.000Z

344

2003 Idaho National Engineering and Environmental Laboratory Shallow Injection Well Verification and Status Report  

SciTech Connect (OSTI)

A detailed verification of the shallow injection well inventory for Bechtel BWXT Idaho, LLC and Argonne National Laboratory-West-operated facilities was performed in 2003. Fourteen wells, or 20%, were randomly selected for the verification. This report provides updated information on the 14 shallow injection wells that were randomly selected for the 2003 verification. Where applicable, additional information is provided for shallow injection wells that were not selected for the 2003 verification. This updated information was incorporated into the 2003 Shallow Injection Wells Inventory, Sixty-eight wells were removed from the 2003 Shallow Injection Well Inventory.

Lewis, M.G.

2003-08-21T23:59:59.000Z

345

2003 Idaho National Engineering and Environmental Laboratory Shallow Injection Well Verification and Status Report  

SciTech Connect (OSTI)

A detailed verification of the shallow injection well inventory for Bechtel BWXT Idaho, LLC and Argonne National Laboratory-West-operated facilities was performed in 2003. Fourteen wells, or 20%, were randomly selected for the verification. This report provides updated information on the 14 shallow injection wells that were randomly selected for the 2003 verification. Where applicable, additional information is provided for shallow injection wells that were not selected for the 2003 verification. This updated information was incorporated into the 2003 Shallow Injection Wells Inventory. Sixty-eight wells were removed from the 2003 Shallow Injection Well Inventory.

Mike Lewis

2003-08-01T23:59:59.000Z

346

Finite-State Verification for High Performance Computing George S. Avrunin  

E-Print Network [OSTI]

Finite-State Verification for High Performance Computing George S. Avrunin Department (top500.org) reveals that high performance computing has become practically synonymous with parallel

Avrunin, George S.

347

INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT  

SciTech Connect (OSTI)

INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT, MIAMISBURG, OHIO DCN: 0468-SR-02-0

W.C. Adams

2010-05-24T23:59:59.000Z

348

REVISED INDEPENDENT VERIFICATION SURVEY OF A AND B RADIOACTIVE WASTE TRANSFER LINES TRENCH BROOKHAVEN NATIONAL LABORATORY  

SciTech Connect (OSTI)

REVISED INDEPENDENT VERIFICATION SURVEY OF THE A AND B RADIOACTIVE WASTE TRANSFER LINES TRENCH, BROOKHAVEN NATIONAL LABORATORY 5062-SR-01-1

P.C. Weaver

2010-02-10T23:59:59.000Z

349

INDEPENDENT VERIFICATION SURVEY REPORT OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT  

SciTech Connect (OSTI)

INDEPENDENT VERIFICATION SURVEY REPORT FOR THE OPERABLE UNIT-1 LANDFILL TRENCHES, MIAMISBURG CLOSURE PROJECT, MIAMISBURG, OHIO DCN: 0468-SR-03-0

W.C. Adams

2010-07-21T23:59:59.000Z

350

Draft Guidance: Response, Remediation, and Recovery Checklist for Chemically Contaminated Facilities  

SciTech Connect (OSTI)

A key part of preparedness in the event of a chemical warfare agent (CWA) or toxic industrial chemical (TIC) release at a large facility, such as an airport or subway, is to develop a concept of operations that allows for an effective incident response and recovery. This document is intended as a component of the concept of operations and will be used in the Emergency Operations Center (EOC) as a decision tool for the Unified Command (UC). The Checklist for Facility Response, Remediation, and Recovery presented in this document is principally focused on the Consequence Management Phase (see Figure 1; LLNL 2007a and 2007b) of a chemical release. Information in this document conforms to the National Response Plan (NRP) (DHS 2004) and the National Incident Management System (NIMS 2004). Under these two guidance documents, personnel responsible for managing chemical response and recovery efforts--that is, the decision-makers--are members of an Incident Command (IC), which is likely to transition to a UC in the event of a CWA or TIC attack. A UC is created when more than one agency has incident jurisdiction or when incidents cross political jurisdictions. The location for primary, tactical-level command and management is referred to as the Incident Command Post (ICP), as described in the NRP. Thus, regardless of whether an IC or a UC is used, the responsible entities are located at an ICP. Agencies work together through designated members of the UC to establish their designated Incident Commanders at a single ICP and to establish a common set of objectives and strategies and a single Incident Action Plan. Initially during the Crisis Management Phase (see Figure 1), the Incident Commander is likely to be the Chief of the fire department that serves the affected facility. As life-safety issues are resolved and the Crisis Management Phase shifts to the Consequence Management Phase, the work of characterization, decontamination, and facility clearance begins. There will likely be a coincident transition in organizational structure as well, and new remediation-focused groups, units, and personnel will be added as remediation needs are anticipated. In most cases, a UC would be formed, if not formed already, to direct the cleanup process jointly and to take ultimate responsibility for all cleanup decisions. The UC would likely include the Transportation Facility Manager or Emergency Operations Manager; representatives from state and local public health, environmental, and emergency management agencies; and Federal agencies, such as the U.S. Environmental Protection Agency.

Raber, E; Mancieri, S; Carlsen, T; Fish, C; Hirabayashi-Dethier, J; Intrepido, A; MacQueen, D; Michalik, R; Richards, J

2007-09-04T23:59:59.000Z

351

LOST/STOLEN WALLET INVENTORY & EMERGENCY CHECKLIST Don't Lose These Names & Numbers: Fill out this personal guide & keep it in a safe place. If your wallet/purse is lost or stolen  

E-Print Network [OSTI]

LOST/STOLEN WALLET INVENTORY & EMERGENCY CHECKLIST Don't Lose These Names & Numbers: Fill out-mail: Phone: Electric Company (24-hr # for emergency electrical supply problems) - Phone: Gas/Propane/Heating-Oil

Oklahoma, University of

352

Admissions Checklist for Degree Seeking U.S. Resident Aliens You can save a filled copy of this form on your computer by clicking on the icon on your browser.  

E-Print Network [OSTI]

Admissions Checklist for Degree Seeking U.S. Resident Aliens You can save a filled copy as quickly as possible to ensure timely processing. 5. [ ] Documentation verifying U.S. Resident Alien

Texas at Arlington, University of

353

J2 dependents who want to apply for an Employment Authorization Document (EAD) must schedule an appointment with the IPS Immigration Advisor (906.487.2160). Please bring this checklist and  

E-Print Network [OSTI]

an appointment with the IPS Immigration Advisor (906.487.2160). Please bring this checklist and all documents noted below to the Advisor at the time of the appointment. We also request that you bring photocopies

354

verification & Validation of High-Order Short-Characteristics-Based Deterministic Transport Methodology on Unstructured Grids  

SciTech Connect (OSTI)

The research team has developed a practical, high-order, discrete-ordinates, short characteristics neutron transport code for three-dimensional configurations represented on unstructured tetrahedral grids that can be used for realistic reactor physics applications at both the assembly and core levels. This project will perform a comprehensive verification and validation of this new computational tool against both a continuous-energy Monte Carlo simulation (e.g. MCNP) and experimentally measured data, an essential prerequisite for its deployment in reactor core modeling. Verification is divided into three phases. The team will first conduct spatial mesh and expansion order refinement studies to monitor convergence of the numerical solution to reference solutions. This is quantified by convergence rates that are based on integral error norms computed from the cell-by-cell difference between the codeís numerical solution and its reference counterpart. The latter is either analytic or very fine- mesh numerical solutions from independent computational tools. For the second phase, the team will create a suite of code-independent benchmark configurations to enable testing the theoretical order of accuracy of any particular discretization of the discrete ordinates approximation of the transport equation. For each tested case (i.e. mesh and spatial approximation order), researchers will execute the code and compare the resulting numerical solution to the exact solution on a per cell basis to determine the distribution of the numerical error. The final activity comprises a comparison to continuous-energy Monte Carlo solutions for zero-power critical configuration measurements at Idaho National Laboratoryís Advanced Test Reactor (ATR). Results of this comparison will allow the investigators to distinguish between modeling errors and the above- listed discretization errors introduced by the deterministic method, and to separate the sources of uncertainty.

Azmy, Yousry; Wang, Yaqi

2013-12-20T23:59:59.000Z

355

Logic Based Approaches to Workflow Modeling and Verification 1 Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul,  

E-Print Network [OSTI]

Contents Logic Based Approaches to Workflow Modeling and Verification 1 Saikat Mukherjee, Hasan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 #12;#12;Logic-Based Approaches to Workflow Modeling and Verification Saikat Mukherjee,1 Hasan

Yang, Guizhen

356

Verification and Validation Strategy for LWRS Tools  

SciTech Connect (OSTI)

One intension of the Department of Energy (DOE) Light Water Reactor Sustainability (LWRS) program is to create advanced computational tools for safety assessment that enable more accurate representation of a nuclear power plant safety margin. These tools are to be used to study the unique issues posed by lifetime extension and relicensing of the existing operating fleet of nuclear power plants well beyond their first license extension period. The extent to which new computational models / codes such as RELAP-7 can be used for reactor licensing / relicensing activities depends mainly upon the thoroughness with which they have been verified and validated (V&V). This document outlines the LWRS program strategy by which RELAP-7 code V&V planning is to be accomplished. From the perspective of developing and applying thermal-hydraulic and reactivity-specific models to reactor systems, the US Nuclear Regulatory Commission (NRC) Regulatory Guide 1.203 gives key guidance to numeric model developers and those tasked with the validation of numeric models. By creating Regulatory Guide 1.203 the NRC defined a framework for development, assessment, and approval of transient and accident analysis methods. As a result, this methodology is very relevant and is recommended as the path forward for RELAP-7 V&V. However, the unique issues posed by lifetime extension will require considerations in addition to those addressed in Regulatory Guide 1.203. Some of these include prioritization of which plants / designs should be studied first, coupling modern supporting experiments to the stringent needs of new high fidelity models / codes, and scaling of aging effects.

Carl M. Stoots; Richard R. Schultz; Hans D. Gougar; Thomas K Larson; Michael Corradini; Laura Swiler; David Pointer; Jess Gehin

2012-09-01T23:59:59.000Z

357

DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION  

SciTech Connect (OSTI)

International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the facilityís operations. As additional enrichment plans come online to support the expansion of nuclear power, reducing person-days of inspection will take on greater importance. Pacific Northwest National Laboratory (PNNL) is developing a concept to automate the verification of enrichment plant cylinders to enable 100% product-cylinder verification and potentially, mass-balance calculations on the facility as a whole (by also measuring feed and tails cylinders). The Automated Cylinder Enrichment Verification System (ACEVS) would be located at key measurement points and will positively identify each cylinder, measure its mass and enrichment, store the data along with operator inputs in a secure database, and maintain continuity of knowledge on measured cylinders until IAEA inspector arrival. Given the potential for reduced inspector presence, the operational and manpower-reduction benefits of the portal concept are clear. However, it is necessary to assess whether the cylinder portal concept can meet, or potentially improve upon, todayís U-235 enrichment assay performance. PNNLís ACEVS concept utilizes sensors that could be operated in an unattended mode: moderated He-3 neutron detectors and large NaI(Tl) scintillators for gamma-ray spectroscopy. The medium-resolution NaI(Tl) scintillators are a sacrifice in energy resolution but do provide high collection efficiency for signatures above 1 MeV. The He-3/NaI sensor combination allows the exploitation of additional, more-penetrating signatures than those currently utilized: Neutrons produced from F-19(?,n) reactions (spawned primarily from U-234 alpha emission) and high-energy gamma rays (extending up to 10 MeV) induced by neutrons interacting in the steel cylinder. These signatures are indirect measures of U-235 that require a relatively stable U-234/U-235 ratio in the product material in order to be useful. The hypothesis of this work is that the U-234/U-235 ratio is sufficiently constant, for the specific facility where the automated system is installed, to rely on neutron and high-energy gamma-ray signatures for indirect measurement of U-235. Further, these highly penetrating signatures can be combined with a modified form of NaI-based 185-keV enrichment measurements to meet target uncertainties for the verification of product cylinders, with the additional benefits of full-volume assay of the cylinder and 100% product-cylinder verification (as opposed to todayís sampling-based approach). This paper focuses on the enrichment measurement aspects of the ACEVS concept: neutron and high-energy gamma-ray signatures, the radiation sensors designed to collect those signatures, and proof-of-principle cylinder measurements and analysis. Preliminary analysis indicates that an automated cylinder verification approach has the potential to meet target uncertainty values for 30B products cylinders (5%), assuming ore-based enrichment feed and a facility-specific calibration. Also described is the additional work needed to more definitively assess the conceptís viability, particularly through a better understanding of the U-234/U-235 ratio variability in modern enrichment plants.

Smith, Leon E.; Curtis, Michael M.; Shaver, Mark W.; Benz, Jacob M.; Misner, Alex C.; Mace, Emily K.; Jordan, David V.; Noss, Daniel; Ford, Herbert

2009-10-06T23:59:59.000Z

358

A Runtime Verification Framework for Control System Simulation  

SciTech Connect (OSTI)

n a standard workflow for the validation of a control system, the control system is implemented as an extension to a simulator. Such simulators are complex software systems, and engineers may unknowingly violate constraints a simulator places on extensions. As such, errors may be introduced in the implementation of either the control system or the simulator leading to invalid simulation results. This paper presents a novel runtime verification approach for verifying control system implementations within simulators. The major contribution of the approach is the two-tier specification process. In the first tier, engineers model constraints using a domain-specific language tailored to modeling a controllerís response to changes in its input. The language is high-level and effectively hides the implementation details of the simulator, allowing engineers to specify design-level constraints independent of low-level simulator interfaces. In the second tier, simulator developers provide mapping rules for mapping design-level constraints to the implementation of the simulator. Using the rules, an automated tool transforms the design-level specifications into simulator-specific runtime verification specifications and generates monitoring code which is injected into the implementation of the simulator. During simulation, these monitors observe the input and output variables of the control system and report changes to the verifier. The verifier checks whether these changes follow the constraints of the control system. We describe application of this approach to the verification of the constraints of an HVAC control system implemented with the power grid simulator GridLAB-D.

Ciraci, Selim; Fuller, Jason C.; Daily, Jeffrey A.; Makhmalbaf, Atefe; Callahan, Charles D.

2014-08-02T23:59:59.000Z

359

Verification of hourly forecasts of wind turbine power output  

SciTech Connect (OSTI)

A verification of hourly average wind speed forecasts in terms of hourly average power output of a MOD-2 was performed for four sites. Site-specific probabilistic transformation models were developed to transform the forecast and observed hourly average speeds to the percent probability of exceedance of an hourly average power output. (This transformation model also appears to have value in predicting annual energy production for use in wind energy feasibility studies.) The transformed forecasts were verified in a deterministic sense (i.e., as continuous values) and in a probabilistic sense (based upon the probability of power output falling in a specified category). Since the smoothing effects of time averaging are very pronounced, the 90% probability of exceedance was built into the transformation models. Semiobjective and objective (model output statistics) forecasts were made compared for the four sites. The verification results indicate that the correct category can be forecast an average of 75% of the time over a 24-hour period. Accuracy generally decreases with projection time out to approx. 18 hours and then may increase due to the fairly regular diurnal wind patterns that occur at many sites. The ability to forecast the correct power output category increases with increasing power output because occurrences of high hourly average power output (near rated) are relatively rare and are generally not forecast. The semiobjective forecasts proved superior to model output statistics in forecasting high values of power output and in the shorter time frames (1 to 6 hours). However, model output statistics were slightly more accurate at other power output levels and times. Noticeable differences were observed between deterministic and probabilistic (categorical) forecast verification results.

Wegley, H.L.

1984-08-01T23:59:59.000Z

360

Remaining Sites Verification Package for the 100-B-18, 184-B Powerhouse Debris Pile, Waste Site Reclassification Form 2007-020  

SciTech Connect (OSTI)

The 100-B-18 Powerhouse Debris Pile contained miscellaneous demolition waste from the decommissioning activities of the 184-B Powerhouse. The debris covered an area roughly 15 m by 30 m and included materials such as concrete blocks, mixed aggregate/concrete slabs, stone rubble, asphalt rubble, traces of tar/coal, broken fluorescent lights, brick chimney remnants, and rubber hoses. In accordance with this evaluation, the verification sampling results support a reclassification of this site to Interim Closed Out. The results of verification sampling show that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also demonstrate that residual contaminant concentrations are protective of groundwater and the Columbia River.

L. M. Dittmer

2007-11-30T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

VERIFICATION TESTING AND DESIGN PROCEDURE FOR FRP GRID REINFORCED CONCRETE SLABS  

E-Print Network [OSTI]

1 VERIFICATION TESTING AND DESIGN PROCEDURE FOR FRP GRID REINFORCED CONCRETE SLABS by Jeffrey J (Civil Engineering) at the UNIVERSITY OF WISCONSIN-MADISON 2009 #12;2 VERIFICATION TESTING AND DESIGN that can be positioned quickly. Initial testing on three dimensional fiber reinforced polymer grids has led

Bank, Lawrence C.

362

Comparative Application of Real-Time Verification Methods to an Automotive Architecture  

E-Print Network [OSTI]

Comparative Application of Real-Time Verification Methods to an Automotive Architecture Steffen especially to distributed automotive architectures. The high connectivity of different control units forms approaches for the verification of real-time behavior of an automotive architecture are compared. Two tools

Ulm, Universität

363

Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks  

E-Print Network [OSTI]

1 Discovery and Verification of Neighbor Positions in Mobile Ad Hoc Networks Marco Fiore, Member Papadimitratos, Member, IEEE Abstract--A growing number of ad hoc networking protocols and location verification, mobile ad hoc networks, vehicular networks. I. INTRODUCTION Location awareness has become

Paris-Sud XI, Université de

364

Comments for A Conference on Verification in the 21st Century  

SciTech Connect (OSTI)

The author offers 5 points for the discussion of Verification and Technology: (1) Experience with the implementation of arms limitation and arms reduction agreements confirms that technology alone has never been relied upon to provide effective verification. (2) The historical practice of verification of arms control treaties between Cold War rivals may constrain the cooperative and innovative use of technology for transparency, veification and confidence building in the future. (3) An area that has been identified by many, including the US State Department and NNSA as being rich for exploration for potential uses of technology for transparency and verification is information and communications technology (ICT). This includes social media, crowd-sourcing, the internet of things, and the concept of societal verification, but there are issues. (4) On the issue of the extent to which verification technologies are keeping pace with the demands of future protocols and agrements I think the more direct question is ''are they effective in supporting the objectives of the treaty or agreement?'' In this regard it is important to acknowledge that there is a verification grand challenge at our doorstep. That is ''how does one verify limitations on nuclear warheads in national stockpiles?'' (5) Finally, while recognizing the daunting political and security challenges of such an approach, multilateral engagement and cooperation at the conceptual and technical levels provides benefits for addressing future verification challenges.

Doyle, James E. [Los Alamos National Laboratory

2012-06-12T23:59:59.000Z

365

Guidelines for Participation in the ETV ESTE Verification Test of Lead Paint Test Kits  

E-Print Network [OSTI]

Guidelines for Participation in the ETV ESTE Verification Test of Lead Paint Test Kits Revised 09/24/2009 The following guidelines have been set to establish the eligibility of individual test kits for participation in the ETV ESTE verification test of lead paint test kits. Test kits must conform to the following guidelines

366

Formal Verification of a Superscalar Execution Unit1 Kyle L. Nelson Alok Jain Randal E. Bryant  

E-Print Network [OSTI]

of the entire system. Our verifica- tion methodology, based on Symbolic Trajectory Evaluation, is able to bridge not provide a rigorous methodology for subsystem verification. Our verification methodology is able to bridge funded by Semiconductor Research Corporation #96-DC- 068 Permission to make digital/hard copy of all

Bryant, Randal E.

367

Formal Verification of a Superscalar Execution Unit 1 Kyle L. Nelson Alok Jain Randal E. Bryant  

E-Print Network [OSTI]

of the entire system. Our verifica≠ tion methodology, based on Symbolic Trajectory Evaluation, is able to bridge not provide a rigorous methodology for subsystem verification. Our verification methodology is able to bridge funded by Semiconductor Research Corporation #96≠DC≠ 068 Permission to make digital/hard copy of all

Bryant, Randal E.

368

Formal Verification of CHP Specifications with CADP, Illustration on an Asynchronous Network-on-Chip  

E-Print Network [OSTI]

Formal Verification of CHP Specifications with CADP, Illustration on an Asynchronous Network of the Presentation · Introduction · Translation from CHP to LOTOS · CADP toolbox overview · Verification of ANOC Context & Objective process calculus CHP Petri nets process calculus LOTOS (CEA/Leti) translation

Joseph Fourier Grenoble-I, Université

369

Biometric classifier update using online learning: A case study in near infrared face verification  

E-Print Network [OSTI]

Biometric classifier update using online learning: A case study in near infrared face verification 2010 Accepted 26 January 2010 Keywords: Biometrics Online learning Support vector machine Near infrared of the proposed online learning strategy is validated in a near infrared face verification application involving

Ross, Arun Abraham

370

Using Sparse Representation for Fish Recognition and Verification in Real World Observation  

E-Print Network [OSTI]

Using Sparse Representation for Fish Recognition and Verification in Real World Observation Yi, Hsinchu, Taiwan Abstract - The purpose of this paper is to present an innovated fish recognition and verification method suited for the real world automatic underwater fish observation. Based on the fish

Chen, Chaur-Chin

371

A Verification Framework for FBD based Software in Nuclear Power Plants Junbeom Yoo  

E-Print Network [OSTI]

A Verification Framework for FBD based Software in Nuclear Power Plants Junbeom Yoo Div, conducted using a nuclear power plant shutdown system being developed in Korea, demonstrated in nuclear power plant's reactor protection systems. The software verification framework uses two different

372

An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration  

E-Print Network [OSTI]

An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration J. L the success of geologic carbon sequestration projects. To detect subtle CO2 leakage signals, we present), An improved strategy to detect CO2 leakage for verification of geologic carbon sequestration, Geophys. Res

Hilley, George

373

ICDF Complex Waste Profile and Verification Sample Guidance  

SciTech Connect (OSTI)

This guidance document will assist waste generators who characterize waste streams destined for disposal at the Idaho Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) Disposal Facility (ICDF) Complex. The purpose of this document is to develop a conservative but appropriate way to (1) characterize waste for entry into the ICDF; (2) ensure compliance with the waste acceptance criteria; and (3) facilitate disposal at the ICDF landfill or evaporation pond. In addition, this document will establish the waste verification process used by ICDF personnel to ensure that untreated waste meets applicable ICDF acceptance limits

W. M. Heileson

2006-10-01T23:59:59.000Z

374

Cleanup Verification Package for the 118-F-1 Burial Ground  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action for the 118-F-1 Burial Ground on the Hanford Site. This burial ground is a combination of two locations formerly called Minor Construction Burial Ground No. 2 and Solid Waste Burial Ground No. 2. This waste site received radioactive equipment and other miscellaneous waste from 105-F Reactor operations, including dummy elements and irradiated process tubing; gun barrel tips, steel sleeves, and metal chips removed from the reactor; filter boxes containing reactor graphite chips; and miscellaneous construction solid waste.

E. J. Farris and H. M. Sulloway

2008-01-10T23:59:59.000Z

375

Digital data storage systems, computers, and data verification methods  

DOE Patents [OSTI]

Digital data storage systems, computers, and data verification methods are provided. According to a first aspect of the invention, a computer includes an interface adapted to couple with a dynamic database; and processing circuitry configured to provide a first hash from digital data stored within a portion of the dynamic database at an initial moment in time, to provide a second hash from digital data stored within the portion of the dynamic database at a subsequent moment in time, and to compare the first hash and the second hash.

Groeneveld, Bennett J.; Austad, Wayne E.; Walsh, Stuart C.; Herring, Catherine A.

2005-12-27T23:59:59.000Z

376

Design verification and cold-flow modeling test report  

SciTech Connect (OSTI)

This report presents a compilation of the following three test reports prepared by TRW for Alaska Industrial Development and Export Authority (AIDEA) as part of the Healy Clean Coal Project, Phase 1 Design of the TRW Combustor and Auxiliary Systems, which is co-sponsored by the Department of Energy under the Clean Coal Technology 3 Program: (1) Design Verification Test Report, dated April 1993, (2) Combustor Cold Flow Model Report, dated August 28, 1992, (3) Coal Feed System Cold Flow Model Report, October 28, 1992. In this compilation, these three reports are included in one volume consisting of three parts, and TRW proprietary information has been excluded.

Not Available

1993-07-01T23:59:59.000Z

377

Become an SEP Verification Body | Department of Energy  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative FuelsBSCmemo.pdf BSCmemo.pdf BSCmemo.pdf More DocumentsEnergy ManagementVerification

378

Transforming PLC Programs into Formal Models for Verification Purposes  

E-Print Network [OSTI]

Most of CERNís industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

Darvas, D; Blanco, E

2013-01-01T23:59:59.000Z

379

Data Packages for the Hanford Immobilized Low Activity Tank Waste Performance Assessment 2001 Version [SEC 1 THRU 5  

SciTech Connect (OSTI)

Data package supporting the 2001 Immobilized Low-Activity Waste Performance Analysis. Geology, hydrology, geochemistry, facility, waste form, and dosimetry data based on recent investigation are provided. Verification and benchmarking packages for selected software codes are provided.

MANN, F.M.

2000-03-02T23:59:59.000Z

380

INSTALLATION CERTIFICATE CF-6R-MECH-26-HERS Refrigerant Charge Verification -Alternate Measurement Procedure (Page 1 of 2)  

E-Print Network [OSTI]

INSTALLATION CERTIFICATE CF-6R-MECH-26-HERS Refrigerant Charge Verification - Alternate Measurement are specified in Reference Residential Appendix RA3.2. If refrigerant charge verification is required-MECH-26-HERS Refrigerant Charge Verification - Alternate Measurement Procedure (Page 2 of 2) Site Address

Note: This page contains sample records for the topic "activities verification checklist" 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

TRU waste certification and TRUPACT-2 payload verification  

SciTech Connect (OSTI)

The Waste Isolation Pilot Plant (WIPP) established a policy that requires each waste shipper to verify that all waste shipments meet the requirements of the Waste Acceptance Criteria (WAC) prior to being shipped. This verification provides assurance that transuranic (TRU) wastes meet the criteria while still retained in a facility where discrepancies can be immediately corrected. Each Department of Energy (DOE) TRU waste facility planning to ship waste to the Waste Isolation Pilot Plant (WIPP) is required to develop and implement a specific program including Quality Assurance (QA) provisions to verify that waste is in full compliance with WIPP's WAC. This program is audited by a composite DOE and contractor audit team prior to granting the facility permission to certify waste. During interaction with the Nuclear Regulatory Commission (NRC) on payload verification for shipping in TRUPACT-II, a similar system was established by DOE. The TRUPACT-II Safety Analysis Report (SAR) contains the technical requirements and physical and chemical limits that payloads must meet (like the WAC). All shippers must plan and implement a payload control program including independent QA provisions. A similar composite audit team will conduct preshipment audits, frequent subsequent audits, and operations inspections to verify that all TRU waste shipments in TRUPACT-II meet the requirements of the Certificate of Compliance issued by the NRC which invokes the SAR requirements. 1 fig.

Hunter, E.K. (USDOE Albuquerque Operations Office, Carlsbad, NM (USA). Waste Isolation Pilot Plant Project Office); Johnson, J.E. (Westinghouse Electric Corp., Carlsbad, NM (USA). Waste Isolation Div.)

1990-01-01T23:59:59.000Z

382

An evaluation of the management system verification pilot at Hanford  

SciTech Connect (OSTI)

The Chemical Management System (CMS), currently under development at Hanford, was used as the ''test program'' for pilot testing the value added aspects of the Chemical Manufacturers Association's (CMA) Management Systems Verification (MSV) process. The MSV process, which was developed by CMA's member chemical companies specifically as a tool to assist in the continuous improvement of environment, safety and health (ESH) performance, represents a commercial sector ''best practice'' for evaluating ESH management systems. The primary purpose of Hanford's MSV Pilot was to evaluate the applicability and utility of the MSV process in the Department of Energy (DOE) environment. However, because the Integrated Safety Management System (ISMS) is the framework for ESH management at Hanford and at all DOE sites, the pilot specifically considered the MSV process in the context of a possible future adjunct to Integrated Safety Management System Verification (ISMSV) efforts at Hanford and elsewhere within the DOE complex. The pilot involved the conduct of two-hour interviews with four separate panels of individuals with functional responsibilities related to the CMS including the Department of Energy Richland Operations (DOE-RL), Fluor Daniel Hanford (FDH) and FDH's major subcontractors (MSCS). A semi-structured interview process was employed by the team of three ''verifiers'' who directed open-ended questions to the panels regarding the development, integration and effectiveness of management systems necessary to ensure the sustainability of the CMS effort. An ''MSV Pilot Effectiveness Survey'' also was completed by each panel participant immediately following the interview.

BRIGGS, C.R.

1998-11-12T23:59:59.000Z

383

Exploring the Possible Use of Information Barriers for future Biological Weapons Verification Regimes  

SciTech Connect (OSTI)

This report describes a path forward for implementing information barriers in a future generic biological arms-control verification regime. Information barriers have become a staple of discussion in the area of arms control verification approaches for nuclear weapons and components. Information barriers when used with a measurement system allow for the determination that an item has sensitive characteristics without releasing any of the sensitive information. Over the last 15 years the United States (with the Russian Federation) has led on the development of information barriers in the area of the verification of nuclear weapons and nuclear components. The work of the US and the Russian Federation has prompted other states (e.g., UK and Norway) to consider the merits of information barriers for possible verification regimes. In the context of a biological weapons control verification regime, the dual-use nature of the biotechnology will require protection of sensitive information while allowing for the verification of treaty commitments. A major question that has arisen is whether - in a biological weapons verification regime - the presence or absence of a weapon pathogen can be determined without revealing any information about possible sensitive or proprietary information contained in the genetic materials being declared under a verification regime. This study indicates that a verification regime could be constructed using a small number of pathogens that spans the range of known biological weapons agents. Since the number of possible pathogens is small it is possible and prudent to treat these pathogens as analogies to attributes in a nuclear verification regime. This study has determined that there may be some information that needs to be protected in a biological weapons control verification regime. To protect this information, the study concludes that the Lawrence Livermore Microbial Detection Array may be a suitable technology for the detection of the genetic information associated with the various pathogens. In addition, it has been determined that a suitable information barrier could be applied to this technology when the verification regime has been defined. Finally, the report posits a path forward for additional development of information barriers in a biological weapons verification regime. This path forward has shown that a new analysis approach coined as Information Loss Analysis might need to be pursued so that a numerical understanding of how information can be lost in specific measurement systems can be achieved.

Luke, S J

2011-12-20T23:59:59.000Z

384

Independent verification of plutonium decontamination on Johnston Atoll (1992--1996)  

SciTech Connect (OSTI)

The Field Command, Defense Special Weapons Agency (FCDSWA) (formerly FCDNA) contracted Oak Ridge National Laboratory (ORNL) Environmental Technology Section (ETS) to conduct an independent verification (IV) of the Johnston Atoll (JA) Plutonium Decontamination Project by an interagency agreement with the US Department of Energy in 1992. The main island is contaminated with the transuranic elements plutonium and americium, and soil decontamination activities have been ongoing since 1984. FCDSWA has selected a remedy that employs a system of sorting contaminated particles from the coral/soil matrix, allowing uncontaminated soil to be reused. The objective of IV is to evaluate the effectiveness of remedial action. The IV contractor`s task is to determine whether the remedial action contractor has effectively reduced contamination to levels within established criteria and whether the supporting documentation describing the remedial action is adequate. ORNL conducted four interrelated tasks from 1992 through 1996 to accomplish the IV mission. This document is a compilation and summary of those activities, in addition to a comprehensive review of the history of the project.

Wilson-Nichols, M.J.; Wilson, J.E.; McDowell-Boyer, L.M.; Davidson, J.R.; Egidi, P.V.; Coleman, R.L.

1998-05-01T23:59:59.000Z

385

Sandia technology. Volume 13, number 2 Special issue : verification of arms control treaties.  

SciTech Connect (OSTI)

Nuclear deterrence, a cornerstone of US national security policy, has helped prevent global conflict for over 40 years. The DOE and DoD share responsibility for this vital part of national security. The US will continue to rely on nuclear deterrence for the foreseeable future. In the late 1950s, Sandia developed satellite-borne nuclear burst detection systems to support the treaty banning atmospheric nuclear tests. This activity has continued to expand and diversify. When the Non-Proliferation Treaty was ratified in 1970, we began to develop technologies to protect nuclear materials from falling into unauthorized hands. This program grew and now includes systems for monitoring the movement and storage of nuclear materials, detecting tampering, and transmiting sensitive data securely. In the late 1970s, negotiations to further limit underground nuclear testing were being actively pursued. In less than 18 months, we fielded the National Seismic Station, an unattended observatory for in-country monitoring of nuclear tests. In the mid-l980s, arms-control interest shifted to facility monitoring and on-site inspection. Our Technical On-site Inspection Facility is the national test bed for perimeter and portal monitoring technology and the prototype for the inspection portal that was recently installed in the USSR under the Intermediate-Range Nuclear Forces accord. The articles in the special issue of Sundiu Technology describe some of our current contributions to verification technology. This work supports the US policy to seek realistic arms control agreements while maintaining our national security.

Not Available

1989-03-01T23:59:59.000Z

386

EPA Air Docket A-98-49, Item II-B1-31; July 2014 Verification and Validation of WIPP Data Packages  

E-Print Network [OSTI]

Laboratories on May 13, 2014, and performed verification and validation of the americium and plutonium analysis

387

Inverse Load Calculation of Wind Turbine Support Structures - A Numerical Verification Using the Comprehensive Simulation Code FAST: Preprint (Revised)  

SciTech Connect (OSTI)

Physically measuring the dynamic responses of wind turbine support structures enables the calculation of the applied loads using an inverse procedure. In this process, inverse means deriving the inputs/forces from the outputs/responses. This paper presents results of a numerical verification of such an inverse load calculation. For this verification, the comprehensive simulation code FAST is used. FAST accounts for the coupled dynamics of wind inflow, aerodynamics, elasticity and turbine controls. Simulations are run using a 5-MW onshore wind turbine model with a tubular tower. Both the applied loads due to the instantaneous wind field and the resulting system responses are known from the simulations. Using the system responses as inputs to the inverse calculation, the applied loads are calculated, which in this case are the rotor thrust forces. These forces are compared to the rotor thrust forces known from the FAST simulations. The results of these comparisons are presented to assess the accuracy of the inverse calculation. To study the influences of turbine controls, load cases in normal operation between cut-in and rated wind speed, near rated wind speed and between rated and cut-out wind speed are chosen. The presented study shows that the inverse load calculation is capable of computing very good estimates of the rotor thrust. The accuracy of the inverse calculation does not depend on the control activity of the wind turbine.

Pahn, T.; Jonkman, J.; Rolges, R.; Robertson, A.

2012-11-01T23:59:59.000Z

388

REPORT OF THE WORKSHOP ON NUCLEAR FACILITY DESIGN INFORMATION EXAMINATION AND VERIFICATION FOR SAFEGUARDS  

SciTech Connect (OSTI)

Executive Summary The International Atomic Energy Agency (IAEA) implements nuclear safeguards and verifies countries are compliant with their international nuclear safeguards agreements. One of the key provisions in the safeguards agreement is the requirement that the country provide nuclear facility design and operating information to the IAEA relevant to safeguarding the facility, and at a very early stage. , This provides the opportunity for the IAEA to verify the safeguards-relevant features of the facility and to periodically ensure that those features have not changed. The national authorities (State System of Accounting for and Control of Nuclear Material - SSAC) provide the design information for all facilities within a country to the IAEA. The design information is conveyed using the IAEAís Design Information Questionnaire (DIQ) and specifies: (1) Identification of the facilityís general character, purpose, capacity, and location; (2) Description of the facilityís layout and nuclear material form, location, and flow; (3) Description of the features relating to nuclear material accounting, containment, and surveillance; and (4) Description of existing and proposed procedures for nuclear material accounting and control, with identification of nuclear material balance areas. The DIQ is updated as required by written addendum. IAEA safeguards inspectors examine and verify this information in design information examination (DIE) and design information verification (DIV) activities to confirm that the facility has been constructed or is being operated as declared by the facility operator and national authorities, and to develop a suitable safeguards approach. Under the Next Generation Safeguards Initiative (NGSI), the National Nuclear Security Administrations (NNSA) Office of Non-Proliferation and International Security identified the need for more effective and efficient verification of design information by the IAEA for improving international safeguards in the future. Consequently, the NNSA Office of International Regimes and Agreements (NA-243) sponsored a team of U.S. Department of Energy National Laboratory nuclear safeguards experts and technologists to conduct a workshop on methods and technologies for improving this activity, under the ASA-100 Advanced Safeguards Approaches Project. The workshop focused on reviewing and discussing the fundamental safeguards needs, and presented technology and/or methods that could potentially address those needs more effectively and efficiently. Conclusions and Recommendations for technology to enhance the performance of DIV inspections are presented by the workshop team.

Richard Metcalf; Robert Bean

2009-10-01T23:59:59.000Z

389

Verification and validation of the maximum entropy method for reconstructing neutron flux, with MCNP5, Attila-7.1.0 and the GODIVA experiment  

SciTech Connect (OSTI)

Verification and validation of reconstructed neutron flux based on the maximum entropy method is presented in this paper. The verification is carried out by comparing the neutron flux spectrum from the maximum entropy method with Monte Carlo N Particle 5 version 1.40 (MCNP5) and Attila-7.1.0-beta (Attila). A spherical 100% 235U critical assembly is modeled as the test case to compare the three methods. The verification error range for the maximum entropy method is 15Ė21% where MCNP5 is taken to be the comparison standard. Attila relative error for the critical assembly is 20Ė35%. Validation is accomplished by comparing a neutron flux spectrum that is back calculated from foil activation measurements performed in the GODIVA experiment (GODIVA). The error range of the reconstructed flux compared to GODIVA is 0Ė10%. The error range of the neutron flux spectrum from MCNP5 compared to GODIVA is 0Ė20% and the Attila error range compared to the GODIVA is 0Ė35%. The maximum entropy method is shown to be a fast reliable method, compared to either Monte Carlo methods (MCNP5) or 30 multienergy group methods (Attila) and with respect to the GODIVA experiment.

Douglas S. Crawford; Tony Saad; Terry A. Ring

2013-03-01T23:59:59.000Z

390

Guidance manual for conducting technology demonstration activities  

SciTech Connect (OSTI)

This demonstration guidance manual has been prepared to assist Martin Marietta Energy Systems, Inc. (Energy Systems), staff in conducting demonstrations. It is prepared in checklist style to facilitate its use and assumes that Energy Systems personnel have project management responsibility. In addition to a detailed step-by-step listing of procedural considerations, a general checklist, logic flow diagram, and several examples of necessary plans are included to assist the user in developing an understanding of the many complex activities required to manage technology demonstrations. Demonstrations are pilot-scale applications of often innovative technologies to determine the commercial viability of the technologies to perform their designed function. Demonstrations are generally conducted on well-defined problems for which existing technologies or processes are less than satisfactory in terms of effectiveness, cost, and/or regulatory compliance. Critically important issues in demonstration management include, but are not limited to, such factors as communications with line and matrix management and with the US Department of Energy (DOE) and Energy Systems staff responsible for management oversight, budgetary and schedule requirements, regulatory compliance, and safety.

Jolley, R.L.; Morris, M.I.; Singh, S.P.N.

1991-12-01T23:59:59.000Z

391

Independent Verification Final Summary Report for the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee  

SciTech Connect (OSTI)

The primary objective of the independent verification was to determine if BJC performed the appropriate actions to meet the specified ďhot spotĒ cleanup criteria of 500 picocuries per gram (pCi/g) uranium-238 (U-238) in surface soil. Specific tasks performed by the independent verification team (IVT) to satisfy this objective included: 1) performing radiological walkover surveys, and 2) collecting soil samples for independent analyses. The independent verification (IV) efforts were designed to evaluate radioactive contaminants (specifically U-238) in the exposed surfaces below one foot of the original site grade, given that the top one foot layer of soil on the site was removed in its entirety.

P.C. Weaver

2009-04-29T23:59:59.000Z

392

Battery Technology Life Verification Test Manual Revision 1  

SciTech Connect (OSTI)

The purpose of this Technology Life Verification Test (TLVT) Manual is to help guide developers in their effort to successfully commercialize advanced energy storage devices such as battery and ultracapacitor technologies. The experimental design and data analysis discussed herein are focused on automotive applications based on the United States Advanced Battery Consortium (USABC) electric vehicle, hybrid electric vehicle, and plug-in hybrid electric vehicle (EV, HEV, and PHEV, respectively) performance targets. However, the methodology can be equally applied to other applications as well. This manual supersedes the February 2005 version of the TLVT Manual (Reference 1). It includes criteria for statistically-based life test matrix designs as well as requirements for test data analysis and reporting. Calendar life modeling and estimation techniques, including a userís guide to the corresponding software tool is now provided in the Battery Life Estimator (BLE) Manual (Reference 2).

Jon P. Christophersen

2012-12-01T23:59:59.000Z

393

Review of Evaluation, Measurement and Verification Approaches Used to Estimate the Load Impacts and Effectiveness of Energy Efficiency Programs  

SciTech Connect (OSTI)

Public and private funding for end-use energy efficiency actions is expected to increase significantly in the United States over the next decade. For example, Barbose et al (2009) estimate that spending on ratepayer-funded energy efficiency programs in the U.S. could increase from $3.1 billion in 2008 to $7.5 and 12.4 billion by 2020 under their medium and high scenarios. This increase in spending could yield annual electric energy savings ranging from 0.58% - 0.93% of total U.S. retail sales in 2020, up from 0.34% of retail sales in 2008. Interest in and support for energy efficiency has broadened among national and state policymakers. Prominent examples include {approx}$18 billion in new funding for energy efficiency programs (e.g., State Energy Program, Weatherization, and Energy Efficiency and Conservation Block Grants) in the 2009 American Recovery and Reinvestment Act (ARRA). Increased funding for energy efficiency should result in more benefits as well as more scrutiny of these results. As energy efficiency becomes a more prominent component of the U.S. national energy strategy and policies, assessing the effectiveness and energy saving impacts of energy efficiency programs is likely to become increasingly important for policymakers and private and public funders of efficiency actions. Thus, it is critical that evaluation, measurement, and verification (EM&V) is carried out effectively and efficiently, which implies that: (1) Effective program evaluation, measurement, and verification (EM&V) methodologies and tools are available to key stakeholders (e.g., regulatory agencies, program administrators, consumers, and evaluation consultants); and (2) Capacity (people and infrastructure resources) is available to conduct EM&V activities and report results in ways that support program improvement and provide data that reliably compares achieved results against goals and similar programs in other jurisdictions (benchmarking). The National Action Plan for Energy Efficiency (2007) presented commonly used definitions for EM&V in the context of energy efficiency programs: (1) Evaluation (E) - The performance of studies and activities aimed at determining the effects and effectiveness of EE programs; (2) Measurement and Verification (M&V) - Data collection, monitoring, and analysis associated with the calculation of gross energy and demand savings from individual measures, sites or projects. M&V can be a subset of program evaluation; and (3) Evaluation, Measurement, and Verification (EM&V) - This term is frequently seen in evaluation literature. EM&V is a catchall acronym for determining both the effectiveness of program designs and estimates of load impacts at the portfolio, program and project level. This report is a scoping study that assesses current practices and methods in the evaluation, measurement and verification (EM&V) of ratepayer-funded energy efficiency programs, with a focus on methods and practices currently used for determining whether projected (ex-ante) energy and demand savings have been achieved (ex-post). M&V practices for privately-funded energy efficiency projects (e.g., ESCO projects) or programs where the primary focus is greenhouse gas reductions were not part of the scope of this study. We identify and discuss key purposes and uses of current evaluations of end-use energy efficiency programs, methods used to evaluate these programs, processes used to determine those methods; and key issues that need to be addressed now and in the future, based on discussions with regulatory agencies, policymakers, program administrators, and evaluation practitioners in 14 states and national experts in the evaluation field. We also explore how EM&V may evolve in a future in which efficiency funding increases significantly, innovative mechanisms for rewarding program performance are adopted, the role of efficiency in greenhouse gas mitigation is more closely linked, and programs are increasingly funded from multiple sources often with multiple program administrators and in

Messenger, Mike; Bharvirkar, Ranjit; Golemboski, Bill; Goldman, Charles A.; Schiller, Steven R.

2010-04-14T23:59:59.000Z

394

VAMOS: The verification and monitoring options study: Current research options for in-situ monitoring and verification of contaminant remediation and containment within the vadose zone  

SciTech Connect (OSTI)

The Verification and Monitoring Options Study Project (VAMOS) was established to identify high-priority options for future vadose-zone environmental research in the areas of in-situ remediation monitoring, post-closure monitoring, and containment emplacement and verification monitoring. VAMOS examined projected needs not currently being met with applied technology in order to develop viable monitoring and verification research options. The study emphasized a compatible systems approach to reinforce the need for utilizing compatible components to provide user friendly site monitoring systems. To identify the needs and research options related to vadose-zone environmental monitoring and verification, a literature search and expert panel forums were conducted. The search included present drivers for environmental monitoring technology, technology applications, and research efforts. The forums included scientific, academic, industry, and regulatory environmental professionals as well as end users of environmental technology. The experts evaluated current and future monitoring and verification needs, methods for meeting these needs, and viable research options and directions. A variety of high-priority technology development, user facility, and technology guidance research options were developed and presented as an outcome of the literature search and expert panel forums.

Betsill, J.D. [Sandia National Labs., Albuquerque, NM (United States); Gruebel, R.D. [Tech Reps., Inc., Albuquerque, NM (United States)

1995-09-01T23:59:59.000Z

395

FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING  

E-Print Network [OSTI]

FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY captured by existing reliability modeling tools. In this paper, we introduce a new reliability modeling tool, called dynamic reliability block diagrams (DRBD), for modeling dynamic relationships between

Xu, Haiping

396

Energy Efficiency and Conservation Loan Program Webinar Series: Evaluation, Monitoring, & Verification  

Broader source: Energy.gov [DOE]

This webinar will cover the basics of Evaluation, Monitoring, & Verification (EM&V). Attendees will learn key concepts, an overview of the full process, and EM&V framework.

397

Controllable needle-free injection : development and verification of a novel device  

E-Print Network [OSTI]

Current needle-free injection technology is based on actuation via compressed springs or gas. These devices are not easy to modify for different depths of injections. This thesis describes the design and verification of a ...

Wendell, Dawn M. (Dawn Marie), 1983-

2006-01-01T23:59:59.000Z

398

SciTech Connect: Verification of the New FAST v8 Capabilities...  

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

of the New FAST v8 Capabilities for the Modeling of Fixed-Bottom Offshore Wind Turbines: Preprint Citation Details In-Document Search Title: Verification of the New FAST...

399

Method and computer product to increase accuracy of time-based software verification for sensor networks  

DOE Patents [OSTI]

A recursive verification protocol to reduce the time variance due to delays in the network by putting the subject node at most one hop from the verifier node provides for an efficient manner to test wireless sensor nodes. Since the software signatures are time based, recursive testing will give a much cleaner signal for positive verification of the software running on any one node in the sensor network. In this protocol, the main verifier checks its neighbor, who in turn checks its neighbor, and continuing this process until all nodes have been verified. This ensures minimum time delays for the software verification. Should a node fail the test, the software verification downstream is halted until an alternative path (one not including the failed node) is found. Utilizing techniques well known in the art, having a node tested twice, or not at all, can be avoided.

Foo Kune, Denis (Saint Paul, MN); Mahadevan, Karthikeyan (Mountain View, CA)

2011-01-25T23:59:59.000Z

400

Computer-Aided Verification: How to Trust a Machine with Your Life  

E-Print Network [OSTI]

are used to control all sorts of devices -- from washing machines and microwave ovens to braking systems is formidable. The formal verification of a five-line algorithm can easily run into pages of dense mathematical

Pace, Gordon J.

Note: This page contains sample records for the topic "activities verification checklist" 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

Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant  

E-Print Network [OSTI]

1 Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department Email: vishnup@ece.cmu.edu Email: alokj@cadence.com Email: randy.bryant@cs.cmu.edu Abstract This paper

Bryant, Randal E.

402

Verification of Floating-Point Adders Yirng-An Chen and Randal E. Bryant  

E-Print Network [OSTI]

Verification of Floating-Point Adders ° Yirng-An Chen and Randal E. Bryant yachen+@cs.cmu.edu, bryant+@cs.cmu.edu Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, PA 15213 Abstract

Bryant, Randal E.

403

Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant  

E-Print Network [OSTI]

Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

Bryant, Randal E.

404

Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant  

E-Print Network [OSTI]

Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

Bryant, Randal E.

405

Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1  

E-Print Network [OSTI]

Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1, The Netherlands a.khabbaz.saberi@student.tue.nl, j.f.groote@tue.nl, s.keshishzadeh@tue.nl Abstract

Groote, Jan Friso

406

Robust audio-visual person verification using Web-camera video  

E-Print Network [OSTI]

This thesis examines the challenge of robust audio-visual person verification using data recorded in multiple environments with various lighting conditions, irregular visual backgrounds, and diverse background noise. ...

Schultz, Daniel (Daniel T.)

2006-01-01T23:59:59.000Z

407

CCP-TP-001, Rev. 11 CCP Project level Data Validation and Verification  

E-Print Network [OSTI]

-Line Headspace Gas Analysis (HSG) Visual Examination (VE) X Nondestructive Examination (NDE) Nondestructive Assay-10b(2) Verification Source: Drum Data Form 12. NDE data are complete and acceptable Container based

408

Development and experimental verification of a parametric model of an automotive damper  

E-Print Network [OSTI]

. displacement plots for examination. A shock dynamometer was used to correlate the model to real damper data for verification of accuracy. With a working model, components including the bleed orifice, piston orifice, and compression and rebound shims which were...

Rhoades, Kirk Shawn

2006-10-30T23:59:59.000Z

409

Better Buildings Alliance, Advanced Rooftop Unit Campaign: Rooftop Unit Measurement and Verification (Fact Sheet)  

SciTech Connect (OSTI)

This document provides facility managers and building owners an introduction to measurement and verification (M&V) methods to estimate energy and cost savings of rooftop units replacement or retrofit projects to estimate paybacks or to justify future projects.

Not Available

2014-09-01T23:59:59.000Z

410

Independent Verification Survey Report for the Operable Unit-1 Miamisburg Closure Project, Miamisburg, OH  

SciTech Connect (OSTI)

The objectives of the independent verification survey were to confirm that remedial actions have been effective in meeting established release criteria and that documentation accurately and adequately describes the current radiological and chemical conditions of the MCP site.

Weaver, P.

2008-03-17T23:59:59.000Z

411

High accuracy verification of a correlated-photon-based method for determining photon-  

E-Print Network [OSTI]

with Correlated Visible Photons: Technique Verification and Measurement Uncertainty," Metrologia 32, 479­483 (1995," Metrologia 37, 625­628 (2000). #77187 - $15.00 USD Received 22 November 2006; revised 26 January 2007

Migdall, Alan

412

Global climate change mitigation and sustainable forest management--The challenge of monitoring and verification  

SciTech Connect (OSTI)

In this paper, sustainable forest management is discussed within the historical and theoretical framework of the sustainable development debate. The various criteria and indicators for sustainable forest management put forth by different institutions are critically explored. Specific types of climate change mitigation policies/projects in the forest sector are identified and examined in the light of the general criteria for sustainable forest management. Areas of compatibility and contradiction between the climate mitigation objectives and the minimum criteria for sustainable forest management are identified and discussed. Emphasis is put on the problems of monitoring and verifying carbon benefits associated with such projects given their impacts on pre-existing policy objectives on sustainable forest management. The implications of such policy interactions on assignment of carbon credits from forest projects under Joint Implementation/Activities Implemented Jointly initiatives are discussed. The paper concludes that a comprehensive monitoring and verification regime must include an impact assessment on the criteria covered under other agreements such as the Biodiversity and/or Desertification Conventions. The actual carbon credit assigned to a specific project should at least take into account the negative impacts on the criteria for sustainable forest management. The value of the impacts and/or the procedure to evaluate them need to be established by interested parties such as the Councils of the respective Conventions.

Makundi, Willy R.

1997-12-31T23:59:59.000Z

413

A proposed methodology for computational fluid dynamics code verification, calibration, and validation  

SciTech Connect (OSTI)

Verification, calibration, and validation (VCV) of Computational Fluid Dynamics (CFD) codes is an essential element of the code development process. The exact manner in which code VCV activities are planned and conducted, however, is critically important. It is suggested that the way in which code validation, in particular, is often conducted--by comparison to published experimental data obtained for other purposes--is in general difficult and unsatisfactory, and that a different approach is required. This paper describes a proposed methodology for CFD code VCV that meets the technical requirements and is philosophically consistent with code development needs. The proposed methodology stresses teamwork and cooperation between code developers and experimentalists throughout the VCV process, and takes advantage of certain synergisms between CFD and experiment. A novel approach to uncertainty analysis is described which can both distinguish between and quantify various types of experimental error, and whose attributes are used to help define an appropriate experimental design for code VCV experiments. The methodology is demonstrated with an example of laminar, hypersonic, near perfect gas, 3-dimensional flow over a sliced sphere/cone of varying geometrical complexity.

Aeschliman, D.P.; Oberkampf, W.L.; Blottner, F.G.

1995-07-01T23:59:59.000Z

414

Independent Verification and Validation Of SAPHIRE 8 Software Configuration Management Plan Project Number: N6423 U.S. Nuclear Regulatory Commission  

SciTech Connect (OSTI)

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE configuration management is to assess the activities that results in the process of identifying and defining the baselines associated with the SAPHIRE software product; controlling the changes to baselines and release of baselines throughout the life cycle; recording and reporting the status of baselines and the proposed and actual changes to the baselines; and verifying the correctness and completeness of baselines.. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

Kent Norris

2009-10-01T23:59:59.000Z

415

Independent Verification and Validation Of SAPHIRE 8 Software Configuration Management Plan Project Number: N6423 U.S. Nuclear Regulatory Commission  

SciTech Connect (OSTI)

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE configuration management is to assess the activities that results in the process of identifying and defining the baselines associated with the SAPHIRE software product; controlling the changes to baselines and release of baselines throughout the life cycle; recording and reporting the status of baselines and the proposed and actual changes to the baselines; and verifying the correctness and completeness of baselines.. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

Kent Norris

2010-02-01T23:59:59.000Z

416

Independent Verification and Validation Of SAPHIRE 8 Software Quality Assurance Plan Project Number: N6423 U.S. Nuclear Regulatory Commission  

SciTech Connect (OSTI)

This report provides an evaluation of the Software Quality Assurance Plan. The Software Quality Assurance Plan is intended to ensure all actions necessary for the software life cycle; verification and validation activities; documentation and deliverables; project management; configuration management, nonconformance reporting and corrective action; and quality assessment and improvement have been planned and a systematic pattern of all actions necessary to provide adequate confidence that a software product conforms to established technical requirements; and to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

Kent Norris

2010-02-01T23:59:59.000Z

417

TomoTherapy MLC verification using exit detector data  

SciTech Connect (OSTI)

Purpose: Treatment delivery verification (DV) is important in the field of intensity modulated radiation therapy (IMRT). While IMRT and image guided radiation therapy (IGRT), allow us to create more conformal plans and enables the use of tighter margins, an erroneously executed plan can have detrimental effects on the treatment outcome. The purpose of this study is to develop a DV technique to verify TomoTherapy's multileaf collimator (MLC) using the onboard mega-voltage CT detectors. Methods: The proposed DV method uses temporal changes in the MVCT detector signal to predict actual leaf open times delivered on the treatment machine. Penumbra and scattered radiation effects may produce confounding results when determining leaf open times from the raw detector data. To reduce the impact of the effects, an iterative, Richardson-Lucy (R-L) deconvolution algorithm is applied. Optical sensors installed on each MLC leaf are used to verify the accuracy of the DV technique. The robustness of the DV technique is examined by introducing different attenuation materials in the beam. Additionally, the DV technique has been used to investigate several clinical plans which failed to pass delivery quality assurance (DQA) and was successful in identifying MLC timing discrepancies as the root cause. Results: The leaf open time extracted from the exit detector showed good agreement with the optical sensors under a variety of conditions. Detector-measured leaf open times agreed with optical sensor data to within 0.2 ms, and 99% of the results agreed within 8.5 ms. These results changed little when attenuation was added in the beam. For the clinical plans failing DQA, the dose calculated from reconstructed leaf open times played an instrumental role in discovering the root-cause of the problem. Throughout the retrospective study, it is found that the reconstructed dose always agrees with measured doses to within 1%. Conclusions: The exit detectors in the TomoTherapy treatment systems can provide valuable information about MLC behavior during delivery. A technique to estimate the TomoTherapy binary MLC leaf open time from exit detector signals is described. This technique is shown to be both robust and accurate for delivery verification.

Chen Quan; Westerly, David; Fang Zhenyu; Sheng, Ke; Chen Yu [TomoTherapy Inc., 1240 Deming Way, Madison, Wisconsin 53717 (United States); Department of Radiation Oncology, University of Colorado School of Medicine, Aurora, Colorado 80045 (United States); Xinghua Cancer Hospital, Xinghua, Jiangsu 225700 (China); Department of Radiation Oncology, University of California-Los Angeles, Los Angeles, California 90095 (United States); TomoTherapy Inc., 1240 Deming Way, Madison, Wisconsin 53717 (United States)

2012-01-15T23:59:59.000Z

418

Comment submitted by the Air Conditioning, Heating and Refrigeration Institute (AHRI) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the Air Conditioning, Heating and Refrigeration Institute (AHRI) regarding the Energy Star Verification Testing Program

419

Comment submitted by the Association of Home Appliance Manufacturers (AHAM) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the Association of Home Appliance Manufacturers (AHAM) regarding the Energy Star Verification Testing Program

420

Comment submitted by the North American Association of Food Equipment Manufacturers (NAFEM) regarding the Energy Star Verification Testing Program  

Broader source: Energy.gov [DOE]

This document is a comment submitted by the North American Association of Food Equipment Manufacturers (NAFEM) regarding the Energy Star Verification Testing Program

Note: This page contains sample records for the topic "activities verification checklist" 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

Modeling and Verification of Distributed Generation and Voltage Regulation Equipment for Unbalanced Distribution Power Systems; Annual Subcontract Report, June 2007  

SciTech Connect (OSTI)

This report summarizes the development of models for distributed generation and distribution circuit voltage regulation equipment for unbalanced power systems and their verification through actual field measurements.

Davis, M. W.; Broadwater, R.; Hambrick, J.

2007-07-01T23:59:59.000Z

422

INDEPENDENT VERIFICATION SURVEY OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT OUTSIDE AREAS BROOKHAVEN NATIONAL LABORATORY UPTON, NEW YORK  

SciTech Connect (OSTI)

5098-SR-03-0 FINAL REPORT- INDEPENDENT VERIFICATION SURVEY OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT OUTSIDE AREAS, BROOKHAVEN NATIONAL LABORATORY

P.C. Weaver

2010-12-15T23:59:59.000Z

423

LETTER REPORT INDEPENDENT VERIFICATION OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT FAN HOUSE, BUILDING 704 BNL  

SciTech Connect (OSTI)

5098-LR-01-0 -LETTER REPORT INDEPENDENT VERIFICATION OF THE HIGH FLUX BEAM REACTOR DECOMMISSIONING PROJECT FAN HOUSE, BUILDING 704 BROOKHAVEN NATIONAL LABORATORY

P.C. Weaver

2010-10-22T23:59:59.000Z

424

Methodology for computational fluid dynamics code verification/validation  

SciTech Connect (OSTI)

The issues of verification, calibration, and validation of computational fluid dynamics (CFD) codes has been receiving increasing levels of attention in the research literature and in engineering technology. Both CFD researchers and users of CFD codes are asking more critical and detailed questions concerning the accuracy, range of applicability, reliability and robustness of CFD codes and their predictions. This is a welcomed trend because it demonstrates that CFD is maturing from a research tool to the world of impacting engineering hardware and system design. In this environment, the broad issue of code quality assurance becomes paramount. However, the philosophy and methodology of building confidence in CFD code predictions has proven to be more difficult than many expected. A wide variety of physical modeling errors and discretization errors are discussed. Here, discretization errors refer to all errors caused by conversion of the original partial differential equations to algebraic equations, and their solution. Boundary conditions for both the partial differential equations and the discretized equations will be discussed. Contrasts are drawn between the assumptions and actual use of numerical method consistency and stability. Comments are also made concerning the existence and uniqueness of solutions for both the partial differential equations and the discrete equations. Various techniques are suggested for the detection and estimation of errors caused by physical modeling and discretization of the partial differential equations.

Oberkampf, W.L.; Blottner, F.G.; Aeschliman, D.P.

1995-07-01T23:59:59.000Z

425

Uncertainty Estimation Improves Energy Measurement and Verification Procedures  

SciTech Connect (OSTI)

Implementing energy conservation measures in buildings can reduce energy costs and environmental impacts, but such measures cost money to implement so intelligent investment strategies require the ability to quantify the energy savings by comparing actual energy used to how much energy would have been used in absence of the conservation measures (known as the baseline energy use). Methods exist for predicting baseline energy use, but a limitation of most statistical methods reported in the literature is inadequate quantification of the uncertainty in baseline energy use predictions. However, estimation of uncertainty is essential for weighing the risks of investing in retrofits. Most commercial buildings have, or soon will have, electricity meters capable of providing data at short time intervals. These data provide new opportunities to quantify uncertainty in baseline predictions, and to do so after shorter measurement durations than are traditionally used. In this paper, we show that uncertainty estimation provides greater measurement and verification (M&V) information and helps to overcome some of the difficulties with deciding how much data is needed to develop baseline models and to confirm energy savings. We also show that cross-validation is an effective method for computing uncertainty. In so doing, we extend a simple regression-based method of predicting energy use using short-interval meter data. We demonstrate the methods by predicting energy use in 17 real commercial buildings. We discuss the benefits of uncertainty estimates which can provide actionable decision making information for investing in energy conservation measures.

Walter, Travis; Price, Phillip N.; Sohn, Michael D.

2014-05-14T23:59:59.000Z

426

Enrichment Assay Methods for a UF6 Cylinder Verification Station  

SciTech Connect (OSTI)

International Atomic Energy Agency (IAEA) inspectors currently perform periodic inspections at uranium enrichment plants to verify UF6 cylinder enrichment declarations. Measurements are typically performed with handheld high-resolution sensors on a sampling of cylinders taken to be representative of the facilityís entire cylinder inventory. These enrichment assay methods interrogate only a small fraction of the total cylinder volume, and are time-consuming and expensive to execute for inspectors. Pacific Northwest National Laboratory (PNNL) is developing an unattended measurement system capable of automated enrichment measurements over the full volume of Type 30B and Type 48 cylinders. This Integrated Cylinder Verification System (ICVS) could be located at key measurement points to positively identify each cylinder, measure its mass and enrichment, store the collected data in a secure database, and maintain continuity of knowledge on measured cylinders until IAEA inspector arrival. The focus of this paper is the development of nondestructive assay (NDA) methods that combine ďtraditionalĒ enrichment signatures (e.g. 185-keV emission from U-235) and more-penetrating ďnon-traditionalĒ signatures (e.g. high-energy neutron-induced gamma rays spawned primarily from U-234 alpha emission) collected by medium-resolution gamma-ray spectrometers (i.e. sodium iodide or lanthanum bromide). The potential of these NDA methods for the automated assay of feed, tail and product cylinders is explored through MCNP modeling and with field measurements on a cylinder population ranging from 0.2% to 5% in U-235 enrichment.

Smith, Leon E.; Jordan, David V.; Misner, Alex C.; Mace, Emily K.; Orton, Christopher R.

2010-11-30T23:59:59.000Z

427

Cold fusion verification. Final report for period ending 1989  

SciTech Connect (OSTI)

The objective of this work to verify and reproduce experimental observations of Cold Nuclear Fusion (CNF), as originally reported in 1989. The method was to start with the original report and add such additional information as became available to build a set of operational electrolytic CNF cells. Verification was to be achieved by first observing cells for neutron production, and for those cells that demonstrated a nuclear effect, careful calorimetric measurements were planned. The authors concluded, after laboratory experience, reading published work, talking with others in the field, and attending conferences, that CNF probably is chimera and will go the way of N-rays and polywater. The neutron detector used for these tests was a completely packaged unit built into a metal suitcase that afforded electrostatic shielding for the detectors and self-contained electronics. It was battery-powered, although it was on charge for most of the long tests. The sensor element consists of He detectors arranged in three independent layers in a solid moderating block. The count from each of the three layers as well as the sum of all the detectors were brought out and recorded separately. The neutron measurements were made with both the neutron detector and the sample tested in a cave made of thick moderating material that surrounded the two units on the sides and bottom.

North, M.H.; Mastny, G.F.; Wesley, E.J.

1991-03-01T23:59:59.000Z

428

Simulated Verification of Fuel Element Inventory in a Small Reactor Core Using the Nuclear Materials Identification System (NMIS)  

SciTech Connect (OSTI)

The International Panel on Climate Change projects that by 2050 the world energy demand may double. Although the primary focus for new nuclear power plants in industrialized nations is on large plants in the 1000-1600 MWe range, there is an increasing demand for small and medium reactors (SMRs). About half of the innovative SMR concepts are for small (<300 MWe) reactors with a 5-30 year life without on-site refueling. This type of reactor is also known as a battery-type reactor. These reactors are particularly attractive to countries with small power grids and for non-electrical purposes such as heating, hydrogen production, and seawater desalination. Traditionally, this type of reactor has been used in a nautical propulsion role. This type of reactor is designed as a permanently sealed unit to prevent the diversion of the uranium in the core by the user. However, after initial fabrication it will be necessary to verify that the newly fabricated reactor core contains the quantity of uranium that initially entered the fuel fabrication plant. In most instances, traditional inspection techniques can be used to perform this verification, but in certain situations the core design will be considered sensitive. Non-intrusive verification techniques must be utilized in these situations. The Nuclear Materials Identification System (NMIS) with imaging uses active interrogation and a fast time correlation processor to characterize fissile material. The MCNP-PoliMi computer code was used to simulate NMIS measurements of a small, sealed reactor core. Because most battery-type reactor designs are still in the early design phase, a more traditional design based on a Russian icebreaker core was used in the simulations. These simulations show how the radiography capabilities of the NMIS could be used to detect the diversion of fissile material by detecting void areas in the assembled core where fuel elements have been removed.

Grogan, Brandon R [ORNL; Mihalczo, John T [ORNL

2009-01-01T23:59:59.000Z

429

The thermionic fuel element verification program: Technical accomplishments and goals  

SciTech Connect (OSTI)

The goal of the Thermionic Fuel Element Verification Program (TFEVP) is to demonstrate the technological readiness of a thermionic fuel element in a thermionic reactor having an electric power output in the 0.5- to 5-MW(electric) range and a full-power life of 7 yr. The TFEVP has made significant progress in developing components capable of withstanding the required neutron fluence (4 x 10[sup 22] n/cm[sup 2], E > 0. 1 MeV) and the required burnup (5.3%) of a 2-MW(electric) system. Technology developed under the TFEVP also supports the 5- to 40-kW(electric) thermionic systems currently of interest to the Strategic Defense Initiative Organization and the US Air Force. The fast-neutron flux in certain 5- to 40-kW(electric) systems is up to a factor of 7 less than that in 0.5- to 5-MW(electric) systems. Component technology that has been developed for 0.5- to 5-MW(electric) systems will thus be suitable for use in long-life, high-performance, 5- to 40-kW(electric) systems. Components that are being developed by the TFEVP include insulator seals, sheath insulators, fueled emitters, cesium reservoirs, and inter- connective TFE components. In addition, the TFEVP has created a preliminary 2-MW(electric) system design and is currently evaluating converter performance under various conditions. Prototypical TFEs are also being tested. The TFEVP is developing accurate converter-performance models that are correlated to observed test data.

Houts, M.G. (Los Alamos National Lab., NM (United States)); Wharton, W.R. Jr. (Department of Energy, Germantown, MD (United States)); Begg, L.L. (General Atomics, San Diego, CA (United States)); Lawrence, L.A. (Westinghouse Hanford Company, Richland, WA (United States))

1993-01-01T23:59:59.000Z

430

The Joint Owners' Group Program on MOV Periodic Verification  

SciTech Connect (OSTI)

To address long-term motor operated valve (MOV) performance, the Babcock and Wilcox, Boiling Water Reactor, Combustion Engineering and Westinghouse Groups (B and WOG, BWROG, CEOG and WOG) teamed in 1997 to form the Joint Group (JOG) MOV Periodic Verification (PV) Program. This program is nearing completion, with 98 of the 103 operating U.S. reactor units participating. The goal of the program is to provide a justified approach for periodically testing MOVs, that addresses potential degradation. The program defines an interim approach that specifies periodic tests without flow and differential pressure (DP), at a frequency determined by the s risk significance and margin. To justify this approach, each participating plant is also DP testing 2 valves per unit. Each valve is tested three times over five years, with at least one year between tests. The data are evaluated jointly to confirm or adjust the initial guidance. The majority of the tests are complete and conclusions are coming into focus. For gate valves, when the valve factor is initially low, increases can occur between one test and a later test. One common way that the valve factor becomes low is disassembling and reassembling the valve. The data show that, following valve disassembly and re-assembly, the valve factor tends to be reduced, and it tends to increase in subsequent service. Outside of the valves disassembled and reassembled, some gate valves have low valve factors apparently because the valves are not stroked under DP conditions in service. For butterfly valves, there have been no observations of degradation in bearing friction coefficient. A few valves with bronze bearings in raw (untreated) water service have shown significant variations in friction, but they tend to be a mixture of increases and decreases with no pattern of degradation. Globe valves, both unbalanced and balanced, tend to show a constant valve factor with no indication of degradation. (authors)

Damerell, Paul S.; Spears, Todd A. [MPR Associates Inc., 140 Mustang Circle, Simpsonville, SC 29681 (United States)

2002-07-01T23:59:59.000Z

431

The EPRI/DOE Utility Wind Turbine Performance Verification Program  

SciTech Connect (OSTI)

In 1992, the Electric Power Research Institute (EPRI) and the US Department of Energy (DOE) initiated the Utility Wind Turbine Performance Verification Program (TVP). This paper provides an overview of the TVP, its purpose and goals, and the participating utility projects. Improved technology has significantly reduced the cost of energy from wind turbines since the early 1980s. In 1992, turbines were producing electricity for about $0.07--$0.09/kilowatt-hour (kWh) (at 7 m/s [16 mph sites]), compared with more than $0.30/kWh in 1980. Further technology improvements were expected to lower the cost of energy from wind turbines to $0.05/kWh. More than 17,000 wind turbines, totaling more than 1,500 MW capacity, were installed in the US, primarily in California and Hawaii. The better wind plants had availabilities above 95%, capacity factors exceeding 30%, and operation and maintenance costs of $0.01/kWh. However, despite improving technology, EPRI and DOE recognized that utility use of wind turbines was still largely limited to turbines installed in California and Hawaii during the 1980s. Wind resource assessments showed that other regions of the US, particularly the Midwest, had abundant wind resources. EPRI and DOE sought to provide a bridge from utility-grade turbine development programs under way to commercial purchases of the wind turbines. The TVP was developed to allow utilities to build and operate enough candidate turbines to gain statistically significant operating and maintenance data.

Calvert, S.; Goldman, P. [Department of Energy, Washington, DC (United States); DeMeo, E.; McGowin, C. [Electric Power Research Inst., Palo Alto, CA (United States); Smith, B.; Tromly, K. [National Renewable Energy Lab., Golden, CO (United States)

1997-01-01T23:59:59.000Z

432

Software Verification & Validation Report for the 244-AR Vault Interim Stabilization Ventilation System  

SciTech Connect (OSTI)

This document reports on the analysis, testing and conclusions of the software verification and validation for the 244-AR Vault Interim Stabilization ventilation system. Automation control system will use the Allen-Bradley software tools for programming and programmable logic controller (PLC) configuration. The 244-AR Interim Stabilization Ventilation System will be used to control the release of radioactive particles to the environment in the containment tent, located inside the canyon of the 244-AR facility, and to assist the waste stabilization efforts. The HVAC equipment, ducts, instruments, PLC hardware, the ladder logic executable software (documented code), and message display terminal are considered part of the temporary ventilation system. The system consists of a supply air skid, temporary ductwork (to distribute airflow), and two skid-mounted, 500-cfm exhausters connected to the east filter building and the vessel vent system. The Interim Stabilization Ventilation System is a temporary, portable ventilation system consisting of supply side and exhaust side. Air is supplied to the containment tent from an air supply skid. This skid contains a constant speed fan, a pre-filter, an electric heating coil, a cooling coil, and a constant flow device (CFD). The CFD uses a passive component that allows a constant flow of air to pass through the device. Air is drawn out of the containment tent, cells, and tanks by two 500-cfm exhauster skids running in parallel. These skids are equipped with fans, filters, stack, stack monitoring instrumentation, and a PLC for control. The 500CFM exhaust skids were fabricated and tested previously for saltwell pumping activities. The objective of the temporary ventilation system is to maintain a higher pressure to the containment tent, relative to the canyon and cell areas, to prevent contaminants from reaching the containment tent.

YEH, T.

2002-11-20T23:59:59.000Z

433

A Bottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles  

E-Print Network [OSTI]

A Bottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles M. O'Connor, S. Tangirala, R. Kumar, S. Bhattacharyya, M. Sznaier and L.E. Holloway Abstract -- We present a systematic method of verification for a hierarchical hybrid system

Kumar, Ratnesh

434

B.S. GEOLOGY (Earth Science Subplan) CHECKLIST of required courses for major The Earth Science Subplan is typically a secondary major accompanying a B.S. in Education.  

E-Print Network [OSTI]

B.S. GEOLOGY (Earth Science Subplan) CHECKLIST of required courses for major The Earth Science ≠ The Earth or take GEOSCI 131 - Experiencing Geology Lab and GEOSCI 105 - Dynamic Earth 4 (1) (4) 1st year Geology Core Courses: 5 courses, 18 credits Course Credits When to take: GEOSCI 201 ≠ History of the Earth

Massachusetts at Amherst, University of

435

Requirements Verification Report AN Farm to 200E Waste Transfer System for Project W-314 Tank Farm Restoration and Safe Operations  

SciTech Connect (OSTI)

This Requirements Verification Report (RVR) for Project W-314 ''AN Farm to 200E Waste Transfer System'' package provides documented verification of design compliance to all the applicable Project Development Specification (PDS) requirements. Additional PDS requirements verification will be performed during the project's procurement, construction, and testing phases, and the RVR will be updated to reflect this information as appropriate.

MCGREW, D.L.

1999-09-28T23:59:59.000Z

436

Verification of high-energy transport codes on the basis of activation data  

E-Print Network [OSTI]

Nuclide production cross sections measured at ITEP for the targets of nat-Cr, 56-Fe, nat-Ni, 93-Nb, 181-Ta, nat-W, nat-Pb, 209-Bi irradiated by protons with energies from 40 to 2600 MeV were used to estimate the predictive accuracy of several popular high-energy transport codes. A general agreement of the ITEP data with the data obtained by other groups, including the numerous GSI data measured by the inverse kinematics method was found. Simulations of the measured data were performed with the MCNPX (Bertini and ISABEL options), CEM03.02, INCL4.2+ABLA, INCL4.5+ABLA07, PHITS, and CASCADE.07 codes. Deviation factors between the calculated and experimental cross sections have been estimated for each target and for the whole energy range covered by our measurements. Two-dimensional diagrams of deviation factor values were produced for estimating the predictive power of every code for intermediate, not measured masses of nuclei-targets and bombarding energies of protons. Further improvements of all tested here codes are recommended. In addition, new measurements at ITEP of nuclide yields from a 208-Pb target irradiated by 500 MeV protons are presented. A good agreement between these new data and the GSI measurements obtained by the inverse kinematics method was found

Yu. E. Titarenko; V. F. Batyaev; M. A. Butko; D. V. Dikarev; S. N. Florya; K. V. Pavlov; A. Yu. Titarenko; R. S. Tikhonov; V. M. Zhivun; A. V. Ignatyuk; S. G. Mashnik; A. Boudard; S. Leray; J. -C. David; J. Cugnon; D. Mancusi; Y. Yariv; H. Kumawat; K. Nishihara; N. Matsuda; G. Mank; W. Gudowski

2011-06-02T23:59:59.000Z

437

Guide to Government Witnessing and Review of Measurement and Verification Activities  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-UpHeatMulti-Dimensional Subject:Ground Source Heat2 December 2006TABLE OFGovernment

438

Logic and transistor circuit verification using regression testing and hierarchical recursive learning  

E-Print Network [OSTI]

2670 c3540, opt c3540 c5315, opt c5315 c6288, opt c6288 c7552, opt c7552 RLI 10 73 48 148 30 20 144 Re@. Test 14 26 RL ATPG 14 385 12 22 0 190 6 154 2 572 17 2787 0 other Total 16 28 473 87 376 12 14 168 646 2819 205... Algorithm of Verifast C. Learning at Level One D. Potential Equivalent Node Identification E. Potential Equivalent Node Checking F. Final Verification 10 12 14 15 17 20 22 IV LOGIC TO TRANSISTOR CIRCUIT VERIFICATION vu CHAPTER Page A. Review...

Shao, Li

1996-01-01T23:59:59.000Z

439

Point-to-Point Verification of Monitored Sensors at Reynolds Army Clinic and Hospital Final Report  

E-Print Network [OSTI]

to approximately 1.0 in. H 2 O. Supply fan speeds began decreasing once their static pressure setpoints were satisfied. Two static pressure sensors did not pass verification. ESL recommended that the sensors be cleaned in the same manner as the air flow... which were identified during the verification process be given immediate attention. 1. Replace return air humidity sensors for AHU-155, AHU-245, AHU-345, and AHU-355. 2. Replace supply air humidity sensors for AHU-225 and AHU-226. 3. Clean and...

Martinez, J.; Linenschmidt, S.; Turner, D.

440

Efficient speaker verification using Gaussian mixture model component clustering.  

SciTech Connect (OSTI)

In speaker verification (SV) systems that employ a support vector machine (SVM) classifier to make decisions on a supervector derived from Gaussian mixture model (GMM) component mean vectors, a significant portion of the computational load is involved in the calculation of the a posteriori probability of the feature vectors of the speaker under test with respect to the individual component densities of the universal background model (UBM). Further, the calculation of the sufficient statistics for the weight, mean, and covariance parameters derived from these same feature vectors also contribute a substantial amount of processing load to the SV system. In this paper, we propose a method that utilizes clusters of GMM-UBM mixture component densities in order to reduce the computational load required. In the adaptation step we score the feature vectors against the clusters and calculate the a posteriori probabilities and update the statistics exclusively for mixture components belonging to appropriate clusters. Each cluster is a grouping of multivariate normal distributions and is modeled by a single multivariate distribution. As such, the set of multivariate normal distributions representing the different clusters also form a GMM. This GMM is referred to as a hash GMM which can be considered to a lower resolution representation of the GMM-UBM. The mapping that associates the components of the hash GMM with components of the original GMM-UBM is referred to as a shortlist. This research investigates various methods of clustering the components of the GMM-UBM and forming hash GMMs. Of five different methods that are presented one method, Gaussian mixture reduction as proposed by Runnall's, easily outperformed the other methods. This method of Gaussian reduction iteratively reduces the size of a GMM by successively merging pairs of component densities. Pairs are selected for merger by using a Kullback-Leibler based metric. Using Runnal's method of reduction, we were able to achieve a factor of 2.77 reduction in a posteriori probability calculations with no loss in accuracy when the original UBM consisted of 256 component densities. When clustering was implemented with a 1024 component UBM, we achieved a computation reduction of 5 with no loss in accuracy and a reduction by a factor of 10 with less than 2.4% relative loss in accuracy.

De Leon, Phillip L. (New Mexico State University, Las Cruces, NM); McClanahan, Richard D.

2012-04-01T23:59:59.000Z

Note: This page contains sample records for the topic "activities verification checklist" 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

Verification of Readiness to Start Up or Restart Nuclear Facilities  

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

The order establishes requirements for verifying readiness for startup of new Hazard Category 1, 2, and 3 nuclear facilities, activities, and operations, and for restart of existing Hazard Category 1, 2, and 3 nuclear facilities, activities, and operations that have been shut down. Cancels DOE O 425.1C. Adm Chg 1, dated 4-2-13.

2010-04-16T23:59:59.000Z

442

Compliance Verification Paths for Residential and Commercial Energy Codes  

SciTech Connect (OSTI)

This report looks at different ways to verify energy code compliance and to ensure that the energy efficiency goals of an adopted document are achieved. Conformity assessment is the body of work that ensures compliance, including activities that can ensure residential and commercial buildings satisfy energy codes and standards. This report identifies and discusses conformity-assessment activities and provides guidance for conducting assessments.

Conover, David R.; Makela, Eric J.; Fannin, Jerica D.; Sullivan, Robin S.

2011-10-10T23:59:59.000Z

443

Automated verification of termination certificates Frederic Blanqui and Kim Quyen Ly  

E-Print Network [OSTI]

Automated verification of termination certificates Frīedīeric Blanqui and Kim Quyen Ly INRIA in developing a standalone tool for checking the correctness of certificates for the termination of term rewrite the extraction mechanism of Coq and the library on rewriting theory and termination called CoLoR. I. INTRODUCTION

Paris-Sud XI, Universitť de

444

Title: Modeling, Validation and Verification of Concurrent Behavior in the Panama Canal  

E-Print Network [OSTI]

System Using LTSA and UPPAAL Maliheh Poorfarhani. Master of Science, 2005 Directed By: Associate Canal with LTSA and with the help of UPPAAL brings time constraints into the canal behavioral model. #12;MODELING, VALIDATION AND VERIFICATION OF CONCURRENT BEHAVIOR IN THE PANAMA CANAL SYSTEM USING LTSA & UPPAAL

Austin, Mark

445

Managing Space for Finite-State Verification Jianbin Tan, George S. Avrunin, Lori A. Clarke  

E-Print Network [OSTI]

-suppressed Binary Decision Diagrams (ZDDs), in two FSV tools, LTSA and FLAVERS. We describe an experiment showing 200X ACM X-XXXXX-XX-X/XX/XX ...$5.00. Keywords Finite-state verification, BDD, ZDD, LTSA, FLAVERS 1, LTSA [14] and FLAVERS [12]. We describe how the systems to be verified are encoded as Boolean functions

Massachusetts at Amherst, University of

446

Managing Space for Finite-State Verification Jianbin Tan, George S. Avrunin, Lori A. Clarke  

E-Print Network [OSTI]

(ZDDs), in two FSV tools, LTSA and FLAVERS. We describe an experiment showing that these two sym- bolic. Copyright 2006 ACM 1-59593-085-X/06/0005 ...$5.00. Keywords Finite-state verification, BDD, ZDD, LTSA, LTSA [14] and FLAVERS [12]. We describe how the systems to be verified are encoded as Boolean functions

Avrunin, George S.

447

Cleanup Verification Package for the 100-F-20, Pacific Northwest Laboratory Parallel Pits  

SciTech Connect (OSTI)

This cleanup verification package documents completion of remedial action for the 100-F-20, Pacific Northwest Laboratory Parallel Pits waste site. This waste site consisted of two earthen trenches thought to have received both radioactive and nonradioactive material related to the 100-F Experimental Animal Farm.

M. J. Appel

2007-01-22T23:59:59.000Z

448

Verification of a VRF Heat Pump Computer Model in EnergyPlus  

SciTech Connect (OSTI)

This paper provides verification results of the EnergyPlus variable refrigerant flow (VRF) heat pump computer model using manufacturer's performance data. The paper provides an overview of the VRF model, presents the verification methodology, and discusses the results. The verification provides quantitative comparison of full and part-load performance to manufacturer's data in cooling-only and heating-only modes of operation. The VRF heat pump computer model uses dual range bi-quadratic performance curves to represent capacity and Energy Input Ratio (EIR) as a function of indoor and outdoor air temperatures, and dual range quadratic performance curves as a function of part-load-ratio for modeling part-load performance. These performance curves are generated directly from manufacturer's published performance data. The verification compared the simulation output directly to manufacturer's performance data, and found that the dual range equation fit VRF heat pump computer model predicts the manufacturer's performance data very well over a wide range of indoor and outdoor temperatures and part-load conditions. The predicted capacity and electric power deviations are comparbale to equation-fit HVAC computer models commonly used for packaged and split unitary HVAC equipment.

Nigusse, Bereket; Raustad, Richard

2013-06-01T23:59:59.000Z

449

P\\policy E&U#4 TITLE: MEASUREMENT AND VERIFICATION OF GUARANTEED SAVINGS  

E-Print Network [OSTI]

conservation measures by any energy service company, the Engineering & Utilities has adopted the International Performance Measurement and Verification Protocol, (www.ipmvp.org) as a minimum standard. RESPONSIBILITY: To provide a consistent and recognized method to measure and verify the effectiveness of implemented energy

Fernandez, Eduardo

450

Formal verification of privacy for RFID systems Mayla Bruso, Konstantinos Chatzikokolakis, and Jerry den Hartog  

E-Print Network [OSTI]

Formal verification of privacy for RFID systems Mayla Brus¬īo, Konstantinos Chatzikokolakis, and Jerry den Hartog Eindhoven University of Technology Abstract. RFID tags are being widely employed, however, in combination with their wireless nature, introduces privacy concerns as a tag could leak

Chatzikokolakis, Kostas

451

EXPERIMENTAL VERIFICATION OF THE LOAD-FOLLOWING POTENTIAL OF A HOT DRY ROCK GEOTHERMAL RESERVOIR  

E-Print Network [OSTI]

EXPERIMENTAL VERIFICATION OF THE LOAD-FOLLOWING POTENTIAL OF A HOT DRY ROCK GEOTHERMAL RESERVOIR. The objective of this cyclic load-following experiment was to investigate the performance of the reservoir, this series of cyclic flow tests is referred to as the Load-Following Experiment, with the objective

452

NIST Special Publication 800-76-1 Biometric Data Specification for Personal Identity Verification  

E-Print Network [OSTI]

NIST Special Publication 800-76-1 Biometric Data Specification for Personal Identity Verification of Commerce for Technology NIST Special Publication 800-76-1 Biometric Data Specification for Personal Secretary of Commerce for Technology #12;Special Publication 800-76-1 Biometric Specification for Personal

453

Verification of automotive networks -what to expect (and not expect) from each  

E-Print Network [OSTI]

Verification of automotive networks - what to expect (and not expect) from each technique Nicolas NAVET ­ nicolas.navet@uni.lu "Automotive Bus systems + Ethernet" Stuttgart, Germany, December 9-11, 2013. December 09, 2013 #12;1 Outline - 212/11/2013Automotive Bus systems + Ethernet Early-stage timing

Navet, Nicolas

454

Hard-and software implementation and verification of an Islanded House  

E-Print Network [OSTI]

Islanded House. Simulations showed that the discomfort can be decreased when also a battery is addedHard- and software implementation and verification of an Islanded House prototype Albert Molderink conclude that it is possible to create an Islanded House and to decrease the discomfort significantly

Al Hanbali, Ahmad

455

Verification and validation of fast systems with ENDF/B data.  

SciTech Connect (OSTI)

An extensive and systematic verification, validation and data testing effort using diverse Monte Carlo and deterministic methods with ENDF/B data (Versions V.2 and VI.5) is in progress. Methods verification is obtained by comparing independent methods, including continuous-energy Monte Carlo methods using the VIM and MCNP codes and 1D and 2D transport calculations using multigroup cross section sets generated with the ETOE-II/MC-2 system combined with the TWODANT code. Each of these code systems relies on independently processed data libraries. Inter-comparison of these results is used for verification. Further verification is achieved by comparing and plotting the point-wise cross section libraries of VIM and MCNP. Where possible, benchmark models are taken from both the ICSBEP Handbook and the CSEWG Benchmark Specifications. Inter-comparison of these results quantifies the generally small differences between these references. Calculations are repeated with both ENDF/B-V.2 and ENDF/B-VI.5 data. Inter-comparison of these results quantifies their data dependence. Analyses of criticality and reaction rate ratios are used for the validation and data testing. Calculated neutron balances and neutron energy spectra are also obtained and analyzed to explain the observed differences.

Stenberg, C. G.; McKnight, R. D.

2001-08-22T23:59:59.000Z

456

Hardware Verification using ANSI-C Programs as a Reference Edmund Clarke Daniel Kroening  

E-Print Network [OSTI]

Hardware Verification using ANSI-C Programs as a Reference£ Edmund Clarke Daniel Kroening Computer an algorithm to verify a hardware design given in Verilog using an ANSI-C program as a specification. We use in a language like ANSI-C. This program is then used for extensive testing and debugging, in particular of any

Clarke, Edmund M.

457

Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine Contributions `a la verification  

E-Print Network [OSTI]

Contributions `a la vīerification automatique de protocoles de groupes TH`ESE prīesentīee et soutenue groupe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3 Gestion de clefsīesumīe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.5 Impact des agents malhonn^etes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2

Boyer, Edmond

458

Optimal PID-Control for First Order Plus Time Delay Systems & Verification of the  

E-Print Network [OSTI]

Optimal PID-Control for First Order Plus Time Delay Systems & Verification of the SIMC Rules Chriss and Technology (NTNU), Trondheim, Norway e-mail: skoge@ntnu.no Abstract: Optimal cascade PID-settings are found with a modified SIMC-rule for PID- control (Figure 1). Optimality (performance) is defined in terms

Skogestad, Sigurd

459

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the  

E-Print Network [OSTI]

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the SIMC Rules Chriss and Technology (NTNU), Trondheim, Norway e-mail: skoge@ntnu.no Abstract: Optimal PID-settings are found, and is the time delay. We consider only the cascade form PID-controller K(s) = Kc Is + 1 Is (Ds + 1) (2) where Kc

Skogestad, Sigurd

460

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the  

E-Print Network [OSTI]

Optimal PID-Control on First Order Plus Time Delay Systems & Verification of the SIMC Rules Chriss and Technology (NTNU), Trondheim, Norway e-mail: skoge@ntnu.no Abstract: Optimal PID-settings are found. We consider only the cascade form PID-controller K(s) = Kc Is + 1 Is (Ds + 1) (2) where Kc, I and D

Skogestad, Sigurd

Note: This page contains sample records for the topic "activities verification checklist" 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

Verification of flow processes in soils with combined sprinkling and dye tracer experiments  

E-Print Network [OSTI]

1 Verification of flow processes in soils with combined sprinkling and dye tracer experiments with sprinkling experiments and dye tracing under different rainfall intensities and soil moisture conditions. The dye tracer was continuously applied with the sprinkling water on 1 m2 plots. After the sprinkling

Weiler, Markus

462

Experimental Verification of the Control of Automatic Drilling Module in Surgery  

E-Print Network [OSTI]

5 3 Experimental Verification of the Control of Automatic Drilling Module in Surgery Tony Boiadjiev drilling (in part or of all) of the corresponding bones. The main problems when the hand drilling takes place can be described as follows: bone overheating caused by inappropriate drilling velocity

Borissova, Daniela

463

Sexy Audits and the Single Ballot Election Verification Network Annual Conference  

E-Print Network [OSTI]

Sexy Audits and the Single Ballot Election Verification Network Annual Conference Washington, DC 25 is wrong. Compliance audits vs. materiality audits. 5 #12;California AB 2023 (Salda~na, sponsored by So of, and public confidence in, election results. The Secretary of State is encouraged to include urban

Stark, Philip B.

464

U.S. EPA Environmental Technology Verification (ETV) Program Advanced Monitoring Systems (AMS) Center  

E-Print Network [OSTI]

Members: Joel Allen, EPA John Carlton, Alabama Dept. of Environmental Management (retired) Tom Gargan, U1 U.S. EPA Environmental Technology Verification (ETV) Program Advanced Monitoring Systems (AMS) Center Water Stakeholder Committee Teleconference Wednesday, May 27, 2009 Attendees Stakeholder Committee

465

A Systematic Method for the Intentional Modelling and Verification of Business  

E-Print Network [OSTI]

A Systematic Method for the Intentional Modelling and Verification of Business Applications I appears to be a good candidate for involving business people in the early modelling of business applications, reducing the risk of business-IT systems misalignment. Furthermore, in the context of Model

Paris-Sud XI, Université de

466

Verification of Computer Display Pre-compensation for Visual Aberrations in an Artificial Eye  

E-Print Network [OSTI]

Verification of Computer Display Pre-compensation for Visual Aberrations in an Artificial Eye user's eye) has been confirmed for a simple "artificial eye". This device has been constructed from (CCD) array that mimics the retina of a real eye. While the CCD array allows for the inspection

Barreto, Armando

467

High Accuracy 65nm OPC Verification: Full Process Window Model vs. Critical Failure ORC  

E-Print Network [OSTI]

High Accuracy 65nm OPC Verification: Full Process Window Model vs. Critical Failure ORC Amandine of Mask Rule Checking (MRC) and Optical Rule Checking (ORC) have become indispensable tools for ensuring, a technique known as Critical Failure ORC (CFORC) was introduced that uses optical parameters from aerial

Boyer, Edmond

468

SPEE: A Secure Program Execution Environment Tool Using Static and Dynamic Code Verification  

E-Print Network [OSTI]

SPEE: A Secure Program Execution Environment Tool Using Static and Dynamic Code Verification Olga those using the Internet and exploiting the vul- nerabilities in the software and applications, software ­ for software integrity protection and authentication and presents performance results. Our system architecture

Simha, Rahul

469

Combined Attack on CRT-RSA Why Public Verification Must Not Be Public?  

E-Print Network [OSTI]

Combined Attack on CRT-RSA Why Public Verification Must Not Be Public? Guillaume Barbu1 , Alberto introduces a new Combined Attack on a CRT- RSA implementation resistant against Side-Channel Analysis and Fault Injection attacks. Such implementations prevent the attacker from ob- taining the signature when

Paris-Sud XI, Université de

470

Proceedings of the 1st workshop on Constraints in Software Testing, Verification and Analysis  

E-Print Network [OSTI]

Proceedings of the 1st workshop on Constraints in Software Testing, Verification and Analysis in Software Testing, Verifi- cation and Analysis (CSTVA'06), a workshop of the twelfth International interest in the application of constraint solving techniques to the field of testing and analysis

471

A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir Kulyukin  

E-Print Network [OSTI]

the design of a Cartesian robot for verifying the localization probability of a given PRF surface describe the design of a Cartesian robot for verifying the localization probability of a given PRF surfaceA Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala Vladimir

Kulyukin, Vladimir

472

A Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala and Vladimir Kulyukin  

E-Print Network [OSTI]

the design and implementation of a Cartesian robot for verifying and constructing signal distribution models. In this paper, we present the design and implementation of a Cartesian robot for verifying and constructingA Cartesian Robot for RFID Signal Distribution Model Verification Aliasgar Kutiyanawala

Kulyukin, Vladimir

473

A Tomographic Method for Verification of the Integrity of Spent Nuclear Fuel  

E-Print Network [OSTI]

A Tomographic Method for Verification of the Integrity of Spent Nuclear Fuel S. Jacobsson.g. in medicine. This thesis describes a tomographic method developed for measurements on nuclear fuel assemblies of the integrity of the assemblies, i.e. for controlling that all fuel rods are present. The application has been

Haviland, David

474

ORNL/Sub-01-4000031065 Field Test and Performance Verification  

E-Print Network [OSTI]

..............................................................8 8 Projected supply air temperature delivered by IADR heat pump option when operated as a 100 with Heat Pump Capability Final Report: Phase 5 Subcontract Number 4000031065 John Fischer SEMCO, Inc. Dr............................................................................................................................v Abstract: Field Verification of IADR with Heat Pump Capability............................ vii 1

Oak Ridge National Laboratory

475

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers  

E-Print Network [OSTI]

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers Taolue Chen Mereacre Department of Computer Science University of Oxford, UK ABSTRACT We develop a novel hybrid heart. The heart model is formulated at the level of cardiac cells, can be adapted to patient data, and incorpo

Oxford, University of

476

Equivalence Verification of Arithmetic Datapaths with Multiple Word-Length Operands  

E-Print Network [OSTI]

abound in DSP for audio, video and multimedia applications. High-level or register- transfer-level (RTL and describes our ap- proach to the problem. A. Motivating the Verification Problem Let us motivate be converted to fixed-point models [4] and subsequently translated into RTL. Automatic translation utilities

Kalla, Priyank

477

Safe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andre Platzer  

E-Print Network [OSTI]

scenarios may be distributed hybrid systems [21] when there is a multi-agent situation with mul- tiple carsSafe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andr and risks in ground trans- portation, e.g., by making cars aware of their environment and regulating speed

Platzer, Andrť

478

Int. J. HumanComputer Studies (1996) 44, 123125 Editorial: special issue on verification and validation  

E-Print Network [OSTI]

and validation ROBERT PLANT Department of Computer Information Systems, Uni ersity of Miami, Coral Gables, FL: Robert Plant, co-editor of this issue); $ at ECAI-94 in Amsterdam, The Netherlands (Chairman: Alun Preece. √∑ 1996 Academic Press Limited 1. KBS verification and testing In recent years, the main technological

Preece, Alun

479

In Robotics and Automation Magazine, 1(2), pp. 413, June 1994. Analysis and Experimental Verification  

E-Print Network [OSTI]

, confirming the validity of the plant model. 1 Introduction There exist a large number of capabilities needed Verification of a Fourth Order Plant Model for Manipulator Force Control Richard Volpe \\Lambda and Pradeep of the arm/ sensor / environment system plant, to be use in evaluation of force control strategies. Both

480

INFRARED PROPERTIES OF RADIO-SELECTED SUBMILLIMETER GALAXIES IN THE SPITZER FIRST LOOK SURVEY VERIFICATION FIELD  

E-Print Network [OSTI]

INFRARED PROPERTIES OF RADIO-SELECTED SUBMILLIMETER GALAXIES IN THE SPITZER FIRST LOOK SURVEY and infrared observations of 28 radio-selected galaxies in the Spitzer First Look Survey verification field counterparts at 24 m. The data show a wide range of infrared colors (S70 m=S24 m

Frayer, David

Note: This page contains sample records for the topic "activities verification checklist" 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

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip  

E-Print Network [OSTI]

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network in the high-level language CHP, by using model checking techniques provided by the CADP toolbox. Our proposal is based on an automatic translation from CHP into LOTOS, the process algebra used in CADP. A translator

Joseph Fourier Grenoble-I, Université

482

EUROGRAPHICS 2005 STAR State of The Art Report Verification of Physically Based Rendering Algorithms  

E-Print Network [OSTI]

EUROGRAPHICS 2005 STAR ≠ State of The Art Report Verification of Physically Based Rendering of predictive rendering is concerned with those methods of image synthesis which yield results that do not only the correctness of the results obtained by such techniques, three stages of such a rendering system have

483

Clock Schedule Verification Under Process Variations Ruiming Chen and Hai Zhou  

E-Print Network [OSTI]

Clock Schedule Verification Under Process Variations Ruiming Chen and Hai Zhou Electrical of the structural condi- tions for correct clocking is proposed, where the central prob- lem is to compute the probability of having a positive cycle in a graph with random edge weights. The proposed method only traverses

Zhou, Hai

484

Formal verification of a static analyzer: abstract interpretation in type theory  

E-Print Network [OSTI]

Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt xavier.leroy@inria.fr (Joint work with David Pichardie, Sandrine Blazy, Jacques-Henri Jourdan, and Vincent Laporte.) Abstract Static analysis is the automatic inference and checking of simple

Paris-Sud XI, Université de

485

Assessment of the Fingerprinting Method for Spent Fuel Verification in MACSTOR KN-400 CANDU Dry Storage  

E-Print Network [OSTI]

case and diversion cases with dummy stainless steel and depleted uranium dioxide bundles replacement ........................................................ 46 32 Images of the models used to determine the sensitivity of the detection system... Schematic representation of variation of total neutron flux collected at all 10 detectors inside peripheral re-verification tube ............................ 57 37 Views of the model showing the replaced 14 dummy depleted uranium dioxide bundles...

Gowthahalli Chandregowda, Nandan

2012-10-19T23:59:59.000Z

486

North Korea's nuclear weapons program:verification priorities and new challenges.  

SciTech Connect (OSTI)

A comprehensive settlement of the North Korean nuclear issue may involve military, economic, political, and diplomatic components, many of which will require verification to ensure reciprocal implementation. This paper sets out potential verification methodologies that might address a wide range of objectives. The inspection requirements set by the International Atomic Energy Agency form the foundation, first as defined at the time of the Agreed Framework in 1994, and now as modified by the events since revelation of the North Korean uranium enrichment program in October 2002. In addition, refreezing the reprocessing facility and 5 MWe reactor, taking possession of possible weapons components and destroying weaponization capabilities add many new verification tasks. The paper also considers several measures for the short-term freezing of the North's nuclear weapon program during the process of negotiations, should that process be protracted. New inspection technologies and monitoring tools are applicable to North Korean facilities and may offer improved approaches over those envisioned just a few years ago. These are noted, and potential bilateral and regional verification regimes are examined.

Moon, Duk-ho (Korean Consulate General in New York)

2003-12-01T23:59:59.000Z

487

Refinement and verification of concurrent systems specified in ObjectZ and CSP  

E-Print Network [OSTI]

Refinement and verification of concurrent systems specified in Object­Z and CSP Graeme Smith­Z and CSP. A common semantic basis for the two languages enables a unified method of refinement to be used, based upon CSP refinement. To enable state­based techniques to be used for the Object­Z components

Smith, Graeme

488

Quality Control and Verification of Weather Radar Wind Profiles IWAN HOLLEMAN  

E-Print Network [OSTI]

- tions of the vertical velocity, which is a sum of the vertical wind velocity and the hydrometeor fall. 1986). Profiles of wind speed and direction, hydrometeor fall speed, and divergence have been obtainedQuality Control and Verification of Weather Radar Wind Profiles IWAN HOLLEMAN Royal Netherlands

Stoffelen, Ad

489

SEMI-AUTOMATIC VERIFICATION OF GEODATA FOR QUALITY MANAGEMENT AND UPDATING OF GIS  

E-Print Network [OSTI]

of quality management, and furthermore, of the update of geodata systems (GIS). The presented system comparesSEMI-AUTOMATIC VERIFICATION OF GEODATA FOR QUALITY MANAGEMENT AND UPDATING OF GIS P. Helmholz a of geoinformation systems mainly depend on the quality of the underlying geodata. The aim of this paper

490

Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications  

E-Print Network [OSTI]

C4.2 Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications and control (I&C) systems play a crucial role in the operation of nuclear power plants (NPP) and other safety is available. The use of model checking to verify two nuclear power plant related systems is described: an arc

Heljanko, Keijo

491

An Analysis of U.S. Patent #5,243,538 ``Comparison and Verification System  

E-Print Network [OSTI]

An Analysis of U.S. Patent #5,243,538 ``Comparison and Verification System for Logic Circuits, U. S. Patent Number 5,243,538 was awarded to four Hitachi employees for a technique for comparing logic circuits using Binary Decision Di­ agrams (BDDs). Although the U. S. patent application was filed

Bryant, Randal E.

492

Emergent Behavior in Cybersecurity Example 2: Program VerificationExample 1: Cyber Epidemics  

E-Print Network [OSTI]

Emergent Behavior in Cybersecurity Example 2: Program VerificationExample 1: Cyber Epidemics Informal Definition and Implication Abstract We argue that emergent behavior is inherent to cybersecurity). Scenario: Illustration of cyber epidemics model (which is a specific kind of Cybersecurity Dynamics model

Xu, Shouhuai

493

U. S. Army Measurement and Verification (M&V) Costing Toolkit  

E-Print Network [OSTI]

This is the 2003 final report for the U.S. Army Monitoring and Verification (M&V) costs project. The purpose of this project is to develop a M&V Costing Toolkit to be used by the government or third party planners to design a M&V plan...

Haberl, J. S.; Powell, T.; Carlson, K. A.; Im, P.; Turner, W. D.

2003-01-01T23:59:59.000Z

494

Fusion Engineering and Design 42 (1998) 235245 Verification of ITER shielding capability and FENDL data  

E-Print Network [OSTI]

of the calculated-to-experimental (C/E) data. These two objectives will guide designers with regard and calculated data that should be implemented in the design process. Both differential and integral experimentalFusion Engineering and Design 42 (1998) 235­245 Verification of ITER shielding capability and FENDL

Abdou, Mohamed

495

MODEL OF MECHANISM BEHAVIOR FOR VERIFICATION OF PLC Jos M. Machado  

E-Print Network [OSTI]

MODEL OF MECHANISM BEHAVIOR FOR VERIFICATION OF PLC PROGRAMS José M. Machado University of Minho on formal methods is now available for checking PLC (Programmable Logic Controller) programs. To verify a PLC program, it is necessary to consider a set of properties to prove and one of the most interesting

Paris-Sud XI, Université de

496

Formalization and Verification of PLC Timers in Coq Key Lab for ISS of MOE,  

E-Print Network [OSTI]

Formalization and Verification of PLC Timers in Coq Hai Wan Key Lab for ISS of MOE, School used in embedded systems. A timer plays a pivotal role in PLC real-time applications. The paper presents a formalization of TON-timers of PLC programs in the theorem proving system Coq. The behavior

Paris-Sud XI, Université de

497

An algebraic approach for PLC programs verification Jean-Marc Roussel, Jean-Marc Faure  

E-Print Network [OSTI]

An algebraic approach for PLC programs verification Jean-Marc Roussel, Jean-Marc Faure LURPA-ENS de. The behavior of the generic function blocks of the IEC 61131 standard as well as of PLC programs using these function blocks can be described in this algebra. Proper- ties proof on PLC programs is performed

Paris-Sud XI, Université de

498

Toward a Unified Framework for Quality and Consistency Verification of UML Models  

E-Print Network [OSTI]

the advantages of both static and dynamic verification methods in order to increase the proficiency of the MDD to identify the key features for developing a unified framework suitable to tailor the development process the development team to exercising that vocabulary in all communi- cations using diagrams, writing, and especially

Comini, Marco

499

Process Mining and Verification of Properties: An Approach based on Temporal Logic  

E-Print Network [OSTI]

, temporal logic, business process management, workflow management, data mining, Petri nets. 1 IntroductionProcess Mining and Verification of Properties: An Approach based on Temporal Logic W.M.P. van der flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining

van der Aalst, Wil

500

DEMAND SIDE ENERGY MANAGEMENT AND CONSERVATION PROGRAM Measurement and Verification Program  

E-Print Network [OSTI]

DEMAND SIDE ENERGY MANAGEMENT AND CONSERVATION PROGRAM Measurement and Verification Program 4 operating hours for the lights in each room a. Assign a usage category to each room in all buildings (e electrical usage and savings in room by room spreadsheet d. Subtotal savings by building

Hofmann, Hans A.