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

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

DOE Green Energy (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

2

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

SciTech Connect

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

3

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

Science Conference Proceedings (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

4

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

SciTech Connect

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

5

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

SciTech Connect

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

6

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

SciTech Connect

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

7

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

SciTech Connect

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

8

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

Science Conference Proceedings (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

9

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

Science Conference Proceedings (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

10

ORISE: Independent verification  

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

Independent verification Independent verification ORISE techinician performs environmental scanning The Oak Ridge Institute for Science and Education (ORISE) performs independent environmental assessments and verification to determine the effectiveness of radiological cleanup at decontamination and decommissioning (D&D) projects across the United States. Since 1980, ORISE has performed independent verification at more than 500 sites in 42 states and the District of Columbia. As the primary independent verification contractor for all U.S. Department of Energy (DOE) cleanup projects and the only verification contractor for the U.S. Nuclear Regulatory Commission (NRC), we validate that soil, water and structures are within established state and federal release criteria, and can be safely designated for public use.

11

INDEPENDENT VERIFICATION SURVEY REPORT FOR ZONE 1 OF THE EAST TENNESSEE TECHNOLOGY PARK IN OAK RIDGE, TENNESSEE DCN 0450-SR-01-0  

SciTech Connect

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).

David A. King, CHP

2012-08-16T23:59:59.000Z

12

Results of the independent radiological verification survey at 113 Avenue E, Lodi, New Jersey (LJ081V)  

SciTech Connect

Thorium ores were processed by the Maywood Chemical Works until the property was sold to Stepan Chemical Company in 1959. Wastes were stored at what is now called the Maywood Interim Storage Site (MISS), owned by the U. S. Department of Energy (DOE). Because of the migration of residuals off site into the surrounding areas, the Stepan property and several vicinity properties were designated for remedial action under the 1984 Energy and Water Development Appropriations Act. The DOE conducted radiological surveys of these sites to evaluate current radiological conditions as part of the Formerly Utilized Sites Remedial Action Program (FUSRAP). In 1988, radiological surveys of some private residential properties on Avenue E in Lodi, New Jersey were conducted by members of an ORNL radiological survey team. Results of this survey indicated radiological contamination in excess of the DOE criteria for surface contamination at this vicinity property (113 Avenue E), and it was recommended for remediation. In the fall of 1995, a verification survey of this vicinity property was conducted by ORNL, the independent verification contractor for this effort, in conjunction with decontamination operations conducted under the supervision of Bechtel National Incorporated. The verification survey included complete surface gamma scans of the grounds and the collection of soil samples for radionuclide analysis. This report describes the radiological verification survey of this residential property.

Rodriguez, R.E.; Johnson, C.A.

1996-09-01T23:59:59.000Z

13

Results of the independent radiological verification survey at 108 Avenue E, Lodi, New Jersey (LJ084V)  

SciTech Connect

Thorium ores were processed by the Maywood Chemical Works until the property was sold to Stepan Chemical Company in 1959. Wastes were stored at what is now called the Maywood Interim Storage Site (MISS), owned by the US Department of Energy (DOE). Because of the migration of residuals off site into the surrounding areas, the Stepan property and several vicinity properties were designated for remedial action under the 1984 Energy and Water Development Appropriations Act. The DOE conducted radiological surveys of these sites to evaluate current radiological conditions as part of the Formerly Utilized Sites Remedial Action Program (FUSRAP). In 1988, radiological surveys of some private residential properties on Avenue E in Lodi, New Jersey were conducted by members of an ORNL radiological survey team. Results of this survey indicated radiological contamination in excess of the DOE criteria for surface contamination at this vicinity property (108 Avenue E), and it was recommended for remediation. In the fall of 1995, a verification survey of this vicinity property was conducted by ORNL, the independent verification contractor for this effort, in conjunction with decontamination operations conducted under the supervision of Bechtel National Incorporated. The verification survey included complete surface gamma scans of the grounds and the collection of soil samples for radionuclide analysis. This report describes the radiological verification survey of this residential property.

Rodriguez, R.E.; Johnson, C.A.

1996-09-01T23:59:59.000Z

14

Results of the independent radiological verification survey at 112 Avenue E, Lodi, New Jersey (LJ082V)  

SciTech Connect

Thorium ores were processed by the Maywood Chemical Works until the property was sold to Stepan Chemical Company in 1959. Wastes were stored at what is now called the Maywood Interim Storage Site (MISS), owned by the U.S. Department of Energy (DOE). Because of the migration of residuals off site into the surrounding areas, the Stepan property and several vicinity properties were designated for remedial action under the 1984 Energy and Water Development Appropriations Act. The DOE conducted radiological surveys of these sites to evaluate current radiological conditions as part of the Formerly Utilized Sites Remedial Action Program (FUSRAP). In 1988, radiological surveys of some private residential properties on Avenue E in Lodi, New Jersey were conducted by members of an ORNL radiological survey team. Results of this survey indicated radiological contamination in excess of the DOE criteria for surface contamination at this vicinity property (112 Avenue E), and it was recommended for remediation. In the fall of 1995, a verification survey of this vicinity property was conducted by ORNL, the independent verification contractor for this effort, in conjunction with decontamination operations conducted under the supervision of Bechtel National Incorporated. The verification survey included complete surface gamma scans of the grounds and the collection of soil samples for radionuclide analysis. This report describes the radiological verification survey of this residential property. Based on the remedial action and verification survey data reported in this document, all radiological measurements fall below the limits prescribed by DOE radiological guidelines established for this site, and the property at 112 Avenue E, Lodi, New Jersey successfully meets the DOE radiological guidelines for unrestricted use.

Rodriguez, R.E.; Johnson, C.A.

1996-09-01T23:59:59.000Z

15

Lessons Learned from Independent Verification Activities  

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

Demonstration Demonstration Oak Ridge Institute for Science and Education - Independent Verification Lessons Learned IV - performed at nine DOE sites from 2004 to 2008 Page 1 of 2 Oak Ridge Institute for Science and Education Multiple Sites Lessons Learned from Independent Verification Activities Challenge The Department of Energy clears property from radiological control after the property has been demonstrated to meet the Department's stringent radiation protection requirements. Radiological surveys are used to demonstrate compliance with the requirements. Independent verification (IV) activities are conducted by an independent third party as a quality check on radiological surveys procedures and practices. The Oak Ridge Institute for Science and Education (ORISE) performs independent verification for the Department. In this lessons learned report, ORISE summarizes their

16

Results of the independent radiological verification survey at the former Chapman Valve Manufacturing Company, Indian Orchard, Massachusetts (CIO001V)  

SciTech Connect

The Chapman Valve Manufacturing Company in Indian Orchard, Massachusetts was one of many companies performing work during the 1940s associated with the development of nuclear energy for defense-related projects for the Manhattan Engineer District (MED) and the Atomic Energy Commission (AEC). In 1991, a radiological survey was conducted at the site. The survey report indicated {sup 238}U contamination in excess of the DOE criteria for surface contamination, and some {sup 235}U residues in the west end of the building. Decontamination of the facility to supplemental guidelines, derived by a hazard assessment based on appropriate scenarios for this building, was conducted by subcontractor personnel in 1995 under the direction of Bechtel National Incorporated (BNI), the project management contractor for FUSRAP. The independent radiological verification survey detailed in this report was performed in July and August 1995 under the FUSRAP program by members of ORNL at the request of DOE. The radiological verification survey of the west end of the building included gamma, alpha, and beta-gamma scans for fixed contamination, smear sampling for transferable contamination, and radionuclide analysis of soil samples taken from outside the building and from excavations in the concrete floor inside the building.

Rodriguez, R.E.; Johnson, C.A.

1997-05-01T23:59:59.000Z

17

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

Science Conference Proceedings (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.

Evan Harpeneau

2011-06-24T23:59:59.000Z

18

Lessons Learned from Independent Verification Activities | Department...  

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

control after the property has been demonstrated to meet the Department's stringent radiation protection requirements. Lessons Learned from Independent Verification...

19

Independent Verification Survey of the Clean Coral Storage Pile at the Johnston Atoll Plutonium-Contaminated Soil Remediation Project  

Science Conference Proceedings (OSTI)

The Oak Ridge National Laboratory (ORNL) Environmental Technology Section conducted an independent verification (IV) survey of the clean storage pile at the Johnston Atoll Plutonium Contaminated Soil Remediation Project (JAPCSRP) from January 18-25, 1999. The goal of the JAPCSRP is to restore a 24-acre area that was contaminated with plutonium oxide particles during nuclear testing in the 1960s. The selected remedy was a soil sorting operation that combined radiological measurements and mining processes to identify and sequester plutonium-contaminated soil. The soil sorter operated from about 1990 to 1998. The remaining clean soil is stored on-site for planned beneficial use on Johnston Island. The clean storage pile currently consists of approximately 120,000 m{sup 3} of coral. ORNL conducted the survey according to a Sampling and Analysis Plan, which proposed to provide an IV of the clean pile by collecting a minimum number (99) of samples. The goal was to ascertain with 95% confidence whether 97% of the processed soil is less than or equal to the accepted guideline (500-Bq/kg or 13.5-pCi/g) total transuranic (TRU) activity. In previous IV tasks, ORNL has (1) evaluated and tested the soil sorter system software and hardware and (2) evaluated the quality control (QC) program used at the soil sorter plant. The IV has found that the soil sorter decontamination was effective and significantly reduced plutonium contamination in the soil processed at the JA site. The Field Command Defense Threat Reduction Agency currently plans to re-use soil from the clean pile as a cover to remaining contamination in portions of the radiological control area. Therefore, ORNL was requested to provide an IV. The survey team collected samples from 103 random locations within the top 4 ft of the clean storage pile. The samples were analyzed in the on-site radioanalytical counting laboratory with an American Nuclear Systems (ANS) field instrument used for the detection of low-energy radiation. Nine results exceeded the JA soil screening guideline for distributed contamination of 13.5 pCi/g for total TRUs, ranging from 13.7 to 125.9 pCi/g. Because of these results, the goal of showing with 95% confidence that 97% of the processed soil is less than or equal to 13.5 pCi/g-TRU activity cannot be met. The value of 13.5 pCi/g represents the 88th percentile rather than the 95th percentile in a nonparametric one-sided upper 90% confidence limit. Therefore, at the 95% confidence level, 88% of the clean pile is projected to be below the 13.5-pCi/g goal. The Multi-Agency Radiation Survey and Site Investigation Manual recommends use of a nonparametric statistical ''Sign Test'' to demonstrate compliance with release criteria for TRU. Although this survey was not designed to use the sign test, the data herein would demonstrate that the median (50%) of the clean storage pile is below the l3.5-pCi/g derived concentration guideline level. In other words, with the caveat that additional investigation of elevated concentrations was not performed, the data pass the sign test at the 13.5-pCi/g level. Additionally, the lateral extent of the pile was gridded, and 10% of the grid blocks was scanned with field instruments for the detection of low-energy radiation coupled to ratemeter/scalers to screen for the presence of hot particles. No hot particles were detected in the top 1 cm of the grid blocks surveyed.

Wilson-Nichols, M.J.

2000-12-07T23:59:59.000Z

20

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

SciTech Connect

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

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

Results of the independent radiological verification survey at the former Associate Aircraft Tool and Manufacturing Company site, Fairfield, Ohio (FOH001)  

Science Conference Proceedings (OSTI)

The former Associate Aircraft Tool and Manufacturing Company site is located at 3550 Dixie Highway, Fairfield, Ohio. Associate Aircraft Tool and Manufacturing Company produced hollow uranium slugs in a machine shop at the site in 1956. The work was performed for National Lead of Ohio in a contract with the Atomic Energy Commission to augment the capacity of the Feed Materials Production Center at Fernald in the development of nuclear energy for defense-related projects. The current occupant of the building, Force Control, operates a multipurpose machine shop. At the request of the US Department of Energy (DOE), a team from Oak Ridge National Laboratory conducted an independent radiological verification survey at the former Associate Aircraft Tool and Manufacturing Company Site, Fairfield, Ohio. The survey was performed from February to May of 1995. The purpose of the survey was to verify that radioactivity from residues of {sup 238}U was remediated to a level below acceptable DOE guidelines levels.

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

1996-01-01T23:59:59.000Z

22

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

Science Conference Proceedings (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

23

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

SciTech Connect

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

24

INDEPENDENT VERIFICATION SURVEY SUMMARY AND RESULTS FOR SUB-SLAB SOILS ASSOCIATED WITH THE FORMER BUILDING K-33, OAK RIDGE, TENNESSEE  

Science Conference Proceedings (OSTI)

At DOE’s request, ORAU conducted confirmatory surveys of the K-33 sub-slab soil during the period of August 2011 through May 2012. The survey activities included visual inspections and measurement and sampling activities. LSRS was forthcoming with information relating to surface scan results. Scans performed by the contractor were of adequate coverage and overall data appear to represent actual site conditions. However, the LSRS technicians failed to identify several areas of elevated direct gamma radiation. Most of the samples taken by ORAU at locations of elevated instrument response were above the remediation concentration for one or more radionuclides of concern (ROC). The contractor was, however, quick to perform additional remediation of areas identified to have contamination above the guidelines. Further investigation by ORAU was not requested once additional remediation was completed. It is presumed the remediation contractor’s future PCCR will present detailed and conclusive evidence that K-33 sub-slab soils either comply or do not comply with record of decision (ROD) criteria. However, ORAU concludes, based on both independent verification (IV) data and data provided by LSRS, that the remediation contractor followed appropriate and applicable procedures and that the associated data adequately represent site conditions.

NICK A. ALTIC

2012-09-20T23:59:59.000Z

25

A tutorial on text-independent speaker verification  

Science Conference Proceedings (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, the most commonly speech parameterization ... Keywords: Gaussian mixture modeling, cepstral analysis, speaker verification, text-independent

Frédéric Bimbot; Jean-François Bonastre; Corinne Fredouille; Guillaume Gravier; Ivan Magrin-Chagnolleau; Sylvain Meignier; Teva Merlin; Javier Ortega-García; Dijana Petrovska-Delacrétaz; Douglas A. Reynolds

2004-01-01T23:59:59.000Z

26

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

Science Conference Proceedings (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

27

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

28

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

SciTech Connect

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

29

Surveillance Guide - OPS 9.10 Independent Verification  

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

INDEPENDENT VERIFICATION INDEPENDENT VERIFICATION 1.0 Objective The objective of this surveillance is to evaluate the conduct of selected independent verification activities. This surveillance provides a basis for evaluating the effectiveness of the contractor's independent verifications programs and for establishing compliance with DOE requirements. 2.0 References 2.1 DOE 5480.19, Conduct of Operations Requirements for DOE Facilities 2.2 DOE-STD-1036-93, Guide to Good Practices for Independent Verification 3.0 Requirements Implemented This surveillance is conducted to implement requirements of the Functions, Responsibilities and Authorities Manual, Section 20, Operations, FRAM #s 4253, 4258, and 4261. These requirements are drawn from DOE 5480.19.

30

INDEPENDENT VERIFICATION OF THE CENTRAL CAMPUS AND SOUTHEAST LABORATORY COMPLEX BUILDING SLABS AT OAK RIDGE NATIONAL LABORATORY, OAK RIDGE, TENNESSEE  

SciTech Connect

Oak Ridge Associated Universities/Oak Ridge Institute for Science and Education (ORAU/ORISE) has completed the independent verification survey of the Central Campus and Southeast Lab Complex Building Slabs. The results of this effort are provided. The objective of this verification survey was to provide independent review and field assessment of remediation actions conducted by SEC, and to independently assess whether the final radiological condition of the slabs met the release guidelines.

Weaver, Phyllis C.

2012-07-24T23:59:59.000Z

31

INDEPENDENT VERIFICATION SURVEY REPORT FOR EXPOSURE UNITS Z2-24, Z2-31, Z2-32, AND Z2-36 IN ZONE 2 OF THE EAST TENNESSEE TECHNOLOGY PARK OAK RIDGE, TENNESSEE  

Science Conference Proceedings (OSTI)

The U.S. Department of Energy (DOE) Oak Ridge Office of Environmental Management selected Oak Ridge Associated Universities (ORAU), through the Oak Ridge Institute for Science and Education (ORISE) contract, to perform independent verification (IV) at Zone 2 of the East Tennessee Technology Park (ETTP) in Oak Ridge, Tennessee. ORAU has concluded IV surveys, per the project-specific plan (PSP) (ORAU 2013a) covering exposure units (EUs) Z2-24, -31, -32, and -36. The objective of this effort was to verify the following. • Target EUs comply with requirements in the Zone 2 Record of Decision (ROD) (DOE 2005), as implemented by using the dynamic verification strategy presented in the dynamic work plan (DWP) (BJC 2007) • Commitments in the DWP were adequately implemented, as verified via IV surveys and soil sampling The Zone 2 ROD establishes maximum remediation level (RLmax) values and average RL (RLavg) values for the primary contaminants of concern (COCs) U-234, U-235, U-238, Cs-137, Np-237, Ra-226, Th-232, arsenic, mercury, and polychlorinated biphenyls (PCBs). Table 1.1 lists Zone 2 COCs with associated RLs. Additional radiological and chemical contaminants were also identified during past characterization and monitoring actions, though the ROD does not present RLs for these potential contaminants. IV activities focused on the identification and quantification of ROD-specific COCs in surface soils, but also generated data for other analytes to support future decisions. ORAU personnel also reviewed EU-specific phased construction completion reports (PCCRs) to focus IV activities and identify potential judgmental sample locations, if any.

none,

2013-10-10T23:59:59.000Z

32

Verification Survey of the Building 315 Zero Power Reactor-6 Facility, Argonne National Laboratory-East, Argonne, Illinois  

Science Conference Proceedings (OSTI)

Oak Ridge Institute for Science and Education (ORISE) conducted independent verification radiological survey activities at Argonne National Laboratory’s Building 315, Zero Power Reactor-6 facility in Argonne, Illinois. Independent verification survey activities included document and data reviews, alpha plus beta and gamma surface scans, alpha and beta surface activity measurements, and instrumentation comparisons. An interim letter report and a draft report, documenting the verification survey findings, were submitted to the DOE on November 8, 2006 and February 22, 2007, respectively (ORISE 2006b and 2007).

W. C. Adams

2007-05-25T23:59:59.000Z

33

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

Science Conference Proceedings (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

34

Independent Communication and Outreach Stakeholder Satisfaction Survey  

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

2 2 Prepared for U.S. Department of Energy Office of Legacy Management December 2012 Independent Communication and Outreach Stakeholder Satisfaction Survey Independent Communication and Outreach Stakeholder Satisfaction Survey December 2012 Table of Contents List of Figures ............................................................................................................................................. iii List of Tables .............................................................................................................................................. iii Executive Summary .................................................................................................................................... v 1. Introduction............................................................................................................................................ 1

35

VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES  

Office of Legacy Management (LM)

~ *-,-' .r_~, ~ *-,-' .r_~, VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES BUILDING 513-519 NEW YORK, NEW YORK Prepared by W. C. Adams Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Institute for Science and Education Oak Ridge, Tennessee 37831-0117 Prepared for the Office of Environmental Restoration U.S. Department of Energy FINAL REPORT JUNE 1994 This report is based on work performed under contract number DE-AC05-760R00033 with the U.S. Department of Energy. Baker arId Wi,,iMI Wsrchouwl-Vcrification June 28, ,994 - ,I I_ ..I .- VERIFICATION SURVEY OF THE BAKER AND W ILLIAMS WAREHOUSES BUILDING 513-519 NEW YORK, NEW YORK Prepared by: ' J .,,,~ ' . W . C. Adams, Project Leader Date: Environmental Survey and Site Assessment Program

36

Oak Ridge Associated VERIFICATION SURVEY Universities OF THE  

Office of Legacy Management (LM)

ORAU 89/K-79 ORAU 89/K-79 Prepared by ERIFICATION Oak Ridge Associated VERIFICATION SURVEY Universities OF THE Drepared of SHIPPINGPORT ATOMIC POWER STATION Facility and Site Decommissioning SHIPPINGPORT, PENNSYLVANIA I Projects U.S. Department R LANDIS ot Energy M. R. LANDIS ot Energy Environmental Survey and Site Assessment Program Energy/Environment Systems Division FINAL REPORT .i~ ~~ . ~NOVEMBER 1989 .Ii_- ORAU 89/K-79 VERIFICATION SURVEY OF THE SHIPPINGPORT ATOMIC POWER STATION SHIPPINGPORT, PENNSYLVANIA Prepared by M. R. Landis Environmental Survey and Site Assessment Program Energy/Environment Systems Division Oak Ridge Associated Universities 3*P~~~ ~~Oak Ridge, Tennessee 37831-0117 U~~~~~~~~1 ~Project Staff S. F. Barnett F. A. Payne J. D. Berger J. L. Payne G. R. Foltz E. A. Powell

37

Clock independent timing verification of level-sensitive latches  

Science Conference Proceedings (OSTI)

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

Robert Tjärnström

1991-02-01T23:59:59.000Z

38

Radiological verification survey results at the Pompton Plains Railroad Spur, Pequannock, New Jersey (PJ008V)  

SciTech Connect

The US Department of Energy (DOE) conducted remedial action during 1993 at the Pompton Plains railroad spur and eight vicinity properties in the Wayne and Pequannock Townships in New Jersey as part of the Formerly Utilized Sites Remedial Action Program (FUSRAP). These properties are in the vicinity of the DOE-owned Wayne Interim Storage Site (WISS), formerly the W.R. Grace facility. The property at the Pompton Plains Railroad Spur, Pequannock, New Jersey is one of these vicinity properties. At the request of DOE, a team from Oak Ridge National Laboratory conducted an independent radiological verification survey at this property. The purpose of the survey, conducted between September and December 1993, was to confirm the success of the remedial actions performed to remove any radioactive materials in excess of the identified guidelines. The verification survey included surface gamma scans and gamma readings at 1 meter, beta-gamma scans, and the collection of soil and debris samples for radionuclide analysis. Results of the survey demonstrated that all radiological measurements on the property at the Pompton Plains railroad spur were within applicable DOE guidelines. Based on the results of the remedial action data and confirmed by the verification survey data, the portions of the site that had been remediated during this action successfully meet the DOE remedial action objectives.

Rodriguez, R.E.; Johnson, C.A.

1995-05-01T23:59:59.000Z

39

Runtime verification of service-oriented systems: a well-rounded survey  

Science Conference Proceedings (OSTI)

Dynamic nature of Service-Oriented Systems SOSs has made conventional verification techniques such as testing, model checking and theorem proving ineffective. As a result, many studies have been dedicated to verification of SOS. In this survey, we first ...

Reza Babaee; Seyed Morteza Babamir

2013-08-01T23:59:59.000Z

40

Review: Formal verification of analog and mixed signal designs: A survey  

Science Conference Proceedings (OSTI)

Analog and mixed signal (AMS) designs are an important part of embedded systems that link digital designs to the analog world. Due to challenges associated with its verification process, AMS designs require a considerable portion of the total design ... Keywords: Analog and mixed signal design verification, Formal verification, Survey

Mohamed H. Zaki; Sofiène Tahar; Guy Bois

2008-12-01T23:59:59.000Z

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

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

Science Conference Proceedings (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

42

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  

Science Conference Proceedings (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

43

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

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.

Phyllis C. Weaver

2012-08-29T23:59:59.000Z

44

2012 Independent Communication and Outreach Stakeholder Satisfaction Survey  

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

2 Independent Communication and Outreach Stakeholder 2 Independent Communication and Outreach Stakeholder Satisfaction Survey 2012 Independent Communication and Outreach Stakeholder Satisfaction Survey DOE-LM periodically surveys its stakeholders to collect their feedback on DOE-LM performance at both a local and national level. The first customer satisfaction survey was conducted in 2005 and focused primarily on DOE-LM's "business lines": records management; site management; personal/real property; and transition management. In 2012, LM updated and expanded on that survey by conducting a communications and outreach stakeholder satisfaction survey to gauge the effectiveness of DOE-LM's communication and outreach strategies. Independent Communication and Outreach Stakeholder Satisfaction Survey More Documents & Publications

45

DOE-STD-1036-93; Guide to Good Practices for Independent Verification  

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

6-93 6-93 June 1993 CHANGE NOTICE NO. 1 December 1998 DOE STANDARD GUIDE TO GOOD PRACTICES FOR INDEPENDENT VERIFICATION U.S. Department of Energy AREA MISC Washington, D.C. 20585 DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited. This document has been reproduced from the best available copy. Available to DOE and DOE contractors from ES&H Technical Information Services, U.S. Department of Energy, (800) 473-4375, fax: (301) 903-9823. Available to the public from the U.S. Department of Commerce, Technology Administration, National Technical Information Service, Springfield, VA 22161; (703) 605-6000. Change Notice No. 1 DOE-STD-1036-93 December 1998 Guide to Good Practices for Independent Verification Page / Section Change p. 11 / Section 4.1.2

46

An independent verification and validation of the Future Theater Level Model conceptual model  

Science Conference Proceedings (OSTI)

This report describes the methodology and results of independent verification and validation performed on a combat model in its design stage. The combat model is the Future Theater Level Model (FTLM), under development by The Joint Staff/J-8. J-8 has undertaken its development to provide an analysis tool that addresses the uncertainties of combat more directly than previous models and yields more rapid study results. The methodology adopted for this verification and validation consisted of document analyses. Included were detailed examination of the FTLM design documents (at all stages of development), the FTLM Mission Needs Statement, and selected documentation for other theater level combat models. These documents were compared to assess the FTLM as to its design stage, its purpose as an analytical combat model, and its capabilities as specified in the Mission Needs Statement. The conceptual design passed those tests. The recommendations included specific modifications as well as a recommendation for continued development. The methodology is significant because independent verification and validation have not been previously reported as being performed on a combat model in its design stage. The results are significant because The Joint Staff/J-8 will be using the recommendations from this study in determining whether to proceed with develop of the model.

Hartley, D.S. III; Kruse, K.L.; Martellaro, A.J.; Packard, S.L.; Thomas, B. Jr.; Turley, V.K.

1994-08-01T23:59:59.000Z

47

Independent verification and benchmark testing of the UNSAT-H computer code, Version 2. 0  

Science Conference Proceedings (OSTI)

Independent testing of the UNSAT-H computer code, Version 2.0, was conducted to establish confidence that the code is ready for general use in performance assessment applications. Verification and benchmark test problems were used to check the correctness of the FORTRAN coding, computational efficiency and accuracy of the numerical algorithm, and code, capability to simulate diverse hydrologic conditions. This testing was performed using a structured and quantitative evaluation protocol. The protocol consisted of: blind testing, independent applications, maintaining test equivalence and use of graduated test cases. Graphical comparisons and calculation of the relative root mean square (RRMS) values were used as indicators of accuracy and consistency levels. Four specific ranges of RRMS values were chosen for in judging the quality of the comparison. Four verification test problems were used to check the computational accuracy of UNSAT-H in solving the uncoupled fluid flow and heat transport equations. Five benchmark test problems, ranging in complexity, were used to check the code's simulation capability. Some of the benchmark test cases include comparisons with laboratory and field data. The primary findings of this independent testing is that the UNSAT-H is fully operationaL In general, the test results showed that computer code produced unsaturated flow simulations with excellent stability, reasonable accuracy, and acceptable speed. This report describes the technical basis, approach, and results of the independent testing. A number of future refinements to the UNSAT-H code are recommended that would improve: computational speed and accuracy, code usability and code portability. Aspects of the code that warrant further testing are outlined.

Baca, R.G.; Magnuson, S.O.

1990-02-01T23:59:59.000Z

48

Independent verification and benchmark testing of the UNSAT-H computer code, Version 2.0  

Science Conference Proceedings (OSTI)

Independent testing of the UNSAT-H computer code, Version 2.0, was conducted to establish confidence that the code is ready for general use in performance assessment applications. Verification and benchmark test problems were used to check the correctness of the FORTRAN coding, computational efficiency and accuracy of the numerical algorithm, and code, capability to simulate diverse hydrologic conditions. This testing was performed using a structured and quantitative evaluation protocol. The protocol consisted of: blind testing, independent applications, maintaining test equivalence and use of graduated test cases. Graphical comparisons and calculation of the relative root mean square (RRMS) values were used as indicators of accuracy and consistency levels. Four specific ranges of RRMS values were chosen for in judging the quality of the comparison. Four verification test problems were used to check the computational accuracy of UNSAT-H in solving the uncoupled fluid flow and heat transport equations. Five benchmark test problems, ranging in complexity, were used to check the code`s simulation capability. Some of the benchmark test cases include comparisons with laboratory and field data. The primary findings of this independent testing is that the UNSAT-H is fully operationaL In general, the test results showed that computer code produced unsaturated flow simulations with excellent stability, reasonable accuracy, and acceptable speed. This report describes the technical basis, approach, and results of the independent testing. A number of future refinements to the UNSAT-H code are recommended that would improve: computational speed and accuracy, code usability and code portability. Aspects of the code that warrant further testing are outlined.

Baca, R.G.; Magnuson, S.O.

1990-02-01T23:59:59.000Z

49

Results of the radiological and beryllium verification survey at the Peek Street Site, Schenectady, New York (SY001V)  

Science Conference Proceedings (OSTI)

At the request of the U.S. Department of Energy (DOE), a team from Oak Ridge National Laboratory conducted an independent verification radiological and non-radioactive beryllium survey at the Peek Street site, located at 425 Peek Street, Schenectady, New York. The purpose of the survey, conducted during 1993 and continuing through January 1994, was to confirm the success of the remedial actions performed to remove any beryllium concentrations or radioactive materials in excess of the identified guidelines. The verification survey included surface gamma scans and gamma readings at one meter indoors and outdoors, alpha and beta scans inside the structure, and the collection of soil, dust and debris samples and smears for radionuclide and beryllium analyses. Results of the survey demonstrated that all radiological and beryllium measurements on the property were within applicable DOE guidelines. Based on all data collected, the industrial property at 425 Peek Street and the adjacent state-owned bike path in Schenectady, New York, conforms to all applicable radiological and non-radioactive beryllium guidelines established for this site by DOE and approved by the State of New York.

Foley, R.D.; Johnson, C.A.; Carrier, R.F.; Allred, J.F.

1994-10-01T23:59:59.000Z

50

An algorithm for independent verification of Gamma Knife{sup TM} treatment plans  

SciTech Connect

A formalism for independent treatment verification has been developed for Gamma Knife{sup TM} radiosurgery in analogy to the second checks being performed routinely in the field of external beam radiotherapy. A verification algorithm is presented, and evaluated based on its agreement with treatment planning calculations for the first 40 Canadian Gamma Knife{sup TM} patients. The algorithm is used to calculate the irradiation time for each shot, and the value of the dose at the maximum dose point in each calculation matrix. Data entry consists of information included on the plan printout, and can be streamlined by using an optional plan import feature. Calculated shot times differed from those generated by the treatment planning software by an average of 0.3%, with a standard deviation of 1.4%. The agreement of dose maxima was comparable with an average of -0.2% and a standard deviation of 1.3%. Consistently accurate comparisons were observed for centrally located lesions treated with a small number of shots. Large discrepancies were almost all associated with dose plans utilizing a large number of collimator plugs, for which the simplifying approximations used by the program are known to break down.

Beck, James; Berndt, Anita [Division of Medical Physics, CancerCare Manitoba, 675 McDermot Avenue, Winnipeg, Manitoba R3E 0V9 (Canada); Winnipeg Centre for Gamma Knife Surgery, Health Sciences Centre, Winnipeg Regional Health Authority, Section of Neurosurgery, Department of Surgery, University of Manitoba (Canada); Division of Medical Physics, CancerCare Manitoba, 675 McDermot Avenue, Winnipeg, Manitoba R3E 0V9 (Canada); Winnipeg Centre for Gamma Knife Surgery, Health Sciences Centre, Winnipeg Regional Health Authority, Section of Neurosurgery, Department of Surgery, University of Manitoba (Canada); Department of Radiology, University of Manitoba (Canada); Department of Physics and Astronomy, University of Manitoba (Canada)

2004-10-01T23:59:59.000Z

51

Independent Verification and Validation Of SAPHIRE 8 System Test Plan Project Number: N6423 U.S. Nuclear Regulatory Commission  

Science Conference Proceedings (OSTI)

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE System Test Plan is to assess the approach to be taken for intended testing activities associated with the SAPHIRE software product. 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

52

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

SciTech Connect

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

53

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

SciTech Connect

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

2009-09-01T23:59:59.000Z

54

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

Science Conference Proceedings (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

55

Writer-independent off-line signature verification using surroundedness feature  

Science Conference Proceedings (OSTI)

The paper presents a novel set of features based on surroundedness property of a signature (image in binary form) for off-line signature verification. The proposed feature set describes the shape of a signature in terms of spatial distribution of black ... Keywords: Feature selection, Shape, Signature verification, Surroundedness, Texture

Rajesh Kumar; J. D. Sharma; Bhabatosh Chanda

2012-02-01T23:59:59.000Z

56

Final Report - Independent Confirmatory Survey Summary and Results for the Hematite Decommissioning Project  

SciTech Connect

The objectives of the confirmatory surveys were to provide independent contractor field data reviews and to generate independent radiological data for use by the NRC in evaluating the adequacy and accuracy of the licensee’s procedures and survey results.

E.N. Bailey

2009-03-18T23:59:59.000Z

57

EA-507; Environmental Assessment and FONSI For The FAA Explosive Detection System Independent Validation And Verification Program INEL  

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

07; Environmental Assessment and FONSI For The FAA Explosive 07; Environmental Assessment and FONSI For The FAA Explosive Detection System Independent Validation And Verification Program INEL Table of Contents 1. NEED FOR PROPOSED ACTION 2. DESCRIPTION OF THE PROPOSED ACTION 3. ALTERNATIVES TO PROPOSED ACTION 4. ENVIRONMENTAL IMPACTS OF PROPOSED ACTION 5. CONCLUSIONS/SUMMARY 6. LIST OF PREPARERS 7. REFERENCES APPENDIX I Map of WRRTF APPENDIX II Accident Safety Analysis FINDING OF NO SIGNIFICANT IMPACT FEDERAL AVIATION ADMINISTRATION EXPLOSIVE DETECTION SYSTEM - INDEPENDENT VALIDATION AND VERIFICATION PROGRAM LIST OF FIGURES Page XXX WATER REACTOR RESEARCH TEST FACT 1. NEED FOR PROPOSED ACTION The urgent development, fabrication, and operation of advanced explosive detection systems are needed by the Federal Aviation Agency (FAA) to

58

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

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

59

Verification and Validation of Facilities Procedures Assessment Plan - Developed By NNSA/Nevada Site Office Independent Oversight Division  

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

Verification and Validation of Facilities Procedures Verification and Validation of Facilities Procedures Assessment Plan NNSA/Nevada Site Office Independent Oversight Division Performance Objective: The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that the facility is operated within its design bases. Criteria: Operations procedures should be written to provide specific direction for operating systems and equipment during normal and postulated abnormal and emergency conditions. (DOE O 5480.19 A) Operations procedures should provide appropriate direction to ensure that the facility is operated within its design bases and should be effectively used to support safe operations of the facility. (DOE O 5480.19 A)

60

Interim Letter Report - Verification Survey of 19 Grids in the Lester Flat Area, David Witherspoon Inc. 1630 Site Knoxville, Tennessee  

SciTech Connect

Perform verification surveys of 19 available grids located in the Lester Flat Area at the Davod Witherspoon Site. The survey grids included E11, E12, E13, F11, F12, F13, F14, F15, G15, G16, G17, H16, H17, H18, X16, X17, X18, K16, and J16.

P.C. Weaver

2008-10-17T23:59:59.000Z

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

New brown dwarfs in Upper Sco using UKIDSS Galactic Cluster Survey science verification data  

E-Print Network (OSTI)

We present first results from a deep (J = 18.7), wide-field (6.5 square degrees) infrared (ZYJHK) survey in the Upper Sco association conducted within the science verification phase of the UKIRT Infrared Deep Sky Survey Galactic Cluster Survey (GCS). Cluster members define a sequence well separated from field stars in the (Z-J,Z) colour-magnitude diagram. We have selected a total of 164 candidates with J = 10.5-18.7 mag from the (Z-J,Z) and (Y-J,Y) diagrams. We further investigated the location of those candidates in the other colour-magnitude and colour-colour diagrams to weed out contaminants. The cross-correlation of the GCS catalogue with the 2MASS database confirms the membership of 116 photometric candidates down to 20 Jupiter masses as they lie within a 2 sigma circle centred on the association mean motion. The final list of cluster members contains 129 sources with masses between 0.3 and 0.007 Msun. We extracted a dozen new low-mass brown dwarfs below 20 Mjup, the limit of previous surveys in the region. Finally, we have derived the mass function in Upper Sco over the 0.3-0.01 Msun mass range, best fit by a single segment with a slope of index alpha = 0.6+/-0.1, in agreement with previous determination in open clusters.

N. Lodieu; N. C. Hambly; R. F. Jameson; S. T. Hodgkin; G. Carraro; T. R. Kendall

2006-10-05T23:59:59.000Z

62

Independent Confirmatory Survey Summary and Results for the Plum Brook Reactor Facility Sandusky OH  

SciTech Connect

The objectives of the confirmatory survey activities were to provide independent contractor field data reviews and to generate independent radiological data for use by the Nuclear Regulatory Commission (NRC) in evaluating the adequacy and accuracy of the licensee’s procedures and final status survey (FSS) results.

E.N. Bailey

2008-05-06T23:59:59.000Z

63

Text-independent speaker verification: state of the art and challenges  

Science Conference Proceedings (OSTI)

Speech is often the only available modality to recognize the identity of a person (over the telephone, the radio, in the dark,. . . ). Automatic speaker recognition has been studied for several decades. In this chapter the state of the current text-independant ...

Dijana Petrovska-Delacrétaz; Asmaa El Hannani; Gérard Chollet

2007-01-01T23:59:59.000Z

64

Trojan Nuclear Plant Decommissioning: Final Survey for the Independent Spent Fuel Storage Installation Site  

Science Conference Proceedings (OSTI)

This report describes the final radiological survey for the area where Portland General Electric (PGE) will construct the Independent Spent Fuel Storage Installation (ISFSI) at Trojan nuclear power plant. The survey fulfills the requirements for release of this area from Trojan's 10 CFR 50 license before radiation levels increase with spent fuel storage in the ISFSI.

1998-05-13T23:59:59.000Z

65

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

SciTech Connect

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE software design and interface design is to assess the activities that results in the development, documentation, and review of a software design that meets the requirements defined in the software requirements documentation. 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) design specification.

Kent Norris

2010-03-01T23:59:59.000Z

66

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

SciTech Connect

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE software design and interface design is to assess the activities that results in the development, documentation, and review of a software design that meets the requirements defined in the software requirements documentation. 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) design specification.

Kent Norris

2009-10-01T23:59:59.000Z

67

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

SciTech Connect

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

68

Independent Verification and Validation Of SAPHIRE 8 Volume 3 Users' Guide Project Number: N6423 U.S. Nuclear Regulatory Commission  

Science Conference Proceedings (OSTI)

The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE 8 Volume 3 Users’ Guide is to assess the user documentation for its completeness, correctness, and consistency with respect to requirements for user interface and for any functionality that can be invoked by the user. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

Kent Norris

2010-03-01T23:59:59.000Z

69

ORISE: Independent verification  

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

to determine the effectiveness of radiological cleanup at decontamination and decommissioning (D&D) projects across the United States. Since 1980, ORISE has performed...

70

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3  

SciTech Connect

This report is the third volume in the final report for the Expert System Verification and Validation (V&V) project which was jointly sponsored by the Nuclear Regulatory Commission and the Electric Power Research Institute. The ultimate objective is the formulation of guidelines for the V&V of expert systems for use in nuclear power applications. The purpose of this activity was to survey and document techniques presently in use for expert system V&V. The survey effort included an extensive telephone interviewing program, site visits, and a thorough bibliographic search and compilation. The major finding was that V&V of expert systems is not nearly as established or prevalent as V&V of conventional software systems. When V&V was used for expert systems, it was almost always at the system validation stage after full implementation and integration usually employing the non-systematic dynamic method of {open_quotes}ad hoc testing.{close_quotes} There were few examples of employing V&V in the early phases of development and only weak sporadic mention of the possibilities in the literature. There is, however, a very active research area concerning the development of methods and tools to detect problems with, particularly, rule-based expert systems. Four such static-testing methods were identified which were not discovered in a comprehensive review of conventional V&V methods in an earlier task.

Groundwater, E.H.; Miller, L.A.; Mirsky, S.M. [Science Applications International Corp., McLean, VA (United States)

1995-03-01T23:59:59.000Z

71

SUMMARY AND RESULTS LETTER REPORT – INDEPENDENT VERIFICATION OF THE HIGH FLUX BEAM REACTOR UNDERGROUND UTILITIES REMOVAL PROJECT, PHASE 3: TRENCHES 2, 3, AND 4 BROOKHAVEN NATIONAL LABORATORY UPTON, NEW YORK  

SciTech Connect

5098-LR-02-0 SUMMARY AND RESULTS LETTER REPORT – INDEPENDENT VERIFICATION OF THE HIGH FLUX BEAM REACTOR UNDERGROUND UTILITIES REMOVAL PROJECT, PHASE 3 TRENCHES 2, 3, AND 4 BROOKHAVEN NATIONAL LABORATORY

E.M. Harpenau

2010-11-15T23:59:59.000Z

72

Independent Oversight Lessons Learned from Targeted Reviews of Implementation Verification Review Processes at Department of Energy Nuclear Facilities, May 2013  

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

Lessons Learned from Targeted Reviews of Implementation Verification Review Processes at Department of Energy Nuclear Facilities May 2013 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy Table of Contents Acronyms ......................................................................................................................................................ii Executive Summaiy .....................................................................................................................................iii 1.0 Introduction ............................................................................................................................................. 1

73

Independent Oversight Lessons Learned from Targeted Reviews of Implementation Verification Review Processes at Department of Energy Nuclear Facilities, May 2013  

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

Lessons Learned from Targeted Reviews of Implementation Verification Review Processes at Department of Energy Nuclear Facilities May 2013 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy Table of Contents Acronyms ......................................................................................................................................................ii Executive Summaiy .....................................................................................................................................iii 1.0 Introduction ............................................................................................................................................. 1

74

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2  

SciTech Connect

By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of conventional software. The 153 methods so identified were classified according to their appropriateness for various phases of a developmental life-cycle -- requirements, design, and implementation; the last category was subdivided into two, static testing and dynamic testing methods. The methods were then characterized in terms of eight rating factors, four concerning ease-of-use of the methods and four concerning the methods` power to detect defects. Based on these factors, two measurements were developed to permit quantitative comparisons among methods, a Cost-Benefit metric and an Effectiveness Metric. The Effectiveness Metric was further refined to provide three different estimates for each method, depending on three classes of needed stringency of V&V (determined by ratings of a system`s complexity and required-integrity). Methods were then rank-ordered for each of the three classes by terms of their overall cost-benefits and effectiveness. The applicability was then assessed of each for the identified components of knowledge-based and expert systems, as well as the system as a whole.

Mirsky, S.M.; Groundwater, E.H.; Hayes, J.E.; Miller, L.A. [Science Applications International Corp., McLean, VA (United States)

1995-03-01T23:59:59.000Z

75

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

Science Conference Proceedings (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

76

Transient analysis for the tajoura critical facility with IRT-2M HEU fuel and IRT-4M leu fuel : ANL independent verification results.  

SciTech Connect

Calculations have been performed for postulated transients in the Critical Facility at the Tajoura Nuclear Research Center (TNRC) in Libya. These calculations have been performed at the request of staff of the Renewable Energy and Water Desalinization Research Center (REWDRC) who are performing similar calculations. The transients considered were established during a working meeting between ANL and REWDRC staff on October 1-2, 2005 and subsequent email correspondence. Calculations were performed for the current high-enriched uranium (HEU) core and the proposed low-enriched uranium (LEU) core. These calculations have been performed independently from those being performed by REWDRC and serve as one step in the verification process.

Garner, P. L.; Hanan, N. A.

2005-12-02T23:59:59.000Z

77

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

SciTech Connect

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

78

Transient analyses for the Uzbekistan VVR-SM reactor with IRT-3M HEU fuel and IRT-4M LEU fuel : ANL independent verification results.  

Science Conference Proceedings (OSTI)

Calculations have been performed for postulated transients in the VVR-SM Reactor at the Institute of Nuclear Physics (INP) of the Academy of Sciences in the Republic of Uzbekistan. (The reactor designation in Cyrillic is BBP-CM; transliterating characters to English gives VVRSM but translating words gives WWR-SM.) These calculations have been performed at the request of staff of the INP who are performing similar calculations. The transients considered were established during working meetings between Argonne National Laboratory (ANL) and INP staff during summer 2006 [Ref. 1], subsequent email correspondence, and subsequent staff visits. Calculations were performed for the current high-enriched uranium (HEU) core, the proposed low-enriched uranium (LEU) core, and one mixed HEU-LEU core during the transition. These calculations have been performed independently from those being performed by INP and serve as one step in the verification process.

Garner, P. L.; Hanan, N. A.; Nuclear Engineering Division

2007-09-24T23:59:59.000Z

79

INDEPENDENT CONFIRMATORY SURVEY OF THE NUCLEAR RESEARCH LABORATORY AT THE UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN, ILLINOIS  

SciTech Connect

ORAU conducted confirmatory survey activities within the NRL at the University during the week of May 7, 2012. The survey activities included visual inspections/ assessments, surface activity measurements, and volumetric concrete sampling activities. During the course of the confirmatory activities, ORAU noted several issues with the survey-for-release activities performed at the University. Issues included inconsistencies with: survey unit classifications were not designated according to Multi-Agency Radiation Survey and Site Investigation Manual guidance; survey instrument calibrations were not representative of the radionuclides of concern; calculations for instrumentation detection capabilities did not align with the release criteria discussed in the licensee’s survey guidance documents; total surface activity measurements were in excess of the release criteria; and Co-60 and Eu-152 concentrations in the confirmatory concrete samples were above their respective guidelines. Based on the significant programmatic issues identified, ORAU cannot independently conclude that the NRL satisfied the requirements and limits for release of materials without radiological restrictions.

EVAN M. HARPENAU

2012-06-28T23:59:59.000Z

80

Independent Verification of Research Reactor Operation (Analysis of the Georgian IRT-M Reactor by the Isotope Ratio Method)  

SciTech Connect

The U.S. Department of Energy’s Office of Nonproliferation and International Security (NA-24) develops technologies to aid in implementing international nuclear safeguards. The Isotope Ratio Method (IRM) was successfully developed in 2005 – 2007 by Pacific Northwest National Laboratory (PNNL) and the Republic of Georgia’s Andronikashvili Institute of Physics as a generic technology to verify the declared operation of water-moderated research reactors, independent of spent fuel inventory. IRM estimates the energy produced over the operating lifetime of a fission reactor by measuring the ratios of the isotopes of trace impurity elements in non-fuel reactor components.The Isotope Ratio Method is a technique for estimating the energy produced over the operating lifetime of a fission reactor by measuring the ratios of the isotopes of impurity elements in non-fuel reactor components.

Cliff, John B.; Frank, Douglas P.; Gerlach, David C.; Gesh, Christopher J.; Little, Winston W.; Reid, Bruce D.; Tsiklauri, Georgi V.; Abramidze, Sh; Rostomashvili, Z.; Kiknadze, G.; Dzhavakhishvily, O.; Nabakhtiani, G.

2010-08-11T23:59:59.000Z

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

Neutronics, steady-state, and transient analyses for the Poland MARIA reactor for irradiation testing of LEU lead test fuel assemblies from CERCA : ANL independent verification results.  

Science Conference Proceedings (OSTI)

The MARIA reactor at the Institute of Atomic Energy (IAE) in Swierk (30 km SE of Warsaw) in the Republic of Poland is considering conversion from high-enriched uranium (HEU) to low-enriched uranium (LEU) fuel assemblies (FA). The FA design in MARIA is rather unique; a suitable LEU FA has never been designed or tested. IAE has contracted with CERCA (the fuel supply portion of AREVA in France) to supply 2 lead test assemblies (LTA). The LTAs will be irradiated in MARIA to burnup level of at least 40% for both LTAs and to 60% for one LTA. IAE may decide to purchase additional LEU FAs for a full core conversion after the test irradiation. The Reactor Safety Committee within IAE and the National Atomic Energy Agency in Poland (PAA) must approve the LTA irradiation process. The approval will be based, in part, on IAE submitting revisions to portions of the Safety Analysis Report (SAR) which are affected by the insertion of the LTAs. (A similar process will be required for the full core conversion to LEU fuel.) The analysis required was established during working meetings between Argonne National Laboratory (ANL) and IAE staff during August 2006, subsequent email correspondence, and subsequent staff visits. The analysis needs to consider the current high-enriched uranium (HEU) core and 4 core configurations containing 1 and 2 LEU LTAs in various core positions. Calculations have been performed at ANL in support of the LTA irradiation. These calculations are summarized in this report and include criticality, burn-up, neutronics parameters, steady-state thermal hydraulics, and postulated transients. These calculations have been performed at the request of the IAE staff, who are performing similar calculations to be used in their SAR amendment submittal to the PAA. The ANL analysis has been performed independently from that being performed by IAE and should only be used as one step in the verification process.

Garner, P. L.; Hanan, N. A. (Nuclear Engineering Division)

2011-06-07T23:59:59.000Z

82

"INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE FORD NUCLEAR REACTOR, REVISION 1, ANN ARBOR, MICHIGAN  

SciTech Connect

At the NRC?s request, ORAU conducted confirmatory surveys of the FNR during the period of December 4 through 6, 2012. The survey activities included visual inspections and measurement and sampling activities. Confirmatory activities also included the review and assessment of UM?s project documentation and methodologies. Surface scans identified elevated activity in two areas. The first area was on a wall outside of Room 3103 and the second area was in the southwest section on the first floor. The first area was remediated to background levels. However, the second area was due to gamma shine from a neighboring source storage area. A retrospective analysis of UM?s FSS data shows that for the SUs investigated by the ORAU survey team, UM met the survey requirements set forth in the FSSP. The total mean surface activity values were directly compared with the mean total surface activity reported by UM. Mean surface activity values determined by UM were within two standard deviations of the mean determined by ORAU. Additionally, all surface activity values were less than the corresponding gross beta DCGL{sub W}. Laboratory analysis of the soil showed that COC concentrations were less than the respective DCGL{sub W} values. For the inter-lab comparison, the DER was above 3 for only one sample. However, since the sum of fractions for each of the soil samples was below 1, thus none of the samples would fail to meet release guidelines. Based on the findings of the side-by-side direct measurements, and after discussion with the NRC and ORAU, UM decided to use a more appropriate source efficiency in their direct measurement calculations and changed their source efficiency from 0.37 to 0.25.

ALTIC, NICK A

2013-08-01T23:59:59.000Z

83

INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE FORD NUCLEAR REACTOR, ANN ARBOR, MICHIGAN  

SciTech Connect

At the NRC?s request, ORAU conducted confirmatory surveys of the FNR during the period of December 4 through 6, 2012. The survey activities included visual inspections and measurement and sampling activities. Confirmatory activities also included the review and assessment of UM?s project documentation and methodologies. Surface scans identified elevated activity in two areas. The first area was on a wall outside of Room 3103 and the second area was in the southwest section on the first floor. The first area was remediated to background levels. However, the second area was due to gamma shine from a neighboring source storage area. A retrospective analysis of UM?s FSS data shows that for the SUs investigated by the ORAU survey team, UM met the survey requirements set forth in the FSSP. The total mean surface activity values were directly compared with the mean total surface activity reported by UM. Mean surface activity values determined by UM were within two standard deviations of the mean determined by ORAU. Additionally, all surface activity values were less than the corresponding gross beta DCGLW. Laboratory analysis of the soil showed that COC concentrations were less than the respective DCGLW values. For the inter-lab comparison, the DER was above 3 for only one sample. However, since the sum of fractions for each of the soil samples was below 1, thus none of the samples would fail to meet release guidelines. Based on the findings of the side-by-side direct measurements, and after discussion with the NRC and ORAU, UM decided to use a more appropriate source efficiency in their direct measurement calculations and changed their source efficiency from 0.37 to 0.25.

ALTIC, NICK A

2013-07-25T23:59:59.000Z

84

FINAL REPORT FOR INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE HEMATITE DECOMMISSIONING PROJECT, FESTUS, MISSOURI  

SciTech Connect

ORAU conducted confirmatory surveys of the Hematite site during the period of June 12 through June 13, 2012. The survey activities included in-process inspections, document review, walkover surveys, sampling activities, and laboratory analysis of split samples. WEC was forthcoming with information relating to practices, procedures, and surface scan results. Scans performed by the WEC technician were extremely thorough and methodical. The WEC and ORAU technicians identified the same areas of elevated activity with comparable detector responses. WEC sampling of re-use soils, waste soils, sediments, and groundwater were conducted under ORAU observation. The sampling efforts observed by ORAU were performed in accordance with site-specific procedures and in a manner sufficient to provide quality supporting data. Three observations were made during groundwater sampling activities. First, the water level indicator was re-used without submitting rinse blank. Second, bubbles created during tubing extraction could indicate the presence of volatilized organic compounds. Third, samplers did not use a photo ionization detector prior to sample collection to indicate the presence of volatile organic vapors. Results of split samples indicated a high level of comparability between the WEC and ORAU/ORISE radiological laboratories. Analytical practices and procedures appear to be sufficient in providing quality radiochemical data. All concentrations from the Soil Re-Use Area and sediment samples are below Uniform radionuclide-specific derived concentration guideline level (DCGL{sub W}) limits; thus, comparisons to the less conservative stratified geometry were not required. Results were compared to individual DCGLs and using the sum of fractions approach. Both composite soil samples collected from the Waste Handling Area (Bins 1 and 4) were well below the prescribed USEI waste acceptance criteria.

Bailey, Erika N.; Lee, Jason D.

2012-09-21T23:59:59.000Z

85

Independent Confirmatory Survey Report for the University of Arizona Nuclear Reactor Laboratory, Tucson, Arizona  

SciTech Connect

The University of Arizona (University) research reactor is a TRIGA swimming pool type reactor designed by General Atomics and constructed at the University in 1958. The reactor first went into operation in December of 1958 under U.S. Nuclear Regulatory Commission (NRC) license R-52 until final shut down on May 18, 2010. Initial site characterization activities were conducted in February 2009 during ongoing reactor operations to assess the radiological status of the Nuclear Reactor Laboratory (NRL) excluding the reactor tank, associated components, and operating systems. Additional post-shutdown characterization activities were performed to complete characterization activities as well as verify assumptions made in the Decommissioning Plan (DP) that were based on a separate activation analysis (ESI 2009 and WMG 2009). Final status survey (FSS) activities began shortly after the issuance of the FSS plan in May 2011. The contractor completed measurement and sampling activities during the week of August 29, 2011.

Nick A. Altic

2011-11-11T23:59:59.000Z

86

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

SciTech Connect

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

87

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

SciTech Connect

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-03-01T23:59:59.000Z

88

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

SciTech Connect

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

89

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

SciTech Connect

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 Harpeneau

2011-06-24T23:59:59.000Z

90

Independent Verification Survey Report for the Offsite Portion of the Potential Release Site-7 Abandoned Sanitary Line, Miamisburg Closure Project, Miamisburg, Ohio  

SciTech Connect

The ORISE objective was to confirm that the remedial action process implemented by the contractor was in accordance with the PRS-7 Work Package. Following removal of the sanitary line, the soil beneath the line would be sampled to determine if remediation was required (ARC 2007a).

P.C. Weaver

2008-08-15T23:59:59.000Z

91

Independent Verification: Essential Action to Assure Integrity ...  

Science Conference Proceedings (OSTI)

... of frauds remains lodged in the public's consciousness and engenders ... Human Factor Concerns: Significant ergonomic issues have been raised ...

2010-03-19T23:59:59.000Z

92

Hi-Lite: the convergence of compiler technology and program verification  

Science Conference Proceedings (OSTI)

Formal program verification tools check that a program correctly implements its specification. Existing specification languages for well-known programming languages (Ada, C, Java, C#) have been developed independently from the programming language to ... Keywords: compiler technology, formal verification, testing

Johannes Kanig; Edmond Schonberg; Claire Dross

2012-12-01T23:59:59.000Z

93

Independent Oversight Review, Y-12 National Security Complex...  

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

Y-12 National Security Complex - June 2012 Independent Oversight Review, Y-12 National Security Complex - June 2012 June 2012 Review of the Y-12 Implementation Verification Review...

94

Verification of Adaptive Systems  

SciTech Connect

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.

Pullum, Laura L [ORNL; Cui, Xiaohui [New York Institute of Technology (NYIT); Vassev, Emil [Lero – The Irish Software Engineering Research Centre; Hinchey, Mike [Lero – The Irish Software Engineering Research Centre; Rouff, Christopher [Lockheed Martin Corporation; Buskens, Richard [Lockheed Martin Corporation

2012-01-01T23:59:59.000Z

95

Experimental verification of quantum computations  

E-Print Network (OSTI)

Quantum computers are expected to offer substantial speedups over their classical counterparts and to solve problems that are intractable for classical computers. Beyond such practical significance, the concept of quantum computation opens up new fundamental questions, among them the issue whether or not quantum computations can be certified by entities that are inherently unable to compute the results themselves. Here we present the first experimental verification of quantum computations. We show, in theory and in experiment, how a verifier with minimal quantum resources can test a significantly more powerful quantum computer. The new verification protocol introduced in this work utilizes the framework of blind quantum computing and is independent of the experimental quantum-computation platform used. In our scheme, the verifier is only required to generate single qubits and transmit them to the quantum computer. We experimentally demonstrate this protocol using four photonic qubits and show how the verifier can test the computer's ability to perform measurement-based quantum computations.

Stefanie Barz; Joseph F. Fitzsimons; Elham Kashefi; Philip Walther

2013-08-30T23:59:59.000Z

96

Independent Oversight, Nevada National Security Site - March 2012 |  

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

Oversight, Nevada National Security Site - March 2012 Oversight, Nevada National Security Site - March 2012 Independent Oversight, Nevada National Security Site - March 2012 March 2012 Review of the Nevada National Security Site Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Nevada National Security Site (NNSS) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the Office of Health, Safety and Security (HSS). The review was performed by the HSS Office of Safety and Emergency Management Evaluations from February 6 to 15, 2012. Independent Oversight, Nevada National Security Site - March 2012 More Documents & Publications CRAD, Implementation Verification Review - July 20, 2011

97

Independent Oversight Review, Savannah River Site - September 2011 |  

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

Savannah River Site - September 2011 Savannah River Site - September 2011 Independent Oversight Review, Savannah River Site - September 2011 September 2011 Review of the Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities The Office of Enforcement and Oversight (Independent Oversight) within the Office of Health, Safety and Security (HSS), conducted an independent review of the Implementation Verification Review (IVR) Processes at Savannah River Site Environmental Management Nuclear Facilities. The overall objective of the Independent Oversight IVR review process includes verification that contractors and site offices have developed and implemented appropriate methods for performing IVRs (including direction for scheduling and conducting IVR activities) and measurement of the

98

Independent Oversight Review, Savannah River Site - September 2011 |  

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

1 1 Independent Oversight Review, Savannah River Site - September 2011 September 2011 Review of the Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities The Office of Enforcement and Oversight (Independent Oversight) within the Office of Health, Safety and Security (HSS), conducted an independent review of the Implementation Verification Review (IVR) Processes at Savannah River Site Environmental Management Nuclear Facilities. The overall objective of the Independent Oversight IVR review process includes verification that contractors and site offices have developed and implemented appropriate methods for performing IVRs (including direction for scheduling and conducting IVR activities) and measurement of the

99

Treaty Verification | ornl.gov  

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

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

100

CRAD, Implementation Verification Review - July 20, 2011 | Department of  

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

Implementation Verification Review - July 20, 2011 Implementation Verification Review - July 20, 2011 CRAD, Implementation Verification Review - July 20, 2011 July 20, 2011 Implementation Verification Review of Safety Basis Hazard Controls (HSS CRAD 45-39, Rev. 1) The Implementation Verification Review (IVR) inspection will evaluate the effectiveness of processes for independently verifying and re-verifying implementation of the safety basis hazard controls at the site's nuclear facilities and associated site office oversight methodology. The inspection will consist of an evaluation of the procedures and processes that establish the IVR or similar process, as well as an evaluation of IVR or similar processes implementation and oversight. Review of implementation at a site may include any or all of the following activities:

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

Modular data structure verification  

E-Print Network (OSTI)

This dissertation describes an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my ...

Kuncak, Viktor (Viktor Jaroslav), 1977-

2007-01-01T23:59:59.000Z

102

Automated deduction for verification  

Science Conference Proceedings (OSTI)

Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beginning. Satisfiability solvers for propositional and first-order logic significantly automate the task ...

Natarajan Shankar

2009-10-01T23:59:59.000Z

103

Monitoring, verification, and accounting  

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

verification, and accounting (MVA) activities are underway verification, and accounting (MVA) activities are underway to ensure the injected CO 2 remains in the geologic formation. The first plant has been capturing CO 2 since December 2012, while the second plant completed construction in February and began carbon capture operations in March. Both units are now operating at full capacity. More than 222,000 tons of CO 2 have been captured and provided for storage

104

Independent Oversight Review, Oak Ridge Office of Environmental Management  

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

Independent Oversight Review, Oak Ridge Office of Environmental Independent Oversight Review, Oak Ridge Office of Environmental Management - February 2012 Independent Oversight Review, Oak Ridge Office of Environmental Management - February 2012 February 2012 Review of the Implementation Verification Review Processes at the Oak Ridge Office of Environmental Management for Building 3019 This report documents the independent review of implementation verification review (IVR) processes at the Oak Ridge Office of Environmental Management (ORO-EM) conducted by the Office of Enforcement and Oversight (Independent Oversight) within the Office of Health, Safety and Security (HSS). The review involved evaluation of established IVR processes and implementation of the newly revised documented safety analysis (DSA) and technical safety

105

Survey Consumption  

Gasoline and Diesel Fuel Update (EIA)

fsidentoi fsidentoi Survey Consumption and 'Expenditures, April 1981 March 1982 Energy Information Administration Wasningtoa D '" N """"*"""*"Nlwr. . *'.;***** -. Mik>. I This publication is available from ihe your COr : 20585 Residential Energy Consumption Survey: Consum ption and Expendi tures, April 1981 Through March 1982 Part 2: Regional Data Prepared by: Bruce Egan This report was prepared by the Energy Information Administra tion, the independent statistical

106

International Comparison of Product Certification and Verification...  

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

International Comparison of Product Certification and Verification Methods for Appliances Title International Comparison of Product Certification and Verification Methods for...

107

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

108

Verification and validation benchmarks.  

SciTech Connect

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

109

Independent Environmental  

E-Print Network (OSTI)

The Oak Ridge Institute for Science and Education (ORISr.:.) is pleased to provide the enclosed sitcspecific 51.1rn:y plan for conducting con6.rmatory surveys of the final status suryer actidties

I\\r. John Nicholson; Wade C. L~ms

2011-01-01T23:59:59.000Z

110

LETTER REPORT. INDEPENDENT CONFIRMATORY SURVEY RESULTS OF SOILS ASSOCIATED WITH THE ARGYLE STREET SEWER LINE AT THE UNITED NUCLEAR CORPORATION NAVAL PRODUCTS SITE, NEW HAVEN, CONNECTICUT  

SciTech Connect

Oak Ridge Institute for Science and Education (ORISE) personnel visited the United Nuclear Corporation (UNC) Naval Products site on three separate occasions during the months of October and November 2011. The purpose of these visits was to conduct confirmatory surveys of soils associated with the Argyle Street sewer line that was being removed. Soil samples were collected from six different, judgmentally determined locations in the Argyle Street sewer trench. In addition to the six soil samples collected by ORISE, four replicate soil samples were collected by Cabrera Services, Inc. (CSI) for analysis by the ORISE laboratory. Replicate samples S0010 and S0011 were final status survey (FSS) bias samples; S0012 was an FSS systematic sample; and S0015 was a waste characterization sample. Six soil samples were also collected for background determination. Uranium-235 and uranium-238 concentrations were determined via gamma spectroscopy; the spectra were also reviewed for other identifiable photopeaks. Radionuclide concentrations for these soil samples are provided. In addition to the replicate samples and the samples collected by ORISE, CSI submitted three soil samples for inter-laboratory comparison analyses. One sample was from the background reference area, one was from waste characterization efforts (material inside the sewer line), and one was a FSS sample. The inter-laboratory comparison analyses results between ORISE and CSI were in agreement, except for one sample collected in the reference area. Smear results For Argyle Street sewer pipes are tabulated.

Adams, Wade C.

2012-01-24T23:59:59.000Z

111

SAPHIRE 8 Software Independent Verification and Validation Plan  

SciTech Connect

SAPHIRE 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach is being taken for the IV&V activities on each vital software object. The IV&V plan is structured around NUREG/BR-0167, “Software Quality Assurance Program and Guidelines,” February 1993. The Nuclear Regulatory Research Office Instruction No.: PRM-12, “Software Quality Assurance for RES Sponsored Codes,” March 26, 2007 specifies that RES-sponsored software is to be evaluated against NUREG/BR-0167. Per the guidance in NUREG/BR-0167, SAPHIRE is classified as “Level 1.” Level 1 software corresponds to technical application software used in a safety decision.

Rae J. Nims

2009-04-01T23:59:59.000Z

112

SAPHIRE 8 Software Independent Verification and Validation Plan  

Science Conference Proceedings (OSTI)

SAPHIRE 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach is being taken for the IV&V activities on each vital software object. The IV&V plan is structured around NUREG/BR-0167, “Software Quality Assurance Program and Guidelines,” February 1993. The Nuclear Regulatory Research Office Instruction No.: PRM-12, “Software Quality Assurance for RES Sponsored Codes,” March 26, 2007 specifies that RES-sponsored software is to be evaluated against NUREG/BR-0167. Per the guidance in NUREG/BR-0167, SAPHIRE is classified as “Level 1.” Level 1 software corresponds to technical application software used in a safety decision.

Rae J. Nims; Kent M. Norris

2010-02-01T23:59:59.000Z

113

TFE Verification Program  

DOE Green Energy (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 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 TF Verification Program builds directly on the technology and data base developed in the 1960s and 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 but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern. The general logic and strategy of the program to achieve its objectives is shown on Fig. 1-1. Five prior programs form the basis for the TFE Verification Program: (1) AEC/NASA program of the 1960s and early 1970; (2) SP-100 concept development program;(3) SP-100 thermionic technology program; (4) Thermionic irradiations program in TRIGA in FY-86; (5) and Thermionic Technology Program in 1986 and 1987. 18 refs., 64 figs., 43 tabs.

Not Available

1990-03-01T23:59:59.000Z

114

Confirmatory radiological survey for the 190-C Main Pumphouse Facility decommissioning at the Hanford Site, Richland, Washington  

Science Conference Proceedings (OSTI)

An independent assessment of remedial action activities at the 190-C Main Pumphouse Facility at the Hanford Site, Richland, Washington has been accomplished by the Oak Ridge National Laboratory Environmental Assessments Group. The purpose of the assessment was to confirm the site`s compliance with DOE applicable guidelines and provide independent measurements of the activity levels in the 190-C trenches and 105-C process water tunnels. The assessment included reviews of the Decontamination and Decommissioning Plan and data provided in the pre- and post-remedial action surveys. An on-site independent verification survey of the facility was conducted during the period of November 19--21, 1996. The independent verification survey included beta and gamma scans, smears for removable contamination, and direct measurements for beta-gamma activity in the trenches and tunnels. The same measurements and scans, with the addition of alpha measurements, were performed on the floor in the filter repair confinement area. The facility was also spot-checked for direct alpha and beta-gamma activity.

Coleman, R.L. [Oak Ridge National Lab., TN (United States); Forbes, G.H. [Oak Ridge National Lab., Grand Junction, CO (United States). Environmental Technology Section

1997-06-01T23:59:59.000Z

115

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

2011-09-02T23:59:59.000Z

116

Independent Oversight, Nevada National Security Site - March 2012 |  

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

Independent Oversight, Nevada National Security Site - March 2012 Independent Oversight, Nevada National Security Site - March 2012 Independent Oversight, Nevada National Security Site - March 2012 March 2012 Review of the Nevada National Security Site Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Nevada National Security Site (NNSS) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the Office of Health, Safety and Security (HSS). The review was performed by the HSS Office of Safety and Emergency Management Evaluations from February 6 to 15, 2012. Independent Oversight, Nevada National Security Site - March 2012 More Documents & Publications Independent Oversight Review, Y-12 National Security Complex - June 2012

117

Automatic Verification of String Manipulating ProgramsOverview Outline Overview Symbolic String Verification Composite Verification References  

E-Print Network (OSTI)

Is it Vulnerable? We investigate string verification problem and present an automata-based approach for automatic verification of string manipulating programs based on symbolic string analysis. String analysis plays an important role in the security area. For instance, one can detect various web vulnerabilities like SQL Command Injection and Cross Site Scripting (XSS) attacks. Fang Yu, UCSB Automatic Verification of String Manipulating ProgramsOutline

Fang Yu; Cs Guest Leture

2009-01-01T23:59:59.000Z

118

Review of the Implementation Verification Rev iew Processes at the Savannah River Site Environmental Management Nuclear Facilities, September 2011  

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

Implementation Verification Review Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities May 2011 September 2011 Office of Safety and Emergency Management Evaluations Office of Health, Safety and Security U.S. Department of Energy i Independent Oversight Review of the Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities Table of Contents 1.0 Purpose ................................................................................................................................................. 1 2.0 Background ........................................................................................................................................... 1

119

Review of the Implementation Verification Rev iew Processes at the Savannah River Site Environmental Management Nuclear Facilities, September 2011  

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

Implementation Verification Review Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities May 2011 September 2011 Office of Safety and Emergency Management Evaluations Office of Health, Safety and Security U.S. Department of Energy i Independent Oversight Review of the Implementation Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities Table of Contents 1.0 Purpose ................................................................................................................................................. 1 2.0 Background ........................................................................................................................................... 1

120

Webinar - Software Verification & Validation? - 2012-08-04  

Science Conference Proceedings (OSTI)

Webinar - Software Verification & Validation [1200]. Purpose: Webinar - Software Verification & Validation [1200]. At the ...

2013-06-03T23:59:59.000Z

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

Security and Verification Provable cryptography  

E-Print Network (OSTI)

Security and Verification Provable cryptography Benjamin Grégoire1 Tamara Rezk1 1INRIA Sophia Antipolis - Méditerranée, France Cours de Master 2 Univerisité de Nice Sophia-Antipolis Security and Verification 1/ 33 #12;Cryptanalysis-driven Security Propose a cryptographic scheme Wait for someone to come

Gregoire, Benjamin - Institut National de Recherche en Informatique et en Automatique, Centre de recherche Sophia Antipolis

122

ETV Joint Verification Statement  

E-Print Network (OSTI)

Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environmental protection by substantially accelerating the acceptance and use of improved and cost-effective technologies. ETV seeks to achieve this goal by providing high-quality, peer-reviewed data on technology performance to those involved in the design, distribution, financing, permitting, purchase, and use of environmental technologies. ETV works in partnership with recognized standards and testing organizations and stakeholder groups consisting of regulators, buyers, and vendor organizations, with the full participation of individual technology developers. The program evaluates the performance of innovative technologies by developing test plans that are responsive to the needs of stakeholders, conducting field or laboratory tests (as appropriate), collecting and analyzing data, and preparing peer-reviewed reports. All evaluations are conducted in accordance with rigorous quality assurance protocols to ensure that data of known and adequate quality are generated and that the results are defensible.

unknown authors

1999-01-01T23:59:59.000Z

123

Verification and validation of RADMODL Version 1.0  

Science Conference Proceedings (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

124

Learning meets verification  

Science Conference Proceedings (OSTI)

In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions catering for specialized or richer classes of automata. Furthermore, we survey their recent ...

Martin Leucker

2006-11-01T23:59:59.000Z

125

Independent Oversight Review, Argonne National Laboratory - November 2011 |  

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

Review, Argonne National Laboratory - Review, Argonne National Laboratory - November 2011 Independent Oversight Review, Argonne National Laboratory - November 2011 November 2011 Review of the Argonne National Laboratory Alpha-Gamma Hot Cell Facility Readiness Assessment (Implementation Verification Review Sections) This report documents the review of the Alpha-Gamma Hot Cell Facility (AGHCF) readiness assessment (RA) by the Office of Enforcement and Oversight (Independent Oversight), within the Office of Health, Safety and Security (HSS). The overall objectives of the IVR assessments include verification that contractors and site offices have procedures and processes for scheduling and conducting IVR activities in place and have developed and implemented appropriate methods for performing implementation

126

Scoring Rules for Forecast Verification  

Science Conference Proceedings (OSTI)

The problem of probabilistic forecast verification is approached from a theoretical point of view starting from three basic desiderata: additivity, exclusive dependence on physical observations (“locality”), and strictly proper behavior. By ...

Riccardo Benedetti

2010-01-01T23:59:59.000Z

127

Wavelets and Field Forecast Verification  

Science Conference Proceedings (OSTI)

Current field forecast verification measures are inadequate, primarily because they compress the comparison between two complex spatial field processes into one number. Discrete wavelet transforms (DWTs) applied to analysis and contemporaneous ...

William M. Briggs; Richard A. Levine

1997-06-01T23:59:59.000Z

128

Runtime verification: the application perspective  

Science Conference Proceedings (OSTI)

In the past decade, Runtime Verification (RV) has gained much focus, from both the research community and practitioners. Roughly speaking, RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems' executions and ...

Yliès Falcone; Lenore D. Zuck

2012-10-01T23:59:59.000Z

129

Proceedings: Demand Response Evaluation, Measurement, and Verification Workshop Highlights and Presentations  

Science Conference Proceedings (OSTI)

This Tech Update provides highlights and presentations from the EPRI Demand Response Evaluation, Measurement and Verification (DR EM&V) Workshop, held November 13 14, 2008, in Dallas, Texas. Attended by 30 participants representing utilities, independent system operators, EPRI, and a curtailment service provider, the day-and-a-half meeting provided a forum for review of DR measurement and verification (M&V) standards development, business practices, and lessons learned.

2008-12-22T23:59:59.000Z

130

Independent Oversight Review, Pantex Plant - February 2012 | Department of  

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

Plant - February 2012 Plant - February 2012 Independent Oversight Review, Pantex Plant - February 2012 February 2012 Review of the Pantex Plant Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Pantex Plant conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the Office of Health, Safety and Security (HSS). The review was performed by the HSS Office of Safety and Emergency Management Evaluations from January 17 to 24, 2012. The overall purpose of these Independent Oversight reviews is to evaluate the processes and methods used for verifying and re-verifying implementation of new or substantially revised safety basis hazard controls. Independent Oversight Review, Pantex Plant - February 2012

131

Independent Activity Report, New Brunswick Laboratory - July 2012 |  

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

July 2012 July 2012 Independent Activity Report, New Brunswick Laboratory - July 2012 July 2012 Operational Awareness Oversight of the New Brunswick Laboratory [HIAR NBL-2012-07-20] The purpose of this Office of Health, Safety and Security (HSS) activity was to independently review the closed corrective actions from the Office of Science, Chicago Office (CH) implementation verification review (IVR) report for the New Brunswick Laboratory (NBL), which addressed vault and vault work room safety basis controls and was completed in April 2012. Independent Activity Report, New Brunswick Laboratory - July 2012 More Documents & Publications Independent Activity Report, Argonne National Laboratory - July 2012 Independent Activity Report, New Brunswick Laboratory - November 2011

132

AHAM DOE Verification Test Agreement | Department of Energy  

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

DOE Verification Test Agreement AHAM DOE Verification Test Agreement This letter is to inform AHAM that DOE is adopting a new policy regarding DOE ENERGY STAR verification testing...

133

Code verification by static analysis: a mathematical programming ...  

E-Print Network (OSTI)

Code verification by static analysis: a mathematical ... One of the most important verification techniques is static code analysis by abstract ...... verif-instances.zip.

134

AHAM Letter Acknowledging DOE Letter on Verification Program  

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

26, 2013 26, 2013 By E-Mail Ms. Kathleen B. Hogan Deputy Assistant Secretary for Energy Efficiency Energy Efficiency and Renewable Energy U.S. Department of Energy 1000 Independence Avenue, SW Washington, DC 20585-0121 Dear Ms. Hogan: I am writing regarding your letter dated April 26, 2013, in which the U.S. Department of Energy (DOE or the Department) adopted a new policy regarding DOE ENERGY STAR verification

135

Revised FINAL–REPORT NO. 2: INDEPENDENT CONFIRMATORY SURVEY SUMMARY AND RESULTS FOR THE ENRICO FERMI ATOMIC POWER PLANT, UNIT 1, NEWPORT, MICHIGAN (DOCKET NO. 50 16; RFTA 10-004) 2018-SR-02-1  

Science Conference Proceedings (OSTI)

The Enrico Fermi Atomic Power Plant, Unit 1 (Fermi 1) was a fast breeder reactor design that was cooled by sodium and operated at essentially atmospheric pressure. On May 10, 1963, the Atomic Energy Commission (AEC) granted an operating license, DPR-9, to the Power Reactor Development Company (PRDC), a consortium specifically formed to own and operate a nuclear reactor at the Fermi 1 site. The reactor was designed for a maximum capability of 430 megawatts (MW); however, the maximum reactor power with the first core loading (Core A) was 200 MW. The primary system was filled with sodium in December 1960 and criticality was achieved in August 1963. The reactor was tested at low power during the first couple years of operation. Power ascension testing above 1 MW commenced in December 1965 immediately following the receipt of a high-power operating license. In October 1966 during power ascension, zirconium plates at the bottom of the reactor vessel became loose and blocked sodium coolant flow to some fuel subassemblies. Two subassemblies started to melt and the reactor was manually shut down. No abnormal releases to the environment occurred. Forty-two months later after the cause had been determined, cleanup completed, and the fuel replaced, Fermi 1 was restarted. However, in November 1972, PRDC made the decision to decommission Fermi 1 as the core was approaching its burn-up limit. The fuel and blanket subassemblies were shipped off-site in 1973. Following that, the secondary sodium system was drained and sent off-site. The radioactive primary sodium was stored on-site in storage tanks and 55 gallon (gal) drums until it was shipped off-site in 1984. The initial decommissioning of Fermi 1 was completed in 1975. Effective January 23, 1976, DPR-9 was transferred to the Detroit Edison Company (DTE) as a 'possession only' license (DTE 2010a). This report details the confirmatory activities performed during the second Oak Ridge Institute for Science and Education (ORISE) site visit to Fermi 1 in November 2010. The survey was strategically planned during a Unit 2 (Fermi 2) outage to take advantage of decreased radiation levels that were observed and attributed to Fermi 2 from the operating unit during the first site visit. However, during the second visit there were elevated radiation levels observed and attributed to the partially dismantled Fermi 1 reactor vessel and a waste storage box located on the 3rd floor of the Fermi 1 Turbine Building. Confirmatory surveys (unshielded) performed directly in the line of sight of these areas were affected. The objective of the confirmatory survey was to verify that the final radiological conditions were accurately and adequately described in Final Status Survey (FSS) documentation, relative to the established release criteria. This objective was achieved by performing document reviews, as well as independent measurements and sampling. Specifically, documentation of the planning, implementation, and results of the FSS were evaluated; side-by-side FSS measurement and source comparisons were performed; site areas were evaluated relative to appropriate FSS classification; and areas were assessed for residual, undocumented contamination.

Erika Bailey

2011-10-27T23:59:59.000Z

136

ORISE: Characterization surveys  

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

Characterization surveys Characterization surveys An ORISE technicians performs a characterization survey The Oak Ridge Institute for Science and Education (ORISE) performs independent, objective characterization surveys to define the extent of radiological contamination at sites scheduled for decontamination and decommissioning (D&D). A fundamental aspect of all D&D projects, characterization surveys provide guidance to determine the best remediation procedures and are a cost-effective method of ensuring a site meets preliminary regulatory standards. ORISE designs characterization surveys using the data quality objectives process. This approach focuses on the particular objective of characterization, and ensures that only the data needed to address the characterization decisions are collected. Data collection efforts are

137

Independent Activity Report, Savannah River Remediation - July 2010 |  

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

Remediation - July 2010 Remediation - July 2010 Independent Activity Report, Savannah River Remediation - July 2010 July 2010 Savannah River Operations Office Integrated Safety Management System Phase II Verification Review of Savannah River Remediation The U.S. Department of Energy (DOE), Office of Independent Oversight, within the Office of Health, Safety and Security (HSS), participated in the DOE Savannah River Operations Office (DOE-SR), Office of Safety and Quality Assurance (OSQA), Technical Support Division (TSD) Integrated Safety Management System (ISMS), Phase II Verification of Savannah River Remediation (SRR). The purpose of the DOE-SR Phase II ISMS Verification was to verify that the SRR ISMS Description that was submitted to and approved by the DOE-SR Manager is being effectively implemented at the Savannah

138

Independent Oversight Review, Los Alamos National Laboratory - July 2012 |  

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

Los Alamos National Laboratory - July Los Alamos National Laboratory - July 2012 Independent Oversight Review, Los Alamos National Laboratory - July 2012 July 2012 Review of the Los Alamos National Laboratory Implementation Verification Review at Technical Area-55 This report documents the independent review of the implementation verification review (IVR) process at the Los Alamos National Laboratory (LANL) plutonium facility at Technical Area-55 (TA-55) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the Office of Health, Safety and Security (HSS). The review was performed by the HSS Office of Safety and Emergency Management Evaluations from May 1 - 17, 2012. Independent Oversight Review, Los Alamos National Laboratory - July 2012 More Documents & Publications

139

Independent Oversight Review, Oak Ridge National Laboratory - January 2013  

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

Oak Ridge National Laboratory - Oak Ridge National Laboratory - January 2013 Independent Oversight Review, Oak Ridge National Laboratory - January 2013 January 2013 Review of the Oak Ridge National Laboratory High Flux Isotope Reactor Implementation Verification Review Processes This report documents the independent review of Implementation Verification Review (IVR) processes at the Oak Ridge National Laboratory (ORNL) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the Office of Health, Safety and Security (HSS). The review was performed by the HSS Office of Safety and Emergency Management Evaluations during the periods of August 20-24 and September 25-28, 2012. Independent Oversight Review, Oak Ridge National Laboratory - January 2013 More Documents & Publications

140

Independent Oversight Review, Portsmouth Gaseous Diffusion Plant - April  

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

April 2013 April 2013 Independent Oversight Review, Portsmouth Gaseous Diffusion Plant - April 2013 April 2013 Review of the Integrated Safety Management System Phase I Verification Review at the Portsmouth Gaseous Diffusion Plant The Office of Enforcement and Oversight (Independent Oversight), within the Office of Health, Safety and Security (HSS), conducted an independent review of the U.S. Department of Energy (DOE) Portsmouth/Paducah Project Office (PPPO). The objective of the Independent Oversight review was to evaluate PPPO's conduct of the Integrated Safety Management System (ISMS) Phase I verification review at the Portsmouth Gaseous Diffusion Plant (PORTS). The contractor at PORTS is Fluor-Babcock & Wilcox Portsmouth (FBP). The HSS Office of Safety and Emergency Management Evaluations

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

Independent Oversight Review, Idaho Site - November 2011 | Department of  

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

Site - November 2011 Site - November 2011 Independent Oversight Review, Idaho Site - November 2011 November 2011 Review of Implementation Verification Review Processes at the Idaho Site - Phase 1 of 2 This report documents the first phase of an independent review of implementation verification review (IVR) processes at the Idaho Site conducted by the Office of Enforcement and Oversight (Independent Oversight) within the Office of Health, Safety and Security (HSS). The purpose of the complete Independent Oversight review is to evaluate, in two phases, the processes and methods used at the Idaho Site for verifying implementation of new or substantially revised facility safety basis hazard controls. The objective of this Phase 1 assessment was to evaluate the extent to which the Idaho Operations Office (DOE-ID) and primary facility

142

Independent Oversight Review, Oak Ridge National Laboratory - January 2013  

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

Oak Ridge National Laboratory - Oak Ridge National Laboratory - January 2013 Independent Oversight Review, Oak Ridge National Laboratory - January 2013 January 2013 Review of the Oak Ridge National Laboratory High Flux Isotope Reactor Implementation Verification Review Processes This report documents the independent review of Implementation Verification Review (IVR) processes at the Oak Ridge National Laboratory (ORNL) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the Office of Health, Safety and Security (HSS). The review was performed by the HSS Office of Safety and Emergency Management Evaluations during the periods of August 20-24 and September 25-28, 2012. Independent Oversight Review, Oak Ridge National Laboratory - January 2013 More Documents & Publications

143

A New Verification Score for Public Forecasts  

Science Conference Proceedings (OSTI)

CREF, a new verification score for public forecasts, is introduced. This verification score rewards a forecaster who forecasts a rare event accurately. CREF was used to verify local forecasts at the Weather Service Forecast Office (WSFO) in ...

Dean P. Gulezian

1981-02-01T23:59:59.000Z

144

Scientific Verification of Deterministic River Stage Forecasts  

Science Conference Proceedings (OSTI)

One element of a complete verification system is the ability to determine why forecasts behave as they do. This paper describes and demonstrates an operationally feasible method for conducting this type of diagnostic verification analysis. ...

Edwin Welles; Soroosh Sorooshian

2009-04-01T23:59:59.000Z

145

Forecast verification: Its Complexity and Dimensionality  

Science Conference Proceedings (OSTI)

Two fundamental characteristics of forecast verification problems—complexity and dimensionality—are described. To develop quantitative definitions of these characteristics, a general framework for the problem of absolute verification (AV) is ...

Allan H. Murphy

1991-07-01T23:59:59.000Z

146

RENEWABLES PORTFOLIO STANDARD 2006 PROCUREMENT VERIFICATION  

E-Print Network (OSTI)

California Energy Commission DRAFT STAFF REPORT RENEWABLES PORTFOLIO STANDARD 2007 PROCUREMENT VERIFICATION RPS 2007 Verification Report APRIL 2011 CEC3002011002SD #12;CALIFORNIA ENERGY COMMISSION Gina Executive Director DISCLAIMER Staff members of the California Energy Commission prepared this report

147

Verification and validation of simulation models  

Science Conference Proceedings (OSTI)

In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate verification and validation to the model development process are presented; ...

Robert G. Sargent

2009-12-01T23:59:59.000Z

148

Guidelines for the Monitoring, Evaluation, Reporting, Verification...  

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

Evaluation, Reporting, Verification, and Certification of Forestry Projects for Climate Change Mitigation Title Guidelines for the Monitoring, Evaluation, Reporting,...

149

Nuclear Verification | National Nuclear Security Administration  

National Nuclear Security Administration (NNSA)

Verification | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our...

150

K Basins Field Verification Program  

SciTech Connect

The Field Verification Program establishes a uniform and systematic process to ensure that technical information depicted on selected engineering drawings accurately reflects the actual existing physical configuration. This document defines the Field Verification Program necessary to perform the field walkdown and inspection process that identifies the physical configuration of the systems required to support the mission objectives of K Basins. This program is intended to provide an accurate accounting of the actual field configuration by documenting the as-found information on a controlled drawing.

Booth, H.W.

1994-12-02T23:59:59.000Z

151

Class 1E software verification and validation: Past, present, and future  

Science Conference Proceedings (OSTI)

This paper discusses work in progress that addresses software verification and validation (V&V) as it takes place during the full software life cycle of safety-critical software. The paper begins with a brief overview of the task description and discussion of the historical evolution of software V&V. A new perspective is presented which shows the entire verification and validation process from the viewpoints of a software developer, product assurance engineer, independent V&V auditor, and government regulator. An account of the experience of the field test of the Verification Audit Plan and Report generated from the V&V Guidelines is presented along with sample checklists and lessons learned from the verification audit experience. Then, an approach to automating the V&V Guidelines is introduced. The paper concludes with a glossary and bibliography.

Persons, W.L.; Lawrence, J.D.

1993-10-01T23:59:59.000Z

152

Fingerprint verification using statistical descriptors  

Science Conference Proceedings (OSTI)

The importance of high precision matching in fingerprint cannot be over-emphasized. This paper presents a novel fingerprint verification algorithm which improves matching accuracy by overcoming the shortcomings of poor image quality. The proposed method ... Keywords: Biometrics, Fingerprint, Reliability, Singular point, Statistical analysis

Mohammed S. Khalil; Dzulkifli Mohamad; Muhammad Khurram Khan; Qais Al-Nuzaili

2010-07-01T23:59:59.000Z

153

Carbon Storage Monitoring, Verification and Accounting Research |  

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

Monitoring, Verification and Accounting Research Monitoring, Verification and Accounting Research Carbon Storage Monitoring, Verification and Accounting Research Reliable and cost-effective monitoring, verification and accounting (MVA) techniques are an important part of making geologic sequestration a safe, effective, and acceptable method for greenhouse gas control. MVA of geologic storage sites is expected to serve several purposes, including addressing safety and environmental concerns; inventory verification; project and national accounting of greenhouse gas emissions reductions at geologic storage sites; and evaluating potential regional, national, and international greenhouse gas reduction goals. The goal of our program area is to develop and demonstrate a broad portfolio of technologies, applications, and accounting requirements that

154

Independent Oversight Review, Y-12 National Security Complex - June 2012 |  

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

Y-12 National Security Complex - June Y-12 National Security Complex - June 2012 Independent Oversight Review, Y-12 National Security Complex - June 2012 June 2012 Review of the Y-12 Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Y-12 National Security Complex (Y-12) conducted by the Office of Enforcement and Oversight (Independent Oversight, Office of Safety and Emergency Management Evaluations), within the Office of Health, Safety and Security (HSS). The review was performed from March 12 - 30, 2012. The objective of this review was to evaluate the extent to which the site management and operating contractor, B&W Y-12, a partnership of Babcock & Wilcox and Bechtel Corporation, and the Y-12 Site

155

Independent Oversight Review, Richland Operations Office - November 2012 |  

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

- November - November 2012 Independent Oversight Review, Richland Operations Office - November 2012 November 2012 Review of the Richland Operations Office Oversight of Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Richland Operations Office (DOE-RL) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the U.S. Department of Energy's (DOE) Office of Health, Safety and Security (HSS). The onsite review was performed by the HSS Office of Safety and Emergency Management Evaluations from August 13 to 17, 2012. The objective of this assessment was to evaluate the extent to which the DOE-RL has developed and employed appropriate methods for oversight of contractor

156

Independent Oversight Review, Richland Operations Office - November 2012 |  

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

Richland Operations Office - November Richland Operations Office - November 2012 Independent Oversight Review, Richland Operations Office - November 2012 November 2012 Review of the Richland Operations Office Oversight of Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Richland Operations Office (DOE-RL) conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the U.S. Department of Energy's (DOE) Office of Health, Safety and Security (HSS). The onsite review was performed by the HSS Office of Safety and Emergency Management Evaluations from August 13 to 17, 2012. The objective of this assessment was to evaluate the extent to which the DOE-RL has developed and employed appropriate methods for oversight of contractor

157

Independent directors in China.  

E-Print Network (OSTI)

??This thesis examines the development of the independent director system in China. The newly introduced independent director system is viewed as a revolutionary change to… (more)

Ma, Lijun

2009-01-01T23:59:59.000Z

158

Verification and transparency in future arms control  

Science Conference Proceedings (OSTI)

Verification`s importance has changed dramatically over time, although it always has been in the forefront of arms control. The goals and measures of verification and the criteria for success have changed with the times as well, reflecting such factors as the centrality of the prospective agreement to East-West relations during the Cold War, the state of relations between the United States and the Soviet Union, and the technologies available for monitoring. Verification`s role may be declining in the post-Cold War period. The prospects for such a development will depend, first and foremost, on the high costs of traditional arms control, especially those associated with requirements for verification. Moreover, the growing interest in informal, or non-negotiated arms control does not allow for verification provisions by the very nature of these arrangements. Multilateral agreements are also becoming more prominent and argue against highly effective verification measures, in part because of fears of promoting proliferation by opening sensitive facilities to inspectors from potential proliferant states. As a result, it is likely that transparency and confidence-building measures will achieve greater prominence, both as supplements to and substitutes for traditional verification. Such measures are not panaceas and do not offer all that we came to expect from verification during the Cold war. But they may be the best possible means to deal with current problems of arms reductions and restraints at acceptable levels of expenditure.

Pilat, J.F.

1996-09-01T23:59:59.000Z

159

Some thoughts on model verification  

DOE Green Energy (OSTI)

The most powerful attribute of numerical models for simulating fluid flow in partially saturated fractured media is that they can handle arbitrarily complex problems in terms of geometry, heterogeneity and forcing functions. In contrast, analytical solutions can be only obtained for relatively simple problems. Therefore, the very power of the numerical models that is to be exploited is unnecessarily abridged if the numerical method is viewed merely as a tool for approximately solving the partial differential equation. A broader definition of verification is needed in order to exploit the power and generality of numerical models. In the ultimate, verification should be dictated by axiomatic testability. The development of self-verifying numerical models is a challenge that deserves pursuit.

Narasimhan, T.N.

1987-02-01T23:59:59.000Z

160

Electric Utility Measurement & Verification Program  

E-Print Network (OSTI)

BC Hydro is an electric utility with a service area covering over 95% of the province of British Columbia in Canada. Power Smart is BC Hydro’s demand-side-management (DSM) division. Power Smart develops, operates and manages various DSM programs for residential, commercial and industrial customers. The Measurement and Verification (M&V) of applicable Power Smart Industrial projects is the process of verifying the results of the implementation of energy conservation measures (ECMs) at industrial customer facilities. Power Smart M&V activities are based on the International Performance Measurement & Verification Protocol (IPMVP); a consensus document produced with the international support of industry and government. This paper discusses BC Hydro’s M&V program and the M&V results from industrial projects. Several case history studies will also be reviewed. The case studies reviewed involve aeration motor speed controls upgrade, steam turbine controls upgrade and natural gas liquid pump speed controls upgrade.

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

2007-05-01T23:59:59.000Z

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

Independent Oversight Follow-up Review, Savannah River National Laboratory  

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

Savannah River National Savannah River National Laboratory - January 2012 Independent Oversight Follow-up Review, Savannah River National Laboratory - January 2012 January 2012 Follow-up Review of Implementation Verification Reviews at the Savannah River National Laboratory Savannah River Site The Office of Enforcement and Oversight (Independent Oversight), within the Office of Health, Safety and Security (HSS), conducted an independent review of the identification and implementation of safety basis hazard controls associated with "flashing spray release" and supporting information documented in the Savannah River National Laboratory (SRNL) WSRC-SA-2, SRNL Technical Area Documented Safety Analysis, Revision 10; WSRC-TS-97-00014, SRNL Technical Area Technical Safety Requirements,

162

Review of the Oak Ridge National Laboratory High Flux Isotope Reactor Implementation Verification Review Processes  

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

Independent Oversight Review of the Independent Oversight Review of the Oak Ridge National Laboratory High Flux Isotope Reactor Implementation Verification Review Processes May 2011 January 2013 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U. S. Department of Energy Table of Contents 1.0 Purpose ................................................................................................................................................. 1 2.0 Background........................................................................................................................................... 1 3.0 Scope..................................................................................................................................................... 2

163

Review of the Oak Ridge National Laboratory High Flux Isotope Reactor Implementation Verification Review Processes  

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

Independent Oversight Review of the Independent Oversight Review of the Oak Ridge National Laboratory High Flux Isotope Reactor Implementation Verification Review Processes May 2011 January 2013 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U. S. Department of Energy Table of Contents 1.0 Purpose ................................................................................................................................................. 1 2.0 Background........................................................................................................................................... 1 3.0 Scope..................................................................................................................................................... 2

164

Independent Oversight Review, DOE Nuclear Facilities - May 2013 |  

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

Review, DOE Nuclear Facilities - May 2013 Review, DOE Nuclear Facilities - May 2013 Independent Oversight Review, DOE Nuclear Facilities - May 2013 May 2013 Lessons Learned from Targeted Reviews of Implementation Verification Review Processes at Department of Energy Nuclear Facilities This report summarizes and analyzes the results of independent reviews of IVR and associated processes at eight DOE sites conducted by Independent Oversight from August 2011 to September 2012. The purpose of the Independent Oversight review was to evaluate the processes and methods used for verifying the implementation of safety basis hazard controls and periodically re-verifying that the controls remain in place. Independent Oversight Review, DOE Nuclear Facilities - May 2013 More Documents & Publications Independent Oversight Review, Hanford Site CH2M Hill Plateau Remediation

165

Input apparatus for dynamic signature verification systems  

DOE Patents (OSTI)

The disclosure relates to signature verification input apparatus comprising a writing instrument and platen containing piezoelectric transducers which generate signals in response to writing pressures.

EerNisse, Errol P. (Albuquerque, NM); Land, Cecil E. (Albuquerque, NM); Snelling, Jay B. (Albuquerque, NM)

1978-01-01T23:59:59.000Z

166

NETL: Carbon Storage - Monitoring, Verification, and Accounting...  

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

MVA Carbon Storage Monitoring, Verification, and Accounting (MVA) Focus Area An MVA program is designed to confirm permanent storage of carbon dioxide (CO2) in geologic formations...

167

Acceptance sampling methods for sample results verification  

SciTech Connect

This report proposes a statistical sampling method for use during the sample results verification portion of the validation of data packages. In particular, this method was derived specifically for the validation of data packages for metals target analyte analysis performed under United States Environmental Protection Agency Contract Laboratory Program protocols, where sample results verification can be quite time consuming. The purpose of such a statistical method is to provide options in addition to the ``all or nothing`` options that currently exist for sample results verification. The proposed method allows the amount of data validated during the sample results verification process to be based on a balance between risks and the cost of inspection.

Jesse, C.A.

1993-06-01T23:59:59.000Z

168

National Energy Efficiency Evaluation, Measurement and Verification...  

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

National Energy Efficiency Evaluation, Measurement and Verification (EM&V) Standard: Scoping Study of Issues and Implementation Requirements Title National Energy Efficiency...

169

Compliance Verification Paths for Residential and Commercial...  

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

Verification Paths for Residential and Commercial Energy Codes Conformity assessment is a term used to describe the processes followed to demonstrate that a product, service,...

170

National Energy Efficiency Evaluation, Measurement and Verification...  

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

65E ERNEST ORLANDO LAWRENCE BERKELEY NATIONAL LABORATORY National Energy Efficiency Evaluation, Measurement and Verification (EM&V) Standard: Scoping Study of Issues and...

171

Energy Efficiency Measurement & Verification in South Africa  

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

Contacts Media Contacts Energy Efficiency Measurement & Verification in South Africa Speaker(s): Xiaohua Xia Date: December 17, 2012 - 12:00pm Location: 90-3122 Seminar...

172

Formal verification in a commercial setting  

Science Conference Proceedings (OSTI)

This tutorial addresses the following questions:¿ why do formal verification?¿ who is doing it today?¿ what are they doing?¿ how are they doing it?¿ what about the future?

R. P. Kurshan

1997-06-01T23:59:59.000Z

173

Radiography Facility - Building 239 Independent Validation Review  

SciTech Connect

The purpose of this task was to perform an Independent Validation Review to evaluate the successful implementation and effectiveness of Safety Basis controls, including new and revised controls, to support the implementation of a new DSA/TSR for B239. This task addresses Milestone 2 of FY10 PEP 7.6.6. As the first IVR ever conducted on a LLNL nuclear facility, it was designated a pilot project. The review follows the outline developed for Milestone 1 of the PEP, which is based on the DOE Draft Guide for Performance of Independent Verification Review of Safety Basis Controls. A formal Safety Basis procedure will be developed later, based on the lessons learned with this pilot project. Note, this review is termed a ''Validation'' in order to be consistent with the PEP definition and address issues historically raised about verification mechanisms at LLNL. Validation is intended to confirm that implementing mechanisms realistically establish the ability of TSR LCO, administrative control or safety management program to accomplish its intended safety function and that the controls are being implemented. This effort should not, however, be confused with a compliance assessment against all relevant DOE requirements and national standards. Nor is it used as a vehicle to question the derivation of controls already approved by LSO unless a given TSR statement simply cannot be implemented as stated.

Altenbach, T J; Beaulieu, R A; Watson, J F; Wong, H J

2010-02-02T23:59:59.000Z

174

Efficient formal verification of bounds of linear programs  

Science Conference Proceedings (OSTI)

One of the challenging problems in the formalization of mathematics is a formal verification of numerical computations. Many theorems rely on numerical results, the verification of which is necessary for producing complete formal proofs. The formal verification ...

Alexey Solovyev; Thomas C. Hales

2011-07-01T23:59:59.000Z

175

Hydrologic Verification: A Call for Action and Collaboration  

Science Conference Proceedings (OSTI)

Traditionally, little attention has been focused on the systematic verification of operational hydrologic forecasts. This paper summarizes the results of forecast verification from 15 river basins in the United States. The verification scores for ...

Edwin Welles; Soroosh Sorooshian; Gary Carter; Billy Olsen

2007-04-01T23:59:59.000Z

176

INDEPENDENT COST REVIEW (ICR) and INDEPENDENT COST ESTIMATE ...  

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

INDEPENDENT COST REVIEW (ICR) and INDEPENDENT COST ESTIMATE (ICE) Standard Operating Procedures INDEPENDENT COST REVIEW (ICR) and INDEPENDENT COST ESTIMATE (ICE) Standard Operating...

177

VERIFICATION SURVEY OF PHASE I REMEDIAL ACTIONS ALBANY RESEARCH...  

Office of Legacy Management (LM)

site consists of three main areas: ARC proper, the main research facility; the former Biomass Research Facility which consists of approximately 0.8-ha (2-acre), located south of...

178

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

Energy.gov (U.S. Department of Energy (DOE)) 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...

179

The Office of Nuclear Verification | National Nuclear Security...  

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

at NNSA Blog The Office of Nuclear Verification Home > About Us > Our Programs > Nonproliferation > Nonproliferation & International Security > The Office of Nuclear Verification...

180

Formal verification of practical MPI programs  

Science Conference Proceedings (OSTI)

This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI/C source code, executing its interleavings ... Keywords: distributed programming, dynamic partial order reduction, message passing interface, model checking, mpi

Anh Vo; Sarvani Vakkalanka; Michael DeLisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur

2009-02-01T23:59:59.000Z

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

Independent Oversight Inspection, Brookhaven National Laboratory -  

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

September 2008 September 2008 Independent Oversight Inspection, Brookhaven National Laboratory - September 2008 September 2008 Inspection of Emergency Management at the Brookhaven Site Office and Brookhaven National Laboratory The U.S. Department of Energy (DOE) Office of Independent Oversight inspected the emergency management program at DOE's Brookhaven National Laboratory (BNL) in June/July 2008. The inspection was performed by Independent Oversight's Office of Emergency Management Oversight (HS-63). This 2008 inspection found that hazardous material inventories remain low, and the program has been significantly improved by the issuance of a hazards survey, EPHAs, and revised emergency plan, as well as other upgraded program plans and procedures. Additionally, the EOC is better

182

On The Independence Of Digits In Connected Digit Strings  

E-Print Network (OSTI)

One of the frequently used assumptions in Speaker Verification is that two speech segments (phonemes, subwords, words) are considered to be independent. And therefore, the log-likelihood of a test utterance is just the sum of the log-likelihoods of the speech segments in that utterance. This paper reports about cases in which this observation-independence assumption seems to be violated, namely for those test utterances which call a certain speech model more than once. For example, a pin code which contains a non-unique digit set performs worse in verification than a pin code which consists of four different digits. Results illustrate that violating the independence assumption too much might result in increasing EERs while more information (in form of digits) is added to the test utterance. 1. INTRODUCTION In Speaker Verification (SV) systems using passwords in the form of fixed or prompted digit strings it seems usual to compute the log-likelihood of a claimant being the true speaker...

Johan Koolwaaij; Lou Boves

1995-01-01T23:59:59.000Z

183

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

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

AHRI Comments - DOE Verification Testing in Support of Energy Star AHRI Comments - DOE Verification Testing in Support of Energy Star May 9, 2011 P a g e | 1 May 9, 2010 Ms. Ashley Armstrong U.S. Department of Energy 1000 Independence Avenue, SW Washington, DC 20585 RE: DOE Verification Testing in Support of Energy Star Dear Ms. Armstrong: I am writing on behalf of the Air Conditioning, Heating and Refrigeration Institute (AHRI) to address the proposed DOE requirements for verification testing in support of the Energy Star program. AHRI is the trade association representing manufacturers of heating, cooling, and commercial refrigeration equipment. More than 300 members strong, AHRI is an internationally recognized advocate for the industry, and develops standards for and certifies the performance of many of the

184

Residential Energy Consumption Survey (RECS) 2009 Technical ...  

U.S. Energy Information Administration (EIA)

Residential Energy Consumption Survey (RECS) Using the 2009 microdata file to compute estimates and standard errors (RSEs) February 2013 Independent Statistics & Analysis

185

Hierarchical Verification for Increasing Performance in Reliable Processors  

Science Conference Proceedings (OSTI)

Dynamic verification using the checker processor introduces severe degradation in performance unless the checker is as fast as the main processor core. Without widening the checker's bandwidth, we propose an active verification management (AVM) approach ... Keywords: Active verification management, Correctness non-critically, Fault tolerance, Filter checker, Hierarchical verification, Performance

Joonhyuk Yoo; Manoj Franklin

2008-06-01T23:59:59.000Z

186

Secure position verification for wireless sensor networks in noisy channels  

Science Conference Proceedings (OSTI)

Position verification in wireless sensor networks (WSNs) is quite tricky in presence of attackers (malicious sensor nodes), who try to break the verification protocol by reporting their incorrect positions (locations) during the verification stage. In ... Keywords: 3? limit, distance estimation, distributed protocol, location verification, quantiles, wireless networks

Partha Sarathi Mandal; Anil K. Ghosh

2011-07-01T23:59:59.000Z

187

NUMERICAL VERIFICATION OF EQUILIBRIUM CHEMISTRY  

SciTech Connect

A numerical tool is in an advanced state of development to compute the equilibrium compositions of phases and their proportions in multi-component systems of importance to the nuclear industry. The resulting software is being conceived for direct integration into large multi-physics fuel performance codes, particularly for providing boundary conditions in heat and mass transport modules. However, any numerical errors produced in equilibrium chemistry computations will be propagated in subsequent heat and mass transport calculations, thus falsely predicting nuclear fuel behaviour. The necessity for a reliable method to numerically verify chemical equilibrium computations is emphasized by the requirement to handle the very large number of elements necessary to capture the entire fission product inventory. A simple, reliable and comprehensive numerical verification method is presented which can be invoked by any equilibrium chemistry solver for quality assurance purposes.

Piro, Markus [Royal Military College of Canada; Lewis, Brent [Royal Military College of Canada; Thompson, Dr. William T. [Royal Military College of Canada; Simunovic, Srdjan [ORNL; Besmann, Theodore M [ORNL

2010-01-01T23:59:59.000Z

188

NREL: Wind Research - Field Verification Project  

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

Field Verification Project Field Verification Project The mission of the Field Verification Project (FVP) was to enable U.S. industry to complete the research, testing, and field verification needed to fully develop advanced wind energy technologies that lead the world in cost-effectiveness and reliability. The project, completed in 2003, included cost-shared research with industry partners to lead to the development of advanced technology wind turbines and support for projects that verify performance of wind turbine technologies in actual operational applications. FVP provided small wind turbine (<=100 kW) manufacturers with opportunities to operate and monitor their turbines under a range of distributed power applications and environments throughout the United States. This experience helped U.S. companies validate and improve the

189

Measurement and Verification for Demand Response  

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

Measurement and Verification for Measurement and Verification for Demand Response Prepared for the National Forum on the National Action Plan on Demand Response: Measurement and Verification Working Group AUTHORS: Miriam L. Goldberg & G. Kennedy Agnew-DNV KEMA Energy and Sustainability National Forum of the National Action Plan on Demand Response Measurement and Verification for Demand Response was developed to fulfill part of the Implementation Proposal for The National Action Plan on Demand Response, a report to Congress jointly issued by the U.S. Department of Energy (DOE) and the Federal Energy Regulatory Commission (FERC) in June 2011. Part of that implementation proposal called for a "National Forum" on demand response to be conducted by DOE and FERC. Given that demand response has matured, DOE and FERC decided that a "virtual" project

190

Measurement and Verification | Department of Energy  

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

Measurement and Verification Measurement and Verification Measurement and Verification October 16, 2013 - 4:43pm Addthis Photo of a man with a clipboard and measuring tools standing in front of an open energy panel box. A National Park Service energy manager checks an energy management system at the Zion National Park Visitor Center. Measurement and verification (M&V) play a vital role in renewable energy projects. M&V verifies verify that renewable energy technologies successfully meet the energy generation or savings requirements as specified by the agency and the system design. Federal sustainable building guidelines require M&V systems for sustainable building projects and the use of M&V data for benchmarking systems. However, these systems deliver value well beyond regulatory compliance.

191

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

192

Seismic design verification of LMFBR structures  

SciTech Connect

The report provides an assessment of the seismic design verification procedures currently used for nuclear power plant structures, a comparison of dynamic test methods available, and conclusions and recommendations for future LMFB structures.

1977-07-01T23:59:59.000Z

193

Automatic verification of competitive stochastic systems  

Science Conference Proceedings (OSTI)

We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate ...

Taolue Chen; Vojt?ch Forejt; Marta Kwiatkowska; David Parker; Aistis Simaitis

2012-03-01T23:59:59.000Z

194

Hierarchical layout verification for submicron designs  

Science Conference Proceedings (OSTI)

In this paper we present the program HEXDRC for hierarchical circuit extraction and design rule check. The main problem for hierarchical layout verification is to handle interactions between different cells effectively. The kind of interactions however ...

W. Meier

1990-03-01T23:59:59.000Z

195

Intercomparison of Spatial Forecast Verification Methods  

Science Conference Proceedings (OSTI)

Advancements in weather forecast models and their enhanced resolution have led to substantially improved and more realistic-appearing forecasts for some variables. However, traditional verification scores often indicate poor performance because ...

Eric Gilleland; David Ahijevych; Barbara G. Brown; Barbara Casati; Elizabeth E. Ebert

2009-10-01T23:59:59.000Z

196

The Severe Hazards Analysis and Verification Experiment  

Science Conference Proceedings (OSTI)

During the springs and summers of 2006 through 2008, scientists from the National Severe Storms Laboratory and students from the University of Oklahoma have conducted an enhanced severe-storm verification effort. The primary goal for the Severe ...

Kiel L. Ortega; Travis M. Smith; Kevin L. Manross; Angelyn G. Kolodziej; Kevin A. Scharfenberg; Arthur Witt; Jonathan J. Gourley

2009-10-01T23:59:59.000Z

197

A relational framework for bounded program verification  

E-Print Network (OSTI)

All software verification techniques, from theorem proving to testing, share the common goal of establishing a program's correctness with both (1) a high degree of confidence and (2) a low cost to the user, two criteria ...

Dennis, Gregory D. (Gregory David), 1980-

2009-01-01T23:59:59.000Z

198

A General Framework for Forecast Verification  

Science Conference Proceedings (OSTI)

A general framework for forecast verification based on the joint distribution of forecasts and observations is described. For further elaboration of the framework, two factorizations of the joint distribution are investigated: 1) the calibration-...

Allan H. Murphy; Robert L. Winkler

1987-07-01T23:59:59.000Z

199

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

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

From: Donald C Plunkett [mailto:donplunkett@gmail.com] From: Donald C Plunkett [mailto:donplunkett@gmail.com] Sent: Wednesday, April 27, 2011 11:12 AM To: Certification@energystar.gov; ESTARVerificationTesting@ee.doe.gov Cc: luminaires@energystar.gov Subject: (EPA & DOE) Verification Testing Sample Size The EPA and DOE Energy Star verification testing program is an unfair trade practice that burdens small independent US manufacturers while benefiting large importing multinationals. The large multinational Energy Star Partners, independently or through manufacturing associations, expend "millions" of dollars lobbying the EPA and other government agencies (ref: Lobbying Reports via Lobbying Disclosure Act of 1995) to influence Energy Star programs toward their own interests. Not to mention the DOE has

200

Formal Verification of Safety Automation Logic Designs  

E-Print Network (OSTI)

In safety critical processes, especially in nuclear power plants, the new digitalized automation (I&C) systems have brought out new needs for safety evaluation. The programmable digital logic controllers can perform complicated control tasks and, thus, their comprehensive verification against safety requirements is a difficult task. Model checking is a promising approach that enables complete verification of a logic design when a finite state machine model of the control logic is available. The paper describes the use of model checking for the verification of an arc protection system and summarizes experiences of utilizing model checking in automation design and verification. For the verification of the arc protection system, it was necessary to model the overall design of the system and its operation environment. The environment model could be kept relatively simple while covering the essential behaviour of the environment. The results show that it is possible to reliably verify the presence of a desired or the absence of an undesired behaviour of the system. The possibility of complete verification makes model checking different from simulation based testing where only selected schemes can be simulated and one can never be sure that all the possible sequences are examined.

Janne Valkonen; Matti Koskimies; Kim Björkman; Keijo Heljanko; Ilkka Niemelä; Jari J. Hämäläinen

2009-01-01T23:59:59.000Z

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

The UKIDSS Galactic Plane Survey  

E-Print Network (OSTI)

The UKIDSS Galactic Plane Survey (GPS) is one of the five near infrared Public Legacy Surveys that are being undertaken by the UKIDSS consortium, using the Wide Field Camera on the United Kingdom Infrared Telescope. It is surveying 1868 sq.deg. of the northern and equatorial Galactic plane at Galactic latitudes -5Science results from DR2 and from the Science Verification programme. These results illustrate how GPS data will frequently be combined with data taken in other wavebands to produce scientific results. The Demonstration Science includes studies of: (i) the star formation region G28.983-0.603, cross matching with Spitzer-GLIMPSE data to identify YSOs; (ii) the M17 nebula; (iii) H_2 emission in the rho Ophiuchi dark cloud; (iv) X-ray sources in the Galactic Centre; (v) external galaxies in the Zone of Avoidance; (vi) IPHAS-GPS optical-infrared spectrophotometric typing. (abridged).

P. W. Lucas; M. G. Hoare; A. Longmore; A. C. Schroder; C. J. Davis; A. Adamson; R. M. Bandyopadhyay; R. de Grijs; M. Smith; A. Gosling; S. Mitchison; A. Gaspar; M. Coe; M. Tamura; Q. Parker; M. Irwin; N. Hambly; J. Bryant; R. S. Collins; N. Cross; D. W. Evans; E. Gonzalez-Solares; S. Hodgkin; J. Lewis; M. Read; M. Riello; E. T. W. Sutorius; A. Lawrence; J. E. Drew; S. Dye; M. A. Thompson

2007-12-01T23:59:59.000Z

202

Review of the Hanford Site CH2M Hill Plateau Remediation Company Implementation Verification Review Processes, November 2012  

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

Independent Oversight Review Independent Oversight Review of the Hanford Site CH2M Hill Plateau Remediation Company Implementation Verification Review Processes November 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope...................................................................................................................................................... 2

203

Review of the Hanford Site CH2M Hill Plateau Remediation Company Implementation Verification Review Processes, November 2012  

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

Independent Oversight Review Independent Oversight Review of the Hanford Site CH2M Hill Plateau Remediation Company Implementation Verification Review Processes November 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope...................................................................................................................................................... 2

204

Completing the automated verification of a small hypervisor - assembler code verification  

Science Conference Proceedings (OSTI)

In [1] the almost complete formal verification of a small hypervisor with the automated C code verifier VCC [2] was reported: the correctness of the C portions of the hypervisor and of the guest simulation was established; the verification of the assembler ...

Wolfgang Paul; Sabine Schmaltz; Andrey Shadrin

2012-10-01T23:59:59.000Z

205

Independent Oversight Inspection, Portsmouth Gaseous Diffusion Plant -  

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

Portsmouth Gaseous Diffusion Portsmouth Gaseous Diffusion Plant - November 2006 Independent Oversight Inspection, Portsmouth Gaseous Diffusion Plant - November 2006 November 2006 Inspection of Emergency Management at the Portsmouth Gaseous Diffusion Plant The Secretary of Energy's Office of Independent Oversight, within the Office of Security and Safety Performance Assurance, conducted an inspection of the emergency management program at the Portsmouth Gaseous Diffusion Plant (PORTS) in August and September 2006. The coordination of emergency plans and procedures among USEC and DOE contractor organizations has successfully integrated the emergency management programs into a single cohesive program for the PORTS site. Other strengths include accurate hazards surveys that identify applicable

206

Monitoring and verification R&D  

SciTech Connect

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

207

MACCS2 development and verification efforts  

SciTech Connect

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

208

Independent technical review, handbook  

SciTech Connect

Purpose Provide an independent engineering review of the major projects being funded by the Department of Energy, Office of Environmental Restoration and Waste Management. The independent engineering review will address questions of whether the engineering practice is sufficiently developed to a point where a major project can be executed without significant technical problems. The independent review will focus on questions related to: (1) Adequacy of development of the technical base of understanding; (2) Status of development and availability of technology among the various alternatives; (3) Status and availability of the industrial infrastructure to support project design, equipment fabrication, facility construction, and process and program/project operation; (4) Adequacy of the design effort to provide a sound foundation to support execution of project; (5) Ability of the organization to fully integrate the system, and direct, manage, and control the execution of a complex major project.

Not Available

1994-02-01T23:59:59.000Z

209

NREL: Wind Research - Regional Field Verification  

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

Field Verification Field Verification The Regional Field Verification (RFV) project, completed in 2007, focused on regional issues and opportunities and tested turbines to gain operational knowledge that could be applied nationwide. The RFV objectives were to: Support industry needs for gaining initial field operation experience with small wind turbines, and verify the performance, reliability, maintainability, and cost of small wind turbines in diverse applications. Expand opportunities for wind energy in new regions of the United States by tailoring projects to meet unique regional requirements, and document and communicate the experience from these projects for the benefit of others in the wind power development community and rural utilities. Through a competitive solicitation in 2001-2002, NREL selected one

210

Electric Power Research Institute Utility Wind Turbine Verification Program  

Science Conference Proceedings (OSTI)

This report provides an overview of the DOE EPRI Wind Turbine Verification Program (TVP) and the Turbine Verification and Technology Transfer Projects funded by the program between 1994 and 2004.

2008-12-22T23:59:59.000Z

211

Vehicle Modeling and Verification of CNG-Powered Transit Buses  

E-Print Network (OSTI)

Modeling and Verification of CNG-Powered Transit BusesModeling and Verification of CNG-Powered Transit Buses.Modeling and Veri?cation of CNG-Powered Transit Buses J.K.

Hedrick, J. K.; Ni, A.

2004-01-01T23:59:59.000Z

212

Generalized Exponential Markov and Model Output Statistics: A Comparative Verification  

Science Conference Proceedings (OSTI)

We performed a comparative verification of Model Output Statistics (MOS) against Generalized Exponential Markov (GEM), a single station forecasting technique which uses only the surface observation and climatology as input. The verification was ...

Thomas J. Perrone; Robert G. Miller

1985-09-01T23:59:59.000Z

213

Exploration of small enrollment speaker verification on handheld devices  

E-Print Network (OSTI)

This thesis explores the problem of robust speaker verification for handheld devices under the context of extremely limited training data. Although speaker verification technology is an area of great promise for security ...

Woo, Ram H. (Ram Han)

2005-01-01T23:59:59.000Z

214

2013-09-18: Handbook 130 -- Price Verification  

Science Conference Proceedings (OSTI)

Handbook 130 - Price Verification. Purpose: This 2-day seminar is designed so that participants will be able to understand ...

2013-10-23T23:59:59.000Z

215

2013-08-27: Handbook 130 -- Price Verification  

Science Conference Proceedings (OSTI)

Handbook 130 - Price Verification. Purpose: This 2-day seminar is designed so that participants will be able to understand ...

2013-08-26T23:59:59.000Z

216

IEAB Independent Analysis Board  

E-Print Network (OSTI)

. On the Lemhi River, water transactions projects stipulated a minimum instream flow. Irrigators maintain be granted to public entities for future beneficial uses or to maintain minimum stream flows or quality­Effectiveness of Improved Irrigation Efficiency and Water Transactions for Instream Flow for Fish1 Independent Economic

217

Survey Expectations  

E-Print Network (OSTI)

of Michigan and is known as the Michigan survey, with many other similar surveys conducted across OECD countries so as to provide up to date information on consumer expectations. Questions on expectations are also sometimes included in panel surveys... be formed, do of course make it possible to assess whether, or how far, such expectations are well-founded by comparing the experiences of individual households with their prior expectations. A key aspect of the Michigan survey, and of many other more recent...

Pesaran, M Hashem; Weale, Martin

2006-03-14T23:59:59.000Z

218

Independent Oversight Program  

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

Independent Oversight Program Independent Oversight Program Home Office of Security and Cyber Evaluations Office of Safety and Emergency Management Evaluations Guidance Documents › Security and Cyber Evaluations › Safety and Emergency Management Evaluations Reports › Physical Security › Cyber Security › Safety and Emergency Management Evaluations Reports › Prior Environment, Safety and Health Evaluations Reports ›Prior Emergency Management Evaluations Reports Contact Us HSS Logo Welcome to the Independent Oversight Program The Independent Oversight Program is implemented by the Office of Health, Safety and Security's (HSS) Office of Enforcement and Oversight. The mission of this program is to provide DOE line management, Congress, and other stakeholders with an independent evaluation of the effectiveness of DOE policy and line management performance in safety and security, and other critical areas as directed by the Secretary of Energy. The Office of Enforcement and Oversight performs this mission by conducting activity, facility, site, and Department-wide performance-based assessments that are designed to verify that the Department's safeguards and security interests are protected, that the Department can effectively respond to emergencies, and that Departmental employees, the public, and the environment are protected from hazardous operations and materials. These assessments complement line management's responsibility for security and safety program oversight and self-assessments. The outcome of these assessments are reports that provide information and analysis regarding the effectiveness, vulnerabilities, and trends in DOE safety and security programs, and identify issues requiring corrective action as well as recommended areas for improvement.

219

Speaker verification under degraded condition: a perceptual study  

Science Conference Proceedings (OSTI)

This study analyzes the effect of degradation on human and automatic speaker verification (SV) tasks. The perceptual test is conducted by the subjects having knowledge about speaker verification. An automatic SV system is developed using the Mel-frequency ... Keywords: Degraded condition, Human vs automatic, Speaker information, Speaker verification

Gayadhar Pradhan; S. R. Prasanna

2011-12-01T23:59:59.000Z

220

Independent Oversight Review, Hanford Site CH2M Hill Plateau Remediation  

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

Site CH2M Hill Plateau Site CH2M Hill Plateau Remediation Company - November 2012 Independent Oversight Review, Hanford Site CH2M Hill Plateau Remediation Company - November 2012 November 2012 Review of the Hanford Site CH2M Hill Plateau Remediation Company Implementation Verification Review Processes This report documents the independent review of implementation verification review (IVR) processes at the Hanford Site CH2M Hill Plateau Remediation Company that were conducted by the Office of Enforcement and Oversight (Independent Oversight), which is within the U.S. Department of Energy (DOE) Office of Health, Safety and Security (HSS). The onsite review was performed by the HSS Office of Safety and Emergency Management Evaluations from August 13 to17, 2012. The objective of this assessment was to evaluate

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

Independent Health Studies  

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

Independent Health Studies Independent Health Studies A study of cancer rates within a 15-mile radius of Brookhaven National Laboratory found no relationship between Brookhaven Lab and cancer. Suffolk County Task Force Report (PDF) New York State Department of Health Cancer Registry Report (PDF) Report of the Rhabdomyosarcoma Task Force (PDF) According to a 1998 report by the Suffolk County Environmental Task Force on the Laboratory, "cancer rates of all types of cancers [the task force] studied are not elevated near BNL" for the years 1979-93. Task Force Chair Roger Grimson, a biostatistician and an associate professor at the State University of New York at Stony Brook, concluded in a Newsday article at that time, "There is no link between Brookhaven National Lab and

222

Survey Statisticians  

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

Survey Statisticians Survey Statisticians The U.S.Energy Information Administration (EIA) within the Department of Energy has forged a world-class information program that stresses quality, teamwork, and employee growth. In support of our program, we offer a variety of profes- sional positions, including the Survey Statistician, who measures the amounts of energy produced and consumed in the United States. Responsibilities: Survey Statisticians perform or participate in one or more of the following important functions: * Design energy surveys by writing questions, creating layouts and testing questions for clarity and accuracy. * Conduct energy surveys to include sending out and tracking survey responses, editing and analyzing data submis- sions and communicating with respondents to verify data.

223

Gait verification using knee acceleration signals  

Science Conference Proceedings (OSTI)

A novel gait recognition method for biometric applications is proposed. The approach has the following distinct features. First, gait patterns are determined via knee acceleration signals, circumventing difficulties associated with conventional vision-based ... Keywords: Biometrics, Gait analysis, Identity verification, Physiological signal processing

L. W. Hang; C. Y. Hong; C. W. Yen; D. J. Chang; M. L. Nagurka

2011-11-01T23:59:59.000Z

224

Taximeter verification using imprecise data from GPS  

Science Conference Proceedings (OSTI)

Until recently, local governments in Spain were using machines with rolling cylinders for testing and verification of taximeters. However, the tyres condition can lead to errors in the process and the mechanical construction of the test equipment is ... Keywords: Fuzzy fitness function, GPS, Genetic fuzzy systems, Metrology, Vague data

José Villar; Adolfo Otero; José Otero; Luciano Sánchez

2009-03-01T23:59:59.000Z

225

Verification Techniques for System-Level Design  

Science Conference Proceedings (OSTI)

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been ... Keywords: Circuits, Electricity, Microelectronics

Masahiro Fujita; Indradeep Ghosh; Mukul Prasad

2007-10-01T23:59:59.000Z

226

Pattern Language Verification in Model Driven Design  

Science Conference Proceedings (OSTI)

This paper addresses the problem of verifying the application of a Pattern Language in a design that is built based upon the patterns of the language in a model-driven approach. We propose a process named Pattern Language Verifier (PLV) which consists ... Keywords: Model Driven Engineering, Pattern Language Verification

Bahman Zamani, Greg Butler

2013-07-01T23:59:59.000Z

227

Towards Integrated Verification of Timed Transition Models  

Science Conference Proceedings (OSTI)

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

Mark Lawford; Vera Pantelic; Hong Zhang

2006-04-01T23:59:59.000Z

228

Automatic verification for interactive graphical programs  

Science Conference Proceedings (OSTI)

Modern software applications come with interactive graphical displays. In the past, verification efforts for such programs have usually ignored the I/O aspects of programs and focused instead on their core functionality. This approach leaves open the ... Keywords: ACL2, Dracula, interactive graphical programs

Carl Eastlund; Matthias Felleisen

2009-05-01T23:59:59.000Z

229

Handling Global Conditions in Parameterized System Verification  

Science Conference Proceedings (OSTI)

We consider symbolic verification for a class of parameterized systems, where a system consists of a linear array of processes, and where an action of a process may in general be guarded by both local conditions restricting the state of the process about ...

Parosh Aziz Abdulla; Ahmed Bouajjani; Bengt Jonsson; Marcus Nilsson

1999-07-01T23:59:59.000Z

230

Uncertainty and Inference for Verification Measures  

Science Conference Proceedings (OSTI)

When a forecast is assessed, a single value for a verification measure is often quoted. This is of limited use, as it needs to be complemented by some idea of the uncertainty associated with the value. If this uncertainty can be quantified, it is ...

Ian T. Jolliffe

2007-06-01T23:59:59.000Z

231

UN-REDD Workshop: Monitoring, Assessment and Verification | Open Energy  

Open Energy Info (EERE)

UN-REDD Workshop: Monitoring, Assessment and Verification UN-REDD Workshop: Monitoring, Assessment and Verification Jump to: navigation, search Tool Summary LAUNCH TOOL Name: UN-REDD Workshop: Monitoring, Assessment and Verification Agency/Company /Organization: United Nations Environment Programme, Food and Agriculture Organization of the United Nations, United Nations Development Programme Sector: Land Focus Area: Forestry Topics: GHG inventory, Policies/deployment programs, Resource assessment Resource Type: Workshop Website: www.un-redd.org/UNREDDProgramme/InternationalSupport/MeasurementReport UN-REDD Workshop: Monitoring, Assessment and Verification Screenshot References: UN-REDD Workshop: Monitoring, Assessment and Verification[1] Background "The specific objectives of the workshop were to develop a roadmap with

232

Monitoring, Verification and Reporting: Improving Compliance Within Energy  

Open Energy Info (EERE)

Monitoring, Verification and Reporting: Improving Compliance Within Energy Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Jump to: navigation, search Tool Summary Name: Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Agency/Company /Organization: International Energy Agency Sector: Energy Focus Area: Energy Efficiency Topics: GHG inventory, Policies/deployment programs Resource Type: Guide/manual Website: www.iea.org/papers/pathways/monitoring.pdf Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs Screenshot References: Monitoring, Verification and Reporting: Improving Compliance Within Energy Efficient Programs[1] This document includes: A brief overview of MVE in the context of S&L programmes.

233

The Office of Nuclear Verification | National Nuclear Security  

National Nuclear Security Administration (NNSA)

Nuclear Verification | National Nuclear Security Nuclear Verification | National Nuclear Security Administration Our Mission Managing the Stockpile Preventing Proliferation Powering the Nuclear Navy Emergency Response Recapitalizing Our Infrastructure Continuing Management Reform Countering Nuclear Terrorism About Us Our Programs Our History Who We Are Our Leadership Our Locations Budget Our Operations Media Room Congressional Testimony Fact Sheets Newsletters Press Releases Speeches Events Social Media Video Gallery Photo Gallery NNSA Archive Federal Employment Apply for Our Jobs Our Jobs Working at NNSA Blog The Office of Nuclear Verification Home > About Us > Our Programs > Nonproliferation > Nonproliferation & International Security > The Office of Nuclear Verification The Office of Nuclear Verification

234

The AdaptiV Approach to Verification of Adaptive Systems  

SciTech Connect

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.

Rouff, Christopher [Lockheed Martin Corporation; Buskens, Richard [Lockheed Martin Corporation; Pullum, Laura L [ORNL; Cui, Xiaohui [ORNL; Hinchey, Mike [Lero – The Irish Software Engineering Research Centre

2012-01-01T23:59:59.000Z

235

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

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

May 9, 2011 Ms. Ashley Armstrong U.S. Department of Energy Building Technologies Program 1000 Independence Avenue, SW Washington, DC 20585-0121 Via: ESTARVerificationTesting@ee.doe.gov. Re: Comments on Department of Energy's Energy Star Verification Testing Introduction Consumers Union of United States, Inc., 1 publisher of Consumer Reports®, submits the following comments in response to the U.S. Department of Energy ("DOE" or "Department") in the above-referenced matter. Comments Consumers Union has consistently urged DOE to strengthen its verification program for energy usage claims for appliances and is very 1 Consumers Union of United States, Inc., publisher of Consumer Reports®, is a nonprofit membership organization chartered in 1936 to provide consumers with information, education,

236

Microsoft Word - 2010 SRS ISMS Verification _Activity Report_ _June 24 - July2, 2010_  

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

Assurance, Technical Support Division Assurance, Technical Support Division Integrated Safety Management System (ISMS), Phase II Verification Review of Savannah River Remediation, July 2010 The U.S. Department of Energy (DOE), Office of Independent Oversight, within the Office of Health, Safety and Security (HSS), participated in the DOE Savannah River Operations Office (DOE-SR), Office of Safety and Quality Assurance (OSQA), Technical Support Division (TSD) Integrated Safety Management System (ISMS), Phase II Verification of Savannah River Remediation (SRR). The HSS participation, through its Site Lead program, provided HSS with an opportunity to maintain operational awareness and evaluate site programs, while supporting DOE line management efforts to safely and securely accomplish their missions. The onsite

237

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

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

HOSHIZAKI AMERICA, INC. HOSHIZAKI AMERICA, INC. 618 Highway 74 South, Peachtree City, Georgia 30269 Phone (770) 487-2331 May 9, 2011 Department of Energy 1000 Independence Avenue, SW Washington DC, 20585-0121 Agency: Office of Energy Efficiency and Renewable Energy, Department of Energy Subject: Comments on DOE verification testing in support of ENERGY STAR On behalf of Hoshizaki America, Inc., thank you for the opportunity to comment on the April 22 document, "DOE Verification Testing in Support of ENERGY STAR". Based on review of the contents, Hoshizaki America encourages DOE/EPA administration to note the following: * Commercial foodservice equipment (CFE) is produced and sold in relatively low volumes with the comparison to residential appliances. Grouping CFE with

238

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

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

ADMINISTRATIVE CENTER * 2000 N. M63 - MD 3005 * BENTON HARBOR, MI 49022 * 269.923.4646 ADMINISTRATIVE CENTER * 2000 N. M63 - MD 3005 * BENTON HARBOR, MI 49022 * 269.923.4646 May 9, 2011 Via email Ashley Armstrong U.S. Department of Energy Building Technologies Program 1000 Independence Avenue, SW Washington, DC 20585-0121 ESTARVerificationTesting@ee.doe.gov Re: DOE ENERGY STAR Verification Testing Program Dear Ms. Armstrong: We appreciate the opportunity to comment on the DOE Verification Testing Program that was put forth on April 22, 2011 (DOE Testing Document). As a very active member of the Association of Home Appliance Manufacturers (AHAM), we have worked closely with them in the development of the comments they have submitted (under separate cover)

239

Digital Surveying Directional Surveying Specialists | Open Energy  

Open Energy Info (EERE)

Digital Surveying Directional Surveying Specialists Digital Surveying Directional Surveying Specialists Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: Digital Surveying Directional Surveying Specialists Author Directional Surveying Specialists Published Publisher Not Provided, 2012 DOI Not Provided Check for DOI availability: http://crossref.org Online Internet link for Digital Surveying Directional Surveying Specialists Citation Directional Surveying Specialists. Digital Surveying Directional Surveying Specialists [Internet]. 2012. [cited 2013/10/08]. Available from: http://www.digitalsurveying.co.za/services/geophysical-borehole-surveying/overview/optical-televiewer/ Retrieved from "http://en.openei.org/w/index.php?title=Digital_Surveying_Directional_Surveying_Specialists&oldid=690244"

240

The new geospatial tools: global transparency enhancing safeguards verification  

Science Conference Proceedings (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

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

Efficient independent component analysis  

E-Print Network (OSTI)

Independent component analysis (ICA) has been widely used for blind source separation in many fields such as brain imaging analysis, signal processing and telecommunication. Many statistical techniques based on M-estimates have been proposed for estimating the mixing matrix. Recently several nonparametric methods have been developed but in-depth analysis on asymptotic efficiency has not been available. We analyze ICA using semiparametric theories and propose a straightforward estimate based on the efficient score function by using B-spline approximations. The estimate is asymptotically efficient under moderate conditions and exhibits better performance than standard ICA methods in a variety of simulations.

Chen, Aiyou

2006-01-01T23:59:59.000Z

242

SCO Survey  

Science Conference Proceedings (OSTI)

Survey on Future of NIST's Standards Information Services. June 5, 2013. *. Bookmark and Share. Contact: Clare Allocca 301-975-4359. ...

2013-06-05T23:59:59.000Z

243

Independent Activity Report, Idaho Site - September 2011 | Department of  

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

Idaho Site - September 2011 Idaho Site - September 2011 Independent Activity Report, Idaho Site - September 2011 September 2011 Shadow Review of the Advanced Mixed Waste Treatment Project Transuranic Storage Area Retrieval Enclosure Retrieval Restart DOE Readiness Assessment [HIAR-ID-2011-09-22] A review of nuclear safety implementation verification review (IVR) procedures and processes was conducted at the Idaho Site from September 12-22, 2011. The scope originally included shadowing of the Department of Energy (DOE) Idaho Operations Office (DOE-ID) Idaho Cleanup Project IVR for the Sodium Bearing Waste Treatment Project (SBWTP). However, the planned SBWTP IVR was postponed. In lieu of this review, Independent Oversight utilized the second week on site to shadow the Idaho Cleanup Project AMWTP

244

Independent Activity Report, Idaho Site - September 2011 | Department of  

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

Activity Report, Idaho Site - September 2011 Activity Report, Idaho Site - September 2011 Independent Activity Report, Idaho Site - September 2011 September 2011 Shadow Review of the Advanced Mixed Waste Treatment Project Transuranic Storage Area Retrieval Enclosure Retrieval Restart DOE Readiness Assessment [HIAR-ID-2011-09-22] A review of nuclear safety implementation verification review (IVR) procedures and processes was conducted at the Idaho Site from September 12-22, 2011. The scope originally included shadowing of the Department of Energy (DOE) Idaho Operations Office (DOE-ID) Idaho Cleanup Project IVR for the Sodium Bearing Waste Treatment Project (SBWTP). However, the planned SBWTP IVR was postponed. In lieu of this review, Independent Oversight utilized the second week on site to shadow the Idaho Cleanup Project AMWTP

245

Independent Oversight Review, Argonne National Laboratory - November...  

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

- November 2011 November 2011 Review of the Argonne National Laboratory Alpha-Gamma Hot Cell Facility Readiness Assessment (Implementation Verification Review Sections) This...

246

INDEPENDENT COST REVIEW (ICR)  

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

COST REVIEW (ICR) COST REVIEW (ICR) and INDEPENDENT COST ESTIMATE (ICE) STANDARD OPERATING PROCEDURES (SOP) Revision 1 DEPARTMENT OF ENERGY (DOE) OFFICE OF ACQUISITION AND PROJECT MANAGEMENT (OAPM) September 2013 SUMMARY OF UPDATES: This revision includes the following significant changes since the December 2011 SOP release: 1. The original SOP discussed how an EIR and an ICE could be executed in tandem, but since we are no longer advocating this approach the ICE process has been completely separated from the EIR process and references to EIRs have been removed. 2. Section 1 adds a reference to Public Law 2055 reflecting that we must now, as a matter of law, perform an ICE at CD-3 for projects with a TPC over $100 million. 3. Section 2 notes that DOE Programs must now pay for ICRs and ICEs and reflects that PARS II must be

247

INDEPENDENT COST REVIEW (ICR)  

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

COST REVIEW (ICR) COST REVIEW (ICR) and INDEPENDENT COST ESTIMATE (ICE) STANDARD OPERATING PROCEDURES (SOP) Revision 1 DEPARTMENT OF ENERGY (DOE) OFFICE OF ACQUISITION AND PROJECT MANAGEMENT (OAPM) September 2013 SUMMARY OF UPDATES: This revision includes the following significant changes since the December 2011 SOP release: 1. The original SOP discussed how an EIR and an ICE could be executed in tandem, but since we are no longer advocating this approach the ICE process has been completely separated from the EIR process and references to EIRs have been removed. 2. Section 1 adds a reference to Public Law 2055 reflecting that we must now, as a matter of law, perform an ICE at CD-3 for projects with a TPC over $100 million. 3. Section 2 notes that DOE Programs must now pay for ICRs and ICEs and reflects that PARS II must be

248

GRIMHX verification and validation action matrix summary  

Science Conference Proceedings (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

249

NGSI: IAEA Verification of UF6 Cylinders  

Science Conference Proceedings (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

250

Conceptual design. Final report: TFE Verification Program  

DOE Green Energy (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

251

Thermal Monitoring Approaches for Energy Savings Verification  

E-Print Network (OSTI)

This paper reviews and summarizes techniques for monitoring thermal energy flows for the purpose of verifying energy savings in industrial and large institutional energy conservation projects. Approaches for monitoring hot and chilled water, steam, steam condensate and boiler feedwater in large facilities are described. Insights gained and lessons learned through the actual in-field installation of thermal monitoring equipment for energy savings verification purposes at over 100 sites at various locations throughout the United States are presented.

McBride, J. R.; Bohmer, C. J.; Lippman, R. H.; Zern, M. J.

1996-04-01T23:59:59.000Z

252

Appraisal Process Protocols, Independent Oversight - November...  

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

Appraisal Process Protocols, Independent Oversight - November 2012 Appraisal Process Protocols, Independent Oversight - November 2012 November 2012 Updated Independent Oversight...

253

Secure Position Verification for Wireless Sensor Networks in Noisy Channels  

E-Print Network (OSTI)

Position verification in wireless sensor networks (WSNs) is quite tricky in presence of attackers (malicious sensor nodes), who try to break the verification protocol by reporting their incorrect positions (locations) during the verification stage. In the literature of WSNs, most of the existing methods of position verification have used trusted verifiers, which are in fact vulnerable to attacks by malicious nodes. They also depend on some distance estimation techniques, which are not accurate in noisy channels (mediums). In this article, we propose a secure position verification scheme for WSNs in noisy channels without relying on any trusted entities. Our verification scheme detects and filters out all malicious nodes from the network with very high probability.

Mandal, Partha Sarathi

2011-01-01T23:59:59.000Z

254

Verification and validation of decision support software: Expert Choice{trademark} and PCM{trademark}  

SciTech Connect

This report documents the verification and validation of two decision support programs: EXPERT CHOICE{trademark} and PCM{trademark}. Both programs use the Analytic Hierarchy Process (AHP) -- or pairwise comparison technique -- developed by Dr. Thomas L. Saaty. In order to provide an independent method for the validating the two programs, the pairwise comparison algorithm was developed for a standard mathematical program. A standard data set -- selecting a car to purchase -- was used with each of the three programs for validation. The results show that both commercial programs performed correctly.

Nguyen, Q.H.; Martin, J.D.

1994-11-04T23:59:59.000Z

255

Racing for conditional independence inference  

Science Conference Proceedings (OSTI)

In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L using the implication related to the method of structural imsets. ...

Remco R. Bouckaert; Milan Studený

2005-07-01T23:59:59.000Z

256

Comment submitted by Earthjustice regarding the Energy Star Verification Testing Program  

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

AL AS KA C AL IF O R N I A FL O R I D A M I D - P A C I F I C N O R T H E A S T N O R T H E R N R O C K I E S N O R T H W E S T R O C K Y M O U N T A I N W A S H I N G T O N , D C I N T E R N A T I O N A L BY E-MAIL Ashley Armstrong U.S. Department of Energy 1000 Independence Ave., SW Washington, DC 208-0121 ESTARVerificationTesting@ee.doe.gov Re: Energy Star verification testing proposal Earthjustice submits the following comments on DOE's proposed verification testing program for Energy Star certified appliances. 1. Introduction We are pleased to see DOE moving forward with a plan to verify Energy Star certifications. A strong program of verification testing is necessary to protect consumers, to fully realize the potential energy savings from the program, and to restore confidence in a brand that has

257

Independent Oversight Program - Guidance Documents  

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

Independent Oversight Home Sub Offices Security Evaluations Cyber Security Evaluations Emergency Management Oversight Environment, Safety and Health Evaluations...

258

Climate Survey  

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

Operations Employee Operations Employee Climate Survey March 2009 Acknowledgements The Berkeley Lab Survey Team consisted of the following: Jim Krupnick, Sponsor Vera Potapenko, Project Lead Karen Ramorino, Project Manager Chris Paquette, MOR Associates Alexis Bywater, MOR Associates MOR Associates, an external consulting firm, acted as project manager for this effort, analyzing the data and preparing this report. MOR Associates specializes in continuous improve- ment, strategic thinking and leadership development. MOR Associates has conducted a number of large-scale surveys for organizations in higher education, including MIT, Stanford, the University of Chicago, and others. MOR Associates, Inc. 462 Main Street, Suite 300 Watertown, MA 02472 tel: 617.924.4501

259

INDEPENDENT ELECTRICITY SYSTEM OPERATOR  

E-Print Network (OSTI)

The Board of Directors of the Independent Electricity System Operator (IESO) has adopted this Charter as part of its commitment to high standards of corporate governance in pursuing the objects of the IESO set out in the Electricity Act, 1998. This Charter describes the Board’s mandate, accountability and composition, and sets out a specific Code of Conduct for the Board. More detailed information about the IESO’s corporate governance is set out in the Governance and Structure By?law and in corporate policies, notably the Terms of Reference for a Director. The activities of the Board and its Committees are formally recorded in minutes of meetings. MANDATE The Board shall manage and supervise the management of the IESO’s business and affairs and shall provide insight, input into and oversight of the development of the IESO’s strategic direction. More specifically, the Board’s mandate includes: periodically reviewing with Management: the strategic environment; the emergence of new risks and opportunities and the implications of such risks and opportunities for the IESO’s strategic direction; and the establishment and operation of the IESO?administered markets to promote the purposes of the Electricity Act, 1998 including, without limitation, making market rules and amendments thereto; approving strategic plans that take into account the IESO’s major risks and opportunities and overseeing the management of those risks; 2 appointing, monitoring and assessing the performance of the Chief Executive

unknown authors

2009-01-01T23:59:59.000Z

260

Independent Oversight Review, Los Alamos National Laboratory- July 2012  

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

Review of the Los Alamos National Laboratory Implementation Verification Review at Technical Area-55

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

A golden anniversary for space-based treaty verification  

NLE Websites -- All DOE Office Websites (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...

262

Evaluation, Measurement, and Verification (EM&V) of Residential...  

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

Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Programs: Issues and Recommendations Title Evaluation, Measurement, and...

263

Review of the Pantex Plant Implementation Verification Review...  

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

of the Pantex Plant Implementation Verification Review Processes February 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of...

264

Review of the Implementation Verification Rev iew Processes at...  

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

Verification Review Processes at the Savannah River Site Environmental Management Nuclear Facilities May 2011 September 2011 Office of Safety and Emergency Management...

265

Example Measurement & Verification Plan for a Super ESPC Project  

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

Report features a comprehensive measurement and verification (M&V) plan for a fictitious super energy savings performance contract (ESPC) project.

266

Measurement and Verification of Low Income Energy Efficiency...  

Open Energy Info (EERE)

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

267

Volunteer to conduct free verifications for K-12 schools and...  

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

Volunteer to conduct free verifications for K-12 schools and worship facilities Secondary menu join us About us Press room Contact Us Portfolio Manager Login Facility owners and...

268

Event:Technical Workshop: Measurement, Reporting and Verification...  

Open Energy Info (EERE)

Technical Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation Jump to: navigation, search Calendar.png Technical Workshop: Measurement,...

269

Measurement and Verification of Low Income Energy Efficiency Programs in  

Open Energy Info (EERE)

Measurement and Verification of Low Income Energy Efficiency Programs in Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Measurement and Verification of Low Income Energy Efficiency Programs in Brazil: Methodological Challenges Focus Area: Energy Efficiency Topics: Socio-Economic Website: www.eceee.org/conference_proceedings/eceee/2009/Panel_3/3.049/ Equivalent URI: cleanenergysolutions.org/content/measurement-and-verification-low-inco Language: English Policies: "Regulations,Financial Incentives" is not in the list of possible values (Deployment Programs, Financial Incentives, Regulations) for this property. Regulations: Feebates This report presents results from Brazilian electric utilities evaluation

270

Lightning Activities in the DOE-EPRI Turbine Verification Program  

DOE Green Energy (OSTI)

The US Department of Energy (DOE)-Electric Power Research Institute (EPRI) Turbine Verification Program (TVP) has played a vital role in improving the understanding of lightning protection for wind turbines. In response to concerns from host utilities, the TVP began a lightning protection project to study the impact of lightning activity at the 6.0-megawatt (MW) wind power facility in Ft. Davis, Texas. McNiff Light Industry (MLI) and Global Energy Concepts (GEC) established a broad observation and documentation effort to survey the lightning protection methodologies used and to evaluate the damage resulting from lightning activity at the turbines. The 6.05-MW wind power plant in Searsburg, Vermont, was inspected after a severe lightning storm caused damage to several turbines there. Zond, McNiff, and consultants from Lightning Technologies, Inc. conducted post-damage inspections at both sites to develop recommendations for improving lightning protection. Site operators implemented the recommended mitigation strategies, and the turbines were monitored to determine if the protection measures improved project operations. This paper summarizes the experience gained through TVP's lightning-related research, and provides a set of guidelines for wind turbine manufacturers, owners, and operators.

McCoy, T.; Rhoads, H.; Lisman, T. (Global Energy Concepts, LLC); McNiff, B. (McNiff Light Industry); Smith, B. (National Renewable Energy Laboratory)

2000-09-11T23:59:59.000Z

271

VLBI surveys  

E-Print Network (OSTI)

Systematic surveys of astronomical objects often lead to discoveries, but always provide invaluable information for statistical studies of well-defined samples. They also promote follow-up investigations of individual objects or classes. Surveys using a yet unexplored observing wavelength, a novel technique or a new instrument are of special importance. Significantly improved observing parameters (e.g. sensitivity, angular resolution, monitoring capability) provide new insight into the morphological and physical properties of the objects studied. I give a brief overview of the important Very Long Baseline Interferometry (VLBI) imaging surveys conducted in the past. A list of surveys guides us through the developments up until the present days. I also attempt to show directions for the near future.

S. Frey

2006-11-08T23:59:59.000Z

272

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-MECH-23 Verification of High EER Equipment (Page 1 of 1)  

E-Print Network (OSTI)

CERTIFICATE OF FIELD VERIFICATION AND DIAGNOSTIC TESTING CF-4R-MECH-23 Verification of High EER 2009 Verification of High EER Equipment Procedures for verification of High EER Equipment are described. 1 System Name or Identification/Tag 2 System Location or Area Served 3 Certified EER Rating

273

Laundered protective clothing survey  

SciTech Connect

It is considered appropriate occasionally to make independent checks on the effectiveness of the plant laundry in removing radioactive contamination from plant-issue protective clothing. Previous surveys have offered constructive criticism resulting in improved handling of high level and soft beta contaminated clothing and incorporation in new designs of ventilating and air sampling recommendations. Recurrently the adequacy of laundry reject limits is questioned, and only recently an accurate, special study resulted in relaxed limits for Metal Preparation area clothing. A current question concerns the advisability of determining the reject level on the beta-gamma monitor more frequently than once a day. 2 tabs.

Clukey, H.V.

1952-10-15T23:59:59.000Z

274

Appendix: Conjectures concerning proof, design, and verification.  

SciTech Connect

This article focuses on an esoteric but practical use of automated reasoning that may indeed be new to many, especially those concerned primarily with verification of both hardware and software. Specifically, featured are a discussion and some methodology for taking an existing design -- of a circuit, a chip, a program, or the like--and refining and improving it in various ways. Although the methodology is general and does not require the use of a specific program, McCune's program OTTER does offer what is needed. OTTER has played and continues to play the key role in my research, and an interested person can gain access to this program in various ways, not the least of which is through the included CD-ROM in [3]. When success occurs, the result is a new design that may require fewer components, avoid the use of certain costly components, offer more reliability and ease of verification, and, perhaps most important, be more efficient in the contexts of speed and heat generation. Although the author has minimal experience in circuit design, circuit validation, program synthesis, program verification, and similar concerns, (at the encouragement of colleagues based on successes to be cited) he presents materials that might indeed be of substantial interest to manufacturers and programmers. He writes this article in part prompted by the recent activities of chip designers that include Intel and AMD, activities heavily emphasizing the proving of theorems. As for his research that appears to the author to be relevant, he has made an intense and most profitable study of finding proofs that are shorter [2,3], some that avoid the use of various types of term, some that are far less complex than previously known, and the like. Those results suggest to me a strong possible connection between more appealing proofs (in mathematics and in logic) and enhanced and improved design of both hardware and software. Here the author explores diverse conjectures that elucidate some of the possibly fruitful connections.

Wos, L.

2000-05-31T23:59:59.000Z

275

Independent Activity Report, Pantex Site Office - May 2011 | Department of  

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

Site Office - May 2011 Site Office - May 2011 Independent Activity Report, Pantex Site Office - May 2011 May 2011 Pantex Site Office Quality Assurance Survey [HIAR-PTX-2011-05-06] In coordination with the Pantex Site Office (PXSO), the Office of Health, Safety and Security (HSS) site lead participated in a National Nuclear Security Administration (NNSA)/PXSO Quality Assurance Survey (QAS 1) of the contractor's weapon quality program conducted May 2-5, 2011. The purpose of the QAS 1 survey was to examine how Babcock and Wilcox Technical Services Pantex, LLC (B&W Pantex) implements, monitors, and improves the Quality Management System and its implementing policies, processes, and procedures, as well as the level of compliance with the contractual requirements. Independent Activity Report, Pantex Site Office - May 2011

276

Characteristic formulae for the verification of imperative programs  

Science Conference Proceedings (OSTI)

In previous work, we introduced an approach to program verification based on characteristic formulae. The approach consists of generating a higher-order logic formula from the source code of a program. This characteristic formula is constructed in such ... Keywords: characteristic formula, interactive verification, total correctness

Arthur Charguéraud

2011-09-01T23:59:59.000Z

277

Probabilistic Fusion of Sorted Score Sequences for Robust Speaker Verification  

E-Print Network (OSTI)

Probabilistic Fusion of Sorted Score Sequences for Robust Speaker Verification Ming-Cheung Cheung1 Engineering, Princeton University, USA Abstract. Fusion techniques have been widely used in multi-dependent fusion al- gorithm for speaker verification. The algorithm is data-dependent in that the fusion weights

Mak, Man-Wai

278

Towards the compositional verification of real-time UML designs  

Science Conference Proceedings (OSTI)

Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem ... Keywords: embedded systems, object constraint language (OCL), pattern, real-time, unified modelling language (UML)

Holger Giese; Matthias Tichy; Sven Burmester; Wilhelm Schäfer; Stephan Flake

2003-09-01T23:59:59.000Z

279

Formal verification of compiler transformations on polychronous equations  

Science Conference Proceedings (OSTI)

In this paper, adopting the translation validation approach, we present a formal verification process to prove the correctness of compiler transformations on systems of polychronous equations. We encode the source programs and the transformations with ... Keywords: formal verification, multi-clocked synchronous programs, polychronous model, translation validation, validated compiler

Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard

2012-06-01T23:59:59.000Z

280

Certification and verification for calmac flat plate solar collector  

DOE Green Energy (OSTI)

This document contains information used in the certification and verification of the Calmac Flat Plate Collector. Contained are such items as test procedures and results, information on materials used, Installation, Operation, and Maintenance Manuals, and other information pertaining to the verification and certification.

Not Available

1978-01-27T23:59:59.000Z

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

Modeling and Verification of Reactive Systems using Rebeca  

Science Conference Proceedings (OSTI)

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. ... Keywords: actor model, compositional verification, model checking, property preserving abstraction, reactive systems

Marjan Sirjani; Ali Movaghar; Amin Shali; Frank S. de Boer

2004-12-01T23:59:59.000Z

282

Integrity verification of cloud-hosted data analytics computations  

Science Conference Proceedings (OSTI)

In this position paper, we present efficient and practical integrity verification techniques that check whether the untrusted cloud has returned correct result of outsourced data analytics computations. We consider the computation of summation form that ... Keywords: cloud analytics as a service, cloud computing, integrity verification, machine learning

Hui (Wendy) Wang

2012-08-01T23:59:59.000Z

283

Challenge benchmarks for verification of real-time programs  

Science Conference Proceedings (OSTI)

Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. Unfortunately, it is nearly impossible to find representative ... Keywords: java, real-time, verification

Tomas Kalibera; Pavel Parizek; Ghaith Haddad; Gary T. Leavens; Jan Vitek

2010-01-01T23:59:59.000Z

284

High-performance verification of large concurrent systems  

E-Print Network (OSTI)

High-performance verification of large concurrent systems Elbie taKrpska Ph.D. Thesis VU University Systems Ph.D. Thesis Elzbieta Krepska VU University Amsterdam, 2012 #12;This research was funded by the VU. #12;VRIJE UNIVERSITEIT TOWARDS BIG BIOLOGY: HIGH-PERFORMANCE VERIFICATION OF LARGE CONCURRENT SYSTEMS

Bal, Henri E.

285

Mismatch modeling and compensation for robust speaker verification  

Science Conference Proceedings (OSTI)

In this study, primary channel mismatch scenario between enrollment and test conditions in a speaker verification task are analyzed and modeled. A novel Gaussian mixture modeling with a universal background model (GMM-UBM) frame based compensation model ... Keywords: Eigenchannel, Factor analysis, Mismatch compensation, Speaker verification

Yun Lei; John H. L. Hansen

2011-02-01T23:59:59.000Z

286

Approaches to verification of two-dimensional water quality models  

DOE Green Energy (OSTI)

The verification of a water quality model is the one procedure most needed by decision making evaluating a model predictions, but is often not adequate or done at all. The results of a properly conducted verification provide the decision makers with an estimate of the uncertainty associated with model predictions. Several statistical tests are available for quantifying of the performance of a model. Six methods of verification were evaluated using an application of the BETTER two-dimensional water quality model for Chickamauga reservoir. Model predictions for ten state variables were compared to observed conditions from 1989. Spatial distributions of the verification measures showed the model predictions were generally adequate, except at a few specific locations in the reservoir. The most useful statistics were the mean standard error of the residuals. Quantifiable measures of model performance should be calculated during calibration and verification of future applications of the BETTER model. 25 refs., 5 figs., 7 tabs.

Butkus, S.R. (Tennessee Valley Authority, Chattanooga, TN (USA). Water Quality Dept.)

1990-11-01T23:59:59.000Z

287

Verification and validation for induction heating  

SciTech Connect

Truchas is a software package being developed at LANL within the Telluride project for predicting the complex physical processes in metal alloy casting. The software was designed to be massively parallel, multi-material, multi-physics, and to run on 3D, fully unstructured meshes. This work describes a Verification and Validation assessment of Truchas for simulating the induction heating phase of a casting process. We used existing data from a simple experiment involving the induction heating of a graphite cylinder, as graphite is a common material used for mold assemblies. Because we do not have complete knowledge of all the conditions and properties in this experiment (as is the case in many other experiments), we performed a parameter sensitivity study, modeled the uncertainties of the most sensitive parameters, and quantified how these uncertainties propagate to the Truchas output response. A verification analysis produced estimates of the numerical error of the Truchas solution to our computational model. The outputs from Truchas runs with randomly sampled parameter values were used for the validation study.

Lam, Kin [Los Alamos National Laboratory; Tippetts, Trevor B [Los Alamos National Laboratory; Allen, David W [NON LANL

2008-01-01T23:59:59.000Z

288

Monitoring/Verification using DMS: TATP Example  

Science Conference Proceedings (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 operations-management 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. Fast GC is the leading field analytical method for gas phase 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.

Stephan Weeks, Kevin Kyle, Manuel Manard

2008-05-30T23:59:59.000Z

289

DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS  

Science Conference Proceedings (OSTI)

A critical aspect of international safeguards activities performed by the International Atomic Energy Agency (IAEA) is the verification that facility design and construction (including upgrades and modifications) do not create opportunities for nuclear proliferation. These Design Information Verification activities require that IAEA inspectors compare current and past information about the facility to verify the operator’s declaration of proper use. The actual practice of DIV presents challenges to the inspectors due to the large amount of data generated, concerns about sensitive or proprietary data, the overall complexity of the facility, and the effort required to extract just the safeguards relevant information. Planned and anticipated facilities will (especially in the case of reprocessing plants) be ever larger and increasingly complex, thus exacerbating the challenges. This paper reports the results of a workshop held at the Idaho National Laboratory in March 2009, which considered technologies and methods to address these challenges. The use of 3D Laser Range Finding, Outdoor Visualization System, Gamma-LIDAR, and virtual facility modeling, as well as methods to handle the facility data issues (quantity, sensitivity, and accessibility and portability for the inspector) were presented. The workshop attendees drew conclusions about the use of these techniques with respect to successfully employing them in an operating environment, using a Fuel Conditioning Facility walk-through as a baseline for discussion.

Robert S. Bean; Richard R. M. Metcalf; Phillip C. Durst

2009-07-01T23:59:59.000Z

290

Information handbook on independent spent fuel storage installations  

Science Conference Proceedings (OSTI)

In this information handbook, the staff of the U.S. Nuclear Regulatory Commission describes (1) background information regarding the licensing and history of independent spent fuel storage installations (ISFSIs), (2) a discussion of the licensing process, (3) a description of all currently approved or certified models of dry cask storage systems (DCSSs), and (4) a description of sites currently storing spent fuel in an ISFSI. Storage of spent fuel at ISFSIs must be in accordance with the provisions of 10 CFR Part 72. The staff has provided this handbook for information purposes only. The accuracy of any information herein is not guaranteed. For verification or for more details, the reader should refer to the respective docket files for each DCSS and ISFSI site. The information in this handbook is current as of September 1, 1996.

Raddatz, M.G.; Waters, M.D.

1996-12-01T23:59:59.000Z

291

Independent Oversight Appraisal Process Protocols  

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

OFFICE OF ENFORCEMENT AND OVERSIGHT OFFICE OF ENFORCEMENT AND OVERSIGHT INDEPENDENT OVERSIGHT PROGRAM APPRAISAL PROCESS PROTOCOLS November 2012 Office of Health, Safety and Security U.S. Department of Energy Independent Oversight Program Appraisal Process Protocols Preface November 2012 i Preface The Office of Enforcement and Oversight, within the Office of Health, Safety and Security (HSS), is responsible for implementing an Independent Oversight Program for safety and security within the U.S. Department of Energy (DOE) in accordance with DOE Orders 227.1, Independent Oversight Program, and 226.1B, Implementation of Department of Energy Oversight Policy. Effective oversight, including independent oversight, of DOE Federal and contractor operations is an integral element of the

292

Independent Oversight Appraisal Process Protocols  

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

OFFICE OF ENFORCEMENT AND OVERSIGHT OFFICE OF ENFORCEMENT AND OVERSIGHT INDEPENDENT OVERSIGHT PROGRAM APPRAISAL PROCESS PROTOCOLS November 2012 Office of Health, Safety and Security U.S. Department of Energy Independent Oversight Program Appraisal Process Protocols Preface November 2012 i Preface The Office of Enforcement and Oversight, within the Office of Health, Safety and Security (HSS), is responsible for implementing an Independent Oversight Program for safety and security within the U.S. Department of Energy (DOE) in accordance with DOE Orders 227.1, Independent Oversight Program, and 226.1B, Implementation of Department of Energy Oversight Policy. Effective oversight, including independent oversight, of DOE Federal and contractor operations is an integral element of the

293

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

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

9, 2011 9, 2011 Via E-Mail Ashley Armstrong U.S. Department of Energy Building Technologies Program 1000 Independence Avenue, SW Washington, DC 20585-0121 ESTARVerificationTesting@ee.doe.gov Re: DOE ENERGY STAR Verification Testing Program Dear Ms. Armstrong: On behalf of the Association of Home Appliance Manufacturers (AHAM), I would like to provide our comments on the DOE Verification Testing Program, as outlined in the document dated April 22, 2011 (DOE Testing Document). AHAM represents manufacturers of major, portable and floor care home appliances, and suppliers to the industry. AHAM's membership includes over 150 companies throughout the world. In the U.S., AHAM members employ tens of thousands of people and produce more than 95% of the household appliances shipped for sale. The factory shipment value of these products

294

Supplement No. 2 to the FUSRAP Summary Protocol – Verification and Certification Protocol  

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

Supplement No. 2 to the FUSRAP Summary Protocol – Verification and Certification Protocol (November 1985, Rev. 1)

295

BUSpec: A framework for generation of verification aids for standard bus protocol specifications  

Science Conference Proceedings (OSTI)

A typical verification intellectual property (VIP) of a bus protocol such as ARM advanced micro-controller bus architecture (AMBA) or PCI consists of a set of assertions and associated verification aids such as test-benches, design-ware models and coverage ... Keywords: Assertion-based verification, Bus functional models, Protocol validation, Verification intellectual property

Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti

2007-04-01T23:59:59.000Z

296

A dynamic assertion-based verification platform for validation of UML designs  

Science Conference Proceedings (OSTI)

Capacity limitations continue to impede widespread adoption of formal property verification in the design validation ow of software and hardware systems. The more popular choice (at least in the hardware domain) has been dynamic property verification ... Keywords: UML, assertion checking, dynamic property verification, software verification

A. Banerjee; S. Ray; P. Dasgupta; P. P. Chakrabarti; S. Ramesh; P. Vignesh; V. Ganesan

2012-01-01T23:59:59.000Z

297

The Role of science in treaty verification  

SciTech Connect

Technologically advanced nations are currently applying more science to treaty verification than ever before. Satellites gather a multitude of information relating to proliferation concerns using thermal imaging analysis, nuclear radiation measurements, and optical and radio frequency signals detection. Ground stations gather complementary signals such as seismic events and radioactive emissions. Export controls in many countries attempt to intercept materials and technical means that could be used for nuclear proliferation. Never the less, we have witnessed a plethora of nuclear proliferation episodes, that were undetected (or were belatedly detected) by these technologies - the Indian nuclear tests in 1998, the Libyan nuclear buildup, the Iranian enrichment program and the North Korea nuclear weapons program are some prime examples. In this talk we will discuss some of the technologies used for proliferation detection. In particular, we will note some of the issues relating to nuclear materials control agreements that epitomize political difficulties as they impact the implementation of science and technology.

Gavron, A. I. (Avigdor I.)

2004-01-01T23:59:59.000Z

298

Verification Checklist Home Address: City: State: Zip:  

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

Indoor airPLUS Version 1 (Rev. 01) Verification Checklist Home Address: City: State: Zip: Section Requirements (Refer to full Indoor airPLUS Construction Specifications for details) Must Correct Builder Verified Rater Verified N/A Note: The Rev. 01 checklist has been modified to reflect only the additional Indoor airPLUS requirements and their corresponding section numbers that must be met after completing the ENERGY STAR checklists. ENERGY STAR remains a prerequisite for Indoor airPLUS certification. ENERGY STAR V3 Checklists Thermal Enclosure System Rater Checklist completed. o o Water Management System Builder Checklist completed. o o HVAC System Quality Installation Contractor Checklist completed. o o HVAC System Quality Installation Rater Checklist completed. o o

299

Sequence independent amplification of DNA  

DOE Patents (OSTI)

The present invention is a rapid sequence-independent amplification procedure (SIA). Even minute amounts of DNA from various sources can be amplified independent of any sequence requirements of the DNA or any a priori knowledge of any sequence characteristics of the DNA to be amplified. This method allows, for example, the sequence independent amplification of microdissected chromosomal material and the reliable construction of high quality fluorescent in situ hybridization (FISH) probes from YACs or from other sources. These probes can be used to localize YACs on metaphase chromosomes but also--with high efficiency--in interphase nuclei. 25 figs.

Bohlander, S.K.

1998-03-24T23:59:59.000Z

300

Sequence independent amplification of DNA  

DOE Patents (OSTI)

The present invention is a rapid sequence-independent amplification procedure (SIA). Even minute amounts of DNA from various sources can be amplified independent of any sequence requirements of the DNA or any a priori knowledge of any sequence characteristics of the DNA to be amplified. This method allows, for example the sequence independent amplification of microdissected chromosomal material and the reliable construction of high quality fluorescent in situ hybridization (FISH) probes from YACs or from other sources. These probes can be used to localize YACs on metaphase chromosomes but also--with high efficiency--in interphase nuclei.

Bohlander, Stefan K. (Chicago, IL)

1998-01-01T23:59:59.000Z

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

Status Report on REC Verification, Tracking and Associated Issues  

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

REC REC Verification, Tracking Systems and Associated Issues DOE Workshop on REC Markets and Challenges September 11, 2007 Meredith Wingate Director of Clean Energy Policy Design and Implementation Center for Resource Solutions Main Points * Think National - Verification issues are getting more complicated with the intersection of RECs and emissions markets - Market needs more rigorous verification * More coordination is needed Role of Tracking Systems * Primary tool for implementing state RPS programs * Produce data for environmental disclosure programs * Facilitate REC transactions Certificate-based Tracking Programs * ERCOT RECs Program (2001) * NEPOOL GIS (2002) * WI RRC Program (2003-2007) * PJM GATS (2005) * NJ SRECS (2005) * WREGIS (2007) * M-RETS (2007) * New York State (2008?)

302

Reviewing Measurement and Verification Plans for Federal ESPC Projects  

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

Reviewing Measurement & Verification Plans Reviewing Measurement & Verification Plans for Federal ESPC Projects February 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at www.eere.energy.gov/femp/financing/ . [Headers and footers only revised 12/08] Reviewing M&V Plans Contents REVIEWING MEASUREMENT AND VERIFICATION PLANS FOR FEDERAL ESPC PROJECTS ............................................................................................................ 1 STEP 1 - PREPARE CUSTOM REPORT AND CHECKLIST FROM TEMPLATE .......................... 1

303

JOM Salary Survey - TMS  

Science Conference Proceedings (OSTI)

JOM Salary Survey. This survey is currently closed. Please contact the author of this survey for further assistance. Javascript is required for this site to function, ...

304

The First Hundred Brown Dwarfs Discovered by the Wide-field Infrared Survey Explorer (WISE)  

E-Print Network (OSTI)

We present ground-based spectroscopic verification of 6 Y dwarfs (see also Cushing et al.), 89 T dwarfs, 8 L dwarfs, and 1 M dwarf identified by the Wide-field Infrared Survey Explorer (WISE). Eighty of these are cold brown ...

Bochanski, John J.

305

Independent Oversight Review, West Valley Demonstration Project...  

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

Independent Oversight Review, West Valley Demonstration Project Transportation - September 2000 Independent Oversight Review, West Valley Demonstration Project Transportation -...

306

Independent Oversight Review, Portsmouth Gaseous Diffusion Plant- April 2013  

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

Review of the Integrated Safety Management System Phase I Verification Review at the Portsmouth Gaseous Diffusion Plant

307

Independent Oversight Review, Argonne National Laboratory- November 2011  

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

Review of the Argonne National Laboratory Alpha-Gamma Hot Cell Facility Readiness Assessment (Implementation Verification Review Sections)

308

Texting while driving on automatic: Considering the frequency-independent side of habit  

Science Conference Proceedings (OSTI)

This study tested the potential of the frequency-independent components of habit, or automaticity, to predict the rate of texting while driving. A survey of 441 college students at a large American university was conducted utilizing a frequency-independent ... Keywords: Automaticity, Driving, Habit, Mobile, Phones, Texting

Joseph B. Bayer; Scott W. Campbell

2012-11-01T23:59:59.000Z

309

2012 NERSC User Survey  

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

Results 2012 User Survey Text 2012 NERSC User Survey Text The 2012 NERSC User Survey is closed. The following is the text of the survey. Section 1: Overall Satisfaction with...

310

Measurement & Verification with Green Button Data | Department of Energy  

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

Measurement & Verification with Green Button Data Measurement & Verification with Green Button Data Measurement & Verification with Green Button Data April 13, 2012 - 4:15pm Addthis Shankar Earni Program Manager at Lawrence Berkeley National Laboratory Measurement and verification (M&V) focuses on ensuring that the savings from energy efficiency projects are being realized with a certain degree of confidence. M&V involves understanding how energy savings arebeing realized from a project; designing a cost-effective assessment strategy that addresses how to ensure the savings can be measured; and implementing the designed strategy by gathering the key data followed by analysis and reporting of the actual savings. In some cases, data from the Green Button program can be used to assess the energy savings from new efficiency

311

Skill Scores and Correlation Coefficients in Model Verification  

Science Conference Proceedings (OSTI)

Attributes of the anomaly correlation coefficient, as a model verification measure, are investigated by exploiting a recently developed method of decomposing skill scores into other measures of performance. A mean square error skill score based ...

Allan H. Murphy; Edward S. Epstein

1989-03-01T23:59:59.000Z

312

V-073: IBM Tivoli Federated Identity Manager Signature Verification Flaw  

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

3: IBM Tivoli Federated Identity Manager Signature Verification 3: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes V-073: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes January 21, 2013 - 12:15am Addthis PROBLEM: IBM Tivoli Federated Identity Manager Signature Verification Flaw Lets Remote Users Modify Attributes PLATFORM: Tivoli Federated Identity Manager versions 6.2.0, 6.2.1, 6.2.2 ABSTRACT: A vulnerability was reported in IBM Tivoli Federated Identity Manager. REFERENCE LINKS: IBM Security Bulletin: 1615744 SecurityTracker Alert ID: 1028011 CVE-2012-6359 IMPACT ASSESSMENT: Medium DISCUSSION: The system does not check that all attributes have been signed. A remote user with the ability to conduct a man-in-the-middle attack can modify

313

Summary Verification Measures and Their Interpretation for Ensemble Forecasts  

Science Conference Proceedings (OSTI)

Ensemble prediction systems produce forecasts that represent the probability distribution of a continuous forecast variable. Most often, the verification problem is simplified by transforming the ensemble forecast into probability forecasts for ...

A. Allen Bradley; Stuart S. Schwartz

2011-09-01T23:59:59.000Z

314

Neighborhood Verification: A Strategy for Rewarding Close Forecasts  

Science Conference Proceedings (OSTI)

High-resolution forecasts may be quite useful even when they do not match the observations exactly. Neighborhood verification is a strategy for evaluating the “closeness” of the forecast to the observations within space–time neighborhoods rather ...

Elizabeth E. Ebert

2009-12-01T23:59:59.000Z

315

Scenario based performance optimisation in face verification using smart cards  

Science Conference Proceedings (OSTI)

We discuss the effect of an optimisation strategy to be applied to image data in a smart card based face verification system. Accordingly, we propose a system architecture considering the trade-off between performance versus the improvement of memory ...

Thirimachos Bourlai; Kieron Messer; Josef Kittler

2005-07-01T23:59:59.000Z

316

A Simplification of a Real-Time Verification Problem  

E-Print Network (OSTI)

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

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

2010-01-01T23:59:59.000Z

317

A lightweight specification language for bounded program verification  

E-Print Network (OSTI)

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

Yessenov, Kuat T

2009-01-01T23:59:59.000Z

318

Distributions-Oriented Verification of Ensemble Streamflow Predictions  

Science Conference Proceedings (OSTI)

Ensemble streamflow prediction systems produce forecasts in the form of a conditional probability distribution for a continuous forecast variable. A distributions-oriented approach is presented for verification of these probability distribution ...

A. Allen Bradley; Stuart S. Schwartz; Tempei Hashino

2004-06-01T23:59:59.000Z

319

A Generic Forecast Verification Framework for Administrative Purposes  

Science Conference Proceedings (OSTI)

There are numerous reasons for calculating forecast verification scores, and considerable attention has been given to designing and analyzing the properties of scores that can be used for scientific purposes. Much less attention has been given to ...

Simon J. Mason; Andreas P. Weigel

2009-01-01T23:59:59.000Z

320

Verification of the Origins of Rotation in Tornadoes Experiment: VORTEX  

Science Conference Proceedings (OSTI)

This paper describes the Verification of the Origins of Rotation in Tornadoes Experiment planned for 1994 and 1995 to evaluate a set of hypotheses pertaining to tornadogenesis and tornado dynamics. Observations of state variables will be obtained ...

Erik N. Rasmussen; Jerry M. Straka; Robert Davies-Jones; Charles A. Doswell III; Frederick H. Carr; Michael D. Eilts; Donald R. MacGorman

1994-06-01T23:59:59.000Z

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

Explicitly Accounting for Observation Error in Categorical Verification of Forecasts  

Science Conference Proceedings (OSTI)

Given an accurate representation of errors in observations it is possible to remove the effect of those errors from categorical verification scores. The errors in the observations are treated as additive white noise that is statistically ...

Neill E. Bowler

2006-06-01T23:59:59.000Z

322

Event Order Abstraction for Parametric Real-Time System Verification  

E-Print Network (OSTI)

We present a new abstraction technique, event order abstraction (EOA), for parametric safety verification of real-time systems in which ``correct orderings of events'' needed for system correctness are maintained by timing ...

Umeno, Shinya

2008-07-28T23:59:59.000Z

323

Induction-based gate-level verification of multipliers  

Science Conference Proceedings (OSTI)

We propose a method based on unrolling the inductive definition of binary number multiplication to verify gate-level implementations of multipliers. The induction steps successively reduce the size of the multiplier under verification. Through induction, ...

Ying Tsai Chang; Kwang Ting Tim Cheng

2001-11-01T23:59:59.000Z

324

Speaker verification in noisy environment using missing feature approach  

Science Conference Proceedings (OSTI)

In order to handle speech signals corrupted by noise in speaker verification and provide robustness to systems, this paper evaluates the use of missing feature (MF) approach with a novel combination of techniques. A mask estimation based on spectral ...

Dayana Ribas; Jesús A. Villalba; Eduardo Lleida; José R. Calvo

2010-11-01T23:59:59.000Z

325

Spent Nuclear Fuel (SNF) Project Design Verification and Validation Process  

SciTech Connect

This document provides a description of design verification and validation activities implemented by the Spent Nuclear Fuel (SNF) Project. During the execution of early design verification, a management assessment (Bergman, 1999) and external assessments on configuration management (Augustenburg, 1999) and testing (Loscoe, 2000) were conducted and identified potential uncertainties in the verification process. This led the SNF Chief Engineer to implement corrective actions to improve process and design products. This included Design Verification Reports (DVRs) for each subproject, validation assessments for testing, and verification of the safety function of systems and components identified in the Safety Equipment List to ensure that the design outputs were compliant with the SNF Technical Requirements. Although some activities are still in progress, the results of the DVR and associated validation assessments indicate that Project requirements for design verification are being effectively implemented. These results have been documented in subproject-specific technical documents (Table 2). Identified punch-list items are being dispositioned by the Project. As these remaining items are closed, the technical reports (Table 2) will be revised and reissued to document the results of this work.

OLGUIN, L.J.

2000-09-25T23:59:59.000Z

326

Airborne lidar surveys are an at-tractive alternative to the methods  

E-Print Network (OSTI)

to changing from a visual- based aerial survey (wide swath, shallow penetration) to a lidar-based Modeling264 Airborne lidar surveys are an at- tractive alternative to the methods presentlyusedinfishery-independent surveys of epipelagic fishes (Hunter and Churnside1). They would cost much less per survey mile than ship

327

Integrated safety management system verification: Volume 1  

SciTech Connect

Department of Energy (DOE) Policy (P) 450.4, Safety Management System Policy, commits to institutionalizing an Integrated Safety Management System (ISMS) throughout the DOE complex. The DOE Acquisition Regulations (DEAR 48 CFR 970) requires contractors to manage and perform work in accordance with a documented Integrated Safety Management System. The Manager, Richland Operations Office (RL), initiated a combined Phase 1 and Phase 2 Integrated Safety Management Verification review to confirm that PNNL had successfully submitted a description of their ISMS and had implemented ISMS within the laboratory facilities and processes. A combined review was directed by the Manager, RL, based upon the progress PNNL had made in the implementation of ISM. This report documents the results of the review conducted to verify: (1) that the PNNL integrated safety management system description and enabling documents and processes conform to the guidance provided by the Manager, RL; (2) that corporate policy is implemented by line managers; (3) that PNNL has provided tailored direction to the facility management; and (4) the Manager, RL, has documented processes that integrate their safety activities and oversight with those of PNNL. The general conduct of the review was consistent with the direction provided by the Under Secretary`s Draft Safety Management System Review and Approval Protocol. The purpose of this review was to provide the Manager, RL, with a recommendation to the adequacy of the ISMS description of the Pacific Northwest Laboratory based upon compliance with the requirements of 49 CFR 970.5204(-2 and -78); and, to provide an evaluation of the extent and maturity of ISMS implementation within the Laboratory. Further, this review was intended to provide a model for other DOE Laboratories. In an effort to reduce the time and travel costs associated with ISM verification the team agreed to conduct preliminary training and orientation electronically and by phone. These activities are normally conducted during a pre-visit trip to the site. The Team recommends approval of the Integrated Safety Management System Description subject to the resolution of the Areas of Concerns noted here.

Christensen, R.F.

1998-08-12T23:59:59.000Z

328

Burnup verification measurements at U.S. Nuclear Facilities using the Fork system  

SciTech Connect

Burnup verification measurements have been performed using the Fork system at the Oconee Nuclear Station of Duke Power Company, and at Arkansas Nuclear One (Units 1 and 2), operated by Energy Operations, Inc. Passive neutron and gamma-ray measurements on individual spent fuel assemblies were correlated with the reactor records for burnup, cooling time, and initial enrichment. The correlation generates an internal calibration for the system in the form of a power law determined by a least squares fit to the neutron data. The average deviation of the reactor burnup records from the calibration determined from the measurements is a measure of the random error in the burnup records. The observed average deviations ranged from 2.2% to 3.5% for assemblies at the three reactor sites, indicating a high degree of consistency in the reactor records. Anomalous measurements were also observed, but could be explained by the presence of neutron sources in the assemblies. The effectiveness of the Fork system for verification of reactor records is due to the sensitivity of the neutron yield to burnup, the self-calibration generated by a series of measurements, the redundancy provided by three independent detection systems, and the operational simplicity and flexibility of the design.

Ewing, R.I.

1995-09-01T23:59:59.000Z

329

Burnup verification measurements on spent fuel assemblies at Arkansas Nuclear One  

SciTech Connect

Burnup verification measurements have been performed using the Fork system at Arkansas Nuclear One, Units 1 and 2, operated by Energy Operations, Inc. Passive neutron and gamma-ray measurements on individual spent fuel assemblies were correlated with the reactor records for burnup, cooling time, and initial enrichment. The correlation generates an internal calibration for the system in the form of a power law determined by a least squares fit to the neutron data. The values of the exponent in the power laws were 3.83 and 4.35 for Units 1 and 2, respectively. The average deviation of the reactor burnup records from the calibration determined from the measurements is a measure of the random error in the burnup records. The observed average deviations were 2.7% and 3.5% for assemblies at Units 1 and 2, respectively, indicating a high degree of consistency in the reactor records. Two non-standard assemblies containing neutron sources were studied at Unit 2. No anomalous measurements were observed among the standard assemblies at either Unit. The effectiveness of the Fork system for verification of reactor records is due to the sensitivity of the neutron yield to burnup, the self-calibration generated by a series of measurements, the redundancy provided by three independent detection systems, and the operational simplicity and flexibility of the design.

Ewing, R.I.

1995-09-01T23:59:59.000Z

330

QA Verification of Computer Codes Used in ORNL/TM-1999/159  

Science Conference Proceedings (OSTI)

This report describes QA verification exercises carried out for the computer codes applied in the analyses summarized ''Stress Intensity Factors for HFIR HB-2 Nozzle Corner'' (ORNL/TM-1999/159). Several benchmark problems are presented that establish the following: (1) The version of the finite-element mesh generator code ORNOZL used in the subject analyses reproduces the results of the two sample problems given in its previously published user's guide. (2) The ABAQUS code reproduces, independently of ORNOZL, the results of a benchmark verification problem given in its Example Problems Manual that compares linear-elastic stress intensity factors for semi-elliptical surface flaws to solutions published in the literature. (3) The ORNOZL/ABAQUS code combination was benchmarked against an approximate method for estimating linear-elastic stress-intensity factors for corner flaws in pressure vessel nozzles. In addition, all input and output files produced during the analyses described in ORNL/TM-1999/159 have been archived on an electronic medium (CD-R74-ORNL/TM-1999/159) and transmitted with this report to ORNL Research Reactors Division personnel for archival storage.

Williams, P.T.

2000-04-07T23:59:59.000Z

331

Army Energy Security and Independence  

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

ARMY ARMY ENERGY SECURITY AND INDEPENDENCE Leadership Ownership Partnership 19 NOV 2008 Don Juhasz, PE, CEM CHIEF ARMY ENERGY POLICY Army Energy Security - "The Way Ahead" 2 ARMY ENERGY SECURITY AND INDEPENDENCE Leadership Ownership Partnership Energy Costs Driven by Global Situation OIL & GAS LIQUIDS Army Utilities Energy Use * 35% of DoD consumption * 21% of Fed government use * 11% of installations' budget * Commodity Prices increasing 8 - 20% annually Consumption Climbs as new sources decrease Oil production is primarily OCONUS and decreasing Our consumption is out of balance with our Reserves New Sources Dwindling - Forcing our reliance on Unstable governments 3 ARMY ENERGY SECURITY AND INDEPENDENCE Leadership Ownership Partnership Oil Field Forecasts Peak Year Oil Expert

332

Independent Components Of Odour Signals  

E-Print Network (OSTI)

If two independent observations or processes are measured with the same apparatus, the inherent nature of the measuring device will in many cases introduce a dependency between the two recorded processes object to inspection. In this paper a suggestion of how Independent Component Analysis (ICA) can be used to identify such device dependencies and in turn give an estimated reconstruction of the observations without the correlation between signals introduced by the apparatus. The procedure is illustrated with the use of an "electronic nose" used to sample odours from mixtures of alcohol solutions. It is shown that ICA as a novel tool in the analysis of odour signals can extract the independent odour sources and give acceptable estimates of the ratio with which the alcohol solutions were mixed with two different approaches.

Martin Kermit Oliver; Oliver Tomic T

2001-01-01T23:59:59.000Z

333

The Independent Technical Analysis Process  

DOE Green Energy (OSTI)

The Bonneville Power Administration (BPA) contracted with the Pacific Northwest National Laboratory (PNNL) to provide technical analytical support for system-wide fish passage information (BPA Project No. 2006-010-00). The goal of this project was to produce rigorous technical analysis products using independent analysts and anonymous peer reviewers. In the past, regional parties have interacted with a single entity, the Fish Passage Center to access the data, analyses, and coordination related to fish passage. This project provided an independent technical source for non-routine fish passage analyses while allowing routine support functions to be performed by other well-qualified entities.

Duberstein, Corey A.; Ham, Kenneth D.; Dauble, Dennis D.; Johnson, Gary E.

2007-04-13T23:59:59.000Z

334

Battery Technology Life Verification Testing and Analysis  

DOE Green Energy (OSTI)

A critical component to the successful commercialization of batteries for automotive applications is accurate life prediction. The Technology Life Verification Test (TLVT) Manual was developed to project battery life with a high level of statistical confidence within only one or two years of accelerated aging. The validation effort that is presently underway has led to several improvements to the original methodology. For example, a newly developed reference performance test revealed a voltage path dependence effect on resistance for lithium-ion cells. The resistance growth seems to depend on how a target condition is reached (i.e., by a charge or a discharge). Second, the methodology for assessing the level of measurement uncertainty was improved using a propagation of errors in the fundamental measurements to the derived response (e.g., resistance). This new approach provides a more realistic assessment of measurement uncertainty. Third, the methodology for allocating batteries to the test matrix has been improved. The new methodology was developed to assign batteries to the matrix such that the average of each test group would be representative of the overall population. These changes to the TLVT methodology will help to more accurately predict a battery technology’s life capability with a high degree of confidence.

Jon P. Christophersen; Gary L. Hunt; Ira Bloom; Ed Thomas; Vince Battaglia

2007-12-01T23:59:59.000Z

335

Integrated safety management system verification: Volume 2  

Science Conference Proceedings (OSTI)

Department of Energy (DOE) Policy (P) 450.4, Safety Management System Policy, commits to institutionalization of an Integrated Safety Management System (ISMS) throughout the DOE complex. The DOE Acquisition Regulations (DEAR, 48 CFR 970) requires contractors to manage and perform work in accordance with a documented Integrated Safety Management System (ISMS). Guidance and expectations have been provided to PNNL by incorporation into the operating contract (Contract DE-ACM-76FL0 1830) and by letter. The contract requires that the contractor submit a description of their ISMS for approval by DOE. PNNL submitted their proposed Safety Management System Description for approval on November 25,1997. RL tentatively approved acceptance of the description pursuant to a favorable recommendation from this review. The Integrated Safety Management System Verification is a review of the adequacy of the ISMS description in fulfilling the requirements of the DEAR and the DOE Policy. The purpose of this review is to provide the Richland Operations Office Manager with a recommendation for approval of the ISMS description of the Pacific Northwest Laboratory based upon compliance with the requirements of 49 CFR 970.5204(-2 and -78); and to verify the extent and maturity of ISMS implementation within the Laboratory. Further the review will provide a model for other DOE laboratories managed by the Office of Assistant Secretary for Energy Research.

Christensen, R.F.

1998-08-10T23:59:59.000Z

336

Beeping a maximal independent set  

Science Conference Proceedings (OSTI)

We consider the problem of computing a maximal independent set (MIS) in an extremely harsh broadcast model that relies only on carrier sensing. The model consists of an anonymous broadcast network in which nodes have no knowledge about the topology of ...

Yehuda Afek; Noga Alon; Ziv Bar-Joseph; Alejandro Cornejo; Bernhard Haeupler; Fabian Kuhn

2011-09-01T23:59:59.000Z

337

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

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

B B S H H O M E A P P L I A N C E S C O R P O R A T I O N May 9, 2011 Via E-Mail Ashley Armstrong U.S. Department of Energy Building Technologies Program 1000 Independence Avenue, SW Washington, DC 20585-0121 ESTARVerificationTesting@ee.doe.gov Re: BSH Comments regarding the document titled "DOE Verification Testing in Support of ENERGY STAR" dated April 22, 2011. Dear Ms. Armstrong: BSH supports the efforts of the Environmental Protection Agency (EPA) and Department of Energy (DOE) to ensure products meet the labeled energy ratings. We encourage an open approach with stakeholder involvement. BSH offers the following comments for consideration. Section 6.1: Test Lab Selection * We fully agree that test labs should have ISO 17025 accreditation, but further would state

338

Comment submitted by the Bradford White Corporation (BWC) regarding the Energy Star Verification Testing Program  

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

May 16, 2011 May 16, 2011 Ms. Ashley Armstrong U.S. Department of Energy Office of Energy Efficiency and Renewable Energy Building Technologies Program, EE-2J 1000 Independence Avenue SW Washington, DC 20585-0121 Dear Ms. Armstrong: On behalf of Bradford White Corporation, I would like to express our appreciation for the opportunity to comment on the DOE Verification Testing in support of the ENERGY STAR ® program for water heaters. Please find the comments of Bradford White Corporation (BWC), below. Bradford White Energy strongly urges DOE and the ENERGY STAR program to adopt a five (5) percent tolerance on all Energy Factor (EF) results, no matter the number of representative test samples. The experimental error associated with the water heater EF test protocol is in excess of 5% and is well

339

Controls modelling and verification for the Pacific Intertie HVDC 4 terminal scheme  

Science Conference Proceedings (OSTI)

A detailed digital model for the actual control system of the Pacific Intertie HVDC scheme is presented. The scheme is operated as multi-terminal bipole HVDC with four terminals in parallel. Each pole comprises two separately located converter station with independent converter controls at each end of the transmission line. The control model includes bipole, pole, station and converter control systems. Special control techniques for providing safe and stable operation of the parallel converters are described. The techniques also result in fast recovery of the HVDC transmission scheme following severe ac and dc system disturbances. Verification of the completeness and accuracy of the model are made using field tests made on the actual HVDC scheme.

Hammad, A.; Minghetti, R.; Hasler, J.; Eicher, P. (ABB Power Systems, Baden (Switzerland)); Bunch, R.; Goldsworthy, D. (Bonneville Power Administration, Portland, OR (United States))

1993-01-01T23:59:59.000Z

340

Hybrid Enrichment Assay Methods for a UF6 Cylinder Verification Station: FY10 Progress Report  

Science Conference Proceedings (OSTI)

Pacific Northwest National Laboratory (PNNL) is developing the concept of an automated UF6 cylinder verification station that would 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 the arrival of International Atomic Energy Agency (IAEA) inspectors. At the center of this unattended system is a hybrid enrichment assay technique that combines the traditional enrichment-meter method (based on the 186 keV peak from 235U) with non-traditional neutron-induced high-energy gamma-ray signatures (spawned primarily by 234U alpha emissions and 19F(alpha, neutron) reactions). Previous work by PNNL provided proof-of-principle for the non-traditional signatures to support accurate, full-volume interrogation of the cylinder enrichment, thereby reducing the systematic uncertainties in enrichment assay due to UF6 heterogeneity and providing greater sensitivity to material substitution scenarios. The work described here builds on that preliminary evaluation of the non-traditional signatures, but focuses on a prototype field system utilizing NaI(Tl) and LaBr3(Ce) spectrometers, and enrichment analysis algorithms that integrate the traditional and non-traditional signatures. Results for the assay of Type-30B cylinders ranging from 0.2 to 4.95 wt% 235U, at an AREVA fuel fabrication plant in Richland, WA, are described for the following enrichment analysis methods: 1) traditional enrichment meter signature (186 keV peak) as calculated using a square-wave convolute (SWC) algorithm; 2) non-traditional high-energy gamma-ray signature that provides neutron detection without neutron detectors and 3) hybrid algorithm that merges the traditional and non-traditional signatures. Uncertainties for each method, relative to the declared enrichment for each cylinder, are calculated and compared to the uncertainties from an attended HPGe verification station at AREVA, and the IAEA’s uncertainty target values for feed, tail and product cylinders. A summary of the major findings from the field measurements and subsequent analysis follows: • Traditional enrichment-meter assay using specially collimated NaI spectrometers and a Square-Wave-Convolute algorithm can achieve uncertainties comparable to HPGe and LaBr for product, natural and depleted cylinders. • Non-traditional signatures measured using NaI spectrometers enable interrogation of the entire cylinder volume and accurate measurement of absolute 235U mass in product, natural and depleted cylinders. • A hybrid enrichment assay method can achieve lower uncertainties than either the traditional or non-traditional methods acting independently because there is a low degree of correlation in the systematic errors of the two individual methods (wall thickness variation and 234U/235U variation, respectively). This work has indicated that the hybrid NDA method has the potential to serve as the foundation for an unattended cylinder verification station. When compared to today’s handheld cylinder-verification approach, such a station would have the following advantages: 1) improved enrichment assay accuracy for product, tail and feed cylinders; 2) full-volume assay of absolute 235U mass; 3) assay of minor isotopes (234U and 232U) important to verification of feedstock origin; single instrumentation design for both Type 30B and Type 48 cylinders; and 4) substantial reduction in the inspector manpower associated with cylinder verification.

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

2010-08-01T23:59:59.000Z

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

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

SciTech Connect

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

342

Field verification program for small wind turbines  

DOE Green Energy (OSTI)

In 1999 Windward Engineering (Windward) was awarded a Cooperative Agreement under the Field Verification Program with the Department of Energy (DOE) to install two Whisper H40 wind turbines, one at the NREL National Wind Technology Center (NWTC) and one at a test site near Spanish Fork, Utah. After installation, the turbine at the NWTC was to be operated, maintained, and monitored by NREL while the turbine in Spanish Fork was to be administered by Windward. Under this award DOE and Windward defined the primary objectives of the project as follows: (1) Determine and demonstrate the reliability and energy production of a furling wind turbine at a site where furling will be a very frequent event and extreme gusts can be expected during the duration of the tests. (2) Make engineering measurements and conduct limited computer modeling of the furling behavior to improve the industry understanding of the mechanics and nature of furling. We believe the project has achieved these objectives. The turbine has operated for approximately three and a half years. We have collected detailed engineering data approximately 75 percent of that time. Some of these data were used in an ADAMS model validation that highlighted the accuracies and inaccuracies of the computer modeling for a passively furling wind turbine. We also presented three papers at the American Wind Energy Association (AWEA) Windpower conferences in 2001, 2002, and 2003. These papers addressed the following three topics: (a) general overview of the project [1], (b) furling operation during extreme wind events [2], and (c) extrapolation of extreme (design) loads [3]. We believe these papers have given new insight into the mechanics and nature of furling and have set the stage for future research. In this final report we will highlight some of the more interesting aspects of the project as well as summarize the data for the entire project. We will also present information on the installation of the turbines as well as the findings from the post-test inspection of the turbine.

Windward Engineering, LLC

2003-11-30T23:59:59.000Z

343

Radionuclide Inventory Distribution Project Data Evaluation and Verification White Paper  

Science Conference Proceedings (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

344

Commissioning/ verification : Daylighting The New York Times Building  

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

Commissioning/ verification Commissioning/ verification Overview The architectural approach The owner's approach Daylighting field study Daylighting control systems Automated roller shades Procurement specifications Shades and Shade Controls Lighting Controls Visualizing daylight Commissioning/ verification Demand response Mainstream solutions Post-occupancy evaluation Publications Sponsors Project team Commissioning/ verification The construction cycle of the building life cycle is the time when the design intent is translated into a physical reality. Given novel integrated systems with which contractors (vendors, installers, commissioning (Cx) agents, etc.) do not have much experience, there is a risk that carefully laid plans will go amiss. To insure that the automated shading and daylighting control systems were installed and operating as intended, the manufacturers, LBNL, and the Times Company developed procedures to commission and verify system performance. With verification data resulting from these procedures, the Times Company possessed the unique capability to measure and compare performance to design intent then discuss and tune system performance with the manufacturer prior to closure of the work scope and occupancy of the building.

345

NERSC Calculations Provide Independent Confirmation of Global...  

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

NERSC Calculations Provide Independent Confirmation of Global Land Warming Since 1901 NERSC Calculations Provide Independent Confirmation of Global Land Warming Since 1901...

346

Independent Oversight Inspection of Environment, Safety, and...  

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

Independent Oversight Inspection of Environment, Safety, and Health Programs at the Savannah River Operations Office and Savannah River Site, January 2010 Independent Oversight...

347

Independent Activity Report, Pantex - October 2010 | Department...  

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

October 2010 Independent Activity Report, Pantex - October 2010 October 2010 Pantex Plant Orientation Visit The U.S. Department of Energy (DOE) Office of Independent Oversight,...

348

Independent Activity Report, Pantex - December 2010 | Department...  

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

December 2010 Independent Activity Report, Pantex - December 2010 December 2010 Pantex Plant Site Visit The U.S. Department of Energy (DOE) Office of Independent Oversight, within...

349

Cuba: Energy, Sustainability and Independence  

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

Cuba: Energy, Sustainability and Independence Cuba: Energy, Sustainability and Independence Speaker(s): Victor Bruno Henriquez Perez Date: May 10, 2001 - 12:00pm Location: b Seminar Host/Point of Contact: Kristina LaCommare Cubasolar (http://www.cubasolar.cu) is Cuba's NGO of over 400 scientists researching and implementing projects in energy efficiency and conservation as well as renewable energy. This year Cubasolar wil receive a Global 500 award from the United Nations Environmental Program for its work in raising energy consciousness in Cuba and other nations of the developing world. Since its founding in 1994, Cubasolar has installed solar panels on over 300 family doctor clinics in rural Cuba and is in the process of installing 1800 panels in rural elementary schools. Cubasolar is also involved in

350

Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification  

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

Nonaqueous-Phase Liquid Characterization and Post-Remediation Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Proceedings of the Fourth International Conference on Remediation of Chlorinated and Recalcitrant Compounds. May 2004, Monterey, California. Charles Tabor, Randall Juhlin, Paul Darr, Julian Caballero, Joseph Daniel, David Ingle Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling More Documents & Publications Steam and ET-DSP Combined for DNAPL Remediation: Full-Scale Site Restoration at Young - Rainey STAR Center Project Overview: Successful Field-Scale In Situ Thermal NAPL Remediation Successful Field-Scale In Situ Thermal NAPL Remediation at the Young - Rainey STAR Center

351

Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification  

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

Nonaqueous-Phase Liquid Characterization and Post-Remediation Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling Proceedings of the Fourth International Conference on Remediation of Chlorinated and Recalcitrant Compounds. May 2004, Monterey, California. Charles Tabor, Randall Juhlin, Paul Darr, Julian Caballero, Joseph Daniel, David Ingle Nonaqueous-Phase Liquid Characterization and Post-Remediation Verification Sampling More Documents & Publications Project Overview: Successful Field-Scale In Situ Thermal NAPL Remediation Successful Field-Scale In Situ Thermal NAPL Remediation at the Young - Rainey STAR Center Steam and ET-DSP Combined for DNAPL Remediation: Full-Scale Site Restoration at Young - Rainey STAR Center

352

CRAD, Verification and Validation of Facilities Procedures Assessment Plan  

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

Verification and Validation of Facilities Procedures Verification and Validation of Facilities Procedures Assessment Plan CRAD, Verification and Validation of Facilities Procedures Assessment Plan Performance Objective: The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that the facility is operated within its design bases. Criteria: Operations procedures should be written to provide specific direction for operating systems and equipment during normal and postulated abnormal and emergency conditions. (DOE O 5480.19 A) Operations procedures should provide appropriate direction to ensure that the facility is operated within its design bases and should be effectively used to support safe operations of the facility. (DOE O

353

Energy Efficiency Measurement & Verification in South Africa  

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

Energy Efficiency Measurement & Verification in South Africa Energy Efficiency Measurement & Verification in South Africa Speaker(s): Xiaohua Xia Date: December 17, 2012 - 12:00pm Location: 90-3122 Seminar Host/Point of Contact: Stephane de la Rue du Can Measurement and verification (M&V) is the process of using measurements to reliably determine actual saving created within an individual facility by an energy management program. This talk will describe the basics of M&V, and introduce how M&V is conducted in the Republic of South Africa. Topics covered include the history of M&V in South Africa, the business structure, and the Eskom-led M&V protocols and guidelines of M&V. The talk will also present how the M&V profession is governed and regulated by the national professional body, the national standard (the first in the world), and a

354

Sandia National Laboratories: Advanced Simulation Computing: Verification &  

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

Verification & Validation Verification & Validation high-fidelity simulations The Verification and Validation (V&V) program conducts two major activities at Sandia. The first is to perform assessments and studies that quantify confidence in Advanced Simulation and Computing (ASC) calculation results. The second activity develops and improves V&V and uncertainty quantification methods, metrics, and standards. Assessments This project area conducts studies and assessments for Sandia's engineering simulation focus areas (outlined below). These assessments quantify the prediction uncertainty of the engineering codes as they apply to applications in the four focus areas. Safety and Security This area focuses on engineering codes as they apply to nuclear weapon. External load prediction capability includes mechanical (impact, pressure,)

355

Bibliography for Verification and Validation in Computational Simulations  

Science Conference Proceedings (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

356

Converter performance TFE Verification Program. Final test report  

DOE Green Energy (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

357

Event:Technical Workshop: Measurement, Reporting and Verification (MRV):  

Open Energy Info (EERE)

Workshop: Measurement, Reporting and Verification (MRV): Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation Jump to: navigation, search Calendar.png Technical Workshop: Measurement, Reporting and Verification (MRV): Experiences from and for implementation: on 2012/06/26 "The workshop will deal with MRV issues relevant to negotiators and practitioners from Partnership member countries and aims at contributing to an in-depth understanding of key aspects critical to the implementation of MRV-systems in developing countries. The workshop will focus on the "how" of implementing MRV-systems in a pragmatic, sustainable and cost-efficient way while taking advantage of existing structures and experiences. Thus the event wants to move beyond the political discussions

358

A C-based RTL design verification methodology for complex microprocessor  

Science Conference Proceedings (OSTI)

As the complexity of high-performance microprocessor increases,functional verification becomes more and more difficultand RTL simulation emerges as the bottleneck of thedesign cycle.In this paper, we suggest C language-based designand verification methodology ...

Joon-Seo Yim; Yoon-Ho Hwang; Chang-Jae Park; Hoon Choi; Woo-Seung Yang; Hun-Seung Oh; In-Cheol Park; Chong-Min Kyung

1997-06-01T23:59:59.000Z

359

Theorem Proving: Not an Esoteric Diversion, but the Unifying Framework for Industrial Verification  

E-Print Network (OSTI)

The effectiveness of hardware verification techniques has increased markedly in the past decade. As hardware verification techniques become increasingly powerful the idea of transitioning verification technology to industry can be taken seriously. Nevertheless, powerful decision procedures that can completely automate the verification of certain types of hardware, whether they are BDD based model-checkers [10] or automatic microprocessor verification tools [4], cannot be adequate on their own for industrial hardware verification. However, a high-level, general-purpose theorem prover with specific capabilities can provide an overall framework in which these tools can be embedded and in which they can then be effectively used for industrial hardware verification. 1 Introduction The effectiveness of hardware verification techniques has increased markedly in the past decade. These techniques span a spectrum from automatic techniques to interactive theorem proving techniques. At one end o...

D. A. Cyrluk; M. K. Srivas

1995-01-01T23:59:59.000Z

360

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification  

E-Print Network (OSTI)

This report describes experimental results for a set of benchmarks on program verification. It compares the capabilities of CPBVP "Constraint Programming framework for Bounded Program Verification" [4] with the following frameworks: ESC/Java, CBMC, Blast, EUREKA and Why.

Collavizza, Hélène; Van Hentenryck, Pascal

2008-01-01T23:59:59.000Z

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

Subjective Verification of Numerical Models as a Component of a Broader Interaction between Research and Operations  

Science Conference Proceedings (OSTI)

Systematic subjective verification of precipitation forecasts from two numerical models is presented and discussed. The subjective verification effort was carried out as part of the 2001 Spring Program, a seven-week collaborative experiment ...

John S. Kain; Michael E. Baldwin; Paul R. Janish; Steven J. Weiss; Michael P. Kay; Gregory W. Carbin

2003-10-01T23:59:59.000Z

362

A Comparison of Measures-Oriented and Distributions-Oriented Approaches to Forecast Verification  

Science Conference Proceedings (OSTI)

The authors have carried out verification of 590 12–24-h high-temperature forecasts from numerical guidance products and human forecasters for Oklahoma City, Oklahoma, using both a measures-oriented verification scheme and a distributions-...

Harold E. Brooks; Charles A. Doswell III

1996-09-01T23:59:59.000Z

363

1998 NERSC User Survey Results  

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

8 User Survey Results 1998 User Survey Results Respondent Summary NERSC has completed its first user survey since its move to Lawrence Berkeley National Laboratory. The survey is...

364

Field Verification of Distributed Renewable Generation, Volume 1: Renewable Energy Field Test Concepts  

Science Conference Proceedings (OSTI)

This report describes field verification of distributed renewable generation and focuses on renewable energy field test concepts.

2003-03-25T23:59:59.000Z

365

Robotic Surveying  

SciTech Connect

ZAPATA ENGINEERING challenged our engineers and scientists, which included robotics expertise from Carnegie Mellon University, to design a solution to meet our client's requirements for rapid digital geophysical and radiological data collection of a munitions test range with no down-range personnel. A prime concern of the project was to minimize exposure of personnel to unexploded ordnance and radiation. The field season was limited by extreme heat, cold and snow. Geographical Information System (GIS) tools were used throughout this project to accurately define the limits of mapped areas, build a common mapping platform from various client products, track production progress, allocate resources and relate subsurface geophysical information to geographical features for use in rapidly reacquiring targets for investigation. We were hopeful that our platform could meet the proposed 35 acres per day, towing both a geophysical package and a radiological monitoring trailer. We held our breath and crossed our fingers as the autonomous Speedrower began to crawl across the playa lakebed. We met our proposed production rate, and we averaged just less than 50 acres per 12-hour day using the autonomous platform with a path tracking error of less than +/- 4 inches. Our project team mapped over 1,800 acres in an 8-week (4 days per week) timeframe. The expertise of our partner, Carnegie Mellon University, was recently demonstrated when their two autonomous vehicle entries finished second and third at the 2005 Defense Advanced Research Projects Agency (DARPA) Grand Challenge. 'The Grand Challenge program was established to help foster the development of autonomous vehicle technology that will some day help save the lives of Americans who are protecting our country on the battlefield', said DARPA Grand Challenge Program Manager, Ron Kurjanowicz. Our autonomous remote-controlled vehicle (ARCV) was a modified New Holland 2550 Speedrower retrofitted to allow the machine-actuated functions to be controlled by an onboard computer. The computer-controlled Speedrower was developed at Carnegie Mellon University to automate agricultural harvesting. Harvesting tasks require the vehicle to cover a field using minimally overlapping rows at slow speeds in a similar manner to geophysical data acquisition. The Speedrower had demonstrated its ability to perform as it had already logged hundreds of acres of autonomous harvesting. This project is the first use of autonomous robotic technology on a large-scale for geophysical surveying.

Suzy Cantor-McKinney; Michael Kruzic

2007-03-01T23:59:59.000Z

366

Formal hardware specification languages for protocol compliance verification  

Science Conference Proceedings (OSTI)

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

Annette Bunker; Ganesh Gopalakrishnan; Sally A. Mckee

2004-01-01T23:59:59.000Z

367

Certification and verification for Northrup Model NSC-01-0732 Fresnel lens concentrating solar collector  

DOE Green Energy (OSTI)

The certification and verification of the Northrup Model NSC-01-0732 Fresnel lens tracking solar collector are presented. A certification statement is included with signatures and a separate report on the structural analysis of the collector system. System verification against the Interim Performance Criteria are indicated by matrices with verification discussion, analysis, and enclosed test results.

Not Available

1979-03-01T23:59:59.000Z

368

9:00 Opening and Welcome (Exactum Building Auditorium) Session 1: User-oriented Verification  

E-Print Network (OSTI)

of user-orientation in verification 9:50 1.2 Clive Wilson: Do key performance targets work? 10:10 1.3 Tressa Fowler: Wind forecast verification 10:30 1.4 Robert Maisha: UM model and Kalman Filter forecast verification at SAWS

Chair Pertti Nurmi

2009-01-01T23:59:59.000Z

369

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies  

Science Conference Proceedings (OSTI)

Testing and verification are two activities which have the same objective: to ensure software dependability. In the Java context, the Java Modelling Language (JML) has been proposed as specification language. It can be used both for verification and ... Keywords: JML, Java, Software dependability, Testing, Verification

Lydie Du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet

2010-12-01T23:59:59.000Z

370

Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based  

E-Print Network (OSTI)

Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Evaluation, Measurement, and Verification (EM&V) of Residential Behavior-Based Energy Efficiency Programs Efficiency Action Network. 2012. Evaluation, Measurement, and Verification (EM&V) of Residential Behavior

371

Verification of Scientific Simulations via Hypothesis-Driven Comparative and Quantitative Visualization  

Science Conference Proceedings (OSTI)

This article presents a visualization-assisted process that verifies scientific-simulation codes. Code verification is necessary because scientists require accurate predictions to interpret data confidently. This verification process integrates iterative hypothesis verification with comparative, feature, and quantitative visualization. Following this process can help identify differences in cosmological and oceanographic simulations.

Ahrens, James P [ORNL; Heitmann, Katrin [ORNL; Petersen, Mark R [ORNL; Woodring, Jonathan [Los Alamos National Laboratory (LANL); Williams, Sean [Los Alamos National Laboratory (LANL); Fasel, Patricia [Los Alamos National Laboratory (LANL); Ahrens, Christine [Los Alamos National Laboratory (LANL); Hsu, Chung-Hsing [ORNL; Geveci, Berk [ORNL

2010-11-01T23:59:59.000Z

372

Domain-Independent Attribution. Part II: Its Value in the Verification of Dynamical Theories of Frontal Waves and Frontogenesis  

Science Conference Proceedings (OSTI)

Theories of frontogenesis and frontal waves describe development in terms of the interaction of a basic state or environmental flow with a frontal flow. The basic-state flow may comprise a large-scale confluent–diffluent deformation field and/or ...

Craig H. Bishop

1996-01-01T23:59:59.000Z

373

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

Science Conference Proceedings (OSTI)

This report provides an evaluation of the risk management. Risk management is intended to ensure a methodology for conducting risk management planning, identification, analysis, responses, and monitoring and control activities associated with the SAPHIRE project work, and to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

Kent Norris

2009-11-01T23:59:59.000Z

374

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

SciTech Connect

This report provides an evaluation of the Project Plan. The Project Plan is intended to provide the high-level direction that documents the required software activities to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

Carl Wharton; Kent Norris

2009-12-01T23:59:59.000Z

375

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

Science Conference Proceedings (OSTI)

This report provides an evaluation of the Project Plan. The Project Plan is intended to provide the high-level direction that documents the required software activities to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

Carl Wharton; Kent Norris

2010-03-01T23:59:59.000Z

376

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

SciTech Connect

This report provides an evaluation of the Project Plan. The Project Plan is intended to provide the high-level direction that documents the required software activities to meet the contractual commitments prepared by the sponsor; the Nuclear Regulatory Commission.

Carl Wharton

2009-10-01T23:59:59.000Z

377

Verification and Validation of Facilities Procedures Assessment Plan,NNSA/Nevada Site Office Independent Oversight Division, n.d.  

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

The purpose of this assessment is verify and validate the process for the development of operations procedures and that procedures are in place which provide direction to personnel to ensure that...

378

Independent verification of the saturation hydrogen uptake in MOF-177 and establishment of a benchmark for hydrogen adsorption in  

E-Print Network (OSTI)

the targets for on-board hydrogen storage systems set by the US Department of Energy (DOE) for use of hydrogen prior to evaluating H2 storage capacities. Reproducibility of hydrogen adsorption experiments for hydrogen storage applications.1­8 This is due to the availability of a large number of well

Yaghi, Omar M.

379

Supporting the President's Arms Control and Nonproliferation Agenda: Transparency and Verification for Nuclear Arms Reductions  

Science Conference Proceedings (OSTI)

The President's arms control and nonproliferation agenda is still evolving and the details of initiatives supporting it remain undefined. This means that DOE, NNSA, NA-20, NA-24 and the national laboratories can help define the agenda, and the policies and the initiatives to support it. This will require effective internal and interagency coordination. The arms control and nonproliferation agenda is broad and includes the path-breaking goal of creating conditions for the elimination of nuclear weapons. Responsibility for various elements of the agenda will be widely scattered across the interagency. Therefore an interagency mapping exercise should be performed to identify the key points of engagement within NNSA and other agencies for creating effective policy coordination mechanisms. These can include informal networks, working groups, coordinating committees, interagency task forces, etc. It will be important for NA-20 and NA-24 to get a seat at the table and a functional role in many of these coordinating bodies. The arms control and nonproliferation agenda comprises both mature and developing policy initiatives. The more mature elements such as CTBT ratification and a follow-on strategic nuclear arms treaty with Russia have defined milestones. However, recent press reports indicate that even the START follow-on strategic arms pact that is planned to be complete by the end of 2009 may take significantly longer and be more expansive in scope. The Russians called for proposals to count non-deployed as well as deployed warheads. Other elements of the agenda such as FMCT, future bilateral nuclear arms reductions following a START follow-on treaty, nuclear posture changes, preparations for an international nuclear security summit, strengthened international safeguards and multilateral verification are in much earlier stages of development. For this reason any survey of arms control capabilities within the USG should be structured to address potential needs across the near-term (1-4) years and longer-term (5-10) years planning horizons. Some final observations include acknowledging the enduring nature of several key objectives on the Obama Administration's arms control and nonproliferation agenda. The CTBT, FMCT, bilateral nuclear arms reductions and strengthening the NPT have been sought by successive U.S. Administrations for nearly thirty years. Efforts towards negotiated arms control, although de-emphasized by the G.W. Bush Administration, have remained a pillar of U.S. national security strategy for decades and are likely to be of enduring if not increasing importance for decades to come. Therefore revitalization and expansion of USG capabilities in this area can be a positive legacy no matter what near-term arms control goals are achieved over the next four years. This is why it is important to reconstruct integrated bureaucratic, legislative, budgetary and diplomatic strategies to sustain the arms control and nonproliferation agenda. In this endeavor some past lessons must be taken to heart to avoid bureaucratic overkill and keep interagency policy-making and implementation structures lean and effective. On the Technical side a serious, sustained multilateral program to develop, down select and performance test nuclear weapons dismantlement verification technologies and procedures should be immediately initiated. In order to make this happen the United States and Russia should join with the UK and other interested states in creating a sustained, full-scale research and development program for verification at their respective nuc1ear weapons and defense establishments. The goals include development of effective technologies and procedures for: (1) Attribute measurement systems to certify nuclear warheads and military fissile materials; (2) Chain-of-custody methods to track items after they are authenticated and enter accountability; (3) Transportation monitoring; (4) Storage monitoring; (5) Fissile materials conversion verification. The remainder of this paper focuses on transparency and verification for nuclear arms a

Doyle, James E [Los Alamos National Laboratory; Meek, Elizabeth [Los Alamos National Laboratory

2009-01-01T23:59:59.000Z

380

Independent Oversight Review, Pantex Site Office- June 2012  

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

Review of the Pantex Site Office's Compliance with DOE Order 425.1D, Verification of Readiness to Start Up or Restart Nuclear Facilities

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

Integrated Framework toward a Closed Loop Measurement and Verification  

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

Integrated Framework toward a Closed Loop Measurement and Verification Integrated Framework toward a Closed Loop Measurement and Verification Approach Title Integrated Framework toward a Closed Loop Measurement and Verification Approach Publication Type Conference Proceedings Year of Publication 2011 Authors Earni, Shankar, Philip Coleman, and Mark D. Sanders Conference Name ACEEE Summer Study on Energy Efficiency in Industry Volume 1 Pagination 68-79 Date Published 1/2011 Abstract This study reviews a sample set of measurement and verification (M&V) plans from federal ESPC projects to understand and assess the overall status of M&V practices. The review identifies some of the key issues that need to be addressed to improve the rigor and transparency of M&V practices. To mitigate some of the identified M&V issues, this work also reviews existing M&V protocols, guidelines and other pertinent literature to identify strategies that can augment traditional M&V approaches. The authors provide a framework to identify ways to integrate M&V and commissioning activities into the ESPC process, combining M&V activities and advanced meter data into a monitoring-based commissioning approach that reduces the uncertainty of savings while ensuring their persistence.

382

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.

383

Verification of temporal scheduling constraints in clinical practice guidelines  

Science Conference Proceedings (OSTI)

The computerization of clinical practice guidelines is a significant scientific challenge for the medical informatics community. One frequently reported factor hindering this objective is the existence of deficiencies within guideline knowledge. In this ... Keywords: Clinical practice guidelines, Medical plan management, Temporal constraint satisfaction, Verification

Georg Duftschmid; Silvia Miksch; Walter Gall

2002-06-01T23:59:59.000Z

384

Verification of clear-air turbulence forecasts June 2002, KNMI  

E-Print Network (OSTI)

to increase potential energy. Under these conditions turbulence will increase in intensity until different weather conditions. It often occurs in relatively clear skies and is then referred to as clear-airVerification of clear-air turbulence forecasts A. Overeem June 2002, KNMI Technisch rapport #12

Stoffelen, Ad

385

Fast Verification of Wind Turbine Power Summary of Project Results  

E-Print Network (OSTI)

a wind turbine's design phase, the power curve can be predicted using analytical techniques such as Blade using a single cup anemometer at the wind turbine's hub height and it is assumed that this measurementFast Verification of Wind Turbine Power Curves: Summary of Project Results by: Cameron Brown ­ s

386

An integrated verification environment for JML: architecture and early results  

Science Conference Proceedings (OSTI)

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, ... Keywords: Eclipse, JML4, integrated verification environment, java modeling language

Patrice Chalin; Perry R. James; George Karabotsos

2007-09-01T23:59:59.000Z

387

Modified Segmental Histogram Equalization for robust speaker verification  

Science Conference Proceedings (OSTI)

It is well known that when there is an acoustic mismatch between the speech obtained during training and testing the accuracy of speaker recognition systems drastically deteriorates. In this paper we propose Modified Segmental Histogram Equalization ... Keywords: Histogram Equalization, Mismatched conditions, NIST 2000, Speaker verification

Marshalleno Skosan; Daniel Mashao

2006-04-01T23:59:59.000Z

388

Project W-320, WRSS PCP: Procedure implementation verification  

SciTech Connect

This document provides verification that the methodology for the safe retrieval of high-heat waste from Tank 241-C-106 as specified in the WRSS Process Control Plan HNF-SD-PCP-013, Revision 1, has been adequately implemented into the Tank Waste Remediation System (TWRS) operational procedures. Tank 241-C-106 is listed on the High Heat Load Watch List.

Bailey, J.W.

1998-07-25T23:59:59.000Z

389

On Automatic Authenticity Verification of Printed Security Documents  

Science Conference Proceedings (OSTI)

This paper presents a pioneering effort to involve machine in checking document authenticity. A particular class of security documents has been considered for the present experiment. Bank cheques, several kinds of tickets like lottery tickets, air tickets, ... Keywords: authenticity verification, security document, forensic document examination, bank cheques

Utpal Garain; Biswajit Halder

2008-12-01T23:59:59.000Z

390

Object Oriented Verification Kernels for Secure Java Applications  

Science Conference Proceedings (OSTI)

This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g. in a Mor E-Commerce scenario. When trying to verify such programs, thousands of Java classes ...

Holger Grandy; Kurt Stenzel; Wolfgang Reif

2005-09-01T23:59:59.000Z

391

ProMoVer: modular verification of temporal safety properties  

Science Conference Proceedings (OSTI)

This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations. Modularity at the procedure-level ...

Siavash Soleimanifard; Dilian Gurov; Marieke Huisman

2011-11-01T23:59:59.000Z

392

Specification and Runtime Verification of Java Card Programs  

Science Conference Proceedings (OSTI)

Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to ... Keywords: Compiler, JCML, JML, Java Card, Runtime Verification

Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto

2009-07-01T23:59:59.000Z

393

Markov and fuzzy models for written language verification  

Science Conference Proceedings (OSTI)

This paper presents a computational algorithm for machine classification of written languages using the Markov chain-based method for building language models and the fuzzy set theory-based normalization method to verify language. For a language document, ... Keywords: Markov chain, fuzzy normalization method, written language verification

Dat T. Tran; Tuan D. Pham

2005-06-01T23:59:59.000Z

394

Biometric verification/identification based on hands natural layout  

Science Conference Proceedings (OSTI)

In this paper, a hand biometric system for verification and recognition purposes is presented. The method is based on three keys. Firstly, the system is based on using a Natural Reference System (NRS) defined on the hand's natural layout. Consequently, ... Keywords: Biometric systems, Hand geometry, Invariant features, Security, Similarity

Miguel Adán; Antonio Adán; Andrés S. Vázquez; Roberto Torres

2008-04-01T23:59:59.000Z

395

Roadmap for enhanced languages and methods to aid verification  

Science Conference Proceedings (OSTI)

This roadmap describes ways that researchers in four areas---specification languages, program generation, correctness by construction, and programming languages---might help further the goal of verified software. It also describes what advances the "verified ... Keywords: annotations, correctness by construction, program generation, programming languages, specification languages, tools, verification, verified software grand challenge

Gary T. Leavens; Jean-Raymond Abrial; Don Batory; Michael Butler; Alessandro Coglio; Kathi Fisler; Eric Hehner; Cliff Jones; Dale Miller; Simon Peyton-Jones; Murali Sitaraman; Douglas R. Smith; Aaron Stump

2006-10-01T23:59:59.000Z

396

Hybrid systems modeling and verification with DEVS (WIP)  

Science Conference Proceedings (OSTI)

Hybrid systems (where continuous and discrete phenomena interact) are found in many natural and artificial systems. An important example, real-time embedded systems usually include discrete-event controllers interacting with a continuous plant. Verifying ... Keywords: DEVS, hybrid systems verification, quantized state systems QSS, timed automata

Hesham Saadawi, Gabriel Wainer

2013-04-01T23:59:59.000Z

397

TARGETED TECHNOLOGY TRANSFER TO US INDEPENDENTS  

SciTech Connect

The Petroleum Technology Transfer Council (PTTC) continued pursuing its mission of assisting U.S. independent oil and gas producers with timely, informed technology decisions during Fiscal Year 2004 (FY04). PTTC has active grassroots programs through its 10 Regional Lead Organizations (RLOs) and 2 satellite offices. They bring research and academia to the table via their association with geological surveys and engineering departments. The regional directors interact with independent oil and gas producers through technology workshops, resource centers, websites, newsletters, technical publications and other cooperative outreach efforts. PTTC's Headquarters (HQ) staff receives direction from a National Board of Directors predominantly comprised of American natural gas and oil producers to plan and manage the overall technology transfer program. PTTC HQ implements a comprehensive communications program by interconnecting the talents of the National Board, 10 Regional Producer Advisory Groups (PAG) and the RLOs with industry across the U.S. PTTC effectively combines federal funding through the Department of Energy's (DOE) Office of Fossil Energy, namely the Strategic Center for Natural Gas and Oil with state and industry contributions to share application of upstream technologies. Ultimately, these efforts factor in to provide a safe, secure and reliable energy supply for American consumers. This integrated resource base, combined with industry volunteers guiding PTTC's activities and the dedication of national and regional staff, are achieving notable results regarding domestic production figures. PTTC is increasingly recognized as a critical resource for information and access to technologies by providing direct contact with research, development and demonstration (RD&D) results. A key to the program is demonstrating proven technologies that can be applied broadly and rapidly. This technical progress report summarizes PTTC's accomplishments during FY04. Activities remained at high levels. Board and staff interaction has defined strategic thrusts to further outreach. Networking, involvement in technical activities and an active exhibit schedule are increasing PTTC's sphere of influence with both producers and the service sector. PTTC's reputation for unbiased bottom line information stimulates cooperative ventures with other organizations. Efforts to build the contact database and a growing E-mail Technology Alert service are expanding PTTC's audience.

Donald F. Duttlinger; E. Lance Cole

2005-01-01T23:59:59.000Z

398

Targeted Technology Transfer to US Independents  

Science Conference Proceedings (OSTI)

The Petroleum Technology Transfer Council (PTTC) was established by domestic crude oil and natural gas producers, working in conjunction with the Independent Petroleum Association of America (IPAA), the U.S. Department of Energy (DOE) and selected universities, in 1994 as a national not-for-profit organization. Its goal is to transfer Exploration and Production (E&P) technology to the domestic upstream petroleum industry, in particular to the small independent operators. PTTC connects producers, technology providers and innovators, academia, and university/industry/government research and development (R&D) groups. From inception PTTC has received federal funding through DOE's oil and natural gas program managed by the National Energy Technology Laboratory (NETL). With higher funding available in its early years, PTTC was able to deliver well more than 100 workshops per year, drawing 6,000 or more attendees per year. Facing the reality of little or no federal funding in the 2006-2007 time frame, PTTC and the American Association of Petroleum Geologists (AAPG) worked together for PTTC to become a subsidiary organization of AAPG. This change brings additional organizational and financial resources to bear for PTTC's benefit. PTTC has now been 'powered by AAPG' for two full fiscal years. There is a clear sense that PTTC has stabilized and is strengthening its regional workshop and national technology transfer programs and is becoming more entrepreneurial in exploring technology transfer opportunities beyond its primary DOE contract. Quantitative accomplishments: PTTC has maintained its unique structure of a national organization working through Regional Lead Organizations (RLOs) to deliver local, affordable workshops. During the contract period PTTC consolidated from 10 to six regions efficiency and alignment with AAPG sections. The number of workshops delivered by its RLOs during the contract period is shown below. Combined attendance over the period was approximately 32,000, 70% of whom were repeat attendees. Participant feedback established that 40% of them said they had applied a technology they learned of through PTTC. Central/Eastern Gulf Univ. of Alabama, LSU Center for Energy Studies 77 Eastern West Virginia University, Illinois Geological Survey, W. Michigan Univ. 99 Midcontinent University of Kansas, University of Tulsa, Okla. Geological Survey (past) 123 Rocky Mountains Colorado School of Mines 147 Texas/SE New Mexico Bureau of Economic Geology, U. of Texas at Austin 85 West Coast Conservation Committee of California O&G Producers, Univ. So. Cal. (past) 54 At the national level HQ went from an office in Houston to a virtual office in the Tulsa, Okla. area with AAPG providing any physical assets required. There are no employees, rather several full time and several part time contractors. Since inception, PTTC has produced quarterly and mailed the 16-page Network News newsletter. It highlights new advances in technology and has a circulation of 19,000. It also produces the Tech Connections Column in The American Oil & Gas Reporter, with a circulation of 13,000. On an approximate three-week frequency, the electronic Email Tech Alert goes out to 9,000 readers. The national staff also maintains a central website with information of national interest and individual sections for each of the six regions. The national organization also provides legal and accounting services, coordinates the RLO activities, exhibits at at least major national and other meetings, supports the volunteer Board as it provides strategic direction, and is working to restore the Producer Advisory Groups to bolster the regional presence. Qualitative Value: Three qualitative factors confirm PTTC's value to the domestic O&G producing industry. First, AAPG was willing to step in and rescue PTTC, believing it was of significant interest to its domestic membership and of potential value internationally. Second, through a period of turmoil and now with participant fees dramatically increased, industry participants 'keep coming back' to wo

E. Lance Cole

2009-09-30T23:59:59.000Z

399

The influence of animal mobility on the assumption of uniform distances in aerial line transect surveys  

E-Print Network (OSTI)

for estimating animal density from aerial surveys. Analysis of line transect distance data usually relies test evidence for non- uniformity using double-observer distance data from two aerial surveys of five in Queensland. Key words: aerial surveys, double platform distance sampling, independent observers, responsive

Buckland, Steve

400

User_LaunchSurvey  

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

and Completing Assigned Survey and Completing Assigned Survey © 2011 SuccessFactors, Inc. - 1 - SuccessFactors Learning Confidential. All rights reserved. Job Aid: Launching and Completing Assigned Survey Purpose The purpose of this job aid is to guide users through the step-by-step process of launching and completing assigned surveys. Task A. Launch and Complete Assigned Survey From the Home page, filter the To-Do List to show only Surveys. Hover over the course evaluation title. Click Open. 1 2 3 3 2 1 Launch and Complete Assigned Survey 6 Steps Task A SuccessFactors Learning v 6.4 User Job Aid Launching and Completing Assigned Survey © 2011 SuccessFactors, Inc. - 2 - SuccessFactors Learning Complete the survey by selecting the radio button for the appropriate rating

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

Independent Oversight Review, Los Alamos National Laboratory...  

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

Laboratory Chemistry and Metallurgy Research Facility - January 2012 Independent Oversight Review, Los Alamos National Laboratory Chemistry and Metallurgy Research Facility -...

402

Independent Activity Report, Sandia National Laboratories - September...  

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

September 2012 Independent Activity Report, Sandia National Laboratories - September 2012 September 2012 Operational Awareness Oversight of Sandia National Laboratories HIAR...

403

Independent Mineral Processing Project Technical Due Diligence  

Science Conference Proceedings (OSTI)

Presentation Title, Independent Mineral Processing Project Technical Due Diligence ... CRIMM Energy-saving Magnetic Separation Equipment and Industrial ...

404

Small Wind Independent Testing (Fact Sheet)  

DOE Green Energy (OSTI)

This fact sheet describes the Small Wind Independent Testing at the NWTC and the Regional Test Centers project.

Not Available

2010-09-01T23:59:59.000Z

405

Independent Oversight Review, Hanford Site CH2M Hill Plateau Remediation Company- November 2012  

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

Review of the Hanford Site CH2M Hill Plateau Remediation Company Implementation Verification Review Processes

406

Residential Energy Consumption Survey (RECS) - Energy Information  

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

Consumption Survey (RECS) - U.S. Energy Information Consumption Survey (RECS) - U.S. Energy Information Administration (EIA) U.S. Energy Information Administration - EIA - Independent Statistics and Analysis Sources & Uses Petroleum & Other Liquids Crude oil, gasoline, heating oil, diesel, propane, and other liquids including biofuels and natural gas liquids. Natural Gas Exploration and reserves, storage, imports and exports, production, prices, sales. Electricity Sales, revenue and prices, power plants, fuel use, stocks, generation, trade, demand & emissions. Consumption & Efficiency Energy use in homes, commercial buildings, manufacturing, and transportation. Coal Reserves, production, prices, employ- ment and productivity, distribution, stocks, imports and exports. Renewable & Alternative Fuels

407

INFRASTRUCTURE SURVEY 2011  

E-Print Network (OSTI)

10 Appendices Appendix 1. Glossary of Terminology and Definitions 11 Appendix 2. Survey Definitions. There is a Glossary of Terminology and Definitions (Appendix 1). The survey form is Appendix 3 of this Report

408

ENERGY STAR Test Procedures and Verification | Department of Energy  

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

ENERGY STAR » ENERGY STAR Test 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 revision of all test procedures for products in the ENERGY STAR® program, including those products that are also subject to DOE's Energy Conservation Standards program. As specifications are updated and new products or metrics are added to the ENERGY STAR program, DOE is responsible for developing and revising methods, responding to stakeholder comments, and answering any testing-related questions that arise as a result of the procedures being utilized. To simplify the process for interested parties, more information on the test procedure development for ENERGY STAR products can be found on each of

409

NETL: Methane Hydrates - DOE/NETL Projects - Verification Of Capillary  

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

Verification Of Capillary Pressure Functions And Relative Permeability Equations For Modeling Gas Production From Gas Hydrates Last Reviewed 12/12/2013 Verification Of Capillary Pressure Functions And Relative Permeability Equations For Modeling Gas Production From Gas Hydrates Last Reviewed 12/12/2013 DE-FE0009927 Goal The goal of this project is to verify and validate the capillary pressure functions and relative permeability equations that are frequently used in hydrate numerical simulators. In order to achieve this goal, numerical simulation using a network model will be used to suggest fitting parameters, modify existing equations or, if necessary, develop new equations for better simulation results. Performers Wayne State University, Detroit, MI 48202-3622 Background Numerical simulation is used to estimate and predict long-term behavior of hydrate-bearing sediments during gas production [Kurihara et al., 2008;

410

Microsoft Word - S0191800 - Gunnison Verification Monitoring Report 0906.doc  

Office of Legacy Management (LM)

6 6 Office of Legacy Management DOE M/1305-2006 -L Work Performed Under DOE Contract No. for the U.S. Department of Energy Office of Legacy Management. DE-AC01-02GJ79491 Approved for public release; distribution is unlimited. Office of Legacy Management Office of Legacy Management Office of Legacy Management U.S. Department of Energy S0191800 DOE-LM/1305-2006 Office of Legacy Management Verification Monitoring Report for the Gunnison, Colorado, Processing Site September 2006 Work Performed by S.M. Stoller Corporation under DOE Contract No. DE-AC01-02GJ79491 for the U.S. Department of Energy Office of Legacy Management, Grand Junction, Colorado U.S. Department of Energy 2006 Verification Monitoring Report-Gunnison, Colorado, Processing Site September 2006 Doc. No. S0191800

411

Analytical Benchmark Test Set for Criticality Code Verification  

Science Conference Proceedings (OSTI)

A number of published numerical solutions to analytic eigenvalue (k{sub eff}) and eigenfunction equations are summarized for the purpose of creating a criticality verification benchmark test set. The 75-problem test set allows the user to verify the correctness of a criticality code for infinite medium and simple geometries in one- and two-energy groups, one- and two-media, and both isotropic and anisotropic neutron scattering. The problem specifications will produce both k{sub eff} = 1 and the quoted k{sub {infinity}} to at least five decimal places. Additional uses of the test set for code verification are also discussed. A list of 45 references and an appendix with k{sub {infinity}} derivations is also included.

Avneet Sood; D. K. Parsons; R. A. Forster

1999-07-01T23:59:59.000Z

412

Fueled emitter final test report TFE Verification Program  

DOE Green Energy (OSTI)

The program objective 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-07-01T23:59:59.000Z

413

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols  

E-Print Network (OSTI)

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.

Delzanno, Giorgio; Zavattaro, Gianluigi; 10.4204/EPTCS.60.4

2011-01-01T23:59:59.000Z

414

SEEC- Regional Energy Baselines and Measurement and Verification Protocols  

E-Print Network (OSTI)

The Southern Energy Efficiency Center (SEEC) was established to substantially increase the deployment of high-performance “beyond-code” buildings across the southern region of the U.S, funded by the U.S. Department of Energy (DOE) Building Technologies Program and is administered by the National Energy Technology Laboratory. During its first 18-month phase, to address efficiency goals of states, utilities, and various energy-efficiency programs; project efforts include defining the baseline energy patterns within the project region and the measurement and verification (M&V) protocols for use in determining the efficiency improvements SEEC, state and USDOE efforts with respect to that baseline. This work is defined under the SEEC Subtask 3.1 Define Regional Baselines and Measurement & Verification Protocols. This report presents preliminary deliverables of this subtask developed and documented by the Energy Systems Laboratory (ESL) for use by the SEEC member state region.

Kim, H.; Haberl, J. S.; Verdict, M.

2009-03-01T23:59:59.000Z

415

Directed Search for the Verification of Communication Protocols  

E-Print Network (OSTI)

There is a need for formal methods to verify correctness of software and hardware systems. Automated verification techniques basically explore the state space of a system in order to establish whether or not it behaves correctly. The main drawback of such methods is the state explosion problem. The size of the state space can grow exponentially in the number of components of the system, especially in asynchronous concurrent systems. In early stages of system development, errors are likely to appear. As a matter of fact, in practice, automated verification has been shown to be more successful in finding errors in systems than in proving correctness. Usually, one applies reachability algorithms like depth-first, and breadth-first search for this purpose. Breadth-first search is, in general, not memory-efficient, but offers shortest counterexamples. On the other hand, depth-first search is more memory-efficient, but delivers suboptimal counterexamples. We propose and analyze the use of...

Alberto Lluch Lafuente; Dekan Prof; Erstgutachter Prof; Dr. Thomas Ottmann; Dr. Thomas Ottmann; Zweitgutachter Prof; Dr. Stefan Leue

2003-01-01T23:59:59.000Z

416

Slicing Concurrent Real-Time System Specifications for Verification  

E-Print Network (OSTI)

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

Ingo Brückner

2007-01-01T23:59:59.000Z

417

Combining CSP and B for Specification and Property Verification  

E-Print Network (OSTI)

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

Michael Butler; Michael Leuschel

2005-01-01T23:59:59.000Z

418

Handbook for Verification and Validation of Digital Systems  

Science Conference Proceedings (OSTI)

With the increasing use of digital instrumentation and control systems in power plants, utilities must determine the dependability and predictability of such systems and their software. This updated handbook provides a comprehensive guide to help utilities understand the verification and validation (V&V) process. The handbook presents a graded approach to select convenient V&V methods, develop a V&V plan, generate necessary documentation, and conduct appropriate V&V activities.

1998-12-15T23:59:59.000Z

419

Code Verification of the HIGRAD Computational Fluid Dynamics Solver  

DOE Green Energy (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

420

Verification and validation guidelines for high integrity systems. Volume 1  

SciTech Connect

High integrity systems include all protective (safety and mitigation) systems for nuclear power plants, and also systems for which comparable reliability requirements exist in other fields, such as in the process industries, in air traffic control, and in patient monitoring and other medical systems. Verification aims at determining that each stage in the software development completely and correctly implements requirements that were established in a preceding phase, while validation determines that the overall performance of a computer system completely and correctly meets system requirements. Volume I of the report reviews existing classifications for high integrity systems and for the types of errors that may be encountered, and makes recommendations for verification and validation procedures, based on assumptions about the environment in which these procedures will be conducted. The final chapter of Volume I deals with a framework for standards in this field. Volume II contains appendices dealing with specific methodologies for system classification, for dependability evaluation, and for two software tools that can automate otherwise very labor intensive verification and validation activities.

Hecht, H.; Hecht, M.; Dinsmore, G.; Hecht, S.; Tang, D. [SoHaR, Inc., Beverly Hills, CA (United States)

1995-03-01T23:59:59.000Z

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

Monitoring and Commissioning Verification Algorithms for CHP Systems  

Science Conference Proceedings (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

422

Independent Oversight Review of the Rocky Flats Environmental Technology Site Transportation Emergency Management Program  

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

Rocky Rocky Flats Environmental Technology Site Transportation Emergency Management Program Independent Oversight Review of the March 2000 OVERSIGHT Table of Contents EXECUTIVE SUMMARY ................................................................... 1 1.0 INTRODUCTION ........................................................................... 4 2.0 RESULTS ......................................................................................... 6 Hazard Survey and Hazards Assessments .................................... 6 Program Plans and Procedures ..................................................... 7 Emergency Responder Performance and Preparation ............... 9 Offsite Interfaces ........................................................................... 10 Feedback and Continuous Improvement Process

423

Practical aspects of dynamic verification of extensometers; Part 1 -- The concepts  

SciTech Connect

Material property studies frequently require the measurement of load and strain. Accurate measurement of both parameters is essential. Methods for accurate static calibration and verification of load transducers and extensometers are well established. More recently, standard practices have been developed for the dynamic calibration of load transducers. Still in its infancy is a standard method for dynamic verification of extensometers. Dynamic verification introduces a wide range of new issues. These encompass not only the transducer but also the conditioning electronics and actual test machine. Static calibration permits the elimination of nearly all dynamics, whereas dynamic verification must be done in the presence of these dynamic effects. This paper outlines the various concepts that need to be understood when performing the dynamic verification of an extensometer. Problems related to computer aided verification are emphasized, issues of aliasing and resolution in particular.

Albright, F.J.; Annala, J. (MTS Systems Corp., Eden Prairie, MN (United States))

1994-01-01T23:59:59.000Z

424

Environmental Survey preliminary report  

SciTech Connect

This report presents the preliminary findings from the first phase of the Environmental Survey of the United States Department of Energy (DOE) Sandia National Laboratories conducted August 17 through September 4, 1987. The objective of the Survey is to identify environmental problems and areas of environmental risk associated with Sandia National Laboratories-Albuquerque (SNLA). The Survey covers all environmental media and all areas of environmental regulation. It is being performed in accordance with the DOE Environmental Survey Manual. This phase of the Survey involves the review of existing site environmental data, observations of the operations carried on at SNLA, and interviews with site personnel. 85 refs., 49 figs., 48 tabs.

Not Available

1988-04-01T23:59:59.000Z

425

Wind Turbine Verification Project Experience: 1999: U.S. Department of Energy - EPRI Wind Turbine Verification Program  

Science Conference Proceedings (OSTI)

EPRI and the U.S. Department of Energy (DOE) initiated the Turbine Verification Program (TVP) in 1992 to evaluate prototype advanced wind turbines and to provide a bridge from development programs to commercial purchases. This report provides an overview and comparisons of site and operating experiences at the seven TVP projects in Ft. Davis, Texas; Searsburg, Vermont; Kotzebue, Alaska; Glenmore, Wisconsin; Algona, Iowa; Springview, Nebraska; and Big Spring, Texas. The lessons learned throughout the prog...

2000-12-12T23:59:59.000Z

426

Comments from Independent Petroleum Association of America ...  

U.S. Energy Information Administration (EIA)

proposed survey. The description of EIA’s Current Method to Generate Estimates of Natural Gas ... information in today’s competitive natural gas marke ...

427

Remaining Sites Verification Package for the 126-F-2, 183-F Clearwells, Waste Site Reclassification Form 2006-017  

SciTech Connect

The 126-F-2 site is the clearwell facility formerly used as part of the reactor cooling water treatment at the 183-F facility. During demolition operations in the 1970s, potentially contaminated debris was disposed in the eastern clearwell structure. The site has been remediated by removing all debris in the clearwell structure to the Environmental Restoration Disposal Facility. The results of radiological surveys and visual inspection of the remediated clearwell structure show neither residual contamination nor the potential for contaminant migration beyond the clearwell boundaries. The results of verification sampling at the remediation waste staging area demonstrated that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also showed that residual contaminant concentrations are protective of groundwater and the Columbia River.

R. A. Carlson

2006-05-04T23:59:59.000Z

428

Infrared Surveys for AGN  

E-Print Network (OSTI)

From the earliest extragalactic infrared studies AGN have shown themselves to be strong infrared sources and IR surveys have revealed new populations of AGN. I briefly review current motivations for AGN surveys in the infrared and results from previous IR surveys. The Luminous Infrared Galaxies, which in some cases house dust-enshrouded AGN, submillimeter surveys, and recent studies of the cosmic x-ray and infrared backgrounds suggest that there is a population of highly-obscured AGN at high redshift. ISO Surveys have begun to resolve the infrared background and may have detected this obscured AGN population. New infrared surveys, particularly the SIRTF Wide-area Infrared Extragalactic Legacy Survey (SWIRE), will detect this population and provide a platform for understanding the evolution of AGN, Starbursts and passively evolving galaxies in the context of large-scale structure and environment.

Smith, H E

2002-01-01T23:59:59.000Z

429

Infrared Surveys for AGN  

E-Print Network (OSTI)

From the earliest extragalactic infrared studies AGN have shown themselves to be strong infrared sources and IR surveys have revealed new populations of AGN. I briefly review current motivations for AGN surveys in the infrared and results from previous IR surveys. The Luminous Infrared Galaxies, which in some cases house dust-enshrouded AGN, submillimeter surveys, and recent studies of the cosmic x-ray and infrared backgrounds suggest that there is a population of highly-obscured AGN at high redshift. ISO Surveys have begun to resolve the infrared background and may have detected this obscured AGN population. New infrared surveys, particularly the SIRTF Wide-area Infrared Extragalactic Legacy Survey (SWIRE), will detect this population and provide a platform for understanding the evolution of AGN, Starbursts and passively evolving galaxies in the context of large-scale structure and environment.

Harding E. Smith

2002-03-06T23:59:59.000Z

430

Bayesian inference from photometric redshift surveys  

E-Print Network (OSTI)

We show how to enhance the redshift accuracy of surveys consisting of tracers with highly uncertain positions along the line of sight. Photometric surveys with redshift uncertainty delta_z ~ 0.03 can yield final redshift uncertainties of delta_z_f ~ 0.003 in high density regions. This increased redshift precision is achieved by imposing an isotropy and 2-point correlation prior in a Bayesian analysis and is completely independent of the process that estimates the photometric redshift. As a byproduct, the method also infers the three dimensional density field, essentially super-resolving high density regions in redshift space. Our method fully takes into account the survey mask and selection function. It uses a simplified Poissonian picture of galaxy formation, relating preferred locations of galaxies to regions of higher density in the matter field. The method quantifies the remaining uncertainties in the three dimensional density field and the true radial locations of galaxies by generating samples that are ...

Jasche, Jens

2011-01-01T23:59:59.000Z

431

Independent assessment of MELCOR as a severe accident thermal-hydraulic/source term analysis tool  

SciTech Connect

MELCOR is a fully integrated computer code that models all phases of the progression of severe accidents in light water reactor nuclear power plants, and is being developed for the US Nuclear Regulatory Commission (NRC) by Sandia National Laboratories (SNL). Brookhaven National Laboratory (BNL) has a program with the NRC called ``MELCOR Verification, Benchmarking, and Applications,`` whose aim is to provide independent assessment of MELCOR as a severe accident thermal-hydraulic/source term analysis tool. The scope of this program is to perform quality control verification on all released versions of MELCOR, to benchmark MELCOR against more mechanistic codes and experimental data from severe fuel damage tests, and to evaluate the ability of MELCOR to simulate long-term severe accident transients in commercial LWRs, by applying the code to model both BWRs and PWRs. Under this program, BNL provided input to the NRC-sponsored MELCOR Peer Review, and is currently contributing to the MELCOR Cooperative Assessment Program (MCAP). This paper presents a summary of MELCOR assessment efforts at BNL and their contribution to NRC goals with respect to MELCOR.

Madni, I.K. [Brookhaven National Lab., Upton, NY (United States); Eltawila, F. [Nuclear Regulatory Commission, Washington, DC (United States)

1994-01-01T23:59:59.000Z

432

Independent Oversight Inspection, Argonne National Laboratory - East,  

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

Independent Oversight Inspection, Argonne National Laboratory - Independent Oversight Inspection, Argonne National Laboratory - East, Summary Report - May 2002 Independent Oversight Inspection, Argonne National Laboratory - East, Summary Report - May 2002 May 2002 Inspection of Environment, Safety, and Health and Emergency Management at the Argonne National Laboratory - East The Secretary of Energy's Office of Independent Oversight and Performance Assurance (OA) conducted an inspection of environment, safety, and health (ES&H) programs and emergency management programs at the Department of Energy's (DOE) Argonne National Laboratory (ANL) in April and May 2002. The inspection was performed as a joint effort by the OA Office of Environment, Safety and Health Evaluations and the Office of Emergency Management Oversight.

433

Independent Oversight Review, Lawrence Livermore National Laboratory -  

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

Lawrence Livermore National Lawrence Livermore National Laboratory - September 2011 Independent Oversight Review, Lawrence Livermore National Laboratory - September 2011 September 2011 Review of Integrated Safety Management System Effectiveness at Lawrence Livermore National Laboratory The purpose of this review was to assess the effectiveness of the integrated safety management system (ISMS) established and implemented by Lawrence Livermore National Laboratory (LLNL). Independent Oversight Review, Lawrence Livermore National Laboratory - September 2011 More Documents & Publications Independent Oversight Inspection of Environment, Safety, and Health Management at the Lawrence Livermore National Laboratory, Technical Appendices, Volume II, December 2004 Independent Oversight Inspection, Lawrence Livermore National Laboratory,

434

Independent Oversight Review, West Valley Demonstration Project  

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

Independent Oversight Review, West Valley Demonstration Project Independent Oversight Review, West Valley Demonstration Project Transportation - September 2000 Independent Oversight Review, West Valley Demonstration Project Transportation - September 2000 September 2000 Transportation Emergency Management Review of the West Valley Demonstration Project (WVDP) and National Transportation Program (NTP)/Transportation Compliance Evaluation/Assistance Program (TCEAP) The U.S. Department of Energy (DOE) Office of Emergency Management Oversight, within the Secretary of Energy's Office of Independent Oversight and Performance Assurance, conducted a transportation emergency management review of the West Valley Demonstration Project (WVDP) and National Transportation Program (NTP)/Transportation Compliance Evaluation/Assistance Program (TCEAP) in September 2000.

435

Independent Oversight Review, Advanced Mixed Waste Treatment...  

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

Review, Advanced Mixed Waste Treatment Project - April 2013 Independent Oversight Review, Advanced Mixed Waste Treatment Project - April 2013 April 2013 Review of Radiation...

436

Bell Independent Power Corporation | Open Energy Information  

Open Energy Info (EERE)

search Name Bell Independent Power Corporation Place Pittsford, New York Sector Biofuels, Biomass, Services Product BIP provides engineering, financial and feasibility...

437

Material Independent Design of Photoluminescent Systems Based ...  

Energy Storage Advanced Materials Material Independent Design of Photoluminescent Systems Based on Alignment of Polar Molecules in Charged Surface Oak Ridge ...

438

Midwest Independent Transmission System Operator | Open Energy...  

Open Energy Info (EERE)

Name Midwest Independent Transmission System Operator Place Carmel, IN References SGIC1 No information has been entered for this organization. Add Organization This article is a...

439

Independent Oversight Review of Integrated Safety Management...  

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

Enforcement and Oversight Independent Oversight Review of Integrated Safety Management System Effectiveness at the Livermore Site Office October 2011 Office of Safety and Emergency...

440

Independent Oversight Inspection, Sandia National Laboratories...  

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

Sandia National Laboratories, Volume 1 - May 2005 Independent Oversight Inspection, Sandia National Laboratories, Volume 1 - May 2005 May 2005 Inspection of Environment, Safety,...

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

Independent Oversight Inspection, Sandia National Laboratories...  

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

9 Independent Oversight Inspection, Sandia National Laboratories - May 2009 May 2009 Inspection of Emergency Management at the Sandia Site Office and Sandia National Laboratories...

442

Independent Activity Report, Sandia National Laboratories - January...  

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

January 2012 Independent Activity Report, Sandia National Laboratories - January 2012 January 2012 Sandia National Laboratories Orientation Visit HIAR-SNL-2012-01-04 The U.S....

443

Independent Oversight Assessment , Idaho National Laboratory...  

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

Assessment , Idaho National Laboratory Site - May 2010 Independent Oversight Assessment , Idaho National Laboratory Site - May 2010 May 2010 Environmental Monitoring at the Idaho...

444

Independent Oversight Inspection, Idaho National Laboratory ...  

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

June 2005 Independent Oversight Inspection, Idaho National Laboratory - June 2005 June 2005 Inspection of Environment, Safety, and Health Programs at the Idaho National Laboratory...

445

Independent Oversight Assessment of Environmental Monitoring...  

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

Assessment of Environmental Monitoring at the Idaho National Laboratory Site May 2010 Office of Independent Oversight Office of Health, Safety and Security Office of Health, Safety...

446

Independent Oversight Inspection, Idaho National Laboratory ...  

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

Inspection, Idaho National Laboratory - August 2007 Independent Oversight Inspection, Idaho National Laboratory - August 2007 August 2007 Inspection of Environment, Safety, and...

447

Independent Oversight Review, Los Alamos National Laboratory...  

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

March 2012 Independent Oversight Review, Los Alamos National Laboratory - March 2012 March 2012 Review of the Los Alamos National Laboratory Nuclear Facility Configuration...

448

Financial News for Independent Energy Companies  

U.S. Energy Information Administration (EIA)

Financial News for Independent Energy Companies, First Quarter 2010 1 FINANCIAL NEWS FOR ... reported a large increase in income in the first quarter of 2010 ...

449

Independent Oversight Inspection, Idaho National Laboratory ...  

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

of Energy (DOE) Office of Independent Oversight, within the Office of Health, Safety and Security (HSS), inspected the emergency management program at DOE's Idaho Operations...

450

Independent Oversight Review, Idaho National Laboratory - September...  

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

Evaluations within the U.S. Department of Energy (DOE) Office of Health, Safety and Security (HSS) performed an initial independent assessment of the Battelle Energy...

451

Independent Oversight Assessment , Idaho National Laboratory...  

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

of Energy (DOE) Office of Independent Oversight, within the Office of Health, Safety and Security (HSS), performed an assessment of environmental monitoring and surveillance at...

452

Independent Activity Report, Hanford Waste Treatment Plant -...  

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

Independent Activity Report, Hanford Waste Treatment Plant - February 2011 February 2011 Hanford Waste Treatment Plant Construction Quality Assurance Review ARPT-WTP-2011-002...

453

Independent Activity Report, Lawrence Livermore National Laboratory...  

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

February 2013 Independent Activity Report, Lawrence Livermore National Laboratory - February 2013 February 2013 Lawrence Livermore National Laboratory Operational Drill at the B332...

454

Supplemnental Volume - Independent Oversight Assessment of the...  

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

Security HSS i Independent Oversight Assessment of Safety Culture and Management of Nuclear Safety Concerns at the Hanford Site Waste Treatment and Immobilization Plant...

455

Independent Oversight Inspection, Argonne National Laboratory...  

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

Inspection, Argonne National Laboratory - East, Summary Report - May 2002 Independent Oversight Inspection, Argonne National Laboratory - East, Summary Report - May 2002 May 2002...

456

Independent Oversight Inspection, Argonne National Laboratory...  

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

Inspection, Argonne National Laboratory, Volume 1 - May 2005 Independent Oversight Inspection, Argonne National Laboratory, Volume 1 - May 2005 May 2005 Inspection of Environment,...

457

External Independent Review (EIR) Standard Operating Procedure...  

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

Standard Operating Procedure (SOP) External Independent Review (EIR) Standard Operating Procedure (SOP) EIR SOP.pdf More Documents & Publications ICR-ICE Standard Operating...

458

Small Business Independent Market Research Program | National...  

National Nuclear Security Administration (NNSA)

Jobs Our Jobs Working at NNSA Blog Small Business Independent Market Research Program Home > About Us > Our Operations > Acquisition and Project Management > Small Business >...

459

Northern Maine Independent System Administrator (Maine)  

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

The Northern Maine Independent System Administrator (NMISA) is a non-profit entity responsible for the administration of the northern Maine transmission system and electric power markets in...

460

Independent Activity Report, Lawrence Livermore National Laboratory...  

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

October 2012 Lawrence Livermore National Laboratory Site Lead Planning Activities HIAR LLNL-2012-10-23 The purpose of this Office of Health, Safety and Security (HSS) Independent...

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

Independent Activity Report, West Valley Demonstration Project...  

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

West Valley Demonstration Project - July 2012 Independent Activity Report, New Brunswick Laboratory - November 2011 Orientation Visit to the Paducah Gaseous Diffusion Plant,...

462

Direct and full-scale experimental verifications towards ground-satellite quantum key distribution  

E-Print Network (OSTI)

Quantum key distribution (QKD), provides the only intrinsically unconditional secure method for communication based on principle of quantum mechanics. Compared with fiber-based demonstrations-, free-space links could provide the most appealing solution for much larger distance. Despite of significant efforts, so far all realizations rely on stationary sites. Justifications are therefore extremely crucial for applications via a typical Low Earth Orbit Satellite (LEOS). To achieve direct and full-scale verifications, we demonstrate here three independent experiments with a decoy-state QKD system overcoming all the demanding conditions. The system is operated in a moving platform through a turntable, a floating platform through a hot-air balloon, and a huge loss channel, respectively, for substantiating performances under rapid motion, attitude change, vibration, random movement of satellites and in high-loss regime. The experiments cover expanded ranges for all the leading parameters of LEOS. Our results pave the way towards ground-satellite QKD and global quantum communication network.

Jian-Yu Wang; Bin Yang; Sheng-Kai Liao; Liang Zhang; Qi Shen; Xiao-Fang Hu; Jin-Cai Wu; Shi-Ji Yang; Hao Jiang; Yan-Lin Tang; Bo Zhong; Hao Liang; Wei-Yue Liu; Yi-Hua Hu; Yong-Mei Huang; Bo Qi; Ji-Gang Ren; Ge-Sheng Pan; Juan Yin; Jian-Jun Jia; Yu-Ao Chen; Kai Chen; Chen-Zhi Peng; Jian-Wei Pan

2012-10-29T23:59:59.000Z

463

Verification of theoretically computed spectra for a point rotating in a vertical plane  

DOE Green Energy (OSTI)

A theoretical model is modified and tested that produces the power spectrum of the alongwind component of turbulence as experienced by a point rotating in a vertical plane perpendicular to the mean wind direction. The ability to generate such a power spectrum, independent of measurement, is important in wind turbine design and testing. The radius of the circle of rotation, its height above the ground, and the rate of rotation are typical for those for a MOD-OA wind turbine. Verification of this model is attempted by comparing two sets of variances that correspond to individual harmonic bands of spectra of turbulence in the rotational frame. One set of variances is calculated by integrating the theoretically generated rotational spectra; the other is calculated by integrating rotational spectra from real data analysis. The theoretical spectrum is generated by Fourier transformation of an autocorrelation function taken from von Karman and modified for the rotational frame. The autocorrelation is based on dimensionless parameters, each of which incorporates both atmospheric and wind turbine parameters. The real data time series are formed by sampling around the circle of anemometers of the Vertical Plane Array at the former MOD-OA site at Clayton, New Mexico.

Powell, D.C.; Connell, J.R.; George, R.L.

1985-03-01T23:59:59.000Z

464

Independent Natural Resources Inc | Open Energy Information  

Open Energy Info (EERE)

Natural Resources Inc Natural Resources Inc Jump to: navigation, search Name Independent Natural Resources Inc Place Eden Prairie, Minnesota Zip 55344 Product Designer of a wave converter system. Has patented the SEADOG Pump which uses buoyancy to convert ave energy to mechanical energy. References Independent Natural Resources Inc[1] LinkedIn Connections CrunchBase Profile No CrunchBase profile. Create one now! This company is listed in the Marine and Hydrokinetic Technology Database. This article is a stub. You can help OpenEI by expanding it. Independent Natural Resources Inc is a company located in Eden Prairie, Minnesota . References ↑ "Independent Natural Resources Inc" Retrieved from "http://en.openei.org/w/index.php?title=Independent_Natural_Resources_Inc&oldid=678906"

465

Independent Oversight Special Review, Headquarters - August 2008 |  

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

Independent Oversight Special Review, Headquarters - August 2008 Independent Oversight Special Review, Headquarters - August 2008 Independent Oversight Special Review, Headquarters - August 2008 August 2008 Review of Construction Safety and Health Programs This special review of construction safety was performed by the Office of Independent Oversight, within the Office of Health, Safety and Security (HSS), to provide feedback to DOE line management and contractors on the effectiveness of line organizations at DOE sites in implementing construction safety requirements. This special review is based on data collected over the past three years (covering the timeframe from late 2005 to early 2008) during scheduled inspections performed by Independent Oversight's Office of Environment, Safety and Health Evaluations, at the

466

Independent Specific Administrative Controls Review, Richland Operations  

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

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

467

Independent Oversight Inspection, Pacific Northwest National Laboratory -  

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

Independent Oversight Inspection, Pacific Northwest National Independent Oversight Inspection, Pacific Northwest National Laboratory - December 2003 Independent Oversight Inspection, Pacific Northwest National Laboratory - December 2003 December 2003 Inspection of Environment, Safety, and Health Management at the Pacific Northwest National Laboratory The Secretary of Energy's Office of Independent Oversight and Performance Assurance (OA) conducted an inspection of environment, safety, and health (ES&H) at the U.S. Department of Energy (DOE) Pacific Northwest National Laboratory (PNNL) during November and December 2003. The inspection was performed by the OA Office of Environment, Safety and Health Evaluations. Overall, implementation of ISM at PNNL has improved noticeably since the 1998 DOE Headquarters independent oversight evaluation. This improvement is

468

Berkeley Lab Postdoc Survey  

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

Founded in 1983, MOR Associates has led dozens of major survey efforts on behalf of higher education, such as UC Berkeley, MIT, Stanford University, University of Washington,...

469

ORISE: Characterization surveys  

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

extent of radiological contamination at sites scheduled for decontamination and decommissioning (D&D). A fundamental aspect of all D&D projects, characterization surveys provide...

470

The Dark Energy Survey  

Science Conference Proceedings (OSTI)

A new proposed optical?near infrared survey of 5000 square degrees of the South Galactic Cap is presented. To perform it

E. Sánchez; Dark Energy Survey Collaboration

2006-01-01T23:59:59.000Z

471

ICDF Complex Waste Profile and Verification Sample Guidance  

Science Conference Proceedings (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

472

Introduction to Measurement & Verification for DOE Super ESPC Projects  

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

Introduction to M&V Introduction to M&V Introduction to Measurement & Verification for DOE Super ESPC Projects June 2007 Federal Energy Management Program (FEMP) Office of Energy Efficiency and Renewable Energy U.S. Department of Energy This document was developed for the U.S. Department of Energy's Federal Energy Management Program by Nexant, Inc., and Lawrence Berkeley National Laboratory. This document is posted on FEMP's web site at http://www1.eere.energy.gov/femp/financing/superespcs_mvresources.html. Introduction to M&V Contents WHY MEASURE AND VERIFY? .................................................................................... 1 OVERVIEW OF M&V ...................................................................................................... 1

473

Application of Forecast Verification Science to Operational River Forecasting in the U.S. National Weather Service  

Science Conference Proceedings (OSTI)

Forecast verification in operational hydrology has been very limited to date, mainly due to the complexity of verifying both forcing input forecasts and hydrologic forecasts on multiple space–time scales. However, forecast verification needs to ...

Julie Demargne; Mary Mullusky; Kevin Werner; Thomas Adams; Scott Lindsey; Noreen Schwein; William Marosi; Edwin Welles

2009-06-01T23:59:59.000Z

474

Safeguards Verification Measurements using Laser Ablation, Absorbance Ratio Spectrometry in Gaseous Centrifuge Enrichment Plants  

Science Conference Proceedings (OSTI)

Laser Ablation Absorbance Ratio Spectrometry (LAARS) is a new verification measurement technology under development at the US Department of Energy’s (DOE) Pacific Northwest National Laboratory (PNNL). LAARS uses three lasers to ablate and then measure the relative isotopic abundance of uranium compounds. An ablation laser is tightly focused on uranium-bearing solids producing a small plume containing uranium atoms. Two collinear wavelength-tuned spectrometry lasers transit through the plume and the absorbance of U-235 and U-238 isotopes are measured to determine U-235 enrichment. The measurement has high relative precision and detection limits approaching the femtogram range for uranium. It is independent of chemical form and degree of dilution with nuisance dust and other materials. High speed sample scanning and pinpoint characterization allow measurements on millions of particles/hour to detect and analyze the enrichment of trace uranium in samples. The spectrometer is assembled using commercially available components at comparatively low cost, and features a compact and low power design. Future designs can be engineered for reliable, autonomous deployment within an industrial plant environment. Two specific applications of the spectrometer are under development: 1) automated unattended aerosol sampling and analysis and 2) on-site small sample destructive assay measurement. The two applications propose game-changing technological advances in gaseous centrifuge enrichment plant (GCEP) safeguards verification. The aerosol measurement instrument, LAARS-environmental sampling (ES), collects aerosol particles from the plant environment in a purpose-built rotating drum impactor and then uses LAARS-ES to quickly scan the surface of the impactor to measure the enrichments of the captured particles. The current approach to plant misuse detection involves swipe sampling and offsite analysis. Though this approach is very robust it generally requires several months to obtain results from a given sample collection. The destructive assay instrument, LAARS-destructive assay (DA), uses a simple purpose-built fixture with a sampling planchet to collect adsorbed UF6 gas from a cylinder valve or from a process line tap or pigtail. A portable LAARS-DA instrument scans the microgram quantity of uranium collected on the planchet and the assay of the uranium is measured to ~0.15% relative precision. Currently, destructive assay samples for bias defect measurements are collected in small sample cylinders for offsite mass spectrometry measurement.

Anheier, Norman C.; Cannon, Bret D.; Qiao, Hong (Amy); Phillips, Jon R.

2012-07-01T23:59:59.000Z

475

The Integrated Safety Management System Verification Enhancement Review of the Plutonium Finishing Plant (PFP)  

SciTech Connect

The primary purpose of the verification enhancement review was for the DOE Richland Operations Office (RL) to verify contractor readiness for the independent DOE Integrated Safety Management System Verification (ISMSV) on the Plutonium Finishing Plant (PFP). Secondary objectives included: (1) to reinforce the engagement of management and to gauge management commitment and accountability; (2) to evaluate the ''value added'' benefit of direct public involvement; (3) to evaluate the ''value added'' benefit of direct worker involvement; (4) to evaluate the ''value added'' benefit of the panel-to-panel review approach; and, (5) to evaluate the utility of the review's methodology/adaptability to periodic assessments of ISM status. The review was conducted on December 6-8, 1999, and involved the conduct of two-hour interviews with five separate panels of individuals with various management and operations responsibilities related to PFP. A semi-structured interview process was employed by a team of five ''reviewers'' who directed open-ended questions to the panels which focused on: (1) evidence of management commitment, accountability, and involvement; and, (2) consideration and demonstration of stakeholder (including worker) information and involvement opportunities. The purpose of a panel-to-panel dialogue approach was to better spotlight: (1) areas of mutual reinforcement and alignment that could serve as good examples of the management commitment and accountability aspects of ISMS implementation, and, (2) areas of potential discrepancy that could provide opportunities for improvement. In summary, the Review Team found major strengths to include: (1) the use of multi-disciplinary project work teams to plan and do work; (2) the availability and broad usage of multiple tools to help with planning and integrating work; (3) senior management presence and accessibility; (4) the institutionalization of worker involvement; (5) encouragement of self-reporting and self-assessment by management; (6) the availability of multiple internal communication mechanisms; and, (7) the existence of overall facility-wide safety management goals as well as individualized project work team goals. Major opportunities for improvement identified include: (1) the enhancement of external communications relative to ISM; (2) the institutionalization of ISM-related performance agreements/incentives; (3) the strengthening of feedback loops; (4) fine-tuning the use of tools; and, (5) the formalization of good practices.

BRIGGS, C.R.

2000-02-09T23:59:59.000Z

476

Review of the Y-1-12 Implementation Verification Review Processes, June 2012  

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

Y-12 Implementation Verification Review Y-12 Implementation Verification Review Processes May 2011 June 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy i Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope ...................................................................................................................................................... 1

477

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation  

Science Conference Proceedings (OSTI)

Many applications (such as system and user monitoring, runtime verification, diagnosis, observation-based decision making, intention recognition) all require to detect the occurrence of an event in a system, which entails the ability to observe the system. ... Keywords: 68Q17, 68U99, 68W25, Complexity, Event detection, Logic programming, Runtime verification, Temporal logic

Marco Alberti; Pierangelo Dell'Acqua; Luís Moniz Pereira

2011-07-01T23:59:59.000Z

478

Using position extrema points to capture shape in on-line handwritten signature verification  

Science Conference Proceedings (OSTI)

There is considerable interest in authentication based on handwritten signature verification (HSV) because of the long-standing tradition of its use in many common authentication tasks. HSV may be considered superior to many other biometric authentication ... Keywords: Authentication, Biometrics, Handwritten signature verification

G. K. Gupta; R. C. Joyce

2007-10-01T23:59:59.000Z

479

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics  

Science Conference Proceedings (OSTI)

Java+ITP is an experimental tool for the verification of properties of a sequential imperative subset of the Java language. It is based on an algebraic continuation passing style (CPS) semantics of this fragment as an equational theory in Maude. It supports ... Keywords: Hoare logic, Java, algebraic semantics, program verification

Ralf Sasse; José Meseguer

2007-07-01T23:59:59.000Z

480

Comments for A Conference on Verification in the 21st Century  

SciTech Connect

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

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

Dosimetric Verification of IMRT Treatment Plans Using an Electronic Portal Imaging Device  

Science Conference Proceedings (OSTI)

This paper presents the procedures and results of dosimetric verification using an Electronic Portal Imaging Device as a tool for pre-treatment dosimetry in IMRT technique at the Greater Poland Cancer Centre in Poznan, Poland. The evaluation of dosimetric verification for various organ, during a 2 year period is given.

Kruszyna, Marta [Department of Physics, Adam Mickiewicz University in Poznan, Umultowska 85 St., 61-614 Poznan and Department of Medical Physics, Grater Poland Cancer Centre in Poznan, Garbary 15 St, 61-866 Poznan (Poland)

2010-01-05T23:59:59.000Z

482

Spatial clearance verification using 3D laser range scanner and augmented reality  

Science Conference Proceedings (OSTI)

A spatial clearance verification system for supporting nuclear power plant dismantling work was developed and evaluated by a subjective evaluation. The system employs a three-dimensional laser range scanner to obtain threedimensional surface models of ... Keywords: augmented reality, decommissioning, laser range scanner, nuclear power plants, spatial clearance verification

Hirotake Ishii; Shuhei Aoyama; Yoshihito Ono; Weida Yan; Hiroshi Shimoda; Masanori Izumi

2011-07-01T23:59:59.000Z

483

Verification & validation by docking: a case study of agent-based models of Anopheles gambiae  

Science Conference Proceedings (OSTI)

In this paper, using the technique of docking, we perform verification & validation (V&V) of agent-based simulation models that simulate the life cycle of Anopheles gambiae, the primary vector for malaria transmission. Working with one ... Keywords: Anopheles gambiae, docking, malaria epidemiology, verification & validation

S. M. Niaz Arifin; Gregory J. Davis; Ying Zhou

2010-07-01T23:59:59.000Z

484

An invariant-based approach to the verification of asynchronous parameterized networks  

Science Conference Proceedings (OSTI)

A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number of homogeneous processes. To cope with this problem we combine ... Keywords: Asynchronous networks, Induction, Invariant generation, Model checking, Program verification, Simulation

Igor V. Konnov; Vladimir A. Zakharov

2010-11-01T23:59:59.000Z

485

A CSP-based framework for the specification, verification, and implementation of adaptive systems  

Science Conference Proceedings (OSTI)

The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass ... Keywords: adaptive systems, csp, modeling, verification

Björn Bartels; Moritz Kleine

2011-05-01T23:59:59.000Z

486

A novel verification technique to uncover out-of-order DUV behaviors  

Science Conference Proceedings (OSTI)

Post-partitioning verification has to deal with abstract data, implementation artifacts, and the order of events may not be preserved in the DUV due to the concurrency treatment in the golden model. Existing techniques are limited either by the use of ... Keywords: bipartite graphs, white-box verification

Gabriel Marcilio; Luiz C. V. Santos; Bruno Albertini; Sandro Rigo

2009-07-01T23:59:59.000Z

487

Review of the Y-1-12 Implementation Verification Review Processes, June 2012  

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

Y-12 Implementation Verification Review Y-12 Implementation Verification Review Processes May 2011 June 2012 Office of Safety and Emergency Management Evaluations Office of Enforcement and Oversight Office of Health, Safety and Security U.S. Department of Energy i Table of Contents 1.0 Purpose ................................................................................................................................................... 1 2.0 Background ............................................................................................................................................ 1 3.0 Scope ...................................................................................................................................................... 1

488

Independent Oversight Review of the Lawrence Livermore National Laboratory  

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

Review of the Lawrence Livermore National Review of the Lawrence Livermore National Laboratory - March 2001 Independent Oversight Review of the Lawrence Livermore National Laboratory - March 2001 March 2001 Review of the Lawrence Livermore National Laboratory Health Services Department The Office of Environment, Safety, and Health (ES&H) Oversight (EH-2) in conjunction with the Accreditation Association of Ambulatory Health Care (AAAHC) reviewed the Lawrence Livermore National Laboratory (LLNL) Health Services Department on March 19-21, 2001. The purpose of the review was twofold. First, EH-2 performed a review of selected activities to identify positive attributes, issues, and opportunities for improvement. Second, the AAAHC surveyed the medical program for accreditatio