Sample records for quality check results

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

    SciTech Connect (OSTI)

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

    2012-11-01T23:59:59.000Z

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

  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. Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1,

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

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

    2014-06-01T23:59:59.000Z

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

  5. Global optimization of data quality checks on 2-D and 3-D networks of GPR cross-well tomographic data for automatic correction of unknown well deviations

    SciTech Connect (OSTI)

    Sassen, D. S.; Peterson, J. E.

    2010-03-15T23:59:59.000Z

    Significant errors related to poor time zero estimation, well deviation or mislocation of the transmitter (TX) and receiver (RX) stations can render even the most sophisticated modeling and inversion routine useless. Previous examples of methods for the analysis and correction of data errors in geophysical tomography include the works of Maurer and Green (1997), Squires et al. (1992) and Peterson (2001). Here we follow the analysis and techniques of Peterson (2001) for data quality control and error correction. Through our data acquisition and quality control procedures we have very accurate control on the surface locations of wells, the travel distance of both the transmitter and receiver within the boreholes, and the change in apparent zero time. However, we often have poor control on well deviations, either because of economic constraints or the nature of the borehole itself prevented the acquisition of well deviation logs. Also, well deviation logs can sometimes have significant errors. Problems with borehole deviations can be diagnosed prior to inversion of travel-time tomography data sets by plotting the apparent velocity of a straight ray connecting a transmitter (TX) to a receiver (RX) against the take-off angle of the ray. Issues with the time-zero pick or distances between wells appear as symmetric smiles or frown in these QC plots. Well deviation or dipping-strong anisotropy will result in an asymmetric correlation between apparent velocity and take-off angle (Figure 1-B). In addition, when a network of interconnected GPR tomography data is available, one has the additional quality constraint of insuring that there is continuity in velocity between immediately adjacent tomograms. A sudden shift in the mean velocity indicates that either position deviations are present or there is a shift in the pick times. Small errors in well geometry may be effectively treated during inversion by including weighting, or relaxation, parameters into the inversion (e.g. Bautu et al., 2006). In the technique of algebraic reconstruction tomography (ART), which is used herein for the travel time inversion (Peterson et al., 1985), a small relaxation parameter will smooth imaging artifacts caused by data errors at the expense of resolution and contrast (Figure 2). However, large data errors such as unaccounted well deviations cannot be adequately suppressed through inversion weighting schemes. Previously, problems with tomograms were treated manually. However, in large data sets and/or networks of data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Mislocation of the transmitter and receiver stations of GPR cross-well tomography data sets can lead to serious imaging artifacts if not accounted for prior to inversion. Previously, problems with tomograms have been treated manually prior to inversion. In large data sets and/or networks of tomographic data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Our approach is to use cross-well data quality checks and a simplified model of borehole deviation with particle swarm optimization (PSO) to automatically correct for source and receiver locations prior to tomographic inversion. We present a simple model of well deviation, which is designed to minimize potential corruption of actual data trends. We also provide quantitative quality control measures based on minimizing correlations between take-off angle and apparent velocity, and a quality check on the continuity of velocity between adjacent wells. This methodology is shown to be accurate and robust for simple 2-D synthetic test cases. Plus, we demonstrate the method on actual field data where it is compared to deviation logs. This study shows the promise for automatic correction of well deviations in GPR tomographic data. Analysis of synthetic data shows that very precise estimates of well deviation can be made for small deviations, even in the presence of static data errors. However, the analysis of the synthetic data and the application of

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

    SciTech Connect (OSTI)

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

    2013-12-15T23:59:59.000Z

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

  7. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24T23:59:59.000Z

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

  8. Check valve

    DOE Patents [OSTI]

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

    1999-08-24T23:59:59.000Z

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

  9. Air quality and thermal comfort in office buildings: Results of a large indoor environmental quality survey

    E-Print Network [OSTI]

    Huizenga, C; Abbaszadeh, S.; Zagreus, Leah; Arens, Edward A

    2006-01-01T23:59:59.000Z

    based Indoor Environmental Quality Survey. Indoor Air 2004;L. Zagreus. 2005. Acoustic Quality in Office Workstations asare you with the air quality in your workspace? very

  10. Q00906010024 rock check dam

    E-Print Network [OSTI]

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

  11. 2006 B100 Quality Survey Results: Milestone Report

    SciTech Connect (OSTI)

    Alleman, T. L.; McCormick, R. L.; Deutch, S.

    2007-05-01T23:59:59.000Z

    In 2006, the National Renewable Energy Laboratory conducted a nationwide quality survey of pure biodiesel (B100) intended to be used as a blendstock. The study collected random samples throughout the United States and analyzed them for quality against the current and proposed ASTM D6751 fuel quality specifications.

  12. Results of the Excreta Bioassay Quality Control Program For April 1, 2006 Through March 31, 2007

    SciTech Connect (OSTI)

    Antonio, Cheryl L.

    2008-02-19T23:59:59.000Z

    A total of 66 urine samples, 6 blank fecal and 6 spiked artificial fecal samples were submitted during the report period (April 1, 2006 through March 31, 2007) to General Engineering Laboratories, South Carolina by the Hanford Internal Dosimetry Program (IDP) to check the accuracy, precision, and detection levels of their analyses. Urine analyses for tritium, Sr, 238Pu, 239Pu, 241Am, 243Am 235U, 238U, elemental uranium and fecal analyses for 241Am, 238Pu and 239Pu were tested this year. The number of QC urine samples submitted during the report period represented 1.7% of the total samples submitted. In addition to the samples provided by IDP, GEL was also required to conduct their own QC program, and submit the results of analyses to IDP. About 36% of the analyses processed by GEL during the second year of this contract were quality control samples. GEL tested the performance of 16 radioisotopes, all of which met or exceeded the specifications in the Statement of Work. IDP concluded that GEL was performing well for all analyses tested, and concerns identified earlier were satisfactorily resolved.

  13. Results of the Excreta Bioassay Quality Control Program for April 1, 2009 through March 31, 2010

    SciTech Connect (OSTI)

    Antonio, Cheryl L.

    2012-07-19T23:59:59.000Z

    A total of 58 urine samples and 10 fecal samples were submitted during the report period (April 1, 2009 through March 31, 2010) to General Engineering Laboratories, South Carolina by the Hanford Internal Dosimetry Program (IDP) to check the accuracy, precision, and detection levels of their analyses. Urine analyses for Sr, 238Pu, 239Pu, 241Am, 243Am 235U, 238U, elemental uranium and fecal analyses for 241Am, 238Pu and 239Pu were tested this year as well as four tissue samples for 238Pu, 239Pu, 241Am and 241Pu. The number of QC urine samples submitted during the report period represented 1.3% of the total samples submitted. In addition to the samples provided by IDP, GEL was also required to conduct their own QC program, and submit the results of analyses to IDP. About 33% of the analyses processed by GEL during the third year of this contract were quality control samples. GEL tested the performance of 21 radioisotopes, all of which met or exceeded the specifications in the Statement of Work within statistical uncertainty (Table 4).

  14. Results of The Excreta Bioassay Quality Control Program For April 1, 2010 Through March 31, 2011

    SciTech Connect (OSTI)

    Antonio, Cheryl L.

    2012-07-19T23:59:59.000Z

    A total of 76 urine samples and 10 spiked fecal samples were submitted during the report period (April 1, 2010 through March 31, 2011) to GEL Laboratories, LLC in South Carolina by the Hanford Internal Dosimetry Program (IDP) to check the accuracy, precision, and detection levels of their analyses. Urine analyses for 14C, Sr, for 238Pu, 239Pu, 241Am, 243Am, 235U, 238U, 238U-mass and fecal analyses for 241Am, 238Pu and 239Pu were tested this year. The number of QC urine samples submitted during the report period represented 1.1% of the total samples submitted. In addition to the samples provided by IDP, GEL was also required to conduct their own QC program, and submit the results of analyses to IDP. About 31% of the analyses processed by GEL during the first year of contract 112512 were quality control samples. GEL tested the performance of 23 radioisotopes, all of which met or exceeded the specifications in the Statement of Work within statistical uncertainty except the slightly elevated relative bias for 243,244Cm (Table 4).

  15. Air Quality and Road Emission Results for Fort Stewart, Georgia

    SciTech Connect (OSTI)

    Kirkham, Randy R.; Driver, Crystal J.; Chamness, Mickie A.; Barfuss, Brad C.

    2004-02-02T23:59:59.000Z

    The Directorate of Public Works Environmental & Natural Resources Division (Fort Stewart /Hunter Army Airfield) contracted with the Pacific Northwest National Laboratory (PNNL) to monitor particulate matter (PM) concentrations on Fort Stewart, Georgia. The purpose of this investigation was to establish a PM sampling network using monitoring equipment typically used in U.S. Environmental Protection Agency (EPA) ''saturation sampling'', to determine air quality on the installation. In this initial study, the emphasis was on training-generated PM, not receptor PM loading. The majority of PM samples were 24-hr filter-based samples with sampling frequency ranging from every other day, to once every six days synchronized with the EPA 6th day national sampling schedule. Eight measurement sites were established and used to determine spatial variability in PM concentrations and evaluate whether fluctuations in PM appear to result from training activities and forest management practices on the installation. Data collected to date indicate the average installation PM2.5 concentration is lower than that of nearby urban Savannah, Georgia. At three sites near the installation perimeter, analyses to segregate PM concentrations by direction of air flow across the installation boundary indicate that air (below 80 ft) leaving the installation contains less PM2.5 than that entering the installation. This is reinforced by the observation that air near the ground is cleaner on average than the air at the top of the canopy.

  16. V00306010057 rock check dam

    E-Print Network [OSTI]

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

  17. V01406010015 rock check dam

    E-Print Network [OSTI]

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

  18. J00206010020 rock check dam

    E-Print Network [OSTI]

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

  19. T00406010008 rock check dam

    E-Print Network [OSTI]

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

  20. SU-E-J-47: Development of a High-Precision, Image-Guided Radiotherapy, Multi- Purpose Radiation Isocenter Quality-Assurance Calibration and Checking System

    SciTech Connect (OSTI)

    Liu, C [UniversityFlorida, Gainesville, FL (United States); Yan, G; Helmig, R; Lebron, S; Kahler, D [University of Florida, Gainesville, FL (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To develop a system that can define the radiation isocenter and correlate this information with couch coordinates, laser alignment, optical distance indicator (ODI) settings, optical tracking system (OTS) calibrations, and mechanical isocenter walkout. Methods: Our team developed a multi-adapter, multi-purpose quality assurance (QA) and calibration device that uses an electronic portal imaging device (EPID) and in-house image-processing software to define the radiation isocenter, thereby allowing linear accelerator (Linac) components to be verified and calibrated. Motivated by the concept that each Linac component related to patient setup for image-guided radiotherapy based on cone-beam CT should be calibrated with respect to the radiation isocenter, we designed multiple concentric adapters of various materials and shapes to meet the needs of MV and KV radiation isocenter definition, laser alignment, and OTS calibration. The phantom's ability to accurately define the radiation isocenter was validated on 4 Elekta Linacs using a commercial ball bearing (BB) phantom as a reference. Radiation isocenter walkout and the accuracy of couch coordinates, ODI, and OTS were then quantified with the device. Results: The device was able to define the radiation isocenter within 0.3 mm. Radiation isocenter walkout was within ±1 mm at 4 cardinal angles. By switching adapters, we identified that the accuracy of the couch position digital readout, ODI, OTS, and mechanical isocenter walkout was within sub-mm. Conclusion: This multi-adapter, multi-purpose isocenter phantom can be used to accurately define the radiation isocenter and represents a potential paradigm shift in Linac QA. Moreover, multiple concentric adapters allowed for sub-mm accuracy for the other relevant components. This intuitive and user-friendly design is currently patent pending.

  1. W02106010008 rock check dam

    E-Print Network [OSTI]

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

  2. Quality monitored distributed voting system

    DOE Patents [OSTI]

    Skogmo, D.

    1997-03-18T23:59:59.000Z

    A quality monitoring system can detect certain system faults and fraud attempts in a distributed voting system. The system uses decoy voters to cast predetermined check ballots. Absent check ballots can indicate system faults. Altered check ballots can indicate attempts at counterfeiting votes. The system can also cast check ballots at predetermined times to provide another check on the distributed voting system. 6 figs.

  3. Quality monitored distributed voting system

    DOE Patents [OSTI]

    Skogmo, David (Albuquerque, NM)

    1997-01-01T23:59:59.000Z

    A quality monitoring system can detect certain system faults and fraud attempts in a distributed voting system. The system uses decoy voters to cast predetermined check ballots. Absent check ballots can indicate system faults. Altered check ballots can indicate attempts at counterfeiting votes. The system can also cast check ballots at predetermined times to provide another check on the distributed voting system.

  4. STEP Intern Reference Check Sheet

    Broader source: Energy.gov [DOE]

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

  5. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

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

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

  7. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

    E-Print Network [OSTI]

    Jourdan, Guy-Vincent

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

  8. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Eirinaki, Magdalini

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

  9. Results of RCRA groundwater quality assessment program at the 216-U-12 crib

    SciTech Connect (OSTI)

    Williams, B.A.; Chou, C.J.

    1997-05-01T23:59:59.000Z

    The 216-U-12 crib has been in a Resource Conservation and Recovery Act of 1976 (RCRA) interim-status groundwater quality assessment program since the first quarter of 1993. Specific conductance measured in downgradient wells 299-W22-41 and 299-W22-42 exceeds its critical mean. This report presents the results and findings of Phases I and II of the assessment monitoring program, as required by 40 CFR 265.93. The elevated levels of specific conductance in the downgradient {open_quotes}triggering{close_quotes} wells are attributed to nitrate, the mobile anion released when nitric acid is diluted in water, and calcium which is released from the sediments as acid is neutralized. Technetium-99 levels have been elevated in these same downgradient wells since 1991. The source of these constituents is the 216-U-12 crib. Downward migration of nitrate and technetium-99 from the vadose zone (and continued elevated specific conductance in the two downgradient wells) is still occurring because the driving force is still present.

  10. Expression equivalence checking using interval analysis

    E-Print Network [OSTI]

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

    2006-01-01T23:59:59.000Z

    Z. Zhou and W. Burleson, “Equivalence checking of datapathsusing combinational equivalence for extensible processor,”et al. : EXPRESSION EQUIVALENCE CHECKING USING INTERVAL

  11. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

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

  12. Pet Groomer? Check this out....

    E-Print Network [OSTI]

    New Hampshire, University of

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

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

    E-Print Network [OSTI]

    Ábrahám, Erika

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

  14. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Yuan Feng; Nengkun Yu; Mingsheng Ying

    2013-11-14T23:59:59.000Z

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

  15. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Feng, Yuan; Ying, Mingsheng

    2012-01-01T23:59:59.000Z

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

  16. Model-Checking A Tutorial Introduction

    E-Print Network [OSTI]

    Müller-Olm, Markus

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

  17. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

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

  18. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

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

  19. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

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

  20. Payroll Check Direct Deposit Authorization

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

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

  1. Static Consistency Checking for Distributed Specifications

    E-Print Network [OSTI]

    Finkelstein, Anthony

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

  2. Monitoring indoor air quality in French schools and day-care centres. Results from the first phase of a pilot survey.

    E-Print Network [OSTI]

    Boyer, Edmond

    . KEYWORDS Air pollution, air stuffiness, formaldehyde, benzene. 1 INTRODUCTION Indoor air quality to determine an air stuffiness index as an indirect mean to assess pollutants accumulation in a closed spaceMonitoring indoor air quality in French schools and day-care centres. Results from the first phase

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

    E-Print Network [OSTI]

    Ouaknine, Joël

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

  4. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

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

  5. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

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

  6. Tools for Viewing and Quality Checking ARM Data

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron Spin Transition in2, 2003Tool of tomorrow today Tool ofEnergy

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

    E-Print Network [OSTI]

    Meng, Ellis

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

  8. Test quality

    SciTech Connect (OSTI)

    Hartley, R.S. [EG and G Idaho, Inc., Idaho Falls, ID (United States); Keller, A.E. [Nuclear Regulatory Commission, Washington, DC (United States)

    1992-09-01T23:59:59.000Z

    This document discusses inservice testing of safety-related components at nuclear power plants which is performed under the American Society of Mechanical Engineers Boiler and Pressure Vessel Code (the Code). Subsections IWP and IWV of Section XI of the Code state test method and frequency requirements for pumps and valves respectively. Tests vary greatly in quality and frequency. This paper explores the concept of test quality and its relationship with operational readiness and preventive maintenance. This paper also considers the frequencies of component testing. Test quality is related to a test`s ability to detect degradation that can cause component failure. The quality of the test depends on several factors, including specific parameters measured, system or component conditions, and instrument accuracy. The quality of some currently required tests for check valves, motor-operated valves, and pumps is also discussed. Suggestions are made to improve test quality by measuring different parameters, testing valves under load, and testing positive displacement pumps at high pressure and centrifugal pumps at high flow rate conditions. These suggestions can help to improve the level of assurance of component operational readiness gained from testing.

  9. Test quality

    SciTech Connect (OSTI)

    Hartley, R.S. (EG and G Idaho, Inc., Idaho Falls, ID (United States)); Keller, A.E. (Nuclear Regulatory Commission, Washington, DC (United States))

    1992-01-01T23:59:59.000Z

    This document discusses inservice testing of safety-related components at nuclear power plants which is performed under the American Society of Mechanical Engineers Boiler and Pressure Vessel Code (the Code). Subsections IWP and IWV of Section XI of the Code state test method and frequency requirements for pumps and valves respectively. Tests vary greatly in quality and frequency. This paper explores the concept of test quality and its relationship with operational readiness and preventive maintenance. This paper also considers the frequencies of component testing. Test quality is related to a test's ability to detect degradation that can cause component failure. The quality of the test depends on several factors, including specific parameters measured, system or component conditions, and instrument accuracy. The quality of some currently required tests for check valves, motor-operated valves, and pumps is also discussed. Suggestions are made to improve test quality by measuring different parameters, testing valves under load, and testing positive displacement pumps at high pressure and centrifugal pumps at high flow rate conditions. These suggestions can help to improve the level of assurance of component operational readiness gained from testing.

  10. Search results | Department of Energy

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

    Energy Sources Search results Search results Enter terms Search Showing 1 - 10 of 18 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that...

  11. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Joël

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

  12. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Joël

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

  13. Practical API Protocol Checking with Access Permissions

    E-Print Network [OSTI]

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

  14. Asserting and Checking Determinism for Multithreaded Programs

    E-Print Network [OSTI]

    Sen, Koushik

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

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

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

    2010-01-01T23:59:59.000Z

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

  17. ModelChecking A Tutorial Introduction

    E-Print Network [OSTI]

    Schmidt, David A.

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

  18. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

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

  19. Keep new concepts Check cognition level

    E-Print Network [OSTI]

    Chaudhuri, Surajit

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

  20. CRADA CHECKLIST For Your Convenience, check off

    E-Print Network [OSTI]

    Baker, Chris I.

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

  1. Model Checking User Interfaces Abigail Cauchi

    E-Print Network [OSTI]

    Pace, Gordon J.

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

  2. AD CONTENT CHECK LIST: o Company logo

    E-Print Network [OSTI]

    Zakharov, Vladimir

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

  3. Hydrogen Fuel Quality - Focus: Analytical Methods Development...

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

    Fuel Quality - Focus: Analytical Methods Development & Hydrogen Fuel Quality Results Hydrogen Fuel Quality - Focus: Analytical Methods Development & Hydrogen Fuel Quality Results...

  4. Optimized synthesis of concurrently checked controllers

    SciTech Connect (OSTI)

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

    1990-04-01T23:59:59.000Z

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

  5. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

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

    1991-01-01T23:59:59.000Z

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

  6. AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES

    E-Print Network [OSTI]

    Tronci, Enrico

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

  7. Mining Complex Boolean Expressions for Sequential Equivalence Checking

    E-Print Network [OSTI]

    Ramakrishnan, Naren

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

  8. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thiébaux, Sylvie

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

  9. A VSLI design rule check program generator

    E-Print Network [OSTI]

    Harwood, Ann Elizabeth Gelber

    1985-01-01T23:59:59.000Z

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

  10. ClimateCHECK | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK Jump

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

    E-Print Network [OSTI]

    Ping, Li

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

  12. Search results | Department of Energy

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

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  13. Search results | Department of Energy

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

    Download Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  14. Search results | Department of Energy

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

    4 Download Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can...

  15. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted...

  16. Search results | Department of Energy

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

    Middle School (6-8) Teachers Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward...

  17. Search results | Department of Energy

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

    Middle School (6-8) Teachers Search results Search results Enter terms Search Showing 1 - 10 of 18 results. Download Build a Pizza Box Solar Oven Check out this staightforward...

  18. Search results | Department of Energy

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

    4 Search results Search results Enter terms Search Showing 1 - 10 of 18 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted...

  19. Course Materials • ALWAYS check the MA 15300 website FIRST ...

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03T23:59:59.000Z

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

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

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

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

  1. SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check

    E-Print Network [OSTI]

    Sirianni, Marco

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Plotkin, Joshua B.

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

  4. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  5. Using Model Checking for Analyzing Distributed Power Control Problems

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  6. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

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

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

    E-Print Network [OSTI]

    Pientka, Brigitte

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

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

    E-Print Network [OSTI]

    Yanikoglu, Berrin

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

  9. Assumption-Commitment Support for CSP Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  10. Results of phase 1 groundwater quality assessment for Single-Shell Tank Waste Management Areas B-BX-BY at the Hanford Site

    SciTech Connect (OSTI)

    Narbutovskih, S.M.

    1998-02-01T23:59:59.000Z

    Pacific Northwest National Laboratory conducted a Phase 1 (or first determination) groundwater quality assessment for the US Department of Energy, Richland Operations Office, in accordance with the Federal Facility Compliance Agreement. The purpose of the assessment was to determine if the Single-Shell Tank Waste Management Area (WMA) B-BX-BY has impacted groundwater quality. This report will document the evidence demonstrating that the WMA has impacted groundwater quality.

  11. Search results | Department of Energy

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

    Search results Enter terms Search Showing 1 - 1 of 1 result. Download Fun with the Sun- Teacher's Activity Guide for Elementary Grades K-2 Check out these energy activities...

  12. Water Quality

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

    Water Quality Water Quality We protect water quality through stormwater control measures and an extensive network of monitoring wells and stations encompassing groundwater, surface...

  13. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

  14. Checking Herbrand Equalities and Beyond Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

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

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

    E-Print Network [OSTI]

    Finkelstein, Anthony

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

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

    E-Print Network [OSTI]

    Denver, University of

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

  17. Specifying and Checking Semantic Atomicity for Multithreaded Programs

    E-Print Network [OSTI]

    Necula, George

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

  18. Health-Related Quality of Life After Stereotactic Body Radiation Therapy for Localized Prostate Cancer: Results From a Multi-institutional Consortium of Prospective Trials

    SciTech Connect (OSTI)

    King, Christopher R., E-mail: crking@mednet.ucla.edu [Department of Radiation Oncology, University of California, Los Angeles, California (United States); Collins, Sean [Department of Radiation Oncology, Georgetown University, Washington, District of Columbia (United States); Fuller, Donald [Genesis Healthcare Partners, San Diego, California (United States); Wang, Pin-Chieh; Kupelian, Patrick; Steinberg, Michael [Department of Radiation Oncology, University of California, Los Angeles, California (United States); Katz, Alan [Flushing Radiation Oncology, Flushing, New York (United States)

    2013-12-01T23:59:59.000Z

    Purpose: To evaluate the early and late health-related quality of life (QOL) outcomes among prostate cancer patients following stereotactic body radiation therapy (SBRT). Methods and Materials: Patient self-reported QOL was prospectively measured among 864 patients from phase 2 clinical trials of SBRT for localized prostate cancer. Data from the Expanded Prostate Cancer Index Composite (EPIC) instrument were obtained at baseline and at regular intervals up to 6 years. SBRT delivered a median dose of 36.25 Gy in 4 or 5 fractions. A short course of androgen deprivation therapy was given to 14% of patients. Results: Median follow-up was 3 years and 194 patients remained evaluable at 5 years. A transient decline in the urinary and bowel domains was observed within the first 3 months after SBRT which returned to baseline status or better within 6 months and remained so beyond 5 years. The same pattern was observed among patients with good versus poor baseline function and was independent of the degree of early toxicities. Sexual QOL decline was predominantly observed within the first 9 months, a pattern not altered by the use of androgen deprivation therapy or patient age. Conclusion: Long-term outcome demonstrates that prostate SBRT is well tolerated and has little lasting impact on health-related QOL. A transient and modest decline in urinary and bowel QOL during the first few months after SBRT quickly recovers to baseline levels. With a large number of patients evaluable up to 5 years following SBRT, it is unlikely that unexpected late adverse effects will manifest themselves.

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

    E-Print Network [OSTI]

    Prinz, Friedrich B.

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

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

    E-Print Network [OSTI]

    Prinz, Friedrich B.

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

  1. Research Finds Vitamin D Deficiency Affects Bone Quality

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

    their results, the researchers recommended that vitamin D levels be checked and kept on well--balanced levels to maintain the structural integrity of bones and avoid...

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

    E-Print Network [OSTI]

    Hull, Elaine

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

  3. Swing Check Valve Design Criteria and CFD Validation

    SciTech Connect (OSTI)

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

    2006-07-01T23:59:59.000Z

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

  4. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...

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

    o Order of 10 August 1984 relating to the quality of design, construction, operation and decommissioning of nuclear installations (so called quality order); o Order of 26 November...

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

    E-Print Network [OSTI]

    Pawlowski, Wojtek

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

  6. Check for chirality in {sup 102}Rh

    SciTech Connect (OSTI)

    Tonev, D.; Goutev, N.; Yavahchova, M. S.; Petkov, P.; Angelis, G. de; Bhowmik, R. K.; Singh, R. P.; Muralithar, S.; Madhavan, N.; Kumar, R.; Raju, M. Kumar; Kaur, J.; Mahanto, G.; Singh, A.; Kaur, N.; Garg, R.; Sukla, A.; Marinov, Ts. K.; Brant, S. [Bulgarian Academy of Sciences, Institute for Nuclear Research and Nuclear Energy, Sofia (Bulgaria) and INFN, Laboratori Nazionali di Legnaro, Legnaro (Italy); Inter-University Accelerator Center, New Delhi (India); Nuclear Physics Department, Andhra University, Visakhapatnam (India); Department of Physics, Punjab University, Chandigarh (India); Inter-University Accelerator Center, New Delhi (India); Department of Physics, Punjab University, Chandigarh (India); Department of Physics and Astrophysics, Delhi University, New Delhi (India); Department of Physics, Banaras Hindu University, Varanasi (India); Bulgarian Academy of Sciences, Institute for Nuclear Research and Nuclear Energy, Sofia (Bulgaria); Department of Physics, Faculty of Science, Zagreb University, Zagreb (Croatia)

    2012-10-20T23:59:59.000Z

    Excited states in {sup 102}Rh, populated by the fusion-evaporation reaction {sup 94}Zr({sup 11}B,3n){sup 102}Rh at a beam energy of 36 MeV, were studied using the INGA spectrometer at IUAC, New Delhi. The angular correlations and the electromagnetic character of some of the gamma-ray transitions observed were investigated in details. A new chiral candidate sister band was found in the level-scheme of {sup 102}Rh. Lifetimes of exited states in {sup 102}Rh were measured by means of the Doppler-shift attenuation technique. The experimental results do not support the presence of static chirality in {sup 102}Rh.

  7. Revising Specifications with CTL Properties using Bounded Model Checking

    E-Print Network [OSTI]

    Finger, Marcelo

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

  8. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

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

  9. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Roscoe, Bill

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

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

    E-Print Network [OSTI]

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

  12. Coded modulation with Low Density Parity Check codes

    E-Print Network [OSTI]

    Narayanaswami, Ravi

    2001-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Bollig, Benedikt

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

  14. Check BMail account University sends all official communications

    E-Print Network [OSTI]

    Suzuki, Masatsugu

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

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

    E-Print Network [OSTI]

    Silver, Whendee

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

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

    E-Print Network [OSTI]

    Lu, Jianguo

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

  17. Checking Session-Oriented Interactions between Web Services

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Vardi, Moshe Y.

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

  19. Flat acceleration in symbolic model checking Sebastien Bardin1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  20. Eoeective Recognizability and Model Checking of Reactive Fioeo Automata

    E-Print Network [OSTI]

    Sutre, Grégoire

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

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

    SciTech Connect (OSTI)

    Prowler, S.

    1990-09-01T23:59:59.000Z

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

  2. Conformance Checking of Interacting Processes With Overlapping Instances

    E-Print Network [OSTI]

    van der Aalst, Wil

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

  3. Equivalence Checking for Function Pipelining in Behavioral Synthesis

    E-Print Network [OSTI]

    Xie, Fei

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

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

    E-Print Network [OSTI]

    Ray, Indrakshi

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

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

    E-Print Network [OSTI]

    Abel, Andreas

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

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

    E-Print Network [OSTI]

    Schneider, Carsten

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

  7. Polymorphic CSP Type Checking Ping Gao and Robert Esser

    E-Print Network [OSTI]

    Esser, Robert

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

  8. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

  10. A Simplified Model Of QuickCheck Automata Kevin Falzon

    E-Print Network [OSTI]

    Pace, Gordon J.

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

  11. 2003 Horseshoe Beach Lease Area, Dixie County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  12. 2004 Gulf Jackson Lease Area, Levy County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  13. 2002 Dog Island Lease Area, Levy County Quality Assurance/Quality Control (AQ/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (AQ/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  14. 2003 Body A Lease Area, Brevard County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  15. 2003 Pine Island Lease Area, Dixie County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  16. 2002 Body A Lease Area, Brevard County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  17. 2002 Pine Island Lease Area, Dixie County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  18. 2003 Dog Island Lease Area, Levy County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  19. 2003 Gulf Jackson Lease Area, Levy County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  20. 2002 Gulf Jackson Lease Area, Levy County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

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

  2. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

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

    1988-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01T23:59:59.000Z

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

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

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

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

  6. Quality Assurance Specialist

    Broader source: Energy.gov [DOE]

    Alternate Title(s):Quality Control Technician; Quality Assurance Inspector; Quality Assurance Representative

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Egyed, Alexander

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

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

    E-Print Network [OSTI]

    MacKay, David J.C.

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

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

    E-Print Network [OSTI]

    Hull, Elaine

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

  11. Quality assurance for the ALICE Monte Carlo procedure

    E-Print Network [OSTI]

    M. Ajaz; Seforo Mohlalisi; Peter Hristov; Jean Pierre Revol

    2009-04-10T23:59:59.000Z

    We implement the already existing macro,$ALICE_ROOT/STEER /CheckESD.C that is ran after reconstruction to compute the physics efficiency, as a task that will run on proof framework like CAF. The task was implemented in a C++ class called AliAnalysisTaskCheckESD and it inherits from AliAnalysisTaskSE base class. The function of AliAnalysisTaskCheckESD is to compute the ratio of the number of reconstructed particles to the number of particle generated by the Monte Carlo generator.The class AliAnalysisTaskCheckESD was successfully implemented. It was used during the production for first physics and permitted to discover several problems (missing track in the MUON arm reconstruction, low efficiency in the PHOS detector etc.). The code is committed to the SVN repository and will become standard tool for quality assurance.

  12. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...

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

    organisation conducting these activities should have an ITER approved QA Program or an ISO 9001 accredited quality system. The general requirements are detailed in ITER...

  13. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...

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

    organisation conducting these activities should have an ITER approved QA Program or an ISO 9001 accredited quality system. The general requirements are detailed in ITER document...

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

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

    2012-01-01T23:59:59.000Z

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

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

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMakeEducation Programs Business EnclavePositive Pay and Check

  16. LCLS User Check-In Procedures | Linac Coherent Light Source

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHigh SchoolIn12electron 9 5 - -/e),,s - 6157Bioenergy09913User Check-In

  17. check list for those with one abnormal BeLPT

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian Nuclear Warheads|ofEventsWorkshopY-12a Multi-User Network Testbed3CHECK

  18. Cerro Grande Fire Impact to Water Quality and Stream Flow near Los Alamos National Laboratory: Results of Four Years of Monitoring

    SciTech Connect (OSTI)

    B.M. Gallaher; R.J. Koch

    2004-09-15T23:59:59.000Z

    In May 2000, the Cerro Grande fire burned about 7400 acres of mixed conifer forest on the Los Alamos National Laboratory (LANL), and much of the 10,000 acres of mountainside draining onto LANL was severely burned. The resulting burned landscapes raised concerns of increased storm runoff and transport of contaminants by runoff in the canyons traversing LANL. The first storms after the fire produced runoff peaks that were more than 200 times greater than prefire levels. Total runoff volume for the year 2000 increased 50% over prefire years, despite a decline in total precipitation of 13% below normal and a general decrease in the number of monsoonal thunderstorms. The majority of runoff in 2000 occurred in the canyons at LANL south of Pueblo Canyon (70%), where the highest runoff volume occurred in Water Canyon and the peak discharge occurred in Pajarito Canyon. This report describes the observed effects of the Cerro Grande fire and related environmental impacts to watersheds at and near Los Alamos National Laboratory (LANL) for the first four runoff seasons after the fire, from 2000 through 2003. Spatial and temporal trends in radiological and chemical constituents that were identified as being associated with the Cerro Grande fire and those that were identified as being associated with historic LANL discharges are evaluated with regard to impacts to the Rio Grande and area reservoirs downstream of LANL. The results of environmental sampling performed by LANL, the New Mexico Environment Department (NMED), and U.S. Geological Survey (USGS) after the Cerro Grande fire are included in the evaluation. Effects are described for storm runoff, baseflow, stream sediments, and area regional reservoir sediment.

  19. Quality Management

    Broader source: Energy.gov [DOE]

    The Office of Quality Management, within the Office of Health, Safety and Security develops policies and procedures to ensure the classification and control of information is effective and...

  20. SU-E-T-153: Establish a Comprehensive Patient-Specific Plan QA Database for Instituitional Quality Control Program

    SciTech Connect (OSTI)

    Ding, X; Olszanski, A; Scheuermann, R; Bellerive, M; Solberg, T [University of Pennsylvania, Philadelphia, PA (United States)

    2014-06-01T23:59:59.000Z

    Purpose: Since the publication of TG-119, several new treatment techniques requiring new QA devices have been implemented in the clinic. To monitor and analyze our institutional QA performance, we have created a comprehensive QA database using Research Electronic Data Capture (REDCap). The database will also assist us in creating IMRT QA Analysis practice guidelines. Methods: Since Oct. 2013, 336 patient plan QA results were entered into the database. Plan parameters such as plan ID, treatment site, technique, energy, optimization constraints, modulation factor, leaf speed, leaf opening.etc were automatically extracted from the Varian Eclipse database to allow us to refine our evaluation and analysis method. Specific QA device, LINAC-related information, and measurement and analysis results were manually entered by the QA team. IMRT plans were measured using MapCHECK2 while RapidArc plans were measured using ArcCHECK. Distance-To-Agreement 3%/3mm without global maximum normalization was used. Results: The data indicates that different treatment techniques might benefit from a different site-specific action level(AL) depending on the complexity of the plan and optimization parameter used (e.g., breast IMRT QA= 97.8% and pelvis IMRT QA=93.1%). Different QA devices may also benefit from a different AL (MapCHECK2 = 94.1% while ArcCHECK = 83.0%). The relationship between the parameters and passing rate suggests that the complexity of each plan, characterized by leaf travel, leaf opening and modulation factor, affect the passing rate significantly. The database is reviewed regularly, and any abnormal point of the QA result or a trend of lower QA passing rate on a specific LINAC is further investigated. Conclusion: Establishing a comprehensive QA database provides an overview of the quality assurance program. It not only helps in answering the question “what is a reasonable and achievable standard for each institution”, but also saves time in monitoring and investigating the daily machine and QA performance.

  1. Results of a Quality Assurance Review of External Beam Radiation Therapy in the International Society of Paediatric Oncology (Europe) Neuroblastoma Group's High-risk Neuroblastoma Trial: A SIOPEN Study

    SciTech Connect (OSTI)

    Gaze, Mark N., E-mail: mark.gaze@uclh.nhs.uk [Department of Oncology, University College London Hospitals NHS Foundation Trust, London (United Kingdom); Boterberg, Tom [Department of Radiation Oncology, Ghent University Hospital, Ghent (Belgium)] [Department of Radiation Oncology, Ghent University Hospital, Ghent (Belgium); Dieckmann, Karin; Hoermann, Marcus [General Hospital Vienna, Medical University Vienna (Austria)] [General Hospital Vienna, Medical University Vienna (Austria); Gains, Jennifer E.; Sullivan, Kevin P. [Department of Oncology, University College London Hospitals NHS Foundation Trust, London (United Kingdom)] [Department of Oncology, University College London Hospitals NHS Foundation Trust, London (United Kingdom); Ladenstein, Ruth [Children's Cancer Research Institute, St. Anna Children's Hospital, Vienna (Austria)] [Children's Cancer Research Institute, St. Anna Children's Hospital, Vienna (Austria)

    2013-01-01T23:59:59.000Z

    Purpose: Radiation therapy is important for local control in neuroblastoma. This study reviewed the compliance of plans with the radiation therapy guidelines of the International Society of Paediatric Oncology (Europe) Neuroblastoma Group (SIOPEN) High-Risk Trial protocol. Methods and Materials: The SIOPEN trial central electronic database has sections to record diagnostic imaging and radiation therapy planning data. Individual centers may upload data remotely, but not all centers involved in the trial chose to use this system. A quality scoring system was devised based on how well the radiation therapy plan matched the protocol guidelines, to what extent deviations were justified, and whether adverse effects may result. Central review of radiation therapy planning was undertaken retrospectively in 100 patients for whom complete diagnostic and treatment sets were available. Data were reviewed and compared against protocol guidelines by an international team of radiation oncologists and radiologists. For each patient in the sample, the central review team assigned a quality assurance score. Results: It was found that in 48% of patients there was full compliance with protocol requirements. In 29%, there were deviations for justifiable reasons with no likely long-term adverse effects resulting. In 5%, deviations had occurred for justifiable reasons, but that might result in adverse effects. In 1%, there was a deviation with no discernible justification, which would not lead to long-term adverse events. In 17%, unjustified deviations were noted, with a risk of an adverse outcome resulting. Conclusions: Owing to concern over the proportion of patients in whom unjustified deviations were observed, a protocol amendment has been issued. This offers the opportunity for central review of radiation therapy plans before the start of treatment and the treating clinician a chance to modify plans.

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

    E-Print Network [OSTI]

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

    2011-01-01T23:59:59.000Z

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

  3. Analyst Tools and Quality Control Software for the ARM Data System

    SciTech Connect (OSTI)

    Moore, Sean; Hughes, Gary

    2008-07-31T23:59:59.000Z

    Mission Research develops analyst tools and automated quality control software in order to assist the Atmospheric Radiation Measurement (ARM) Data Quality Office with their data inspection tasks. We have developed web-based data analysis and visualization tools such as the interactive plotting program NCVweb, various diagnostic plot browsers, and a datastream processing status application. These tools allow even novice ARM researchers to be productive with ARM data with only minimal effort. We also contribute to the ARM Data Quality Office by analyzing ARM data streams, developing new quality control metrics, new diagnostic plots, and integrating this information into DQ HandS - the Data Quality Health and Status web-based explorer. We have developed several ways to detect outliers in ARM data streams and have written software to run in an automated fashion to flag these outliers. We have also embarked on a system to comprehensively generate long time-series plots, frequency distributions, and other relevant statistics for scientific and engineering data in most high-level, publicly available ARM data streams. Furthermore, frequency distributions categorized by month or by season are made available to help define valid data ranges specific to those time domains. These statistics can be used to set limits that when checked, will improve upon the reporting of suspicious data and the early detection of instrument malfunction. The statistics and proposed limits are stored in a database for easy reporting, refining, and for use by other processes. Web-based applications to view the results are also available.

  4. 2004 Indian River Lease Area, Indian River County Quality Assurance/Quality Control (QA/QC) Log

    E-Print Network [OSTI]

    Florida, University of

    the month. This includes information on fouling, equipment failures and whether post-deployment checks were or a lack of standardization between the two sondes). Notes regarding reliability of data (whether/Quality Control (QA/QC) Log General Notes on Reliability of Data: 1) In general, measurements of temperature

  5. Good Practices as a Quality-Oriented Modeling Vincent Le Gloahec

    E-Print Network [OSTI]

    Boyer, Edmond

    Good Practices as a Quality-Oriented Modeling Assistant Vincent Le Gloahec Alkante SAS, France. These good practices are often described in software quality manuals that, in this form, do not guarantee framework enables on the one hand to describe the good practices and on the other hand to check

  6. Quality Policy

    Broader source: Energy.gov [DOE]

    Quality Policy It is the policy of the Department of Energy to establish quality requirements to ensure that risks and environmental impacts are minimized and that safety, reliability, and performance are maximized through the application of effective management systems commensurate with the risks posed by the facility or activity and its work. The Department implements this policy through the QA Order and the QA rule directives to ensure quality assurance requirements are clearly specified for the broad spectrum of work performed by DOE and its contractors.

  7. Quality Assurance

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

    2005-06-17T23:59:59.000Z

    This Order ensures that the quality of DOE/NNSA products and services meets or exceeds the customers' expectations. Cancels DOE O 414.1B and DOE N 411.1. Canceled by DOE O 414.1D.

  8. Quality Assurance

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

    1999-09-29T23:59:59.000Z

    To establish an effective management system [i.e., quality assurance programs (QAPs)] using the performance requirements of this Order, coupled with technical standards where appropriate. Cancels DOE O 414.1.

  9. Quality Assurance

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

    2004-04-29T23:59:59.000Z

    This Order ensures that the quality of DOE/NNSA products and services meets or exceeds the customer's expectations. This Order cancels DOE O 414.1A, Quality Assurance, dated 9-29-99, and Attachment 1, paragraph 8, and Attachment 2, paragraph 22, of DOE O 440.1A, Worker Protection Management for DOE Federal and Contractor Employees, dated 3-27-98. Cancels: DOE O 414.1A and DOE O 440.1A, parts as noted.

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

    E-Print Network [OSTI]

    Mohsenin, Tinoosh; Baas, Bevan M.

    2010-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

  12. CSP 542: Internet Design and Analysis Eric Siegel, Designing Quality-of-Service Solutions for the Enterprise, John Wiley and Sons, ISBN 0471333131

    E-Print Network [OSTI]

    Heller, Barbara

    CSP 542: Internet Design and Analysis Texts Eric Siegel, Designing Quality-of-Service Solutions March 2006 (html, css checks) CSP 542: Internet Design and Analysis - CS Dept, Illinois ... 1 of 1 #12;

  13. Quantifying the Parallelism in BPMN Processes using Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    a valuable guide for the problem of resource allocation in business processes. In this paper, we investigate . time and space, with a beginning and an end [5]. Business process modelling is an important area process efficiency and quality. More precisely, it is a stage to model activities, their causal

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

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

    E-Print Network [OSTI]

    de Lijser, Peter

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

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

    E-Print Network [OSTI]

    Platzer, André

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

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

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

    E-Print Network [OSTI]

    Knowles, David William

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

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

    E-Print Network [OSTI]

    Wong, Tan F.

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

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

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

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

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

    E-Print Network [OSTI]

    Abate, Alessandro

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

  3. Quality Assurance

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

    1981-01-16T23:59:59.000Z

    To provide Department of Energy (DOE) policy, set forth principles, and assign responsibilities for establishing, implementing, and maintaining programs of plans and actions to assure quality achievement in DOE programs. Canceled by DOE O 5700.6A, dated 7-21-1981.

  4. Quality Assurance

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

    1981-07-21T23:59:59.000Z

    To provide Department of Energy (DOE) policy, set forth principles, and assign responsibilities for establishing, implementing, and maintaining programs of plans and actions to assure quality achievement in DOE programs. Cancels DOE O 5700.6, dated 1-16-1981. Canceled by DOE O 5700.6B, dated 9-23-1986.

  5. Quality Assurance

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

    2001-07-12T23:59:59.000Z

    To establish an effective management system [i.e., quality assurance programs(QAPs)] using the performance requirements of this Order, coupled with technical standards where appropriate. Change 1, dated 7/12/01, facilitates the Department's organizational transition necessitated by establishment of the NNSA. (Attachment 2 of this Order is canceled by DOE O 470.2B.) Cancels: DOE O 414.1

  6. Data Driven Quality Assurance and Quality Control

    Broader source: Energy.gov [DOE]

    "Data Driven Quality Assurance & Quality Control," Patrick Roche, Conservation Services Group. Provides an overview of data QA/QC system design.

  7. The Multi-Stage Investment Timing Game in Offshore Petroleum Production: Preliminary results from an econometric model

    E-Print Network [OSTI]

    Lin, C.-Y. Cynthia

    2007-01-01T23:59:59.000Z

    robustness checks from the econometric model coefficients inPreliminary results from an econometric model C. -Y.paper uses a structural econometric model to analyze the

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Abi-Antoun, Marwan

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Cheon, Yoonsik

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

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

    E-Print Network [OSTI]

    Gurvits, Leonid

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

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

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

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

    2009-07-15T23:59:59.000Z

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

  15. SU-E-T-223: Investigation of the Accuracy of Two-Dimensional Dose Distributions Measurement From High-Dose-Rate Brachytherapy Ir-192 Source Using Multiple-Diode-Array Detector (MapCheck2)

    SciTech Connect (OSTI)

    Taguenang, J; De La Fuente, T Herman; Ahmad, S; Ali, I [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To investigate the dosimetric accuracy of multiple-diode-array detector (Mapcheck2) for high-dose-rate brachytherapy Ir-192 source. The two-dimensional (2D) dose distributions measured with MapCheck2 were validated with EBT2 Gafchromic film measurement and AAPM task-group- 43 (TG-43) modeling. Methods: 2D-dose distributions from Ir-192 source were measured with MapCheck2 and EBT2-films. MapCheck2 response was corrected for effects: directional dependence, diode and phantom heterogeneity. Optical density growth of the film was controlled by synchronized scanning of the film exposed to Ir-192 and calibration films exposed to 6 MV linac beams. Similarly, MapCheck2 response was calibrated to dose using 6 MV beams. An empirical model was developed for the dose distributions measured with Mapcheck2 that considered directional, diode and phantom heterogeneity corrections. The dose deposited in solid-state-detectors was modeled using a cavity theory model for the diode. This model was then validated with measurements using EBT2-films and calculations with TG-43. Results: The response of MapCheck2 has been corrected for different effects including: (a) directional dependence of 0–20% over angular range 0o–90o, (b) phantom heterogeneity (3%) and (c) diode heterogeneity (9%). The corrected dose distributions measured with MapCheck2 agreed well with the measured dose distributions from EBT2-film and with calculations using TG-43 within 5% over a wide range of dose levels and rates. The advantages of MapCheck2 include less noisy, linear and stable response compared with film. The response of MapCheck2 exposed to 192Ir-source showed no energy dependence similar to its response to MV energy beam. Detection spatial-resolution of individual diodes was 0.8×0.8 mm2, however, 2DMapCheck2 resolution is limited by distance between diodes (7.07 mm). Conclusion: The dose distribution measured with MapCheck2 agreed well within 5% with that measured using EBT2-films; and calculations with TG- 43. Considering correction of artifacts, MapCheck2 provides a compact, practical and accurate dosimetric tool for measurement of 2D-dose distributions for brachytherapy Ir-192.

  16. Dependence with air density of the response of the PTW SourceCheck ionization chamber for low energy brachytherapy sources

    SciTech Connect (OSTI)

    Tornero-López, Ana M.; Guirado, Damián; Ruiz-Arrebola, Samuel [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain); Gazdic-Santic, Maja [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)] [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)

    2013-12-15T23:59:59.000Z

    Purpose: Air-communicating well ionization chambers are commonly used to assess air kerma strength of sources used in brachytherapy. The signal produced is supposed to be proportional to the air density within the chamber and, therefore, a density-independent air kerma strength is obtained when the measurement is corrected to standard atmospheric conditions using the usual temperature and pressure correction factor. Nevertheless, when assessing low energy sources, the ionization chambers may not fulfill that condition and a residual density dependence still remains after correction. In this work, the authors examined the behavior of the PTW 34051 SourceCheck ionization chamber when measuring the air kerma strength of {sup 125}I seeds.Methods: Four different SourceCheck chambers were analyzed. With each one of them, two series of measurements of the air kerma strength for {sup 125}I selectSeed{sup TM} brachytherapy sources were performed inside a pressure chamber and varying the pressure in a range from 747 to 1040 hPa (560 to 780 mm Hg). The temperature and relative humidity were kept basically constant. An analogous experiment was performed by taking measurements at different altitudes above sea level.Results: Contrary to other well-known ionization chambers, like the HDR1000 PLUS, in which the temperature-pressure correction factor overcorrects the measurements, in the SourceCheck ionization chamber they are undercorrected. At a typical atmospheric situation of 933 hPa (700 mm Hg) and 20 °C, this undercorrection turns out to be 1.5%. Corrected measurements show a residual linear dependence on the density and, as a consequence, an additional density dependent correction must be applied. The slope of this residual linear density dependence is different for each SourceCheck chamber investigated. The results obtained by taking measurements at different altitudes are compatible with those obtained with the pressure chamber.Conclusions: Variations of the altitude and changes in the weather conditions may produce significant density corrections, and that effect should be taken into account. This effect is chamber-dependent, indicating that a specific calibration is necessary for each particular chamber. To our knowledge, this correction has not been considered so far for SourceCheck ionization chambers, but its magnitude cannot be neglected in clinical practice. The atmospheric pressure and temperature at which the chamber was calibrated need to be taken into account, and they should be reported in the calibration certificate. In addition, each institution should analyze the particular response of its SourceCheck ionization chamber and compute the adequate correction factors. In the absence of a suitable pressure chamber, a possibility for this assessment is to take measurements at different altitudes, spanning a wide enough air density range.

  17. Construction quality assurance report

    SciTech Connect (OSTI)

    Roscha, V.

    1994-09-08T23:59:59.000Z

    This report provides a summary of the construction quality assurance (CQA) observation and test results, including: The results of the geosynthetic and soil materials conformance testing. The observation and testing results associates with the installation of the soil liners. The observation and testing results associated with the installation of the HDPE geomembrane liner systems. The observation and testing results associated with the installation of the leachate collection and removal systems. The observation and testing results associated with the installation of the working surfaces. The observation and testing results associated with in-plant manufacturing process. Summary of submittal reviews by Golder Construction Services, Inc. The submittal and certification of the piping material specifications. The observation and verification associated of the Acceptance Test Procedure results of the operational equipment functions. Summary of the ECNs which are incorporated into the project.

  18. Air Quality and Outdoor Activity Guidance for Schools Regular physical activity --at least 60 minutes each day --promotes health and fitness. The table below shows when and how to

    E-Print Network [OSTI]

    Air Quality and Outdoor Activity Guidance for Schools Regular physical activity -- at least 60 physical activity based on the Air Quality Index. This guidance can help protect the health of all children, including teenagers, who are more sensitive than adults to air pollution. Check the air quality daily at www

  19. Hydrogen Fuel Quality

    SciTech Connect (OSTI)

    Rockward, Tommy [Los Alamos National Laboratory

    2012-07-16T23:59:59.000Z

    For the past 6 years, open discussions and/or meetings have been held and are still on-going with OEM, Hydrogen Suppliers, other test facilities from the North America Team and International collaborators regarding experimental results, fuel clean-up cost, modeling, and analytical techniques to help determine levels of constituents for the development of an international standard for hydrogen fuel quality (ISO TC197 WG-12). Significant progress has been made. The process for the fuel standard is entering final stages as a result of the technical accomplishments. The objectives are to: (1) Determine the allowable levels of hydrogen fuel contaminants in support of the development of science-based international standards for hydrogen fuel quality (ISO TC197 WG-12); and (2) Validate the ASTM test method for determining low levels of non-hydrogen constituents.

  20. Ethers help gasoline quality

    SciTech Connect (OSTI)

    Chang, E.J.; Leiby, S.M. (SRI International, Menlo Park, CA (US))

    1992-02-01T23:59:59.000Z

    In this article three scenarios to evaluate the effect of etherification on gasoline production and quality are reviewed: Base case FCC/C{sub 4} alkylation complex - FCC unit operation for maximum gasoline yield, MTBE unit added to base case FCC unit operation and MTBE unit added to maximum olefins FCC unit operation. Details of the FCC, MTBE and C{sub 4} alkylation operations used in this article are reviewed, followed by a discussion of overall results.

  1. Data Visualization for Quality-Check Purposes of Monitored Electricity Consumption in All Office Buildings in the ESL Database

    E-Print Network [OSTI]

    Sreshthaputra, A.; Abushakra, B.; Haberl, J. S.; Claridge, D. E.

    2000-01-01T23:59:59.000Z

    This report comprises an effort to visualize the monitored electricity consumption in all office buildings (not including the office buildings comprising other functions as classrooms and laboratories, for instance) in the ESL database. This data...

  2. A Vectorless Framework for Power Grid Electromigration Checking

    E-Print Network [OSTI]

    Najm, Farid N.

    , instead of the traditional series model. Keywords Power grid, Electromigration, Verification, Redundancy, Opti- mization 1. INTRODUCTION Power grid verification has become an essential step in modern ignored when the series model was assumed. As a result, the lifetime predicted by the series system model

  3. Model-Checking Systems with Unbounded Variables without Abstraction

    E-Print Network [OSTI]

    Pierre, Laurence

    Pierre2 1 CMI/Universit´e de Provence 39 Rue Joliot-Curie 13453 Marseille cedex 13 - France Magali.Contensin@cmi of a model-checker for the modal - calculus with a theorem prover, first theoretical results were reported

  4. Defining Forage Quality

    E-Print Network [OSTI]

    Muir, James; Lambert, Barry; Newman, Yoana

    2007-01-18T23:59:59.000Z

    This publication covers the definition of forage quality, the main factors affecting forage quality, and the components and importance of forage analyses. It focuses on the need for producers to understand forage quality and the factors that affect...

  5. Office of Quality Assurance

    Broader source: Energy.gov [DOE]

    The Office of Quality Assurance establishes and maintains the quality assurance (QA) policies, requirements and guidance for the Department and serves as DOE's corporate resource to ensure that products and services meet or exceed the Department’s quality objectives.

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

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07T23:59:59.000Z

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

  7. Groundwater Quality Standards (Nebraska)

    Broader source: Energy.gov [DOE]

    These regulations, promulgated by the Department of Environmental Quality, contain groundwater quality standards and classifications, regulations for point sources, and provisions for remedial action.

  8. Environmental Quality: Air (Louisiana)

    Broader source: Energy.gov [DOE]

    The Department of Environmental Quality regulates air quality in Louisiana. The Department has an established a fee system for funding the monitoring, investigation and other activities required...

  9. Log quality enhancement: A systematic assessment of logging company wellsite performance and log quality

    SciTech Connect (OSTI)

    Farnan, R.A.; Mc Hattie, C.M.

    1984-01-01T23:59:59.000Z

    To improve the monitoring of logging company performance, computer programs were developed to assess information en masse from log quality check lists completed on wellsite by the service company engineer and Phillips representative. A study of all logging jobs performed by different service companies for Phillips in Oklahoma (panhandle excepted) during 1982 enabled several pertinent and beneficial interpretations to be made. Company A provided the best tool and crew service. Company B incurred an excessive amount of lost time related to tool failure, in particular the neutron-density tool combination. Company C, although used only three times, incurred no lost time. With a reasonable data base valid conclusions were made pertaining, for example, to repeated tool malfunctions. The actual logs were then assessed for quality.

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

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

    E-Print Network [OSTI]

    Müller-Olm, Markus

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

  12. MetaGame: An Animation Tool for ModelChecking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Gupta, Rajesh

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

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

    E-Print Network [OSTI]

    Ryan, Mark

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    Oxford, University of

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

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

    E-Print Network [OSTI]

    Abolmaesumi, Purang

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

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

    E-Print Network [OSTI]

    LaValle, Steven M.

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

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

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Pasareanu, Corina

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

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

    E-Print Network [OSTI]

    Meyers, Steven D.

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

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

    E-Print Network [OSTI]

    Yang, Yun

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Doran, Simon J.

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

  12. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

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

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

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

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

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

    E-Print Network [OSTI]

    Beame, Paul

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

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

    E-Print Network [OSTI]

    Uppsala Universitet

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

  16. Quality Counts Certificate

    E-Print Network [OSTI]

    Chilek, Kevin

    2007-01-31T23:59:59.000Z

    This certificate accompanies the Quality Counts program. 1 page. It comes in packages of 25 certificates....

  17. Track 9: Quality Assurance

    Broader source: Energy.gov [DOE]

    ISM Workshop Presentations Knoxville Convention Center, Knoxville, TN August 2009 Track 9: Quality Assurance

  18. Air Quality Chris Keil, Bowling Green State University

    E-Print Network [OSTI]

    Air Quality Chris Keil, Bowling Green State University Key Concepts Air quality is important because of continuous exposure through normal breathing functions. Poor air quality causes possible, and ecosystems. Community environmental consequences result from poor air quality, e.g., acid rain, smog

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

    E-Print Network [OSTI]

    Selmic, Sandra

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

  20. SU-E-T-80: Comparison of Fluence-Based RapidArc QAs Using EPID and MapCHECK 2

    SciTech Connect (OSTI)

    Jin, H; Jesseph, F; Ahmad, S [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To compare the Varian aS-1000 EPID imager to the isocentrically mounted MapCHECK 2 diode array for RapidArc QAs as a function of photon beam energy. Methods: A Varian TrueBeam STx with an aS-1000 digital imaging panel was used to acquire RapidArc QA images for 13 patient plans; each plan QA was performed at 6, 8, 10 and 15MV energies. The Portal Dose Image Prediction algorithm in the Varian Eclipse treatment planning system (TPS) was used to create the comparison image for the EPID acquisition. A Sun Nuclear MapCHECK 2 diode array on an isocentric mounting fixture with 5 cm water-equivalent buildup was also used for the RapidArc QAs. A composite dose plane was taken from the Eclipse TPS for comparison to the MapCHECK 2 measurements. A gamma test was implemented in the Sun Nuclear Patient software with 10% threshold and absolute comparison for both QA methods. The two-tailed paired t-test was employed to analyze the statistical significance between two methods at the 95% confidence level. Results: The average gamma passing rates were greater than 95% at 3%/3mm using both methods for all four energies. The average passing rates were within 2.5% and 1.1% of each other when analyzed at 2%/2mm and 3%/3mm conditions, respectively. The EPID passing rates were somewhat better than the MapCHECK 2 when analyzed at 1%/1mm condition; this difference decreased with increasing energy (9.1% at 6MV to 2.7% at 15MV). The differences were not statistically significant for all criteria and energies (p-value ã 0.05). Conclusion: EPID-based RapidArc QA results are comparable to MapCHECK 2 when using 3%/3mm criteria at all four energies. EPID-based QA shows potential for being the superior device under strict gamma criteria.

  1. Household Water Quality Home Water Quality Problems

    E-Print Network [OSTI]

    Liskiewicz, Maciej

    Household Water Quality Home Water Quality Problems­ Causes and Treatments Blake Ross, Extension impurities can be corrected if they are a nuisance. Before beginning any treatment plan, have water tested select the most effective and economical treatment method. www.ext.vt.edu Produced by Communications

  2. Soil Quality Information Sheet Rangeland Soil Quality--

    E-Print Network [OSTI]

    Soil Quality Information Sheet Rangeland Soil Quality-- Physical and Biological Soil Crusts USDA, Natural Resources Conservation Service May 2001 Rangeland Sheet 7 What are soil crusts? A physical crust is a thin layer with reduced porosity and increased density at the surface of the soil. A biological crust

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

    E-Print Network [OSTI]

    Cordeiro, Lucas

    2010-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Bordenstein, Seth

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

  6. General Water Quality (Oklahoma)

    Broader source: Energy.gov [DOE]

    The purpose of this water quality rule is to protect, maintain and improve the quality of waters of the State. Any applicant for a federal license, permit or project to conduct any activity...

  7. State Water Quality (Virginia)

    Broader source: Energy.gov [DOE]

    It is the policy of the Commonwealth of Virginia to: (1) protect existing high quality state waters and restore the quality of all other state waters to permit all reasonable public uses and...

  8. Quality Assurance Project Plan

    SciTech Connect (OSTI)

    Holland, R. C.

    1998-06-01T23:59:59.000Z

    This Quality Assurance Project Plan documents the quality assurance activities for the Wastewater/Stormwater/Groundwater and Environmental Surveillance Programs. This QAPP was prepared in accordance with DOE guidance on compliance with 10CFR830.120.

  9. Quality of service profiling

    E-Print Network [OSTI]

    Misailovic, Sasa

    Many computations exhibit a trade off between execution time and quality of service. A video encoder, for example, can often encode frames more quickly if it is given the freedom to produce slightly lower quality video. A ...

  10. Downhole steam quality measurement

    DOE Patents [OSTI]

    Lee, David O. (Albuquerque, NM); Montoya, Paul C. (Albuquerque, NM); Muir, James F. (Albuquerque, NM); Wayland, Jr., J. Robert (Albuquerque, NM)

    1987-01-01T23:59:59.000Z

    An empirical method for the remote sensing of steam quality that can be easily adapted to downhole steam quality measurements by measuring the electrical properties of two-phase flow across electrode grids at low frequencies.

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

    E-Print Network [OSTI]

    Lange, Martin; 10.4204/EPTCS.77.6

    2012-01-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

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

    2011-06-01T23:59:59.000Z

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

  13. Rangeland Sheet 6 Soil Quality Information Sheet

    E-Print Network [OSTI]

    decomposition. Chemically stable organic matter gives soil its dark color and is generally the largest pool. Increasing levels of organic matter promote a higher water- holding capacity, which results in increasedRangeland Sheet 6 Soil Quality Information Sheet Rangeland Soil Quality--Organic Matter USDA

  14. RESULTS OF SLICE MEASUREMENTS

    E-Print Network [OSTI]

    Rudolph, J

    2011-01-01T23:59:59.000Z

    The linear accelerator ELBE delivers high-brightness electron bunches to multiple user stations, including two IR-FEL oscillators [1], [2]. In the framework of an upgrade program the current thermionic injector is being replaced by a SRF-photoinjector [3], [4]. The SRF injector promises higher beam quality, especially required for future experiments with high power laser radiation. During the commissioning phase, the SRF-injector was running in parallel to the thermionic gun. After installation of a injection beamline (dogleg), beam from the SRF-injector can now be injected into the ELBE linac. Detailed characterization of the electron beam quality delivered by the new electron injector includes vertical slice emittance measurements in addition to measurements of projected emittance values. This report gives an overview of the status of the project and summarizes first measurement results as well as results of simulations performed with measurement settings.

  15. Democratic Quality in Stable Democracies

    E-Print Network [OSTI]

    Lijphart, Arend

    2011-01-01T23:59:59.000Z

    MEASURING DEMOCRACY Democratic Quality in Stable Democraciesto measure democratic quality in terms of the purpose of1971). Measuring the quality of democracy requires two prior

  16. Waste Management Quality Assurance Plan

    E-Print Network [OSTI]

    Waste Management Group

    2006-01-01T23:59:59.000Z

    Revision 6 Waste Management Quality Assurance Plan Waste6 WM QA Plan Waste Management Quality Assurance Plan LBNL/4 Management Quality Assurance

  17. Perceptual quality assessment for compressed video

    E-Print Network [OSTI]

    Yang, Kai-Chieh

    2007-01-01T23:59:59.000Z

    5 Perceptual Temporal Quality Metric (Frame Interpolation Quality Metric . . . . . . . . . . . .Overview of Video Quality Assessment . . . . . . . . . . . .

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Reif, Rafael

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    SciTech Connect (OSTI)

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

    2010-09-15T23:59:59.000Z

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

  4. Quality assurance and data management

    SciTech Connect (OSTI)

    Lockrem, L.L.

    1998-01-12T23:59:59.000Z

    This report contains graphs and tables relating to quality assurance and data management for environmental quality at Hanford Reservation.

  5. Extending dependencies for improving data quality 

    E-Print Network [OSTI]

    Ma, Shuai

    2011-06-30T23:59:59.000Z

    This doctoral thesis presents the results of my work on extending dependencies for improving data quality, both in a centralized environment with a single database and in a data exchange and integration environment with ...

  6. Downhole steam quality measurement

    DOE Patents [OSTI]

    Lee, D.O.; Montoya, P.C.; Muir, J.F.; Wayland, J.R. Jr.

    1985-06-19T23:59:59.000Z

    The present invention relates to an empirical electrical method for remote sensing of steam quality utilizing flow-through grids which allow measurement of the electrical properties of a flowing two-phase mixture. The measurement of steam quality in the oil field is important to the efficient application of steam assisted recovery of oil. Because of the increased energy content in higher quality steam it is important to maintain the highest possible steam quality at the injection sandface. The effectiveness of a steaming operation without a measure of steam quality downhole close to the point of injection would be difficult to determine. Therefore, a need exists for the remote sensing of steam quality.

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

    E-Print Network [OSTI]

    K. H. Ho; H. F. Chau

    2008-07-14T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

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

    2008-05-15T23:59:59.000Z

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

  10. Water Quality (Louisiana)

    Broader source: Energy.gov [DOE]

    These regulations establish requirements and procedures for permitting, enforcement, monitoring, and surveillance, and spill control activities of the Department of Environmental Quality. Without...

  11. Society for Quality Fellow

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

    based on their pre-eminence in technology, theory, education, or the application or management of quality control. ASQ Fellows represent diverse industries on a global scale....

  12. Environmental Quality (Nebraska)

    Broader source: Energy.gov [DOE]

    This section establishes the policy of the state to be the conservation, protection, and restoration of the state's natural resources. The Department of Environmental Quality is established, along...

  13. Water Quality Standards (Ohio)

    Broader source: Energy.gov [DOE]

    This chapter of the law that establishes the Ohio Environmental Protection Agency outlines the minimum water quality requirements for all surface waters of the state.

  14. Search results | Department of Energy

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

    panels and wind turbines, after a devastating tornado in 2007. http:energy.goveerevideosre-building-greensburg Download Build a Pizza Box Solar Oven Check out this...

  15. Reliability checks on the Indo-US Stellar Spectral Library using Artificial Neural Networks and Principal Component Analysis

    E-Print Network [OSTI]

    Harinder P. Singh; Manabu Yuasa; Nawo Yamamoto; Ranjan Gupta

    2005-12-21T23:59:59.000Z

    The Indo-US coud\\'{e} feed stellar spectral library (CFLIB) made available to the astronomical community recently by Valdes et al. (2004) contains spectra of 1273 stars in the spectral region 3460 to 9464 \\AA at a high resolution of 1 \\AA FWHM and a wide range of spectral types. Cross-checking the reliability of this database is an important and desirable exercise since a number of stars in this database have no known spectral types and a considerable fraction of stars has not so complete coverage in the full wavelength region of 3460-9464 \\AA resulting in gaps ranging from a few \\AA to several tens of \\AA. In this paper, we use an automated classification scheme based on Artificial Neural Networks (ANN) to classify all 1273 stars in the database. In addition, principal component analysis (PCA) is carried out to reduce the dimensionality of the data set before the spectra are classified by the ANN. Most importantly, we have successfully demonstrated employment of a variation of the PCA technique to restore the missing data in a sample of 300 stars out of the CFLIB.

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

    E-Print Network [OSTI]

    Ching-Yi Lai; Chung-Chin Lu

    2007-12-02T23:59:59.000Z

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

  17. Developing methods for assessing Scots pine timber quality

    E-Print Network [OSTI]

    Developing methods for assessing Scots pine timber quality Timber production from Scots pine the results of a project to develop and test methods for assessing the quality of Scots pine timber from a means of identifying those trees most likely to produce falling boards in the higher quality appearance

  18. Groundwater Quality 2010, Zrich, R. Enzenhoefer 1/14

    E-Print Network [OSTI]

    Cirpka, Olaf Arie

    Groundwater Quality 2010, Zürich, 13th - 18th June 2010 R. Enzenhoefer 1/14 Using probabilistic of Hydromechanics and Modeling of Hydrosystems #12;Groundwater Quality 2010, Zürich, 13th - 18th June 2010 R Results & Discussion #12;Groundwater Quality 2010, Zürich, 13th - 18th June 2010 R. Enzenhoefer 3/14 From

  19. Agriculture and Environmental Quality

    E-Print Network [OSTI]

    Ma, Lena

    ALS 3133 Agriculture and Environmental Quality 3 credits Spring 2014 Instructor Susan Curry scurry://lss.at.ufl.edu Overview: Analysis of the effects of agriculture on environmental quality with emphasis on agricultural wastes and practices, the potential for using agricultural systems for disposal of other wastes

  20. Agriculture and Environmental Quality

    E-Print Network [OSTI]

    Ma, Lena

    ALS 3133 Agriculture and Environmental Quality 3 credits Spring 2014 Instructor Susan Curry scurry Website is through E-Learning: http://lss.at.ufl.edu Overview: Analysis of the effects of agriculture on environmental quality with emphasis on agricultural wastes and practices, the potential for using agricultural

  1. Air Quality Chapter Outline

    E-Print Network [OSTI]

    Wechsler, Risa H.

    Chapter 30 Air Quality Chapter Outline 1 Overview 2 1.1 Hazards / Impacts 2 1.2 Exposure Sources 3 Manual Chapter 30: Air Quality 7 References 20 8 Implementation 21 9 Ownership 22 1 Overview SLAC operations produce a wide range of air emissions. Sources of emissions include standard equipment

  2. Aircraft Cabin Environmental Quality Sensors

    SciTech Connect (OSTI)

    Gundel, Lara; Kirchstetter, Thomas; Spears, Michael; Sullivan, Douglas

    2010-05-06T23:59:59.000Z

    The Indoor Environment Department at Lawrence Berkeley National Laboratory (LBNL) teamed with seven universities to participate in a Federal Aviation Administration (FAA) Center of Excellence (COE) for research on environmental quality in aircraft. This report describes research performed at LBNL on selecting and evaluating sensors for monitoring environmental quality in aircraft cabins, as part of Project 7 of the FAA's COE for Airliner Cabin Environmental Research (ACER)1 effort. This part of Project 7 links to the ozone, pesticide, and incident projects for data collection and monitoring and is a component of a broader research effort on sensors by ACER. Results from UCB and LBNL's concurrent research on ozone (ACER Project 1) are found in Weschler et al., 2007; Bhangar et al. 2008; Coleman et al., 2008 and Strom-Tejsen et al., 2008. LBNL's research on pesticides (ACER Project 2) in airliner cabins is described in Maddalena and McKone (2008). This report focused on the sensors needed for normal contaminants and conditions in aircraft. The results are intended to complement and coordinate with results from other ACER members who concentrated primarily on (a) sensors for chemical and biological pollutants that might be released intentionally in aircraft; (b) integration of sensor systems; and (c) optimal location of sensors within aircraft. The parameters and sensors were selected primarily to satisfy routine monitoring needs for contaminants and conditions that commonly occur in aircraft. However, such sensor systems can also be incorporated into research programs on environmental quality in aircraft cabins.

  3. GPA CALCULATION GPA = QUALITY POINTS DIVIDED BY QUALITY HOURS

    E-Print Network [OSTI]

    Lawrence, Rick L.

    . THIS IS THE TOTAL QUALITY POINTS THAT YOU THINK YOU WILL EARN THIS SEMESTER. TO PLAY WHAT IFGPA CALCULATION WORKSHEET GPA = QUALITY POINTS DIVIDED BY QUALITY HOURS #1 QUALITY HOURS (THROUGH LAST TERM) = __________ #2 QUALITY POINTS (THROUGH LAST TERM) = __________ #3 QUALTIY HOURS CURRENTLY

  4. Software Quality Model Requirements for Software Quality Engineering

    E-Print Network [OSTI]

    Suryn, Witold

    Quality Engineering needs a quality model that is usable throughout the software lifecycle, systematic, disciplined, quantifiable approach to the development and maintenance of quality of softwareSoftware Quality Model Requirements for Software Quality Engineering Marc-Alexis Côté M. Ing (marc

  5. Quality Control, Testing, and Deployment Results in the NIF ICCS

    SciTech Connect (OSTI)

    Woodruff, J P; Casavant, D; Cline, B D; Gorvad, M R

    2001-10-11T23:59:59.000Z

    The strategy used to develop the NIF Integrated Computer Control System (ICCS) calls for incremental cycles of construction and formal test to deliver a total of 1 million lines of code. Each incremental release takes four to six months to implement specific functionality and culminates when offline tests conducted in the ICCS Integration and Test Facility verify functional, performance, and interface requirements. Tests are then repeated on line to confirm integrated operation in dedicated laser laboratories or ultimately in the NIF. Test incidents along with other change requests are recorded and tracked to closure by the software change control board (SCCB). Annual independent audits advise management on software process improvements. Extensive experience has been gained by integrating controls in the prototype laser preamplifier laboratory. The control system installed in the preamplifier lab contains five of the ten planned supervisory subsystems and seven of sixteen planned front-end processors (FEPs). Beam alignment, timing, diagnosis and laser pulse amplification up to 20 joules was tested through an automated series of shots. Other laboratories have provided integrated testing of six additional FEPs. Process measurements including earned-value, product size, and defect densities provide software project controls and generate confidence that the control system will be successfully deployed.

  6. air quality resulting: Topics by E-print Network

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

    dynamics in the South Coast Air Basin of California. It has also been modified to model pollution in South Korea, Mexico Manohar, Rajit First Page Previous Page 1 2 3 4 5 6 7 8 9...

  7. Prescreening Illumina Data Results in High-Quality Genome Polishing

    SciTech Connect (OSTI)

    Han, Cliff [DOE Joint Genome Institute at Los Alamos National Laboratory

    2009-05-28T23:59:59.000Z

    Cliff Han of the DOE Joint Genome Institute at Los Alamos National Laboratory, talks about modifying their bacterial genome sequencing process to accommodate new sequencing technologies at the "Sequencing, Finishing, Analysis in the Future" meeting in Santa Fe, NM

  8. A Case Study on Specifying Quality Requirements Using a Quality Model

    E-Print Network [OSTI]

    Wagner, Stefan

    at Siemens in which we compare the requirements resulting from apply- ing our quality model have to be transformed into useful and appropriate requirements. In this paper, we evaluate a quality study at Siemens the existing specification of a traffic control system and compare it to a new

  9. SU-E-J-162: Quality Assurance Procedures for MR Guided Focused Ultrasound Treatment of Bone Metastasis

    SciTech Connect (OSTI)

    Chen, L; Chen, X; Wang, B; Gupta, R; Ma, C [Fox Chase Cancer Center, Philadelphia, PA (United States)

    2014-06-01T23:59:59.000Z

    Purpose: The purpose of this work is to develop and verify our quality assurance (QA) procedures to ensure the safety and efficacy of MR-guided focused ultrasound (MRgFUS) treatment of bone metastases. Methods: A practical QA program was developed. Monthly and daily QA (DQA) procedures were performed. The major QA items included the checks of the machine hardware, software and patient safety features. Briefly, these checks/tests include: 1) the cooling system reservoir and treatment table; 2) power to the treatment table; 3) the MR coil; 4) the transducer position with MRI; 5) image display on the treatment work station; 6) the effective focal spot in 3 directions using MR thermometry; and 7) all the safety devices including a sonication lamp, and the emergency stop-sonication switches. In order to avoid patient skin burn, it is important to remove gas bubbles in the interfaces between the treatment table and the gel pad, and the gel pad and patients skin during the patient setup. Our QA procedures have been verified and evaluated through patient treatments. Seven patients with scapula, humeral head, sacrum, ilium, pubic ramus and acetabular bone metastases were treated using MRgFUS. Results: Our study showed that all seven patients tolerated the MRgFUS treatment well. No skin toxicity or other complications were observed. The pain score (0–10) using the visual analog scale (VAS) was significantly reduced from 8.0 ± 1.1 before treatment to 4.7 ± 3.0, 3.0 ± 1.5, 3.2 ± 2.8 and 3.4 ± 1.5 at one day, one month, two months and three months after the MRgFUS treatment, respectively. Conclusion: We demonstrated that with the appropriate QA procedures, MRgFUS is a safe, effective and noninvasive treatment modality for palliation of bone metastases.

  10. timber quality Modelling and forecasting

    E-Print Network [OSTI]

    Forest and timber quality in Europe Modelling and forecasting yield and quality in Europe Forest and timber quality in Europe Modelling and forecasting yield and quality in Europe M E F Y Q U E #12;Valuing and the UK ­ are working closely together to develop a model to help forecast timber growth, yield, quality

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

    E-Print Network [OSTI]

    Weiblen, George D

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

  12. Software quality assurance handbook

    SciTech Connect (OSTI)

    Not Available

    1990-09-01T23:59:59.000Z

    There are two important reasons for Software Quality Assurance (SQA) at Allied-Signal Inc., Kansas City Division (KCD): First, the benefits from SQA make good business sense. Second, the Department of Energy has requested SQA. This handbook is one of the first steps in a plant-wide implementation of Software Quality Assurance at KCD. The handbook has two main purposes. The first is to provide information that you will need to perform software quality assurance activities. The second is to provide a common thread to unify the approach to SQA at KCD. 2 figs.

  13. Sensitivity of health risk estimates to air quality adjustment procedure

    SciTech Connect (OSTI)

    Whitfield, R.G.

    1997-06-30T23:59:59.000Z

    This letter is a summary of risk results associated with exposure estimates using two-parameter Weibull and quadratic air quality adjustment procedures (AQAPs). New exposure estimates were developed for children and child-occurrences, six urban areas, and five alternative air quality scenarios. In all cases, the Weibull and quadratic results are compared to previous results, which are based on a proportional AQAP.

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

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

    2010-01-01T23:59:59.000Z

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

  17. Coal quality control in the context of international standards ISO 9000-2000

    SciTech Connect (OSTI)

    Freidina, E.V.; Botvinnik, A.A.; Dvornikova, A.N. [Russian Academy of Sciences, Novosibirsk (Russian Federation). Institute of Mining

    2008-11-15T23:59:59.000Z

    The paper sets forth scientific foundations and organizational-technical environment offered by ISO 9000 standards that are oriented to product quality management and, thus, product quality planning. The authors describe the results of coal product quality planning with using the QFD methodology, present a model of coal quality control through the coal product life cycle and mining technologies. It is proposed to evaluate the quality management efficiency by the coefficient of concordance between the product quality and consumer's demands.

  18. Air Quality (Nova Scotia, Canada)

    Broader source: Energy.gov [DOE]

    Nova Scotia Environment is responsible for monitoring the air quality in the province, as well as administering fines and permits relating to air quality. The Air Quality Regulations state...

  19. Water Quality Criteria Introduction ....................................................................................................................................798

    E-Print Network [OSTI]

    Pitt, Robert E.

    APPENDIX G Water Quality Criteria CONTENTS Introduction ....................................................................................................................................798 EPA's Water Quality Criteria and Standards Plan -- Priorities for the Future............................798 Compilation of Recommended Water Quality Criteria and EPA's Process for Deriving New

  20. Quality Management and Job Quality: How the ISO 9001 Standard forQuality Management Systems Affects Employees and Employers

    E-Print Network [OSTI]

    Levine, David I.; Toffel, Michael W.

    2008-01-01T23:59:59.000Z

    disorders and workplace Quality Management and Job Qualitycharacteristics, Total Quality Management, and financialfirms with effective Quality Management and Job Quality TQM

  1. Software Quality Assurance

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

    2000-10-02T23:59:59.000Z

    To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01.

  2. Software Quality Assurance

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

    2000-10-02T23:59:59.000Z

    DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01. To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). Does not cancel other directives.

  3. Water Quality (Oklahoma)

    Broader source: Energy.gov [DOE]

    The Water Quality Act establishes cumulative remedies to prevent, abate and control the pollution of the waters of the state. The act establishes responsibilities of the Oklahoma Department of...

  4. Evaluating Cotton Seed Quality

    E-Print Network [OSTI]

    Boman, Randy

    2005-10-05T23:59:59.000Z

    High-quality cotton seed is critical for establishing good stands. Over the last several years, producers have scrutinized costs and benefits of numerous new cotton varieties. With the increase in cost of most current cotton varieties and the use...

  5. Water Quality Control (Texas)

    Broader source: Energy.gov [DOE]

    The policy of the state of Texas is to promote the quality of the state's water by regulating existing industries, taking into consideration the economic development of the state, and by...

  6. Quality Jobs Program (Louisiana)

    Broader source: Energy.gov [DOE]

    The Quality Jobs Program provides a cash rebate to companies that create well-paid jobs and promote economic development. Benefits include a 5-6% cash rebate of annual gross payroll for new,...

  7. Water Quality Act (Montana)

    Broader source: Energy.gov [DOE]

    The Water Quality Act establishes water conservation and protection, as well as the prevention, abatement, and control of water pollution, as the policy of the state of Montana. The Act establishes...

  8. Power Quality Implications

    E-Print Network [OSTI]

    Hilson, D.

    Electric utilities in the United States spend in excess of one billion dollars annually to maintain or improve the quality of electric power supplied to their customers. Yet, an increasing and alarming number of complaints are being voiced...

  9. Quality Assurance Specialist

    Broader source: Energy.gov [DOE]

    This position is located in the Office of the Assistant Secretary for Environmental Management (EM), Office of the Deputy Assistant Secretary for Safety, Security and Quality Programs, Office of...

  10. Hydrogen Fuel Quality (Presentation)

    SciTech Connect (OSTI)

    Ohi, J.

    2007-05-17T23:59:59.000Z

    Jim Ohi of NREL's presentation on Hydrogen Fuel Quality at the 2007 DOE Hydrogen Program Annual Merit Review and Peer Evaluation on May 15-18, 2007 in Arlington, Virginia.

  11. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM | Department of...

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

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM System Maintenance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More...

  12. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM | Department of...

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

    PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM Training Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More Documents & Publications Quality Assurance Checklist...

  13. Water Quality Trading Program (Ohio)

    Broader source: Energy.gov [DOE]

    Water quality trading is a tool for achieving water quality improvements. Under the right circumstances, trading has the potential to yield both environmental and economic benefits, while...

  14. Nebraska Air Quality Regulations (Nebraska)

    Broader source: Energy.gov [DOE]

    These regulations, promulgated by the Department of Environmental Quality, contain provisions pertaining to ambient air quality standards, pollution source operating permits, emissions reporting,...

  15. Surface Water Quality Standards (Nebraska)

    Broader source: Energy.gov [DOE]

    These regulations, promulgated by the Department of Environmental Quality, contain surface water quality standards, stream classifications, discussion of lakes and impounded basins, and water...

  16. Water Quality Control Act (Tennessee)

    Broader source: Energy.gov [DOE]

    The Water Quality Control Act (WQCA) establishes the water pollution control program. The WQCA identifies the responsibilities and extent of authority for the Commissioner of the Water Quality...

  17. Quality Jobs Investment Program (Oklahoma)

    Broader source: Energy.gov [DOE]

    The Oklahoma Quality Jobs Program allows qualifying businesses which are creating new quality jobs to receive a special incentive to locate or expand in Oklahoma.

  18. Water Quality Standards Implementation (Oklahoma)

    Broader source: Energy.gov [DOE]

    The Oklahoma Department of Environmental Quality regulates Oklahoma's Water Quality Standards. The law states the requirements and standards for point source discharges. It also establishes...

  19. Ambient Air Quality Standards (Iowa)

    Broader source: Energy.gov [DOE]

    These regulations set statewide ambient air quality standards for various contaminants. The state code follows the regulations set forth in the National Primary and Secondary Ambient Air Quality...

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

    E-Print Network [OSTI]

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

  1. Quality assurance for gamma knives

    SciTech Connect (OSTI)

    Jones, E.D.; Banks, W.W.; Fischer, L.E. [Lawrence Livermore National Lab., CA (United States)

    1995-09-01T23:59:59.000Z

    This report describes and summarizes the results of a quality assurance (QA) study of the Gamma Knife, a nuclear medical device used for the gamma irradiation of intracranial lesions. Focus was on the physical aspects of QA and did not address issues that are essentially medical, such as patient selection or prescription of dose. A risk-based QA assessment approach was used. Sample programs for quality control and assurance are included. The use of the Gamma Knife was found to conform to existing standards and guidelines concerning radiation safety and quality control of external beam therapies (shielding, safety reviews, radiation surveys, interlock systems, exposure monitoring, good medical physics practices, etc.) and to be compliant with NRC teletherapy regulations. There are, however, current practices for the Gamma Knife not covered by existing, formalized regulations, standards, or guidelines. These practices have been adopted by Gamma Knife users and continue to be developed with further experience. Some of these have appeared in publications or presentations and are slowly finding their way into recommendations of professional organizations.

  2. 9 QUALITY ASSURANCE AND QUALITY CONTROL 9.1 Introduction

    E-Print Network [OSTI]

    for their intended use. A quality system is a management system that describes the elements necessary to plan in the use of radioactive materials. There are self-imposed internal quality management systems (e.g., DOE an organization-specific quality system, there is no need to develop new quality management systems, to the extent

  3. GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

    E-Print Network [OSTI]

    G. Belanger; F. Boudjema; J. Fujimoto; T. Ishikawa; T. Kaneko; K. Kato; Y. Shimizu

    2006-04-18T23:59:59.000Z

    We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

  4. Super Fast and Quality Azimuth Disambiguation

    E-Print Network [OSTI]

    Rudenko, G V

    2011-01-01T23:59:59.000Z

    The paper presents the possibility of fast and quality azimuth disambiguation of vector magnetogram data regardless of location on the solar disc. The new Super Fast and Quality (SFQ) code of disambiguation is tried out on well-known models of Metcalf et al. (2006), Leka et al. (2009) and artificial model of fixed configuration AR 10930 (Rudenko et al., 2010). We make comparison of Hinode SOT SP vector magnetograms of AR 10930 disambiguated with three codes: SFQ, NPFC (Georgoulis, 2005), and SME (Rudenko et al., 2010). We exemplify the SFQ disambiguation of SDO/HMI measurements of the full disc. The preliminary examination indicates that the SFQ algorithm provides better quality than NPFC and is comparable to SME. In contrast to other codes, SFQ supports relatively high quality of results regardless of the magnetogram proximity to the limb (when being very close to the limb, it is efficient unlike all other algorithms).

  5. Hanford Tanks Initiative quality assurance implementation plan

    SciTech Connect (OSTI)

    Huston, J.J.

    1998-06-23T23:59:59.000Z

    Hanford Tanks Initiative (HTI) Quality Assurance Implementation Plan for Nuclear Facilities defines the controls for the products and activities developed by HTI. Project Hanford Management Contract (PHMC) Quality Assurance Program Description (QAPD)(HNF-PRO599) is the document that defines the quality requirements for Nuclear Facilities. The QAPD provides direction for compliance to 10 CFR 830.120 Nuclear Safety Management, Quality Assurance Requirements. Hanford Tanks Initiative (HTI) is a five-year activity resulting from the technical and financial partnership of the US Department of Energy`s Office of Waste Management (EM-30), and Office of Science and Technology Development (EM-50). HTI will develop and demonstrate technologies and processes for characterization and retrieval of single shell tank waste. Activities and products associated with HTI consist of engineering, construction, procurement, closure, retrieval, characterization, and safety and licensing.

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

    E-Print Network [OSTI]

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

    2008-01-04T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Müller-Olm, Markus

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

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

    E-Print Network [OSTI]

    Suzuki, Masatsugu

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

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

    E-Print Network [OSTI]

    Wong, Tan F.

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

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

    E-Print Network [OSTI]

    Alvarez-Cohen, Lisa

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

  11. GRADE NUMBER OF CREDITS FACTOR QUALITY POINTS HOW TO COMPUTE A GRADE POINT AVERAGE

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    .00 = __________ TOTALS: _________ __________ CREDITS QUALITY PTS. Divide total credits into total quality pointsGRADE NUMBER OF CREDITS FACTOR QUALITY POINTS HOW TO COMPUTE A GRADE POINT AVERAGE A _________ x 4 and the result is the grade point average (GPA). QUALITY PTS. = GPA ____________ = CREDITS

  12. Job quality in Europe

    E-Print Network [OSTI]

    Burchell, Brendan J.; Smith, Mark; Fagan, Colette; O’Brien, Catherine

    2008-01-01T23:59:59.000Z

    flexibility—can also lead to enhanced job quality (Bredgaard and Larsen, 2006; CEC, 2007b), for example, in the form of autonomy and job enlargement. So far, it is only in Finland and Sweden that the Commission finds evidence of such quality workplaces being... .50** — — 1.60** Ireland 0.58** — — — — Italy — 0.73** 0.62** — 0.65** Lithuania — 0.43** — — — Luxembourg — — — — — Latvia — 0.60** 1.38** — 1.50** Netherlands 1.57** 1.83** — 0.38** — Malta — — — — — Poland — — — — — Portugal — — — — — Sweden 1.97** 2...

  13. 2008 B20 Survey Results (Presentation)

    SciTech Connect (OSTI)

    Alleman, T. L.; McCormick, R. L.

    2009-02-02T23:59:59.000Z

    Describes results of a sample survey of the quality of B20, a biodiesel blend, collected from U.S. public pumps and fleets as part of a joint effort by NREL, the NBB, and engine manufacturers.

  14. Annual Monitoring Results A REPORT OF THE REGIONAL MONITORING PROGRAM

    E-Print Network [OSTI]

    Grainsize 33 Total Organic Carbon (TOC) and Total Nitrogen (TN)33 Trace Metals34 Trace Organics34 Quality Assurance / Quality Control (QA/QC) 37 QA/QC of Percent Solids37 QA/QC of Grain Size 37 QA/QC of TotalAnnual Monitoring Results 2012 A REPORT OF THE REGIONAL MONITORING PROGRAM FOR WATER QUALITY

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

    E-Print Network [OSTI]

    Marsh, David

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

  16. Understanding Forage Quality Analysis

    E-Print Network [OSTI]

    Stokes, Sandra R.; Prostko, Eric P.

    1998-03-23T23:59:59.000Z

    Understanding Forage Quality Analysis Sandra R. Stokes and Eric P. Prostko* L-5198 3-98 M any dairy producers in Texas do not have the land to grow their own forages. Consequent- ly, they rely on both local and out-of-state farmers for supplies...

  17. Quality Counts Exhibitor Card

    E-Print Network [OSTI]

    Chilek, Kevin; Gregory, Elizabeth

    2004-01-27T23:59:59.000Z

    This exhibitor card identifies young livestock exhibitors as participants in the Quality Counts! program. The card is printed with a leather-style background on heavy card stock. It features the 4-H clover and the FFA logo, as well as the logo...

  18. Irrigation Water Quality

    E-Print Network [OSTI]

    McFarland, Mark L.; Lemon, Robert G.; Stichler, Charles

    2002-04-11T23:59:59.000Z

    Irrigation water quality is determined by the total amounts of salts and the types of salts the water contains. In this publication you'll learn why well water can be salty, what problems salty water can cause, what tests should be done...

  19. Quality Assurance Program Guide

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

    2011-08-16T23:59:59.000Z

    This Guide provides information on principles, requirements, and practices used to establish and implement an effective Quality Assurance Program. Cancels DOE G 414.1-2A, DOE G 414.1-3 and DOE G 414.1-5. Admin Chg 1, dated 9-27-11. Admin Chg 2, dated 5-8-13.

  20. Quality Assurance Program Guide

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

    2011-08-16T23:59:59.000Z

    The directive provides guidance for DOE elements and contractors in developing and implementing an effective Quality Assurance Program. Cancels DOE G 414.1-2A, DOE G 414.1-3 and DOE G 414.1-5. Superseded by Admin Chg 1, 9-27-11.

  1. Quality Assurance Program Guide

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

    2011-08-16T23:59:59.000Z

    This Guide provides information on principles, requirements, and practices used to establish and implement an effective Quality Assurance Program. Cancels DOE G 414.1-2A, DOE G 414.1-3 and DOE G 414.4-5. Admin Chg 1, dated 9-27-11. Admin Chg 2, dated 5-8-13.

  2. Office of Quality Management

    Broader source: Energy.gov [DOE]

    The Office of Quality Management develops and interprets Government-wide policies and procedures and conducts training to ensure the accurate identification of information and documents that must be classified or controlled under statute or Executive order to protect the national security and controlled unclassified Official Use Only information for the effective operation of the Government.

  3. SU-E-T-03: 3D GPU-Accelerated Secondary Checks of Radiation Therapy Treatment Plans

    SciTech Connect (OSTI)

    Clemente, F; Perez, C [Hospital Central de la Defensa Gomez Ulla, Madrid, Madrid (Spain)

    2014-06-01T23:59:59.000Z

    Purpose: Redundant treatment verifications in conformal and intensity-modulated radiation therapy techniques are traditionally performed with single point calculations. New solutions can replace these checks with 3D treatment plan verifications. This work describes a software tool (Mobius3D, Mobius Medical Systems) that uses a GPU-accelerated collapsed cone algorithm to perform 3D independent verifications of TPS calculations. Methods: Mobius3D comes with reference beam models for common linear accelerators. The system uses an independently developed collapsed cone algorithm updated with recent enhancements. 144 isotropically-spaced cones are used for each voxel for calculations. These complex calculations can be sped up by using GPUs. Mobius3D calculate dose using DICOM information coming from TPS (CT, RT Struct, RT Plan RT Dose). DVH-metrics and 3D gamma tests can be used to compare both TPS and secondary calculations. 170 patients treated with all common techniques as 3DCFRT (including wedged), static and dynamic IMRT and VMAT have been successfully verified with this solution. Results: Calculation times are between 3–5 minutes for 3DCFRT treatments and 15–20 for most complex dMLC and VMAT plans. For all PTVs mean dose and 90% coverage differences are (1.12±0.97)% and (0.68±1.19)%, respectively. Mean dose discrepancies for all OARs is (0.64±1.00)%. 3D gamma (global, 3%/3 mm) analysis shows a mean passing rate of (97.8 ± 3.0)% for PTVs and (99.0±3.0)% for OARs. 3D gamma pasing rate for all voxels in CT has a mean value of (98.5±1.6)%. Conclusion: Mobius3D is a powerful tool to verify all modalities of radiation therapy treatments. Dose discrepancies calculated by this system are in good agreement with TPS. The use of reference beam data results in time savings and can be used to avoid the propagation of errors in original beam data into our QA system. GPU calculations permit enhanced collapsed cone calculations with reasonable calculation times.

  4. Chemical analysis quality assurance at the ICPP

    SciTech Connect (OSTI)

    Hand, R.L.

    1990-12-31T23:59:59.000Z

    This document discusses the chemical analysis quality assurance program at the ICPP which involves records management, analytical methods quality control, analysis procedures and training and qualification. Since 1979, the major portion of the quality assurance program has been implemented on a central analytical computer system. The individual features provided by the system are storage, retrieval, and search capabilities over all general request and sample analysis information, automatic method selection for all process streams, automation of all method calculations, automatic assignment of bias and precision estimates at all analysis levels, with-method-use requalification, untrained or unqualified analyst method lockout, statistical testing of all process stream results for replicate agreement, automatic testing of process results against pre- established operating, safety, or failure limits at varying confidence levels, and automatic transfer and report of all analysis data plus all statistical testing to the Production Department.

  5. Chemical analysis quality assurance at the ICPP

    SciTech Connect (OSTI)

    Hand, R.L.

    1990-01-01T23:59:59.000Z

    This document discusses the chemical analysis quality assurance program at the ICPP which involves records management, analytical methods quality control, analysis procedures and training and qualification. Since 1979, the major portion of the quality assurance program has been implemented on a central analytical computer system. The individual features provided by the system are storage, retrieval, and search capabilities over all general request and sample analysis information, automatic method selection for all process streams, automation of all method calculations, automatic assignment of bias and precision estimates at all analysis levels, with-method-use requalification, untrained or unqualified analyst method lockout, statistical testing of all process stream results for replicate agreement, automatic testing of process results against pre- established operating, safety, or failure limits at varying confidence levels, and automatic transfer and report of all analysis data plus all statistical testing to the Production Department.

  6. The German quality system for waste repositories

    SciTech Connect (OSTI)

    Beckmerhagen, I.; Berg, H.P.; Brennecke, P. [Bundesamt fuer Strahlenschutz, Saltzgitter (Germany)

    1993-12-31T23:59:59.000Z

    The Bundesamt fuer Strahlenschutz (BfS)--Federal Office for Radiation protection--has to guarantee that the requirements resulting from different regulations concerning planning, design, construction, operation and decommissioning of a waste repository are fulfilled. In addition, the results of the safety assessments lead to nuclear-specific requirements on the design of the plant as well as to requirements on the radioactive waste packages intended to be disposed of. Therefore, the implementation of a quality assurance (QA) and quality control (QC) system is an essential task in order to ensure that the designed quality is achieved so that the necessary precaution against damage is taken. In this paper, a detailed description of QA and QC to be applied to the planned Konrad repository as well as the basic principles and the present status of the waste package QC are indicated and discussed.

  7. DOE CALiPER Program, Report 20.1 Subjective Evaluation of Beam Quality, Shadow Quality, and Color Quality for LED PAR38 Lamps

    SciTech Connect (OSTI)

    Royer, Michael P.; Poplawski, Michael E.; Miller, Naomi J.

    2013-10-01T23:59:59.000Z

    This report focuses on human-evaluated characteristics, including beam quality, shadow quality, and color quality. Using a questionnaire that included rank ordering, opinions on 27 of the Report 20 PAR38 lamps were gathered during a demonstration event for members of the local Illuminating Engineering Society (IES) chapter. This was not a rigorous scientific experiment, and the data should not be extrapolated beyond the scope of the demonstration. The results suggest that many of the LED products compared favorably to halogen PAR38 benchmarks in all attributes considered. LED lamps using a single-emitter design were generally preferred for their beam quality and shadow quality, and the IES members ranking of color quality did not always match the rank according to the color rendering index (CRI).

  8. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    Reservation 9-2 Quality Assurance the National Institute of Standards and Tech- nology (NIST), other DOE address and meet applicable quality standards. 9.2 FIELD SAMPLING QUALITY ASSURANCE Field sampling QA.Somekeyqualitypractices include the following: · use of standard operating procedures for sample collection and analysis; · use

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

    E-Print Network [OSTI]

    Steiner, Thomas; Summers, Ed

    2013-01-01T23:59:59.000Z

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

  10. Improving Stormwater Quality

    E-Print Network [OSTI]

    Garcia, Raul

    2005-01-01T23:59:59.000Z

    of water resources. Stormwater, when produced by rain or snowmelt flowing over the land, captures debris, chemicals, hazardous wastes, and/or sediment. These contaminants then make their way to drainage systems that flow directly into rivers, lakes..., wetlands, or bays. The polluted stormwa- ter runoff can affect the health of plants, fish, animals, and people, as well as reduce the recreational value of water resources. Urbanization also has a major impact on the quality of local streams because...

  11. Tennessee Air Quality Act (Tennessee)

    Broader source: Energy.gov [DOE]

    The Tennessee Air Quality Act (AQA) delegates the power to maintain air quality in the State to the Department of Environment and Conservation. Under the Department of the Environment and...

  12. Surface Water Quality Standards (Kansas)

    Broader source: Energy.gov [DOE]

    This act states regulations for the quality of surface water in the state. It also states designated uses of classified surface waters, surface water quality criteria and an antidegradation policy...

  13. Local Water Quality Districts (Montana)

    Broader source: Energy.gov [DOE]

    This statute provides for the creation of local water quality districts to prevent and mitigate ground and surface water contamination. Each local water quality district may develop and implement a...

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

    E-Print Network [OSTI]

    Rao, Asha

    1996-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Oliver, Douglas L.

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

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

    E-Print Network [OSTI]

    Meyers, Steven D.

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

  17. Quality Management and Job Quality: How the ISO 9001 Standard forQuality Management Systems Affects Employees and Employers

    E-Print Network [OSTI]

    Levine, David I.; Toffel, Michael W.

    2008-01-01T23:59:59.000Z

    of IS0 9000 quality management systems on manufacturing.Standard for Quality Management Systems Affects Employeeshow the ISO 9001 Quality Management System standard affects

  18. 2011 Quality Council Annual Report

    Broader source: Energy.gov [DOE]

    DEPARTMENT OF ENERGY QUALITY COUNCIL ANNUAL REPORT For Calendar Year 2011 Office of Health Safety and Security

  19. AJH November 2012 PLANT QUALITY

    E-Print Network [OSTI]

    AJH November 2012 PLANT QUALITY TESTING SERVICE THE SERVICE uses morphological standards for forest to obtain information about the quality of their planting stock before planting. will indicate the likely Potential (RGP) 15 150 FURTHER INFORMATION See the Forest Research, Plant Quality Testing web page: http

  20. QUALITY of LIFE 2009 Report

    E-Print Network [OSTI]

    QUALITY of LIFE in Hawai`i 2009 Report Center on the Family University of Hawai`i Department of Business, Economic Development & Tourism #12;2 QUALITY OF LIFE IN HAWAI`I The QOL framework organizations. For more detail, see the full report: Quality of Life in Hawai`i, 2009 Report: Framework

  1. QUALITY MANAGEMENT AGENDA General Agenda

    E-Print Network [OSTI]

    1 QUALITY MANAGEMENT AGENDA General Agenda A week before study commences, the following matters a meeting for the following purposes: 1. Read the report that is related to quality management for the previous term. 2. Conduct a general review of the procedures of quality management and reinforcement

  2. Teacher Quality Policy When Supply Matters

    E-Print Network [OSTI]

    Rothstein, Jesse

    2012-01-01T23:59:59.000Z

    opportunities for women and the quality of teachers, 1957-career paths, teacher quality, and persistence in theSteven G. Rivkin, “Teacher quality,” in Eric Hanushek and

  3. DOE Challenge Home Recommended Quality Management Provisions...

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

    Recommended Quality Management Provisions DOE Challenge Home Recommended Quality Management Provisions DOE Challenge Home Recommended Quality Management Provisions. qm6-14-13.pdf...

  4. Perceptual quality assessment for compressed video

    E-Print Network [OSTI]

    Yang, Kai-Chieh

    2007-01-01T23:59:59.000Z

    Overview of Video Quality Assessment . . . . . . . . . . . .2.3.1 Subjective Video Quality Assessment . . . . . . . .2.3.2 Objective Video Quality Assessment . . . . . . . . .

  5. Quality Control by Artificial Vision

    SciTech Connect (OSTI)

    Lam, Edmond Y. [University of Hong Kong, The; Gleason, Shaun Scott [ORNL; Niel, Kurt S. [Upper Austria University of Applied Science, Engineering and Environmental Studies

    2010-01-01T23:59:59.000Z

    Computational technology has fundamentally changed many aspects of our lives. One clear evidence is the development of artificial-vision systems, which have effectively automated many manual tasks ranging from quality inspection to quantitative assessment. In many cases, these machine-vision systems are even preferred over manual ones due to their repeatability and high precision. Such advantages come from significant research efforts in advancing sensor technology, illumination, computational hardware, and image-processing algorithms. Similar to the Special Section on Quality Control by Artificial Vision published two years ago in Volume 17, Issue 3 of the Journal of Electronic Imaging, the present one invited papers relevant to fundamental technology improvements to foster quality control by artificial vision, and fine-tuned the technology for specific applications. We aim to balance both theoretical and applied work pertinent to this special section theme. Consequently, we have seven high-quality papers resulting from the stringent peer-reviewing process in place at the Journal of Electronic Imaging. Some of the papers contain extended treatment of the authors work presented at the SPIE Image Processing: Machine Vision Applications conference and the International Conference on Quality Control by Artificial Vision. On the broad application side, Liu et al. propose an unsupervised texture image segmentation scheme. Using a multilayer data condensation spectral clustering algorithm together with wavelet transform, they demonstrate the effectiveness of their approach on both texture and synthetic aperture radar images. A problem related to image segmentation is image extraction. For this, O'Leary et al. investigate the theory of polynomial moments and show how these moments can be compared to classical filters. They also show how to use the discrete polynomial-basis functions for the extraction of 3-D embossed digits, demonstrating superiority over Fourier-basis functions for this task. Image registration is another important task for machine vision. Bingham and Arrowood investigate the implementation and results in applying Fourier phase matching for projection registration, with a particular focus on nondestructive testing using computed tomography. Readers interested in enriching their arsenal of image-processing algorithms for machine-vision tasks should find these papers enriching. Meanwhile, we have four papers dealing with more specific machine-vision tasks. The first one, Yahiaoui et al., is quantitative in nature, using machine vision for real-time passenger counting. Occulsion is a common problem in counting objects and people, and they circumvent this issue with a dense stereovision system, achieving 97 to 99% accuracy in their tests. On the other hand, the second paper by Oswald-Tranta et al. focuses on thermographic crack detection. An infrared camera is used to detect inhomogeneities, which may indicate surface cracks. They describe the various steps in developing fully automated testing equipment aimed at a high throughput. Another paper describing an inspection system is Molleda et al., which handles flatness inspection of rolled products. They employ optical-laser triangulation and 3-D surface reconstruction for this task, showing how these can be achieved in real time. Last but not least, Presles et al. propose a way to monitor the particle-size distribution of batch crystallization processes. This is achieved through a new in situ imaging probe and image-analysis methods. While it is unlikely any reader may be working on these four specific problems at the same time, we are confident that readers will find these papers inspiring and potentially helpful to their own machine-vision system developments.

  6. Influence of air quality model resolution on uncertainty associated with health impacts

    E-Print Network [OSTI]

    Thompson, Tammy M.

    We use regional air quality modeling to evaluate the impact of model resolution on uncertainty associated with the human health benefits resulting from proposed air quality regulations. Using a regional photochemical model ...

  7. AIR QUALITY ENSEMBLE FORECAST COUPLING ARPEGE AND CHIMERE OVER WESTERN EUROPE

    E-Print Network [OSTI]

    Menut, Laurent

    AIR QUALITY ENSEMBLE FORECAST COUPLING ARPEGE AND CHIMERE OVER WESTERN EUROPE Carvalho of the results encountered on numerical weather prediction ensemble runs has encouraged the air quality modellers' community to test the same methodology to foresee air pollutants concentrations

  8. A cost/benefit model for insertion of technological innovation into a total quality management program 

    E-Print Network [OSTI]

    Ratliff, William L

    1997-01-01T23:59:59.000Z

    justify quality improvement. The results of this study provide process-level engineers with a cost/benefit model template, which can be used to cost justify technological improvement based upon total quality costs....

  9. Quality Management and Job Quality: How the ISO 9001 Standard forQuality Management Systems Affects Employees and Employers

    E-Print Network [OSTI]

    Levine, David I.; Toffel, Michael W.

    2008-01-01T23:59:59.000Z

    S. , D. I. Levine. 1995. A quality policy for America.K. B. , V. R. Singhal, 1996. Quality awards and the marketdisorders and workplace Quality Management and Job Quality

  10. Underlying Quality Principles

    Broader source: Energy.gov [DOE]

    These principles are consistent with Integrated Safety Management Policy, P 450.4A and support ISM implementation. 1. Define Policies and Objectives--Ensure they are Understood and Accepted. Management must set expectations for the organization as a whole before employees can do their jobs, satisfy their customers, and strive to improve the quality of their work. This is accomplished by developing and implementing specific policies and objectives that reflect the operating philosophy of the facility's management. Once these policies and objectives have been established, all managers must take the necessary actions to ensure that each employee shares their vision of the organization's purpose.

  11. School quality and wages

    E-Print Network [OSTI]

    Speakman, Robert B., Jr.

    2007-04-25T23:59:59.000Z

    to a College Degree Over a High School Degree...........................................................................................133 1 CHAPTER I#0;#3;#0;#3; #0;#3;#0;#3; INTRODUCTION Introduction During the 2000-2001 school year, $738 billion... that we believe that spending matters and the presumption must be that extra spending buys something of value, i.e., higher quality schools.3 #0;#3;#0;#3;#0;#3;#0;#3;#0;#3;#0;#3;#0;#3;#0;#3; This dissertation follows the style and format of the Journal...

  12. Quality Assurance | Jefferson Lab

    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,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclear Press Releases 2014 2013 2012 2011Quality Assurance Is A Key

  13. ARM - Data Quality Program

    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,645 3,625 1,006 492 742EnergyOnItem NotEnergy, science,SpeedingWu,IntelligenceYouQuality Program DQ Resources Data

  14. Section 22: Quality Assurance

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our Instagram Secretary Moniz is Taking Over OurSecretaryFigure 1. LocationQuality

  15. Delta Drinking Water Quality and TreatmentDelta Drinking Water Quality and Treatment WeiWei--Hsiang ChenHsiang Chen

    E-Print Network [OSTI]

    Pasternack, Gregory B.

    ­ ozonation use, ()- Under construction SOURCE: CALFED (2005) and MWDSC (http://www.mwdh2o.com/index.htm ) #1211 Delta Drinking Water Quality and TreatmentDelta Drinking Water Quality and Treatment CostsCosts · Treatments for Delta water quality conditions to minimize cost within technology limits. · Results using

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 8 474-00001-08 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 8 474-00001-08 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00039 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Vegetation Index ATBD 474-00039 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

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

    E-Print Network [OSTI]

    Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https 474-00001-07-01 Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 7 P1 474-00001-07-01 Effective Date: July 18, 2011 Revision - i Check the JPSS MIS Server

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

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00049 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https AOT APSP 474-00049 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https ­ Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

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

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ATBD 474-00042 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS CEPS COP ATBD 474-00042 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

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

    E-Print Network [OSTI]

    Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https-00001-03 Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 3 474-00001-03 Effective Date: August 13, 2011 Revision - i Check the JPSS MIS Server

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

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https: July 5, 2011 Revision - 2 Check the JPSS MIS Server at https ­External ­ Vol 5 474-00001-05 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  16. Renewables and air quality

    SciTech Connect (OSTI)

    Wooley, D.R.

    2000-08-01T23:59:59.000Z

    The US heavy reliance on fossil fuels is a central obstacle to improving air quality and preventing catastrophic climate change. To solve this problem will require a combination of financial incentives and market rules that strongly encourage development of renewable energy resources to meet electric power demand. One promising policy option is to allow renewable energy resources to directly participate in air pollution emission trading mechanisms. Currently, the clean air benefits of renewable energy generally go unrecognized by regulators, under-appreciated by consumers and uncompensated by markets. Renewable energy is a key clean air alternative to conventional electricity generation, and the development of renewables could be stimulated by changes to the Clean Air Act's emissions trading programs. As Congress revisits clean air issues over the next several years, renewable energy representatives could push for statutory changes that reward the renewable energy industry for the air quality benefits it provides. By also becoming involved in key US Environmental Protection Agency (EPA) and state rule-making cases, the renewables industry could influence the structure of emissions trading programs and strengthen one of the most persuasive arguments for wind, solar and biomass energy development.

  17. Indoor Air Quality Assessment of the San Francisco Federal Building

    SciTech Connect (OSTI)

    Apte, Michael; Bennett, Deborah H.; Faulkner, David; Maddalena, Randy L.; Russell, Marion L.; Spears, Michael; Sullivan, Douglas P; Trout, Amber L.

    2008-07-01T23:59:59.000Z

    An assessment of the indoor air quality (IAQ) of the San Francisco Federal Building (SFFB) was conducted on May 12 and 14, 2009 at the request of the General Services Administration (GSA). The purpose of the assessment was for a general screening of IAQ parameters typically indicative of well functioning building systems. One naturally ventilated space and one mechanically ventilated space were studied. In both zones, the levels of indoor air contaminants, including CO2, CO, particulate matter, volatile organic compounds, and aldehydes, were low, relative to reference exposure levels and air quality standards for comparable office buildings. We found slightly elevated levels of volatile organic compounds (VOCs) including two compounds often found in"green" cleaning products. In addition, we found two industrial solvents at levels higher than typically seen in office buildings, but the levels were not sufficient to be of a health concern. The ventilation rates in the two study spaces were high by any standard. Ventilation rates in the building should be further investigated and adjusted to be in line with the building design. Based on our measurements, we conclude that the IAQ is satisfactory in the zone we tested, but IAQ may need to be re-checked after the ventilation rates have been lowered.

  18. LHCb RICH Online-Monitor and Data-Quality

    E-Print Network [OSTI]

    Kerzel, U

    2009-01-01T23:59:59.000Z

    The LHCb experiment at the LHC (CERN) has been optimised for high precision measurements of the beauty quark sector. Its main objective is to precisely determine and over-constrain the parameters of the CKM mixing matrix, and to search for further sources of CP violation and new physics beyond the Standard Model in rare B-decays. Efficient particle identification at high purities over a wide momentum range from around 1 to ~100GeV/c is vital to many LHCb analyses. Central to the LHCb particle identification strategy are two Ring Imaging CHerenkov (RICH) detectors which use Silica Aerogel and C4F10 and CF4 gas radiators. A rigorous quality control scheme is being developed to insure that the data recorded by the RICH detector meets the stringent requirements of the physics analyses. The talk summarises the LHCb RICH online monitoring and data-quality strategy. Multiple dedicated algorithms are deployed to detect any potential issue already during data-taking ranging from integrity checks, mis-alignments to cha...

  19. Managing For High-quality Hay

    E-Print Network [OSTI]

    Stichler, Charles; Bade, David H.

    1998-09-22T23:59:59.000Z

    This publication highlights the factors determining hay quality and discusses fertility and water interaction, harvesting, quality losses and storage losses....

  20. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration...

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

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management...

  1. Software Quality Assurance Subcommittee : Guidelines for Requirements...

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

    Software Quality Assurance Subcommittee : Guidelines for Requirements Management Software Quality Assurance Subcommittee : Guidelines for Requirements Management Requirements...

  2. Used Fuel Disposition Campaign Preliminary Quality Assurance...

    Energy Savers [EERE]

    Used Fuel Disposition Campaign Preliminary Quality Assurance Implementation Plan Used Fuel Disposition Campaign Preliminary Quality Assurance Implementation Plan The primary...

  3. Quality Assurance Exchange, October 2008

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

    of manufacturers' QA programs and those processes that are critical for manufac- turing filters to DOE quality requirements and specifications. For further information,...

  4. Quality Assurance Exchange April 2007

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

    "Provide Feed- back and Continuous Improvement." (continued on page 3) WTS SHARES ISSUES MANAGEMENT PROGRAM EM INITIATES QA EVALUATION PLAN EM-wide quality assurance program spe-...

  5. Quality Assurance Exchange August 2011

    Office of Environmental Management (EM)

    Editor: Debbie Rosano: 301-903-8177, debbie.rosano@hq.doe.gov Quality Assurance Web site: www.hss.energy.govnuclearsafetyqa Questions or Comments? Please submit to...

  6. International Quality Assurance Standards (Presentation)

    SciTech Connect (OSTI)

    Kurtz, S.; Hacke, P.; Wohlgemuth, J.; Kempe, M.; Yamamichi, M.

    2011-02-01T23:59:59.000Z

    Tests to make quantitative predictions about photovoltaic (PV) modules are needed. This presentation proposes the creation of international quality assurance standards for PV modules.

  7. Current Quality Culture Mini Paper Six Sigma Quality Control

    E-Print Network [OSTI]

    Vardeman, Stephen B.

    Current Quality Culture Mini Paper Six Sigma Quality Control By: Shawn Higbee Steve Soseman Kaya, they want zero." - John Bertrand, President, A.O. Smith Electrical Products Company What is Six Sigma? SixSig_pg140-2.html Is Six Sigma good for every company? The benefits of implementing a 6 include increased

  8. Soil Quality Information Sheet Rangeland Soil Quality--Wind Erosion

    E-Print Network [OSTI]

    and to be blown away. A cover of plants disrupts the force of the wind. Soils are more susceptible to wind erosionSoil Quality Information Sheet Rangeland Soil Quality--Wind Erosion USDA, Natural Resources Conservation Service May 2001 Rangeland Sheet 10 What is wind erosion? Wind erosion is the physical wearing

  9. Soil Quality Information Sheet Rangeland Soil Quality--Compaction

    E-Print Network [OSTI]

    Soil Quality Information Sheet Rangeland Soil Quality--Compaction USDA, Natural Resources Conservation Service May 2001 Rangeland Sheet 4 What is compaction? Soil compaction occurs when moist or wet soil aggregates are pressed together and the pore space between them is reduced. Compaction changes

  10. Soil Quality Information Sheet Rangeland Soil Quality--Introduction

    E-Print Network [OSTI]

    Soil Quality Information Sheet Rangeland Soil Quality--Introduction USDA, Natural Resources of the soil, the vegetation, the water, and the air as well as the ecological processes of the rangeland ecosystem are balanced and sustained. What is soil? Soil is a dynamic resource that supports plants

  11. Soil Quality Information Sheet Rangeland Soil Quality--Soil Biota

    E-Print Network [OSTI]

    Soil Quality Information Sheet Rangeland Soil Quality--Soil Biota USDA, Natural Resources Conservation Service May 2001 Rangeland Sheet 8 What are soil biota? Soil biota, the biologically active powerhouse of soil, include an incredible diversity of organisms. Tons of soil biota, including micro

  12. Soil Quality Information Sheet Rangeland Soil Quality--Water Erosion

    E-Print Network [OSTI]

    Soil Quality Information Sheet Rangeland Soil Quality--Water Erosion USDA, Natural Resources and removal of soil material by water. The process may be natural or accelerated by human activity. The rate of erosion may be very slow to very rapid, depending on the soil, the local landscape, and weather conditions

  13. INVENTORY AND REVIEW OF QUALITY ASSURANCE/QUALITY CONTROL

    E-Print Network [OSTI]

    ........................................................................................................8 APPENDICES APPENDIX A Obtaining the Electronic Database APPENDIX B Summary Format for QA of the Environmental Quality Component of the Fraser River Action Plan (FRAP). This committee is mandated to provide of high quality, reliable environmental data; 2) compatible data which will be readily exchangeable both

  14. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    Institute of Standards and Tech- nology (NIST), other DOE sources, or EPA are used for such work address and meet applicable quality standards. 9.2 FIELD SAMPLING QUALITY ASSURANCE Field sampling QA.Somekeyqualitypractices include the following: · use of standard operating procedures for sample collection and analysis; · use

  15. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    Institute of Standards and Technology (NIST), EPA , or other DOE laboratories are used for such work address and meet applicable quality standards. 9.2 FIELD SAMPLING QUALITY ASSURANCE Field sampling QA include the following: use of standard operating procedures (SOPs) for sample collection and analysis

  16. Unit 10: Software Quality To introduce software quality management and

    E-Print Network [OSTI]

    Finkelstein, Anthony

    . ¥ ISO 9001 Quality Systems - Model for Quality Assurance in Design/Development, Production, Installation intervals by management to ensure its continuing suitability, effectiveness and conformance with ISO 9001 with particular reference to the requirements of ISO 9000 and associated standards. Ð To introduce QFD

  17. Quality Management Why bother Certificating?

    E-Print Network [OSTI]

    Paxton, Anthony T.

    ) (Prevention) (Direction) BS 5750 1979-1987 ISO 9001/2/3 1987-2000 ISO 9001 2000, amended 2008 #12;5 What RECORDS / FORMS INTENT WHAT? PROOF HOW? WHY? #12;8 ISO 9001:2008 The Structure: ISO 9001 - Q Relationships ISO 9001:2008 Based on the 8 Quality Management Principles: #12;11 Quality Management Process

  18. A quality management approach to civil engineering

    E-Print Network [OSTI]

    Baber, Thomas James

    1999-01-01T23:59:59.000Z

    engineering 4. Hydrologic modeling Qttality Mttnttgement Between the 1920s and 1960s several men emerged as the leaders of the quality management movement: W. Fdwards Deming, Joseph M. Juran, Armand V. Feigenbaum, and Kaoru Ishikawa. This list..." for quality improvement and his use of statistical techniques for process control (Demi ng, 1986). Joseph M. Juran is well known for his Quality Trilogy: Quality Planning, Quality Control, and Quality Improvement (, luran, 1986). Juran saw quality as two...

  19. QUALITY AND IMPACT Supplement 1 Evaluation of

    E-Print Network [OSTI]

    QUALITY AND IMPACT Supplement 1 KoN09 Evaluation of Quality and Impact at SLU KoN Management Team Roland von Bothmer Johan Schnürer Boel �ström Katarina Vrede Per Andersson Supplement #12;QUALITY AND IMPACT Supplement2 Evaluation of Quality and Impact at SLU (KoN 09), Supplement #12;QUALITY AND IMPACT

  20. Quality assurance for radioactive waste packages -- A general approach

    SciTech Connect (OSTI)

    Martens, B.R. [Bundesamt fuer Strahlenschutz, Saltzgitter (Germany)

    1993-12-31T23:59:59.000Z

    Radioactive waste packages must fulfill the requirements resulting from regulations concerning handling, treatment, conditioning, transportation, storage and disposal so that the goal of radioactive waste management can be achieved. Usually in different parts of waste management different quality systems are used, and different quality assurance measures are performed. In the paper, these problems ar elucidated and it is explained by means of the quality assurance performed for the disposal of radioactive waste in Germany how the fulfillment of the requirements of the repository can be ensured.

  1. Cache directory look-up re-use as conflict check mechanism for speculative memory requests

    DOE Patents [OSTI]

    Ohmacht, Martin

    2013-09-10T23:59:59.000Z

    In a cache memory, energy and other efficiencies can be realized by saving a result of a cache directory lookup for sequential accesses to a same memory address. Where the cache is a point of coherence for speculative execution in a multiprocessor system, with directory lookups serving as the point of conflict detection, such saving becomes particularly advantageous.

  2. Temperature-and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach

    E-Print Network [OSTI]

    Mishra, Prabhat

    , leakage power is ex- ponentially proportional to temperature, which potentially results in more thermal and temperature in micro- processors. This has raised urgent requirement for both power and thermal management The ongoing scaling of semiconductor technology is causing se- vere increase of on-chip power density

  3. Quality Management and Job Quality: How the ISO 9001 Standard forQuality Management Systems Affects Employees and Employers

    E-Print Network [OSTI]

    Levine, David I.; Toffel, Michael W.

    2008-01-01T23:59:59.000Z

    and Job Quality: How the ISO 9001 Standard for Qualityhave examined how the ISO 9001 Quality Management Systemcompanies in California. ISO 9001 adopters subsequently had

  4. Milestone M4900: Simulant Mixing Analytical Results

    SciTech Connect (OSTI)

    Kaplan, D.I.

    2001-07-26T23:59:59.000Z

    This report addresses Milestone M4900, ''Simulant Mixing Sample Analysis Results,'' and contains the data generated during the ''Mixing of Process Heels, Process Solutions, and Recycle Streams: Small-Scale Simulant'' task. The Task Technical and Quality Assurance Plan for this task is BNF-003-98-0079A. A report with a narrative description and discussion of the data will be issued separately.

  5. ATLAS RPC QA results at INFN Lecce

    SciTech Connect (OSTI)

    Bianco, M.; Cazzato, A.; Coluccia, M. R.; Gorini, E.; Spagnolo, S.; Tassielli, G. [Dipartimento di Fisica - via Arnesano 73100, Lecce (Italy); INFN - via Arnesano 73100, Lecce (Italy); Borjanovic, I. [Dipartimento di Fisica - via Arnesano 73100, Lecce (Italy); Cataldi, G.; Chiodini, G.; Creti, P.; Grancagnolo, F.; Perrino, R.; Primavera, M.; Ventura, A. [INFN - via Arnesano 73100, Lecce (Italy)

    2006-02-08T23:59:59.000Z

    The main results of the quality assurance tests performed on the Resistive Plate Chamber used by the ATLAS experiment at LHC as muon trigger chambers are reported and discussed. These are dark current, gas volume tomography, gas tightness, efficiency, and noise rate.

  6. Improving the Quality of FORS2 Reduced Spectra

    E-Print Network [OSTI]

    Moehler, Sabine; Boffin, Henri; Rupprecht, Gero; Saviane, Ivo; Freudling, Wolfram

    2015-01-01T23:59:59.000Z

    The FORS2 instrument is one of the most widely used and productive instruments on the Very Large Telescope. This article reports on a project to improve the quality of the reduced FORS2 spectra that can be produced with the software provided by ESO. The result of this effort is that spectra of significantly higher quality can now be produced with substantially lower effort by the science user of the data.

  7. Water Quality Act (New Mexico)

    Broader source: Energy.gov [DOE]

    This act establishes the Water Quality Control Commission and states the powers and duties of the commission. Rules are stated for adoption of regulations and standards and information is provided...

  8. Water Quality Regulations (Rhode Island)

    Broader source: Energy.gov [DOE]

    The purpose of these regulations is to establish water quality standards for the state's surface waters. These standards are intended to restore, preserve and enhance the physical, chemical and...

  9. A systems view of quality

    E-Print Network [OSTI]

    Utley, Tana L. (Tana Leigh)

    2007-01-01T23:59:59.000Z

    Caterpillar, a leading manufacturer of construction and mining equipment, diesel and natural gas engines and industrial gas turbines, is committed to continually improving the quality of their products. Caterpillar currently ...

  10. Quality Control Inspector: Different Programs, Different Responsibilit...

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

    document explains the role of the Quality Control Inspector (QCI) in regards to the Home Energy Professional Certification Exam. Quality Control Inspector: Different Programs,...

  11. Vermont Water Quality Certification Application for Hydroelectric...

    Open Energy Info (EERE)

    Vermont Water Quality Certification Application for Hydroelectric Facilities Jump to: navigation, search OpenEI Reference LibraryAdd to library Form: Vermont Water Quality...

  12. Quality New Mexico recognizes Community Programs Office

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

    CPO receives Pion recognition Quality New Mexico recognizes Community Programs Office LANL has received 14 Pion and Roadrunner recognitions from Quality New Mexico since 1997....

  13. EXTENSION WATER SUMMIT PRIORITY: WATER QUALITY

    E-Print Network [OSTI]

    Kane, Andrew S.

    EXTENSION WATER SUMMIT PRIORITY: WATER QUALITY Leadership Team Subcommittee: Mark Clark Karl Havens BJ Jarvis Kelly Morgan Ramesh Reddy #12;Water Quality ­ Situation (resources) Florida has extensive

  14. Supplying High-Quality, Raw Biomass

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

    Supplying High-Quality, Raw Biomass The building blocks to supply high-quality raw biomass start with harvesting and collection practices, product storage and recommendations of...

  15. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design...

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

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist This checklist is intended to...

  16. Stormwater Quality Controls in SLAMM Introduction .....................................................................................................................................................................................2

    E-Print Network [OSTI]

    Pitt, Robert E.

    D-1 Appendix D Stormwater Quality Controls in SLAMM Introduction.........................................................................................................................................20 Nuisance Conditions in Wet Detention Ponds and Degraded Water Quality

  17. Quality Assurance Functional Area Qualification Standard - DOE...

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

    50-2013, Quality Assurance Functional Area Qualification Standard by Administrator The Quality Assurance (QA) Functional Area Qualification Standard (FAQS) establishes common...

  18. Quality Assurance Corporate Board | Department of Energy

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

    Assurance Corporate Board Quality Assurance Corporate Board The Office of Environmental Management (EM) Quality Assurance Corporate Board is an executive board that includes both...

  19. Oregon Water Quality Permit Program (Stormwater - Industrial...

    Open Energy Info (EERE)

    Oregon Water Quality Permit Program (Stormwater - Industrial Activities) Website Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: Oregon Water Quality...

  20. A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

    E-Print Network [OSTI]

    Tomita, Takashi; Yonezaki, Naoki; 10.4204/EPTCS.73.9

    2011-01-01T23:59:59.000Z

    Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively. In PCTL and CSL, the possibility of executions satisfying some temporal properties can be quantitatively represented by the probabilistic extension of the path quantifiers in their basic Computation Tree Logic (CTL), however, path formulae of them are expressed via the same operators in CTL. For this reason, both of them cannot represent formulae with quantitative temporal properties, such as those of the form "some properties hold to more than 80% of time points (in a certain bounded interval) on the path." In this paper, we introduce a new temporal operator which expressed the notion of frequency of events, and define probabilistic frequency temporal logic (PFTL) based on CTL\\star. As a result, we can easily represent the temporal properties of behavior in probabilistic systems. However, it is difficult to...

  1. A comparison algorithm to check LTSA Layer 1 and SCORM compliance in e-Learning sites

    E-Print Network [OSTI]

    Sengupta, Souvik; Banerjee, Nilanjan

    2012-01-01T23:59:59.000Z

    The success of e-Learning is largely dependent on the impact of its multimedia aided learning content on the learner over the hyper media. The e-Learning portals with different proportion of multimedia elements have different impact on the learner, as there is lack of standardization. The Learning Technology System Architecture (LTSA) Layer 1 deals with the effect of environment on the learner. From an information technology perspective it specifies learner interaction from the environment to the learner via multimedia content. Sharable Content Object Reference Model (SCROM) is a collection of standards and specifications for content of web-based e-learning and specifies how JavaScript API can be used to integrate content development. In this paper an examination is made on the design features of interactive multimedia components of the learning packages by creating an algorithm which will give a comparative study of multimedia component used by different learning packages. The resultant graph as output helps...

  2. Quality control by a mobile molecular workshop: quality versus quantity

    E-Print Network [OSTI]

    Ajeet K. Sharma; Debashish Chowdhury

    2010-09-27T23:59:59.000Z

    Ribosome is a molecular machine that moves on a mRNA track while, simultaneously, polymerizing a protein using the mRNA also as the corresponding template. We define, and analytically calculate, two different measures of the efficiency of this machine. However, we arugue that its performance is evaluated better in terms of the translational fidelity and the speed with which it polymerizes a protein. We define both these quantities and calculate these analytically. Fidelity is a measure of the quality of the products while the total quantity of products synthesized in a given interval depends on the speed of polymerization. We show that for synthesizing a large quantity of proteins, it is not necessary to sacrifice the quality. We also explore the effects of the quality control mechanism on the strength of mechano-chemical coupling. We suggest experiments for testing some of the ideas presented here.

  3. St. Paul -West Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.

    E-Print Network [OSTI]

    Webb, Peter

    's cooling system is scheduled to be on. Status Color Code: On In Progress Not started Building Name BuildingSt. Paul - West Bank District Heating-to-Cooling Conversion Plan Check the date your building # Date Central Cooling On Status Date Window A/C Units installed Status 19th ave ramp 217 N/A N/A N/A 21

  4. Health Sciences District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.

    E-Print Network [OSTI]

    Webb, Peter

    system is scheduled to be on. Status Color Code: On In Progress Not started *** - Typically between May 1Health Sciences District Heating-to-Cooling Conversion Plan Check the date your building's cooling-15, as requested. Building Name Building # Date Central Cooling On Status Date Window A/C Units installed Status

  5. East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.

    E-Print Network [OSTI]

    Webb, Peter

    East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on. Status Color Code: On In Progress Not started Building Name Building # Date Central Cooling On Status Date Window A/C Units installed Status 1425 University Ave. 127 1901 University Ave SE

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

    E-Print Network [OSTI]

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

  7. 12:30 -12:45 p.m. Check-in and greetings 12:45 -12:55 p.m. Welcome and Announcements

    E-Print Network [OSTI]

    de Lijser, Peter

    :30 - 12:45 p.m. Check-in and greetings __________________________________________________________________________________________________ 12:45 - 12:55 p.m. Welcome and Announcements Vivek Mande California State University, Fullerton __________________________________________________________________________________________________ 1:00 - 1:40 p.m. Invited presentation Robert Knechel

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

    E-Print Network [OSTI]

    Oklahoma, University of

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

  9. MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) Fleet Services to conduct a motor vehicle record check to

    E-Print Network [OSTI]

    Kirschner, Denise

    MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) ­ Fleet Services to conduct a motor vehicle record check to verify eligibility to operate University of Michigan (U-M) vehicles. Form Instructions: · Complete each section of the form · Print and fax

  10. On Linguistic Quality of Natural Language Requirements

    E-Print Network [OSTI]

    Ruggieri, Salvatore

    , has now reached its limits. Like classical engineering switched from quality control to total qualityOn Linguistic Quality of Natural Language Requirements F. Fabbrini 1 , M. Fusani 1 , V. Gervasi 2 Informatica, Corso Italia 40, 56125 Pisa Italy. Abstract. We recognize the need for defining a quality model

  11. Air Quality: Construction Project Air Permit Requirements

    E-Print Network [OSTI]

    Wechsler, Risa H.

    Air Quality: Construction Project Air Permit Requirements Department: Chemical and General Safety Program: Air Quality Owner: Program Manager Authority: ES&H Manual, Chapter 30, Air Quality1 All manager or operator must submit the completed form to the air quality program manager before the project

  12. Quality Network Meeting 2nd Summary Notes

    E-Print Network [OSTI]

    has already taken place at IMI in Lucerne Switzerland. She requested that the Faculty Quality Officers

  13. Quality engineering as a discipline of study.

    SciTech Connect (OSTI)

    Kolb, Rachel R.; Hoover, Marcey L.

    2012-12-01T23:59:59.000Z

    The current framework for quality scholarship in the United States ranges from the training and education of future quality engineers, managers, and professionals to focused and sustained research initiatives that, through academic institutions and other organizations, aim to improve the knowledge and application of quality across a variety of sectors. Numerous quality journals also provide a forum for professional dissemination of information.

  14. 302:20130613.1452 Quality Assurance Group

    E-Print Network [OSTI]

    Mojzsis, Stephen J.

    into the quality management system. A focus on continual improvement, regular review, and assessment of the system is available to help you achieve your quality goals. LASP's approach to quality management is designed around the ISO 9001:2008 standard for quality systems. All elements of the ISO model are incorporated

  15. On Generalized Low-Rate Denial-of-Quality Attack Against Internet Services

    E-Print Network [OSTI]

    Chang, Rocky Kow-Chuen

    On Generalized Low-Rate Denial-of-Quality Attack Against Internet Services Yajuan Tang, Xiapu Luo,csrchang}@comp.polyu.edu.hk, qing.hui@ttu.edu Abstract--Low-rate Denial of Quality (DoQ) attacks, by send- ing intermittent bursts generalize the previous results by considering arbitrary attack intervals. We obtain two sets of new results

  16. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    Institute of Standards and Technology (NIST), other DOE sources, or EPA are used for such work qual- ity standards. 9.2 Field Sampling Quality Assurance Field sampling QA encompasses many prac the following: use of standard operating procedures for sample collection and analysis; use of chain

  17. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    ). Certified standards traceable to the National Institute of Standards and Technology (NIST), other DOE standards. 9.2 FIELD SAMPLING QUALITY ASSURANCE Field sampling QA encompasses many practices that minimize error and evaluate samplingperformance.Somekeyqualitypractices include the following: · use of standard

  18. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    ). Certified standards traceable to the National In- stitute of Standards and Technology (NIST), DOE sources standards. 9.2 Field Sampling Quality Assurance Field sampling QA encompasses many prac- tices that minimize control processes and standard operating procedures for sample collection and analysis; use of chain

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

  2. Biennial Workshop on Digital Signal Processing for In-Vehicle Systems, Sep. 29-Oct. 2, 2013, Seoul, Korea Driver Mirror-Checking Action Detection Using Multi-Modal Signals

    E-Print Network [OSTI]

    Busso, Carlos

    are associated with the primary driving tasks (checking mirrors, monitoring speed, changing lines) or secondary are associated with the primary driving tasks (e.g., checking mirrors, monitoring speed, and changing lines extracted from various sensory signals that can be used to distinguish between normal and distracted driving

  3. Army Regulation 2001 Environmental Quality

    E-Print Network [OSTI]

    US Army Corps of Engineers

    Army Regulation 200­1 Environmental Quality Environmental Protection and Enhancement Headquarters Environmental Protection and Enhancement *Army Regulation 200­1 Effective 27 December 2007 History in the summary of change. Summary. This regulation covers envi- ronmental protection and enhancement and provides

  4. PowerQuality Jonathan Manson &

    E-Print Network [OSTI]

    Schrijver, Karel

    of the avoidable wastage and economic losses incurred by these industrial sectors at a time when energy sources of PQ issues, measurement undertaken and relations with the supplying electrical utility. The 6th Report #12;Power Quality Campaign 2 www.leonardo-energy.org 1. Foreword and Executive Summary Since

  5. Quality assurance manual: Volume 1

    SciTech Connect (OSTI)

    Oijala, J.E.

    1988-06-01T23:59:59.000Z

    Stanford Linear Accelerator Center (SLAC) is a DOE-supported research facility that carries out experimental and theoretical research in high energy physics and developmental work in new techniques for particle acceleration and experimental instrumentation. The purpose of this manual is to describe SLAC quality assurance policies and practices in various parts of the Laboratory.

  6. Biospecimen Reporting for Improved Study Quality (BRISQ)

    SciTech Connect (OSTI)

    National Cancer Institute; Jewell, Ph.D., Scott D.; Seijo, M.S., Edward; Kelly, Ph.D., Andrea; Somiari, Ph.D., Stella; B.Chir., M.B.; McShane, Ph.D., Lisa M.; Clark, M.D., Douglas; Greenspan, M.D., Renata; Hayes, M.D., Daniel F.; Hainaut, Ph.D., M.S., Pierre; Kim, Paula; Mansfield, Ph.D., Elizabeth; Potapova, Ph.D., Olga; Riegman, Ph.D., Peter; Rubinstein, Ph.D., Yaffa; Weier, Ph.D., Heinz-Ulrich; Zhu, Ph.D., Claire; Moore, Ph.D., Helen M.; Vaught, Ph.D., Jim; Watson, Peter

    2010-09-02T23:59:59.000Z

    Human biospecimens are subjected to collection, processing, and storage that can significantly alter their molecular composition and consistency. These biospecimen preanalytical factors, in turn, influence experimental outcomes and the ability to reproduce scientific results. Currently, the extent and type of information specific to the biospecimen preanalytical conditions reported in scientific publications and regulatory submissions varies widely. To improve the quality of research that uses human tissues, it is crucial that information on the handling of biospecimens be reported in a thorough, accurate, and standardized manner. The Biospecimen Reporting for Improved Study Quality (BRISQ) recommendations outlined herein are intended to apply to any study in which human biospecimens are used. The purpose of reporting these details is to supply others, from researchers to regulators, with more consistent and standardized information to better evaluate, interpret, compare, and reproduce the experimental results. The BRISQ guidelines are proposed as an important and timely resource tool to strengthen communication and publications on biospecimen-related research and to help reassure patient contributors and the advocacy community that their contributions are valued and respected.

  7. Biospecimen Reporting for Improved Study Quality

    SciTech Connect (OSTI)

    Moore, Ph.D., Helen M.; Kelly, Ph.D., Andrea B.; Jewell, Ph.D., Scott D.; McShane, Ph.D., Lisa M.; Clark, M.D., Douglas P.; Greenspan, M.D., Renata; Hayes, M.D., Daniel F.; Hainaut, Ph.D., Pierre; Kim, Paula; Mansfield, Ph.D., Elizabeth A.; Potapova, Ph.D., Olga; Riegman, Ph.D., Peter; Rubinstein, Ph.D., Yaffa; Seijo, M.S., Edward; Somiari, Ph.D., Stella; Chir., B; Weier, Ph.D., Heinz-Ulrich; Zhu, Ph.D., Claire; Vaught, Ph.D., Jim; Watson,M.B., Peter

    2010-12-27T23:59:59.000Z

    Human biospecimens are subjected to collection, processing, and storage that can significantly alter their molecular composition and consistency. These biospecimen preanalytical factors, in turn, influence experimental outcomes and the ability to reproduce scientific results. Currently, the extent and type of information specific to the biospecimen preanalytical conditions reported in scientific publications and regulatory submissions varies widely. To improve the quality of research that uses human tissues, it is crucial that information on the handling of biospecimens be reported in a thorough, accurate, and standardized manner. The Biospecimen Reporting for Improved Study Quality (BRISQ) recommendations outlined herein are intended to apply to any study in which human biospecimens are used. The purpose of reporting these details is to supply others, from researchers to regulators, with more consistent and standardized information to better evaluate, interpret, compare, and reproduce the experimental results. The BRISQ guidelines are proposed as an important and timely resource tool to strengthen communication and publications on biospecimen-related research and to help reassure patient contributors and the advocacy community that their contributions are valued and respected.

  8. Biospecimen Reporting for Improved Study Quality (BRISQ)

    SciTech Connect (OSTI)

    Moore, Ph.D., Helen M.; Kelly Ph.D., Andrea; Jewell Ph.D., Scott D.; McShane Ph.D., Lisa M.; Clark M.D., Douglas P.; Greenspan M.D., Renata; Hayes M.D., Daniel F.; Hainaut Ph.D.,, Pierre; Kim, Paula; Mansfield Ph.D., Elizabeth; Potapova Ph.D., Olga; Riegman Ph.D., Peter; Rubinstein Ph.D., Yaffa; Seijo M.S., Edward; Somiari Ph.D., Stella; Watson M.B., Peter; Weier Ph.D., Heinz-Ulrich; Zhu Ph.D., Claire; Vaught Ph.D., Jim

    2011-04-26T23:59:59.000Z

    Human biospecimens are subject to a number of different collection, processing, and storage factors that can significantly alter their molecular composition and consistency. These biospecimen preanalytical factors, in turn, influence experimental outcomes and the ability to reproduce scientific results. Currently, the extent and type of information specific to the biospecimen preanalytical conditions reported in scientific publications and regulatory submissions varies widely. To improve the quality of research utilizing human tissues it is critical that information regarding the handling of biospecimens be reported in a thorough, accurate, and standardized manner. The Biospecimen Reporting for Improved Study Quality (BRISQ) recommendations outlined herein are intended to apply to any study in which human biospecimens are used. The purpose of reporting these details is to supply others, from researchers to regulators, with more consistent and standardized information to better evaluate, interpret, compare, and reproduce the experimental results. The BRISQ guidelines are proposed as an important and timely resource tool to strengthen communication and publications around biospecimen-related research and help reassure patient contributors and the advocacy community that the contributions are valued and respected.

  9. Checking PDSF Quotas

    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,645 3,625govInstrumentstdmadapInactiveVisiting the TWPSuccessAlamosCharacterization of Selective BindingD.Charting

  10. Tomotherapy treatment plan quality assurance: The impact of applied criteria on passing rate in gamma index method

    SciTech Connect (OSTI)

    Bresciani, Sara; Di Dia, Amalia; Maggio, Angelo; Cutaia, Claudia; Miranti, Anna; Infusino, Erminia; Stasi, Michele [Medical Physics Division, Institute for Cancer Research and Treatment (IRCCS), 10060 Candiolo (Italy)] [Medical Physics Division, Institute for Cancer Research and Treatment (IRCCS), 10060 Candiolo (Italy)

    2013-12-15T23:59:59.000Z

    Purpose: Pretreatment patient plan verification with gamma index (GI) metric analysis is standard procedure for intensity modulated radiation therapy (IMRT) treatment. The aim of this paper is to evaluate the variability of the local and global gamma index obtained during standard pretreatment quality assurance (QA) measurements for plans performed with Tomotherapy unit. The QA measurements were performed with a 3D diode array, using variable passing criteria: 3%/3 mm, 2%/2 mm, 1%/1 mm, each with both local and global normalization.Methods: The authors analyzed the pretreatment QA results for 73 verifications; 37 were prostate cancer plans, 16 were head and neck plans, and 20 were other clinical sites. All plans were treated using the Tomotherapy Hi-Art System. Pretreatment QA plans were performed with the commercially available 3D diode array ArcCHECK™. This device has 1386 diodes arranged in a helical geometry spaced 1 cm apart. The dose measurements were acquired on the ArcCHECK™ and then compared with the calculated dose using the standard gamma analysis method. The gamma passing rate (%GP), defined as the percentage of points satisfying the condition GI < 1, was calculated for different criteria (3%/3 mm, 2%/2 mm, 1%/1 mm) and for both global and local normalization. In the case of local normalization method, the authors set three dose difference threshold (DDT) values of 2, 3, and 5 cGy. Dose difference threshold is defined as the minimum absolute dose error considered in the analysis when using local normalization. Low-dose thresholds (TH) of 5% and 10% were also applied and analyzed.Results: Performing a paired-t-test, the authors determined that the gamma passing rate is independent of the threshold values for all of the adopted criteria (5%TH vs 10%TH, p > 0.1). Our findings showed that mean %GPs for local (or global) normalization for the entire study group were 93% (98%), 84% (92%), and 66% (61%) for 3%/3 mm, 2%/2 mm, and 1%/1 mm criteria, respectively. DDT was equal to 2 cGy for the local normalization analysis cases. The authors observed great variability in the resulting %GP. With 3%/3 mm gamma criteria, the overall passing rate with local normalization was 4.6% less on the average than with global one, as expected. The wide difference between %GP calculated with global or local approach is also confirmed by an unpaired t-test statistical analysis.Conclusions: The variability of %GP obtained confirmed the necessity to establish defined agreement criteria that could be universal and comparable between institutions. In particular, while the gamma passing rate does not depend on the choice of threshold, the choice of DDT strongly influences the gamma passing rate for local calculations. The difference between global and local %GP was statistically significant for prostate and other treatment sites when DDT was changed from 2 to 3 cGy.

  11. Search results | Department of Energy

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

    Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy with several potential applications besides producing heat and electricity. Today,...

  12. Plans, Implementation, and Results

    Broader source: Energy.gov [DOE]

    About the Weatherization and Intergovernmental Programs Office (WIPO) including information on plans, implementations, and results.

  13. Project Hanford management contract quality improvement project management plan

    SciTech Connect (OSTI)

    ADAMS, D.E.

    1999-03-25T23:59:59.000Z

    On July 13, 1998, the U.S. Department of Energy, Richland Operations Office (DOE-RL) Manager transmitted a letter to Fluor Daniel Hanford, Inc. (FDH) describing several DOE-RL identified failed opportunities for FDH to improve the Quality Assurance (QA) Program and its implementation. In addition, DOE-RL identified specific Quality Program performance deficiencies. FDH was requested to establish a periodic reporting mechanism for the corrective action program. In a July 17, 1998 response to DOE-RL, FDH agreed with the DOE concerns and committed to perform a comprehensive review of the Project Hanford Management Contract (PHMC) QA Program during July and August, 1998. As a result, the Project Hanford Management Contract Quality Improvement Plan (QIP) (FDH-3508) was issued on October 21, 1998. The plan identified corrective actions based upon the results of an in-depth Quality Program Assessment. Immediately following the scheduled October 22, 1998, DOE Office of Enforcement and Investigation (EH-10) Enforcement Conference, FDH initiated efforts to effectively implement the QIP corrective actions. A Quality Improvement Project (QI Project) leadership team was assembled to prepare a Project Management Plan for this project. The management plan was specifically designed to engage a core team and the support of representatives from FDH and the major subcontractors (MSCs) to implement the QIP initiatives; identify, correct, and provide feedback as to the root cause for deficiency; and close out the corrective actions. The QI Project will manage and communicate progress of the process.

  14. Studies in Power Quality Success

    E-Print Network [OSTI]

    Laan, B. A.

    /" cycle. Low voltage sag susceptible relays offer another mitigation measure to solve problems at a number offacilities. The Electric Power Research Institute (EPRI) has coordinated the development of voltage sag susceptibility standards for equipment... Conference, Houston, TX, April 5-6, 2000 electricity providers can use this type of information to agree on a level ofpower quality that best meets the needs ofend users. The California Energy Commission is funding research with EPRI to define...

  15. Irrigation Water Quality Salinity Management

    E-Print Network [OSTI]

    Small Potassium sulfate K2SO4 Small Sodium bicarbonate NaHCO3 Small Calcium carbonate CaCO3 Very Small concentration as related to the concentration of calcium and magnesium, and 3 Irrigation Water Quality Standards Na2SO4 Moderate to large Calcium chloride CaCl2 Moderate Calcium sulfate (gypsum) CaSO4 2H2O Moderate

  16. Data quality improvements for FAA

    SciTech Connect (OSTI)

    Perry, R.; Marlman, K.; Olson, D.; Werner, P.

    1997-09-01T23:59:59.000Z

    Effective communication among air safety professionals is only as good as the information being communicated. Data sharing cannot be effective unless the data are relevant to aviation safety problems, and decisions based on faulty data are likely to be invalid. The validity of aviation safety data depends on satisfying two primary characteristics. Data must accurately represent or conform to the real world (conformance), and it must be relevant or useful to addressing the problems at hand (utility). The FAA, in efforts to implement the Safety Performance Analysis System (SPAS), identified significant problems in the quality of the data which SPAS and FAA air safety professionals would use in defining the state of aviation safety in the US. These finding were reinforced by Department of Transportation Inspector General and General Accounting Office investigations into FAA surveillance of air transport operations. Many recent efforts to improve data quality have been centered on technological solutions to the problems. They concentrate on reducing errors in the data (conformance), but they cannot adequately address the relationship of data to need (utility). Sandia National Laboratories, working with the FAA`s Airport and Aircraft Safety Research and Development Division and the Flight Standards Service, has been involved in four programs to assist FAA in addressing their data quality problems. The Sandia approach has been data-driven rather than technology-driven. In other words, the focus has been on first establishing the data requirements by analyzing the FAA`s surveillance and decision-making processes. This process analysis looked at both the data requirements and the methods used to gather the data in order to address both the conformance and utility problems inherent in existing FAA data systems. This paper discusses Sandia`s data quality programs and their potential improvements to the safety analysis processes and surveillance programs of the FAA.

  17. Transformer Thermal Modeling: Improving Reliability Using Data Quality Control

    E-Print Network [OSTI]

    1 Transformer Thermal Modeling: Improving Reliability Using Data Quality Control Daniel J. Tylavsky--Eventually all large transformers will be dynamically loaded using models updated regularly from field measured data. Models obtained from measured data give more accurate results than models based on transformer

  18. QUALITY TOOLS APPLIED TO TERRITORIAL INTELLIGENCE Cinta C. Garca Vzquez

    E-Print Network [OSTI]

    Boyer, Edmond

    on a description of Territorial Intelligence; the second one contains the description of the "Six Sigma" process; and lastly, the description of some of the quality tools used by the Six Sigma project. Territorial based on the results observed in the assessment?. The "Six Sigma" method, deal with this question using

  19. Job Search: Regional/Quality Job Search Engines

    E-Print Network [OSTI]

    Carter, John

    Job Search: Regional/Quality Job Search Engines Bellevue College: http://bellevuecollege.edu/careers/sac_general.html#searchengines PNW Job Board: https://services.philanthropynw.org/jobbank/ ColorsNW Job Bank: http://jobs.colorscareers.com/c/search_results.cfm?site_id=1919 Seattle Jobs: http://www.seattlejobs.com/ WorkSource Seattle-King County: http

  20. Job Search: Regional/Quality Job Search Engines

    E-Print Network [OSTI]

    Carter, John

    Resources Job Search: Regional/Quality Job Search Engines Bellevue College: http://bellevuecollege.edu/careers/sac_general.html#searchengines PNW Job Board: https://services.philanthropynw.org/jobbank/ ColorsNW Job Bank: http://jobs.colorscareers.com/c/search_results.cfm?site_id=1919 Seattle Jobs: http://www.seattlejobs.com/ WorkSource Seattle-King County: http

  1. Quality Assurance Guide for Project Management

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

    2008-06-27T23:59:59.000Z

    This Guide provides acceptable approaches for implementing the Quality Assurance requirements and criteria of DOE O 413.3A related to the development and implementation of a Quality Assurance Program for the project. No cancellations.

  2. ANNUAL REPORT: INDICATORS OF INSTITUTIONAL QUALITY

    E-Print Network [OSTI]

    Farritor, Shane

    ANNUAL REPORT: INDICATORS OF INSTITUTIONAL QUALITY 2010-2011 #12;2 #12;3 T A B L E O F C O N T E N ................................................................................................................. 5 Quantitative Measures of Quality................................................................................................................... 20 Total Research Expenditures

  3. Chapter 53 Ambient Air Quality (Kentucky)

    Broader source: Energy.gov [DOE]

    Kentucky Administrative Regulation Chapter 53, entitled Ambient Air Quality, is promulgated under the authority of the Division of Air Quality within the Energy and Environment Cabinet’s Department...

  4. Ambient Air Quality Criteria (Manitoba, Canada)

    Broader source: Energy.gov [DOE]

    The Manitoba Ambient Air Quality Criteria schedule lists maximum time-based pollutant concentration levels for the protection and preservation of ambient air quality within the Province of Manitoba...

  5. Georgia Air Quality Control Act (Georgia)

    Broader source: Energy.gov [DOE]

    The Georgia Air Quality Control Act (AQCA) is a set of environmental regulations, permitting requirements, and air quality standards that control the amount of pollutants emitted and who emits them...

  6. OG&E's Power Quality Program

    E-Print Network [OSTI]

    Davis, M.

    Our commitment to reliable electric power does not stop at the meter, but extends all the way to the equipment that it operates. Through the Power Quality Program, we provide professional power consultants to assure that the customer has quality...

  7. LAND USE AND WATER QUALITY MANAGEMENT

    E-Print Network [OSTI]

    #12;LAND USE AND WATER QUALITY MANAGEMENT IN THE BRIDGE CREEK BASIN Prepared for: Water Quality ............................................. DESCRIPTION OF BRIDGE CREEK BASIN ........................ PHYSICAL SETTING'T. ................................ 5.1 CUMULATIVE IMPACTS ....................................... 5.1.1 Bridge Creek basin upstream

  8. Modeling Quality Information within Business Process Models

    E-Print Network [OSTI]

    Paech, Barbara

    Modeling Quality Information within Business Process Models Robert Heinrich, Alexander Kappe. Business process models are a useful means to document information about structure and behavior literature and tool survey on modeling quality information within business process models. Keywords: Business

  9. Quality of work – concept and measurement 

    E-Print Network [OSTI]

    Dahlm, Svenn-Åge; Nesheim, Torstein; Olsen, Karen M

    2009-01-01T23:59:59.000Z

    In this paper we review some of the most essential literature on the concept and measurement of quality of work. We show that different academic fields have conceptualized quality of work in distinct ways however there has been a convergence...

  10. Georgia Water Quality Control Act (Georgia)

    Broader source: Energy.gov [DOE]

    The Georgia Water Quality Control Act (WQCA) is a set of environmental regulations and permitting requirements that comply with the federal Clean Water Act. The Georgia Water Quality Control Act...

  11. Area and energy efficient VLSI architectures for low-density parity-check decoders using an on-the-fly computation

    E-Print Network [OSTI]

    Gunnam, Kiran Kumar

    2009-05-15T23:59:59.000Z

    : Co-Chairs of Committee, Gwan Choi Scott Miller Committee Members, Jiang Hu Duncan Walker Head of Department, Costas Georghiades December 2006 Major Subject: Computer Engineering iii ABSTRACT Area and Energy Efficient VLSI... Architectures for Low -Density Parity-Check Decoders Using an On-the-Fly Computation. (December 2006) Kiran Kumar Gunnam, M.S., Texas A&M University Co-Chairs of Advisory Committee: Dr. Gwan Choi Dr...

  12. 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage.

    E-Print Network [OSTI]

    Sohoni, Milind

    TD 603 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage. 2. What is the storage in the dam (in cu.m.)? 3. What is the length and depth of the dam? What is its structure and cost? How much time did it take to build the dam? 4. Where

  13. Survey of the Quality and Stability of Biodiesel and Biodiesel Blends in the United States in 2004

    SciTech Connect (OSTI)

    McCormick, R. L.; Alleman, T. L.; Ratcliffe, M.; Moens, L.; Lawrence, R.

    2005-10-01T23:59:59.000Z

    Reports results gathered in 2004 from quality and stability surveys in the United States of biodiesel (B100) and 20% biodiesel (B20) in petroleum diesel.

  14. Increased Mercury Bioaccumulation Follows Water Quality Improvement

    SciTech Connect (OSTI)

    Bogle, M.A.; Peterson, M.J.; Smith, J.G.; Southworth, G.R.

    1999-09-15T23:59:59.000Z

    Changes in physical and chemical characteristics of aquatic habitats made to reduce or eliminate ecological risks can sometimes have unforeseen consequences. Environmental management activities on the U.S. Dept. of Energy reservation in Oak Ridge, Tennessee,have succeeded in improving water quality in streams impacted by discharges fi-om industrial facilities and waste disposal sites. The diversity and abundance of pollution-sensitive components of the benthic macroinvertebrate communities of three streams improved after new waste treatment systems or remedial actions reduced inputs of various toxic chemicals. Two of the streams were known to be mercury-contaminated from historical spills and waste disposal practices. Waterborne mercury concentrations in the third were typical of uncontaminated systems. In each case, concentrations of mercury in fish, or the apparent biological availability of mercury increased over the period during which ecological metrics indicated improved water quality. In the system where waterborne mercury concentrations were at background levels, increased mercury bioaccumulation was probably a result of reduced aqueous selenium concentrations; however, the mechanisms for increased mercury accumulation in the other two streams remain under investigation. In each of the three systems, reduced inputs of metals and inorganic anions was followed by improvements in the health of aquatic invertebrate communities. However, this reduction in risk to aquatic invertebrates was accompanied by increased risk to humans and piscivorous wildlife related to increased mercury concentrations in fish.

  15. Quality Control Inspector: Different Programs, Different Responsibilities

    Broader source: Energy.gov [DOE]

    This document explains the role of the Quality Control Inspector (QCI) in regards to the Home Energy Professional Certification Exam.

  16. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements...

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

    Requirements Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements Management Checklist The following checklist is intended to provide system owners,...

  17. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Preacceptance...

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

    PROGRAM: Preacceptance Checklist Security Issues SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Preacceptance Checklist Security Issues The following checklist is intended to...

  18. Fuel Efficiency Automobile Test Quality Assurance Narrative

    E-Print Network [OSTI]

    Denver, University of

    Fuel Efficiency Automobile Test Quality Assurance Narrative Standard Operating Procedures Help ........................................................................................................... 3 FEAT Standard Operating Procedures...................................................................................................................24 Maintenance Items

  19. QUALITY AND IMPACT 1 Evaluation of

    E-Print Network [OSTI]

    QUALITY AND IMPACT 1 KoN09 Evaluation of Quality and Impact at SLU KoN Management Team Roland von of Quality and Impact at SLU (KoN 09) KoN Management Team: Roland von Bothmer, Johan Schnürer, Boel �ström Bothmer Johan Schnürer Boel �ström Katarina Vrede Per Andersson #12;QUALITY AND IMPACT2 Evaluation

  20. Slag pit practices to improve slag quality

    SciTech Connect (OSTI)

    Mertdogan, A. [Metal Enterprises, Research and Technology, Inc., Homewood, IL (United States); Gambol, F.C.; Spaeth, J.R.; Zbos, J.; Batka, R. [Acme Steel Co., Chicago, IL (United States); Tolliver, D. [Heckett MultiServ, Whiting, IN (United States)

    1996-12-31T23:59:59.000Z

    Slag quality had deteriorated recently. Without the explicit approval for slag quality by the Illinois Department of Transportation, the slag would not be saleable. Disposal of slag to landfills was going to be an expensive solution and rife with environmental concerns. A slag quality control program embarked on in mid-1994 restored slag quality to desired specifications. This paper describes the changes in slag pit practice adopted following extensive tests performed on cooling slag under controlled conditions.