Sample records for independent verification survey

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

    SciTech Connect (OSTI)

    E.M. Harpenau

    2010-11-15T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    E.N. Bailey

    2010-05-26T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-05-24T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-02-10T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    W.C. Adams

    2010-07-21T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Weaver, P.

    2008-03-17T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-12-15T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    King, David A.

    2012-08-16T23:59:59.000Z

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

  9. Results of the independent radiological verification survey of the lower Sheffield Brook floodplain, Wayne, New Jersey

    SciTech Connect (OSTI)

    Yalcintas, M.G.; Carrier, R.F.

    1989-05-01T23:59:59.000Z

    Prior to 1971, the W.R. Grace Company processed and stored radioactive materials at Wayne, New Jersey, under license to the Atomic Energy Commission. Decontamination of structures and storage of waste materials on the property at the Wayne Interim Storage Site (WISS) took place in 1974. Surveys by the State of New Jersey Department of Environmental Protection and by Oak Ridge Associated Universities for the NRC in 1982 indicated that properties adjacent to the WISS contained surface contamination by radioactive residuals in amounts exceeding those acceptable under US Department of Energy (DOE) remedial action guidelines. At the request of DOE, remedial actions have been conducted by Bechtel National, Inc., to remove radioactive residuals from properties adjacent to the site. It is the policy of DOE to assign an independent verification contractor to ensure the effectiveness of remedial actions performed within the Formerly Utilized Sites Remedial Action Program. This report describes the methods and results of those studies that were conducted by the Measurement Applications and Development Group of the Oak Ridge National Laboratory for the lower Sheffield Brook floodplain west of the WISS. Based upon post-remedial action and verification survey data, it was concluded that residual soil concentrations and gamma levels following excavation and backfilling of the area are within the limits prescribed by DOE radiological guidelines. 12 refs., 6 figs., 8 tabs.

  10. Results of the independent radiological verification survey at the former Bridgeport Brass Company Facility, Seymour, Connecticut (SSC001)

    SciTech Connect (OSTI)

    Foley, R.D.; Rice, D.E.; Allred, J.F.; Brown, K.S.

    1995-03-01T23:59:59.000Z

    At the request of the USDOE, a team from ORNL conducted an independent radiological verification survey at the former Bridgeport Brass Company Facility, Seymour, Connecticut, from September 1992 to March 1993. Purpose of the survey was to determine whether residual levels of radioactivity inside the Ruffert Building and selected adjacent areas were rmediated to levels below DOE guidelines for FUSRAP sites. The property was contaminated with radioactive residues of {sup 238}U from uranium processing experiments conducted by Reactive Metals, Inc., from 1962 to 1964 for the Atomic Energy Commission. A previous radiological survey did not characterize the entire floor space because equipment which could not be moved at the time made it inaccessible for radiological surveys. During the remediation process, additional areas of elevated radioactivity were discovered under stationary equipment, which required additional remediation and further verification. Results of the independent radiological verification survey confirm that, with the exception of the drain system inside the building, residual uranium contamination has been remediated to levels below DOE guidelines for unrestricted release of property at FUSRAP sites inside and outside the Ruffert Building. However, certain sections of the drain system retain uranium contamination above DOE surface guideline levels. These sections of pipe are addressed in separate, referenced documentation.

  11. ORISE: Independent verification

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated CodesTransparencyDOE ProjectCrisisIndependent verification ORISE

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

    SciTech Connect (OSTI)

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

    2011-06-24T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Wilson-Nichols, M.J.; Egidi, P.V.; Roemer, E.K.; Schlosser, R.M.

    2000-09-01T23:59:59.000Z

    f I 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 m3 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 wi th 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.

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

    SciTech Connect (OSTI)

    Harpenau, Evan M.; Weaver, Phyllis C.

    2012-06-06T23:59:59.000Z

    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.

  15. Guide to good practices for independent verification

    SciTech Connect (OSTI)

    NONE

    1998-12-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    ERIKA N. BAILEY

    2012-02-29T23:59:59.000Z

    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.

  17. Final Report - Independent Verification Survey Report for the Waste Loading Area, Former Hazardous Waste Management Facility, Brookhaven National Laboratory, Upton, New York

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-08-19T23:59:59.000Z

    The objective of the verification survey was to obtain evidence by means of measurements and sampling to confirm that the final radiological conditions were less than the established release criteria. This objective was achieved via multiple verification components including document reviews to determine the accuracy and adequacy of FSS documentation.

  18. Results of the Independent Radiological Verification Survey of Remediation at Building 31, Former Linde Uranium Refinery, Tonawanda, New York (LI001V)

    SciTech Connect (OSTI)

    McKenzie, S.P.; Uziel, M.S.

    1998-11-01T23:59:59.000Z

    As part of the Formerly Utilized Sites Remedial Action Progmq a team from Oak Ridge National Laboratory (ORNL) conducted a radiological veriihtion survey of Building 31 at the former Linde Uranium Refinery, Tonawau& New York. The purpose of the survey was to ver@ that remedial action completed by the project management contractor had reduced contamination levels to within authorized limits. Prior to remediatioq tied radioactive material was prevalent throughout the building and in some of the ductwork Decontaminadon consisted of removing surfhce contamination from floors, baseboards, and overhead areas; removing some air ducts; and vacuuming dust. Building 31 at the former Linde site in TonawandA New Yorlq was thoroughly investigated inside and outside for radionuclide residues. The verification team discovered previously undetected contaminadon beneath the concrete pad on the first floor and underneath floor tiles on the second floor. All suspect floor tiles were removed and any contamination beneath them cleaned to below guideline levels. The verification team also discovered elevated radiation levels associated with overhead air lines that led to the eventual removal of the entire air lige and a complete investigation of the history of all process piping in the building. Final verification surveys showed that residual surface beta-gamma activity levels were slightly elevated in some places but below U.S. Department of Energy applicable guidelines for protection against radiation (Table 1). Similarly, removable radioactive contamination was also below applicable guidelines. Exposure rates within the building were at typical background levels, and no consistently elevated indoor radon concentrations were measured. However, radionuclide analysis of subsurface soil from beneath the concrete floor on the ground level showed concentrations of `*U and'% that exceeded applicable guidelines. At the time of this survey, there was no measured exposure pathway for this subslab contamination under current use scenarios, and there was low risk associated with this contaminadon if the conaete slab is not cracked or penetrated. However, any penetration of the concrete slab caused by renovations, repairs, demolitio% or a naturally-occurring craclq would require further investigation and evaluation. Analysis of the project management contractor's post-remedial action data and results of this independent radiological vaification survey by ORNL confirm that all radiological measurements inside the building, on the exterior walls, and on the roof are below the limits prescribed by applicable guidelines for protection against radiation.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-06-12T23:59:59.000Z

    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.

  20. Results of the Independent Radiological Verification Survey of Remediation at Building 14, Former Linde Uranium Refinery, Tonawanda, New York (LI001V)

    SciTech Connect (OSTI)

    McKenzie, S.P.

    2000-08-21T23:59:59.000Z

    As part of the Formerly Utilized Sites Remedial Action Program, a team from Oak Ridge National Laboratory (ORNL) conducted a radiological verification survey of Building 14 at the former Linde Uranium Refinery, Tonawanda, New York. The purpose of the survey was to verify that remedial action completed by the project management contractor had reduced contamination levels to within authorized limits. Prior to remediation, fixed and removable beta-gamma emitting material was Prevalent throughout Building 14 and in some of the process piping. Decontamination consisted of removal of surface contamination from floors, floor-wall interfaces, walls, wall-ceiling interfaces, and overhead areas; decontamination or removal of process piping; excavation and removal of subsurface soil; and vacuuming of dust. This independent radiological assessment was performed to verify that the remedial action had reduced contamination levels to within authorized limits. Building 14 at the former Linde site in Tonawanda, New York, was thoroughly investigated inside for radionuclide residues. Surface residual activity levels were generally well below applicable guidelines for protection against radiation. Similarly, removable alpha and beta-gamma activity levels were below guidelines. Gamma exposure rates within the building were at typical background levels, and no elevated indoor radon concentrations were measured. However, numerous areas exceeding U.S. Department of Energy (DOE) applicable guidelines still remain inside and underneath the building. These areas were either (1) inaccessible or (2) removal was not cost-effective or (3) removal would affect the structural integrity of the building. These above-guideline areas have been listed, described, and characterized by the remediation subcontractor (Appendix A), and dose to an exposed worker during typical exposure scenarios has been calculated. Based on the remediation subcontractor's characterization data and dose assessment calculations, these areas pose insignificant risk to building inhabitants under current use scenarios. However, future renovations, repairs, or demolition of the building must require prior evaluation and consideration of the areas. Analysis of the project management contractor's post-remedial action data and results of this independent radiological verification survey by ORNL confirm that residual contamination inside the building is either below the limits prescribed by DOE applicable guidelines for protection against radiation or areas exceeding applicable guidelines have been characterized and a risk assessment completed. Building 14 can be released for unrestricted use under current use scenarios; however, arrangements must be made to inform current and future building owners of the locations of areas exceeding DOE guidelines and any associated restrictions concerning renovations, repairs, or demolition of the building.

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

    SciTech Connect (OSTI)

    NICK A. ALTIC

    2012-09-20T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-05-08T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2009-04-29T23:59:59.000Z

    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.

  4. A Tutorial on Text-Independent Speaker Verification

    E-Print Network [OSTI]

    Bimbot, Frederic

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

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

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-07-24T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    none,

    2013-10-10T23:59:59.000Z

    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.

  7. INTERIM REPORT--INDEPENDENT VERIFICATION SURVEY OF SECTION 3, SURVEY UNITS 1, 4 AND 5 EXCAVATED SURFACES, WHITTAKER CORPORATION, REYNOLDS INDUSTRIAL PARK, TRANSFER, PENNSYLVANIA DCN: 5002-SR-04-0"

    SciTech Connect (OSTI)

    ADAMS, WADE C

    2013-04-18T23:59:59.000Z

    At Pennsylvania Department of Environmental Protection's request, ORAU's IEAV program conducted verification surveys on the excavated surfaces of Section 3, SUs 1, 4, and 5 at the Whittaker site on March 13 and 14, 2013. The survey activities included visual inspections, gamma radiation surface scans, gamma activity measurements, and soil sampling activities. Verification activities also included the review and assessment of the licensee?s project documentation and methodologies. Surface scans identified four areas of elevated direct gamma radiation distinguishable from background; one area within SUs 1 and 4 and two areas within SU5. One area within SU5 was remediated by removing a golf ball size piece of slag while ORAU staff was onsite. With the exception of the golf ball size piece of slag within SU5, a review of the ESL Section 3 EXS data packages for SUs 1, 4, and 5 indicated that these locations of elevated gamma radiation were also identified by the ESL gamma scans and that ESL personnel performed additional investigations and soil sampling within these areas. The investigative results indicated that the areas met the release criteria.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2009-02-17T23:59:59.000Z

    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

  9. Experimental device-independent verification of quantum steering

    E-Print Network [OSTI]

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

    2014-08-07T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    B.D. Estes

    2009-04-24T23:59:59.000Z

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

  11. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01T23:59:59.000Z

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

  12. Radiological verification survey results at 14 Peck Ave., Pequannock, New Jersey (PJ001V)

    SciTech Connect (OSTI)

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

    1995-05-01T23:59:59.000Z

    The U.S. 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 14 Peck Ave., 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 14 Peck Ave. 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.

  13. Radiological verification survey results at 7 Peck Ave., Pequannock, New Jersey (PJ003V)

    SciTech Connect (OSTI)

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

    1995-05-01T23:59:59.000Z

    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 7 Peck Ave., 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 samples for radionuclide analysis. Results of the survey demonstrated that all radiological measurements on the property at 7 Peck Ave. 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.

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

    SciTech Connect (OSTI)

    Egidi, P.V.

    1997-06-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2010-10-22T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Weaver, Phyllis C.

    2012-08-29T23:59:59.000Z

    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.

  17. Results of the radiological verification survey of the partial remediation at 90 Avenue C, Lodi, New Jersey (LJ079V)

    SciTech Connect (OSTI)

    Foley, R.D.; Johnson, C.A.

    1994-02-01T23:59:59.000Z

    The property at 90 Avenue C, Lodi, New Jersey is one of the vicinity properties of the former Maywood Chemical Works, Maywood, New Jersey designated for remedial action by the US Department of Energy (DOE). In July 1991, Bechtel National, Inc. performed a partial remedial action on this property. At the request of DOE, a team from Oak Ridge National Laboratory conducted an independent radiological verification survey in July, 1991 at this site. The purpose of the verification survey was to ensure the effectiveness of remedial actions performed within FUSRAP and to confirm the site`s compliance with DOE guidelines. The radiological survey included surface gamma scans indoors and outdoors, ground-level beta-gamma measurements, and systematic and biased soil and material sampling. Results of the verification survey demonstrated that all radiological measurements on the portions of the property that had been remediated were within DOE guidelines. However, there still remains a portion of the property to be remediated that is not covered by this verification survey.

  18. The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a

    E-Print Network [OSTI]

    Zelkowitz, Marvin V.

    with requirements for high reliability and mission safety taxes current development methods. In this paper we, Software safety and reliability 1 INTRODUCTION The use of an independent group to provide verification of the process used to ensure mission safety and reliability for NASA Space Shuttle software. The software has

  19. Inventory of NMFS Fishery-Independent Surveys and Observations

    E-Print Network [OSTI]

    1 Inventory of NMFS Fishery-Independent Surveys and Observations Phase 1: A One-year Snapshot of Appendixes Appendix I. Inventory working group .............................................................. 22 Appendix II. Glossary for terms used in the inventory

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

    SciTech Connect (OSTI)

    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

    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.

  1. Results of the radiological and beryllium verification survey at the Sacandaga Site, Glenville, New York (SY002V)

    SciTech Connect (OSTI)

    Foley, R.D.; Cottrell, W.D.; Johnson, C.A.

    1994-09-01T23:59:59.000Z

    At the request of the US Department of Energy (DOE), a team from Oak Ridge National Laboratory conducted an independent verification radiological and non-radioactive beryllium survey at the Sacandaga Site, located on Sacandaga Road, Glenville, New York following limited remediation of the site by Allwash of Syracuse, Inc. At the time of this survey, only building P was still standing. A small concrete structure at the east of the property had been demolished and the debris hauled away, leaving only a pit. The purpose of the survey, conducted between April and August 1993, 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 1 meter indoors and outdoors, alpha and beta scans inside building P, 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 Sacandaga Site, Glenville, 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.

  2. INFRARED PROPERTIES OF RADIO-SELECTED SUBMILLIMETER GALAXIES IN THE SPITZER FIRST LOOK SURVEY VERIFICATION FIELD

    E-Print Network [OSTI]

    Frayer, David

    INFRARED PROPERTIES OF RADIO-SELECTED SUBMILLIMETER GALAXIES IN THE SPITZER FIRST LOOK SURVEY and infrared observations of 28 radio-selected galaxies in the Spitzer First Look Survey verification field counterparts at 24 m. The data show a wide range of infrared colors (S70 m=S24 m

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

    SciTech Connect (OSTI)

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

    1994-10-01T23:59:59.000Z

    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.

  4. Verification Survey of Rooms 113, 114, and 208 of the Inhalation Toxicology Laboratory, Lovelace Respiratory Research Institute, Albuquerque, NM

    SciTech Connect (OSTI)

    T.J. Vitkus

    2008-06-25T23:59:59.000Z

    The objectives of the verification survey were to confirm that accessible surfaces of the three laboratories meet the DOE’s established criteria for residual contamination. Drain pipes and ductwork were not included within the survey scope.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    E.N. Bailey

    2009-03-18T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    Kent Norris

    2009-09-01T23:59:59.000Z

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

  9. US-VISIT Independent Verification and Validation Project: Test Bed Establishment Report

    SciTech Connect (OSTI)

    Jensen, N W; Gansemer, J D

    2011-01-21T23:59:59.000Z

    This document describes the computational and data systems available at the Lawrence Livermore National Laboratory for use on the US-VISIT Independent Verification and Validation (IV&V) project. This system - composed of data, software and hardware - is designed to be as close as a representation of the operational ADIS system as is required to verify and validate US-VISIT methodologies. It is not required to reproduce the computational capabilities of the enterprise-class operational system. During FY10, the test bed was simplified from the FY09 version by reducing the number of database host computers from three to one, significantly reducing the maintenance and overhead while simultaneously increasing system throughput. During the current performance period, a database transfer was performed as a set of Data Pump Export files. The previous RMAN backup from 2007 required the availability of an AIX system which is not required when using data pump. Due to efficiencies in the new system and process, loading of the database refresh was able to be accomplished in a much shorter time frame than was previously required. The FY10 Oracle Test Bed now consists of a single Linux platform hosting two Oracle databases including the 2007 copy as well as the October 2010 refresh.

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

    SciTech Connect (OSTI)

    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

    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.

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

    SciTech Connect (OSTI)

    M.G. JADICK

    2010-05-26T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-03-19T23:59:59.000Z

    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.

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

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA groupTuba City, Arizona,Site Operations Guide Doc.5 R A DUnied StatesSURVEY OF

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-10-17T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    E.N. Bailey

    2008-05-06T23:59:59.000Z

    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.

  16. Verification survey of the 17th Street Drainage Area, Santa Susana Field Laboratory, The Boeing Company, Ventura County, California

    SciTech Connect (OSTI)

    John R. Morton

    2000-04-14T23:59:59.000Z

    An independent (third-party) verification of contractor remedial actions of the subject site verifies that remedial actions have been effective in meeting established and site-specific guidelines and that the documentation accurately and adequately describes the radiological conditions at the site.

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

    SciTech Connect (OSTI)

    Kent Norris

    2009-10-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Evan Harpenau

    2011-03-15T23:59:59.000Z

    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.

  1. 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 (OSTI)

    E.M. Harpenau

    2010-11-15T23:59:59.000Z

    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

  2. ORISE: Independent verification

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (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...

  3. Independent Verification and Validation

    E-Print Network [OSTI]

    Kemner, Ken

    : CMTS ­ Compliance Monitoring and Tracking System OSMAPS ­ Open Skies Management and Planning System&V. #12;A U.S. Department of Energy laboratory managed by UChicago Argonne, LLC Argonne's team of IV Opportunity Decision and Information Sciences Division Information Sciences Group More than ever, systems

  4. 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 (OSTI)

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

    1995-03-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2009-10-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01T23:59:59.000Z

    The purpose of the Independent Verification and Validation (IV&V) role in the evaluation of the SAPHIRE 8 Software Acceptance Test Plan is to assess the approach to be taken for intended testing activities. The plan typically identifies the items to be tested, the requirements being tested, the testing to be performed, test schedules, personnel requirements, reporting requirements, evaluation criteria, and any risks requiring contingency planning. The IV&V team began this endeavor after the software engineering and software development of SAPHIRE had already been in production.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

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

    2005-12-02T23:59:59.000Z

    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.

  9. 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 (OSTI)

    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

    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.

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

    SciTech Connect (OSTI)

    EVAN M. HARPENAU

    2012-06-28T23:59:59.000Z

    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.

  11. Independent Validation and Verification of Process Design and Optimization Technology Diagnostic and Control of Natural Gas Fired Furnaces via Flame Image Analysis Technology

    SciTech Connect (OSTI)

    Cox, Daryl [ORNL

    2009-05-01T23:59:59.000Z

    The United States Department of Energy, Industrial Technologies Program has invested in emerging Process Design and Optimizations Technologies (PDOT) to encourage the development of new initiatives that might result in energy savings in industrial processes. Gas fired furnaces present a harsh environment, often making accurate determination of correct air/fuel ratios a challenge. Operation with the correct air/fuel ratio and especially with balanced burners in multi-burner combustion equipment can result in improved system efficiency, yielding lower operating costs and reduced emissions. Flame Image Analysis offers a way to improve individual burner performance by identifying and correcting fuel-rich burners. The anticipated benefit of this technology is improved furnace thermal efficiency, and lower NOx emissions. Independent validation and verification (V&V) testing of the FIA technology was performed at Missouri Forge, Inc., in Doniphan, Missouri by Environ International Corporation (V&V contractor) and Enterprise Energy and Research (EE&R), the developer of the technology. The test site was selected by the technology developer and accepted by Environ after a meeting held at Missouri Forge. As stated in the solicitation for the V&V contractor, 'The objective of this activity is to provide independent verification and validation of the performance of this new technology when demonstrated in industrial applications. A primary goal for the V&V process will be to independently evaluate if this technology, when demonstrated in an industrial application, can be utilized to save a significant amount of the operating energy cost. The Seller will also independently evaluate the other benefits of the demonstrated technology that were previously identified by the developer, including those related to product quality, productivity, environmental impact, etc'. A test plan was provided by the technology developer and is included as an appendix to the summary report submitted by Environ (Appendix A). That plan required the V&V contractor to: (1) Establish the as-found furnace operating conditions; (2) Tune the furnace using currently available technology to establish baseline conditions; (3) Tune the furnace using the FIA technology; and (4) Document the improved performance that resulted from application of the FIA technology. It is important to note that the testing was not designed to be a competition or comparison between two different methodologies that could be used for furnace tuning. Rather, the intent was to quantify improvements in furnace performance that could not be achieved with existing technology. Therefore, the measure of success is improvement beyond the furnace efficiency obtainable using existing furnace optimization methods rather than improvement from the as found condition.

  12. Combining Dark Energy Survey Science Verification Data with Near Infrared Data from the ESO VISTA Hemisphere Survey

    E-Print Network [OSTI]

    Banerji, Manda; Jouvel, S.; Lin, H.; McMahon, R. G.; Lahav, O.; Castander, F. J.; Abdalla, F. B.; Bertin, E.; Bosman, S. E.; Carnero, A.; Carrasco Kind, M.; da Costa, L. N.; Gerdes, D.; Gschwend, J.; Lima, M.; Maia, M. A. G.; Merson, A.; Miller, C.; Ogando, R.; Pellegrini, P.; Reed, S.; Saglia, R.; Sánchez, C.; Allam, S.; Annis, J.; Bernstein, G.; Bernstein, J.; Bernstein, R.; Capozzi, D.; Childress, M.; Cunha, Carlos E.; Davis, T. M.; DePoy, D. L.; Desai, S.; Diehl, H. T.; Doel, P.; Findlay, J.; Finley, D. A.; Flaugher, B.; Frieman, J.; Gaztanaga, E.; Glazebrook, K.; González-Fernández, C.; Gonzalez-Solares, E.; Honscheid, K.; Irwin, M. J.; Jarvis, M. J.; Kim, A.; Koposov, S.; Kuehn, K.; Kupcu-Yoldas, A.; Lagattuta, D.; Lewis, J. R.; Lidman, C.; Makler, M.; Marriner, J.; Marshall, Jennifer L.; Miquel, R.; Mohr, Joseph J.; Neilsen, E.; Peoples, J.; Sako, M.; Sanchez, E.; Scarpine, V.; Schindler, R.; Schubnell, M.; Sevilla, I.; Sharp, R.; Soares-Santos, M.; Swanson, M. E. C.; Tarle, G.; Thaler, J.; Tucker, D.; Uddin, S. A.; Wechsler, R.; Wester, W.; Yuan, F.; Zuntz, J.

    2014-11-30T23:59:59.000Z

    has been commonly used for the analysis of photometric redshifts in several deep field galaxy surveys such as VIDEO (Jarvis et al. 2013) and COSMOS (Ilbert et al. 2009) and use of the same algorithm allows us to bench- mark our results against... . Frieman,2 E. Gaztanaga,5 K. Glazebrook,26 C. Gonza´lez-Ferna´ndez,3 E. Gonzalez-Solares,3 K. Honscheid,27 M. J. Irwin,3 M. J. Jarvis,28,29 A. Kim,30 S. Koposov,3 K. Kuehn,31 A. Kupcu-Yoldas,3 D. Lagattuta,20,26 J. R. Lewis,3 C. Lidman,31 M. Makler,32 J...

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

    SciTech Connect (OSTI)

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

    2011-06-07T23:59:59.000Z

    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.

  14. SU-E-T-24: A Simple Correction-Based Method for Independent Monitor Unit (MU) Verification in Monte Carlo (MC) Lung SBRT Plans

    SciTech Connect (OSTI)

    Pokhrel, D; Badkul, R; Jiang, H; Estes, C; Kumar, P; Wang, F [UniversityKansas Medical Center, Kansas City, KS (United States)

    2014-06-01T23:59:59.000Z

    Purpose: Lung-SBRT uses hypo-fractionated dose in small non-IMRT fields with tissue-heterogeneity corrected plans. An independent MU verification is mandatory for safe and effective delivery of the treatment plan. This report compares planned MU obtained from iPlan-XVM-Calgorithm against spreadsheet-based hand-calculation using most commonly used simple TMR-based method. Methods: Treatment plans of 15 patients who underwent for MC-based lung-SBRT to 50Gy in 5 fractions for PTV V100%=95% were studied. ITV was delineated on MIP images based on 4D-CT scans. PTVs(ITV+5mm margins) ranged from 10.1- 106.5cc(average=48.6cc). MC-SBRT plans were generated using a combination of non-coplanar conformal arcs/beams using iPlan XVM-Calgorithm (BrainLAB iPlan ver.4.1.2) for Novalis-TX consisting of micro-MLCs and 6MV-SRS (1000MU/min) beam. These plans were re-computed using heterogeneity-corrected Pencil-Beam (PB-hete) algorithm without changing any beam parameters, such as MLCs/MUs. Dose-ratio: PB-hete/MC gave beam-by-beam inhomogeneity-correction-factors (ICFs):Individual Correction. For independent-2nd-check, MC-MUs were verified using TMR-based hand-calculation and obtained an average ICF:Average Correction, whereas TMR-based hand-calculation systematically underestimated MC-MUs by ?5%. Also, first 10 MC-plans were verified with an ion-chamber measurement using homogenous phantom. Results: For both beams/arcs, mean PB-hete dose was systematically overestimated by 5.5±2.6% and mean hand-calculated MU systematic underestimated by 5.5±2.5% compared to XVMC. With individual correction, mean hand-calculated MUs matched with XVMC by - 0.3±1.4%/0.4±1.4 for beams/arcs, respectively. After average 5% correction, hand-calculated MUs matched with XVMC by 0.5±2.5%/0.6±2.0% for beams/arcs, respectively. Smaller dependence on tumor volume(TV)/field size(FS) was also observed. Ion-chamber measurement was within ±3.0%. Conclusion: PB-hete overestimates dose to lung tumor relative to XVMC. XVMC-algorithm is much more-complex and accurate with tissues-heterogeneities. Measurement at machine is time consuming and need extra resources; also direct measurement of dose for heterogeneous treatment plans is not clinically practiced, yet. This simple correction-based method was very helpful for independent-2nd-check of MC-lung-SBRT plans and routinely used in our clinic. A look-up table can be generated to include TV/FS dependence in ICFs.

  15. TYPE A VERIFICATION REPORT FOR THE HIGH FLUX BEAM REACTOR STACK AND GROUNDS, BROOKHAVEN NATIONAL LABORATORY, UPTON, NEW YORK DCN 5098-SR-08-0

    SciTech Connect (OSTI)

    Evan Harpenau

    2011-11-30T23:59:59.000Z

    The U.S. Department of Energy (DOE) Order 458.1 requires independent verification (IV) of DOE cleanup projects (DOE 2011). The Oak Ridge Institute for Science and Education (ORISE) has been designated as the responsible organization for IV of the High Flux Beam Reactor (HFBR) Stack and Grounds area at Brookhaven National Laboratory (BNL) in Upton, New York. The IV evaluation may consist of an in-process inspection with document and data reviews (Type A Verification) or a confirmatory survey of the site (Type B Verification). DOE and ORISE determined that a Type A verification of the documents and data for the HFBR Stack and Grounds: Survey Units (SU) 6, 7, and 8 was appropriate based on the initial survey unit classification, the walkover surveys, and the final analytical results provided by the Brookhaven Science Associates (BSA).

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

    SciTech Connect (OSTI)

    ALTIC, NICK A

    2013-08-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    ALTIC, NICK A

    2013-07-25T23:59:59.000Z

    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.

  18. EMERGING RENEWABLES PROGRAM SYSTEMS VERIFICATION REPORT

    E-Print Network [OSTI]

    survey that measured customer experience in applying to the ERP, receiving utility interconnection, renewable energy, shading, solar, system performance, system verification, utility interconnection, wind #12

  19. Verification and Validation of Facilities Procedures Assessment...

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

    Verification and Validation of Facilities Procedures Assessment Plan NNSANevada Site Office Independent Oversight Division Performance Objective: The purpose of this assessment is...

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

    SciTech Connect (OSTI)

    Nick A. Altic

    2011-11-11T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-02-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2010-03-01T23:59:59.000Z

    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.

  3. Independent Oversight Review, Portsmouth Gaseous Diffusion Plant...

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

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

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

    Office of Environmental Management (EM)

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

  5. Introduction Verification

    E-Print Network [OSTI]

    Kuhn, Matthew R.

    Introduction Model Verification Entropy model for granular materials at the critical state Matthew at the critical state. 2D materials only. Biaxial loading conditions. Six contact quantities Objective: Contact forces, movements, and orientations at the critical state. 2D materials only. Biaxial loading

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

    SciTech Connect (OSTI)

    Evan Harpeneau

    2011-06-24T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Evan Harpenau

    2011-10-10T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    P.C. Weaver

    2008-08-15T23:59:59.000Z

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

  9. History told from the depths of Lake Champlai: 1992-1993 Fort Ticonderoga-Mount Independence submerged cultural resource survey

    E-Print Network [OSTI]

    McLaughlin, Scott Arthur

    2000-01-01T23:59:59.000Z

    Campano Virginia West Funding The Fort Ticonderoga-Mount Independence Project could not have been completed without the cooperative efforts and funds from a number of federal and state government agencies. Federal funding was pmvided by the New... at its mouth (Johnson 1984). The topography and landforms visible today sunoundng the project area are products of ancient mountain-building process' and erosional forces of glaciers and rivers that gouged the valleys and scoured the surfaces...

  10. Lessons Learned from Independent Verification Activities

    Broader source: Energy.gov [DOE]

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

  11. Design for manufacturability Design verification

    E-Print Network [OSTI]

    Patel, Chintan

    -digital effects · Heterogeneous systems · Analog-Mixed signal · Soft failures · Verification for redundancy #12; · Robustness · Verification metrics · Software · Reuse · Specialized verification methodology · Specialized

  12. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect (OSTI)

    YANOCHKO, R.M.

    2000-01-27T23:59:59.000Z

    This document was prepared as part of an independent review to explain design verification activities already completed, and to define the remaining design verification actions for the Fuel Retrieval System. The Fuel Retrieval Subproject was established as part of the Spent Nuclear Fuel Project (SNF Project) to retrieve and repackage the SNF located in the K Basins. The Fuel Retrieval System (FRS) construction work is complete in the KW Basin, and start-up testing is underway Design modifications and construction planning are also underway for the KE Basin. An independent review of the design verification process as applied to the K Basin projects was initiated in support of preparation for the SNF Project operational readiness review (ORR).

  13. Verification Challenges at Low Numbers

    SciTech Connect (OSTI)

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

    2013-06-01T23:59:59.000Z

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

  14. Fuel Retrieval System Design Verification Report

    SciTech Connect (OSTI)

    GROTH, B.D.

    2000-04-11T23:59:59.000Z

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

  15. Confirmatory radiological survey of the Grand Junction Projects Office Remedial Action Project exterior portions, 1989-1995

    SciTech Connect (OSTI)

    Forbes, G.H.; Egidi, P.V.

    1997-04-01T23:59:59.000Z

    The purpose of this independent assessment was to provide the U.S. Department of Energy (DOE) with an independent verification (IV) that the soil at the Grand Junction Projects Office (GJPO) complies with applicable DOE guidelines. Oak Ridge National Laboratory/ Environmental Technology Section (ORNL/ETS) which is also located at the GJPO, was assigned by DOE as the Independent Verification Contractor (IVC). The assessment included reviews of the decontamination and decommissioning plan, annual environmental monitoring reports, data in the pre- and post-remedial action reports, reassessment reports and IV surveys. Procedures and field methods used during the remediation were reviewed, commented on, and amended as needed. The IV surveys included beta-gamma and gamma radiation scans, soil sampling and analyses. Based on the data presented in the post-remedial action report and the results of the IV surveys, the remediation of the outdoor portions of the GJPO has achieved the objectives. Residual deposits of uranium contamination may exist under asphalt because the original characterization was not designed to identify uranium and subsequent investigations were limited. The IVC recommends that this be addressed with the additional remediation. The IVC is working with the remedial action contractor (RAC) to assure that final documentation WM be sufficient for certification. The IVC will address additional remediation of buildings, associated utilities, and groundwater in separate reports. Therefore, this is considered a partial verification.

  16. Verification Testing Test Driven Development Testing with JUnit Verification

    E-Print Network [OSTI]

    Peters, Dennis

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

  17. University of Massachusetts Amherst Measurement & Verification Guidelines

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

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

  18. Carbon Storage Monitoring, Verification and Accounting Research...

    Office of Environmental Management (EM)

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

  19. Voltage verification unit

    DOE Patents [OSTI]

    Martin, Edward J. (Virginia Beach, VA)

    2008-01-15T23:59:59.000Z

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

  20. Verification of RADTRAN

    SciTech Connect (OSTI)

    Kanipe, F.L.; Neuhauser, K.S.

    1995-12-31T23:59:59.000Z

    This document presents details of the verification process of the RADTRAN computer code which was established for the calculation of risk estimates for radioactive materials transportation by highway, rail, air, and waterborne modes.

  1. 2012 Independent Communication and Outreach Stakeholder Satisfaction...

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

    and outreach stakeholder satisfaction survey to gauge the effectiveness of DOE-LM's communication and outreach strategies. Independent Communication and Outreach Stakeholder...

  2. SQA_CodeVerification_Survey_FINAL

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's PossibleRadiation Protection245C Unlimited ReleaseWelcome ton n u a l r e pSince theSPR

  3. Environmental Technology Verification of Mobile Sources Control...

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

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

  4. Study of verification, validation, and testing in the automated data processing system at the Department of Veterans Affairs

    SciTech Connect (OSTI)

    Andrews, A. (Argonne National Lab., IL (USA). Energy Systems Div.); Formento, J.W.; Hill, L.G.; Riemer, C.A. (Argonne National Lab., IL (USA). Environmental Assessment and Information Sciences Div.)

    1990-01-01T23:59:59.000Z

    Argonne National Laboratory (ANL) studied the role of verification, validation, and testing (VV T) in the Department of Veterans Affairs (VA) automated data processing (ADP) system development life cycle (SDLC). In this study, ANL reviewed and compared standard VV T practices in the private and government sectors with those in the VA. The methodology included extensive interviews with, and surveys of, users, analysts, and staff in the Systems Development Division (SDD) and Systems Verification and Testing Division (SV TD) of the VA, as well as representatives of private and government organizations, and a review of ADP standards. The study revealed that VA's approach to VV T already incorporates some industry practices -- in particular, the use of an independent organization that relies on the acceptability of test results to validate a software system. Argonne recommends that the role of SV TD be limited to validation and acceptance testing (defined as formal testing conducted independently to determine whether a software system satisfies its acceptance criteria). It also recommends that the role of the SDD be expanded to include verification testing (defined as formal testing or revaluation conducted by the developer to determine whether a software development satisfies design criteria). Integrated systems testing should be performed by Operations in a production-like environment under stressful situations to assess how trouble-free and acceptable the software is to the end user. A separate, independent, quality assurance group should be responsible for ADP auditing and for helping to establish policies for managing software configurations and should report directly to the VA central office. Finally, and of no less importance, an in-house training program and procedures manual should be instituted for the entire SDLC for all involved staff; it should incorporate or reference ADP standards.

  5. 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 (OSTI)

    Adams, Wade C.

    2012-01-24T23:59:59.000Z

    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.

  6. Electric Utility Measurement & Verification Program

    E-Print Network [OSTI]

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

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

  7. MULTIVESSEL BATCH DISTILLATION EXPERIMENTAL VERIFICATION

    E-Print Network [OSTI]

    Skogestad, Sigurd

    MULTIVESSEL BATCH DISTILLATION ­ EXPERIMENTAL VERIFICATION Bernd Wittgens and Sigurd Skogestad 1 The experimental verification of the operation of a multivessel batch distillation column, operated under total vessels, provides a generalization of previously proposed batch distillation schemes. We propose a simple

  8. Nuclear disarmament verification

    SciTech Connect (OSTI)

    DeVolpi, A.

    1993-12-31T23:59:59.000Z

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

  9. Verification and validation benchmarks.

    SciTech Connect (OSTI)

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01T23:59:59.000Z

    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.

  10. HEATING6 verification

    SciTech Connect (OSTI)

    Bryan, C.B.; Childs, K.W.; Giles, G.E.

    1986-12-01T23:59:59.000Z

    The HEATING series of general purpose, finite-difference, conduction heat transfer codes have been in use for many years. During this time the codes have been used extensively, and a general confidence has been developed in regard to their accuracy. However, there has never been a formal verification in a published, citable document. This report documents just such a verification study for the latest code in the HEATING series, HEATING6. This study confirms that HEATING6 is capable of producing accurate results for a large class of heat transfer problems. 11 refs., 170 figs., 82 tabs.

  11. Individualized Independent

    E-Print Network [OSTI]

    Dennehy, John

    Policy in Underdeveloped Areas of Latin America) City P SC 310 Internship (Center for Sustainable Energy Policy City P SC 236 Latin American Political Systems City P SC 310 Independent Study (Domestic Energy Politics His Words: I used my CUNY BA experience to prepare me to excel in my Renewable Energy career. CUNY

  12. Environmental Technology Verification Program

    E-Print Network [OSTI]

    Activities.................4 Table 2.0 Records Management Responsibilities for the MMR CenterEnvironmental Technology Verification Program Quality Management Plan (QMP) for the ETV Materials Management and Remediation Center Version 1.0 #12;QUALITY MANAGEMENT PLAN (QMP) for the ETV MATERIALS

  13. SAPHIRE 8 Software Independent Verification and Validation Plan

    SciTech Connect (OSTI)

    Rae J. Nims

    2009-04-01T23:59:59.000Z

    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.

  14. SAPHIRE 8 Software Independent Verification and Validation Plan

    SciTech Connect (OSTI)

    Rae J. Nims; Kent M. Norris

    2010-02-01T23:59:59.000Z

    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.

  15. On Incremental Quantitative Verification for Probabilistic Systems

    E-Print Network [OSTI]

    Oxford, University of

    . Quantitative verification is an automated method to establish quantitative properties of a system model, non- probabilistic verification, which, in addition to exhaustive exploration of a system modelOn Incremental Quantitative Verification for Probabilistic Systems Marta Kwiatkowska, David Parker

  16. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

    Rev. 10/04 EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________ (Family Name) (First) (Middle Initial) TO BE COMPLETED BY EMPLOYER OR HIRING DEPARTMENT: Employment Department__________________________________________________ Employment Position

  17. Independent Communication and Outreach Stakeholder Satisfaction Survey

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions for DOEthe RankingReform atSolar Energy

  18. Security and Verification Provable cryptography

    E-Print Network [OSTI]

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

    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

  19. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15T23:59:59.000Z

    This Software Verification and Validation procedure provides the action steps for the Tank Waste Information Network System (TWINS) testing process. The primary objective of the testing process is to provide assurance that the software functions as intended, and meets the requirements specified by the client. Verification and validation establish the primary basis for TWINS software product acceptance.

  20. Model Verification and Validation

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1 SECTION A.Model Verification and Validation Engineering

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

    SciTech Connect (OSTI)

    Erika Bailey

    2011-10-27T23:59:59.000Z

    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.

  2. TFE Verification Program

    SciTech Connect (OSTI)

    Not Available

    1993-05-01T23:59:59.000Z

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

  3. Robustness and device independence of verifiable blind quantum computing

    E-Print Network [OSTI]

    Alexandru Gheorghiu; Elham Kashefi; Petros Wallden

    2015-02-09T23:59:59.000Z

    Recent advances in theoretical and experimental quantum computing brings us closer to scalable quantum computing devices. This lead researchers to develop protocols for verifying the correct functionality of quantum operations. In this paper we address key challenges to make quantum verification protocols applicable to experimental implementations. We prove the robustness of the single server verification protocol of Fitzsimons and Kashefi (2012) which is based on universal blind quantum computing. The robustness of this protocol makes possible its composition with the device-independent protocol of Reichardt, Unger and Vazirani (2013). The new composite protocol inherits the device independence from Reichardt, Unger and Vazirani protocol while it leads to a lower round complexity for the verification of entangled quantum servers scenario. Finally, we give a fault tolerant version of the Fitzsimons and Kashefi protocol which suggests that the composite protocol can also be made fault tolerant.

  4. Learning Minimal Separating DFA's for Compositional Verification

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

  5. Independent Oversight Review of the Lawrence Livermore National...

    Energy Savers [EERE]

    Laboratory's health services and to conduct an Accreditation Association of Ambulatory Health Care accreditation survey. Independent Oversight Review of the Lawrence Livermore...

  6. Runtime verification for stochastic systems

    E-Print Network [OSTI]

    Wilcox, Cristina M

    2010-01-01T23:59:59.000Z

    We desire a capability for the safety monitoring of complex, mixed hardware/software systems, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software ...

  7. Software Modeling and Verification Professors

    E-Print Network [OSTI]

    Ábrahám, Erika

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

  8. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

    Rev. 10/04 EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________ (Family Name) (First) (Middle Initial) TO BE COMPLETED BY EMPLOYER OR HIRING DEPARTMENT: Employment Department_ Clemson University ________________________________ Employment Posn Title

  9. Confirmatory radiological survey of the BORAX-V turbine building Idaho National Engineering Laboratory, Idaho Falls, Idaho

    SciTech Connect (OSTI)

    Stevens, G.H.; Coleman, R.L.; Jensen, M.K.; Pierce, G.A. [Oak Ridge National Lab., TN (US); Egidi, P.V.; Mather, S.K. [Oak Ridge Inst. for Science and Education, Grand Junction, CO (United States)

    1993-07-01T23:59:59.000Z

    An independent assessment of the remediation of the BORAX-V (Boiling Water Reactor Experiment) turbine building at the Idaho National Engineering Laboratory (INEL), Idaho Falls, Idaho, was accomplished by the Oak Ridge National Laboratory Pollutant Assessments Group (ORNL/PAG). The purpose of the assessment was to confirm the site`s compliance with applicable Department of Energy guidelines. The assessment included reviews of both the decontamination and decommissioning Plan and data provided from the pre- and post-remedial action surveys and an independent verification survey of the facility. The independent verification survey included determination of background exposure rates and soil concentrations, beta-gamma and gamma radiation scans, smears for detection of removable contamination, and direct measurements for alpha and beta-gamma radiation activity on the basement and mezzanine floors and the building`s interior and exterior walls. Soil samples were taken, and beta-gamma and gamma radiation exposure rates were measured on areas adjacent to the building. Results of measurements on building surfaces at this facility were within established contamination guidelines except for elevated beta-gamma radiation levels located on three isolated areas of the basement floor. Following remediation of these areas, ORNL/PAG reviewed the remedial action contractor`s report and agreed that remediation was effective in removing the source of the elevated direct radiation. Results of all independent soil analyses for {sup 60}Co were below the detection limit. The highest {sup 137}Cs analysis result was 4.6 pCi/g; this value is below the INEL site-specific guideline of 10 pCi/g.

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

    SciTech Connect (OSTI)

    M.A. Buchholz

    2009-04-29T23:59:59.000Z

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

  11. Generation of RTL verification input stimulus

    E-Print Network [OSTI]

    Selvarathinam, Anand Manivannan

    2001-01-01T23:59:59.000Z

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

  12. Type A verification report for the high flux beam reactor stack and grounds, Brookhaven National Laboratory, Upton, New York

    SciTech Connect (OSTI)

    Harpenau, Evan M.

    2012-01-13T23:59:59.000Z

    The U.S. Department of Energy (DOE) Order 458.1 requires independent verification (IV) of DOE cleanup projects (DOE 2011). The Oak Ridge Institute for Science and Education (ORISE) has been designated as the responsible organization for IV of the High Flux Beam Reactor (HFBR) Stack and Grounds area at Brookhaven National Laboratory (BNL) in Upton, New York. The IV evaluation may consist of an in-process inspection with document and data reviews (Type A Verification) or a confirmatory survey of the site (Type B Verification). DOE and ORISE determined that a Type A verification of the documents and data for the HFBR Stack and Grounds: Survey Units (SU) 6, 7, and 8 was appropriate based on the initial survey unit classification, the walkover surveys, and the final analytical results provided by the Brookhaven Science Associates (BSA). The HFBR Stack and Grounds surveys began in June 2011 and were completed in September 2011. Survey activities by BSA included gamma walkover scans and sampling of the as-left soils in accordance with the BSA Work Procedure (BNL 2010a). The Field Sampling Plan - Stack and Remaining HFBR Outside Areas (FSP) stated that gamma walk-over surveys would be conducted with a bare sodium iodide (NaI) detector, and a collimated detector would be used to check areas with elevated count rates to locate the source of the high readings (BNL 2010b). BSA used the Mult- Agency Radiation Survey and Site Investigation Manual (MARSSIM) principles for determining the classifications of each survey unit. Therefore, SUs 6 and 7 were identified as Class 1 and SU 8 was deemed Class 2 (BNL 2010b). Gamma walkover surveys of SUs 6, 7, and 8 were completed using a 2?2 NaI detector coupled to a data-logger with a global positioning system (GPS). The 100% scan surveys conducted prior to the final status survey (FSS) sampling identified two general soil areas and two isolated soil locations with elevated radioactivity. The general areas of elevated activity identified were investigated further with a collimated NaI detector. The uncollimated average gamma count rate was less than 15,000 counts per minute (cpm) for the SU 6, 7, and 8 composite area (BNL 2011a). Elevated count rates were observed in portions of each survey unit. The general areas of elevated counts near the Building 801 ventilation and operations and the entry to the Stack were determined to be directly related to the radioactive processes in those structures. To compensate for this radioactive shine, a collimated or shielded detector was used to lower the background count rate (BNL 2011b and c). This allowed the surveyor(s) to distinguish between background and actual radioactive contamination. Collimated gamma survey count rates in these shine affected areas were below 9,000 cpm (BNL 2011a). The average background count rate of 7,500 cpm was reported by BSA for uncollimated NaI detectors (BNL 2011d). The average collimated background ranged from 4,500-6,500 cpm in the westernmost part of SU 8 and from 2,000-3,500 cpm in all other areas (BNL 2011e). Based on these data, no further investigations were necessary for these general areas. SU 8 was the only survey unit that exhibited verified elevated radioactivity levels. The first of two isolated locations of elevated radioactivity had an uncollimated direct measurement of 50,000 cpm with an area background of 7,500 cpm (BNL 2011f). The second small area exhibiting elevated radiation levels was identified at a depth of 6 inches from the surface. The maximum reported count rate of 28,000 cpm was observed during scanning (BNL 2011g). The affected areas were remediated, and the contaminated soils were placed in an intermodal container for disposal. BSA's post-remediation walkover surveys were expanded to include a 10-foot radius around the excavated locations, and it was determined that further investigation was not required for these areas (BNL 2011 f and g). The post-remediation soil samples were collected and analyzed with onsite gamma spectroscopy equipment. These samples were also included with the FSS s

  13. Technical challenges for dismantlement verification

    SciTech Connect (OSTI)

    Olinger, C.T.; Stanbro, W.D.; Johnston, R.G.; Nakhleh, C.W.; Dreicer, J.S.

    1997-11-01T23:59:59.000Z

    In preparation for future nuclear arms reduction treaties, including any potential successor treaties to START I and II, the authors have been examining possible methods for bilateral warhead dismantlement verification. Warhead dismantlement verification raises significant challenges in the political, legal, and technical arenas. This discussion will focus on the technical issues raised by warhead arms controls. Technical complications arise from several sources. These will be discussed under the headings of warhead authentication, chain-of-custody, dismantlement verification, non-nuclear component tracking, component monitoring, and irreversibility. The authors will discuss possible technical options to address these challenges as applied to a generic dismantlement and disposition process, in the process identifying limitations and vulnerabilities. They expect that these considerations will play a large role in any future arms reduction effort and, therefore, should be addressed in a timely fashion.

  14. Verification = Specification + Deduction + Computation + Abstraction Logical foundations

    E-Print Network [OSTI]

    Jouannaud, Jean-Pierre

    of powerful, secure, interactive tools #12;Verification Given a system to be analyzed, 1. elaborate a model, interactive tools #12;Verification Given a system to be analyzed, 1. elaborate a model of the system. 2. Test;Verification Given a system to be analyzed, 1. elaborate a model of the system. 2. Test some liveness property

  15. Electrical energy strategies; The survey

    SciTech Connect (OSTI)

    Golden, P. (Dranetz Technologies, Inc., Edison, NJ (US))

    1991-01-01T23:59:59.000Z

    This paper reports that, implementing an effective electrical energy reduction strategy requires a survey of the facility under consideration. The survey's main goals should be to identify where, when and how electricity is being used and to put into action methods to reduce and control costs. A number of important task can also result from this survey, such as the following: verification of building electrical drawing: electrical maintenance techniques; and analyses of electric utility rate schedules. The availability of up-to-date electrical drawing for a building may be nonexistent. The necessity to review and make corrections to these drawings will become evident in considering survey confident that all areas are properly surveyed and that the highest level of safety is maintained.

  16. Verification Monitoring Report

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA groupTuba City, Arizona,Site Operations Guide Doc.5 R A DUnied StatesSURVEY OFand

  17. Independent Oversight Program

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

    2011-08-30T23:59:59.000Z

    The order prescribes the requirements and responsibilities for the DOE Independent Oversight Program. Cancels DOE O 470.2B.

  18. Functional Verification through Operation Diagnostics

    E-Print Network [OSTI]

    Burgoyne, B.

    ICEBO'11 Abstract Burgoyne 110328.docx Page 1 of 1 ? Ebert & Baumann Consulting Engineers, Inc. A B S T R A C T ICEBO 2011 New York City March 28, 2011 Functional Verification through Operation Diagnostics One of the core objectives... of actual operation produces the most accurate results. This is accomplished through trend logging. With analysis of regularly recorded control point data through visualization (including graphs, charts, etc.), a quick and accurate diagnosis of incorrect...

  19. Nuclear Data Verification and Standardization

    SciTech Connect (OSTI)

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

    2011-10-01T23:59:59.000Z

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

  20. Modeling and Verification of a Distributed Transmission Protocol Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    -parallel poset verification is a powerful methodology for proving the design correctness of complex systemsModeling and Verification of a Distributed Transmission Protocol Lubomir Ivanov Department verification methodologies has evolved in two directions: powerful, general techniques capable of accurately

  1. Employment Verifications Requests for verification of title and dates of employment for Harvard staff are

    E-Print Network [OSTI]

    Paulsson, Johan

    Employment Verifications Requests for verification of title and dates of employment for Harvard information during the verification process. Need Proof of Employment? Give the person needing proof of your employment the following information: Your Social Security Number Harvard University Employer Code: 14392

  2. DOE Zero Energy Ready Home Verification...

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

    Zero Energy Ready Home Verification Summary DRAFT REMRate - Residential Energy Analysis and Rating Software v14.5.1 This information does not constitute any warranty of energy...

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

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

    smart meters, devices, and analytics to enable the delivery of streamlined measurement and verification (M&V) that reduces cost while increasing the speed and accuracy of...

  4. Reviewing Measurement and Verification Plans for Federal ESPC...

    Office of Environmental Management (EM)

    Measurement and Verification Plans for Federal ESPC Projects Reviewing Measurement and Verification Plans for Federal ESPC Projects Document provides a framework for implementing...

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

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

    More Documents & Publications Introduction to Measurement & Verification for DOE Super ESPC Projects Introduction to Measurement and Verification for DOE Super ESPC Projects DRAFT...

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

    Energy Savers [EERE]

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

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

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

    M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 3.0) Draft M&V Guidelines: Measurement and Verification for Federal Energy Projects...

  8. CARB Verification of Catalyzed Diesel Particulate Filters for...

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

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

  9. Measurement and Verification Plan and Savings Calculations Methods...

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

    Measurement and Verification Plan and Savings Calculations Methods Outline (IDIQ Attachment J-8) Measurement and Verification Plan and Savings Calculations Methods Outline (IDIQ...

  10. ADDRESSING PROCESS PLANNING AND VERIFICATION ISSUES WITH MTCONNECT

    E-Print Network [OSTI]

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

    2009-01-01T23:59:59.000Z

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

  11. Oak Ridge Associated VERIFICATION SURVEY Universities OF THE

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling7 AugustAFRICAN .METALS~ c3

  12. VERIFICATION SURVEY OF THE BAKER AND WILLIAMS WAREHOUSES

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V4100 DOE/EA-1452D Etnv~ronmenrar~ *-,-'

  13. Incentives for Energy Independence

    Broader source: Energy.gov [DOE]

    In August 2007 Kentucky established the ''Incentives for Energy Independence Act'' to promote the development of renewable energy and alternative fuel facilities, energy efficient buildings,...

  14. Formal Specification and Verification of Concurrent

    E-Print Network [OSTI]

    Berry, Daniel M.

    Formal Specification and Verification of Concurrent ProgramsCurriculum Module SEI-CM-27-1.0 #12;Formal Specification and Verification of Concurrent Programs SEI Curriculum Module SEI-CM-27-1.0 February 1993 Daniel M. Berry Technion and Software Engineering Institute Software Engineering Institute

  15. The monitoring and verification of nuclear weapons

    SciTech Connect (OSTI)

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

    2014-05-09T23:59:59.000Z

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

  16. Department of Computer Science AUTOMATIC VERIFICATION OF

    E-Print Network [OSTI]

    Oxford, University of

    Department of Computer Science AUTOMATIC VERIFICATION OF COMPETITIVE STOCHASTIC SYSTEMS Taolue Chen Automatic verification techniques for probabilistic systems have been success- fully applied in a variety systems also exhibit non- deterministic behaviour, e.g. due to concurrency, underspecification or control

  17. Verification after Synthesis Alan Mishchenko Robert Brayton

    E-Print Network [OSTI]

    Brayton, Robert K.

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

  18. A Verification Platform System on Chip

    E-Print Network [OSTI]

    Melham, Tom

    A Verification Platform for System on Chip Kong Woei Susanto A Dissertation submitted a platform based design method, called a system integration platform. In this design methodology, a system specifications. Subsequently, a similar platform can be constructed for formal verification. Every component

  19. Technical Documentation and Verification for the

    E-Print Network [OSTI]

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

  20. Term-Level Verification of a Pipelined CISC Microprocessor

    E-Print Network [OSTI]

    Term-Level Verification of a Pipelined CISC Microprocessor Randal E. Bryant December, 2005 CMU verification, Microprocessor verification, UCLID #12;Abstract By abstracting the details of the data representations and operations in a microprocessor, term-level verification can formally prove that a pipelined

  1. TermLevel Verification of a Pipelined CISC Microprocessor

    E-Print Network [OSTI]

    Term­Level Verification of a Pipelined CISC Microprocessor Randal E. Bryant December, 2005 CMU verification, Microprocessor verification, UCLID #12; Abstract By abstracting the details of the data representations and operations in a microprocessor, term­level verification can formally prove that a pipelined

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

    E-Print Network [OSTI]

    Beyer, Dirk

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

  3. The KivApproach to Software Verification ? Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

    systems, a powerful proof component, and an evolutionary verification model supporting incremen­ tal error approach to the design and verification of large sequential systems. It is based on structured alge­ braic correction and verification. We present the design methodology for modular systems, a feasible verification

  4. Example Measurement & Verification Plan for a Super ESPC Project

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

    REPORTING FOR VERIFICATION ACTIVITIES ... 5 2.4 OPERATIONS, PREVENTIVE MAINTENANCE, REPAIR, AND REPLACEMENT REPORTING REQUIREMENTS...

  5. verification

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA Approved:AdministrationAnalysisDarby/%2A en NGSI Safeguards by Design

  6. A Runtime Verification Framework for Control System Simulation

    SciTech Connect (OSTI)

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

    2014-08-02T23:59:59.000Z

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

  7. An evaluation of the management system verification pilot at Hanford

    SciTech Connect (OSTI)

    BRIGGS, C.R.

    1998-11-12T23:59:59.000Z

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

  8. TRU waste certification and TRUPACT-2 payload verification

    SciTech Connect (OSTI)

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

    1990-01-01T23:59:59.000Z

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

  9. The Mechanized Verification of Garbage Collector Implementations

    E-Print Network [OSTI]

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

  10. Runtime verification of object lifetime specifications

    E-Print Network [OSTI]

    Benjamin, Zev (Zev A.)

    2009-01-01T23:59:59.000Z

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

  11. Shell Element Verification & Regression Problems for DYNA3D

    SciTech Connect (OSTI)

    Zywicz, E

    2008-02-01T23:59:59.000Z

    A series of quasi-static regression/verification problems were developed for the triangular and quadrilateral shell element formulations contained in Lawrence Livermore National Laboratory's explicit finite element program DYNA3D. Each regression problem imposes both displacement- and force-type boundary conditions to probe the five independent nodal degrees of freedom employed in the targeted formulation. When applicable, the finite element results are compared with small-strain linear-elastic closed-form reference solutions to verify select aspects of the formulations implementation. Although all problems in the suite depict the same geometry, material behavior, and loading conditions, each problem represents a unique combination of shell formulation, stabilization method, and integration rule. Collectively, the thirty-six new regression problems in the test suite cover nine different shell formulations, three hourglass stabilization methods, and three families of through-thickness integration rules.

  12. The Dark Energy Survey

    E-Print Network [OSTI]

    The Dark Energy Survey Collaboration

    2005-10-12T23:59:59.000Z

    We describe the Dark Energy Survey (DES), a proposed optical-near infrared survey of 5000 sq. deg of the South Galactic Cap to ~24th magnitude in SDSS griz, that would use a new 3 sq. deg CCD camera to be mounted on the Blanco 4-m telescope at Cerro Telolo Inter-American Observatory (CTIO). The survey data will allow us to measure the dark energy and dark matter densities and the dark energy equation of state through four independent methods: galaxy clusters, weak gravitational lensing tomography, galaxy angular clustering, and supernova distances. These methods are doubly complementary: they constrain different combinations of cosmological model parameters and are subject to different systematic errors. By deriving the four sets of measurements from the same data set with a common analysis framework, we will obtain important cross checks of the systematic errors and thereby make a substantial and robust advance in the precision of dark energy measurements.

  13. Monitoring and verification R&D

    SciTech Connect (OSTI)

    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

    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.

  14. Approach to IAEA verification of the nuclear-material balance at the Portsmouth Gas Centrifuge Enrichment Plant (GCEP)

    SciTech Connect (OSTI)

    Gordon, D.M.; Sanborn, J.B.; Younkin, J.M.; DeVito, V.J.

    1982-01-01T23:59:59.000Z

    This paper describes a potential approach by which the International Atomic Energy Agency (IAEA) might verify the nuclear-material balance at the Portsmouth Gas Centrifuge Enrichment Plant (GCEP), should that plant be placed under IAEA safeguards. The strategy makes use of the attributes and variables measurement verification approach, whereby the IAEA would perform independent measurements on a randomly selected subset of the items comprising the U-235 flows and inventories at the plant. In addition, the MUF-D statistic is used as the test statistics for the detection of diversion. The paper includes descriptions of the potential verification activities, as well as calculations of (a) attributes and variables sample sizes for the various strata, (b) standard deviations of the relevant test statistics, and (c) the sensitivity for detection of diversion which the IAEA might achieve by this verification strategy at GCEP.

  15. Establishing an optimized patient-specific verification program for volumetric modulated arc therapy

    SciTech Connect (OSTI)

    Serna, Alfredo, E-mail: alfredo.serna@carm.es [Department of Medical Physics, Hospital Universitario Santa Lucía, Cartagena (Spain); Mata, Fernando; Puchades, Vicente [Department of Medical Physics, Hospital Universitario Santa Lucía, Cartagena (Spain)

    2013-10-01T23:59:59.000Z

    Quality assurance (QA) of volumetric modulated arc therapy (VMAT) increases the workload significantly. We compared the results from 4 verification methods to establish an efficient VMAT QA. Planning for VMAT treatments was carried out for 40 consecutive patients. Pretreatment verifications were carried out with ion chamber array Physikalish-Technische Werkstätten (PTW729), electronic portal dosimetry (EPID), ion chamber measurements, and independent dose calculation with Diamond program. 2D analyses were made using the gamma analysis (3 mm distance to agreement and 3% dose difference relative to maximum, 10% dose threshold). Average point dose difference calculated by Eclipse relative to ion chamber measurements and Diamond were 0.1%±0.9% and 0.6%±2.2%, respectively. Average pass rate for PTW729 was 99.2%±1.9% and 98.3%±1.3% for EPID. The total required time (linac occupancy time given in parentheses) for each QA method was: PTW729 43.5 minutes (26.5 minutes), EPID 14.5 minutes (2.5 minutes), ion chamber 34.5 minutes (26.5 minutes), and Diamond 12.0 minutes (0 minute). The results were consistent and allowed us to establish an optimized protocol, considering safety and accuracy as well as workload, consisting of 2 verification methods: EPID 2D analysis and independent dose calculation.

  16. MACCS2 development and verification efforts

    SciTech Connect (OSTI)

    Young, M.; Chanin, D.

    1997-03-01T23:59:59.000Z

    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.

  17. MODELING, VERIFICATION AND OPTIMIZATION OF HYBRID GROUND SOURCE HEAT PUMP

    E-Print Network [OSTI]

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

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

    Office of Environmental Management (EM)

    M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 3.0) M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 3.0)...

  19. ECE/CS 584: Fall 2012 Embedded System Verification

    E-Print Network [OSTI]

    Liberzon, Daniel

    powerful software tools (model checkers, SMT solvers, & theorem provers) for designing & analyzing systems · Real-time and hybrid system models, stability verification: Multiple Lyapunov functions, slow switchingECE/CS 584: Fall 2012 Embedded System Verification URL: http

  20. Verification of full functional correctness for imperative linked data structures

    E-Print Network [OSTI]

    Zee, Karen K

    2010-01-01T23:59:59.000Z

    We present the verification of full functional correctness for a collection of imperative linked data structures implemented in Java. A key technique that makes this verification possible is a novel, integrated proof ...

  1. Measurement and Verification for Commissioning Projects: Challenges and Opportunities

    E-Print Network [OSTI]

    Heinemeier, K.

    2005-01-01T23:59:59.000Z

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

  2. Draft M&V Guidelines: Measurement and Verification for Federal...

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

    Draft M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version 4.0) Draft M&V Guidelines: Measurement and Verification for Federal Energy Projects (Version...

  3. Shared Signals: Using Existing Facility Meters for Energy Savings Verification

    E-Print Network [OSTI]

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

    of metering. Facility engineers wonder whether existing meters can be used for savings verification purposes. They want to know whether an existing energy management and control system (EMCS) can serve double duty and be used for savings verification... an existing EMCS for energy savings verification purposes is even more complex. While at first glance the idea of using an existing EMCS for energy savings verification purposes seems absolutely reasonable, the practicality of the situation must...

  4. Plug-and-Play Architectural Design and Verification

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

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

  5. Active alignment/contact verification system

    DOE Patents [OSTI]

    Greenbaum, William M. (Modesto, CA)

    2000-01-01T23:59:59.000Z

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

  6. 2012 Independent Communication and Outreach Stakeholder Satisfaction Survey

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov. Are you0 ARRA Newsletters 2010 ARRA Newsletters American2012 Congressional Nuclear|

  7. Software Verification and Testing Lecture Notes: Testing I

    E-Print Network [OSTI]

    Struth, Georg

    of Testing Methods dynamic testing: software component is executed with concrete input values (in a realSoftware Verification and Testing Lecture Notes: Testing I #12;Motivation verification: · powerful · automated techniques rather limited testing: (as "poor man's verification") · can only detect presence

  8. Competition on Software Verification University of Passau, Germany

    E-Print Network [OSTI]

    Beyer, Dirk

    and Analysis of Systems (TACAS). 1 Introduction The area of verification, in particular model checking, has). Several new and powerful software-verification tools became available, but they have not been comparedCompetition on Software Verification (SV-COMP) Dirk Beyer University of Passau, Germany Abstract

  9. Applied Verification: The Ptolemy Approach Chihhong Patrick Cheng

    E-Print Network [OSTI]

    stronger claims regarding the correctness of the system. Theoretically, modeling and verification should face when doing formal verifi- cation. Existing theories and practices in verification are powerful, but when applying formal techniques, the use of detailed mathematical model descriptions in verification

  10. MODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    of complex hardware and software systems. Several powerful verification methods, such as Symbolic ModelMODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov Department of Computer Science, Iona interleavings of events in a system. In [8] we introduced a new partial order verification method, referred

  11. Independent Statistics & Analysis

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122 40Coal Stocks at1,066,688ElectricityLessApril 2015 Independent Statistics &

  12. Measurement and Verification (M&V)

    E-Print Network [OSTI]

    Masuda, H

    2014-01-01T23:59:59.000Z

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

  13. The new geospatial tools: global transparency enhancing safeguards verification

    SciTech Connect (OSTI)

    Pabian, Frank Vincent [Los Alamos National Laboratory

    2010-09-16T23:59:59.000Z

    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.

  14. OPS 9.10 Independent Verification 8/24/98 | Department of Energy

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked QuestionsDepartment ofDepartment640Order No.(NationalMisc CasesChapter31|0

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

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn't Your Destiny:Revised Finding of No Significant Impact610-94 December8-964-93 March 19936-93 June

  16. "What's New with Independent Verification at Department of Energy Sites" |

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China 2015ofDepartment ofCBFO-13-3322 2013 ANNUAL MITIGATIONAvailable |1 of

  17. "What's New with Independent Verification at Department of Energy Sites" |

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn't Your Destiny: The Future of Bad CholesteroliManage Presentation3|Regulatory5,000

  18. EXPERIMENTAL VERIFICATION OF DYNAMIC OPERATION OF

    E-Print Network [OSTI]

    Skogestad, Sigurd

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

  19. SAVCBS 2003 Specification and Verification of

    E-Print Network [OSTI]

    Leavens, Gary T.

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

  20. SOCIAL SECURITY NUMBER AND NAME VERIFICATION

    E-Print Network [OSTI]

    Amin, S. Massoud

    SOCIAL SECURITY NUMBER AND NAME VERIFICATION Academic Year 2014­2015 *FA552-A* Please recycle. DIRECTIONS--You must verify your name and Social Security number for processing of your 2014­2015 Free Application for Federal Student Aid (FAFSA) to continue. Please attach a legible copy of your Social Security

  1. SOCIAL SECURITY NUMBER AND NAME VERIFICATION

    E-Print Network [OSTI]

    Amin, S. Massoud

    SOCIAL SECURITY NUMBER AND NAME VERIFICATION Academic Year 2013­2014 *FA552-A* Please recycle. DIRECTIONS--You must verify your name and Social Security number for processing of your 2013­2014 Free Application for Federal Student Aid (FAFSA) to continue. Please attach a legible copy of your Social Security

  2. Machine Learning for Signature Verification Harish Srinivasan

    E-Print Network [OSTI]

    types of learning to be accomplished. In the first, the training set consists of genuines and forgeriesMachine Learning for Signature Verification Harish Srinivasan , Sargur N. Srihari and Matthew J it can be viewed as one that involves machine learning from a population of signatures. There are two

  3. Formal Verification of Hybrid Systems Rajeev Alur

    E-Print Network [OSTI]

    Alur, Rajeev

    -1-4503-0714-7/11/10 ...$5.00. mathematical model for design of embedded control systems is hybrid systems that combines for dynamical systems. Such models can capture both the controller -- the system under design, and the plant@cis.upenn.edu ABSTRACT In formal verification, a designer first constructs a model, with mathematically precise semantics

  4. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

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

    2014-09-01T23:59:59.000Z

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

  5. Data Summary Report for the Semiannual Tritium Survey for Fourmile Branch and the F- and H-Area Seeplines

    SciTech Connect (OSTI)

    Koch, J. II [Westinghouse Savannah River Company, AIKEN, SC (United States) Exploration Resources

    1996-12-16T23:59:59.000Z

    This report presents a summary of the definitive data validation and verification for the Semiannual Tritium Survey for Fourmile Branch and the F- and H-Area Seeplines. The survey was performed at the request of the WSRC ERD and conducted by WSRC/ESS. This report was prepared under the direction of EPD/EMS.

  6. Sky Surveys

    E-Print Network [OSTI]

    Djorgovski, S G; Drake, A J; Graham, M J; Donalek, C

    2012-01-01T23:59:59.000Z

    Sky surveys represent a fundamental data basis for astronomy. We use them to map in a systematic way the universe and its constituents, and to discover new types of objects or phenomena. We review the subject, with an emphasis on the wide-field imaging surveys, placing them in a broader scientific and historical context. Surveys are the largest data generators in astronomy, propelled by the advances in information and computation technology, and have transformed the ways in which astronomy is done. We describe the variety and the general properties of surveys, the ways in which they may be quantified and compared, and offer some figures of merit that can be used to compare their scientific discovery potential. Surveys enable a very wide range of science; that is perhaps their key unifying characteristic. As new domains of the observable parameter space open up thanks to the advances in technology, surveys are often the initial step in their exploration. Science can be done with the survey data alone or a comb...

  7. Conceptual design. Final report: TFE Verification Program

    SciTech Connect (OSTI)

    Not Available

    1994-03-01T23:59:59.000Z

    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.

  8. GRIMHX verification and validation action matrix summary

    SciTech Connect (OSTI)

    Trumble, E.F.

    1991-12-01T23:59:59.000Z

    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.

  9. NGSI: IAEA Verification of UF6 Cylinders

    SciTech Connect (OSTI)

    Curtis, Michael M.

    2012-06-05T23:59:59.000Z

    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.

  10. Finite Model Finding for Parameterized Verification

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2010-01-01T23:59:59.000Z

    In this paper we investigate to which extent a very simple and natural "reachability as deducibility" approach, originated in the research in formal methods in security, is applicable to the automated verification of large classes of infinite state and parameterized systems. The approach is based on modeling the reachability between (parameterized) states as deducibility between suitable encodings of states by formulas of first-order predicate logic. The verification of a safety property is reduced to a pure logical problem of finding a countermodel for a first-order formula. The later task is delegated then to the generic automated finite model building procedures. In this paper we first establish the relative completeness of the finite countermodel finding method (FCM) for a class of parameterized linear arrays of finite automata. The method is shown to be at least as powerful as known methods based on monotonic abstraction and symbolic backward reachability. Further, we extend the relative completeness of ...

  11. Army Energy Security and Independence

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

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

  12. Logic verification using recursive learning, ATPG and transformations

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01T23:59:59.000Z

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

  13. SAT-based Verification for Analog and Mixed-signal Circuits

    E-Print Network [OSTI]

    Deng, Yue

    2012-07-16T23:59:59.000Z

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

  14. Cold fusion verification. Final report for period ending 1989

    SciTech Connect (OSTI)

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

    1991-03-01T23:59:59.000Z

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

  15. Verification of gyrokinetic microstability codes ?with an LHD configuration

    SciTech Connect (OSTI)

    Mikkelsen, D. R. [Princeton Plasma Physics Lab. (PPPL), Princeton, NJ (United States); Nunami, M. [National Inst. for Fusion Science (Japan); Watanabe, T. -H. [Nagoya Univ. (Japan); Sugama, H. [National Inst. for Fusion Science (Japan); Tanaka, K. [National Inst. for Fusion Science (Japan)

    2014-11-01T23:59:59.000Z

    We extend previous benchmarks of the GS2 and GKV-X codes to verify their algorithms for solving the gyrokinetic Vlasov-Poisson equations for plasma microturbulence. Code benchmarks are the most complete way of verifying the correctness of implementations for the solution of mathematical models for complex physical processes such as those studied here. The linear stability calculations reported here are based on the plasma conditions of an ion-ITB plasma in the LHD configuration. The plasma parameters and the magnetic geometry differ from previous benchmarks involving these codes. We find excellent agreement between the independently written pre-processors that calculate the geometrical coefficients used in the gyrokinetic equations. Grid convergence tests are used to establish the resolution and domain size needed to obtain converged linear stability results. The agreement of the frequencies, growth rates and eigenfunctions in the benchmarks reported here provides additional verification that the algorithms used by the GS2 and GKV-X codes are correctly finding the linear eigenvalues and eigenfunctions of the gyrokinetic Vlasov-Poisson equations.

  16. A golden anniversary for space-based treaty verification

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

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

  17. Introduction to Measurement and Verification for DOE Super ESPC...

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

    and verification is conducted in super energy savings performance contracts (ESPC) projects. Topics include allocating project risk, steps to verify savings, and M&V...

  18. Measurement and Verification for Federal Energy Savings Performance Contracts

    Broader source: Energy.gov [DOE]

    Measurement and verification (M&V) activities help agencies confirm that legally and contractually required savings guarantees are met in federal energy savings performance contracts (ESPCs).

  19. Example Measurement & Verification Plan for a Super ESPC Project

    Broader source: Energy.gov [DOE]

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

  20. ESPC Measurement and Verification (M&V) Planning Tool

    Broader source: Energy.gov [DOE]

    Document provides instructions for Federal agencies on how to use a measurement and verification (M&V) planning tool for energy savings performance contracts (ESPCs).

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

    E-Print Network [OSTI]

    Christian Jansson

    2005-06-17T23:59:59.000Z

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

  2. assertions based verification: Topics by E-print Network

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

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

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

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

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

  4. attribute verification system: Topics by E-print Network

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

    our results are well founded. Index TermsBiometric verification systems, statistical pattern recognition, Bayes error rate, rejection error rate, hand geometry, human face....

  5. addressing verification challenges: Topics by E-print Network

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

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

  6. automated verification process: Topics by E-print Network

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

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

  7. Measurement and Verification, Best Practices in Design and Implementation

    E-Print Network [OSTI]

    Martin, T.; Khatami, H.

    2013-01-01T23:59:59.000Z

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

  8. NEMVP: North American energy measurement and verification protocol

    SciTech Connect (OSTI)

    NONE

    1996-03-01T23:59:59.000Z

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

  9. Mechanical Verification of Hypercube Algorithms Eric Gascard, Laurence Pierre

    E-Print Network [OSTI]

    Pierre, Laurence

    Mechanical Verification of Hypercube Algorithms Eric Gascard, Laurence Pierre LIM ­ CMI in the development of parallel programs, rather few results have been reported re­ garding solutions for formally

  10. Distributed Hydrogen Production from Natural Gas: Independent...

    Energy Savers [EERE]

    Distributed Hydrogen Production from Natural Gas: Independent Review Panel Report Distributed Hydrogen Production from Natural Gas: Independent Review Panel Report Independent...

  11. Technical safety requirements control level verification

    SciTech Connect (OSTI)

    STEWART, J.L.

    1999-05-21T23:59:59.000Z

    A Technical Safety Requirement (TSR) control level verification process was developed for the Tank Waste Remediation System (TWRS) TSRs at the Hanford Site in Richland, WA, at the direction of the US. Department of Energy, Richland Operations Office (RL). The objective of the effort was to develop a process to ensure that the TWRS TSR controls are designated and managed at the appropriate levels as Safety Limits (SLs), Limiting Control Settings (LCSs), Limiting Conditions for Operation (LCOs), Administrative Controls (ACs), or Design Features. The TSR control level verification process was developed and implemented by a team of contractor personnel with the participation of Fluor Daniel Hanford, Inc. (FDH), the Project Hanford Management Contract (PHMC) integrating contractor, and RL representatives. The team was composed of individuals with the following experience base: nuclear safety analysis; licensing; nuclear industry and DOE-complex TSR preparation/review experience; tank farm operations; FDH policy and compliance; and RL-TWRS oversight. Each TSR control level designation was completed utilizing TSR control logic diagrams and TSR criteria checklists based on DOE Orders, Standards, Contractor TSR policy, and other guidance. The control logic diagrams and criteria checklists were reviewed and modified by team members during team meetings. The TSR control level verification process was used to systematically evaluate 12 LCOs, 22 AC programs, and approximately 100 program key elements identified in the TWRS TSR document. The verification of each TSR control required a team consensus. Based on the results of the process, refinements were identified and the TWRS TSRs were modified as appropriate. A final report documenting key assumptions and the control level designation for each TSR control was prepared and is maintained on file for future reference. The results of the process were used as a reference in the RL review of the final TWRS TSRs and control suite. RL concluded that the TSR control level verification process is clear and logically based upon DOE Order 5480.22, Technical Safety Requirements, and other TSR control selection guidelines. The process provides a documented, traceable basis for TSR level decisions and is a valid reference for preparation of new TSRs.

  12. Information handbook on independent spent fuel storage installations

    SciTech Connect (OSTI)

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

    1996-12-01T23:59:59.000Z

    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.

  13. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    IEAB Independent Economic Analysis Board Kenneth L. Casavant, Chair Roger Mann, Vice-Chair Joel R of Independent Economic Analysis Board's Activities and Contributions to NPPC Fish and Wildlife Planning document of achieving the same sound biological objective exist, the alternative with the minimum economic cost

  14. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    IEAB Independent Economic Analysis Board Daniel D. Huppert, Chair Lon L. Peters, Vice-Chair Joel R. Hamilton Kenneth L. Casavant Jack A. Richards Roger Mann Paul C. Sorensen Hans Radtke Economic Review of Instream Water Supply Components of the Salmon Creek Project Independent Economic Analysis Board Northwest

  15. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    IEAB Independent Economic Analysis Board Roger Mann, Chair Noelwah R. Netusil, Vice-Chair Kenneth L. Casavant Daniel D. Huppert Joel R. Hamilton Lon L. Peters Susan S. Hanna Hans Radtke A I - 1 Economic Effects From Columbia River Basin Anadromous Salmonid Fish Production Independent Economic Analysis Board

  16. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    IEAB Independent Economic Analysis Board Hans Radtke, Chair Roger Mann, Vice-Chair Daniel D. Huppert Joel R. Hamilton Susan S. Hanna John Duffield Noelwah R. Netusil Independent Economic Analysis Board Task Number 139 Integrated Hatchery Operations: Fish and Wildlife Program Costs and Other Economic

  17. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    IEAB Independent Economic Analysis Board Daniel D. Huppert, Chair Lon L. Peters, Vice-Chair Joel R and Guidance for Economic Analysis in Subbasin Planning Independent Economic Analysis Board January 2003, document IEAB 2003-2 Summary Subbasin planning may need to consider two types of economic issues; 1

  18. ASYMPTOTIC INDEPENDENCE AND ADDITIVE FUNCTIONALS

    E-Print Network [OSTI]

    Csáki, Endre

    . Then on an appropriate probability space one can construct two independent c* *opies i (1) (1)j1 i (2) (2)j1 construct two independent c* *opies i (1) (1)j1 i (2) (2)j1 Xi ; oi i=1and Xi ; oi

  19. Check Estimates and Independent Costs

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

    1997-03-28T23:59:59.000Z

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

  20. Measurement and Verification Options for Federal Energy- and Water-Saving Projects

    Broader source: Energy.gov [DOE]

    Federal Energy Management Program (FEMP) measurement and verification (M&V) guidelines and International Performance Measurement and Verification Protocol M&V methodologies are broken into four options.

  1. Independent Activity Report, Hanford Plutonium Finishing Plant...

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

    National Laboratory - January 2014 Independent Activity Report, Richland Operations Office - April 2013 Independent Activity Report, Paducah Gaseous Diffusion Plant - July...

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

    E-Print Network [OSTI]

    Bochanski, John J.

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

  3. Sequence independent amplification of DNA

    DOE Patents [OSTI]

    Bohlander, Stefan K. (Chicago, IL)

    1998-01-01T23:59:59.000Z

    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.

  4. Optimal combination of data verification and materials accountancy

    SciTech Connect (OSTI)

    Beedgen, R.; Hafer, J.F.

    1982-01-01T23:59:59.000Z

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

  5. Evaluating Verification and Validation Methods in Knowledge Engineering

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    Evaluating Verification and Validation Methods in Knowledge Engineering Alun Preece University: Verification and validation (V&V) techniques have always been an essential part of the knowledge engineering effective V&V techniques. 1. The Art of Knowledge Engineering Knowledge-based systems (KBS) have proven

  6. Comparison-based File Server Verification Yuen-Lin Tan

    E-Print Network [OSTI]

    Comparison-based File Server Verification Yuen-Lin Tan£ , Terrence Wong, John D. Strunk, Gregory R. Ganger Carnegie Mellon University Abstract Comparison-based server verification involves testing a server by comparing its responses to those of a refer- ence server. An intermediary, called a "server Tee," in

  7. First Eye Movement Verification and Identification Competition at BTAS 2012

    E-Print Network [OSTI]

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

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

  8. Verification of Probabilistic Real-time Systems Marta Kwiatkowska1

    E-Print Network [OSTI]

    Oxford, University of

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

  9. Modular Verification of Timed Circuits Using Automatic Abstraction

    E-Print Network [OSTI]

    Zheng, Hao

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

  10. Formal Verification of Infinite State Systems Using Boolean Methods #

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant School automated formal verification tools are based on a bit­level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  11. Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska

    E-Print Network [OSTI]

    Oxford, University of

    verification is an analogous technique for establishing quantitative properties of a system modelQuantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University of the state-transition graph of the model and is therefore more powerful than test- ing. Quantitative

  12. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

    to formal verification is based on the theory of - automata [5]. Given a model of the system in terms industry and have led to the development of powerful verification tools. However, the popularity facts about a mathematical model of the system under consideration. The proofs are general enough

  13. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant School automated formal verification tools are based on a bit-level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  14. Specification and Formal Verification of Interconnect Bus Protocols Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    and functionality of devices has brought about the need for more powerful modeling and verification tools. Classical is using first generation formal verification tools based on Symbolic Model Checking [1] and -Automata of using partial orders in modeling and verifying system behavior is in avoiding the need to study all

  15. VIS Analyzer: A Visual Assistant for VIS Verification and Analysis

    E-Print Network [OSTI]

    Institute of Nuclear Safety), often mandate that developers or SQA (Software Quality Assurance) teams apply in demonstrating the quality of safety-critical [1] systems such as nuclear power plants. We have used the VIS necessary to understand the full verification scenario accurately. Many nuclear engineers and verification

  16. Lawson Job Description Acknowledgment Verification Instructions Log In to Lawson

    E-Print Network [OSTI]

    Gleeson, Joseph G.

    Lawson Job Description Acknowledgment Verification Instructions · Log In to Lawson o Lawson Web Lawson e-mail your password to you. Updated 3/15/10 Page 1 of 3 #12;Lawson Job Description Acknowledgment Verification Instructions Click "Employee's Sign-off of their Job Description" · Click "Employee's Sign

  17. Power Grid Voltage Integrity Verification Department of ECE

    E-Print Network [OSTI]

    Najm, Farid N.

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

  18. Core analysis workstation development and verification

    SciTech Connect (OSTI)

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

    1987-01-01T23:59:59.000Z

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

  19. Headquarters Employment Verification | Department of Energy

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov.Energy02.pdf7 OPAM Flash2011-37 OPAMResourceEmployment Verification Headquarters

  20. DESIGN INFORMATION VERIFICATION FOR NUCLEAR SAFEGUARDS

    SciTech Connect (OSTI)

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

    2009-07-01T23:59:59.000Z

    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.

  1. Monitoring/Verification Using DMS: TATP Example

    SciTech Connect (OSTI)

    Kevin Kyle; Stephan Weeks

    2008-03-01T23:59:59.000Z

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

  2. Monitoring/Verification using DMS: TATP Example

    SciTech Connect (OSTI)

    Stephan Weeks, Kevin Kyle, Manuel Manard

    2008-05-30T23:59:59.000Z

    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.

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

  6. Verification of the Equilibrium and MHD Stability Codes within the Integrated Tokamak Modeling Task Force

    E-Print Network [OSTI]

    Verification of the Equilibrium and MHD Stability Codes within the Integrated Tokamak Modeling Task Force

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

    Broader source: Energy.gov [DOE]

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

  8. Compositional Reactive Semantics of SystemC and Verification with RuleBase

    E-Print Network [OSTI]

    Gupta, Rajesh

    C. Keywords: SystemC, semantics, verification, model checking 1 Introduction System-level modeling using for verification of SystemC com- ponents, providing a powerful workbench for testing and verification. 2 OverviewCompositional Reactive Semantics of SystemC and Verification with RuleBase Rudrapatna K

  9. Image Hashes as Templates for Verification

    SciTech Connect (OSTI)

    Janik, Tadeusz; Jarman, Kenneth D.; Robinson, Sean M.; Seifert, Allen; McDonald, Benjamin S.; White, Timothy A.

    2012-07-17T23:59:59.000Z

    Imaging systems can provide measurements that confidently assess characteristics of nuclear weapons and dismantled weapon components, and such assessment will be needed in future verification for arms control. Yet imaging is often viewed as too intrusive, raising concern about the ability to protect sensitive information. In particular, the prospect of using image-based templates for verifying the presence or absence of a warhead, or of the declared configuration of fissile material in storage, may be rejected out-of-hand as being too vulnerable to violation of information barrier (IB) principles. Development of a rigorous approach for generating and comparing reduced-information templates from images, and assessing the security, sensitivity, and robustness of verification using such templates, are needed to address these concerns. We discuss our efforts to develop such a rigorous approach based on a combination of image-feature extraction and encryption-utilizing hash functions to confirm proffered declarations, providing strong classified data security while maintaining high confidence for verification. The proposed work is focused on developing secure, robust, tamper-sensitive and automatic techniques that may enable the comparison of non-sensitive hashed image data outside an IB. It is rooted in research on so-called perceptual hash functions for image comparison, at the interface of signal/image processing, pattern recognition, cryptography, and information theory. Such perceptual or robust image hashing—which, strictly speaking, is not truly cryptographic hashing—has extensive application in content authentication and information retrieval, database search, and security assurance. Applying and extending the principles of perceptual hashing to imaging for arms control, we propose techniques that are sensitive to altering, forging and tampering of the imaged object yet robust and tolerant to content-preserving image distortions and noise. Ensuring that the information contained in the hashed image data (available out-of-IB) cannot be used to extract sensitive information about the imaged object is of primary concern. Thus the techniques are characterized by high unpredictability to guarantee security. We will present an assessment of the performance of our techniques with respect to security, sensitivity and robustness on the basis of a methodical and mathematically precise framework.

  10. The Independent Technical Analysis Process

    SciTech Connect (OSTI)

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

    2007-04-13T23:59:59.000Z

    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.

  11. Automated Verification of Quantum Protocols using MCMAS

    E-Print Network [OSTI]

    F. Belardinelli; P. Gonzalez; A. Lomuscio

    2012-07-04T23:59:59.000Z

    We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framework developed by D'Hondt and Panangaden for investigating epistemic and temporal properties, built on the model for Distributed Measurement-based Quantum Computation (DMC), an extension of the Measurement Calculus to distributed quantum systems. We describe the translation map from DMC to interpreted systems, the typical formalism for reasoning about time and knowledge in multi-agent systems. Then, we introduce dmc2ispl, a compiler into the input language of the MCMAS model checker. We demonstrate the technique by verifying the Quantum Teleportation Protocol, and discuss the performance of the tool.

  12. Automated Verification of Practical Garbage Collectors

    E-Print Network [OSTI]

    Hawblitzel, Chris

    2010-01-01T23:59:59.000Z

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

  13. Patient position verification using small IMRT fields

    SciTech Connect (OSTI)

    Bol, G. H.; Heide, U. A. van der; Nederveen, A. J.; Kotte, A. N. T. J.; Lagendijk, J. J. W. [Department of Radiotherapy, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX Utrecht (Netherlands)

    2006-07-15T23:59:59.000Z

    A commonly used approach to quantify and minimize patient setup errors is by using electronic portal imaging devices (EPIDs). The position of the tumor can be verified indirectly by matching the bony anatomy to a reference image containing the same structures. In this paper we present two off-line methods for detecting the position of the bony anatomy automatically, even if every single portal image of each segment of an IMRT treatment beam contains insufficient matching information. Extra position verification fields will no longer be necessary, which reduces the total dose to the patient. The first method, the stack matching method (SMM), stacks the portal image of each segment of a beam to a three dimensional (3D) volume, and this volume is subsequently used during the matching phase. The second method [the averaged projection matching method (APMM)], is a simplification of the first one, since the initially created volume is reduced again to a 2D artificial image, which speeds up the matching procedure considerably, without a significant loss of accuracy. Matching is based on normalized mutual information. We demonstrate our methods by comparing them to existing matching routines, such as matching based on the largest segment. Both phantom and patient experiments show that our methods are comparable with the results obtained from standard position verification methods. The matches are verified by means of visual inspection. Furthermore, we show that when a distinct area of 40-60 cm{sup 2} of the EPID is exposed during one treatment beam, both SMM and APMM are able to deliver a good matching result.

  14. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    IEAB Independent Economic Analysis Board Kenneth L. Casavant, Chair Roger Mann, Vice-Chair Joel R Application of the IEAB's Recommendations and Guidance for Economic Analysis in Subbasin Planning improvements related to economic content of the draft Clearwater Subbasin Management Plan (the draft Clearwater

  15. IEAB Independent Economic Analysis Board

    E-Print Network [OSTI]

    . Huppert Noelwah R. Netusil JunJie Wu Cost-Effectiveness of Fish Tagging Technologies and Programs in the Columbia River Basin1 Independent Economic Analysis Board Fish and Wildlife Program Northwest Power and Conservation Council June 2, 2013 1 This report benefitted from the meetings of the Fish Tagging Forum

  16. Ion mobility spectrometer, spectrometer analyte detection and identification verification system, and method

    DOE Patents [OSTI]

    Atkinson, David A. (Idaho Falls, ID)

    2002-01-01T23:59:59.000Z

    Methods and apparatus for ion mobility spectrometry and analyte detection and identification verification system are disclosed. The apparatus is configured to be used in an ion mobility spectrometer and includes a plurality of reactant reservoirs configured to contain a plurality of reactants which can be reacted with the sample to form adducts having varying ion mobilities. A carrier fluid, such as air or nitrogen, is used to carry the sample into the spectrometer. The plurality of reactants are configured to be selectively added to the carrier stream by use inlet and outlet manifolds in communication with the reagent reservoirs, the reservoirs being selectively isolatable by valves. The invention further includes a spectrometer having the reagent system described. In the method, a first reactant is used with the sample. Following a positive result, a second reactant is used to determine whether a predicted response occurs. The occurrence of the second predicted response tends to verify the existence of a component of interest within the sample. A third reactant can also be used to provide further verification of the existence of a component of interest. A library can be established of known responses of compounds of interest with various reactants and the results of a specific multi-reactant survey of a sample can be compared against the library to determine whether a component detected in the sample is likely to be a specific component of interest.

  17. Safeguards Verification Measurements using Laser Ablation, Absorbance Ratio Spectrometry in Gaseous Centrifuge Enrichment Plants

    SciTech Connect (OSTI)

    Anheier, Norman C.; Cannon, Bret D.; Kulkarni, Gourihar R.; Munley, John T.; Nelson, Danny A.; Qiao, Hong (Amy) [Amy; Phillips, Jon R.

    2012-07-17T23:59:59.000Z

    Laser Ablation Absorbance Ratio Spectrometry (LAARS) is a new verification measurement technology under development at the US Department of Energy (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 atomic uranium vapor plume. 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 is independent of chemical form and degree of dilution with nuisance dust and other materials. LAARS has high relative precision and detection limits approaching the femtogram range for U-235. The sample is scanned and assayed point-by-point at rates reaching 1 million measurements/hour, enabling LAARS to detect and analyze uranium in trace samples. The spectrometer is assembled using primarily commercially available components and features a compact design and automated analysis.Two specific gaseous centrifuge enrichment plant (GCEP) applications of the spectrometer are currently under development: 1) LAARS-Environmental Sampling (ES), which collects and analyzes aerosol particles for GCEP misuse detection and 2) LAARS-Destructive Assay (DA), which enables onsite enrichment DA sample collection and analysis for protracted diversion detection. The two applications propose game-changing technological advances in GCEP safeguards verification.

  18. Independent Oversight Review, Babcock & Wilcox Technical Services...

    Office of Environmental Management (EM)

    Independent Oversight Review, Babcock & Wilcox Technical Services Y-12, LLC - July 2012 Independent Oversight Review, Babcock & Wilcox Technical Services Y-12, LLC - July 2012 July...

  19. Independent Oversight Focused Program Review, Argonne National...

    Energy Savers [EERE]

    Independent Oversight Focused Program Review, Argonne National Laboratory-West - May 2001 Independent Oversight Focused Program Review, Argonne National Laboratory-West - May 2001...

  20. Independent Activity Report, Los Alamos National Laboratory ...

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

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

  1. Independent Oversight Review, Los Alamos National Laboratory...

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

    2013 Independent Oversight Review, Los Alamos National Laboratory Chemistry and Metallurgy Research Facility - January 2012 Independent Activity Report, Los Alamos Site Office...

  2. Temperature Independent Physisorption Kinetics and Adsorbate...

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

    Temperature Independent Physisorption Kinetics and Adsorbate Layer Compression for Ar Adsorbed on Pt (111). Temperature Independent Physisorption Kinetics and Adsorbate Layer...

  3. NERSC Calculations Provide Independent Confirmation of Global...

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

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

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

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

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

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

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

    M&V Guidelines: Measurement and Verification for Federal Energy Projects Version 4.0 Prepared for the U.S. Department of Energy Federal Energy Management Program By

  6. IT Licentiate theses Practical Verification of Real-Time Systems

    E-Print Network [OSTI]

    David, Alexandre

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

  7. IT Licentiate theses Practical Verification of RealTime Systems

    E-Print Network [OSTI]

    David, Alexandre

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

  8. A Framework for Verification of Software with Time and Probabilities

    E-Print Network [OSTI]

    Oxford, University of

    verification techniques are able to establish sys- tem properties such as "the probability of an airbag failing quantitative properties. These might include, for example, "the probability of an airbag failing to deploy

  9. DRAFT Measurement & Verification Guidelines Version 4.0

    Broader source: Energy.gov [DOE]

    Document describes the Federal Energy Management Program's (FEMP) standard procedures and guidelines for measurement and verification (M&V) for federal energy managers, procurement officials, and energy service providers.

  10. Introduction to Measurement and Verification for DOE Super ESPC Projects

    Broader source: Energy.gov [DOE]

    Document offers an overview of why and how measurement and verification is conducted in super energy savings performance contracts (ESPC) projects. Topics include allocating project risk, steps to verify savings, and M&V plans and reports.

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

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

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

  12. Precise Steps for Choreography Modeling for SOA Validation and Verification

    E-Print Network [OSTI]

    Southampton, University of

    as the next evolutionary step to cope with the software complexity of ERP systems where monolithic approaches component models by verification. This fits well into the model-driven development approach practiced at SAP

  13. Process Abstraction in the Verification of Temporal Properties 

    E-Print Network [OSTI]

    Bruns, Glen R

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

  14. 2010 Employee Survey Acknowledgements

    E-Print Network [OSTI]

    Eisen, Michael

    conducted for Postdocs and Operations employees; this year's survey was a Lab-wide survey of the Lab2010 Employee Survey May 2010 #12;Acknowledgements TheBerkeleyLab Survey Team consisted Associates has conducted a number of large-scale surveys for organizations in higher education, including MIT

  15. Verification and Validation of RADTRAN 5.5.

    SciTech Connect (OSTI)

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

    2005-02-01T23:59:59.000Z

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

  16. Enhanced verification test suite for physics simulation codes

    SciTech Connect (OSTI)

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

    2008-09-01T23:59:59.000Z

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

  17. A robot manipulator calibration procedure with experimental verification

    E-Print Network [OSTI]

    Padavala, Satya Srinivas

    1988-01-01T23:59:59.000Z

    A ROBOT MANIPULATOR CALIBRATION PROCEDURE WITH EXPERIMENTAL VERIFICATION A Thesis by SATYA SRINIVAS PADAVALA Submitted to the Graduate College of Texas ARM University in partial fulfillment of the requirement for the degree of MASTER... OF SCIENCE May 1988 Major Subject: Mechanical Engineering A ROBOT MANIPULATOR CALIBRATION PROCEDURE WITH EXPERIMENTAL VERIFICATION A Thesis by SATYA SRINIVAS PADAVALA Approved as to style and content by: njamin W. M ng (Chairman of Co 'ttee) jr gi...

  18. Become an SEP Verification Body | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels DataEnergyDepartmentWind SitingVerification Body Become an SEP Verification

  19. A Multitier System for the Verification, Visualization and Management of CHIMERA

    SciTech Connect (OSTI)

    Lingerfelt, Eric J [ORNL; Messer, Bronson [ORNL; Osborne, James A [National Institute for Computational Sciences (NICS); Budiardja, R. D. [University of Tennessee, Knoxville (UTK); Mezzacappa, Anthony [ORNL

    2011-01-01T23:59:59.000Z

    CHIMERA is a multi-dimensional radiation hydrodynamics code designed to study core-collapse supernovae. The code is made up of three essentially independent parts: a hydrodynamics module, a nuclear burning module, and a neutrino transport solver combined within an operator-split approach. Given CHIMERA s complexity and pace of ongoing development, a new support system, Bellerophon, has been designed and implemented to perform automated verification, visualization and management tasks while integrating with other workflow systems utilized by CHIMERA s development group. In order to achieve these goals, a multitier approach has been adopted. By integrating supercomputing platforms, visualization clusters, a dedicated web server and a client-side desktop application, this system attempts to provide an encapsulated, end-to-end solution to these needs.

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

    SciTech Connect (OSTI)

    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

    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.

  1. Verification of 2-D Detonation Shock Dynamics in conjunction with Los Alamos Lagrangian hydrocode

    SciTech Connect (OSTI)

    Aida, Toru [Los Alamos National Laboratory; Walter, John W. [Los Alamos National Laboratory; Aslam, Tariq D. [Los Alamos National Laboratory; Short, Mark [Los Alamos National Laboratory

    2013-01-29T23:59:59.000Z

    As the latest version of the fast-tube Detonation Shock Dynamics (DSD) solver is linked with the Los Alamos Lagrangian hydrocode, verification problems from a 2006 DSD report (LA-14277 [1]) have been duplicated with some of the verification criteria changed to more quantitative ones. The observed error convergence is as good as or better than reported in [1], quite possibly due to the careful treatment of floating point numbers to ensure that their precision level is maintained throughout the code. This report duplicates the three sample verification problems in LA-14277 [1] using the Los Alamos ASC Lagrangian hydrocode (FLAG), official release of 3.2 Alpha6 with a few modifications. This version of FLAG is linked with the latest fast-tube Detonation Shock Dynamics (DSD) version beta 2 solver released in 2011 as part of the LanlDSD software product [2]. New verification criteria are used for the arcwave problem where two specific locations are chosen for burn arrival time comparison. For this report FLAG's internal driver code prepares the distance function ({Psi}) and material ID fields from its hydro setup, instead of the stand-alone driver that is being utilized by the other LANL hydrocodes currently interfaced to LanlDSD. As it is implemented in version 3.2 Alpha6, the {Psi} and material ID fields and other parameters are passed from FLAG to the DSD solver directly, and the burn table is directly passed back to FLAG as part of the calling arguments. The burn-front arrival time 'exact' solutions, mentioned in the sequel for the rate-stick and 'arc-wave' problems, are computed using a pair of special-purpose Fortran codes provided by Aslam [3]. In each case an ansatz for the form of the solution is made in which the radius from the detonator center point is used as the independent space coordinate. This leads to a simplified, problem-specific, 1D form of the governing equation. This equation is solved using 2nd-order spatial differencing and the forward Euler method on a very fine temporal and geometric mesh. The boundary conditions are handled exactly at the correct location, with second order accuracy. Care has been taken to ensure that this solution is fully converged. Most other technical details are omitted here as they are comprehensively discussed in [1].

  2. Data Summary Report for the 1997 Semiannual Tritium Survey for Fourmile Branch and the F- and H-Area Seeplines

    SciTech Connect (OSTI)

    Koch, J.W. II

    1998-01-05T23:59:59.000Z

    This report presents a summary of the definitive data validation and verification for the 1997 RFI/RI semiannual tritium survey for Fourmile Branch and the F- and H-Area Seeplines. The RFI/RI was performed under the direction of WSRC ESS/Ecology. This report was prepared under the direction EPD/EMS.

  3. Data Summary Report for the 1998 Semiannual Tritium Surveys for Fourmile Branch and the F- and H-Area Seeplines

    SciTech Connect (OSTI)

    Koch, J.

    1999-01-26T23:59:59.000Z

    This report presents a summary of the definitive data validation and verification for the 1998 semiannual tritium surveys for Fourmile Branch and the F- and H-Area Seeplines. The project was performed under the direction of WSRC EAS/Ecology. This report was prepared under the direction of EPD/EMS.

  4. Literature survey

    SciTech Connect (OSTI)

    Pillay, K.K.S. (Los Alamos National Lab., Los Alamos, NM (US))

    1988-07-01T23:59:59.000Z

    The residential amount(s) of fissionable materials remaining in process equipment after the runout of bulk materials processed is referred to as ''Process Holdup of Special Nuclear Materials.'' Locating regions of holdup and estimating the quantity of fissile materials remaining as holdup are important not only to materials accountability but also to process safety. Holdup is often referred to as a ''Hidden Inventory.'' In materials accounting terminology, hidden inventories are part of ''Materials Unaccounted For'' (MUF) or ''Inventory Difference'' (ID). MUF or ID could be construed as ''Loss'' or ''Diversion''. From a safeguards perspective, all these designations are undesirable. Another terminology that is relevant to holdup is ''In-Process Inventory.'' During process operations and temporary shutdown, the holdup within the facility is also known as the in-process inventory. Estimating this inventory is just as challenging as residuals after process runout. The role of hidden inventories, or holdup, as a safeguards problem is now recognized by almost everyone interested in establishing effective safeguards for special nuclear materials. As part of this effort to organize the first INMM-sponsored Technical Workshop on Process Holdup of Special Nuclear Materials, an attempt was made to update an earlier survey of open literature publications of relevance to holdup. An attempt was made to exclude from this list those documents recognized as internal documents, progress reports, preliminary reports, abstracts, etc.

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

    SciTech Connect (OSTI)

    Azmy, Yousry; Wang, Yaqi

    2013-12-20T23:59:59.000Z

    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.

  6. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect (OSTI)

    Pecharroman-Gallego, R.; Mans, Anton; Sonke, Jan-Jakob; Stroom, Joep C.; Olaciregui-Ruiz, Igor; Herk, Marcel van; Mijnheer, Ben J. [Department of Radiation Oncology, The Netherlands Cancer Institute-Antoni van Leeuwenhoek Hospital, Plesmanlaan 121, 1066 CX Amsterdam (Netherlands)

    2011-02-15T23:59:59.000Z

    Purpose: Electronic portal imaging devices (EPIDs) are increasingly used for IMRT dose verification, both pretreatment and in vivo. In this study, an earlier developed backprojection model has been modified to avoid the need for patient-specific transmission measurements and, consequently, leads to a faster procedure. Methods: Currently, the transmission, an essential ingredient of the backprojection model, is estimated from the ratio of EPID measurements with and without a phantom/patient in the beam. Thus, an additional irradiation to obtain ''open images'' under the same conditions as the actual phantom/patient irradiation is required. However, by calculating the transmission of the phantom/patient in the direction of the beam instead of using open images, this extra measurement can be avoided. This was achieved by using a model that includes the effect of beam hardening and off-axis dependence of the EPID response on photon beam spectral changes. The parameters in the model were empirically obtained by performing EPID measurements using polystyrene slab phantoms of different thickness in 6, 10, and 18 MV photon beams. A theoretical analysis to verify the sensitivity of the model with patient thickness changes was performed. The new model was finally applied for the analysis of EPID dose verification measurements of step-and-shoot IMRT treatments of head and neck, lung, breast, cervix, prostate, and rectum patients. All measurements were carried out using Elekta SL20i linear accelerators equipped with a hydrogenated amorphous silicon EPID, and the IMRT plans were made using PINNACLE software (Philips Medical Systems). Results: The results showed generally good agreement with the dose determined using the old model applying the measured transmission. The average differences between EPID-based in vivo dose at the isocenter determined using either the new model for transmission and its measured value were 2.6{+-}3.1%, 0.2{+-}3.1%, and 2.2{+-}3.9% for 47 patients treated with 6, 10, and 18 MV IMRT beams, respectively. For the same group of patients, the differences in mean {gamma} analysis (3% maximum dose, 3 mm) were 0.16{+-}0.26%, 0.21{+-}0.24%, and 0.02{+-}0.12%, respectively. For a subgroup of 11 patients, pretreatment verification was also performed, showing similar dose differences at the isocenter: -1.9{+-}0.9%, -1.4{+-}1.2%, and -0.4{+-}2.4%, with somewhat lower mean {gamma} difference values: 0.01{+-}0.09%, 0.01{+-}0.07%, and -0.09{+-}0.10%, respectively. Clinical implementation of the new model would save 450 h/yr spent in measurement of open images. Conclusions: It can be concluded that calculating instead of measuring the transmission leads to differences in the isocenter dose generally smaller than 2% (2.6% for 6 MV photon beams for in vivo dose) and yielded only slightly higher {gamma}-evaluation parameter values in planes through the isocenter. Hence, the new model is suitable for clinical implementation and measurement of open images can be omitted.

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

    SciTech Connect (OSTI)

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

    2010-08-01T23:59:59.000Z

    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.

  8. Copositive Programming – a Survey

    E-Print Network [OSTI]

    2010-11-01T23:59:59.000Z

    Copositive Programming – a Survey. Mirjam Dür ... The purpose of this survey is to introduce the ...... Methods of Operations Research 62(1990): 45–52.

  9. Organics Verification Study for Sinclair and Dyes Inlets, Washington

    SciTech Connect (OSTI)

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

    2006-09-28T23:59:59.000Z

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

  10. Battery Technology Life Verification Testing and Analysis

    SciTech Connect (OSTI)

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

    2007-12-01T23:59:59.000Z

    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.

  11. Understanding correlation coefficients in treaty verification. Revised

    SciTech Connect (OSTI)

    DeVolpi, A.

    1993-02-01T23:59:59.000Z

    When a pair of images is compared on a point-by-point basis, the linear-correlation coefficient is usually used as a measure of similarity or dissimilarity. This report evaluates the theoretical underpinnings and limitations of the linear-correlation coefficient, as well as other related statistics, particularly for cases where inherent white noise is present. As a result of the limitations in linear-correlation, an additional step has been derived -- local-sum clustering -- in order to improve recognition of small dissimilarities in a pair of otherwise identical images. Results show an optimal three-stage procedure: first, establish congruence of the two images; second, use the linear-correlation coefficient as a test of true negatives; and, third, qualify a true positive by using the cluster (local-sum) method. These three algorithmic stages would be especially useful in application to arms control treaty verification, particularly for comparison of unique identifiers (tags or seals). This is illustrated by comparing scanning-electron microscope topographical images for an intrinsic-surface tag.

  12. Robotic Surveying

    SciTech Connect (OSTI)

    Suzy Cantor-McKinney; Michael Kruzic

    2007-03-01T23:59:59.000Z

    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.

  13. Mass independent textures and symmetry

    SciTech Connect (OSTI)

    Lam, C. S. [Department of Physics, McGill University, Montreal, QC, Canada H3A 2T8 and Department of Physics and Astronomy, University of British Columbia, Vancouver, BC, V6T 1Z1 (Canada)

    2006-12-01T23:59:59.000Z

    A mass-independent texture is a set of linear relations of the fermion mass-matrix elements which imposes no constraint on the fermionic masses nor the Majorana phases. Magic and 2-3 symmetries are examples. We discuss the general construction and the properties of these textures, as well as their relation to the quark and neutrino mixing matrices. Such a texture may be regarded as a symmetry, whose unitary generators of the symmetry group can be explicitly constructed. In particular, the symmetries connected with the tribimaximal neutrino mixing matrix are discussed, together with the physical consequence of breaking one symmetry but preserving another.

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

    SciTech Connect (OSTI)

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

    2013-07-01T23:59:59.000Z

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

  15. Radionuclide Inventory Distribution Project Data Evaluation and Verification White Paper

    SciTech Connect (OSTI)

    NSTec Environmental Restoration

    2010-05-17T23:59:59.000Z

    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.

  16. Inclination-Independent Galaxy Classification

    E-Print Network [OSTI]

    Jeremy Bailin; William E. Harris

    2008-03-09T23:59:59.000Z

    We present a new method to classify galaxies from large surveys like the Sloan Digital Sky Survey using inclination-corrected concentration, inclination-corrected location on the color-magnitude diagram, and apparent axis ratio. Explicitly accounting for inclination tightens the distribution of each of these parameters and enables simple boundaries to be drawn that delineate three different galaxy populations: Early-type galaxies, which are red, highly concentrated, and round; Late-type galaxies, which are blue, have low concentrations, and are disk dominated; and Intermediate-type galaxies, which are red, have intermediate concentrations, and have disks. We have validated our method by comparing to visual classifications of high-quality imaging data from the Millennium Galaxy Catalogue. The inclination correction is crucial to unveiling the previously unrecognized Intermediate class. Intermediate-type galaxies, roughly corresponding to lenticulars and early spirals, lie on the red sequence. The red sequence is therefore composed of two distinct morphological types, suggesting that there are two distinct mechanisms for transiting to the red sequence. We propose that Intermediate-type galaxies are those that have lost their cold gas via strangulation, while Early-type galaxies are those that have experienced a major merger that either consumed their cold gas, or whose merger progenitors were already devoid of cold gas (the ``dry merger'' scenario).

  17. STEP Participant Survey Report

    Broader source: Energy.gov [DOE]

    STEP Participant Survey Report, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  18. Field Scale Test and Verification of CHP System at the Ritz Carlton...

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

    Field Scale Test and Verification of CHP System at the Ritz Carlton, San Francisco, August 2007 Field Scale Test and Verification of CHP System at the Ritz Carlton, San Francisco,...

  19. Employment Verification and Compensation Release Authorization Form Forward the completed form

    E-Print Network [OSTI]

    Employment Verification and Compensation Release Authorization Form Forward the completed form: Via Research Triangle Park, NC 27709 Attn: Employment Verification Name information relative to my employment with the IBM Corporation

  20. TARGETED TECHNOLOGY TRANSFER TO US INDEPENDENTS

    SciTech Connect (OSTI)

    Donald F. Duttlinger; E. Lance Cole

    2005-01-01T23:59:59.000Z

    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.

  1. Monitoring/Verification using DMS: TATP Example

    SciTech Connect (OSTI)

    Stephan Weeks; Kevin Kyle

    2008-03-01T23:59:59.000Z

    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 use of explosives or chemical and biological weapons in terrorist activities. Two peroxide-based liquid explosives, triacetone triperoxide (TATP) and hexamethylene triperoxide diamine (HMTD), are synthesized from common chemicals such as hydrogen peroxide, acetone, sulfuric acid, ammonia, and citric acid (Figure 1). Recipes can be readily found on the Internet by anyone seeking to generate sufficient quantities of these highly explosive chemicals to cause considerable collateral damage. Detection of TATP and HMTD by advanced sensing systems can provide the early warning necessary to prevent terror plots from coming to fruition. DMS is currently one of the foremost emerging technologies for the separation and detection of gas-phase chemical species. This is due to trace-level detection limits, high selectivity, and small size. DMS separates and identifies ions at ambient pressures by utilizing the non-linear dependence of an ion's mobility on the radio frequency (rf) electric field strength. GC is widely considered to be one of the leading analytical methods for the separation of chemical species in complex mixtures. Advances in the technique have led to the development of low-thermal-mass fast GC columns. These columns are capable of completing runs in less than 3 minutes. Fast GC columns are also more compact than their traditional counterparts. An earlier collaborative effort involving these authors optimized a handheld, fast GC/DMS, equipped with a non-rad ionization source, for the detection of TATP (Figure 2). The unit combines the separation capabilities of GC with the selectivity of DMS. Analytes are identified both by their elution time from the column and by the characteristic response in the DMS spectrum. Analysis times required to obtain results for these analytes are approximately 80 seconds for TATP and 160 seconds for HMTD (Figure 3). The limit of detection for both TATP and HMTD is approximately 1 ng/{micro}L. Substances that could interfere with the detection of peroxide-based explosives have been studied. Both the GC elution time and the DMS spectral peak locations were unique and do not hinder the detection of either TATP or HMTD.

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

  7. Measurement and Verification Activities Required in the Energy Savings Performance Contract Process

    Broader source: Energy.gov [DOE]

    There are four major measurement and verification (M&V) activities in the energy savings performance contract (ESPC) procurement process.

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

    Broader source: Energy.gov [DOE]

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

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

    E-Print Network [OSTI]

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

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

    Broader source: Energy.gov [DOE]

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

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

    Broader source: Energy.gov [DOE]

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

  12. The BMW X-ray Cluster Survey

    E-Print Network [OSTI]

    Alberto Moretti; Luigi Guzzo; Sergio Campana; Stefano Covino; Davide Lazzati; Marcella Longhetti; Emilio Molinari; Maria Rosa Panzera; Gianpiero Tagliaferri; Ian Dell'Antonio

    2001-03-21T23:59:59.000Z

    We describe the main features of the BMW survey of serendipitous X-ray clusters, based on the still unexploited ROSAT-HRI archival observations. The sky coverage, surface density and first deep optical CCD images of the candidates indicate that this sample can represent an excellent complement to the existing PSPC deep cluster surveys and will provide us with a fully independent probe of the evolution of the cluster abundance, in addition to significantly increasing the number of clusters known at z>0.6.

  13. The BMW X-ray Cluster Survey

    E-Print Network [OSTI]

    Moretti, A; Campana, S; Covino, S; Lazzati, D; Longhetti, M; Molinari, E; Panzera, M R; Tagliaferri, G; Dell'Antonio, I P; Moretti, Alberto; Guzzo, Luigi; Campana, Sergio; Covino, Stefano; Lazzati, Davide; Longhetti, Marcella; Molinari, Emilio; Panzera, Maria Rosa; Tagliaferri, Gianpiero; Antonio, Ian Dell'

    2001-01-01T23:59:59.000Z

    We describe the main features of the BMW survey of serendipitous X-ray clusters, based on the still unexploited ROSAT-HRI archival observations. The sky coverage, surface density and first deep optical CCD images of the candidates indicate that this sample can represent an excellent complement to the existing PSPC deep cluster surveys and will provide us with a fully independent probe of the evolution of the cluster abundance, in addition to significantly increasing the number of clusters known at z>0.6.

  14. Device Independent Random Number Generation

    E-Print Network [OSTI]

    Mataj Pivoluska; Martin Plesch

    2015-02-23T23:59:59.000Z

    Randomness is an invaluable resource in today's life with a broad use reaching from numerical simulations through randomized algorithms to cryptography. However, on the classical level no true randomness is available and even the use of simple quantum devices in a prepare-measure setting suffers from lack of stability and controllability. This gave rise to a group of quantum protocols that provide randomness certified by classical statistical tests -- Device Independent Quantum Random Number Generators. In this paper we review the most relevant results in this field, which allow the production of almost perfect randomness with help of quantum devices, supplemented with an arbitrary weak source of additional randomness. This is in fact the best one could hope for to achieve, as with no starting randomness (corresponding to no free will in a different concept) even a quantum world would have a fully deterministic description.

  15. Converter performance TFE Verification Program. Final test report

    SciTech Connect (OSTI)

    Not Available

    1994-03-01T23:59:59.000Z

    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.

  16. A Zero Knowledge Protocol For Nuclear Warhead Verification

    SciTech Connect (OSTI)

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

    2014-03-14T23:59:59.000Z

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

  17. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

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

  18. Bibliography for Verification and Validation in Computational Simulations

    SciTech Connect (OSTI)

    Oberkampf, W.L.

    1998-10-01T23:59:59.000Z

    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.

  19. A Joint Independent Scientific Review Panel and Independent Economic Analysis Board Review for the

    E-Print Network [OSTI]

    A Joint Independent Scientific Review Panel and Independent Economic Analysis Board Review Richard N. Williams IEAB Independent Economic Analysis Board Roger Mann, Chair Noelwah R. Netusil, Vice ..................................................................................................... 8 2. Economic Content Review

  20. Targeted Technology Transfer to US Independents

    SciTech Connect (OSTI)

    E. Lance Cole

    2009-09-30T23:59:59.000Z

    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

  1. A Formal Model of Auditor Independence Risk

    E-Print Network [OSTI]

    Turner, Jerry L.; Mock, Theodore J.; Srivastava, Rajendra P.

    2002-01-01T23:59:59.000Z

    Although the published literature on auditor independence is extensive, an accepted comprehensive theory, framework or model of auditor independence risk does not exist. This paper develops a formal model of auditor ...

  2. Page 1 of 4 Refrigerant Charge Verification: 70F Return Air Requirement

    E-Print Network [OSTI]

    Page 1 of 4 Refrigerant Charge Verification: 70°F Return Air Requirement This article describes refrigerant charge verification when the outdoor temperature is between 55 and 65°F, in accordance than 70°F has been an explicit requirement since the refrigerant charge verification protocol was first

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  4. A knowledge-based verification method for dynamic access control policies

    E-Print Network [OSTI]

    Ryan, Mark

    . This abstraction of knowledge results in a simpler model, which makes the verification efficient, and is powerful may be a prior knowledge, or gained by exploring the system. In both cases, a verification method proposes a dynamic access control model supporting knowledge- based verification through reasoning about

  5. A Reachability-Based Method for Large-Signal Behavior Verification of DC-DC Converters

    E-Print Network [OSTI]

    Liberzon, Daniel

    -loop, large-signal system behavior verification, and iv) switching detail modeling. In open-loop, large´inguez-Garc´ia, Member, IEEE Abstract--A method for large-signal behavior verification of power electronics DC behavior verification, lengthy time-domain simula- tions are conducted to analyze the system response

  6. The KeY Platform for Verification and Analysis of Java Programs

    E-Print Network [OSTI]

    Mostowski, Wojciech

    pure functional verification. We use the current release of the KeY system as an example to explain and prove this claim. 1 Overview Motivation. Over the last decades the reach and power of verification of real world systems. The basic technologies of deductive program verification have matured. State

  7. Independent Oversight Focused Safety Management Evaluation, Idaho...

    Office of Environmental Management (EM)

    Focused Safety Management Evaluation, Idaho National Engineering and Environmental Laboratory - January 2001 Independent Oversight Focused Safety Management Evaluation, Idaho...

  8. Small Wind Independent Testing (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2010-09-01T23:59:59.000Z

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

  9. Independent Oversight Activity Report, Hanford Sludge Treatment...

    Office of Environmental Management (EM)

    Project Engineered Container Retrieval and Transfer System Preliminary Documented Safety Analysis, Revision 00 - April 2015 Independent Activity Report, Richland Operations...

  10. Finite countermodels for safety verification of parameterized tree systems

    E-Print Network [OSTI]

    Lisitsa, Alexei

    2011-01-01T23:59:59.000Z

    In this paper we deal with verification of safety properties of parameterized systems with a tree topology. The verification problem is translated to a purely logical problem of finding a finite countermodel for a first-order formula, which further resolved by a generic finite model finding procedure. A finite countermodel method is shown is at least as powerful as regular tree model checking and as the methods based on monotonic abstraction and backwards symbolic reachability. The practical efficiency of the method is illustrated on a set of examples taken from the literature.

  11. Verification for measurement-only blind quantum computing

    E-Print Network [OSTI]

    Tomoyuki Morimae

    2014-06-19T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

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

    2009-01-01T23:59:59.000Z

    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

  13. Wide-Field Lensing Mass Maps from DES Science Verification Data

    E-Print Network [OSTI]

    Vikram, V; Jain, B; Bacon, D; Amara, A; Becker, M; Bernstein, G; Bonnett, C; Bridle, S; Brout, D; Busha, M; Frieman, J; Gaztanaga, E; Hartley, W; Jarvis, M; Kacprzak, T; Lahav, O; Leistedt, B; Lin, H; Melchior, P; Peiris, H; Rozo, E; Rykoff, E; Sanchez, C; Sheldon, E; Troxel, M; Wechsler, R; Zuntz, J; Abbott, T; Abdalla, F B; Armstrong, R; Banerji, M; Bauer, A H; Benoit-Levy, A; Bertin, E; Brooks, D; Buckley-Geer, E; Burke, D L; Capozzi, D; Rosell, A Carnero; Kind, M Carrasco; Castander, F J; Crocce, M; D'Andrea, C B; da Costa, L N; DePoy, D L; Desai, S; Diehl, H T; Dietrich, J P; Cunha, C E; Estrada, J; Evrard, A E; Neto, A Fausti; Fernandez, E; Flaugher, B; Fosalba, P; Gerdes, D; Gruen, D; Gruendl, R A; Honscheid, K; James, D; Kent, S; Kuehn, K; Kuropatkin, N; Li, T S; Maia, M A G; Makler, M; March, M; Marshall, J; Martini, Paul; Merritt, K W; Miller, C J; Miquel, R; Neilsen, E; Nichol, R C; Nord, B; Ogando, R; Plazas, A A; Romer, A K; Roodman, A; Sanchez, E; Scarpine, V; Sevilla, I; Smith, R C; Soares-Santos, M; Sobreira, F; Suchyta, E; Swanson, M E C; Tarle, G; Thaler, J; Thomas, D; Walker, A R; Weller, J

    2015-01-01T23:59:59.000Z

    Weak gravitational lensing allows one to reconstruct the spatial distribution of the projected mass density across the sky. These "mass maps" provide a powerful tool for studying cosmology as they probe both luminous and dark matter. In this paper, we present a weak lensing mass map reconstructed from shear measurements in a 139 deg^2 area from the Dark Energy Survey (DES) Science Verification (SV) data overlapping with the South Pole Telescope survey. We compare the distribution of mass with that of the foreground distribution of galaxies and clusters. The overdensities in the reconstructed map correlate well with the distribution of optically detected clusters. Cross-correlating the mass map with the foreground galaxies from the same DES SV data gives results consistent with mock catalogs that include the primary sources of statistical uncertainties in the galaxy, lensing, and photo-z catalogs. The statistical significance of the cross-correlation is at the 6.8 sigma level with 20 arcminute smoothing. A maj...

  14. A Survey on Compositional Verification Hong Peng and Sofi`ene Tahar

    E-Print Network [OSTI]

    Tahar, Sofiène

    tangoute we2 mji1 (#2339 et #1903 dans Li 1998). Bien que cette équation semble possible pour la première'on prend au sérieux la glose donnée dans le texte. En effet, en tangoute, le nom `vache' se dit we2 (#395

  15. Final Report - Verification Survey of the Hot Cell Facility Site, General Atomics, San Diego, California.

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling7111AWell:F E ," POST 2,000LIST OF

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

    SciTech Connect (OSTI)

    Carl Wharton

    2009-10-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Carl Wharton; Kent Norris

    2010-03-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Kent Norris

    2009-11-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Carl Wharton; Kent Norris

    2009-12-01T23:59:59.000Z

    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.

  20. Independent Verification and Validation SAPHIRE Version 8 Final Report Project Number: N6423 U.S. Nuclear Regulatory Commission

    SciTech Connect (OSTI)

    Kent Norris

    2010-04-01T23:59:59.000Z

    This report provides an evaluation of the SAPHIRE version 8 software product. SAPHIRE version 8 is being developed with a phased or cyclic iterative rapid application development methodology. Due to this approach, a similar approach has been taken for the IV&V activities on each vital software object. IV&V and Software Quality Assurance (SQA) activities occur throughout the entire development life cycle and therefore, will be required through the full development of SAPHIRE version 8. Later phases of the software life cycle, the operation and maintenance phases, are not applicable in this effort since the IV&V is being done prior to releasing Version 8.

  1. HOME OF THE ILLINOIS STATE SCIENTIFIC SURVEYS Illinois Natural History Survey Illinois State Archaeological Survey Illinois State

    E-Print Network [OSTI]

    Bashir, Rashid

    Archaeological Survey · Illinois State Geological Survey · Illinois State Water Survey · Illinois Sustainable

  2. A Survey on Mining Software Survey Presentation

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    ­ Effort Estimation ­ Mining Aspects · Papers at a glance · Related Workshop · Available Resources of mining software archives to support, ­ the maintenance of software systems, ­ improve software designA Survey on Mining Software Archives Survey Presentation Jin Ung, Oh ­ 2007.07.11 #12;Contents

  3. On multichannel film dosimetry with channel-independent perturbations

    SciTech Connect (OSTI)

    Méndez, I., E-mail: nmendez@onko-i.si; Peterlin, P.; Hudej, R.; Strojnik, A.; Casar, B. [Department of Medical Physics, Institute of Oncology Ljubljana, Zaloška cesta 2, Ljubljana 1000 (Slovenia)] [Department of Medical Physics, Institute of Oncology Ljubljana, Zaloška cesta 2, Ljubljana 1000 (Slovenia)

    2014-01-15T23:59:59.000Z

    Purpose: Different multichannel methods for film dosimetry have been proposed in the literature. Two of them are the weighted mean method and the method put forth byMicke et al. [“Multichannel film dosimetry with nonuniformity correction,” Med. Phys. 38, 2523–2534 (2011)] and Mayer et al. [“Enhanced dosimetry procedures and assessment for EBT2 radiochromic film,” Med. Phys. 39, 2147–2155 (2012)]. The purpose of this work was to compare their results and to develop a generalized channel-independent perturbations framework in which both methods enter as special cases. Methods: Four models of channel-independent perturbations were compared: weighted mean, Micke–Mayer method, uniform distribution, and truncated normal distribution. A closed-form formula to calculate film doses and the associated type B uncertainty for all four models was deduced. To evaluate the models, film dose distributions were compared with planned and measured dose distributions. At the same time, several elements of the dosimetry process were compared: film type EBT2 versus EBT3, different waiting-time windows, reflection mode versus transmission mode scanning, and planned versus measured dose distribution for film calibration and for ?-index analysis. The methods and the models described in this study are publicly accessible through IRISEU. Alpha 1.1 ( http://www.iriseu.com ). IRISEU. is a cloud computing web application for calibration and dosimetry of radiochromic films. Results: The truncated normal distribution model provided the best agreement between film and reference doses, both for calibration and ?-index verification, and proved itself superior to both the weighted mean model, which neglects correlations between the channels, and the Micke–Mayer model, whose accuracy depends on the properties of the sensitometric curves. With respect to the selection of dosimetry protocol, no significant differences were found between transmission and reflection mode scanning, between 75 ± 5 min and 20 ± 1 h waiting-time windows or between employing EBT2 or EBT3 films. Significantly better results were obtained when a measured dose distribution was used instead of a planned one as reference for the calibration, and when a planned dose distribution was used instead of a measured one as evaluation for the ?-analysis. Conclusions: The truncated normal distribution model of channel-independent perturbations was found superior to the other three models under comparison and the authors propose its use for multichannel dosimetry.

  4. NEPA Litigation Surveys

    Broader source: Energy.gov [DOE]

    CEQ publishes surveys on NEPA litigation on an annual basis. These surveys identify the number of cases involving a NEPA based cause of action, Federal agencies that were identified as a lead...

  5. Self-adaptive software needs quantitative verification at Radu Calinescu

    E-Print Network [OSTI]

    Oxford, University of

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

  6. Self-adaptive software needs quantitative verification at Radu Calinescu

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  7. Verification of Network Management System Configurations David L. Cohrs

    E-Print Network [OSTI]

    Miller, Barton P.

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

  8. Automated Verification of Practical Garbage Collectors Chris Hawblitzel

    E-Print Network [OSTI]

    Petrank, Erez

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

  9. Verification of Data-Aware Commitment-Based Multiagent System

    E-Print Network [OSTI]

    De Giacomo, Giuseppe

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

  10. CLOSED OPERATION OF MULTIVESSEL BATCH DISTILLATION -EXPERIMENTAL VERIFICATION

    E-Print Network [OSTI]

    Skogestad, Sigurd

    1 CLOSED OPERATION OF MULTIVESSEL BATCH DISTILLATION - EXPERIMENTAL VERIFICATION Submitted to AICheÆcient operation, multicomponent distillation, batch distillation, total re ux operation ABSTRACT. The multivessel batch distillation column, as well as conven- tional batch distillation, may be operated in a closed

  11. Combining Tools for the Verification of FaultTolerant Systems

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

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

  12. Verification of Soundness and Other Properties of Business Processes

    E-Print Network [OSTI]

    Sidorova, Natalia

    © 2007 by Olivia Oanea. All Rights Reserved. CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN Oanea Oanea. Eindhoven : Technische Universiteit Eindhoven, 2007. Proefschrift. ISBN 978-90-386-11662 NUR 993 Dissertation Series D101 Printed by University Press Facilities, Eindhoven #12;Verification of Soundness

  13. Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems

    E-Print Network [OSTI]

    Mousavi, Mohammad

    Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems M. Atif TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m.atif@tue.nl M.R. Mousavi TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m

  14. MODELING AND VERIFICATION OF AN ATM PORT CONTROLLER IN VIS

    E-Print Network [OSTI]

    Tahar, Sofiène

    MODELING AND VERIFICATION OF AN ATM PORT CONTROLLER IN VIS Jianping Lu and Sofiène Tahar Dept port controller using model checking. The ATM port controller is part of the Cambridge Fairisle ATM on the model checking of the ATM port controller using the VIS tool from UC Berkeley. To this end, we

  15. Software Verification for Weak Memory via Program Transformation

    E-Print Network [OSTI]

    Kröning, Daniel

    on a PowerPC cluster, due to the memory model. We study this bug in detail in Sec. 5. This observation handle the write atomicity relaxation of Power/ARM: generality remains a challenge. Since we want verification w.r.t. weak memory. We present experi- ments for a broad variety of models (from x86-TSO to Power

  16. Getting Out of the Way Safety Verification without Compromise

    E-Print Network [OSTI]

    Sivilotti, Paul

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

  17. 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

    June 2010 3D Scanning for Biometric Identification and Verification Project Leads Anselmo Lastra example the subject's face could be rapidly scanned while his or her smart-card ID is being examined, and the system could then match the scan with data on the ID); (b) identification at a secure site or even

  18. Quantitative verification of ab initio self-consistent laser theory

    E-Print Network [OSTI]

    Stone, A. Douglas

    ­1564 (1998). 6. O. Painter, R. K. Lee, A. Scherer, A. Yariv, J. D. O'Brien, P. D. Dapkus, and I. Kim, "TwoQuantitative verification of ab initio self-consistent laser theory Li Ge,1 Robert J. Tandy,1 A¨ureci, A. D. Stone, and B. Collier, "Self-consistent multimode lasing theory for complex or random lasing

  19. LVT: A Layered Verification Technique for Distributed Computing Systems

    E-Print Network [OSTI]

    Olsson, Ron

    LVT: A Layered Verification Technique for Distributed Computing Systems Cui Zhang ? , Brian R of distributed computing systems with multiple component layers. Each lower layer in such a system provides languages as interfaces of systems, LVT treats each layer in a distributed computing system as a distributed

  20. A Proof System for Compositional Verification of Probabilistic Concurrent Processes

    E-Print Network [OSTI]

    Simpson, Alex

    A Proof System for Compositional Verification of Probabilistic Concurrent Processes Matteo Mio1 established itself as a powerful and widely applicable method for verifying properties of systems, with its-state systems. Moreover, even in the finite-state case, the applicability of model checking is limited

  1. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    to the modeling and formal verification of the MESI cache coherence protocol for a system of n write-back cache a powerful alternative for dealing with these problems. In this paper we present a mathematical model on a mathematical model of the system under consideration, attempts to prove or disprove facts about the system

  2. Precise Dynamic Verification of Noninterference Gurvan Le Guernic

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  3. Cleanup Verification Package for the 618-2 Burial Ground

    SciTech Connect (OSTI)

    W. S. Thompson

    2006-12-28T23:59:59.000Z

    This cleanup verification package documents completion of remedial action for the 618-2 Burial Ground, also referred to as Solid Waste Burial Ground No. 2; Burial Ground No. 2; 318-2; and Dry Waste Burial Site No. 2. This waste site was used primarily for the disposal of contaminated equipment, materials and laboratory waste from the 300 Area Facilities.

  4. Verification of Function Block Diagram through Verilog Translation

    E-Print Network [OSTI]

    safety became a critical issue in nuclear power plant area because tra- ditional analog systems are being, Sungdeok Cha1 , Junbeom Yoo2 , and Geeyoung Park3 1 Div. of Computer Science, Korea Advanced Institute Institute, Daejeon, Republic of Korea gypark@kaeri.re.kr Abstract. The formal verification of FBD program

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

    SciTech Connect (OSTI)

    H. M. Sulloway

    2008-10-02T23:59:59.000Z

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

  6. Formal Development and Verification of a Distributed Railway Control System

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

    of refinement and verification steps. Concrete safety requirements are derived from an abstract version that can and a controller model introducing the safety­related control mechanisms as a separate entity monitoring if the costs for initial installation, operation and maintenance of the control system are low. Today

  7. Automated Verification of Model Transformations in the Automotive Industry

    E-Print Network [OSTI]

    Cordy, James R.

    Automated Verification of Model Transformations in the Automotive Industry Gehan M. K. Selim1] transformation developed for the automotive industry [29]. More specifically, we check the correctness reported on such industrial expe- riences by discussing the effects of MDD and the issues that still need

  8. Towards automatic verification of ladder logic Bohumir Zoubek

    E-Print Network [OSTI]

    Oxford, University of

    Birmingham, B15 2TT United Kingdom Email: mzk@cs.bham.ac.uk Abstract-- Control system programs are usually techniques of automatic verification to a control program written in ladder logic. A model is constructed procedures for control programs. I. INTRODUCTION Control systems are used in many applications of process

  9. Parameterized Specification and Verification of PLC Systems in Coq

    E-Print Network [OSTI]

    Boyer, Edmond

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

  10. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  11. Department of Computing CSP||B modelling for railway verification

    E-Print Network [OSTI]

    Doran, Simon J.

    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

  12. Timed Verification of the Generic Architecture of a Memory Circuit

    E-Print Network [OSTI]

    Encrenaz-Tiphène, Emmanuelle

    #cient linear constraints relating the delays of the internal gates of the circuit to the exter­ nal delays on the reachability analysis of a timed model of the circuit (with additional abstract interpretation techniques [10Timed Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata

  13. Fast Verification of Wind Turbine Power Summary of Project Results

    E-Print Network [OSTI]

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

  14. MEASUREMENT SENSITIVITY AND ACCURACY VERIFICATION FOR AN ANTENNA MEASUREMENT SYSTEM

    E-Print Network [OSTI]

    Arakaki, Dean Y.

    MEASUREMENT SENSITIVITY AND ACCURACY VERIFICATION FOR AN ANTENNA MEASUREMENT SYSTEM Newlyn Hui Luis Obispo, CA 93407 ABSTRACT An antenna measurement system was developed to complement a new an RF link budget is calculated to evaluate the performance of the antenna measurement system. Keywords

  15. c 2013 Zhenqi Huang ON SIMULATION BASED VERIFICATION OF NONLINEAR

    E-Print Network [OSTI]

    Liberzon, Daniel

    navigation benchmarks, room heating benchmarks, non-linear satellite systems and engine hybrid control safety verification of hybrid systems typically involves computing precise reach sets of such systems of a class of deterministic hybrid system. The algo- rithm first constructs a cover of the initial set

  16. Venus: Verification for Untrusted Cloud Storage Alexander Shraer

    E-Print Network [OSTI]

    Keidar, Idit

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

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

    E-Print Network [OSTI]

    Jawitz, James W.

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

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

    SciTech Connect (OSTI)

    Goldmann, L.H.

    1997-11-10T23:59:59.000Z

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

  19. Environmental Survey preliminary report

    SciTech Connect (OSTI)

    Not Available

    1988-04-01T23:59:59.000Z

    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.

  20. 2009 Operations Employee Climate Survey

    E-Print Network [OSTI]

    2009 Operations Employee Climate Survey March 2009 #12;Acknowledgements TheBerkeleyLab Survey Team Associates has conducted a number of large-scale surveys for organizations in higher education, including MIT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Survey

  1. Infrared Surveys for AGN

    E-Print Network [OSTI]

    Harding E. Smith

    2002-03-06T23:59:59.000Z

    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.

  2. Independent Oversight Review, Los Alamos National Laboratory...

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

    2011 December 2011 Review of the Independent Integrated Safety ManagementIntegrated Work Management Assessment of Research and Development and Programmatic Work at the Los...

  3. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    August 2012 Review of the Hanford Site Waste Treatment and Immobilization Plant Construction Quality This report documents the results of an independent oversight review of...

  4. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    2012 Review of the Hanford Site Waste Treatment and Immobilization Plant Project Construction Quality This report documents the results of an independent oversight review of...

  5. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    October 2012 Review of the Hanford Site Waste Treatment and Immobilization Plant Construction Quality This report documents the results of an independent review of selected...

  6. Independent Oversight Review, Los Alamos National Laboratory...

    Energy Savers [EERE]

    National Laboratory - November 2013 Independent Oversight Review, Los Alamos National Laboratory - November 2013 November 2013 Review of the Los Alamos National Laboratory...

  7. Independent Activity Report, Pacific Northwest National Laboratory...

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

    January 2012 January 2012 Pacific Northwest National Laboratory Orientation Visit HIAR-PNNL-2012-01-11 This Independent Activity Report documents an operational awareness...

  8. Independent Oversight Activity Report, Pacific Northwest National...

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

    Activity Report, Pacific Northwest National Laboratory - January 2014 February 2014 PNNL Corrective Actions from the Independent Oversight Review of the Office of Science...

  9. Independent Oversight Inspection, Nevada Test Site - September...

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

    Site - September 2004 Independent Oversight Inspection, Nevada Test Site - September 2004 September 2004 Security and Emergency Management Pilot Integrated Performance Tests at the...

  10. Independent Oversight Review, National Energy Technology Laboratory...

    Energy Savers [EERE]

    National Energy Technology Laboratory - May 2014 Independent Oversight Review, National Energy Technology Laboratory - May 2014 May 2014 Review of the Emergency Management Program...

  11. Independent Oversight Review, Advanced Mixed Waste Treatment...

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

    April 2013 Review of Radiation Protection Program Implementation at the Advanced Mixed Waste Treatment Project of the Idaho Site This report documents an independent review of...

  12. Northern Maine Independent System Administrator (Maine)

    Broader source: Energy.gov [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...

  13. Independent Oversight Review, Los Alamos National Laboratory...

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

    conducted an independent review of the Los Alamos National Laboratory (LANL) Weapons Engineering Tritium Facility (WETF) safety significant Tritium Gas Containment System...

  14. Independent Oversight Activity Report, National Nuclear Security...

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

    Contractor Transition Activities for the National Nuclear Security Administration Production Office IAR-NPO-2014-03-10 This Independent Activity Report documents an oversight...

  15. Independent Oversight Activity Report, Hanford Waste Treatment...

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

    Department of Energy Office of River Protection review of the High Level Waste Facility heating, ventilation, and air conditioning systems. Independent Oversight Activity Report,...

  16. Independent Oversight Activity Report, Hanford Waste Treatment...

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

    Hanford Waste Treatment and Immobilization Plant Engineering Activities and Tank Farm Operations HIAR-HANFORD-2014-01-13 This Independent Oversight Activity Report documents...

  17. Independence) PROJECT TITLE: Clinton Community Human Service...

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

    or proposed DOE legislation. Rational for detennination: The Iowa Office of Energy Independence proposes to provide 250,454 of SEP funds to the Area Substance Abuse...

  18. Independent Oversight Evaluation, Office of Secure Transportation...

    Office of Environmental Management (EM)

    Evaluation, Office of Secure Transportation - February 2004 Independent Oversight Evaluation, Office of Secure Transportation - February 2004 February 2004 Evaluation of the Office...

  19. Independent Oversight Inspection, Office of Secure Transportation...

    Office of Environmental Management (EM)

    Office of Secure Transportation - March 2007 Independent Oversight Inspection, Office of Secure Transportation - March 2007 March 2007 Inspection of Emergency Management at the...

  20. Independent Oversight Assessment, DOE Office of Environmental...

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

    Safety Culture at the U.S. Department of Energy Office of Environmental Management Headquarters This report provides the results of an independent assessment of the safety culture...

  1. Independent Oversight Inspection, Sandia National Laboratories...

    Energy Savers [EERE]

    Emergency Management at the Sandia Site Office and Sandia National Laboratories, New Mexico, Volume III This report provides the results of an independent oversight inspection of...

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

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

    Argonne National Laboratory - November 2011 Independent Oversight Review, Argonne National Laboratory - November 2011 November 2011 Review of the Argonne National Laboratory...

  3. Independent Oversight Assessment, Los Alamos National Laboratory...

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

    of Nuclear Safety Culture at the Los Alamos National Laboratory Chemistry and Metallurgy Research Replacement Project This report provides the results of an independent...

  4. Independent Oversight Review, Los Alamos National Laboratory...

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

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

  5. Independent Oversight Review, Portsmouth Gaseous Diffusion Plant...

    Office of Environmental Management (EM)

    Plant - November 2013 Independent Oversight Review, Portsmouth Gaseous Diffusion Plant - November 2013 November 5, 2013 Review of Preparedness for Severe Natural Phenomena Events...

  6. Independent Oversight Review, Portsmouth Gaseous Diffusion Plant...

    Office of Environmental Management (EM)

    January 2013 Independent Oversight Review, Portsmouth Gaseous Diffusion Plant - January 2013 January 2013 Review of the Portsmouth Gaseous Diffusion Plant Work Planning and Control...

  7. Independent Activity Report, Portsmouth Gaseous Diffusion Plant...

    Office of Environmental Management (EM)

    Portsmouth Gaseous Diffusion Plant - August 2011 Independent Activity Report, Portsmouth Gaseous Diffusion Plant - August 2011 August 2011 Orientation Visit to the Portsmouth...

  8. Independent Oversight Review, Lawrence Livermore National Laboratory...

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

    controls have been implemented to reduce the risk associated with events resulting from a fire or explosion at nuclear facilities. Independent Oversight Review, Lawrence Livermore...

  9. Independent Oversight Activity Report, Savannah River Site -...

    Office of Environmental Management (EM)

    Activity Report, Savannah River Site - February 2014 February 2014 Operational Awareness Visit of the Savannah River Site HIAR-SRS-2014-02-25 This Independent Activity...

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

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

    September 2012 Operational Awareness Oversight of Sandia National Laboratories HIAR SNL-2012-09-13 This Independent Activity Report documents an operational awareness activity...

  11. Independent Activity Report, Oak Ridge National Laboratory -...

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

    October 2011 Operational Awareness Tour of Building 3525 Irradiated Fuels Examination Hot Cell Laboratory HIAR OR-2011-10-21 This Independent Activity Report documents an...

  12. Independent Activity Report, Nevada National Security Site -...

    Energy Savers [EERE]

    Security Site - December 2012 December 2012 Nevada National Security Site Operational Awareness Visit HIAR NNSS-2012-12-03 This Independent Activity Report documents an...

  13. Independent Activity Report, West Valley Demonstration Project...

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

    July 2012 Operational Awareness Oversight of the West Valley Demonstration Project HIAR WVDP-2012-07-30 This Independent Activity Report documents an operational awareness...

  14. Independent Oversight Inspection, Savannah River Site - January...

    Energy Savers [EERE]

    2010 More Documents & Publications Independent Oversight Review, Savannah River Site Tritium Facilities - December 2012 Enterprise Assessments Review, Savannah River Site 2014...

  15. Independent Oversight Assessment, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    Waste Treatment and Immobilization Plant - January 2012 Independent Oversight Assessment, Waste Treatment and Immobilization Plant - January 2012 January 2012 Assessment of the...

  16. Independent Activity Report, Lawrence Livermore National Laboratory...

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

    technicians, and the Alameda County Fire Department to a fire in a fume hood containing a depleted uranium part. Independent Activity Report, Lawrence Livermore National Laboratory...

  17. Independent Oversight Review, Waste Treatment and Immobilization...

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

    Independent Oversight is reviewing efforts leading to development of the Documented Safety Analysis (DSA) and Technical Safety Requirements (TSRs) for the LAW, Balance of...

  18. Independent Oversight Review, Waste Treatment and Immobilization...

    Energy Savers [EERE]

    Plant - August 2011 August 2011 Hanford Waste Treatment and Immobilization Plant Construction Quality This report documents the results of an independent oversight review of...

  19. Independent Oversight Review, Waste Treatment and Immobilization...

    Energy Savers [EERE]

    2011 Review of the Hanford Site Waste Treatment and Immobilization Plant Project Construction Quality This report documents the results of an independent oversight review of...

  20. Independent Oversight Review, Waste Treatment and Immobilization...

    Office of Environmental Management (EM)

    Security (HSS), conducted a concurrent independent review with the U.S. Department of Energy (DOE) Office of River Protection (ORP) of selected aspects of the Bechtel National,...

  1. Reinforcing of QA/QC programs in radiotherapy departments in Croatia: Results of treatment planning system verification

    SciTech Connect (OSTI)

    Jurkovi?, Slaven; Švabi?, Manda; Dikli?, Ana; Smilovi? Radoj?i?, ?eni; Dundara, Dea [Clinic for Radiotherapy and Oncology, Physics Division, University Hospital Rijeka, Rijeka (Croatia); Kasabaši?, Mladen; Ivkovi?, Ana [Department for Radiotherapy and Oncology, University Hospital Osijek, Osijek (Croatia); Faj, Dario, E-mail: dariofaj@mefos.hr [Department of Physics, School of Medicine, University of Osijek, Osijek (Croatia)

    2013-04-01T23:59:59.000Z

    Implementation of advanced techniques in clinical practice can greatly improve the outcome of radiation therapy, but it also makes the process much more complex with a lot of room for errors. An important part of the quality assurance program is verification of treatment planning system (TPS). Dosimetric verifications in anthropomorphic phantom were performed in 4 centers where new systems were installed. A total of 14 tests for 2 photon energies and multigrid superposition algorithms were conducted using the CMS XiO TPS. Evaluation criteria as specified in the International Atomic Energy Agency Technical Reports Series (IAEA TRS) 430 were employed. Results of measurements are grouped according to the placement of the measuring point and the beam energy. The majority of differences between calculated and measured doses in the water-equivalent part of the phantom were in tolerance. Significantly more out-of-tolerance values were observed in “nonwater-equivalent” parts of the phantom, especially for higher-energy photon beams. This survey was done as a part of continuous effort to build up awareness of quality assurance/quality control (QA/QC) importance in the Croatian radiotherapy community. Understanding the limitations of different parts of the various systems used in radiation therapy can systematically improve quality as well.

  2. Independent Oversight Evaluation of Line Self-Assessments of...

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

    Independent Oversight Review, Los Alamos Site Office - March 2012 Independent Activity Report, Savannah River Operation - June 2010 Independent Activity Report, Livermore Site...

  3. Independent quality assurance of a helical tomotherapy machine using the dose magnifying glass

    SciTech Connect (OSTI)

    Wong, J. H. D.; Hardcastle, N.; Tome, W. A. [Centre for Medical Radiation Physics, University of Wollongong, New South Wales 2522 (Australia); and others

    2011-04-15T23:59:59.000Z

    Purpose: Helical tomotherapy is a complex delivery technique, integrating CT image guidance and intensity modulated radiotherapy in a single system. The integration of the CT detector ring on the gantry not only allows patient position verification but is also often used to perform various QA procedures. This convenience lacks the rigor of a machine-independent QA process. Methods: In this article, a Si strip detector, known as the Dose Magnifying Glass (DMG), was used to perform machine-independent QA measurements of the multileaf collimator alignment, leaf open time threshold, and leaf fluence output factor (LFOF). Results: The DMG measurements showed good agreements with EDR2 film for the MLC alignment test while the CT detector agrees well with DMG measurements for leaf open time threshold and LFOF measurements. The leaf open time threshold was found to be approximately 20 ms. The LFOF measured with the DMG agreed within error with the CT detector measured LFOF. Conclusions: The DMG with its 0.2 mm spatial resolution coupled to TERA ASIC allowed real-time high temporal resolution measurements of the tomotherapy leaf movement. In conclusion, DMG was shown to be a suitable tool for machine-independent QA of a tomotherapy unit.

  4. Interference of short optical pulses from independent gain-switched laser diodes for quantum secure communications

    E-Print Network [OSTI]

    Z. L. Yuan; M. Lucamarini; J. F. Dynes; B. Frohlich; M. B. Ward; A. J. Shields

    2015-01-08T23:59:59.000Z

    Since the introduction of the decoy-state technique, phase-randomised weak coherent light pulses have been the key to increase the practicality of quantum-based communications. Their ultra-fast generation was accomplished via compact gain-switched (GS) lasers, leading to high key rates in quantum key distribution (QKD). Recently, the question arose of whether the same laser could be employed to achieve high-speed measurement-device-independent-QKD, a scheme that promises long-haul quantum communications immune to all detector attacks. For that, a challenging highvisibility interference between independent picosecond optical pulses is required. Here, we answer the above question in the affirmative by demonstrating high-visibility interference from two independent GS lasers triggered at 1GHz. The result is obtained through a careful characterization of the laser frequency chirp and time jitter. By relating these quantities to the interference visibility, we obtain a parameter-free verification of the experimental data and a numerical simulation of the achievable key rates. These findings are beneficial to other applications making use of GS lasers, including random number generation and standard QKD.

  5. Four New BL Lac Surveys: Sampling New Populations

    E-Print Network [OSTI]

    S. A. Laurent-Muehleisen; R. H. Becker; W. Brinkmann; J. Siebert; E. D. Feigelson; R. I. Kollgaard; G. D. Schmidt; P. S. Smith

    1998-10-15T23:59:59.000Z

    The advent of large area deep radio and X-ray surveys is leading to the creation of many new BL Lac samples. In particular, the ROSAT All-Sky, Green Bank and FIRST surveys are proving to be rich sources of new BL Lacs. We will discuss the methods used in four independent BL Lac searches based on these surveys. Comparison of the broadband spectral energy distributions of these BL Lacs with those of previously known objects clearly points to the existence of a large previously unrecognized population of objects with characteristics intermediate between those exhibited by Low and High energy peaked BL Lacs.

  6. Safeguards and Security Independent Oversight Program

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

    1998-12-23T23:59:59.000Z

    Establishes the DOE Safeguards and Security Independent Oversight Program that provides DOE and contractor managers, Congress, and other stakeholders with an independent evaluation of the effectiveness of DOE safeguards and security policy and programs, and the implementation of those policies and programs. Cancels DOE 5630.12A.

  7. Testing k-wise independent distributions

    E-Print Network [OSTI]

    Xie, Ning, Ph. D. Massachusetts Institute of Technology

    2012-01-01T23:59:59.000Z

    A probability distribution over {0, 1}' is k-wise independent if its restriction to any k coordinates is uniform. More generally, a discrete distribution D over E1 x ... x E, is called (non-uniform) k-wise independent if ...

  8. Specification and Verification of Context-dependent Services

    E-Print Network [OSTI]

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

    2011-01-01T23:59:59.000Z

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

  9. Targeted Technology Transfer to US Independents

    SciTech Connect (OSTI)

    Schatzinger, Viola; Chapman, Kathy; Lovendahl, Kristi

    2014-09-30T23:59:59.000Z

    The Petroleum Technology Transfer Council (PTTC) is a unique not-for-profit network that focuses on transferring Exploration and Production (E&P) technology to the domestic oil and natural gas producing industry. PTTC connects producers, technology providers and innovators, academia, research and development (R&D) consortiums and governments. Local affordable workshops delivered by Regional Lead Organizations (RLOs), which are typically a university or geological survey, are a primary tool. PTTC also maintains a website network, issues a national newsletter, provides a column in a major trade publication, and exhibits at major industry events. It also encourages industry to ask technology-related questions, striving to find relevant answers that will save questioners significant time. Working since late 1993, the PTTC network has a proven track record of providing industry with technology insights they can apply. Volunteers at the regional and national level provide key guidance regarding where to focus technical effort and help connect PTTC with industry. At historical funding levels, PTTC had been able to hold well more than 100 workshops per year, drawing 6,000+ attendees. As funding decreased in the early 2000s, the level of activity decreased and PTTC sought a merger with the American Association of Petroleum Geologists (AAPG), becoming an AAPG-managed organization at the start of FY08. This relationship with AAPG was terminated by mutual consent in May 2011 and PTTC once again operates independently. Chris Hall, California continued to serve as Chairman of the Board of Directors until December 2013. At the time PTTC reorganized into a RLO led organization with Mary Carr and Jeremy Viscomi as co-Executive Directors. Jerry Anderson became the Chairman of the PTTC Board of Directors and Chris Hall continues to serve on the Board. Workshop activity stabilized at 55-65 workshops per year averaging 3,100 attendees. FY14 represented the fifth year in a multi-year contract with the Department of Energy (DOE) for providing technology transfer services. This report summarizes activity and results during for five years, FY10 through FY14. In FY12 changes occurred in responsibilities of consultants serving HQ, because funding was reduced below the threshold level of $500,000 audits were no longer required and consultant time was reduced on the primary contract. Contracts for Permian Carbon Capture Utilization and Storage (CCUS) training, and providing tech transfer services to the Research Partnership to Secure Energy for America (RPSEA) provided work that enabled HQ to retain services of regular consultants. Both CCUS and RPSEA were five year contracts with PTTC, and providing services for these DOE funded contracts provided synergy for PTTC and the oil and gas industry. With further decreases in DOE funding the regions conducted workshops with no PTTC funding starting in June FY11. Since 2011 the number of workshops has declined from 79 in FY10 and FY11 to 49 in FY12, and risen to 54 in FY13 and 63 in FY14. The attendee's numbers dipped slightly below 3,000 per year in FY 10, FY12, and FY13, but rose to over 3,800 in FY 11 and 3105 in FY14. 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 five regions to increase efficiency, and because no active RLO's would be maintained in the Central and Eastern Gulf Coast regions. RLO's for the regions are located at: Eastern - West Virginia University, (Illinois Geol. Survey., W. Michigan Univ. FY10-12); Midwest created in FY13 - Illinois Geological Survey, W. Michigan University; Midcontinent - University of Kansas, expanded to Houston, TX (2013-14); Rocky Mountain - Colorado School of Mines; Texas/SE New Mexico (FY10-FY11) - Bureau of Economic Geology, Univ. of Texas at Austin; West Coast - Conservation Committee of California O&G Producers.

  10. Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

    E-Print Network [OSTI]

    Cheng, Chih-Hong; Esparza, Javier; Knoll, Alois

    2009-01-01T23:59:59.000Z

    The increasing use of model-based tools enables further use of formal verification techniques in the context of distributed real-time systems. To avoid state explosion, it is necessary to construct a verification model that focuses on the aspects under consideration. In this paper, we discuss how we construct a verification model for timing analysis in distributed real-time systems. We (1) give observations concerning restrictions of timed automata to model these systems, (2) formulate mathematical representations how to perform model-to-model transformation to derive verification models from system models, and (3) propose some theoretical criteria how to reduce the model size. The latter is in particular important, as for the verification of complex systems, an efficient model reflecting the properties of the system under consideration is equally important to the verification algorithm itself. Finally, we present an extension of the model-based development tool FTOS, designed to develop fault-tolerant system...

  11. A comparison of adjoint and data-centric verification techniques.

    SciTech Connect (OSTI)

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

    2013-03-01T23:59:59.000Z

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

  12. Direct experimental verification of quantum commutation relations for Pauli operators

    E-Print Network [OSTI]

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

    2010-02-08T23:59:59.000Z

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

  13. Cleanup Verification Package for the 618-8 Burial Ground

    SciTech Connect (OSTI)

    M. J. Appel

    2006-08-10T23:59:59.000Z

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

  14. An on-line human signature verification system

    E-Print Network [OSTI]

    Simsek, Burc A

    2000-01-01T23:59:59.000Z

    of Prisons Other Prisons U. S. Department of State U. S. Department of Treasury Internal Revenue Service U. S. Secret Service Bureau of Printing and Engraving Border Patrol evaluating facial imaging, voice verification, hand geometry, and finger... for smart gun technology. A smart gun incorporates, for example, biometric technology into the operating system of a firearm to restrict the firing of the weapon to authorized users. Finger imaging to secure access to information about narcotics Hand...

  15. Code Verification of the HIGRAD Computational Fluid Dynamics Solver

    SciTech Connect (OSTI)

    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

    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.

  16. Cleanup Verification Package for the118-F-2 Burial Ground

    SciTech Connect (OSTI)

    J. M. Capron and K. A. Anselm

    2008-02-21T23:59:59.000Z

    This cleanup verification package documents completion of remedial action, sampling activities, and compliance with cleanup criteria for the 118-F-2 Burial Ground. This burial ground, formerly called Solid Waste Burial Ground No. 1, was the original solid waste disposal site for the 100-F Area. Eight trenches contained miscellaneous solid waste from the 105-F Reactor and one trench contained solid waste from the biology facilities.

  17. Cleanup Verification Package for the 618-3 Burial Ground

    SciTech Connect (OSTI)

    M. J. Appel

    2006-09-12T23:59:59.000Z

    This cleanup verification package documents completion of remedial action for the 618-3 Solid Waste Burial Ground, also referred to as Burial Ground Number 3 and the Dry Waste Burial Ground Number 3. During its period of operation, the 618-3 site was used to dispose of uranium-contaminated construction debris from the 311 Building and construction/demolition debris from remodeling of the 313, 303-J and 303-K Buildings.

  18. ORISE: Characterization surveys

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (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...

  19. User Survey Results | EMSL

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

    have accessed computing resources during the prior year. The results of the most recent survey are posted here with management responses to concerns or issues identified by our...

  20. Monitoring and Commissioning Verification Algorithms for CHP Systems

    SciTech Connect (OSTI)

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

    2008-03-31T23:59:59.000Z

    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.

  1. Enrichment Assay Methods Development for the Integrated Cylinder Verification System

    SciTech Connect (OSTI)

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

    2009-10-22T23:59:59.000Z

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

  2. Verification and validation guidelines for high integrity systems. Volume 1

    SciTech Connect (OSTI)

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

    1995-03-01T23:59:59.000Z

    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.

  3. AUTOMATED, HIGHLY ACCURATE VERIFICATION OF RELAP5-3D

    SciTech Connect (OSTI)

    George L Mesina; David Aumiller; Francis Buschman

    2014-07-01T23:59:59.000Z

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

  4. US and UK release joint report on nuclear arms control verification...

    National Nuclear Security Administration (NNSA)

    release joint report on nuclear arms control verification | National Nuclear Security Administration Facebook Twitter Youtube Flickr RSS People Mission Managing the Stockpile...

  5. Test of a Multilayer Dose-Verification Gaseous Detector with Raster Scan Mode Proton Beams

    E-Print Network [OSTI]

    Lee, Kyong Sei; Han, Youngyih; Hong, Byungsik; Kang, Minho; Kim, Sang Yeol; Lee, Seunkyung; Park, Sung Keun

    2015-01-01T23:59:59.000Z

    A multilayer gaseous detector has been developed for the fast dose-verification measurements of raster-scan-mode therapeutic beams in particle therapy.

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

    E-Print Network [OSTI]

    Avrunin, George S.

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

  7. Formal Verification of the Island Tunnel Controller using Multiway Decision Graphs

    E-Print Network [OSTI]

    Tahar, Sofiène

    experiments on the ITC example including combinational verification, invariant checking and behavioral enumeration. This algorithm verifies whether an invariant holds in all reachable states of an abstract state

  8. XSEDE Cloud Survey Report

    E-Print Network [OSTI]

    Walter, M.Todd

    XSEDE Cloud Survey Report David Lifka, Cornell Center for Advanced Computing Ian Foster, ANL, ANL and The University of Chicago A National Science Foundation-sponsored cloud user survey was conducted from September 2012 to April 2013 by the XSEDE Cloud Integration Investigation Team to better

  9. New players, opportunities and frustrations in the global marketplace -- Results of an industry-wide survey

    SciTech Connect (OSTI)

    Schwartz, R.

    1998-07-01T23:59:59.000Z

    Review of the annual industry-wide survey of the independent power industry, including top players, market shares, company growth rates, player activities by country and market expectations. The author offers fresh analysis on industry trends based on the survey, conducted through direct interviews with nearly 200 global power developers. Unlike other overviews offering demand projections of various power markets, this survey takes a look at the industry itself.

  10. Midwest Independent System Operator (Multiple States)

    Broader source: Energy.gov [DOE]

    Midwest Independent Transmission System Operator (MISO) is a Regional Transmission Organization, which administers wholesale electricity markets in all or parts of 11 U.S. states and the Canadian...

  11. Independent Activity Report, Hanford Operations Office - July...

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

    2010 Joint Assessment of the Effectiveness of Corrective Actions for the Building 336 Accident The U.S. Department of Energy, Office of Independent Oversight, within the Office of...

  12. Building Technologies Residential Survey

    SciTech Connect (OSTI)

    Secrest, Thomas J.

    2005-11-07T23:59:59.000Z

    Introduction A telephone survey of 1,025 residential occupants was administered in late October for the Building Technologies Program (BT) to gather information on residential occupant attitudes, behaviors, knowledge, and perceptions. The next section, Survey Results, provides an overview of the responses, with major implications and caveats. Additional information is provided in three appendices as follows: - Appendix A -- Summary Response: Provides summary tabular data for the 13 questions that, with subparts, comprise a total of 25 questions. - Appendix B -- Benchmark Data: Provides a benchmark by six categories to the 2001 Residential Energy Consumption Survey administered by EIA. These were ownership, heating fuel, geographic location, race, household size and income. - Appendix C -- Background on Survey Method: Provides the reader with an understanding of the survey process and interpretation of the results.

  13. 2013 REPORT ILLINOIS NATURAL HISTORY SURVEY

    E-Print Network [OSTI]

    Bashir, Rashid

    2013 REPORT ILLINOIS NATURAL HISTORY SURVEY ILLINOIS STATE ARCHAEOLOGICAL SURVEY ILLINOIS STATE State Geological Survey Illinois State Water Survey Illinois Sustainable Technology Center Awards GEOLOGICAL SURVEY ILLINOIS STATE WATER SURVEY ILLINOIS SUSTAINABLE TECHNOLOGY CENTER #12;#12;PRAIRIE RESEARCH

  14. An industry view of the new technology and inventions needed by the independent petroleum industry by 2025

    SciTech Connect (OSTI)

    Oltz, D.F. [Illinois State Geological Survey, Champaign, IL (United States)

    1994-12-31T23:59:59.000Z

    In order to remain competitive, the U.S. independent oil industry will need rapid access to relevant data such as development histories, production data, rock samples, fluid samples, reservoir test data, advanced reservoir characterization, optimized drilling and completion technologies, interpreted geophysical (including seismic) data, and a source of funds derived from investors who can expect a return on their money. State geological surveys, attuned to the needs of local independents, can play a major role in meeting these increasing demands for data availability and data interpretation. Surveys can serve as neutral third parties to aid in collecting data not required to be reported to state governments. The interface between independents and surveys and between surveys and the technology developers and providers will produce technological leaps that may include: Improved reservoir imaging in a digital format that can be readily used by an independent`s PC-based system. Availability of data and information on analogous approaches to solutions of various drilling, completion, reservoir and production problems. Development of MWD technology that will allow comparison of real-time acquisition of reservoir rock and fluid data to geological and engineering analogs such as those developed by researchers at state geological surveys. The oil business is risk-based; the price of oil is determined in the world marketplace. At current levels of technology, well abandonments will increase at a deplorable rate between now and 2025. It is in the nation`s best interest from both the natural resource conservation and national energy policy standpoints to reduce the rate of well abandonments and improve recovery efficiency. This can be accomplished through a focused effort by both state and federal agencies addressing the technological needs of the independent industry.

  15. Whole-building systems integration laboratory survey

    SciTech Connect (OSTI)

    Crawley, D.B. (American Consulting Engineers Council, Washington, DC (USA). Research and Management Foundation)

    1989-09-01T23:59:59.000Z

    This report was prepared for the Pacific Northwest Laboratory as a subcontracted activity by the Research Management Foundation of the American Consulting Engineers Council. The objective of the survey reported herein was to independently assess the need for a Building System Integration Laboratory from the viewpoint of academicians in the field of building science. The subcontractor-developed questionnaire was sent to 200 professors of architecture and engineering at US universities. In view of this diverse population, the 10% rate of return on the questionnaire was considered acceptable. Although the responses probably do not reflect an unbiased summary of the collective perceptions of the original population surveyed, they do provide a valid insight into the interests and concerns of the academic community with respect to building sciences issues.

  16. The Integrated Safety Management System Verification Enhancement Review of the Plutonium Finishing Plant (PFP)

    SciTech Connect (OSTI)

    BRIGGS, C.R.

    2000-02-09T23:59:59.000Z

    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.

  17. Safeguards Verification Measurements using Laser Ablation, Absorbance Ratio Spectrometry in Gaseous Centrifuge Enrichment Plants

    SciTech Connect (OSTI)

    Anheier, Norman C.; Cannon, Bret D.; Qiao, Hong (Amy) [Amy; Phillips, Jon R.

    2012-07-01T23:59:59.000Z

    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.

  18. Indexing contamination surveys

    SciTech Connect (OSTI)

    Brown, R.L.

    1998-02-06T23:59:59.000Z

    The responsibility for safely managing the Tank Farms at Hanford belongs to Lockheed Martin Hanford Corporation which is part of the six company Project Hanford Management Team led by Fluor Daniel Hanford, Inc.. These Tank Farm Facilities contain numerous outdoor contamination areas which are surveyed at a periodicity consistent with the potential radiological conditions, occupancy, and risk of changes in radiological conditions. This document describes the survey documentation and data tracking method devised to track the results of contamination surveys this process is referred to as indexing. The indexing process takes a representative data set as an indicator for the contamination status of the facility. The data are further manipulated into a single value that can be tracked and trended using standard statistical methodology. To report meaningful data, the routine contamination surveys must be performed in a manner that allows the survey method and the data collection process to be recreated. Three key criteria are necessary to accomplish this goal: Accurate maps, consistent documentation, and consistent consolidation of data meeting these criteria provides data of sufficient quality to be tracked. Tracking of survey data is accomplished by converting the individual survey results into a weighted value, corrected for the actual number of survey points. This information can be compared over time using standard statistical analysis to identify trends. At the Tank Farms, the need to track and trend the facility`s radiological status presents unique challenges. Many of these Tank Farm facilities date back to the second world war. The Tank Farm Facilities are exposed to weather extremes, plant and animal intrusion, as well as all of the normal challenges associated with handling radiological waste streams. Routine radiological surveys did not provide a radiological status adequate for continuing comparisons.

  19. A Flexible simulation and verification framework for next generation hybrid pixel readout chips in High Energy Physics

    E-Print Network [OSTI]

    Marconi, Sara

    A Flexible simulation and verification framework for next generation hybrid pixel readout chips in High Energy Physics

  20. DEVELOPMENT OF A PORTAL MONITOR FOR UF6 CYLINDER VERIFICATION

    SciTech Connect (OSTI)

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

    2009-10-06T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

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

  2. Department of Computer Science & Engineering Scheduling Design and Verification for Open Soft Real-time Systems

    E-Print Network [OSTI]

    Smart, William

    Soft Real-time Systems Authors: Robert Glaubius, Terry Tidwell,William D. Smart, and Christopher Gill and verification approach for open soft real-time systems, that can use different decision models, e.g., a Markov of scheduling policies for open soft real-time systems. #12;Scheduling Design and Verification for Open Soft

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Chen, Chaur-Chin

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

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

    E-Print Network [OSTI]

    Young, R. Michael

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

  6. Comparisonbased File Server Verification YuenLin Tan # , Terrence Wong, John D. Strunk, Gregory R. Ganger

    E-Print Network [OSTI]

    Comparison­based File Server Verification Yuen­Lin Tan # , Terrence Wong, John D. Strunk, Gregory R. Ganger Carnegie Mellon University Abstract Comparison­based server verification involves testing a server by comparing its responses to those of a refer­ ence server. An intermediary, called a ``server Tee,'' in

  7. Comments for A Conference on Verification in the 21st Century

    SciTech Connect (OSTI)

    Doyle, James E. [Los Alamos National Laboratory

    2012-06-12T23:59:59.000Z

    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.

  8. Coverage Metrics for Verification of Concurrent SystemC Designs Using Mutation Testing

    E-Print Network [OSTI]

    Sen, Alper

    Coverage Metrics for Verification of Concurrent SystemC Designs Using Mutation Testing Alper Sen Department of Computer Engineering Bogazici University Istanbul, Turkey Email: alper.sen@boun.edu.tr Magdy S is not adequate for a concurrent program. A major problem with design verification of concurrent systems

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Hilley, George

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

  11. Formal Verification Integration Approach for Faiez Zalila, Xavier Cregut, and Marc Pantel

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    critical systems. In this context, model validation and verification (V&V) activities are key features) for the verification of safety critical embedded systems has produced very good results and raised the inter- est the benefits of these power- ful methods. More precisely, we propose a language to formally express system

  12. Query Based UML Modeling Validation and Verification of the System Model and

    E-Print Network [OSTI]

    Austin, Mark

    1 Query Based UML Modeling Validation and Verification of the System Model and Behavior. UML/SysML was designed to provide simple but powerful constructs for modeling a wide range of systems for a Hydraulic Crane Denny Mathew ENPM 643 System Validation and Verification Instructor: Dr. Mark Austin Fall

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

  14. A Brief Account of Runtime Verification Martin Leucker and Christian Schallhart

    E-Print Network [OSTI]

    Leucker, Martin

    to well-known verification techniques like model checking and testing is provided, and applications-skid system must speed with exactly the right velocity to stabi- lize the car. Moreover, for a power plant;verification is particularly challenging as the overall behavior of such systems depends heavily

  15. Foundations of Software Technology and Theoretical Computer Science (2009) Submission Deductive Verification of Continuous

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01T23:59:59.000Z

    state transition systems is a powerful modeling formalism, it is inadequate for modeling systems Verification of Continuous Dynamical Systems Ankur Taly1 , Ashish Tiwari2 1 Computer Science Department inference rules for safety verification of polynomial continuous dynamical systems. We present two different

  16. Lifecycle Verification of the NASA Ames K9 Rover Executive Dimitra Giannakopoulou1, 3

    E-Print Network [OSTI]

    Pasareanu, Corina

    , it shows that when verification proceeds hand-in-hand with software development throughout the lifecycle phases of software development, i.e. at design and implementation phases of the software lifecycle. · Use-hand with later phases of software development. Figure 1. Compositional verification throughout the software

  17. Commissioning and Verification Procedures for the Automated Roller Shade System at

    E-Print Network [OSTI]

    Commissioning and Verification Procedures for the Automated Roller Shade System at The New York for verification testing of a newly installed automated roller shade system. The automated roller shade system has-available system works prior to building occupancy. A high dynamic range luminance measurement tool, developed

  18. Automatic Conversion Software for the Safety Verification of Goal-based Control Programs

    E-Print Network [OSTI]

    Murray, Richard M.

    , an automatic software algorithm for converting goal network control programs into linear hybrid systemsAutomatic Conversion Software for the Safety Verification of Goal-based Control Programs Julia M. B. Braman and Richard M. Murray Abstract-- Fault tolerance and safety verification of control systems

  19. Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs

    E-Print Network [OSTI]

    Murray, Richard M.

    Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs Julia M. B tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion

  20. Verification of Workflow Nets W.M.P. van der Aalst

    E-Print Network [OSTI]

    van der Aalst, Wil

    Verification of Workflow Nets W.M.P. van der Aalst Eindhoven University of Technology, P.O. Box 513 we focus on a class of Petri nets suitable for the representation, validation and verification of these proce- dures. We will show that the correctness of a procedure represented by such a Petri net can